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).
Recent Comments