We reconsider the (non-relativistic) quantum theory of indistinguishable particles on the basis of Rieffel’s notion of [Formula: see text]-algebraic (“strict”) deformation quantization. Using this formalism, we relate the operator approach of Messiah and Greenberg (1964) to the configuration space approach pioneered by Souriau (1967), Laidlaw and DeWitt-Morette (1971), Leinaas and Myrheim (1977), and others. In dimension [Formula: see text], the former yields bosons, fermions, and paraparticles, whereas the latter seems to leave room for bosons and fermions only, apparently contradicting the operator approach as far as the admissibility of parastatistics is concerned. To resolve this, we first prove that in [Formula: see text] the topologically non-trivial configuration spaces of the second approach are quantized by the algebras of observables of the first. Secondly, we show that the irreducible representations of the latter may be realized by vector bundle constructions, among which the line bundles recover the results of the second approach. Mathematically speaking, representations on higher-dimensional bundles (which define parastatistics) cannot be excluded, which render the configuration space approach incomplete. Physically, however, we show that the corresponding particle states may always be realized in terms of bosons and/or fermions with an unobserved internal degree of freedom (although based on non-relativistic quantum mechanics, this conclusion is analogous to the rigorous results of the Doplicher–Haag–Roberts analysis in algebraic quantum field theory, as well as to the heuristic arguments which led Gell-Mann and others to qcd (i.e. Quantum Chromodynamics)).
We reconsider the (non-relativistic) quantum theory of indistinguishable particles on the basis of Rieffel's notion of C*-algebraic (`strict') deformation quantization. Using this formalism, we relate the operator approach of Messiah and Greenberg (1964) to the configuration space approach due to Souriau (1967), Laidlaw and DeWitt (1971), Leinaas and Myrheim (1977), and others. The former allows parastatistics, whereas the latter apparently leaves room for bosons and fermions only. This seems to contradict the operator approach as far as the admissibility of parastatistics is concerned. To resolve this, we first prove that the topologically nontrivial configuration spaces of the second approach are quantized by the algebras of observables of the first. Second, we show that the irreducible representations of the latter may be realized by vector bundle constructions, which include the line bundles of the second approach: representations on higher-dimensional bundles (which define parastatistics) cannot be excluded a priori. However, we show that the corresponding particle states may always be realized in terms of bosons and/or fermions with an unobserved internal degree of freedom. Although based on non-relativistic quantum mechanics, this conclusion is analogous to the rigorous results of the Doplicher-Haag-Roberts analysis in algebraic quantum field theory, as well as to the heuristic arguments which led Gell-Mann and others to QCD.
Quantization is defined as the act of assigning an appropriate C*-algebra [Formula: see text] to a given configuration space Q, along with a prescription mapping self-adjoint elements of [Formula: see text] into physically interpretable observables. This procedure is adopted to solve the problem of quantizing a particle moving on a homogeneous locally compact configuration space Q=G/H. Here [Formula: see text] is chosen to be the transformation group C*-algebra corresponding to the canonical action of G on Q. The structure of these algebras and their representations are examined in some detail. Inequivalent quantizations are identified with inequivalent irreducible representations of the C*-algebra corresponding to the system, hence with its superselection sectors. Introducing the concept of a pre-Hamiltonian, we construct a large class of G-invariant time-evolutions on these algebras, and find the Hamiltonians implementing these time-evolutions in each irreducible representation of [Formula: see text]. “Topological” terms in the Hamiltonian (or the corresponding action) turn out to be representation-dependent, and are automatically induced by the quantization procedure. Known “topological” charge quantization or periodicity conditions are then identically satisfied as a consequence of the representation theory of [Formula: see text].
This paper is concerned with the relationship between the group G of all symmetries of an unconstrained dynamical system and the space of its quantum states. The chief aim is to establish the validity of the claim that "quantizing a system" means deciding what G is and determining all projective unitary representations of G. The mathematical tool suited to this purpose is the theory of central extensions of an arbitrary group G by the circle group T (and the closely related cohomology group H2 (G, T)). The fundamental structural property is that there is a universal state space [Formula: see text] embedding all states, a unitary representation space of the universal central extension [Formula: see text] of G, on which the Pontryagin dual H2 (G, T)⋆ of H2 (G, T) operates as a group of su-perselection rules, so that the superselection sectors are [Formula: see text] and observables are self-adjoint operators Vh → Vh. This leads to a classification of time-evolution operators respecting the symmetries by H2 (G, T) and a general understanding of "anomalies" as arising from a mismatch of sectors to which symmetry transformations and time-evolution refer. For the special case of a Lie group G of symmetries, [Formula: see text] of G coincides with [Formula: see text] the universal covering group, if G is semisimple. More generally, depending on whether or not G is semisimple and/or simply connected, inequivalent quantizations are of topological, algebraic or "mixed" origin; in the algebraic case, the relationship between anomalous conservation laws and invariant dynamics is explicitly given. Illustrative examples worked out include the Euclidean group E (d) and the (connected) Poincaré group P (d, 1) for arbitrary spatial dimension d and the discrete groups (Z/N)2 and Z2 appropriate for planar square crystals — in particular, the absence of "fractional" angular momentum in the plane is established and the difficulties specific to (2,1)-dimensional quantum field theories precisely formulated. The paper concludes by noting that a number of ambiguities generally supposed to affect traditional procedures of quantization resolve themselves satisfactorily in this approach. Mathematically, the paper is self-contained as far as the concepts and results are concerned; occasionally, proofs of well-known facts are reworked when they serve to illustrate the value of the symmetry point of view. The theory of universal central extensions of groups, including important special cases, is treated in detail in an appendix by M. S. Raghunathan, in view of its significance for quantization and the absence of a similar account in the literature.
A remarkable feature of quantum theory is that particles with identical intrinsic properties must be treated as indistinguishable if the theory is to give valid predictions in all cases. In the quantum formalism, indistinguishability is expressed via the symmetrization postulate (Dirac P 1926 Proc. R. Soc. A 112 661 , Heisenberg W 1926 Z. Phys. 38 411 ), which restricts a system of identical particles to the set of symmetric states ('bosons') or the set of antisymmetric states ('fermions'). However, the physical basis and range of validity of the symmetrization postulate has not been established. A well-known topological derivation of the postulate implies that its validity depends on the dimensionality of the space in which the particles move (Laidlaw M and DeWitt C 1971 Phys. Rev. D 3 1375–8 , Leinaas J M and Myrheim J 1977 Il Nuovo Cimento B 37 1–23 ). Here we show that the symmetrization postulate can be derived by strictly adhering to the informational requirement that particles which cannot be experimentally distinguished from one another are not labelled. Our key novel postulate is the operational indistinguishability postulate, which posits that the amplitude of a process involving several indistinguishable particles is determined by the amplitudes of all possible transitions of these particles when treated as distinguishable. The symmetrization postulate follows by requiring consistency with the rest of the quantum formalism. The derivation implies that the symmetrization postulate admits no natural variants. In particular, the possibility that identical particles generically exhibit anyonic behavior in two dimensions is excluded.
Parastatistics is an exotic type of exchange statistics beyond fermions and bosons. Paraparticles transform in higher dimensional representations of the exchange symmetry group, analogous to non-Abelian anyons, yet consistently defined in any dimension. Although paraparticles have long been proposed, they were widely believed to be physically equivalent to fermions or bosons. Nevertheless, a recent paper proposed a different theory, called
R-parastatistics, and demonstrated that nontrivial
R-paraparticles can emerge as quasiparticles in condensed matter systems, and are observably distinct from both fermions and bosons. This paper develops the theoretical foundation and several extensions of
R-parastatistics, with particular emphasis on its observable consequences. Central to this paper is a general theory of local observables extending the basic family introduced before. First, we define local observables that distinguish particle types. Second, we formulate local observables at special point defects that probe the internal indices of
R-paraparticles, crucial for observing
R-parastatistics and for the proposed applications in quantum information. Third, we introduce local observables that create or annihilate particle-antiparticle pairs, important for building a relativistic quantum field theory for
R-paraparticles. We further introduce generalized hidden symmetries that act on internal indices of
R-paraparticles while preserving the local observable algebra, providing a basis for proving local indistinguishability and for connecting to a categorical description of
R-paraparticles. This work sets a solid theoretical foundation for understanding the fundamental physical properties of
R-paraparticles and pave the way for finding them in nature.
Considering physics as it is done today one notices that physics separates into two formally and conceptually different parts. There is on the one hand classical physics that deals with macroscopic phenomena and there is on the other hand quantum physics that deals with microscopic phenomena. Penrose [96] described this situation as a disturbing analogy to ancient Greece, where two different sets of laws for earth and heaven were applied. So immediately the question arises if one really has to use different formalisms on different scales or if it is possible to describe physics in a unified way. In order to investigate this question one first has to consider how classical and quantum physics are related. Quantum mechanics results from classical physics by a procedure called quantization and classical physics is reobtained by taking the classical limit. Both procedures are heavily plagued by problems [61, 100]. In the first chapter the mathematical problems of quantization will be addressed and it will be described how the star product formalism circumvents these problems. The star product formalism has the advantage that there is no formal break if one goes from classical physics to quantum physics. This formal advantage and the resulting beauty is then used as a guiding principle for the further development. The first question that arises is if the spin can be described in the star product formalism. That this is indeed possible is shown in the second chapter. As a starting point the spin description with pseudoclassical mechanics as it was developed by Berezin is used. One can then construct a fermionic star product and apply it for deformation quantization of pseudoclassical mechanics. In analogy to the bosonic star product formalism one obtains spin Wigner functions that act as spin projectors. Besides the nonrelativistic case it is also possible to formulate Dirac theory with star products. The Clifford algebra of the gamma matrices is hereby described as a deformed version of a four dimensional Grassmann algebra. The fermionic star product in combination with the bosonic Moyal product leads to a supersymmetric star product formalism that can be used to describe supersymmetric quantum mechanics and in the relativistic case to describe the supersymmetric structure of Dirac theory. The other direction of generalization of the star product formalism is the application of star products in quantum field theory that is described in chapter three. After constructing a suitable normal product it is shown that the algebraic structures of perturbative quantum field theory appear also in the star product formalism, which is an expression of the algebra morphism of the operator and the star product formalism. But moreover the quantum group structure that was recently found in perturbative quantum field theory is shown to be a natural algebraic structure of the star product. The essential advantage of deformation quantization is that the classical limit has a well defined meaning. In the context of the spin description with star products this leads to the question of the classical limit of spin, or equivalently to the question of the physical status of pseudoclassical mechanics. In chapter four it is shown that this question is solved if one realizes that the fermionic sector together with the fermionic star product describe the underlying geometric structure. The deformation of a Grassmann algebra leads to a Clifford calculus that is equivalent to geometric algebra. The formulation of geometric algebra in the star product formalism is given in chapter four. One sees there that geometric algebra as the most fundamental geometric formalism that unifies all geometric structures that appear in physics can be described in a supersymmetric manner that parallels the bosonic star product structures. Having obtained a formulation of geometry with fermionic star products this formalism is then applied in the fifth chapter to physical problems. As examples for the application of geometric algebra in classical physics the rigid body and the Kepler problem are considered. In both cases the formalism of geometric algebra gives the most elegant formulation of the problem. In the quantum case one can then combine the fermionic star product formalism that describes the underlying geometric structure with the bosonic star product that describes the noncommuative structure of quantum mechanics. The result is a noncommutative version of geometric algebra that leads to a natural appearance of spin terms. The same idea applied on the phase space leads to the split in supersymmetric partner systems. Geometric algebra gives in this way a natural geometric foundation of supersymmetric quantum mechanics. Similarly one can interpret the hidden BRST-structure of classical mechanics that was found by E. Gozzi and M. Reuter in the path integral formalism from a star product point of view.