Quantum Statistics from the Adelic Product Formula: The Squarefree Origin of the Fermi-Dirac/Bose-Einstein Distinction
1. Introduction
A system of identical particles in three or more spatial dimensions admits exactly two exchange statistics. This binary is usually presented as a primitive classification of nature, with the spin-statistics theorem connecting it to spin [@pauli1940; @duck1998]. The question asked here is narrower and arithmetic: can the two statistics be recovered as the maximum-entropy occupation distributions of a single lattice under two multiplicity constraints, with the adelic product formula as the invariant that ties the places together?
The answer turns out to be nearly classical. Write an integer as $n = \prodp p^{ap}$. If every exponent is unrestricted, $ap \in \mathbb{N}0$, the Euler factor at the prime $p$ in the Dirichlet series $\sum n^{-s} = \zeta(s)$ is $(1 - p^{-s})^{-1}$, which is the mode partition function of an occupation number taking every value $0,1,2,\dots$ — the bosonic counting. If every exponent is restricted to $a_p \in \{0,1\}$, the integer is squarefree, and the Dirichlet series is $\zeta(s)/\zeta(2s)$, whose Euler factor $(1 + p^{-s})$ is the mode partition function of an occupation number in $\{0,1\}$ — the fermionic counting. The identification of these generating structures with the two quantum statistics has a long history in the Riemann-gas literature [@julia1990; @spector1990; @bakas1991; @hartnoll2025], and its per-place form was established within this research program for the fixed fugacity $z = 1/p$ [@zenodo22035210]. This paper does not re-derive those identifications; it supplies the tiers they leave open, and it states the precise boundary of each claim.
Three results are the substance of the paper.
First, the golden occupation numbers are recovered from the canonical derivative of the mode partition functions at arbitrary inverse temperature $\beta$ and chemical potential $\mu$, not only at the special point $z = 1/p$, and the maximum-entropy property that selects them is verified directly.
Second, the per-distinction transition rate $\gamma = 1/N$ — an input assumed by the finite-distinction formulation of unitary evolution [@zenodo22046458] — is shown to follow from bath degeneracy: one unit of total activity distributed uniformly over $N$ indistinguishable alternatives produces a mixing operator whose non-uniform eigenvalues are $1 - 1/N$.
Third, the complex structure of the large-$N$ limit is identified precisely. The reversible generator on the simplex is skew with respect to the Fisher metric, but its squared eigenvalues are $-\sin^2(2\pi k/N)$, not $-1$. The complex structure is the sign-normalized generator — the discrete Hilbert transform — whose square is $-1$ on mean-zero modes exactly at every $N$. This normalization is selected on the fermionic side alone: the symmetric (diffusive) generator has real squared eigenvalues $\cos^2(2\pi k/N) \geq 0$ and admits no complex structure.
Two further structures complete the paper: the Möbius-parity dictionary, in which the composite-statistics rule of quantum mechanics (an even number of fermionic constituents gives a composite boson, an odd number a composite fermion) is exactly the parity of the prime-factor count on the squarefree lattice; and the bounded-occupation family $\sum{vp \le m} n^{-s} = \zeta(s)/\zeta((m+1)s)$, which interpolates from the fermionic case at $m = 1$ to the bosonic case as $m \to \infty$ and provides the arithmetic object that intermediate (anyonic) statistics must contact.
The remainder of the paper is organized as follows. Section 2 states the lattice dichotomy and its verification. Section 3 derives the rate $\gamma = 1/N$. Section 4 treats the symplectic tier. Section 5 is the Möbius-parity dictionary. Section 6 is the anyon program. Section 7 gives the crosswalk of terminology. Section 8 states what a practitioner can do with the result. Section 9 states the premise depth and the boundaries, including the precise relation to the spin-statistics connection. Section 10 is the verification appendix.
2. The lattice dichotomy
2.1 Global identities
Let $\zeta(s)$ denote the Riemann zeta function. The two Dirichlet identities central to this paper are
The first is the generating function of integers whose prime exponents obey $ap \in \{0,1\}$; the second counts every exponent. The Euler factors are the single-mode partition functions: $(1 + p^{-s})$ is $\sum{a=0}^{1} e^{-a s \ln p}$, the partition function of a two-state mode, and $(1 - p^{-s})^{-1}$ is $\sum{a \geq 0} e^{-a s \ln p}$, the partition function of an unbounded mode, when $s$ is read as an inverse temperature multiplying the mode energy $\ln p$. The verification script verifystats.py checks both identities against direct sieved sums: at $s = 2.5, 3.0, 4.0$ the squarefree sum over the first $10^5$ integers matches $\zeta(s)/\zeta(2s)$ to at most $1.3 \times 10^{-8}$, and the unrestricted sum matches $\zeta(s)$ to $2.1 \times 10^{-8}$ (checks F1a, F1b). The Euler-product forms match the closed forms to machine-independent truncation error (F1c).
2.2 Golden occupation numbers
At inverse temperature $\beta$ and chemical potential $\mu$, with $z = e^{\beta\mu}$, the two single-mode partition functions are
where the mode energy is $\ln p$. The mean occupation number is the canonical derivative,
which evaluates to
These are the Fermi–Dirac and Bose–Einstein occupation numbers with the mode energy $\varepsilon = \ln p$. The verification (check F1d) computes the canonical derivative by finite differences with Richardson extrapolation at $p \in \{2,3,5\}$, $\beta \in \{0.5, 1, 2\}$, $z \in \{0.5, 1, 2\}$ (Bose cases restricted to $z p^{-\beta} < 1$ for convergence) and matches the golden forms to within $10^{-9}$. The special point $z = 1/p$, $\beta_p = \ln p$, of the per-place identifications [@zenodo22035210] is the case $\beta = 1$, $\mu = 0$ of this family.
2.3 The maximum-entropy property
The golden distributions are not merely the derivatives of the partition functions; they are the unique maximum-entropy distributions under the stated constraints. For the geometric distribution $qn = (1-q)q^n$ on $n \geq 0$ (the bosonic occupation distribution), the entropy gradient $-( \ln qn + 1 )$ is affine in the state label $n$, hence orthogonal to every direction that preserves both the normalization and the mean — the first-order condition of a constrained maximum — and the entropy Hessian is strictly negative. For the two-state occupation (fermionic), the two constraints (normalization and fixed mean) determine the distribution uniquely. The verification script verify_maxent.py checks the first-order condition against randomly sampled constraint directions (residual below $10^{-14}$ after projection), strict concavity, and uniqueness (16 checks).
2.4 The direction of the assignment
The identification of squarefree with fermionic and unrestricted with bosonic is a direction, and a direction must be falsifiable. The two golden values differ at every non-degenerate point — at $z p^{-\beta} = \tfrac12$ the Fermi value is $\tfrac13$ and the Bose value is $1$ — so the assignment is not symmetric under interchange; the verification records this as a guard check (S1).
3. The rate $\gamma = 1/N$
The finite-distinction formulation of unitary evolution treats a system as $N$ finite alternatives with a per-distinction transition rate $\gamma$, and obtains the large-$N$ unitary limit from the entropy-Hessian gradient flow [@zenodo22046458]. That paper assumes $\gamma = 1/N$. The seed derivation of this value is as follows. Suppose the environment consists of $N$ indistinguishable alternatives, and that one distinction is processed per unit of total activity. The mixing operator is
the operator that leaves the uniform distribution fixed and contracts every mean-zero mode by $1 - 1/N$. The continuous-time rate of the non-uniform modes is therefore $\gamma = 1/N$ exactly: the individual rate $1$ (one unit of activity) is divided by the degeneracy $N$ of the bath. The verification script verifyrategamma.py checks the eigenvalue structure exactly for $N \in \{2,4,8,16,32,64\}$ (F2a), simulates the discrete chain — one randomly chosen alternative replaced per step — and matches the occupation autocorrelation to the closed form $q^2 + q(1-q)(1-q)^t$ with $q = 1/N$ in seeded Monte Carlo (F2b), and confirms the log-log slope of $\gamma(N)$ against $N$ is $-1$ (F2d).
Two qualifications are stated rather than absorbed. First, the result is a property of the uniform degeneracy: if the alternatives carry individual rates $\kappai$ with $\sum \kappai = 1$, the occupation of alternative $i$ relaxes at its own rate $\kappa_i$, not at $1/N$ — the verification records this as a guard (F2c). Second, the input that the bath supplies one unit of total activity per distinction is a model assumption; the derivation concerns the degeneracy-cancellation mechanics on top of that input, and the seam between distinct and indistinguishable alternatives is where the assumption lives.
4. The symplectic tier
4.1 Fisher geometry on the simplex
The state space of $N$ alternatives is the $(N-1)$-simplex. The entropy $S(p) = -\sumi pi \ln p_i$ has Hessian
with $pN = 1 - \sum{i<N} p_i$; the Fisher metric is its negative,
positive definite on the simplex, and $g = N(I + \mathbf{1}\mathbf{1}^\top)$ at the uniform point. (The seed derivation writes the metric as the Hessian of $S$; the sign of the defining equation is the other way round. The metric used throughout the derivation is the positive one; only the displayed equation carries the slip.)
4.2 The reversible generator
Let $L = \frac12(\text{shift} - \text{shift}^{-1})$ be the cyclic discrete derivative. On Fourier modes $e^{2\pi i k i/N}$ it acts by multiplication with $i\sin(2\pi k/N)$; it is skew with respect to $g$, and $\omega = gL$ is antisymmetric. The complex structure defined by $\omega(u,v) = g(Ju,v)$ is, at the uniform point, $J = L$ itself.
4.3 What $J^2$ actually is
The squared generator has Fourier eigenvalues $J^2_k = -\sin^2(2\pi k/N)$. This is $-1$ only at the single mode $k = N/4$; at fixed $\theta = 2\pi k/N$ the value $-\sin^2\theta$ stays bounded away from $-1$ as $N$ grows. The complex structure proper is the sign-normalized generator: the operator $H$ with Fourier multiplier $-i\,\mathrm{sgn}(\sin(2\pi k/N))$ is the discrete Hilbert transform, and $H^2 = -1$ on mean-zero modes exactly at every $N$. The large-$N$ identification is therefore: the generator carries the Hilbert phase at every $N$, and the Hilbert magnitude only after sign normalization.
4.4 The Fermi/Bose contrast
The symmetric counterpart $LB = \frac12(\text{shift} + \text{shift}^{-1})$ is self-adjoint with respect to $g$, and its square has real Fourier eigenvalues $\cos^2(2\pi k/N) \geq 0$. No complex structure can arise on this side: the exclusion (skew, oriented) generator is what selects it. All of this is verified numerically in verifysymplectic.py (34 checks): the Fisher Hessian against the signed closed form at random interior points and at the uniform point, skewness and antisymmetry to $10^{-15}$, the eigenvalue identities, the finite-$N$ behavior of $J^2$, $H^2 = -1$ on mean-zero modes, and the Bose-side contrast.
5. Composite statistics and Möbius parity
The composite-statistics rule of quantum mechanics states that a bound state of an even number of fermions behaves as a boson and of an odd number as a fermion: the Cooper pair (two electrons) condenses, the exciton (electron and hole) is bosonic, helium-4 (six fermions) condenses while helium-3 (five fermions) does not. On the squarefree lattice the exchange sign of a composite is the parity of its prime-factor count: for squarefree $n$, the Möbius function is $\mu(n) = (-1)^{k}$ where $k$ is the number of prime factors. The dictionary is therefore
with the parity table verified entry by entry (check F-HCP): Cooper pair, exciton, and pion carry $\mu = +1$ (bosonic); baryon, helium-3, and the electron carry $\mu = -1$ (fermionic); the vacuum carries $\mu(1) = +1$. The Dirichlet series of the Möbius function, $1/\zeta(s) = \sum_n \mu(n) n^{-s}$, is the Fermi-side generating-function continuation against the Bose-side $\zeta(s)$.
This dictionary is an identification, not a derivation: it states that the sign structure of composite statistics and the parity structure of the squarefree lattice are the same mathematical object. The non-squarefree sector, $\mu(n) = 0$, is the exclusion-forbidden sector — a repeated prime factor is a repeated constituent, which the exclusion principle forbids. The claim carries three disconfirmation conditions: a contradiction anywhere in the parity table; a failure of the $\mu = 0$ sector to coincide with the exclusion-forbidden sector; or the demonstration that the identification is merely coincidental rather than structural.
6. Intermediate statistics: the anyon program
6.1 The interpolation family
Between the fermionic bound $ap \le 1$ and the bosonic bound $ap \to \infty$ lies the one-parameter family of bounded-occupation lattices $a_p \le m$. Its generating function closes exactly:
At $m = 1$ this is the squarefree (Fermi) identity $\zeta(s)/\zeta(2s)$; as $m \to \infty$ it approaches $\zeta(s)$ (Bose). The verification script verify_parastats.py checks the sieved sums against the closed form for $m \in \{1,2,3\}$ at $s = 3,4$, the single-mode means against the analytic form, and both endpoint limits (16 checks).
6.2 The known targets
The interpolation family is proposed as the arithmetic object that intermediate (anyonic and parastatistical) exchange statistics must contact. The known observable targets are: abelian anyons with fractional exchange phases $e^{i\theta}$, $\theta = \pi/m$ [@leinaas1977; @wilczek1982] (Laughlin quasiparticles at fractional quantum Hall fillings $\nu = 1/m$); non-abelian anyons — Ising/Majorana (Majorana zero modes in semiconductor–superconductor hybrids and Kitaev chains, with $\sigma^2 = 1$ braiding and the $4\pi$-periodic fractional Josephson effect) and Fibonacci (filling $\nu = 12/5$, universal for topological quantum computation) [@kitaev2003; @kitaev2006; @nayak2008]; and parastatistics beyond two dimensions in the generalized-exclusion formulation [@wang2023], whose constructed models are one- and two-dimensional. Within this program, the adelic quantum-error-correction protection of Majorana qubits [@zenodo21336099; @zenodo21609223] and the anyon-halo dictionary for moiré superlattices [@zenodo18199397] carry the adjacent engineering content.
6.3 The open correspondence
Whether an intermediate occupation bound reproduces any of these observables in the same maximum-entropy framework is an open question, and it is the disconfirmation condition of this section: if no intermediate bound reproduces a known anyonic or parastatistical observable, the arithmetic family remains a dictionary without contact. The dimensionality bridge is named for the same reason: in $d \geq 3$ the exchange group is the symmetric group and the phases are exactly $\pm 1$; in $d = 2$ it is the braid group and the phases can be fractional — the relaxation of the dichotomy in two dimensions is the phenomenon the interpolation family would have to mirror. The two-dimensional Bose gas, which condenses only quasi-long-range (Berezinskii–Kosterlitz–Thouless), marks the other place where the dichotomy softens. Two adjacent literatures frame the same question from outside: the argument that quantum theory itself forbids exchange statistics beyond bosons and fermions in three dimensions [@zhou2025], and the operational reconstruction of statistics from information-theoretic principles [@medina2023].
7. Crosswalk of terminology
| This paper | Number theory | Quantum statistics | Stochastic thermodynamics | Information theory | QEC engineering |
|---|---|---|---|---|---|
| product formula | $\prodv \lvert x \rvertv = 1$ | normalization of occupations | global audit invariant | normalization constraint | checksum on readout/decoder arithmetic |
| squarefree restriction | distinct-part partitions | Fermi–Dirac (occupation 0/1) | exclusion regime | one-bit occupation per state | physical-qubit exclusivity |
| unrestricted lattice | unrestricted partitions | Bose–Einstein | sharing regime | unbounded occupation | mode sharing (cat/oscillator) |
| $\gamma = 1/N$ | degeneracy factor | per-state rate | bath degeneracy cancellation | uniform prior over alternatives | per-round syndrome rate |
| composite statistics | even/odd fermion count | Möbius parity $\mu(n)$ | exchange sign $\pm 1$ | constituent-count rule | Cooper pairs, excitons, He-4/He-3 |
Adjacent-domain bridges: the per-place identifications rest on the adelic information measure $Hp = \mathbb{E}[vp]$ [@zenodo22024240]; the p-adic spin reading of internal quantum numbers supplies the spin-adjacent arm [@zenodo21672990]; the signal-worker ontology of information physics, which reads boson as delocalized signal and fermion as localized worker, is known to fail exactly on composite bosons [@zenodo21974194] — the failure the Möbius dictionary repairs; the replica-symmetry-breaking structure of spin glasses carries the same occupation-count question in the ultrametric setting; and the logical-scalar lineage [@zenodo21964598; @zenodo21964104; @zenodo21962450] supplies the exchange-phase reading this paper does not claim to replace. The consilience reading of physics and number theory [@zenodo21590155] and the tree-automorphism reading of statistics on the Bruhat–Tits tree [@zenodo22024856] are differentiated from the multiplicity reading in the same breath.
8. What a practitioner can do
A practitioner reads the statistics of a reservoir off its multiplicity structure. Given the occupation bound of a physical register — exclusive ($ap \le 1$), shared (unbounded), or intermediate ($ap \le m$) — the occupation distribution and the per-distinction cost follow, and the rate that the thermodynamic-floor analysis had to assume becomes a derived quantity [@zenodo22117282].
The product formula provides an implementable audit. The checksum demonstrated for exact rational arithmetic across places [@zenodo22114495] extends one tier up: occupation counts in a classical simulator of quantum statistics can be validated place-by-place, with a deviation from $\prodv \lvert x \rvertv = 1$ localizing the failing place. The verification records this as a completeness property: every proper subset of places deviates, and only the full place set normalizes to 1 (check H3b, all 1023 proper subsets tested).
The control reading follows from the same identification. If statistics are the occupation regime, then controlling statistics is controlling the multiplicity structure. In the laboratory the exchange phase is manipulated by braiding worldlines, by filling-factor engineering in the fractional quantum Hall effect, and by moving Majorana zero modes (T-junction and measurement-only braiding) [@zenodo21940822]. The arithmetic counterpart — changing the occupation bound $m$ — is the design variable the same physical content takes in a classical stochastic system. The correspondence between these two control surfaces, the braid phase on one side and the occupation bound on the other, is the open target of Section 6, not an established result.
9. Premise depth and boundaries
The primitives are the integers with unique factorization, the adelic product formula (an imported theorem), the maximum-entropy principle (an imported postulate), and Euler's distinct-part partition identity $\prod(1+q^n)$, which is the engine of Section 2. Derived are the squarefree/unrestricted dichotomy and its occupation consequences, the degeneracy cancellation behind $\gamma = 1/N$, and the large-$N$ limit calculus. Named imported inputs are the finite-distinction formulation of unitary evolution [@zenodo22046458], the thermodynamic floor of error correction [@zenodo22117282], finite-adele encoding [@zenodo22114495], the completeness senses of ordered fields [@zenodo22109455], the per-place identifications at $\beta_p = \ln p$ [@zenodo22035210], and the composite-statistics rule of standard quantum mechanics.
Where the premises end: the claim that the occupation-number distributions of quantum statistics are the maximum-entropy distributions of a multiplicity-constrained lattice is a mapping hypothesis — an isomorphism of mathematical structure — tested here by reproduction, and it asserts nothing about what particles are. It earns predictive status only through the anyon program of Section 6.
The boundary to the spin-statistics connection is stated in the words of the record that established it [@zenodo21964598]: the connection between exchange phase and spin requires Lorentz symmetry, microcausality, and positive energy [@dhr1971; @dhr1974], and no arithmetic or topological argument supplies those. This paper derives the two statistical distributions and their rate structure from multiplicities; it does not claim to replace the spin-statistics connection, and it inherits its boundary verbatim.
10. Verification
Every quantitative statement in this paper is reproduced by one of six deposited scripts, all standard-library Python, seeded, and deterministic, with run logs and results files shipped alongside:
| Script | Content | Checks |
|---|---|---|
verify_stats.py | squarefree/unrestricted identities, Euler-factor correspondence, golden occupations, direction guard, Möbius parity table | 65 |
verifyproductformula.py | exact product formula, checksum completeness, occupation-constraint link | 17 |
verify_parastats.py | bounded-occupation interpolation family | 16 |
verifyrategamma.py | eigenvalue structure of the mixing operator, seeded Monte Carlo, heterogeneity guard, log-log slope | 15 |
verify_symplectic.py | Fisher Hessian, skewness, Fourier eigenvalues, $J^2$ finite-$N$ behavior, Hilbert normalization, Bose-side contrast | 34 |
verify_maxent.py | first-order maximum-entropy condition, strict concavity, uniqueness, golden edge cases | 16 |
Total: 163 checks, all passing at the time of writing. The F4 scoping artifact (f4-differential-primon-gas-audit.py) reproduces the published primon-gas canon side by side with the quantities introduced here and prints the differential table; no quantity introduced here reproduces a published one. Reproducibility: run each script from the deposited directory; no dependencies beyond the standard library; runtimes are on the order of seconds.