Wigner's theorem

Last updated
E.P. Wigner (1902-1995), ForMemRS, first proved the theorem bearing his name. It was a key step towards the modern classification scheme of particle types, according to which particle types are partly characterized by which representation of the Lorentz group under which it transforms. The Lorentz group is a symmetry group of every relativistic quantum field theory. Wigner's early work laid the ground for what many physicists came to call the group theory disease in quantum mechanics - or as Hermann Weyl (co-responsible) puts it in his The Theory of Groups and Quantum Mechanics (preface to 2nd ed.), "It has been rumored that the group pest is gradually being cut out from quantum mechanics. This is certainly not true..." Wigner.jpg
E.P. Wigner (1902–1995), ForMemRS, first proved the theorem bearing his name. It was a key step towards the modern classification scheme of particle types, according to which particle types are partly characterized by which representation of the Lorentz group under which it transforms. The Lorentz group is a symmetry group of every relativistic quantum field theory. Wigner's early work laid the ground for what many physicists came to call the group theory disease in quantum mechanics or as Hermann Weyl (co-responsible) puts it in his The Theory of Groups and Quantum Mechanics (preface to 2nd ed.), "It has been rumored that the group pest is gradually being cut out from quantum mechanics. This is certainly not true…"

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 transformations are represented on the Hilbert space of states.

Contents

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 vector's inner product with a unit eigenvector, 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 state vectors in complex separable Hilbert space that are scalar nonzero multiples of each other represent the same pure state, i.e., the vectors and , with , represent the same state. [3] By multiplying the state vectors with the phase factor, one obtains a set of vectors called the ray [4] [5]

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, a unit ray, by intersecting the line with the unit sphere [6]

.

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 . In either interpretation, if or then is a representative of . [nb 1]

The space of all rays is a projective Hilbert space called the ray space. [7] It can be defined in several ways. One may define an equivalence relation on by

and define ray space as the quotient set

.

Alternatively, for an equivalence relation on the sphere , the unit ray space is an incarnation of ray space defined (making no notational distinction with ray space) as the set of equivalence classes

.

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[ clarification needed ]

.

If is n-dimensional, i.e., , then is isomorphic to the complex projective space . For example

generate points on the Bloch sphere; isomorphic to the Riemann sphere .

Ray space (i.e. projective space) is not a vector space but rather a set of vector lines (vector subspaces of dimension one) in a vector space of dimension n + 1. For example, for every two vectors and ratio of complex numbers (i.e. element of ) there is a well defined ray . As such, for distinct rays (i.e. linearly independent lines) there is a projective line of rays of the form in : all 1-dimensional complex lines in the 2-dimensional complex plane spanned by and . Contrarily to the case of vector spaces, however, an independent spanning set does not suffice for defining coordinates (see: projective frame).

The Hilbert space structure on defines additional structure on ray space. Define the ray correlation (or ray product)

where is the Hilbert space inner product, and are representatives of and . 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 and in Hilbert space is given by

i.e. we can define Born's rule on ray space by.

Geometrically, we can define an angle with between the lines and by . 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" [8] or a "change in our point of view" [9] 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

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 . Not all bijections of 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:

A bijective ray transformation is called a symmetry transformation iff [10] :. 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 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

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 between Hilbert spaces is unitary if it is bijective and

If then reduces to a unitary operator whose inverse is equal to its adjoint .

Likewise, a transformation is antiunitary if it is bijective and

Given a unitary transformation between Hilbert spaces, define

This is a symmetry transformation since

In the same way an antiunitary transformation between Hilbert space induces a symmetry transformation. One says that a transformation between Hilbert spaces is compatible with the transformation between ray spaces if or equivalently

for all . [11]

Statement

Wigner's theorem states a converse of the above: [12]

Wigner's theorem (1931)  If and are Hilbert spaces and if
is a symmetry transformation, then there exists a unitary or antiunitary transformation which is compatible with . If , is either unitary or antiunitary. If (and and consist of a single point), all unitary transformations and all antiunitary transformations are compatible with . If and are both compatible with then for some

Proofs can be found in Wigner ( 1931 , 1959 ), Bargmann (1964) and Weinberg (2002). Antiunitary transformations are less prominent in physics. They are all related to a reversal of the direction of the flow of time. [13]

Remark 1: The significance of the uniqueness part of the theorem is that it specifies the degree of uniqueness of the representation on . For example, one might be tempted to believe that

would be admissible, with for but this is not the case according to the theorem. [nb 2] [14] In fact such a would not be additive.

Remark 2: Whether must be represented by a unitary or antiunitary operator is determined by topology. If , the second cohomology has a unique generator such that for a (equivalently for every) complex projective line , one has . Since is a homeomorphism, also generates and so we have . If is unitary, then while if is anti linear then .

Remark 3: Wigner's theorem is in close connection with the fundamental theorem of projective geometry [15]

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, hG with fg = h, then

where the T are ray transformations. From the uniqueness part of Wigner's theorem, one has for the compatible representatives U,

where ω(f, g) is a phase factor. [nb 3]

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, gT(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

They also satisfy

Upon redefinition of the phases,

which is allowed by last theorem, one finds [16] [17]

where the hatted quantities are defined by

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. [18]

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. [17] The topic can be studied at the level of Lie algebras and Lie algebra cohomology as well. [19] [20]

Assuming the projective representation gT(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 4]

Theorem: (Wigner 1939)  The phase freedom can be used such that in a some neighborhood of the identity the map gU(g) is strongly continuous. [21]

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. [21]

Modifications and generalizations

Wigner's theorem applies to automorphisms on the Hilbert space of pure states. Theorems by Kadison [22] and Simon [23] apply to the space of mixed states (trace-class positive operators) and use slight different notions of symmetry. [24] [25]

See also

Remarks

  1. 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 & Todorov (1975)
  2. There is an exception to this. If a superselection rule is in effect, then the phase may depend on in which sector of the element resides, see Weinberg 2002 , p. 53
  3. Again there is an exception. If a superselection rule is in effect, then the phase may depend on in which sector of Hh resides on which the operators act, see Weinberg 2002 , p. 53
  4. 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

  1. Seitz, Vogt & Weinberg 2000
  2. Wigner 1931 , pp. 251–254 (in German),
    Wigner 1959 , pp. 233–236 (English translation).
  3. Bäuerle & de Kerf 1990, p. 330.
  4. Weinberg 2002, p. 49.
  5. Bäuerle & de Kerf 1990, p. 341.
  6. Simon et al. 2008
  7. Page 1987.
  8. Bäuerle & de Kerf 1990.
  9. Weinberg 2002 , p. 50
  10. Bäuerle & de Kerf 1990, p. 342.
  11. Bargmann 1964.
  12. Bäuerle & de Kerf 1990, p. 343.
  13. Weinberg 2002 , p. 51
  14. Bäuerle & de Kerf 1990 , p. 330 This is stated but not proved.
  15. Faure 2002
  16. Bäuerle & de Kerf 1990 , p. 346 There is an error in this formula in the book.
  17. 1 2 Weinberg 2002 , p. 82
  18. Weinberg 2002, Appendix B, Chapter 2
  19. Bäuerle & de Kerf 1990 , pp. 347–349
  20. Weinberg 2002 , Section 2.7.
  21. 1 2 Straumann 2014
  22. Kadison, Richard V. (1 February 1965). "Transformations of states in operator theory and dynamics". Topology. 3: 177–198. doi: 10.1016/0040-9383(65)90075-3 . ISSN   0040-9383.
  23. Simon, Barry (8 March 2015). "Quantum Dynamics: From Automorphism to Hamiltonian". Studies in Mathematical Physics: Essays in Honor of Valentine Bargmann. Princeton University Press. pp. 327–350. doi:10.1515/9781400868940-016. ISBN   978-1-4008-6894-0 via www.degruyter.com.
  24. Moretti, Valter (October 2016). "Mathematical Foundations of Quantum Mechanics: An Advanced Short Course". International Journal of Geometric Methods in Modern Physics. 13 (Supp. 1): 1630011–1630843. arXiv: 1508.06951 . Bibcode:2016IJGMM..1330011M. doi:10.1142/S0219887816300117.
  25. "(Coming from Wigner's Theorem): What is a Symmetry in QFT?". Physics Stack Exchange. Retrieved 2023-10-18.

Related Research Articles

Bra–ket notation, also called Dirac notation, is a notation for linear algebra and linear operators on complex vector spaces together with their dual space both in the finite-dimensional and infinite-dimensional case. It is specifically designed to ease the types of calculations that frequently come up in quantum mechanics. Its use in quantum mechanics is quite widespread.

The mathematical formulations of quantum mechanics are those mathematical formalisms that permit a rigorous description of quantum mechanics. This mathematical formalism uses mainly a part of functional analysis, especially Hilbert spaces, which are a kind of linear space. Such are distinguished from mathematical formalisms for physics theories developed prior to the early 1900s by the use of abstract mathematical structures, such as infinite-dimensional Hilbert spaces, and operators on these spaces. In brief, values of physical observables such as energy and momentum were no longer considered as values of functions on phase space, but as eigenvalues; more precisely as spectral values of linear operators in Hilbert space.

The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the underlying field is the real numbers, the two are isometrically isomorphic; if the underlying field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural isomorphism.

In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.

In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-12 massive particles, called "Dirac particles", such as electrons and quarks for which parity is a symmetry. It is consistent with both the principles of quantum mechanics and the theory of special relativity, and was the first theory to account fully for special relativity in the context of quantum mechanics. It was validated by accounting for the fine structure of the hydrogen spectrum in a completely rigorous way.

<span class="mw-page-title-main">Schrödinger equation</span> Description of a quantum-mechanical system

The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after Erwin Schrödinger, who postulated the equation in 1925 and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933.

<span class="mw-page-title-main">Wave function</span> Mathematical description of the quantum state of a system

In quantum physics, a wave function is a mathematical description of the quantum state of an isolated quantum system. The most common symbols for a wave function are the Greek letters ψ and Ψ. Wave functions are complex-valued. For example, a wave function might assign a complex number to each point in a region of space. The Born rule provides the means to turn these complex probability amplitudes into actual probabilities. In one common form, it says that the squared modulus of a wave function that depends upon position is the probability density of measuring a particle as being at a given place. The integral of a wavefunction's squared modulus over all the system's degrees of freedom must be equal to 1, a condition called normalization. Since the wave function is complex-valued, only its relative phase and relative magnitude can be measured; its value does not, in isolation, tell anything about the magnitudes or directions of measurable observables. One has to apply quantum operators, whose eigenvalues correspond to sets of possible results of measurements, to the wave function ψ and calculate the statistical distributions for measurable quantities.

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition.

In mathematics, a self-adjoint operator on an infinite-dimensional complex vector space V with inner product is a linear map A that is its own adjoint. If V is finite-dimensional with a given orthonormal basis, this is equivalent to the condition that the matrix of A is a Hermitian matrix, i.e., equal to its conjugate transpose A. By the finite-dimensional spectral theorem, V has an orthonormal basis such that the matrix of A relative to this basis is a diagonal matrix with entries in the real numbers. This article deals with applying generalizations of this concept to operators on Hilbert spaces of arbitrary dimension.

In physics, an operator is a function over a space of physical states onto another space of physical states. The simplest example of the utility of operators is the study of symmetry. Because of this, they are useful tools in classical mechanics. Operators are even more important in quantum mechanics, where they form an intrinsic part of the formulation of the theory.

<span class="mw-page-title-main">Wightman axioms</span> Axiomatization of quantum field theory

In mathematical physics, the Wightman axioms, named after Arthur Wightman, are an attempt at a mathematically rigorous formulation of quantum field theory. Arthur Wightman formulated the axioms in the early 1950s, but they were first published only in 1964 after Haag–Ruelle scattering theory affirmed their significance.

<span class="mw-page-title-main">Probability amplitude</span> Complex number whose squared absolute value is a probability

In quantum mechanics, a probability amplitude is a complex number used for describing the behaviour of systems. The square of the modulus of this quantity represents a probability density.

In physics, the S-matrix or scattering matrix relates the initial state and the final state of a physical system undergoing a scattering process. It is used in quantum mechanics, scattering theory and quantum field theory (QFT).

<span class="mw-page-title-main">Bloch sphere</span> Geometrical representation of the pure state space of a two-level quantum mechanical system

In quantum mechanics and computing, the Bloch sphere is a geometrical representation of the pure state space of a two-level quantum mechanical system (qubit), named after the physicist Felix Bloch.

<span class="mw-page-title-main">Canonical quantization</span> Process of converting a classical physical theory into one compatible with quantum mechanics

In physics, canonical quantization is a procedure for quantizing a classical theory, while attempting to preserve the formal structure, such as symmetries, of the classical theory to the greatest extent possible.

In mathematics, particularly in functional analysis, a projection-valued measure is a function defined on certain subsets of a fixed set and whose values are self-adjoint projections on a fixed Hilbert space. A projection-valued measure (PVM) is formally similar to a real-valued measure, except that its values are self-adjoint projections rather than real numbers. As in the case of ordinary measures, it is possible to integrate complex-valued functions with respect to a PVM; the result of such an integration is a linear operator on the given Hilbert space.

A decoherence-free subspace (DFS) is a subspace of a quantum system's Hilbert space that is invariant to non-unitary dynamics. Alternatively stated, they are a small section of the system Hilbert space where the system is decoupled from the environment and thus its evolution is completely unitary. DFSs can also be characterized as a special class of quantum error correcting codes. In this representation they are passive error-preventing codes since these subspaces are encoded with information that (possibly) won't require any active stabilization methods. These subspaces prevent destructive environmental interactions by isolating quantum information. As such, they are an important subject in quantum computing, where (coherent) control of quantum systems is the desired goal. Decoherence creates problems in this regard by causing loss of coherence between the quantum states of a system and therefore the decay of their interference terms, thus leading to loss of information from the (open) quantum system to the surrounding environment. Since quantum computers cannot be isolated from their environment and information can be lost, the study of DFSs is important for the implementation of quantum computers into the real world.

<span class="mw-page-title-main">SIC-POVM</span> Type of measurement in quantum mechanics

In the context of quantum mechanics and quantum information theory, symmetric, informationally complete, positive operator-valued measures (SIC-POVMs) are a particular type of generalized measurement (POVM). SIC-POVMs are particularly notable thanks to their defining features of (1) being informationally complete; (2)having the minimal number of outcomes compatible with informational completeness, and (3) being highly symmetric. In this context, informational completeness is the property of a POVM of allowing to fully reconstruct input states from measurement data.

Coherent states have been introduced in a physical context, first as quasi-classical states in quantum mechanics, then as the backbone of quantum optics and they are described in that spirit in the article Coherent states. However, they have generated a huge variety of generalizations, which have led to a tremendous amount of literature in mathematical physics. In this article, we sketch the main directions of research on this line. For further details, we refer to several existing surveys.

In pure and applied mathematics, quantum mechanics and computer graphics, a tensor operator generalizes the notion of operators which are scalars and vectors. A special class of these are spherical tensor operators which apply the notion of the spherical basis and spherical harmonics. The spherical basis closely relates to the description of angular momentum in quantum mechanics and spherical harmonic functions. The coordinate-free generalization of a tensor operator is known as a representation operator.

References

Further reading