Quantum systems invariant under particle exchange are either Bosons or Fermions, even though quantum theory in principle admits more general behavior under permutations. But why do we not observe such paraparticles in nature? The analysis of this question was previously limited primarily to specific quantum field theory models. Here we give two distinct model-independent arguments that rule out parastatistics, i.e. fundamentally indistinguishable quantum systems transforming under higher-dimensional representations of the symmetric group, which draw on quantum information theory and recent research on internal quantum reference frames. First, we introduce a notion of complete invariance: quantum systems should not only preserve their local state under permutations, but also the quantum information they carry about other systems, in analogy to the notion of complete positivity in quantum information theory. Second, we demand that quantum systems are invariant under quantum permutations, i.e. permutations conditioned on values of permutation-invariant observables. For both, we show that the respective principle is fulfilled if and only if the particle is a Boson or Fermion. Our results show how quantum reference frames can shed light on a longstanding problem of quantum physics, they underline the crucial role played by the compositional structure of quantum information, and demonstrate the explanatory power but also subtle limitations of recently proposed quantum covariance principles.
Quantum systems invariant under particle exchange are either Bosons or Fermions, even though quantum theory in principle admits more general behavior under permutations. But why do we not observe such paraparticles in nature? The analysis of this question was previously limited primarily to specific quantum field theory models. Here we give two distinct model-independent arguments that rule out parastatistics, i.e. fundamentally indistinguishable quantum systems transforming under higher-dimensional representations of the symmetric group, which draw on quantum information theory and recent research on internal quantum reference frames. First, we introduce a notion of complete invariance: quantum systems should not only preserve their local state under permutations, but also the quantum information they carry about other systems, in analogy to the notion of complete positivity in quantum information theory. Second, we demand that quantum systems are invariant under quantum permutations, i.e. permutations conditioned on values of permutation-invariant observables. For both, we show that the respective principle is fulfilled if and only if the particle is a Boson or Fermion. Our results show how quantum reference frames can shed light on a longstanding problem of quantum physics, they underline the crucial role played by the compositional structure of quantum information, and demonstrate the explanatory power but also subtle limitations of recently proposed quantum covariance principles.
Although usually only two kinds of statistics, namely Bose-Einstein and Fermi-Dirac statistics, are considered in Quantum Mechanics and in Quantum Field Theory, other kinds of statistics, called collectively parastatistics, are conceivable. We critically review theoretical studies of parastatistics to date, point out and clarify several confusions. We first study the "proofs" so far proposed for the symmetrization postulate which excludes parastatistics, emphasizing their ad hoc nature. Then, after exploring in detail the structure of the quantum mechanical theory of paraparticles, we clarify some confusions concerning the compatibility of parastatistics with the so-called cluster property, which has been an issue of controversy for several years. We show, following a suggestion of Greenberg, that the quantum mechanical theory of paraparticles can be formulated in terms of density matrix compatibly with the cluster property. We also discuss such topics as selection rules for systems with variable numbers of paraparticles, the connection between statistics and permutation characters, and the classification of paraparticles. For the quantum field theory of paraparticles, we study discrete representations of the para-commutation relations and illustrate in detail Greenberg and Messiah's theorem concerning Green's ansatzes. Also, fundamental topics such as the spin-statistic theorem, the TCP theorem and the observability of parafields are discussed on the basis of Green's ansatzes. Finally, we point out that the so-called particle permutation operators do not always define multi-dimensional representations of the permutation group both in first and second quantization theories. This questions the validity of the correspondence between the two theories which has recently been proposed.
This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. 1 Introduction2 Structuralism Applied to General Relativity and Quantum Mechanics 2.1 Structuralism and individuality 2.2 The semantics of the structuralist 2.3 General relativity and Leibniz equivalence3 Anti-haecceitism and Quantum Mechanics 3.1 Pure and mixed states; permutations 3.2 Symmetrization and indistinguishability 3.3 Quantum statistics and the bad argument for anti-haecceitism4 The Generalized Hole Argument for Sets 4.1 Models and possible worlds 4.2 Permutations and permutes 4.3 State descriptions and structure descriptions 4.4 Theories; permutability, fixity, and general permutability 4.5 Stachel's argument for structuralism5 Fixed Theories and Metaphysical Under-determination 5.1 Pooley's objection; amending Stachel's premises 5.2 Is SP anti-haecceitistic?6 Superselection and Paraparticles 6.1 Quantum permutability 6.1.1 Symmetry types and symmetric operators 6.1.2 Statistics and symmetrization; superselection 6.1.3 The two arguments for quantum permutability 6.2 Quantum general permutability 6.3 Examples of quantum permutability 6.3.1 Two quantum coins, again 6.3.2 A generalized ray
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.
This paper develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature--a theory's `not caring which point, or particle, is which'--supported a structuralist ontology. Pooley criticizes this analogy: in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of symmetry, in which states (vectors, rays or density operators) are not fixed by all permutations (called `paraparticle states'). Thus Stachel's analogy is revived.
If a system in atomic physics contains a number of particles of the same kind, e.g. a number of electrons, the particles are absolutely indistinguishable one from another. No observable change is made when two of them are interchanged … A satisfactory theory ought, of course, to count any two observationally indistinguishable states as the same state and to deny that any transition does occur when two similar particles exchange places. ( Dirac, 1958, p. 207 ) Introduction In our contribution to this volume we deal with discrete symmetries: these are symmetries based upon groups with a discrete set of elements (generally a set of elements that can be enumerated by the positive integers). In physics we find that discrete symmetries frequently arise as ‘internal’, non-spacetime symmetries. Permutation symmetry is such a discrete symmetry, arising as the mathematical basis underlying the statistical behaviour of ensembles of certain types of indistinguishable quantum particle (e.g. fermions and bosons). Roughly speaking, if such an ensemble is invariant under a permutation of its constituent particles (i.e. permutation symmetric) then one doesn't ‘count’ those permutations which merely ‘exchange’ indistinguishable particles; rather, the exchanged state is identified with the original state. This principle of invariance is generally called the ‘indistinguishability postulate’ (IP), but we prefer to use the term ‘permutation invariance’ (PI).
Quantum systems of indistinguishable particles are commonly described using the formalism of second quantization, which relies on the assumption that any admissible quantum state must be either symmetric or antisymmetric under particle permutations. Coherence-induced many-body effects such as superradiance, however, can arise even in systems whose constituents are not fundamentally indistinguishable as long as all relevant dynamical observables are permutation-invariant. Such systems are not confined to symmetric or antisymmetric states and therefore require a different theoretical approach. Focusing on noninteracting systems, here we combine tools from representation theory and thermodynamically consistent master equations to develop such a framework. We characterize the structure and properties of the steady states emerging in permutation-invariant ensembles of arbitrary multilevel systems that are collectively weakly coupled to a thermal environment. As an application of our general theory, we further explore how these states can in principle be used to enhance the performance of quantum thermal machines. Our group-theoretical framework thereby makes it possible to analyze various limiting cases that would not be accessible otherwise. In addition, it allows us to show that the properties of multilevel ensembles differ qualitatively from those of spin ensembles, which have been investigated earlier using the standard Clebsch-Gordan theory. Our results have a large scope for future generalizations and pave the way for systematic investigations of collective effects arising from permutation invariance in quantum thermodynamics.