Summary
Wigner's theorem, proved by Eugene Wigner in 1931, is a cornerstone of the mathematical formulation of quantum mechanics. The theorem specifies how physical symmetries such as rotations, translations, and CPT are represented on the Hilbert space of states. The physical states in a quantum theory are represented by unit vectors in Hilbert space up to a phase factor, i.e. by the complex line or ray the vector spans. In addition, by the Born rule the absolute value of the unit vectors inner product, or equivalently the cosine squared of the angle between the lines the vectors span, corresponds to the transition probability. Ray space, in mathematics known as projective Hilbert space, is the space of all unit vectors in Hilbert space up to the equivalence relation of differing by a phase factor. By Wigner's theorem, any transformation of ray space that preserves the absolute value of the inner products can be represented by a unitary or antiunitary transformation of Hilbert space, which is unique up to a phase factor. As a consequence, the representation of a symmetry group on ray space can be lifted to a projective representation or sometimes even an ordinary representation on Hilbert space. It is a postulate of quantum mechanics that vectors in Hilbert space that are scalar nonzero multiples of each other represent the same pure state. A ray belonging to the vector is the complex line through the origin Two nonzero vectors define the same ray, if and only if they differ by some nonzero complex number: , . Alternatively, we can consider a ray as a set of vectors with norm 1 that span the same line, a unit ray, by intersecting the line with the unit sphere Two unit vectors then define the same unit ray if they differ by a phase factor: . This is the more usual picture in physics. The set of rays is in one to one correspondence with the set of unit rays and we can identify them. There is also a one-to-one correspondence between physical pure states and (unit) rays given by where is the orthogonal projection on the line .
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.