Wigner symmetries and Gleason's theorem

Abstract

We prove an optimal version of Wigner's unitary-antiunitary theorem. The main tool in our proof is Gleason's theorem.

References in corpus (2)

• An elementary proof for the non-bijective version of Wigner's theorem
• The structure of maps on the space of all quantum pure states that preserve a fixed quantum angle