After the link ?R‖ψ (?r) 〉 = ‖ψ (r) 〉 between the real-space geometric operator ? and a uniquely associated new function-space operator ?R is established, the real-space development of Paper I is extended into function space. Several examples then illustrate the central theorem of group representation theory as used in quantum mechanics: for a given physical system, the energy eigenvectors {‖ψi(ν)(r) 〉} corresponding to the eigenvalue Eν constitute a subspace of Hilbert space invariant with respect to the system’s group of symmetry operators, and a set of basis vectors spanning that subspace can produce an irreducible representation of that group. Or, more simply, symmetry in real space determines symmetry in function space. And it is from and appreciation of the symmetry properties of states and operators in Hilbert space that the useful arguments of group representation theory flow.
After the link ?R‖ψ (?r) 〉 = ‖ψ (r) 〉 between the real-space geometric operator ? and a uniquely associated new function-space operator ?R is established, the real-space development of Paper I is extended into function space. Several examples then illustrate the central theorem of group representation theory as used in quantum mechanics: for a given physical system, the energy eigenvectors {‖ψi(ν)(r) 〉} corresponding to the eigenvalue Eν constitute a subspace of Hilbert space invariant with respect to the system’s group of symmetry operators, and a set of basis vectors spanning that subspace can produce an irreducible representation of that group. Or, more simply, symmetry in real space determines symmetry in function space. And it is from and appreciation of the symmetry properties of states and operators in Hilbert space that the useful arguments of group representation theory flow.
Structured as a dialogue between a mathematician and a physicist, Symmetry and Quantum Mechanics unites the mathematical topics of this field into a compelling and physically-motivated narrative that focuses on the central role of symmetry. Aimed at advanced undergraduate and beginning graduate students in mathematics with only a minimal background in physics, this title is also useful to physicists seeking a mathematical introduction to the subject. Part I focuses on spin, and covers such topics as Lie groups and algebras, while part II offers an account of position and momentum in the context of the representation theory of the Heisenberg group, along the way providing an informal discussion of fundamental concepts from analysis such as self-adjoint operators on Hilbert space and the Stone-von Neumann Theorem. Mathematical theory is applied to physical examples such as spin-precession in a magnetic field, the harmonic oscillator, the infinite spherical well, and the hydrogen atom.
In the usual formulation of quantum mechanics, groups of automorphisms of quantum states have ray representations by unitary and antiunitary operators on complex Hilbert space, in accordance with Wigner's theorem. In the phase-space formulation, they have real, true unitary representations in the space of square-integrable functions on phase space. Each such phase-space representation is a Weyl–Wigner product of the corresponding Hilbert space representation with its contragredient, and these can be recovered by 'factorizing' the Weyl–Wigner product. However, not every real, unitary representation on phase space corresponds to a group of automorphisms, so not every such representation is in the form of a Weyl–Wigner product and can be factorized. The conditions under which this is possible are examined. Examples are presented.
There is a notational discrepancy in how mathematicians and physicists treat Hilbert spaces. In physics, one often works with finite-dimensional Hilbert spaces treated as ℂ n , and hence wants to write the Hermitian inner product as (x, y) = x ∗ y. This definition dictates the use of a Hermitian inner product that is antilinear in the first argument, the convention followed, for example, in Reed & Simon [246]. This is also the choice adopted in Dirac’s bracket notation, whose usage in quantum mechanics is very widespread. Our notation is chosen to extend-as closely as possible-the traditional notation of standard finite-dimensional matrix algebra to arbitrary complex inner product spaces and associated linear operators. In matrix algebra, column vectors and the corresponding matrices with one column are identical objects, row vectors are the linear functionals, and the adjoint is the conjugate transpose. For example, ℍ = ℍ × = ℂ n is the space of column vectors of size n, the dual space ℍ ∗ is the space of row vectors of size n, and the operator product ϕ ∗ ψ of a row vector ϕ ∗ and a column vector ψ is the standard Hermitian inner product of the column vectors ϕ and ψ. We use Greek lower case letters to write vectors, thus emphasizing their intended use as quantum state vectors in quantum mechanics. On the other hand, mathematicians working on reproducing kernel Hilbert spaces use an inner product (x, y) antilinear in the second argument, related to the physicist’s inner product (x, y) by (x, y) =( ). This is the convention followed, for example, in Rudin [252]. Although the two ways of defining the inner product lead to fully equivalent theories, all details look a bit different, a fact that has to be taken into account when reading the literature on the subject. For example, in the description based on the physical tradition, it is preferable to work with the antidual space in place of the dual space used in the mathematical tradition. In functional analysis, linear operators in Hilbert spaces are usually considered each with their own domain. But many computations in quantum mechanics require the consideration of algebras of operators with a common domain. The latter is a Euclidean space, a dense subspace of a Hilbert space. This space and its antidual play in many respects a more basic role in quantum physics than the Hilbert space itself. Therefore, and to avoid possible confusion caused by the different traditions, we give in the present chapter a self-contained introduction to Euclidean spaces and their associated spaces. All proofs are carried out in detail.
Quantum theory can be formulated as a theory of operations, more specific, of complex represented operations from real Lie groups. Hilbert space eigenvectors of acting Lie operations are used as states or particles. The simplest simple Lie groups have three dimensions. These groups together with their contractions and subgroups contain - in the simplest form - all physically important operations which come as translations for causal time, for space and for spacetime, as rotations, Lorentz transformations and as Euclidean and Poincare transformations with scattering and particle states and also - via the Heisenberg groups - as the operational structure of nonrelativistic quantum mechanics. The classification of all those groups and their contractions is given together with their Hilbert spaces, constituted by energy-momentum functions. The groups representation matrix elements can be written as residues of energy-momentum poles - simple poles for abelian translations, e.g. in Feynman propagators, and dipoles for simple Lie group operations, e.g. in the Schroedinger wave functions for the nonrelativistic hydrogen atom.
As earlier conjectured by several authors and much later established by Solèr, from the lattice-theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. On the other hand, no quantum systems seem to exist that are naturally described in a real or quaternionic Hilbert space. In a previous paper [23], we showed that any quantum system which is elementary from the viewpoint of the Poincaré symmetry group and it is initially described in a real Hilbert space, it can also be described within the standard complex Hilbert space framework. This complex description is unique and more precise than the real one as, for instance, in the complex description, all self-adjoint operators represent observables defined by the symmetry group. The complex picture fulfils the thesis of Solér’s theorem and permits the standard formulation of the quantum Noether’s theorem. The present work is devoted to investigate the remaining case, namely, the possibility of a description of a relativistic elementary quantum system in a quaternionic Hilbert space. Everything is done exploiting recent results of the quaternionic spectral theory that were independently developed. In the initial part of this work, we extend some results of group representation theory and von Neumann algebra theory from the real and complex cases to the quaternionic Hilbert space case. We prove the double commutant theorem also for quaternionic von Neumann algebras (whose proof requires a different procedure with respect to the real and complex cases) and we extend to the quaternionic case a result established in the previous paper concerning the classification of irreducible von Neumann algebras into three categories. In the second part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a quaternionic Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the quaternionic one, all self-adjoint operators represent observables in agreement with Solèr’s thesis, the standard quantum version of Noether theorem may be formulated and the notion of composite system may be given in terms of tensor product of elementary systems. In the third part of the paper, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. The overall conclusion is that relativistic elementary systems are naturally and better described in complex Hilbert spaces even if starting from a real or quaternionic Hilbert space formulation and this complex description is uniquely fixed by physics.