Composite statistics of neutral atoms Created 2026-10-18 Updated 2026-10-20
Exchanging two identical bound atoms exchanges their constituent fermions. An atom with mass number and atomic number contains nucleons and electrons, so its exchange sign is when its internal state is preserved. An odd count gives a composite fermion; an even count gives a composite boson. This is equivalently the integer-versus-half-integer total-spin distinction in the Spin-statistics theorem. For example, neutral lithium-6 has nine fermionic constituents and is a fermion, while neutral lithium-7 has ten and is a boson. Counting nucleons alone instead classifies the nucleus, not the neutral atom. This effective composite-particle description requires energies and separations where the bound atom remains intact.
A relativistic quantum field describes both creation and annihilation of excitations; a one-particle wavefunction alone is insufficient when interactions can change particle number. For a free complex scalar field, one conventional mode expansion of a free field is
The apparently negative-frequency term creates a positive-energy antiparticle; it is not a physical particle of unbounded negative energy. The normal-ordered Hamiltonian and conserved global phase charge have the forms
Particles and antiparticles have equal mass and opposite additive internal charges. Including both frequency sectors is also essential to the local field commutator: the positive- and negative-frequency terms combine so that spacelike-separated scalar observables commute, respecting microcausality.
A Dirac field similarly contains particle annihilation operators multiplying spinors and antiparticle creation operators multiplying spinors. Its canonical anticommutation relations implement Fermi-Dirac statistics, whereas scalar modes use commutators and Bose-Einstein statistics. These assignments are tied to the Spin-statistics theorem under the usual relativistic locality and positivity assumptions. Conserved charge constrains particle creation and annihilation, but particle and antiparticle numbers need not be separately conserved in an interacting theory.
An antiparticle need not be a distinct species. A neutral real scalar field is self-conjugate; the photon is also its own antiparticle. A Majorana fermion obeys a self-conjugacy condition and cannot carry an unbroken additive charge that distinguishes it from its antiparticle. Electric neutrality alone does not force self-conjugacy when other conserved quantum numbers distinguish the states.
Introduce anticommuting matter fields as worldsheet Majorana fermions, transforming as target-spacetime vectors and two-dimensional spinors. The RNS string pairs them with through worldsheet supersymmetry. In flat superconformal gauge the matter action is, up to the conventional fermion normalization,
and the field equations split into left- and right-moving components. The supersymmetry constraints include both the stress tensor and the supercurrent, so unphysical polarizations are removed rather than interpreting every fermionic worldsheet component as a physical particle.
The possible spin structures produce two sectors. On the closed chiral circle, or the doubled open string, the Neveu–Schwarz sector has and half-integer modes . The Ramond sector has periodic and integer modes , including . Canonical quantization replaces the classical Grassmann variables by operators satisfying
In particular obeys . This is the Ramond zero-mode Clifford algebra in covariant form. Its ground-state space must carry a representation of the Clifford algebra of the target metric, and hence transforms as a spinor, not a scalar vacuum. Indeed the zero-mode Lorentz generators proportional to act on it as the spin representation. This is the essential mechanism converting anticommuting worldsheet matter into spacetime spinorial states.
The zero-mode supercurrent constraint on a Ramond ground state is proportional to . It becomes
the momentum-space Dirac equation. The Ramond level operator has zero intercept, so the ground state is massless. Exciting bosonic or nonzero fermionic oscillators gives tensor-spinor excitations; the Clifford ground-state factor is retained. In the Neveu–Schwarz sector there is no fermionic zero-mode degeneracy. Its ground state is a scalar and its excited states carry integer-spin tensor representations, despite the anticommuting oscillator construction. Thus worldsheet fermionic oscillators do not by themselves make every target-space state a fermion.
Consistent projection also matters. The GSO projection removes the NS tachyon and selects a definite Ramond chirality in the standard supersymmetric spectrum. At the critical dimension ten, the projected massless NS vector has eight transverse polarizations, while the projected Ramond ground state has eight physical spinor polarizations after the massless Dirac constraint and the Majorana-Weyl spinor conditions. The projection permits their organization into spacetime supersymmetry multiplets. The assignment of spacetime fermionic statistics is compatible with spinorial transformation, vertex-operator locality and the Spin-statistics theorem; it is not just a relabeling of the Grassmann variables in the classical action.
For a closed string the left and right sectors can be chosen independently subject to level matching and the consistent spin-structure sum. The NS-NS sector and Ramond–Ramond sector have bosonic spacetime representations; a pair of Ramond spinors produces integer-spin fields. The mixed NS-R sector and R-NS sector instead carry one spinor factor and yield spacetime fermions, including gravitino and dilatino states. Opposite versus equal chiralities of the two Ramond sectors distinguish the type IIA superstring theory and type IIB superstring theory choices.
Quantum consistency of this RNS matter-plus-gauge system requires : its matter central charge is , the reparameterization ghosts contribute and the commuting superconformal ghosts contribute , so the total is . Spacetime fermions arise through Ramond matter zero modes, their Clifford/spinor representations and the physical-state/projection conditions. The anticommuting gauge-fixing ghosts already present in the bosonic path integral are not such matter fields and do not create physical spacetime fermions.
The CPT theorem is a structural consequence of relativistic quantum field theory. In flat spacetime, assume a positive physical state space, the positive-energy spectrum condition, Lorentz invariance, microcausality, the usual Spin-statistics theorem, and a Hermitian dynamics. For ordinary field theories these are realized by a local Hermitian Lorentz-scalar Lagrangian density. There is then an antiunitary operator implementing the combined charge conjugation, parity symmetry in quantum field theory and time-reversal symmetry, with a CPT-invariant vacuum. The combined symmetry is required even when the three separate symmetries fail.
Under the combined spacetime transformation, . A complex scalar field can be taken to transform into its adjoint at ; a Hermitian vector field transforms into minus itself at . A derivative contributes a minus sign through differentiation of its reflected argument. For a Dirac field the transformation supplied in the paper may be written
Field phases are conventional and do not affect the physical conclusions. Crucially, antiunitarity means and conjugates every numerical coefficient. The reversal of time is compatible with positive energies because this conjugation changes to while leaving the Hamiltonian invariant. Treating time reversal as a unitary change of coordinates would instead give incorrect signs.
One can see explicitly how the CPT transformation of Dirac bilinears works. Let be a Hermitian fermion bilinear, with . The colons indicate normal ordering so that the graded reordering below has no vacuum contact term. Using the reflected fields and conjugating , then interchanging the two fermion factors, gives
The last step uses the Dirac-Hermiticity condition and . The identities for the gamma matrices then give
The pseudoscalar's sign is particularly instructive: its explicit must also be conjugated. The minus sign from exchanging fermions is equally essential. These signs depend on the number of free vector indices, rather than on a field's separate parity assignment.
This supplies a local Lagrangian argument for CPT invariance. Hermitian local field combinations with vector indices transform with sign , including the appropriate reordered derivative terms. A Lorentz scalar contracts those indices in pairs or with four-index invariant tensors, giving a positive total sign. For charged terms, the reflected conjugate fields and conjugated coefficients exchange a term with its Hermitian-conjugate partner. Thus
The integration variable has unit absolute Jacobian. The general field-index argument is discussed in Srednicki's treatment of discrete symmetries, section 40.
For example, the scalar mass term is even. The Dirac electromagnetic current and vector potential are both odd, making their contracted interaction even. The Hermitian Dirac kinetic term is also even: reflection and reordering interchange the two derivative placements, while antiunitarity conjugates its . A complex Yukawa coupling and its Hermitian conjugate are exchanged rather than requiring the coupling itself to be real. Hence CP violation in the CKM matrix is compatible with exact CPT. Renormalizability is not necessary: local Hermitian higher-dimensional Lorentz-scalar operators satisfy the same argument.
The axiomatic form of the CPT theorem does not start by assuming a polynomial Lagrangian density. The positive-energy spectrum condition provides analytic continuations of Wightman functions, and complexified Lorentz transformations relate configurations to their total spacetime inversions. At suitable spacelike configurations, microcausality permits reversal of the order of field operators with the signs dictated by the Spin-statistics theorem. Uniqueness of analytic continuation extends this relation to the correlators generally, from which the Hilbert-space antiunitary operator is obtained. This explains why locality and positive energy are genuine hypotheses, not incidental features of a particular interaction. The elementary argument above displays the mechanism for the scalar, spinor and vector fields relevant to the Standard Model; it is not a substitute for all the analytic steps of the axiomatic proof.
For one-particle states, CPT reverses additive charges and spin projections. The spatial momentum is unchanged by the combination: parity symmetry in quantum field theory and time reversal each reverse it. Thus, up to phases,
Since the energy-momentum spectrum is preserved, the CPT constraints on particle properties give equal particle-antiparticle masses, equal spin magnitudes, and opposite conserved additive charges. Relating the corresponding two-point functions also fixes equal pole positions, so unstable conjugate particles have equal total decay widths, hence equal lifetimes. Magnetic moments at the same chosen spin orientation have opposite signs. These are precise experimental tests of CPT, not tests that every individual discrete symmetry is respected.
For scattering, CPT interchanges incoming and outgoing boundary conditions. The antiunitary operator identity relates to the amplitude with transformed incoming and transformed outgoing. Thus the reversed process with antiparticles and reversed spins has the same transition probability. This is not, in general, equality with the forward CP-conjugate process. In particular, CP violation can make corresponding partial decay widths different while their complete sums remain equal. With CPT preserved, genuine CP violation requires corresponding time-reversal symmetry violation.
Finally, a proposed CPT violation requires revisiting at least one assumption: for example, a nonlocal interaction, a preferred spacetime direction violating Lorentz invariance, or loss of unitary Hermitian dynamics. A generic curved background need not possess the global spacetime inversion used here. Those observations delimit the theorem; they do not weaken its prediction for the ordinary local Standard Model in Minkowski spacetime.
For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator are
The Euler-Lagrange field equation is , or . Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:
The Heisenberg equation of motion then gives and , so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.
Resolve the free field into positive- and negative-frequency plane waves. With and ,
Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent to
For example, the two mixed terms in each supply half the Dirac delta function. Thus the normalization is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with and its annihilation operator and creation operator.
Choose the Fock vacuum by . Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yields
where a finite volume can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator is
In particular, and . A one-particle state therefore has positive energy, momentum , and invariant mass . A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.
A momentum eigenstate extends throughout space. A localized particle is described by a superposition such as
Its wave packet evolves through the phase ; a narrow packet has group velocity , whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.
Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,
This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so for spacelike . Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator is
which propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.
Finally, commuting creation operators imply
The multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are with : any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.
The quantized real scalar field describes positive-energy, mass-, spin-zero bosons that are their own antiparticles; commuting creation operators give Bose statistics, and local field commutators enforce microcausality.
The Faddeev-Popov ghost fields and are spin-zero Grassmann fields in the Adjoint representation of ; their statistics are anticommuting, despite their scalar transformation under spacetime rotations. The Nakanishi-Lautrup field is an auxiliary commuting spin-zero field, also in the Adjoint representation. Thus
These Faddeev-Popov ghost fields are not physical spin-zero fermion states; they represent the gauge-fixing Jacobian, so their scalar spin does not contradict the physical Spin-statistics theorem.
Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices give
For every and every state ,
Positivity therefore gives on this massless supermultiplet. The equal-chirality anticommutator then shows that every central charge in supersymmetry vanishes on this superalgebra representation.
Normalize the remaining supercharges as fermionic raising and lowering operators:
They obey the canonical anticommutation relations
Choose a Clifford vacuum of helicity annihilated by every . Such a vector exists because the commuting fermion number operators have eigenvalues and , and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states are
The canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention , its adjoint has . Thus the Clifford vacuum is the highest-helicity state and
Reversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level- states form the exterior power , which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:
Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain states, so a physical massless supermultiplet has boson and fermion states.
These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity to and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second -state supermultiplet, with highest helicity . A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is ; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.
For the conventional bounds on extended supersymmetry, suppose all massless states satisfy . The helicity spectrum of a massless supermultiplet occupies an interval of width , whereas the available interval has width . Hence
An ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting gives for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing gives
for its supersymmetric vector multiplet.
Allowing gravity permits , so for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with :
It has states, boson and fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.
Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities can carry a complex gauge group representation . Its CPT completion of a supermultiplet supplies the right-handed antiparticle in , as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in . Consequently a chiral gauge spectrum is possible.
For , the matter hypermultiplet has helicities before internal charge conjugation. If it carries a complex gauge group representation , its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two chiral superfields, one in and one in . These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every algebra contains an subalgebra, the same obstruction applies to greater extended supersymmetry.
Therefore a conventional chiral gauge spectrum is possible only for or . Here means no supersymmetry; among theories with actual supersymmetry, only qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.
A boson is an identical particle whose total multiparticle quantum state is symmetric under exchange of any two particles, whereas a fermion has a total state that is antisymmetric under every exchange. The Spin-statistics theorem associates integer spin with bosons and half-integer spin with fermions.
For three distinguishable spin-one particles, the spin Hilbert space has dimension
Let
be the total angular momentum operator. Since each particle has
we have
The Hamiltonian operator is consequently
On the total-spin sector with quantum number , its energy eigenvalue is
The Clebsch-Gordan decomposition may be performed by first coupling particles and . Their intermediate spin is , and coupling the third spin gives
Thus the three spin-one angular-momentum decomposition contains total spin with multiplicities . Multiplying each multiplicity by the multiplet dimension gives
The degeneracies sum to , as required.
When the particles are indistinguishable, their integer spin makes them bosons. Their common spatial wavefunction is symmetric, so their spin wavefunction must also lie in the symmetric three-spin-one subspace. Its decomposition is
Hence only the and levels remain, now with one copy of each multiplet:
A physical baryon is a colour singlet. Its three-quark colour factor is antisymmetric, proportional to . In the hypothetical scalar-quark theory, the quarks obey Bose-Einstein statistics, so the complete three-particle state must be symmetric under exchange. At the spatial factor is symmetric, and three zero spins supply no nontrivial spin factor. The flavour factor must therefore be antisymmetric to cancel the antisymmetry of the colour factor.
There is exactly one completely antisymmetric state made from three flavour basis states: the flavour singlet of three scalar quarks,
Equivalently, . A repeated flavour gives zero under complete antisymmetrization. Only one ground-state flavour singlet, containing and having , remains. Keeping fermionic exchange antisymmetry while changing the spins to zero would contradict the assumed Spin-statistics theorem. The standard antisymmetric colour factor and the ordinary-quark flavour decomposition are documented in the quark-model review.[ref]
identical particles have the same intrinsic properties. Exchanging their bookkeeping labels cannot distinguish a physical preparation or change a measurable prediction. This is stronger than merely failing to track classical trajectories. For ordinary bosons and fermions, the many-particle wavefunction has respectively bosonic exchange symmetry or fermionic exchange symmetry under every particle exchange operator, acting on spatial and spin coordinates together. The Spin-statistics theorem connects integer spin to bosons and half-integer spin to fermions; this connection uses relativistic quantum-field assumptions, rather than following from the nonrelativistic Schrödinger equation alone.
For one-particle states satisfying orthonormality, the two alternatives form a quantum superposition:
Its probability density contains an exchange interference term, absent from an incoherent mixture of labelled alternatives. The antisymmetric expression vanishes when both one-particle states are identical: one complete one-particle state can contain at most one fermion. This Pauli exclusion principle explains electron shell filling, the electronic Fermi sea and degeneracy pressure. Opposite spins are different one-particle states, so two electrons may share an atomic orbital. Spatially separated wave packets with negligible overlap can often be treated as distinguishable for local measurements; the underlying exchange symmetry remains.
In thermal equilibrium, occupation of a level of energy obeys
bosons can accumulate macroscopically in one state, giving Bose-Einstein condensation; fermions instead fill successive states up to the Fermi energy at zero temperature. When occupation is dilute, both expressions reduce to the Maxwell-Boltzmann distribution. The identical-particle classical partition function contains , avoiding spurious entropy from permutations and the Gibbs paradox. Exchange effects become conspicuous when the thermal de Broglie wavelength is comparable to the interparticle spacing.
An operational test is the Hong-Ou-Mandel effect. Down-converted photon pairs enter separate ports of a balanced beam splitter; indistinguishable alternatives for one photon per output cancel. Scanning the relative arrival delay restores coincidences away from overlap. Matching polarization, spectral filtering and spatial alignment controls distinguishability; measuring delayed accidental coincidences controls background. The observed dip tests two-photon interference, and its finite depth must not automatically be interpreted as a failure of bosonic symmetry. The original apparatus varied beam-splitter position and subtracted a separately measured accidental background.[ref]
Exchange constraint. Exchange of two identical particles cannot change physical predictions. For the usual three-dimensional bosonic or fermionic state space, the exchange operator obeys , so its allowed eigenvalues are . bosons use the symmetric overall wavefunction, ; fermions use the antisymmetric overall wavefunction, . Exchange includes the spatial coordinates and all internal labels. The identity alone does not prove which particle species has which statistics; that assignment is the Spin-statistics theorem.
Factored fermion states. If and both factors have definite exchange symmetry, their exchange signs must multiply to . Thus a symmetric spatial factor requires an antisymmetric spin factor, and an antisymmetric spatial factor requires a symmetric spin factor. For two spin-one-half particles, the former spin factor is the singlet ; the latter factors are the three triplet states. A more general entangled spin-space state need not factor, but must still be antisymmetric overall.
hydrogen spin isomers. The two protons are identical spin-one-half fermions. parahydrogen has total nuclear spin , the antisymmetric singlet; orthohydrogen has , the symmetric triplet. Here is a spin quantum number, distinct from the moment of inertia used below.
Rotational restriction. In the electronic and vibrational ground state, these two factors are symmetric under nuclear exchange. Exchanging the protons reverses the internuclear axis, . The spherical harmonic rotational state contributes the exchange sign . Overall antisymmetry therefore requires
Hence parahydrogen has even ; orthohydrogen has odd . The here labels molecular rotation, rather than the angular momentum obtained by also coupling the nuclear spins.
Conversion heat. The ortho-para conversion heat follows from the linear rigid rotor approximation, with . Thus conversion of one molecule from to releases
Neglecting the small electron contribution to the molecular mass, a sample of mass contains molecules. Only the initial orthohydrogen fraction releases this energy, giving
The estimate uses pm, kg and J s. Handbook-level rounding and the rigid rotor approximation justify about three significant figures, not a high-precision thermochemical prediction.[ref]
Storage consequence. The internal conversion is a delayed heat source even in a well insulated container, causing warming or additional evaporation of the liquid. Insulation reduces external heat transfer but does not remove this source. Converting to predominantly parahydrogen during liquefaction, while removing the released heat, reduces the subsequent storage heat load. No evaporation fraction can be calculated without a latent heat and a model for how the heat is removed.
identical particles have the same intrinsic properties, including mass, charge and spin. Their labels are bookkeeping devices rather than measurable identities. When wave functions overlap, quantum mechanics supplies no observable trajectory that permanently identifies “particle 1” independently of “particle 2”. A many-particle description must therefore treat exchange consistently. The Hamiltonian and physical observables are invariant under relabelling identical particles.
For two particles, the exchange operator obeys . The usual three-dimensional symmetrization postulate selects states symmetric under exchange for bosons and antisymmetric for fermions. In relativistic quantum theory, the Spin-statistics theorem associates integer spin with bosons and half-integer spin with fermions under its locality and positivity assumptions; the connection is not derived merely from in elementary nonrelativistic mechanics. For orthonormal one-particle states and , the two-particle spatial combinations are
The sign concerns the complete state, including spin and other internal variables, not necessarily the spatial factor alone.
The antisymmetric state vanishes if both fermions occupy the same one-particle state: this is the Pauli exclusion principle. For fermions in orthonormal spin orbitals , the normalized Slater determinant supplies the required exchange sign. Bosonic occupation has no corresponding upper limit, and symmetrized products describe many bosons. Fermionic occupation is zero or one per complete one-particle state; two electrons can still occupy the same spatial atomic orbital with opposite spin.
Spin and spatial symmetry are linked. A two-electron spin singlet state is antisymmetric, so its spatial factor must be symmetric. A symmetric triplet state instead requires an antisymmetric spatial factor. Exchange then changes pair correlations and the energies available when interactions depend on particle separation, even without introducing a new classical “exchange force”. It contributes to atomic shell structure, bonding and magnetic behaviour.
Figure 1.
Symmetric and antisymmetric two-particle spatial states have different joint-position correlations
. Source. Details.
In an occupation-number description, bosonic creation and annihilation operators satisfy , whereas fermionic operators satisfy and anticommute among themselves. The latter imply . This formalism implements the same exchange constraints without assigning permanent particle labels.
For noninteracting particles in thermal equilibrium, the mean occupation of a state of energy is
Fermi-Dirac statistics produces a filled Fermi sea at zero temperature and degeneracy pressure; Bose-Einstein statistics permits macroscopic Ground state occupation when the density of available states and thermodynamic conditions allow condensation. The different statistics therefore have measurable collective consequences, not just different notation.[ref]
When phase-space occupation is dilute, both distributions reduce to the Maxwell–Boltzmann statistics limit. Likewise, well-separated localized wave packets have negligible overlap and small exchange corrections, so effectively labelled classical trajectories can become a useful approximation. In two spatial dimensions more general exchange statistics are possible; the standard boson/fermion account here concerns ordinary three-dimensional particles and their total states.
For a neutral atom, count both the nucleons and the electrons. Protons, neutrons and electrons are all fermions, and exchanging two identical intact atoms produces the sign from exchanging their fermionic constituents. An odd number gives a composite fermion; an even number gives a composite boson, consistently with the Spin-statistics theorem.
A lithium atom has three protons and three electrons. Lithium-6 also has three neutrons, giving fermionic constituents; lithium-7 has four neutrons, giving . Therefore
The composite statistics of neutral atoms cannot be inferred from the mass number alone: counting only nucleons would classify the nuclei and give the opposite answers here. The atom's total spin includes its electrons as well as its nucleus.
Indistinguishable particles have the same intrinsic properties and cannot be assigned physically observable permanent labels. Exchanging their mathematical coordinates leaves all physical predictions unchanged. In ordinary three-dimensional quantum mechanics the total state, including spin, obeys
The Spin-statistics theorem associates integer spin with bosons and half-integer spin with fermions. Exchange does not mean physically transporting two particles along some prescribed trajectories; it is the symmetry of the many-particle state under permutation of its arguments.
For orthonormal one-particle states , normalized two-particle spatial combinations are . They illustrate coherent exchange amplitudes. If both fermions have the same complete one-particle state, the antisymmetric combination vanishes. This is the Pauli exclusion principle: a fermionic mode has occupation zero or one. Bosonic modes can have arbitrarily large occupation. A many-fermion product basis is antisymmetrized by a Slater determinant.
It is the full spin-spatial state that must have the appropriate symmetry. For two electrons, an antisymmetric spin singlet state can accompany a symmetric spatial orbital, so opposite-spin electrons can occupy the same spatial orbital. A symmetric spin triplet instead needs an antisymmetric spatial state. Thus exclusion concerns identical complete states, not an unconditional prohibition on sharing a position or spatial orbital.
Counting allowed occupations gives Bose-Einstein statistics and Fermi-Dirac statistics. For an ideal gas in thermal equilibrium,
Bosonic accumulation permits Bose-Einstein condensation; exclusion gives a filled Fermi sea and degeneracy pressure even at zero temperature. In the dilute classical limit the occupations are small and both expressions approach the Maxwell-Boltzmann distribution. Exchange effects become important when wavepackets overlap appreciably, often characterized by number density times the cube of the thermal wavelength.
Composite particles follow their total exchange statistics while remaining intact. The composite statistics of neutral atoms depend on electrons as well as nucleons, as in the two lithium isotopes above. Symmetrization can produce bunching or antibunching in joint detection probabilities even in the absence of an interaction potential; it is not an additional classical force.