arxiv: 2512.16775 · v3 · submitted 2025-12-18 · 🪐 quant-ph · math-ph· math.MP

Reconstruction of Quantum Fields: CCR, CAR and Transfields

Nicol\'as Medina S\'anchez , Borivoje Daki\'c This is my paper

Pith reviewed 2026-05-16 21:10 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP

keywords quantum statisticscreation-annihilation algebrasindistinguishable particlesbosons and fermionstranstatisticssecond quantizationquotient spaces

0 comments

The pith

Quotienting distinguishable particle states under three operational assumptions produces new creation-annihilation algebras that generalize bosons and fermions to transtatistics.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a transition from first to second quantization by taking quotients of distinguishable-particle state spaces, where equivalence classes identify states with no distinguishing information between particles. Under the assumptions that the resulting space admits an ordered basis for labeling accessible modes, remains invariant under unitary transformations of those modes, and supports particle counting as a mode-wise local operation, the construction yields a new class of creation-annihilation algebras. These algebras recover the partition functions of transtatistics, which represent the broadest generalizations of bosons and fermions consistent with the stated operational principles. A sympathetic reader would care because the approach reconstructs quantum-field operator algebras directly from observer-accessible features of indistinguishable particles rather than imposing them by fiat.

Core claim

Assuming that the resulting indistinguishable-particle space (i) admits an ordered basis compatible with how an observer may label the accessible modes, (ii) is invariant under unitary transformations of those modes, and (iii) supports particle counting as a mode-wise local operation, we derive a new class of creation-annihilation algebras. These algebras reproduce the partition functions of transtatistics, the maximal generalisations of bosons and fermions consistent with these operational principles.

What carries the argument

The quotient construction on distinguishable-particle state spaces that enforces indistinguishability while preserving an ordered mode basis, unitary invariance, and mode-local counting, thereby inducing the new creation-annihilation algebras.

Load-bearing premise

The quotient space must admit an ordered basis for mode labeling, remain invariant under unitary mode transformations, and support mode-wise local particle counting.

What would settle it

A direct computation showing that the derived algebras fail to reproduce the standard Bose-Einstein or Fermi-Dirac partition functions in the appropriate limiting cases would falsify the reconstruction.

read the original abstract

One of the traditional ways of introducing bosons and fermions is through creation-annihilation algebras. Historically, these have been associated with emission and absorption processes at the quantum level and are characteristic of the language of second quantization. In this work, we formulate the transition from first to second quantization by taking quotients of the state spaces of distinguishable particles, so that the resulting equivalence classes identify states that contain no information capable of distinguishing between particles, thereby generalising the usual symmetrisation procedure. Assuming that the resulting indistinguishable-particle space (i) admits an ordered basis compatible with how an observer may label the accessible modes, (ii) is invariant under unitary transformations of those modes, and (iii) supports particle counting as a mode-wise local operation, we derive a new class of creation-annihilation algebras. These algebras reproduce the partition functions of transtatistics, the maximal generalisations of bosons and fermions consistent with these operational principles.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper derives new creation-annihilation algebras via quotient of distinguishable-particle space under three operational assumptions, yielding transtatistics partition functions, but the steps fixing the operator action need explicit verification.

read the letter

The main thing to know is that the authors start from the Hilbert space of distinguishable particles, form the quotient that erases distinguishability, and then use three conditions—an ordered basis for mode labeling, invariance under unitary transformations of the modes, and mode-wise local particle counting—to produce a family of algebras whose partition functions match those of transtatistics. This is a direct attempt to reconstruct the algebras from first-quantization data rather than positing them or fitting them after the fact. The quotient move itself is a clean generalization of the usual symmetrization procedure, and grounding the assumptions in what an observer can actually label and count locally gives the setup a more operational flavor than many textbook treatments of CCR and CAR. If the derivations close without hidden choices, it supplies a systematic route to the maximal generalizations consistent with those principles. The soft spot is in the passage from the quotient space to the concrete operators. The three assumptions are stated clearly, yet it is not obvious how they alone determine the precise commutation or anticommutation relations on the equivalence classes or how the local counting operators are defined once the space has been quotiented. The ordered-basis condition in particular sits uneasily with full unitary invariance on the modes, and without the explicit action of the creation and annihilation maps plus the direct computation of the partition functions, it is difficult to rule out additional implicit specifications. The abstract asserts that the algebras follow, but a reader needs to see those steps to judge whether the claim holds. This is the sort of foundational work that people working on generalized quantum statistics, anyonic models, or operational approaches to many-body theory would want to examine. It deserves a serious referee who can walk through the operator constructions line by line and check whether the partition functions are reproduced as stated.

Referee Report

2 major / 1 minor

Summary. The paper claims that quotienting the Hilbert space of distinguishable particles to enforce indistinguishability, subject to three operational assumptions on the resulting space—an ordered basis compatible with mode labeling, invariance under unitary transformations of the modes, and support for mode-wise local particle counting—yields a new class of creation-annihilation algebras. These algebras are asserted to reproduce the partition functions of transtatistics, the maximal generalizations of bosons and fermions consistent with the assumptions, thereby reconstructing CCR, CAR, and transfield algebras from first-quantization principles.

Significance. If the central derivation is made explicit and verified, the work would supply an operational, quotient-based foundation for generalized quantum statistics that avoids ad-hoc symmetrization and directly ties algebra structure to observer-accessible operations. The parameter-free character of the resulting partition functions and the emphasis on reproducible counting operators would constitute a substantive contribution to the foundations of second quantization.

major comments (2)

[Abstract] The manuscript states that the three assumptions suffice to derive the creation-annihilation algebras and their partition functions, yet provides no explicit operator construction on the quotient space. The standard quotient yields only the usual symmetric/antisymmetric subspaces; the extension to transtatistics therefore requires additional specifications for how creation/annihilation operators act on equivalence classes and how the local counting operators are defined, none of which are shown to follow uniquely from the listed conditions.
The ordered-basis assumption for mode labeling appears to select a preferred ordering, which must be reconciled with the requirement of full unitary invariance under arbitrary mode transformations. No argument is given showing that the resulting algebra remains independent of this choice or that the invariance is preserved after the quotient.

minor comments (1)

Notation for the quotient space and the induced operators should be introduced with explicit definitions before the derivation is invoked.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and insightful comments, which highlight important points for clarifying the derivation. We address each major comment below and have prepared revisions to strengthen the explicitness of the constructions while preserving the manuscript's core claims.

read point-by-point responses

Referee: [Abstract] The manuscript states that the three assumptions suffice to derive the creation-annihilation algebras and their partition functions, yet provides no explicit operator construction on the quotient space. The standard quotient yields only the usual symmetric/antisymmetric subspaces; the extension to transtatistics therefore requires additional specifications for how creation/annihilation operators act on equivalence classes and how the local counting operators are defined, none of which are shown to follow uniquely from the listed conditions.

Authors: We agree that the original presentation did not include sufficiently explicit formulas for the induced operators on the quotient. The manuscript defines the quotient via the equivalence relation generated by the three operational assumptions (ordered basis, unitary invariance, and local counting), with creation/annihilation operators lifted from the distinguishable-particle Fock space and projected onto equivalence classes. The local counting operators are defined directly from the mode-wise support condition. To make this fully rigorous and demonstrate uniqueness, we will insert a new subsection with the explicit action on representatives of equivalence classes, together with a verification that the resulting algebra reproduces the transtatistics partition functions. This revision will show that the extension beyond standard symmetrization follows directly from the listed conditions without additional ad-hoc choices. revision: yes
Referee: [—] The ordered-basis assumption for mode labeling appears to select a preferred ordering, which must be reconciled with the requirement of full unitary invariance under arbitrary mode transformations. No argument is given showing that the resulting algebra remains independent of this choice or that the invariance is preserved after the quotient.

Authors: The ordered basis serves only as a labeling convention compatible with an observer's mode identification and is not part of the physical state space itself. Because the quotient space is required to be invariant under arbitrary unitary transformations of the modes, any two orderings are related by a unitary operator that descends to the quotient. We will add a short lemma proving that the induced creation-annihilation operators commute with this unitary action, thereby establishing that the algebra structure (and the associated partition functions) is independent of the initial ordering choice. The invariance is preserved by construction of the quotient. revision: partial

Circularity Check

0 steps flagged

No significant circularity: derivation follows from independent operational assumptions on the quotient space

full rationale

The paper begins with the distinguishable-particle Hilbert space and constructs the indistinguishable-particle space via quotients that identify states with no distinguishing information. It then imposes three explicit operational conditions—ordered basis for mode labeling, invariance under unitary mode transformations, and support for mode-wise local particle counting—and derives the creation-annihilation algebras from these. No equation or step reduces by construction to a fitted parameter, a self-referential definition, or a load-bearing self-citation; the target algebras are presented as consequences of the stated assumptions rather than inputs. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on the three domain assumptions about the indistinguishable-particle space; no free parameters or new entities are introduced in the abstract.

axioms (3)

domain assumption The indistinguishable-particle space admits an ordered basis compatible with how an observer may label the accessible modes.
Assumption (i) stated in the abstract.
domain assumption The space is invariant under unitary transformations of those modes.
Assumption (ii) stated in the abstract.
domain assumption The space supports particle counting as a mode-wise local operation.
Assumption (iii) stated in the abstract.

pith-pipeline@v0.9.0 · 5461 in / 1357 out tokens · 22074 ms · 2026-05-16T21:10:22.517729+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We formulate the transition from first to second quantization by taking quotients of the state spaces of distinguishable particles... derive a new class of creation-annihilation algebras... reproduce the partition functions of transtatistics
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lemma 1... order implies quadratic generation... Yang-Baxter constraints... single-mode partition function

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

58 extracted references · 58 canonical work pages · 4 internal anchors

[1]

quantum grammar

invariant under the creation operatorsC(x, A); and assume thatVis maximal among subspaces with these properties that donotcontain all tensors from some rank onward. ThenVis either the symmetric ideal or the skew–symmetric ideal. Segal’s theorem shows that, under these invariance and maximality assumptions, the only ideals are the bosonic and fermionic one...

work page doi:10.55776/f71
[2]

H. S. Green, Phys. Rev.90, 270 (1953)

work page 1953
[3]

O. W. Greenberg, Physical Review133, B1038 (1964)

work page 1964
[4]

J. B. HARTLE and J. R. TAYLOR, Phys. Rev.178, 2043 (1969)

work page 2043
[5]

Ryan and E

C. Ryan and E. Sudarshan, Nuclear Physics47, 207 (1963)

work page 1963
[6]

R. H. Stolt and J. R. Taylor, Nuclear Physics B19, 1 (1970)

work page 1970
[7]

Stoilova and J

N. Stoilova and J. Van der Jeugt, Physics Letters A384, 126421 (2020)

work page 2020
[8]

Wang and K

Z. Wang and K. R. A. Hazzard, Nature637, 314–318 (2025)

work page 2025
[9]

O. W. Greenberg, Physical Review D43, 4111 (1991)

work page 1991
[10]

Gentile j., Il Nuovo Cimento (1924-1942)17, 493 (1940)

G. Gentile j., Il Nuovo Cimento (1924-1942)17, 493 (1940). 11

work page 1924
[11]

M. G. G. Laidlaw and C. M. DeWitt, Phys. Rev. D3, 1375 (1971)

work page 1971
[12]

J. M. Leinaas and J. Myrheim, Il Nuovo Cimento B Series 1137, 1–23 (1977)

work page 1977
[13]

Wilczek, Phys

F. Wilczek, Phys. Rev. Lett.49, 957 (1982)

work page 1982
[14]

Read, Journal of Mathematical Physics44, 558 (2003)

N. Read, Journal of Mathematical Physics44, 558 (2003)

work page 2003
[15]

Fredenhagen, K.-H

K. Fredenhagen, K.-H. Rehren, and B. Schroer, Com- munications in Mathematical Physics125, 201 (1989)

work page 1989
[16]

Surya, Journal of Mathematical Physics45, 2515 (2004)

S. Surya, Journal of Mathematical Physics45, 2515 (2004)

work page 2004
[17]

Balachandran, E

A. Balachandran, E. Batista, I. Costa e Silva, and P. TEOTONIO-SOBRINHO, Modern Physics Letters A 16, 1335 (2001)

work page 2001
[18]

Exotic statistics for strings in 4d bf theory,

J. C. Baez, D. K. Wise, and A. S. Crans, “Exotic statistics for strings in 4d bf theory,” (2006), arXiv:gr- qc/0603085 [gr-qc]

work page arXiv 2006
[19]

Exchanging identical particles and topological quantum computing

S. J. van Enk, “Exchanging identical particles and topo- logical quantum computing,” (2019), arXiv:1810.05208 [quant-ph]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[20]

S. C. Zhang, T. H. Hansson, and S. Kivelson, Physical Review Letters62, 82 (1989)

work page 1989
[21]

Witten, Communications in Mathematical Physics 121, 351 (1989)

E. Witten, Communications in Mathematical Physics 121, 351 (1989)

work page 1989
[22]

B. A. Bernevig and F. D. M. Haldane, Phys. Rev. Lett. 100, 246802 (2008)

work page 2008
[23]

R. B. Laughlin, Physical Review Letters50, 1395 (1983)

work page 1983
[24]

I. E. Segal, Transactions of the American Mathematical Society81, 106 (1956)

work page 1956
[25]

I. E. Segal, Annals of Mathematics63, 160 (1956)

work page 1956
[26]

I. E. Segal,Mathematical Problems of Relativistic Physics, Lectures in Applied Mathematics, Vol. 2 (Amer- ican Mathematical Society, Providence, RI, 1958)

work page 1958
[27]

Benatti, R

F. Benatti, R. Floreanini, F. Franchini, and U. Mar- zolino, Physics Reports878, 1 (2020)

work page 2020
[28]

Morris, B

B. Morris, B. Yadin, M. Fadel, T. Zibold, P. Treutlein, and G. Adesso, Phys. Rev. X10, 041012 (2020)

work page 2020
[29]

Neori and P

R. Neori and P. Goyal, Physical Review A86, 052126 (2012)

work page 2012
[30]

Identical Particles in Quantum Mechanics: Operational and Topological Considerations

K. H. Neori, “Identical particles in quantum mechan- ics: Operational and topological considerations,” (2016), arXiv:1603.06282 [quant-ph]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[31]

N. M. S´ anchez and B. Daki´ c, Quantum8, 1473 (2024)

work page 2024
[32]

S. B. Priddy, Transactions of the American Mathematical Society152, 39 (1970)

work page 1970
[33]

Polishchuk and L

A. Polishchuk and L. Positselski,Quadratic Algebras, University Lecture Series, Vol. 37 (American Mathemat- ical Society, Providence, RI, 2005)

work page 2005
[34]

Beilinson, V

A. Beilinson, V. Ginzburg, and W. Soergel, Journal of the American Mathematical Society9, 473 (1996)

work page 1996
[35]

Loday and B

J.-L. Loday and B. Vallette,Algebraic Operads, Grundlehren der mathematischen Wissenschaften, Vol. 346 (Springer, 2012)

work page 2012
[36]

A. A. Davydov, Journal of Mathematical Sciences100, 1871–1876 (2000)

work page 2000
[37]

O. W. Greenberg, Phys. Rev. Lett.64, 705 (1990)

work page 1990
[38]

D. I. Fivel, Phys. Rev. Lett.65, 3361 (1990)

work page 1990
[39]

W. CHEN, Y. J. NG, and H. V. DAM, Modern Physics Letters A11, 795 (1996)

work page 1996
[40]

C. N. Yang, Physical Review Letters19, 1312 (1967)

work page 1967
[41]

V. G. Drinfel’d, Journal of Mathematical Sciences41, 898 (1988)

work page 1988
[42]

Jimbo, Letters in Mathematical Physics10, 63 (1985)

M. Jimbo, Letters in Mathematical Physics10, 63 (1985)

work page 1985
[43]

R. J. Baxter, Annals of Physics70, 193 (1972)

work page 1972
[44]

L. D. Faddeev, N. Y. Reshetikhin, and L. A. Takhtajan, Leningrad Mathematical Journal1, 193 (1990)

work page 1990
[45]

D. I. Gurevich, Leningrad Mathematical Journal2, 801 (1991), translation of Algebra i Analiz 2(4):119–148, 1990

work page 1991
[46]

Hecke symmetries and characteristic relations on Reflection Equation algebras

D. I. Gurevich, P. N. Pyatov, and P. A. Saponov, “Hecke symmetries and characteristic relations on reflec- tion equation algebras,” (1996), arXiv:q-alg/9605048

work page internal anchor Pith review Pith/arXiv arXiv 1996
[47]

Quantum and Braided Lie Algebras

S. Majid, “Quantum and braided lie algebras,” (1993), arXiv:hep-th/9303148

work page internal anchor Pith review Pith/arXiv arXiv 1993
[48]

Majid, Pacific Journal of Mathematics192, 329 (2000)

S. Majid, Pacific Journal of Mathematics192, 329 (2000)

work page 2000
[49]

Borowiec and W

A. Borowiec and W. Marcinek, Journal of Mathematical Physics41, 6959 (2000)

work page 2000
[50]

Bo˙ zejko, B

M. Bo˙ zejko, B. K¨ ummerer, and R. Speicher, Communi- cations in Mathematical Physics185, 129 (1997)

work page 1997
[51]

The rewriting system given by the defining relations is confluent if no matter which sequence of allowed reductions you follow, you will end up with the same final form

A given word in a quadratically generated algebra can be reduced in different ways. The rewriting system given by the defining relations is confluent if no matter which sequence of allowed reductions you follow, you will end up with the same final form

work page
[52]

Pauli, Physical Review58, 716 (1940)

W. Pauli, Physical Review58, 716 (1940)

work page 1940
[53]

R. F. Streater and A. S. Wightman,PCT, Spin and Statistics, and All That(W. A. Benjamin, New York, 1964). Appendix A: Lemma 1 Proof.Given a homogeneous idealI⊂T(H) and a fixed monomial order onT(H), assume that there exists an ordered monomial basis for the quotient. Without loss of generality, we may then take the set B:={x n1 1 · · ·x nd d |n i ∈N}, whe...

work page 1964
[54]

admissible

PBW Bases LetA=T(V)/Ibe a quadratic algebra, whereVhas an ordered basis{x 1, . . . , xm}. For each multiindexα= (i1, . . . , in), write xα =x i1 · · ·x in ∈T(V), and impose a lexicographic order on all multiindices. The construction begins by identifying the degree–two monomials that survive modulo the quadratic relations. Given the order on multiindices,...

work page
[55]

Therefore, the generators(x 1,

PBW Theorem Theorem 4(PBW Theorem).If the cubic monomialsx i1 xi2 xi3 with(i 1, i2, i3)∈S (3) are linearly independent in degree three ofA=T(V)/I, then the same holds in every degree. Therefore, the generators(x 1, . . . , xm)are PBW generators andBis a PBW basis ofA. Equivalently, the cubic independence assumption is encoded by the braid-type compatibili...

work page
[56]

Using the definition ofJ ij, [Jij, X† kσ] = X α,β gβα X † iαXjβ X † kσ −X † kσX † iαXjβ =T 1 −T 2

Proof of (i) Fixi, j, k, σ. Using the definition ofJ ij, [Jij, X† kσ] = X α,β gβα X † iαXjβ X † kσ −X † kσX † iαXjβ =T 1 −T 2. a. TermT 1.Using the mixed relation Xjβ X † kσ = X γ,δ C γδ βσ X † kγ Xjδ +g βσ δjk1, we obtain T1 = X α,β,γ,δ gβαC γδ βσ X † iαX † kγ Xjδ +δ jk X α,β gβαgβσ X † iα. SinceP β gβαgβσ =δ α σ , the inhomogeneous term reduces to δjk X...

work page
[57]

Proof of (ii) The computation for the annihilation operators is analogous. Using the mixed relation in the opposite order, XkσX † iα = X γ,δ C γδ σα X † iγXkδ +g σα δki 1, and the pure–annihilation exchange relation Xjβ Xkσ = X γ,δ Rγδ βσ Xkγ Xjδ , we obtain [Jij, Xkσ] = X α,β,γ,δ gβα Rγδ βσ X † iαXkγ Xjδ −C γδ σα X † iγXkδXjβ −δ ikXjσ . Theg-invariance o...

work page
[58]

Substituting [Jij, X† kα] =δ jk X † iα,[J ij, Xlβ] =−δ ilXjβ , gives [Jij, Jkl] =δ jk Jil −δ ilJkj

Proof of (iii) Using (i) and (ii), [Jij, Jkl] = X α,β gβα [Jij, X† kα]Xlβ +X † kα[Jij, Xlβ] . Substituting [Jij, X† kα] =δ jk X † iα,[J ij, Xlβ] =−δ ilXjβ , gives [Jij, Jkl] =δ jk Jil −δ ilJkj . Thus the operatorsJ ij satisfy the commutation relations of the Lie algebragl(d)

work page