(No) Wigner Theorem for C*-algebras

TL;DR

This paper investigates the possibility of generalizing Wigner's Theorem to C*-algebras, concluding that such a generalization does not hold in a meaningful or practical sense.

Contribution

The paper provides a detailed analysis showing that a true Wigner Theorem does not extend to C*-algebras, clarifying limitations of previous generalizations.

Findings

The strongest known version of Wigner's Theorem for C*-algebras does not imply (anti) unitary implementability.

Abstract existence results for implementability are considered arbitrary and practically useless.

There is no meaningful Wigner Theorem for C*-algebras.

Abstract

Wigner's Theorem states that bijections of the set P_1(H) of one-dimensional projections on a Hilbert space H that preserve transition probabilities are induced by either a unitary or an anti-unitary operator on H (which is uniquely determined up to a phase). Since elements of P_1(H) define pure states on the C*-algebra B(H) of all bounded operators on H (though typically not producing all of them), this suggests possible generalizations to arbitrary C*-algebras. This paper is a detailed study of this problem, based on earlier results by R.V. Kadison (1965), F.W. Shultz (1982), K. Thomsen (1982), and others. Perhaps surprisingly, the sharpest known version of Wigner's Theorem for C*-algebras (which is a variation on a result from Shultz, with considerably simplified proof) generalizes the equivalence between the hypotheses in the original theorem and those in an analogous result on (anti) unitary implementability of Jordan automorphisms of B(H), and does not yield (anti) unitary implementability itself, far from it: abstract existence results that do give such implementability seem arbitrary and practically useless. As such, it would be fair to say that there is no Wigner Theorem for C*-algebras.