J.P. McCarthy: Math Page
Last year's maths is easy, this year's maths is hard and next year's maths is impossible.
NUMBAS
Projection Distance Equal to Total Variation Distance?
November 9, 2017 in C*-Algebras & Operator Theory, Probability Theory, Quantum Groups, Random Walks on Finite Quantum Groups, Research
Distances between Probability Measures
Let be a finite quantum group and be the set of states on the -algebra .
The algebra has an invariant state , the dual space of .
Define a (bijective) map , by
for .
Then, where and , define the total variation distance between states by
(Quantum Total Variation Distance (QTVD))
Standard non-commutative machinary shows that:
(supremum presentation)
In the classical case, using the test function , where , we have the probabilists' preferred definition of total variation distance:
In the classical case the set of indicator functions on the subsets of the group exhaust the set of projections in , and therefore the classical total variation distance is equal to:
(Projection Distance)
In all cases the quantum total variation distance and the supremum presentation are equal. In the classical case they are equal also to the projection distance. Therefore, in the classical case, we are free to define the total variation distance by the projection distance.
Quantum Projection Distance Quantum Variation Distance?
Perhaps, however, on truly quantum finite groups the projection distance could differ from the QTVD. In particular, a pair of states on a factor of might be different in QTVD vs in projection distance (this cannot occur in the classical case as all the factors are one dimensional).
The following are two solutions to this problem. The first used a bit of help on Math Stack Exchange, and the second a more elegant solution from Jean-Christophe Bourin (communicated by Uwe Franz). They are similar — the first constructing an explicit map, the second using a phase.
The Supremum is Attained at An Involution
Embed the multi-matrix into a single (block) .
Consider the supremum presentation. As everything is in finite dimensions, the supremum is actually a maximum. Suppose that the max is attained for a self-adjoint involutive . Then
is a projection:
and follows from self-adjointness of . Using such a , the projection distance is equal to the QTVD.
If, however, there was a pair of states such that the max is not attained at an involution, then the projection distance for these two states would be strictly smaller than the QTVD.
Consider, therefore, two states on given by two density matrices and .
From here we use the argument of Hanno.
Define . Now use the following inequality:
where and in this case can be taken to equal one so that
Note that so that is diagonalisable with real eigenvalues. Fix a basis in which is given by a diagonal matrix . Therefore .
Now define the operator norm one diagonal matrix by:
Note is a self-adjoint involution and furthermore:
has trace equal to . Therefore the max of (over norm one elements) is attained at a self-adjoint and involutive and so via is a projection such that
The Supremum is attained at a Phase
As above, define . Let , the phase of . Using the argument of Peter, we note that can be taken to Hermitian. Therefore
Note now
but this upper bound is attained at . As a hermitian unitary, is involutive and the above arguments follow through.
This means there is no counterexample to
Projection Distance = QTVD.
What this means is that we can take as a definition the quantum total variation distance to be the same as the classical total variation distance:
where in the sense that there is a unital -algebra, denoted , of ; and .
Freslon's Ergo… on Ideals & Normal Quantum…
Freslon's Ergo… on Irreducible and Periodic Posit…
J.P. McCarthy on MATH6040: Winter 2019, Week…
Student on MATH6040: Winter 2019, Week…
A1 Leaving Cert Maths (12)
C*-Algebras & Operator Theory (19)
Grinds (30)
Leaving Cert Applied Maths (11)
Leaving Cert Maths (26)
MA 1008 (13)
MA 2055 (3)
MATH6000 (66)
MATH6014 (8)
MATH6040 (106)
MATH6040 – Day (11)
MS 2001 (70)
Probability Theory (9)
Quantum Groups (28)
Random Walks on Finite Quantum Groups (26)
Research Updates (21)
STAT6000 (12)
J.P. McCarthy Maths
Random Walks on Quantum Groups: Outlook | J.P. McCarthy: Math Page
[…] It should also be possible to redefine the quantum total variation distance as a supremum over projections subsets via . If I can show that for a positive linear functional that then using these ideas I can. More on this soon hopefully. No, this approach won't work. (I have since completed this objective with some help: see here). […]
Random Walks: Questions for The Future | J.P. McCarthy: Math Page
[…] that the total variation distance is equal to the projection distance. Amaury has an a third proof. Amaury suggests that this should be true in more generality than the […]
« MATH6040: Winter 2017, Week 9
MATH6055: Winter 2017, Week 9 »