Classification of abstract Bose field models

Scientific Impact Assessment

Core Contribution. This paper provides a unitary-equivalence classification for a broad class of "abstract Bose field models" in the Hamiltonian formulation of quantum field theory. A model is defined as an irreducible Weyl representation of the canonical commutation relations (CCR) paired with a self-adjoint Hamiltonian. The central technical device is the newly introduced concept of a transfer pair $(J_{+},J_{-})(J\_+,\; J\_-)$, a pair of bounded operators intertwining the ranges of $T_1^{\pm 1}T\_1^\{\backslash pm\; 1\}$ and $T_2^{\pm 1}T\_2^\{\backslash pm\; 1\}$. Theorem 1.2 gives necessary and sufficient conditions for equivalence of two Weyl representations of the form ${\rho }_{T,q,p}\backslash rho\_\{T,q,p\}$ (the transfer pair exists and $J_{+}-J_{-}J\_+\; -\; J\_-$ is Hilbert–Schmidt, plus a functional-shift condition). Theorem 1.4 lifts this to full models including the Hamiltonian. The framework then yields clean complete classifications of abstract free Bose fields, van Hove–Miyatake models, infrared-renormalized (IR) van Hove–Miyatake models, and quadratic interaction models, the last admitting an explicit complete invariant $S^2+{\sum }_n{\lambda }_n\mathrm{\mid }{S}^{1\mathrm{/}2}{g}_n⟩⟨S^{1\mathrm{/}2}{g}_n\mathrm{\mid }S^2\; +\; \backslash sum\_n\; \backslash lambda\_n\; |S^\{1/2\}g\_n\backslash rangle\backslash langle\; S^\{1/2\}g\_n|$. A stated headline achievement is answering an open question of A. Arai (Remark 10.19 in his 2020 monograph) about the classification of IR-renormalized van Hove–Miyatake models.

Methodological Rigor. The paper is a pure mathematical-physics contribution and its rigor is high. The proofs are carefully structured: Section 2 establishes uniqueness, adjoint structure, and conjugation-commutation properties of transfer pairs; Section 3 deploys Bogoliubov-transformation theory (with the Hilbert–Schmidt criterion of Shale/Ruijsenaars) for the "if" direction and a delicate limiting/Cauchy-sequence argument for the "only if" direction; Sections 4–5 handle the Hamiltonian via spectral calculus (Stone's formula, sinc-function estimates in the appendix). The auxiliary lemmas (A.1–A.8) supply the operator-theoretic scaffolding, and the arguments appear self-contained and correct. The work explicitly generalizes prior results ([1, Theorem 5.1]) and shows how they follow as special cases, which is a good sign of proper positioning against prior art. There is no experimental component, so evidence rests entirely on proof correctness, which reads as solid.

Potential Impact. The impact is genuine but narrow. The audience is the specialized community studying inequivalent representations of the CCR and rigorous solvable QFT models—essentially researchers in the tradition of Arai, Hiroshima, Dereziński, and collaborators. Within that community, providing a *complete* classification (rather than the partial results previously available) and answering a named open question by a central figure gives the paper real standing. The transfer-pair formalism is a reusable conceptual tool that could streamline future equivalence analyses of related solvable models (van Hove Hamiltonians, quadratic bosonic Hamiltonians, possibly Nelson-type or spin-boson toy models). However, the models classified are exactly the exactly-solvable/quadratic corner of QFT; the results do not obviously extend to genuinely interacting theories, and there is no bridge to physics computation or experiment.

Timeliness & Relevance. The paper is responsive to a specific, documented open problem in a recent (2020/2025) monograph literature, and it cites 2021–2025 works (including a 2025 arXiv preprint by Gamet on renormalization of bosonic quadratic Hamiltonians), indicating an active micro-field. This is timely within its subfield but not connected to any broad emerging trend outside mathematical QFT.

Strengths.

Limitations.

Other observations. As a theory paper, reproducibility in the empirical sense does not apply; the proofs are, however, verifiable and appear complete enough for a specialist to check (the author credits I. Sasaki for checking a key proof). The barrier to entry is intellectual rather than resource-based: any competent operator-theorist could engage with it using only pencil and paper, but it demands genuine specialist fluency in Fock-space analysis. Foundationally, the transfer-pair concept has modest reuse potential as a primitive within this subfield, though it is unlikely to become a widely cited named tool.

Overall, this is a competent, rigorous, and complete piece of specialized mathematical physics that closes a specific open problem. Its expected influence is a steady but modest stream of citations within a small subfield, rather than field-changing impact.