Fact-checked by Grok 2 weeks ago

Wigner's theorem

Wigner's theorem is a foundational result in stating that any bijective transformation of the —specifically, a map between pure states that preserves transition probabilities (|⟨χ|ξ⟩|² = |⟨χ′|ξ′⟩|² for all states |χ⟩ and |ξ⟩)—is induced by either a or an acting linearly or antilinearly on the underlying . This ensures that symmetries in quantum systems maintain the probabilistic interpretation of wave functions while allowing for the representation of physical transformations through operators that respect the inner product structure up to complex conjugation in the antiunitary case. Proved by Hungarian-American physicist Eugene Paul Wigner in 1931, the theorem appears in the appendix to Chapter 20 of his influential book Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, where it bridges abstract group symmetries with the operator formalism of quantum theory. Wigner's work, originally published in German as Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren, was translated into English in 1959, emphasizing its role in applying mathematical group theory to atomic and molecular spectra. The theorem's significance lies in its establishment of the linear (or antilinear) nature of quantum symmetries, enabling the classification of physical systems via unitary representations of symmetry groups such as the group SO(3) or the in relativistic contexts. It underpins key applications, including the derivation of conservation laws from in quantum settings, the analysis of time-reversal invariance (often realized antiunitarily), and the foundational structure of , where it guarantees that spacetime symmetries preserve observable probabilities.

Foundational Concepts

Quantum States and Rays

In , pure states are described within a separable \mathcal{H}, which provides the foundational mathematical framework for the theory. A pure is represented by a normalized vector |\psi\rangle \in \mathcal{H} satisfying \langle \psi | \psi \rangle = 1. However, vectors |\psi\rangle and |\phi\rangle that differ only by a global , |\phi\rangle = e^{i\theta} |\psi\rangle for \theta \in \mathbb{R}, are physically equivalent, as no measurable quantity can distinguish them. This phase invariance implies that the true space of pure states is not the full but its projectivization. Consequently, pure quantum states are identified with in \mathcal{H}, which are one-dimensional complex subspaces spanned by a nonzero . Formally, the corresponding to |\psi\rangle is the [\psi] = \{ \lambda |\psi\rangle : \lambda \in \mathbb{C} \setminus \{0\} \}, and the set of all such rays forms the \mathbb{P}(\mathcal{H}). This projective structure captures the essential physical content, eliminating the unobservable phase degree of freedom. The physical predictions involving these states, such as transition probabilities, remain invariant under phase transformations. For two normalized vectors |\phi\rangle and |\psi\rangle representing rays [\phi] and [\psi], the transition probability is |\langle \phi | \psi \rangle|^2, which is unchanged by phase shifts since |e^{-i\alpha} \langle \phi | e^{i\beta} \psi \rangle|^2 = |\langle \phi | \psi \rangle|^2 for real \alpha, \beta. This invariance stems directly from the , which asserts that the probability of finding a prepared in [\psi] to be in [\phi] upon measurement is precisely the squared modulus of their inner product overlap, depending solely on the rays and not on representative choices. A concrete illustration occurs for a , where \mathcal{H} = \mathbb{C}^2 and \mathbb{P}(\mathcal{H}) \cong \mathbb{CP}^1 is stereographically equivalent to the —a in \mathbb{R}^3 whose surface points parametrize all pure states via the relation |\psi\rangle = \cos(\theta/2) |0\rangle + e^{i\phi} \sin(\theta/2) |1\rangle mapping to the (\sin\theta \cos\phi, \sin\theta \sin\phi, \cos\theta). This geometric visualization highlights how phase-invariant superpositions manifest as directions on the sphere.

Symmetries in Quantum Mechanics

In quantum mechanics, symmetries are physically meaningful transformations that act as isometries on the state space, preserving the probabilities of observable outcomes without altering the underlying physical laws. These include spacetime symmetries such as rotations and translations, which maintain the invariance of systems under changes in reference frames, as well as internal symmetries like the SU(3) color group governing interactions in . Such symmetries ensure that the theory remains consistent across different observational perspectives, forming the foundation for understanding conservation laws and particle classifications. Mathematically, a S is a bijective map from the set of rays (pure quantum states phase) to itself that preserves transition probabilities between states. For any two rays [|\phi\rangle] and [|\psi\rangle], this requires |\langle \phi | \psi \rangle|^2 = |\langle S(\phi) | S(\psi) \rangle|^2, where the transition probability quantifies the likelihood of measuring one state given another. Equivalently, in terms of pure-state operators \rho = |\phi\rangle\langle\phi| and \sigma = |\psi\rangle\langle\psi|, the condition is \operatorname{Tr}(S(\rho) S(\sigma)) = \operatorname{Tr}(\rho \sigma). This preservation captures the probabilistic nature of quantum measurements. Unlike classical symmetries, which typically involve deterministic point transformations on coordinates that simply permute trajectories without affecting patterns, quantum symmetries must account for the wave-like superposition and phase relations inherent to states. In , a symmetry might rigidly map positions and momenta while ignoring amplitudes, but quantum versions demand compatibility with linear superpositions, ensuring that terms remain unaltered under the transformation. For instance, spatial rotations in are implemented via unitary operators generated by , preserving not just positions but also the relative phases that dictate observable s. Key examples illustrate these symmetries' roles. Time translation, shifting the system by a a, preserves energy eigenvalues through the \hat{U}_t(a) = \exp(-i \hat{H} a / \hbar), where \hat{H} is the . Spatial rotations, parameterized by an vector \vec{\phi}, act via \hat{U}_R(\vec{\phi}) = \exp(-i \vec{\phi} \cdot \hat{\vec{L}} / \hbar), with \hat{\vec{L}} the , maintaining rotational invariance. In an analog of for quantum systems, continuous symmetries generate conserved observables through their infinitesimal generators; for example, the time-translation generator \hat{H} yields , as symmetries with the imply time-independent values for those observables.

Statement of the Theorem

Preliminaries

Wigner's theorem is formulated within the framework of a complex separable \mathcal{H}, which can be either finite- or infinite-dimensional, equipped with a sesquilinear inner product \langle \cdot | \cdot \rangle that is conjugate-linear in the first argument and linear in the second. This inner product satisfies \langle \phi | \phi \rangle > 0 for \phi \neq 0 and induces a \| \phi \| = \sqrt{\langle \phi | \phi \rangle}, with the space completed to . Bounded linear operators on \mathcal{H} map vectors to vectors while preserving the , and they play a central role in representing transformations. Unitary operators U on \mathcal{H} are bounded linear operators satisfying U^\dagger U = U U^\dagger = I, where U^\dagger is the defined by \langle U \phi | \psi \rangle = \langle \phi | U^\dagger \psi \rangle, ensuring preservation of the inner product: \langle U \phi | U \psi \rangle = \langle \phi | \psi \rangle. Anti-unitary operators A, in contrast, are bounded anti-linear operators (i.e., A(c \phi + d \psi) = c^* A \phi + d^* A \psi for complex scalars c, d) that satisfy the conjugation property \langle A \phi | A \psi \rangle = \langle \psi | \phi \rangle^*, thereby preserving the modulus of the inner product: | \langle A \phi | A \psi \rangle | = | \langle \phi | \psi \rangle |. The ray \mathbb{P}(\mathcal{H}) consists of equivalence classes of non-zero vectors under phase multiplication, known as rays: [\phi] = \{ e^{i \theta} \phi \mid \theta \in \mathbb{R} \}, representing pure quantum states up to global phase. in \mathbb{P}(\mathcal{H}) is defined such that two rays [\phi] and [\psi] are orthogonal if \langle \phi | \psi \rangle = 0 for representatives with \| \phi \| = \| \psi \| = 1. An S: \mathbb{P}(\mathcal{H}) \to \mathbb{P}(\mathcal{H}) is a bijection that preserves this orthogonality relation: [\phi] \perp [\psi] if and only if S([\phi]) \perp S([\psi]). The key condition for S in Wigner's theorem is the preservation of transition probabilities between rays, defined as p([\phi], [\psi]) = |\langle \phi | \psi \rangle|^2 for normalized representatives, such that p(S([\phi]), S([\psi])) = p([\phi], [\psi]) for all rays. This invariance captures the probabilistic structure of quantum measurements. The theorem applies when \dim \mathcal{H} \geq 2, as the case \dim \mathcal{H} = 1 is trivial, with all rays being equivalent and transformations merely phase shifts.

Formal Statement

Wigner's theorem asserts that every bijective map S: \mathbb{P}(\mathcal{H}) \to \mathbb{P}(\mathcal{H}) on the \mathbb{P}(\mathcal{H}) of a separable \mathcal{H} with \dim \mathcal{H} \geq 2, which preserves transition probabilities between pure states, is induced by either a unitary or an anti-unitary operator on \mathcal{H}. Specifically, the preservation condition is that for all normalized vectors |\psi\rangle, |\phi\rangle \in \mathcal{H}, \left| \langle \tilde{\phi} | \tilde{\psi} \rangle \right| = \left| \langle \phi | \psi \rangle \right|, where [\tilde{\psi}] = S([\psi]) and [\tilde{\phi}] = S([\phi]) are the images of the rays under S, with representatives \tilde{\psi}, \tilde{\phi} chosen to be normalized. Thus, S([\psi]) = [U \psi] for some unitary operator U, or S([\psi]) = [A \psi] for some anti-unitary operator A, where [\cdot] denotes the equivalence class of vectors up to a nonzero complex phase factor. The theorem distinguishes between the two cases based on whether the map S can be lifted to a linear or antilinear on \mathcal{H}. The linear case, corresponding to a , arises if S preserves in \mathbb{P}(\mathcal{H}), for example, by preserving the sign of the \operatorname{Im} \left( \langle \phi | \psi \rangle \langle \psi | \chi \rangle \langle \chi | \phi \rangle \right) for linearly normalized vectors |\phi\rangle, |\psi\rangle, |\chi\rangle; otherwise, the antilinear case corresponds to an anti-. A corollary extends the theorem to mixed states: since density operators are convex combinations of pure-state projectors and the map S preserves transition probabilities (hence convex combinations), it induces a unique affine map on the set of all density operators \rho, given by \tilde{\rho} = U \rho U^\dagger in the unitary case or \tilde{\rho} = A \rho A^\dagger in the anti-unitary case, where the adjoint is defined appropriately for anti-unitaries. The inducing operator is unique up to a global : if U' and U both induce the same S, then U' = e^{i\theta} U for some real \theta, as phase choices affect only the representatives within rays but not the projective map.

Representations and Implications

Unitary and Anti-Unitary Operators

In , unitary operators represent symmetries that preserve the inner product between states exactly, ensuring \langle U\phi | U\psi \rangle = \langle \phi | \psi \rangle for any vectors \phi, \psi in the . These operators are linear and arise from continuous transformations, such as spatial , where the rotation operator for an \theta around \mathbf{n} takes the form U(\mathbf{n}, \theta) = e^{-i \mathbf{J} \cdot \mathbf{n} \, \theta / \hbar}, with \mathbf{J} the . More generally, unitary operators implementing time-independent symmetries are generated by self-adjoint operators via exponentiation, analogous to the time-evolution operator U(t) = e^{-i H t / \hbar} for a self-adjoint H. For instance, in a spin-1/2 system, a rotation by \pi around the x-axis is realized by the unitary operator U = -i \sigma_x, where \sigma_x is the Pauli matrix, preserving the overall phase structure of superpositions. Anti-unitary operators, in contrast, preserve only the modulus of the inner product, such that |\langle A\phi | A\psi \rangle| = |\langle \phi | \psi \rangle|, but they conjugate phases by satisfying \langle A\phi | A\psi \rangle = \langle \phi | \psi \rangle^*. These operators are anti-linear, meaning A(c \phi) = c^* A\phi for complex c, and they typically represent discrete symmetries involving time reversal. The time-reversal operator T exemplifies this, acting anti-linearly to flip the sign of i, so T (i H t) = -i H t \, T, which reverses the direction of time evolution: T e^{-i H t / \hbar} T^\dagger = e^{i H t / \hbar}. In the position basis, T decomposes as T = U K, where K denotes complex conjugation and U is unitary; for a spin-1/2 particle, U = i \sigma_y, yielding T = i \sigma_y K, which reverses spin components while conjugating the wave function. The distinction between unitary and anti-unitary operators lies in their treatment of superposition phases: unitaries maintain relative phases intact, while anti-unitaries conjugate them, effectively reversing the "" in . This phase conjugation in anti-unitaries is crucial for symmetries like time reversal, which underpins the CPT theorem in relativistic , ensuring that combined charge conjugation, , and time reversal leave physical laws invariant. Both types act on by conjugation—for unitaries, the transformed observable is O' = U O U^\dagger, while for anti-unitaries, it is O' = A O A^\dagger—preserving expectation values under the symmetry. Wigner's theorem establishes that all quantum symmetries take one of these forms, with unitaries for orientation-preserving transformations and anti-unitaries for those involving reversal.

Projective Representations and Phase Freedom

In , symmetries act on the rather than the itself, leading to of groups. A \rho: [G](/page/G) \to \mathrm{PU}(H) of a group [G](/page/G) on a H is a into the , where unitaries are identified modulo phase factors: U \sim e^{i\theta} U. This means the composition satisfies \rho(g) \rho(h) = e^{i \phi(g,h)} \rho(gh) for some phase function \phi: G \times G \to \mathbb{R}, known as a 2-cocycle. Wigner's theorem implies that each symmetry g \in G induces a unitary or anti-unitary operator U_g or A_g on H, but these operators are defined only up to a global phase e^{i\theta_g} due to the ray structure of quantum states. The phase freedom inherent in quantum states—where |\psi\rangle and e^{i\theta} |\psi\rangle represent the same physical state—allows symmetries to be lifted to linear operators acting on the full Hilbert space, despite their action being at the ray level. This projectivity arises because observable quantities, such as transition probabilities, are invariant under phase shifts. Central extensions of the group, such as G \times U(1), resolve this by incorporating the phase as a central element, transforming projective representations into ordinary unitary ones. Bargmann's theorem establishes a precise : every projective unitary representation of G on H is equivalent to an ordinary unitary representation of the central extension \tilde{G} = G \times_{\phi} U(1), where the extension is determined by the 2-cocycle \phi. This theorem provides a group-theoretic framework for classifying quantum symmetries, ensuring that phase ambiguities can be systematically accounted for in . A canonical example is the rotation group SO(3), whose projective representations correspond to half-integer spin systems in . The double cover SU(2) of SO(3) yields irreducible representations labeled by j = 0, 1/2, 1, \dots, where integer j give ordinary representations of SO(3) and half-integer j give projective ones, unified in of . For instance, the representation on \mathbb{C}^2 transforms under SU(2) but projects to a projective of SO(3), essential for describing fermions.

Generalizations and Extensions

Higher-Rank Projections

The original Wigner's theorem classifies symmetries that preserve transition probabilities between pure states, corresponding to rank-1 projectors on a H. A natural generalization extends this to higher-rank projectors, which describe k-dimensional subspaces and are associated with the \mathrm{Gr}(k, H), the manifold of all such subspaces. Specifically, consider bijective maps \Phi: \mathrm{Gr}(k, H) \to \mathrm{Gr}(k, H) that preserve the overlap \mathrm{Tr}(P Q) between rank-k projectors P and Q, where $1 < k < \dim H. Such maps characterize symmetries of subspaces rather than individual rays, addressing limitations of the rank-1 case for describing mixed states or degenerate eigenspaces. A key theorem in this direction states that, for \dim H \geq 4k, any surjective isometry \Phi on the set of rank-k projectors P_k(H) that preserves the operator norm distance \|\Phi(P) - \Phi(Q)\| = \|P - Q\| (equivalent to preserving the largest principal angle between subspaces) is induced by a unitary or anti-unitary operator U on H, satisfying \Phi(P) = U P U^* for all P \in P_k(H). This result extends the structure of Wigner's theorem to the projective geometry of higher-dimensional subspaces and applies similarly to the Stiefel manifold of orthonormal frames. An earlier variant, building on overlap preservation, shows that linear maps surjectively sending rank-k projectors to rank-k projectors on finite-dimensional Hilbert spaces of prime dimension are also implemented by unitaries or anti-unitaries. These generalizations were further developed in a 2025 theorem providing proofs for arbitrary rank n, confirming that maps preserving scaled Hilbert-Schmidt inner products \mathrm{Tr}(\phi(S) \phi(T)) = n \mathrm{Tr}(S T) between rank-1 and rank-n projectors take the form \phi(A) = \sum_{i=1}^n V_i A V_i^*, where the V_i are isometries with orthogonal ranges. These higher-rank symmetries have applications in quantum information, particularly for symmetries of entangled subspaces, where preserving projector overlaps ensures invariance under local operations on composite systems. For instance, they underpin the structure of quantum error-correcting codes, such as stabilizer codes, by classifying automorphisms that map code subspaces to equivalent ones while preserving error-detection properties. Moreover, unlike the rank-1 case, higher-rank extensions preserve fidelity between mixed states through purification: a symmetry \Phi on rank-k projectors lifts to the full Hilbert space, allowing partial traces over subsystems to yield reduced density operators with invariant fidelity F(\rho, \sigma) = \left( \mathrm{Tr} \sqrt{\sqrt{\rho} \sigma \sqrt{\rho}} \right)^2. This enables reduced symmetries for multipartite systems, where global unitaries induce local maps on marginals without full phase freedom. The 2025 developments explicitly link these proofs to stabilizer code symmetries, showing how rank-n projector maps classify code stabilizers under quantum channels.

General Probabilistic Theories

General probabilistic theories (GPTs) provide a broad operational framework for modeling physical systems, encompassing , , and hypothetical post-quantum theories. In this setting, states are represented as elements of convex sets within a , while effects are linear functionals that assign probabilities to outcomes, with the unit effect ensuring . Symmetries in GPTs are transformations that preserve probabilistic overlaps, meaning they maintain the transition probabilities between states under effects. A key generalization of Wigner's theorem to GPTs, developed in 2023 and updated in 2025, introduces Wigner representations that classify symmetries as analogs to unitary (reversible) or anti-unitary (time-reversing) operators, thereby recovering the standard quantum case as a special instance. These representations describe states in terms of fixed observables, such as or , with symmetries acting on the outcomes of these observables. A central result is that such symmetries in GPTs correspond to affine maps on the state space that preserve the partial order (positivity of probabilities) and normalization. This framework finds applications in post-quantum theories, such as the Spekkens toy model, which imposes epistemic restrictions on knowledge about systems, and boxworld theories featuring Popescu-Rohrlich (PR) boxes that exhibit stronger non-locality than . In these contexts, Wigner representations enable tests of non-locality and contextuality by analyzing how symmetries constrain compatible measurements and reveal incompatibilities beyond quantum limits. For instance, negativity in Wigner functions signals contextuality in boxworld, generalizing quantum violations of Bell inequalities. Recent insights from 2021 to 2025 have explored timeless formulations of paradox within GPT-like extensions, using mechanisms like the Page-Wootters approach to derive generalized probability rules from principles. These rules modify standard conditional probabilities to resolve observer disagreements in multi-agent scenarios, ensuring consistency across reversible and irreversible dynamics while linking symmetries to foundational probability assignments in broader operational theories.

Historical and Proof Aspects

Original Formulation and Proof

Eugene Wigner formulated his theorem on the representation of symmetries in in his 1931 monograph Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren, motivated by the need to rigorously describe how operations, such as rotations, affect atomic spectra while preserving transition probabilities between quantum states. This work built on the emerging framework of , where symmetries play a central role in classifying energy levels and selection rules for spectral lines. In the original proof, Wigner considered a finite-dimensional H and started with a bijective map on the of rays (one-dimensional subspaces) that preserves transition probabilities, i.e., |\langle \phi | \psi \rangle|^2 = |\langle U\phi | U\psi \rangle|^2 for rays [\phi] and [\psi]. He extended this map to a linear on H by ensuring preservation of relations between basis vectors and constructing the action on linear combinations while maintaining of the transformed basis. Modern accounts, such as Bargmann's, employ the to recover the full inner product from the preserved moduli and verify unitarity: \langle \phi | \psi \rangle = \frac{1}{4} \sum_{\pm} \left( |\langle \phi + \psi | \phi + \psi \rangle|^2 - |\langle \phi - \psi | \phi - \psi \rangle|^2 \right) + i \frac{1}{4} \sum_{\pm} \left( |\langle \phi + i\psi | \phi + i\psi \rangle|^2 - |\langle \phi - i\psi | \phi - i\psi \rangle|^2 \right), demonstrating that the extended operator preserves inner products up to a phase. This approach established that the symmetry is implemented by a unitary operator, though the original treatment assumed linearity and did not fully address the possibility of anti-unitary implementations. The theorem laid the groundwork for the application of group representation theory to , notably influencing the development of the Wigner-Eckart theorem, which decomposes matrix elements of operators under symmetry groups into reduced parts and Clebsch-Gordan coefficients. However, the 1931 formulation was limited to finite-dimensional spaces, with extensions to infinite-dimensional Hilbert spaces requiring additional topological considerations addressed in subsequent works. The explicit inclusion of anti-unitary operators, essential for symmetries like time reversal, was clarified later by Valentine Bargmann in 1964.

Modern Proofs and Developments

A further geometric advancement appeared in E. Uhlhorn's 1963 proof, which interprets Wigner's symmetries as orthogonality-preserving maps on the , equivalent to isometries under the Fubini-Study metric, demonstrating that such maps induce unitary or anti-unitary operators. This metric perspective highlights the theorem's ties to and has influenced subsequent work on state space symmetries. Recent developments extend Wigner's theorem to dynamical contexts, as in the 2021 of symmetries for quantum evolutions, which decomposes evolution-preserving maps into compositions of state symmetries, yielding a Wigner-like for time-dependent processes. Building on this, a 2024 proof simplifies the theorem for quantum designs and states, classifying the full of the polytope for n-qubit systems as the Clifford group extended by factors, thereby revealing symmetries in resource-efficient quantum states. This result, published in the Journal of Mathematical Physics, underscores applications in quantum information theory, such as sampling over polytopes with simulable vertices. Extensions to infinite-dimensional settings leverage the Kadison-Ringrose framework for von Neumann algebras, where symmetries preserving transition probabilities on projections are implemented by *-automorphisms or anti-automorphisms, accommodating type II and III factors beyond finite-dimensional Hilbert spaces. These algebraic generalizations preserve the unitary/anti-unitary dichotomy while addressing unbounded operators in quantum field contexts. Ongoing challenges include a complete of symmetries in relativistic , where Wigner's theorem encounters complications from infinite degrees of freedom and interactions that disrupt particle representations. Recent 2025 studies on the extended paradox further explore these limits in relation to many-worlds interpretations.

References

  1. [1]
    [PDF] Wigner's theorem - University of Iowa Physics
    Wigner's theorem implies that a relativistically invariant quantum mechanics is defined by a unitary representation of the component of the Poincaré group.
  2. [2]
    [PDF] 1.3 review of quantum mechanics - Purdue Physics department
    Mar 1, 2010 · Wigner's Theorem. If the one-to-one symmetry transformation Ψ ↔ Ψ0 mapping unit rays into unit rays in the Hilbert space H preserves transition ...
  3. [3]
    And Its Application to the Quantum Mechanics of Atomic Spectra
    Sep 3, 2013 · Group Theory and its Application to the Quantum Mechanics of Atomic Spectra describes the applications of group theoretical methods to ...
  4. [4]
    Group Theory - And its Application to the Quantum Mechanics of ...
    Group Theory and its Application to the Quantum Mechanics of Atomic Spectra. Edited by EUGENE P. WIGNER - Palmer Physical Laboratory, Princeton University.
  5. [5]
    [PDF] Lecture 18 (Nov. 13, 2017) - 18.1 Symmetries in Quantum Mechanics
    2 . (18.3). Wigner's theorem tells us that if U satisfies this condition, then U must be unitary or anti-unitary;.
  6. [6]
    Mathematical foundations of quantum mechanics : Von Neumann ...
    Jul 2, 2019 · Mathematical foundations of quantum mechanics ; Publication date: 1955 ; Topics: Matrix mechanics ; Publisher: Princeton, N.J. : Princeton ...
  7. [7]
    Zur Quantenmechanik der Stoßvorgänge | Zeitschrift für Physik A ...
    Volume 37, pages 863–867, (1926); Cite this article. Download PDF · Zeitschrift für Physik. Zur Quantenmechanik der Stoßvorgänge. Download PDF. Max Born. 3088 ...
  8. [8]
    [PDF] Symmetries in Quantum Mechanics and Particle Physics
    Symmetry in quantum mechanics is the invariance of a theory under transformations of its degrees of freedom, like space translations.
  9. [9]
    [1812.10019] Are almost-symmetries almost linear? - arXiv
    Dec 25, 2018 · Wigner's symmetry theorem implies that transformations that preserve transition probabilities of pure quantum states are linear maps on the ...
  10. [10]
    17 Symmetry and Conservation Laws - Feynman Lectures - Caltech
    Classically, if a state is symmetric under an inversion, the operation gives back the same state. In quantum mechanics, however, there are the two possibilities ...
  11. [11]
    [1203.2035] A Noether Theorem for Markov Processes - arXiv
    Mar 9, 2012 · Noether's theorem links the symmetries of a quantum system with its conserved quantities, and is a cornerstone of quantum mechanics.
  12. [12]
    [PDF] N oteon Wigner's Theorem on Symmetry Operations
    Wigner's theorem states that a symmetry operation of a quantum system is induced by a unitary or an anti-unitary transformation. This note presents a detailed ...
  13. [13]
  14. [14]
    [PDF] arXiv:0808.0779v2 [quant-ph] 21 Aug 2008
    Aug 21, 2008 · The theorem of Wigner asserts that a symmetry so defined at the level of rays can always be lifted into a linear unitary or an antilinear ...
  15. [15]
    [PDF] Rotations in Quantum Mechanics, and Rotations of Spin-1
    Equation (18) shows that we can find the rotation operators U(n,θ) corresponding to the classical rotations R(n,θ) once we know the angular momentum operators J ...
  16. [16]
    [PDF] Lecture 4 1 Unitary Operators and Quantum Gates - People @EECS
    A unitary operator is a linear transformation where U† = U−1. Quantum gates are simple unitary transforms, like the Hadamard gate.Missing: mechanics preserve
  17. [17]
    [PDF] 1.1.1 Time reversal - CLASSE (Cornell)
    Feb 27, 2015 · The only candidates for an anti-unitary transformation are where T2 gets you back where you started, namely parity and time reversal, charge ...
  18. [18]
    [PDF] Time Reversal - University of California, Berkeley
    ... definition is meaningful. Just like unitary operators, antiunitary operators preserve the absolute values of scalar products, as indicated by Wigner's theorem.<|control11|><|separator|>
  19. [19]
    Symmetries of quantum evolutions | Phys. Rev. Research
    Jul 6, 2021 · Wigner's theorem establishes that every symmetry of the quantum state space must be either a unitary transformation or an antiunitary ...Missing: primary source
  20. [20]
    [PDF] Wigner's Symmetry Representation Theorem
    It was Eugene Wigner who, in 1931, precisely defined what symmetry meant in this context and explained how a symmetry transformation could be represented by ei-.Missing: original | Show results with:original
  21. [21]
    [PDF] Quantum Theory, Groups and Representations: An Introduction ...
    This book began as course notes prepared for a class taught at Columbia Uni- versity during the 2012-13 academic year. The intent was to cover the basics of.
  22. [22]
    [PDF] SURJECTIVE ISOMETRIES ON GRASSMANN SPACES 1 ... - CORE
    We remark that in [8] (alternatively, see Section 2.1 in [7]) the third author presented an extension of Wigner's theorem for the space of higher rank ...
  23. [23]
    [PDF] Generalising Wigner's theorem - arXiv
    Apr 12, 2016 · In this paper we consider linear maps mapping surjectively rank-k projectors to rank-l projectors. We show for which k, l such maps exist and ...Missing: higher- | Show results with:higher-
  24. [24]
    [PDF] Generalizations ofWigner's theorem from rank-1 projections to rank-n
    May 23, 2025 · Wigner's theorem also serves as a frequently used tool for investigating the symmetries in some math- ematical structures of quantum mechanics.<|control11|><|separator|>
  25. [25]
  26. [26]
    Symmetries and Wigner representations of operational theories - arXiv
    Jun 20, 2023 · We develop the theory of Wigner representations for general probabilistic theories (GPTs), a large class of operational theories that include ...
  27. [27]
    Generalized probability rules from a timeless formulation of Wigner's ...
    Nov 21, 2019 · We show that the standard rules to assign two-time conditional probabilities within the PWM need to be modified to deal with the Wigner's friend ...
  28. [28]
    [PDF] An elementary proof of Wigner's theorem on quantum mechanical ...
    The classical version (i. e. the bijective case) was first stated by E. Wigner in 1931. In his book Wigner himself did not give a rigorous mathemat- ical proof, ...
  29. [29]
    [PDF] Interpreting the Wigner–Eckart theorem - Josh R. Hunt
    The Wigner–Eckart theorem entails that the reduced matrix element simply equals the quotient of this non-zero matrix element by the relevant Clebsch–Gordan ...
  30. [30]
    Note on Wigner's Theorem on Symmetry Operations - AIP Publishing
    Wigner's theorem states that a symmetry operation of a quantum system is induced by a unitary or an anti‐unitary transformation.
  31. [31]
  32. [32]
    quantum theory: von Neumann vs. Dirac
    Jul 27, 2004 · A von Neumann algebra is a *-subalgebra of the set of bounded operators B(H) on a Hilbert space H that is closed in the weak operator topology ...
  33. [33]
    [PDF] Geometry of State Spaces - Institut für Theoretische Physik
    A state ω of B(H) is called “singular”, if ω(P) = 0 for all projection operators of finite rank. Thus, if dim(PH) < ∞, one gets ω(P) = 0 for singular states.
  34. [34]
    (PDF) Geometry of State Spaces - ResearchGate
    Aug 10, 2025 · Specifically, Uhlmann's construction generates a metric that is monotonic under random mappings, which has major implications in statistical ...
  35. [35]
    Wigner's theorem for stabilizer states and quantum designs
    Nov 26, 2024 · It is not difficult to generalize the Stabilizer Wigner theorem to the situation where the finite fields Z d for prime d are replaced by ...
  36. [36]
    Wigner's Theorem for stabilizer states and quantum designs - arXiv
    Abstract:We describe the symmetry group of the stabilizer polytope for any number n of systems and any prime local dimension d.Missing: 2025 AIP
  37. [37]
    Wigner's Theorem for Semi-finite von Neumann Algebras
    Wigner's theorem, an important result in quantum mechanics, shows that a transitionprobability preserving bijection on the set of rank-one projections on a ...
  38. [38]
    [PDF] Bounded operators and von Neumann algebras - HAL
    Aug 7, 2022 · Mathematically, the commonly accepted belief is that the good framework for the study of quantum mechanics is an infinite dimensional ...
  39. [39]
    Quantum Field Theory - Stanford Encyclopedia of Philosophy
    Jun 22, 2006 · ... relativistic theory such as QFT. ... Moreover, once interactions are included, Wigner's classification is no longer applicable (see Bain 2000).
  40. [40]
    The Extended Wigner's Friend, Many-and Single-Worlds and ...
    The concept of an isolated system, and Frauchiger and Renner's extended 'Wigner's friend' scenario are discussed.