Fermionic state counting 2026-10-14
Choosing different complete one-particle states from an orthonormal basis of size gives independent Slater determinants. This is the binomial coefficient because only the occupied subset matters: permutations change the sign of the Slater determinant, not the physical quantum state. Summing over particle numbers gives states in the finite fermionic Fock space.
For the diagram's two spatial orbitals , take energies with , each independent of spin. In the complete-state order , the six occupation number strings are . Their total energies are , giving energy multiplicities . For , the ground state energy is with two independent ground states, according to which spin orbital in is occupied. Across , the counts are , summing to . These are exact counts for this model, not measured atomic energies.
Fock space Created 2026-10-06 Updated 2026-10-14
For a one-particle Hilbert space , the bosonic or fermionic Fock space is , using symmetric or antisymmetric tensor powers. Its zeroth summand is the one-dimensional vacuum sector. Creation operators and annihilation operators change particle number. The bosonic Fock space and fermionic Fock space implement the corresponding exchange statistics.
For a real smooth function on Euclidean space, put and . The adjoint operator for the usual inner product is . Since , the canonical anticommutation relations give . Expanding and using gives
In the empty fermionic Fock space sector the last term vanishes; in the filled sector . Consequently the two scalar Hamiltonian operators are and . On the compatible self-adjoint operator domain the Hamiltonian operator is nonnegative because .
Use and . A normalized highest-weight vector obeys and for . Its Virasoro descendants are products of negative modes. Their inner products are determined entirely by and the Virasoro algebra; for example , so unitarity requires . An irreducible unitary highest-weight Virasoro module is the Virasoro Verma module quotient by its null submodules, and its surviving inner product must be positive definite.
The classification for is the Unitary Virasoro discrete series:
where is an integer at least , , and . The identification leaves distinct modules. The two generating singular-vector levels are and ; all their Virasoro descendants are removed in the irreducible quotient. For the only module is the trivial module; for these are the nontrivial unitary discrete-series modules. There are no other irreducible unitary highest-weight representations with . This is the classification theorem, rather than a condition inferred only from finitely many descendant norms.
At , and the possible weights are
Construct them with a single free chiral Majorana fermion:
The free chiral Majorana fermion conformal field theory has . In the Neveu–Schwarz sector, , while in the Ramond sector, . With positive modes moved to the right and the zero-mode product antisymmetrized, the corresponding generators are
The oscillator relation gives . The stress-tensor operator product expansion, or the reordering of the quadratic generators, then gives the Virasoro algebra with . One can check both constants directly in the ground states. In the NS sector,
In the R sector, and , whose norm squared is . The relation requires , so . Thus the Ramond sector zero-mode shift is essential.
The three constructions in Ising Virasoro modules from a Majorana fermion are explicit. The NS vacuum is a highest-weight vector of weight . The state is a highest-weight vector of weight : applying any positive gives , including the zero coefficient for . Since is quadratic in fermions, the two cyclic modules lie in the even and odd fermion parity sectors, respectively. For R, choose a normalized ground state annihilated by all with and with . All positive annihilate it and its weight is . The two zero-mode sign choices give isomorphic Virasoro modules; one choice suffices to construct the third module.
The oscillator inner products are positive, and each cyclic highest-weight representation just constructed is irreducible. Indeed any nonzero proper invariant graded submodule would have a lowest-energy vector of weight greater than the cyclic ground weight. Every positive annihilates ; thus is orthogonal to every negative-mode descendant of the original ground vector, by moving the modes across the inner product. It is also orthogonal to that ground vector by its different eigenvalue. Since those Virasoro descendants span the cyclic module, would have zero norm, a contradiction. This proves irreducibility directly inside the positive fermionic Fock space.
In fact the cyclic modules fill the entire even NS, odd NS and chosen R Fock spaces. Otherwise an orthogonal remaining lowest vector would be the ground vector of a further unitary highest-weight Virasoro module; its weight would lie in , or , respectively. None belongs to the classified list . As a check, their Virasoro characters, defined by , are
The NS signs project onto even and odd occupation number; the R product uses the single chosen ground state. Null vectors of the abstract Virasoro Verma modules are automatically zero in this construction. In particular , and the weight- and weight- ground states obey, respectively, and , as is also verified by their level-two Gram matrices.
Here a supersymmetry-preserving combination means a real combination of Hermitian Majorana spinor supercharges, in a positive-norm unitary representation of the ordinary Super-Poincaré algebra. This reality qualification is essential. Let be normalized and in the charge domains, and define the real symmetric matrix
For real , the Hermitian operator satisfies
Therefore is a positive semidefinite matrix, and
The reverse implication uses positivity: diagonalize , so a zero quadratic form has zero component in every positive-eigenvalue direction. This converts the problem into nullity of real N=1 supercharges, not just a condition on the determinant of an operator-valued expression.
In the equivalent Weyl spinor form, . After a fixed invertible change of real charge basis, is the realification of the Hermitian two-by-two matrix
up to the harmless spatial-sign convention. A complex Hermitian matrix has the same eigenvalues in its realification, each repeated twice. The Pauli matrix multiplication law gives , so these eigenvalues are and , each twice. Positivity forces . If one nonzero real annihilates the state, has a kernel: either , with exactly two zero eigenvalues, or , with four. Thus
For a momentum eigenstate these are the null-momentum and zero-momentum cases; the expectation-matrix proof also covers states not assumed to have definite momentum. There are no massive states preserving a real charge in this unextended algebra.
If “linear combination” instead allows arbitrary complex coefficients, the unrestricted claim is false. In a massive fermionic Fock space with two lowering operators and a spin-half Clifford vacuum spectator, take
Then . The three vectors , and are linearly independent, by their occupation numbers and spectator spin labels. The complex annihilator is therefore only one-dimensional. Such a lowering operator is not a Hermitian generator of preserved real supersymmetry. The boxed conclusion applies to the physical real-charge interpretation; it also assumes no domain-wall charge in N=1 supersymmetry.
The canonical anticommutation relations realize the internal states as a fermionic Fock space . Choosing a Clifford vacuum annihilated by all , the states are functions multiplying , , with , or . Thus the four fermion-number sectors in supersymmetric quantum mechanics are
with internal dimensions . The fermion number operator has value on . The sectors have even fermion parity, and have odd fermion parity.
Write , so that the supercharge is . The commutator is zero because the two mixed partial derivatives of agree. The canonical anticommutation relations then imply and
The Hamiltonian operator preserves each sector, while raises and lowers its degree by one. For a state in its operator domain, , so the spectrum is nonnegative. If with , then is a state of the same energy and opposite fermion parity, and . This is an odd involution pairing bosonic and fermionic states and proves equal even and odd multiplicities at every positive eigenvalue.
There is also a more precise adjacent-sector pairing. On the positive-energy eigenspace,
The two summands are orthogonal since . A state in the image of obeys , , so maps it to a normalized partner in the next sector, with inverse . Thus positive-energy doublets lie in , , or . In particular, every positive-energy state of has a partner in , and every one of has a partner in ; the remaining middle-sector states pair with each other. There is no requirement that all four individual sector spectra coincide. Zero-energy states satisfy and can be unpaired. No confinement assumption was given: a continuous spectrum is possible, with the same even/odd pairing on its positive spectral subspaces.
For real , the adjoint operator is . In , every vanishes; in the one-dimensional internal space of , it equals . The two scalar Hamiltonian operators are consequently
These are the extreme sectors of the gradient superpotential Hamiltonian in supersymmetric quantum mechanics.
For radial and a normalized state with , and . The radial superpartner in three-dimensional supersymmetric quantum mechanics therefore has the simple form
It belongs to ; follows from , and its wavefunction normalization follows from . Also . At the origin the formula is interpreted by regular extension; its degree-one components carry the radial unit vector rather than being three independent radial scalars.
For a zero mode in the fermion-vacuum sector, the factorization of gives . Hence , or . The requested wavefunction is
A nonzero normalizable wavefunction exists only if this integral is finite. The positive sign in the exponential is fixed by the given convention .
Use the printed interaction, so the Dyson series contributes per vertex before its spinor matrix. The momentum-space Feynman rules are
Each interaction vertex has one pseudoscalar line and one incoming and one outgoing fermion-number line. Conserve four-momentum at every vertex, integrate each independent loop momentum with , and divide by any Feynman-diagram symmetry factor. A closed fermion loop contributes an extra minus sign. The external wavefunctions are for incoming fermions, for outgoing fermions, for incoming antifermions and for outgoing antifermions; spinor matrices are multiplied in order along the fermion line. An external pseudoscalar has unit wavefunction factor in standard relativistic normalization. Relative fermionic signs also occur when the external contractions are permuted.
The leading scattering amplitudes are of order . Label the incoming momenta and outgoing momenta , all with positive energy and . Use the Mandelstam variables , and . The tree scattering with pseudoscalar exchange is shown below; dashed edges are pseudoscalar propagators, and arrows indicate fermion-number flow, opposite to the motion of an antifermion.
Figure 1.
The two pseudoscalar-exchange tree diagrams for fermion–fermion scattering and the exchange and annihilation diagrams for fermion–antifermion scattering
. Details.
Define the scattering amplitude by . Use standard relativistic normalization for external states and spinors. To fix even the overall signs, suppress the positive state-normalization factors and write the creator order of the two-fermion states as , , and the fermion-antifermion states as , . Spin labels on the are implicit.
For two fermions, the direct graph connects and , while the exchanged graph connects and . The canonical anticommutation relations give signs and for these contractions in the chosen state order. Multiplication of the two vertices and the scalar propagator gives . Hence
Interchanging the labels of either pair of identical external fermions reverses this amplitude, as required for the antisymmetric states of fermionic Fock space.
For a fermion and an antifermion, the graphs are exchange and annihilation. Their signs can be derived without guessing an analogy with the first process. The normal-ordered product of the pseudoscalar bilinear contains terms of the forms
The minus in the second term is the antifermion sign of a normal-ordered bilinear. Between the chosen external states, exchange has sign and pair annihilation followed by pair creation has sign . Therefore
Changing an external-state phase can change the common overall sign; it cannot change the relative minus between the two channels. Both amplitudes use the coefficient exactly as printed. For the Hermitian convention discussed in part (a), substitute throughout, or equivalently use vertex from the outset.
A supercharge is an odd Weyl spinor generator. The mixed anticommutator has one undotted and one dotted index, hence transforms as a Lorentz four-vector. In the minimal Super-Poincaré algebra, its only spacetime generator is the four-momentum, so covariance fixes it to . Normalizing the charges canonically fixes :
The number two is a normalization, not something Lorentz covariance alone could fix under .
For an explicit closure calculation, use left Grassmann derivatives in superspace and the differential translation convention :
Each of the two derivative-coordinate cross terms contributes ; the other terms cancel by anticommutativity. This proves the displayed coefficient. The same calculation gives and . There is no scalar central charge for a single supersymmetry label: symmetry of the anticommutator is incompatible with a term proportional only to the antisymmetric .
In the massive rest frame , the mixed relation is . These positive canonical anticommutation relations supply the input for the normalization and finite fermionic Fock space in the question-level continuation.
Choose a null four-momentum with and orient the third axis so that . The Super-Poincaré algebra gives
For every state in a unitary representation, the second anticommutator is the sum . Thus both operators act trivially. A central charge in supersymmetry also vanishes in this massless supermultiplet: its mixed-spinor anticommutator contains the now-trivial . The remaining pairs, normalized by , satisfy the canonical anticommutation relations
Label a Clifford vacuum by its highest helicity and choose the lowering convention . Acting with distinct fermionic creation operators produces the fermionic Fock space
This proves the helicity spectrum of a massless supermultiplet and the state count. If the internal charges or helicities do not already make the spectrum invariant under the CPT theorem, add its conjugate using the CPT completion of a supermultiplet.
The spin bound for massless supermultiplets follows directly from the width of this helicity interval. Requiring gives , achieved by the four-dimensional N=4 super Yang-Mills theory vector multiplet with multiplicities at helicities . These helicity bounds are necessary spin restrictions for the usual interacting renormalizable quantum field theory; they do not by themselves establish renormalizability for an arbitrary action. Requiring gives . The four-dimensional N=8 supergravity supergravity multiplet attains this bound with highest helicity and multiplicities . There is one state and one state, the two polarizations of a single graviton.
The stronger restriction relevant to matter is the chirality constraint on extended supersymmetry. An chiral superfield can contain a left-handed Weyl spinor in a complex gauge group representation . By contrast, a full hypermultiplet consists of matter in , and the gauginos of a vector multiplet are in the real adjoint group representation. Higher unbroken extended supersymmetry retains this pairing. A pseudoreal representation may allow a half-hypermultiplet, but it does not yield net chirality in a genuinely complex gauge group representation. Consequently the chiral gauge spectrum of the Standard Model permits at most unbroken supersymmetry in its four-dimensional low-energy matter sector.
Fix a positive-mass unitary irreducible representation at rest, with . Use the central charge in supersymmetry convention
The conjugate relation is , with the dotted epsilon tensor the conjugate of the undotted one. The supercharges commute with and the central charges. Their Lorentz transformation is that of a Weyl spinor; together with the ordinary Poincare algebra, these relations specify the Super-Poincaré algebra. Take and write . This makes the normalization of the mass bound explicit: a convention that writes instead has .
When , define four fermionic annihilation operators and their fermionic creation operators by
In the rest frame they obey the canonical anticommutation relations and . Choose a spin-zero Clifford vacuum annihilated by all four . Acting with each distinct creator at most once constructs the fermionic Fock space
The five levels have the binomial coefficient multiplicities , so the massive supermultiplet contains states. The four creators are two copies of the spin-one-half SU(2) representation. Their second exterior power is
Here the first factor carries physical spin and the second counts the two supersymmetries. Thus level two contains one spin-one triplet and three spin-zero singlets; levels one and three each contain two spin-one-half doublets. The final spin content is
Even levels give eight boson states and odd levels eight fermion states, exhibiting boson-fermion degeneracy in a supermultiplet.
For nonzero , pair the two supersymmetries before normalizing. Define
The rest-frame algebra gives and consequently
For , divide by to recover four normalized oscillators. Positivity of the Hilbert space norm proves the BPS bound in supersymmetry, since
Therefore
For a BPS state saturating this bound, both and their adjoints annihilate every state of the representation. Four of the eight real supercharges act trivially. Only the two oscillators remain, so a scalar Clifford vacuum gives a shortened massive supermultiplet with two spin-zero states and one spin-one-half doublet:
This is the irreducible count at fixed central charge. A CPT completion of a supermultiplet can require the charge-conjugate multiplet as well, doubling it to eight states; the full hypermultiplet count must not be confused with this four-state count. Saturation is a representation-theoretic relation between mass and conserved charge: shortening persists while the state remains BPS, although its existence can change across parameter space.
For even , unitary skew-diagonalization of an antisymmetric matrix brings the central-charge matrix to blocks , . Repeat the oscillator construction separately for each block. Every block supplies two oscillators with norm and two with norm , giving
If blocks saturate, complex oscillators disappear, leaving . Starting with spin , the irreducible state count and preserved fraction are
The largest massive shortening, , preserves one-half. The ordinary massive representation has . This rest-frame discussion excludes , where the massless supermultiplet construction uses a null momentum instead.
The Hilbert space is the fermionic Fock space
In a polarization where acts by exterior multiplication and by contraction, a general state is
The fermion number operator returns the exterior degree, and therefore
The occupation formula from part (b) gives
Consequently
The independent occupation numbers are each zero or one. The Hamiltonian is independent of , so its four states have
Each energy admits or ; these states differ by occupancy of the zero-energy mode. The ground energy is for either sign of . These degeneracies refer to the full two-mode fermionic Fock space. If one separately restricts to a fixed global fermion parity, only one state at each energy remains in that parity sector.