Wigner's theorem
![](/wiki/images/thumb/e/ef/Wigner.jpg/220px-Wigner.jpg)
Wigner's theorem, proved by Eugene Wigner in 1931,[2] 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.
Rays and ray 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 [math]\displaystyle{ \Psi \in H \setminus \{0\} }[/math] is the complex line through the origin [3][4]
- [math]\displaystyle{ \underline{\Psi} = \left\{\lambda\Psi :\lambda \in \mathbb C\right\} }[/math].
Two nonzero vectors [math]\displaystyle{ \Psi_1, \Psi_2 }[/math] define the same ray, if and only if they differ by some nonzero complex number: [math]\displaystyle{ \Psi_1 = \lambda \Psi_2 }[/math], [math]\displaystyle{ \lambda \in \mathbb{C}^* = \mathbb C \setminus \{0\} }[/math]. Alternatively, we can consider a ray [math]\displaystyle{ \underline \Psi }[/math] as a set of vectors with norm 1 that span the same line, a unit ray, by intersecting the line [math]\displaystyle{ \underline \Psi }[/math] with the unit sphere [5]
- [math]\displaystyle{ SH = \{\Phi \in H \mid \|\Phi\|^2 = 1 \} }[/math].
Two unit vectors [math]\displaystyle{ \Psi_1, \Psi_2 }[/math] then define the same unit ray [math]\displaystyle{ \underline{\Psi_1} = \underline{\Psi_2} }[/math] if they differ by a phase factor: [math]\displaystyle{ \Psi_1 = e^{i\alpha}\Psi_2 }[/math]. 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 [math]\displaystyle{ \rho }[/math] and (unit)rays [math]\displaystyle{ \underline{\Phi} }[/math] given by
- [math]\displaystyle{ \rho = P_{\Phi}= \frac{|\Phi\rangle\langle\Phi|}{\langle\Phi|\Phi\rangle} }[/math]
where [math]\displaystyle{ P_{\Phi} }[/math] is the orthogonal projection on the line [math]\displaystyle{ \underline{\Phi} }[/math]. In either interpretation, if [math]\displaystyle{ \Phi \in \underline{\Psi} }[/math] or [math]\displaystyle{ P_{\Phi} = P_{\Psi} }[/math] then [math]\displaystyle{ \Phi }[/math] is a representative of [math]\displaystyle{ \underline{\Psi} }[/math].[nb 1]
The space of all rays is called ray space. It can be defined in several ways. One may define an equivalence relation [math]\displaystyle{ \approx }[/math] on [math]\displaystyle{ H \setminus \{0\} }[/math] by
- [math]\displaystyle{ \Psi \approx \Phi \Leftrightarrow \Psi = \lambda\Phi,\quad \lambda \in \mathbb{C} \setminus \{0\}, }[/math] and define ray space as
- [math]\displaystyle{ \mathbb P H = H \setminus \{0\} / {\approx}. }[/math]
Alternatively define a relation ≅ as an equivalence relation on the sphere [math]\displaystyle{ SH }[/math]. The unit ray space [math]\displaystyle{ \mathbb P H }[/math], is an incarnation of ray space defined (making no notational distinction with ray space) as the set of equivalence classes
- [math]\displaystyle{ \mathbb P H = SH / {\cong}. }[/math]
A third equivalent definition of ray space is as pure state ray space i.e. as density matrices that are orthogonal projections of rank 1
- [math]\displaystyle{ \mathbb P H = \{P\in B(H) \mid P^2 = P = P^\dagger, \mathbb{tr}(P) = 1 \}. }[/math]
Each of these definitions make it clear that ray space is nothing but another name for projective Hilbert space.[6] If [math]\displaystyle{ \dim(H) = N }[/math] is finite, [math]\displaystyle{ \mathbb{P}H }[/math] has real dimension [math]\displaystyle{ 2N - 2 }[/math]. In fact, [math]\displaystyle{ \mathbb P H }[/math] is a compact complex manifold of dimension [math]\displaystyle{ N - 1 }[/math] which (by choosing a basis) is isomorphic to the projective space [math]\displaystyle{ \mathbb{C}\mathbb{P}^{N-1} = \mathbb{P}(\mathbb{C}^N) }[/math]. For example, the Bloch sphere
- [math]\displaystyle{ \mathbb{P}(\lambda_1 |+\rangle + \lambda_2 |-\rangle, \ (\lambda_1, \lambda_2) \in \mathbb{C}^2 \setminus \{0\}) }[/math]
is isomorphic to the Riemann sphere [math]\displaystyle{ \mathbb{C}\mathbb{P}^1 }[/math].
Ray space (i.e. projective space) takes a little getting used to, but is a very well studied object that predates quantum mechanics going back to the study of perspective by renaissance artists. It is not a vector space with well-defined linear combinations of rays. However, for every two vectors [math]\displaystyle{ \Psi_1, \Psi_2 }[/math] and ratio of complex numbers [math]\displaystyle{ (\lambda_1 : \lambda_2) }[/math] (i.e. element of [math]\displaystyle{ \mathbb{C}\mathbb{P}^1 }[/math]) there is a well defined ray [math]\displaystyle{ \underline{\lambda_1\Psi_1 + \lambda_2\Psi_2} }[/math]. Moreover, for distinct rays [math]\displaystyle{ \underline{\Psi}_1, \underline{\Psi}_2 }[/math] (i.e. linearly independent lines) there is a projective line of rays of the form [math]\displaystyle{ \underline{\lambda_1\Psi_1 + \lambda_2\Psi_2} }[/math] in [math]\displaystyle{ \mathbb PH }[/math]: all 1 dimensional complex lines in the 2 complex dimensional plane spanned by [math]\displaystyle{ \Psi_1 }[/math] and [math]\displaystyle{ \Psi_2 }[/math] in [math]\displaystyle{ H }[/math]).
The Hilbert space structure on [math]\displaystyle{ H }[/math] defines additional structure on ray space. Define the ray correlation (or ray product)
- [math]\displaystyle{ \underline{\Psi} \cdot \underline{\Phi} = \frac{\left|\left\langle\Psi, \Phi\right\rangle\right|}{\|\Phi\|\|\Psi\|} = \sqrt{\mathrm{tr}(P_{\Psi}P_{\Phi})}, }[/math]
where [math]\displaystyle{ \langle\, , \, \rangle }[/math] is the Hilbert space inner product, and [math]\displaystyle{ \Psi, \Phi }[/math] are representatives of [math]\displaystyle{ \underline{\Phi} }[/math] and [math]\displaystyle{ \underline{\Psi} }[/math]. Note that the righthand side is independent of the choice of representatives. The physical significance of this definition is that according to the Born rule, another postulate of quantum mechanics, the transition probabilities between normalised states [math]\displaystyle{ \Psi }[/math] and [math]\displaystyle{ \Phi }[/math] in Hilbert space is given by
- [math]\displaystyle{ P(\Psi \rightarrow \Phi) = |\langle\Psi, \Phi\rangle|^2 = \left(\underline{\Psi} \cdot \underline{\Phi}\right)^2 }[/math]
i.e. we can define Born's rule on ray space by.
- [math]\displaystyle{ P(\underline{\Psi} \to \underline{\Phi}) := \left(\underline{\Psi} \cdot \underline{\Phi}\right)^2. }[/math]
Geometrically, we can define an angle [math]\displaystyle{ \theta }[/math] with [math]\displaystyle{ 0 \le \theta\le \pi/2 }[/math] between the lines [math]\displaystyle{ \underline{\Phi} }[/math] and [math]\displaystyle{ \underline{\Psi} }[/math] by [math]\displaystyle{ \cos(\theta) = (\underline{\Psi} \cdot \underline{\Phi}) }[/math]. The angle then turns out to satisfy the triangle inequality and defines a metric structure on ray space which comes from a Riemannian metric, the Fubini-Study metric.
Symmetry transformations
Loosely speaking, a symmetry transformation is a change in which "nothing happens"[7] or a "change in our point of view"[8] that does not change the outcomes of possible experiments. For example, translating a system in a homogeneous environment should have no qualitative effect on the outcomes of experiments made on the system. Likewise for rotating a system in an isotropic environment. This becomes even clearer when one considers the mathematically equivalent passive transformations, i.e. simply changes of coordinates and let the system be. Usually, the domain and range Hilbert spaces are the same. An exception would be (in a non-relativistic theory) the Hilbert space of electron states that is subjected to a charge conjugation transformation. In this case the electron states are mapped to the Hilbert space of positron states and vice versa. However this means that the symmetry acts on the direct sum of the Hilbert spaces.
A transformation of a physical system is a transformation of states, hence mathematically a transformation, not of the Hilbert space, but of its ray space. Hence, in quantum mechanics, a transformation of a physical system gives rise to a bijective ray transformation [math]\displaystyle{ T }[/math]
- [math]\displaystyle{ \begin{align} T: \mathbb{P}H &\to \mathbb{P}H\\ \underline{\Psi} &\mapsto T\underline{\Psi}.\\ \end{align} }[/math]
Since the composition of two physical transformations and the reversal of a physical transformation are also physical transformations, the set of all ray transformations so obtained is a group acting on [math]\displaystyle{ \mathbb{P}H }[/math]. Not all bijections of [math]\displaystyle{ \mathbb{P}H }[/math] are permissible as symmetry transformations, however. Physical transformations must preserve Born's rule.
For a physical transformation, the transition probabilities in the transformed and untransformed systems should be preserved:
- [math]\displaystyle{ P(\underline{\Psi} \rightarrow \underline{\Phi}) = \left(\underline{\Psi} \cdot \underline{\Phi}\right)^2 = \left(T\underline{\Psi} \cdot T\underline{\Phi}\right)^2 = P\left(T\Psi \rightarrow T\Phi \right) }[/math]
A bijective ray transformation [math]\displaystyle{ \mathbb{P}H \to \mathbb{P}H }[/math] is called a symmetry transformation iff[9]
- [math]\displaystyle{ T \underline{\Psi} \cdot T\underline{\Phi} = \underline{\Psi} \cdot \underline{\Phi},\quad \forall \underline\Psi, \underline\Phi \in \mathbb{P}H. }[/math]
A geometric interpretation, is that a symmetry transformation is an isometry of ray space.
Some facts about symmetry transformations that can be verified using the definition:
- The product of two symmetry transformations, i.e. two symmetry transformations applied in succession, is a symmetry transformation.
- Any symmetry transformation has an inverse.
- The identity transformation is a symmetry transformation.
- Multiplication of symmetry transformations is associative.
The set of symmetry transformations thus forms a group, the symmetry group of the system. Some important frequently occurring subgroups in the symmetry group of a system are realizations of
- The symmetric group with its subgroups. This is important on the exchange of particle labels.
- The Poincaré group. It encodes the fundamental symmetries of spacetime [NB: a symmetry is defined above as a map on the ray space describing a given system, the notion of symmetry of spacetime has not been defined and is not clear].
- Internal symmetry groups like SU(2) and SU(3). They describe so called internal symmetries, like isospin and color charge peculiar to quantum mechanical systems.
These groups are also referred to as symmetry groups of the system.
Statement of Wigner's theorem
Preliminaries
Some preliminary definitions are needed to state the theorem. A transformation [math]\displaystyle{ U: H \to K }[/math] of Hilbert spaces is unitary if it is bijective and [math]\displaystyle{ \langle U \Psi, U \Phi\rangle = \langle \Psi, \Phi \rangle. }[/math] Since [math]\displaystyle{ \langle U(\lambda_1\Psi_1 + \lambda_2\Psi_2), \Phi' \rangle = \langle \lambda_1 \Psi_1 + \lambda_2 \Psi_2, U^{-1}\Phi' \rangle = \lambda_1 \langle\Psi_1, U^{-1}\Phi'\rangle + \lambda_2\langle \Psi_2, U^{-1}\Phi' \rangle = \lambda_1 \langle U\Psi_1, \Phi'\rangle + \lambda_2 \langle U\Psi_2, \Phi'\rangle = \langle \lambda_1 U\Psi_1 + \lambda_2 U\Psi_2, \Phi' \rangle }[/math] for all [math]\displaystyle{ \Phi' \in K }[/math], a unitary transformation is automatically linear and [math]\displaystyle{ U^\dagger = U^{-1} }[/math].
Likewise, a transformation [math]\displaystyle{ A:H \to K }[/math] is antiunitary if it is bijective and [math]\displaystyle{ \langle A \Psi, A \Phi\rangle = \langle\Psi, \Phi\rangle^* = \langle\Phi, \Psi\rangle. }[/math] As above, an antiunitary transformation is necessarily antilinear.[nb 2] Both variants are real linear and additive.
Given a unitary transformation [math]\displaystyle{ U:H \to K }[/math] of Hilbert spaces, define [math]\displaystyle{ \begin{align} T_U: \mathbb{P}H &\to \mathbb{P}K \\ \underline{\Psi} &\mapsto \underline{U\Psi}\\ \end{align} }[/math]
This is a symmetry transformation since [math]\displaystyle{ T\underline{\Psi} \cdot T\underline{\Phi} = \frac{ \left|\langle U\Psi, U\Phi \rangle\right|}{\|U\Psi\|\|U\Phi\|} = \frac{\left|\langle\Psi, \Phi\rangle\right|}{\|\Psi\|\|\Phi\|} = \underline{\Psi} \cdot \underline{\Phi}. }[/math]
In the same way an antiunitary transformation of Hilbert space induces a symmetry transformation. One says that a transformation [math]\displaystyle{ U:H \to K }[/math] of Hilbert spaces is compatible with the transformation [math]\displaystyle{ T:\mathbb{P}H \to \mathbb{P}K }[/math] of ray spaces if [math]\displaystyle{ T = T_U }[/math] or equivalently [math]\displaystyle{ U\Psi \in T \underline \Psi }[/math] for all [math]\displaystyle{ \Psi \in H \setminus \{0\} }[/math].[10]
Transformations of Hilbert space induced by either a unitary linear transformation or an antiunitary antilinear operator are obviously compatible with the transformations or ray space they induce as described.
Statement
Wigner's theorem states a converse of the above:[11]
Wigner's theorem (1931) — If [math]\displaystyle{ H }[/math] and [math]\displaystyle{ K }[/math] are Hilbert spaces and if [math]\displaystyle{ T:\mathbb{P}H \to \mathbb{P}K }[/math] is a symmetry transformation, then there exists a unitary or antiunitary transformation [math]\displaystyle{ V: H \to K }[/math] which is compatible with [math]\displaystyle{ T }[/math]. If [math]\displaystyle{ \dim(H) \ge 2 }[/math] , [math]\displaystyle{ V }[/math] is either unitary or antiunitary. If [math]\displaystyle{ \dim(H) = 1 }[/math] (and [math]\displaystyle{ \mathbb{P}H }[/math] and [math]\displaystyle{ \mathbb{P}K }[/math] consist of a single point), all unitary transformations [math]\displaystyle{ U : H \to K }[/math] and all antiunitary transformations [math]\displaystyle{ A: H \to K }[/math] are compatible with [math]\displaystyle{ T }[/math]. If [math]\displaystyle{ V_1 }[/math] and [math]\displaystyle{ V_2 }[/math] are both compatible with [math]\displaystyle{ T }[/math] then [math]\displaystyle{ V_1 = e^{i\alpha}V_2 }[/math] for some [math]\displaystyle{ \alpha \in \mathbb{R} }[/math]
Proofs can be found in Wigner (1931, 1959), (Bargmann 1964) and (Weinberg 2002). Antiunitary and antilinear transformations are less prominent in physics. They are all related to a reversal of the direction of the flow of time.[12]
Remark 1: The significance of the uniqueness part of the theorem is that it specifies the degree of uniqueness of the representation on [math]\displaystyle{ H }[/math]. For example, one might be tempted to believe that
- [math]\displaystyle{ V\Psi = Ue^{i\alpha(\Psi)}\Psi, \alpha(\Psi) \in \mathbb{R}, \Psi \in H \quad (\text{wrong unless } \alpha(\Psi) \text{ is const.}) }[/math]
would be admissible, with [math]\displaystyle{ \alpha(\Psi) \ne \alpha(\Phi) }[/math] for [math]\displaystyle{ \langle \Psi, \Phi \rangle = 0 }[/math] but this is not the case according to the theorem.[nb 3][13] In fact such a [math]\displaystyle{ V }[/math] would not be additive.
Remark 2: Whether [math]\displaystyle{ T }[/math] must be represented by a unitary or antiunitary operator is determined by topology. If [math]\displaystyle{ \dim_{\mathbb{C}}(\mathbb{P}H) = \dim_{\mathbb{C}}(\mathbb{P}K) \ge 1 }[/math], the second cohomology [math]\displaystyle{ H^2(\mathbb{P}H) }[/math] has a unique generator [math]\displaystyle{ c_{\mathbb{P}H} }[/math] such that for a (equivalently for every) complex projective line [math]\displaystyle{ L \subset \mathbb{P}H }[/math], one has [math]\displaystyle{ c_{\mathbb{P}H} \cap [L] = \deg_L(c_{\mathbb{P}H}|_L) = 1 }[/math]. Since [math]\displaystyle{ T }[/math] is a homeomorphism, [math]\displaystyle{ T^*c_{\mathbb{P}K} }[/math] also generates [math]\displaystyle{ H^2(\mathbb{P}H) }[/math] and so we have [math]\displaystyle{ T^*c_{\mathbb{P}K} = \pm c_{\mathbb{P}H} }[/math]. If [math]\displaystyle{ U:H \to K }[/math] is unitary, then [math]\displaystyle{ T_U^*c_{\mathbb{P}K} = c_{\mathbb{P}H} }[/math] while if [math]\displaystyle{ A:H \to K }[/math] is anti linear then [math]\displaystyle{ T_A^*c_{\mathbb{P}K} = -c_{\mathbb{P}H} }[/math].
Remark 3: Wigner's theorem is in close connection with the fundamental theorem of projective geometry[14]
Representations and projective representations
If G is a symmetry group (in this latter sense of being embedded as a subgroup of the symmetry group of the system acting on ray space), and if f, g, h ∈ G with fg = h, then
- [math]\displaystyle{ T(f)T(g) = T(h), }[/math]
where the T are ray transformations. From the uniqueness part of Wigner's theorem, one has for the compatible representatives U,
- [math]\displaystyle{ U(f)U(g) = \omega(f, g)U(fg) = e^{i\xi(f, g)}U(fg), }[/math]
where ω(f, g) is a phase factor.[nb 4]
The function ω is called a 2-cocycle or Schur multiplier. A map U:G → GL(V) satisfying the above relation for some vector space V is called a projective representation or a ray representation. If ω(f, g) = 1, then it is called a representation.
One should note that the terminology differs between mathematics and physics. In the linked article, term projective representation has a slightly different meaning, but the term as presented here enters as an ingredient and the mathematics per se is of course the same. If the realization of the symmetry group, g → T(g), is given in terms of action on the space of unit rays S = PH, then it is a projective representation G → PGL(H) in the mathematical sense, while its representative on Hilbert space is a projective representation G → GL(H) in the physical sense.
Applying the last relation (several times) to the product fgh and appealing to the known associativity of multiplication of operators on H, one finds
- [math]\displaystyle{ \begin{align} \omega(f, g)\omega(fg, h) &= \omega(g, h)\omega(f, gh), \\ \xi(f, g) + \xi(fg, h) &= \xi(g, h) + \xi(f, gh) \quad (\operatorname{mod} 2\pi). \end{align} }[/math]
They also satisfy
- [math]\displaystyle{ \begin{align} \omega(g, e) &= \omega(e, g) = 1, \\ \xi(g, e) &= \xi(e, g) = 0 \quad (\operatorname{mod} 2\pi), \\ \omega\left(g, g^{-1}\right) &= \omega(g^{-1}, g), \\ \xi\left(g, g^{-1}\right) &= \xi(g^{-1}, g) = 0 \quad (\operatorname{mod} 2\pi). \\ \end{align} }[/math]
Upon redefinition of the phases,
- [math]\displaystyle{ U(g) \mapsto \hat{U}(g) = \eta(g)U(g) = e^{i\zeta(g)}U(g), }[/math]
which is allowed by last theorem, one finds[15][16]
- [math]\displaystyle{ \begin{align} \hat{\omega}(g, h) &= \omega(g, h)\eta(g)\eta(h)\eta(gh)^{-1},\\ \hat{\xi}(g, h) &= \xi(g, h) + \zeta(g) + \zeta(h) - \zeta(gh) \quad (\operatorname{mod} 2\pi),\end{align} }[/math]
where the hatted quantities are defined by
- [math]\displaystyle{ \hat{U}(f)\hat{U}(g) = \hat{\omega}(f, g)\hat{U}(fg) = e^{i\hat{\xi}(f,g)}\hat{U}(fg). }[/math]
Utility of phase freedom
The following rather technical theorems and many more can be found, with accessible proofs, in (Bargmann 1954).
The freedom of choice of phases can be used to simplify the phase factors. For some groups the phase can be eliminated altogether.
Theorem — If G is semisimple and simply connected, then ω(g, h) = 1 is possible.[17]
In the case of the Lorentz group and its subgroup the rotation group SO(3), phases can, for projective representations, be chosen such that ω(g, h) = ± 1. For their respective universal covering groups, SL(2,C) and Spin(3), it is according to the theorem possible to have ω(g, h) = 1, i.e. they are proper representations.
The study of redefinition of phases involves group cohomology. Two functions related as the hatted and non-hatted versions of ω above are said to be cohomologous. They belong to the same second cohomology class, i.e. they are represented by the same element in H2(G), the second cohomology group of G. If an element of H2(G) contains the trivial function ω = 0, then it is said to be trivial.[16] The topic can be studied at the level of Lie algebras and Lie algebra cohomology as well.[18][19]
Assuming the projective representation g → T(g) is weakly continuous, two relevant theorems can be stated. An immediate consequence of (weak) continuity is that the identity component is represented by unitary operators.[nb 5]
Theorem: (Wigner 1939) — The phase freedom can be used such that in a some neighborhood of the identity the map g → U(g) is strongly continuous.[20]
Theorem (Bargmann) — In a sufficiently small neighborhood of e, the choice ω(g1, g2) ≡ 1 is possible for semisimple Lie groups (such as SO(n), SO(3,1) and affine linear groups, (in particular the Poincaré group). More precisely, this is exactly the case when the second cohomology group H2(g, R) of the Lie algebra g of G is trivial.[20]
See also
Remarks
- ↑ Here the possibility of superselection rules is ignored. It may be the case that a system cannot be prepared in specific states. For instance, superposition of states with different spin is generally believed impossible. Likewise, states being superpositions of states with different charge are considered impossible. Minor complications due to those issues are treated in (Bogoliubov Logunov)
- ↑ (Bäurle de Kerf) This is stated but not proved.
- ↑ There is an exception to this. If a superselection rule is in effect, then the phase may depend on in which sector of [math]\displaystyle{ H }[/math] the element [math]\displaystyle{ \Psi }[/math] resides, see Weinberg 2002, p. 53
- ↑ Again there is an exception. If a superselection rule is in effect, then the phase may depend on in which sector of H h resides on which the operators act, see Weinberg 2002, p. 53
- ↑ This is made plausible as follows. In an open neighborhood in the vicinity of the identity all operators can be expressed as squares. Whether an operator is unitary or antiunitary its square is unitary. Hence they are all unitary in a sufficiently small neighborhood. Such a neighborhood generates the identity.
Notes
- ↑ Seitz, Vogt & Weinberg 2000
- ↑ Wigner 1931, pp. 251–254 (in German),
Wigner 1959, pp. 233–236 (English translation). - ↑ Weinberg 2002, p. 49
- ↑ Bäuerle & de Kerf 1999, p. 341
- ↑ Simon et al. 2008
- ↑ This approach is used in Bargmann 1964, which serves as a basis reference for the proof outline to be given below.
- ↑ de Kerf & Bäuerle 1999
- ↑ Weinberg 2002, p. 50
- ↑ de Kerf & Van Groesen 1999, p. 342
- ↑ Bargmann 1964
- ↑ de Kerf & Van Groesen 1999, p. 343
- ↑ Weinberg 2002, p. 51
- ↑ de Kerf & Van Groesen 1999, p. 344 This is stated but not proved.
- ↑ Faure 2002
- ↑ de Kerf & Van Groesen 1999, p. 346 There is an error in this formula in the book.
- ↑ 16.0 16.1 Weinberg 2002, p. 82
- ↑ Weinberg 2002, Appendix B, Chapter 2
- ↑ Bäurle & de Kerf 1999, pp. 347–349
- ↑ Weinberg 2002, Section 2.7.
- ↑ 20.0 20.1 Straumann 2014
References
- Bargmann, V. (1954). "On unitary ray representations of continuous groups". Ann. of Math. 59 (1): 1–46. doi:10.2307/1969831.
- Bargmann, V. (1964). "Note on Wigner's Theorem on Symmetry Operations". Journal of Mathematical Physics 5 (7): 862–868. doi:10.1063/1.1704188. Bibcode: 1964JMP.....5..862B.
- Bogoliubov, N. N.; Logunov, A.A.; Todorov, I. T. (1975). Introduction to axiomatic quantum field theory. Mathematical Physics Monograph Series. 18. Translated to English by Stephan A. Fulling and Ludmila G. Popova. New York: Benjamin.
- Bäurle, C. G. A.; de Kerf, E.A. (1999). Lie algebras Part 1:Finite and infinite dimensional Lie algebras and their applications in physics. Studies in mathematical physics. 1 (2nd ed.). Amsterdam: North-Holland. ISBN 0-444-88776-8.
- Faure, Claude-Alain (2002). "An Elementary Proof of the Fundamental Theorem of Projective Geometry". Geometriae Dedicata 90: 145–151. doi:10.1023/A:1014933313332.
- Seitz, F.; Vogt, E.; Weinberg, A. M. (2000). "Eugene Paul Wigner. 17 November 1902 -- 1 January 1995". Biogr. Mem. Fellows R. Soc. 46: 577–592. doi:10.1098/rsbm.1999.0102.
- Simon, R.; Mukunda, N.; Chaturvedi, S.; Srinivasan, V.; Hamhalter, J. (2008). "Two elementary proofs of the Wigner theorem on symmetry in quantum mechanics". Phys. Lett. A 372 (46): 6847–6852. doi:10.1016/j.physleta.2008.09.052. Bibcode: 2008PhLA..372.6847S.
- Straumann, N. (2014). "Unitary Representations of the inhomogeneous Lorentz Group and their Significance in Quantum Physics". Springer Handbook of Spacetime. Springer Handbooks. pp. 265–278. doi:10.1007/978-3-642-41992-8_14. ISBN 978-3-642-41991-1. Bibcode: 2014shst.book..265S.
- Weinberg, S. (2002), The Quantum Theory of Fields, I, Cambridge University Press, ISBN 978-0-521-55001-7, https://archive.org/details/quantumtheoryoff00stev
- Wigner, E. P. (1931) (in German). Gruppentheorie und ihre Anwendung auf die Quanten mechanik der Atomspektren. Braunschweig, Germany: Friedrich Vieweg und Sohn. pp. 251–254.
- Wigner, E. P. (1959). Group Theory and its Application to the Quantum Mechanics of Atomic Spectra. translation from German by J. J. Griffin. New York: Academic Press. pp. 233–236. ISBN 978-0-1275-0550-3.
Further reading
- Mouchet, Amaury (2013). "An alternative proof of Wigner theorem on quantum transformations based on elementary complex analysis". Physics Letters A 377 (39): 2709–2711. doi:10.1016/j.physleta.2013.08.017. Bibcode: 2013PhLA..377.2709M.
- Molnar, Lajos (1999). "An Algebraic Approach to Wigner's Unitary-Antiunitary Theorem". J. Austral. Math. Soc. Ser. A 65 (3): 354–369. doi:10.1017/s144678870003593x. Bibcode: 1998math......8033M. http://www.austms.org.au/Publ/Jamsa/V65P3/pdf/p93.pdf.