pith. sign in

arxiv: 2607.02264 · v1 · pith:4HX4OJOKnew · submitted 2026-07-02 · 🧮 math-ph · math.MP

Mean-Field Bose--Einstein Condensation and Condensate Ideals in the Resolvent Algebra

Yoshitsugu Sekine This is my paper

Pith reviewed 2026-07-03 03:47 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords mean-field Bose-Einstein condensationresolvent algebrazero-mode covarianceimperfect Bose gasoff-diagonal long-range orderrepresentation theorycondensate ideal
0
0 comments X

The pith

After mean-field density selection the zero-mode covariance defines a BEC ideal in the resolvent algebra.

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

This paper examines the imperfect Bose gas once the Kac density law and mean-field Euler equations have fixed a condensed density carrying positive zero-mode excess. Under these conditions the chemical potential exactly cancels the mean-field shift, so the one-particle Hamiltonian reduces to the free operator. The resulting zero-mode covariance then supplies a mean-field BEC ideal inside the resolvent algebra. Separate representation data appear in the nonregular quotient and the direct-integral center. Occupation-number and Brownian-loop calculations reproduce the same density, excess, and ODLRO values while marking the gap between finite-density BEC and stricter infinite-occupation criteria.

Core claim

In the mean-field BEC regime of the imperfect Bose gas, the zero-mode covariance defines a mean-field BEC ideal in the resolvent algebra, while the nonregular quotient and the direct-integral center record distinct representation-theoretic data.

What carries the argument

The zero-mode covariance, which supplies the mean-field BEC ideal inside the resolvent algebra after the one-particle Hamiltonian has been reduced to the free operator.

If this is right

  • Occupation-number and Brownian-loop formulations recover identical density selection, excess density, and ODLRO data.
  • The same formulations confirm the separation between finite-density BEC and Buchholz's infinite-occupation proper-condensate criterion.
  • Local tests remain consistent across the resolvent-algebra, occupation-number, and loop formulations.
  • Representation-theoretic distinctions persist between the nonregular quotient and the direct-integral center.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The ideal construction may permit explicit evaluation of correlation functions for condensed states directly in the resolvent algebra.
  • The gap between regular and nonregular representations could be used to classify symmetry-breaking patterns in related interacting gases.
  • Finite-volume approximations of the zero-mode excess might be compared with the infinite-volume ideal to test scaling of the condensate fraction.

Load-bearing premise

The Kac density law and mean-field Euler equations have already fixed a condensed density with positive zero-mode excess whose chemical potential cancels the mean-field shift exactly.

What would settle it

A direct calculation showing that the zero-mode covariance fails to generate an ideal in the resolvent algebra under the selected density and free Hamiltonian would falsify the claim.

read the original abstract

This paper studies the imperfect Bose gas after the Kac density law and the mean-field Euler equations have selected a condensed density with positive zero-mode excess. In this BEC regime the selected chemical potential cancels the mean-field shift, so the selected one-particle Hamiltonian is exactly the free one. The resulting zero-mode covariance defines a mean-field BEC ideal in the resolvent algebra, while the nonregular quotient and the direct-integral center record distinct representation-theoretic data. Occupation-number and Brownian-loop formulations recover the same density selection, excess density, ODLRO data, local tests, and the separation between finite-density BEC and Buchholz's stricter infinite-occupation proper-condensate criterion.

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.

Referee Report

2 major / 2 minor

Summary. The paper examines the imperfect Bose gas in the BEC regime after the Kac density law and mean-field Euler equations have selected a condensed density with positive zero-mode excess. With the chemical potential canceling the mean-field shift (leaving the one-particle Hamiltonian free), the zero-mode covariance is used to define a mean-field BEC ideal in the resolvent algebra. The nonregular quotient and direct-integral center are shown to record distinct representation-theoretic data. Occupation-number and Brownian-loop formulations are stated to recover the same density selection, excess density, ODLRO, and local tests, while separating finite-density BEC from Buchholz's stricter infinite-occupation criterion.

Significance. If the constructions hold, the work supplies a rigorous algebraic definition of a mean-field BEC ideal inside the resolvent algebra and clarifies representation-theoretic distinctions between quotients and centers. It also demonstrates consistency across multiple formulations (occupation-number, Brownian-loop) for standard BEC observables while distinguishing condensate criteria. These elements strengthen the mathematical toolkit for infinite Bose systems in quantum statistical mechanics.

major comments (2)
  1. [Abstract] Abstract and opening paragraphs: the central claim is explicitly conditional on the upstream Kac density law and mean-field Euler equations having already produced a condensed density with positive zero-mode excess and on the chemical potential exactly canceling the mean-field shift. The manuscript should contain an explicit statement (with equation reference) of where this selection is taken as given versus where it is re-derived, because the ideal definition is downstream of that step.
  2. [Section defining the ideal (likely §3 or §4)] Definition of the mean-field BEC ideal: the zero-mode covariance is asserted to define the ideal, but the text must specify the precise equation relating the covariance operator to the ideal generators in the resolvent algebra and confirm that the construction does not reduce tautologically to the input selection.
minor comments (2)
  1. The abstract is information-dense; splitting the description of the ideal, the representation data, and the cross-formulation recovery into separate sentences would improve readability.
  2. Ensure that all citations to the resolvent algebra literature and to Buchholz's infinite-occupation criterion are complete and correctly placed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. Both major comments identify opportunities for added clarity on the logical structure of the argument. We will implement the requested explicit statements and equation references in the revised manuscript.

read point-by-point responses

  1. Referee: [Abstract] Abstract and opening paragraphs: the central claim is explicitly conditional on the upstream Kac density law and mean-field Euler equations having already produced a condensed density with positive zero-mode excess and on the chemical potential exactly canceling the mean-field shift. The manuscript should contain an explicit statement (with equation reference) of where this selection is taken as given versus where it is re-derived, because the ideal definition is downstream of that step.

    Authors: We agree that the dependence on the upstream selection should be stated with greater precision. In the revised manuscript we will insert, both in the abstract and in the first paragraph of the introduction, an explicit sentence that identifies the input regime by reference to the Kac density law (Eq. (2.12)) and the mean-field Euler equations (Eq. (2.15)), together with the resulting chemical-potential cancellation (Eq. (2.18)). The sentence will state that these relations are taken as given and that the subsequent construction of the mean-field BEC ideal proceeds from the zero-mode covariance obtained under those conditions. revision: yes

  2. Referee: [Section defining the ideal (likely §3 or §4)] Definition of the mean-field BEC ideal: the zero-mode covariance is asserted to define the ideal, but the text must specify the precise equation relating the covariance operator to the ideal generators in the resolvent algebra and confirm that the construction does not reduce tautologically to the input selection.

    Authors: We will add the missing explicit relation. In the revised Section 3 we will insert the equation that maps the zero-mode covariance operator C_0 (defined after Eq. (3.4)) to the generators of the ideal I_BEC via the formula I_BEC = {R(f) | f in the range of the resolvent of the free one-particle Hamiltonian with covariance C_0}, together with the statement that this ideal is the kernel of the quotient map that records the non-regular representation data. A short paragraph will note that the construction is non-tautological because the ideal encodes the representation-theoretic distinction between the nonregular quotient and the direct-integral center, which is not already contained in the input density selection. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is explicitly conditional

full rationale

The paper states at the outset that it studies the imperfect Bose gas after the Kac density law and mean-field Euler equations have already selected a condensed density with positive zero-mode excess and a chemical potential that cancels the mean-field shift, leaving the one-particle Hamiltonian free. The zero-mode covariance is then used to define the mean-field BEC ideal inside the resolvent algebra, with the nonregular quotient and direct-integral center supplying additional representation-theoretic data. This is a downstream definition from given inputs rather than any self-definitional loop, fitted prediction renamed as output, or load-bearing self-citation. No equations or steps within the provided text reduce the central claim to its own premises by construction. Occupation-number and Brownian-loop pictures are stated to recover the same quantities, but again only conditionally on the upstream selection. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information on free parameters, axioms, or invented entities is supplied by the abstract.

pith-pipeline@v0.9.1-grok · 5638 in / 1128 out tokens · 30736 ms · 2026-07-03T03:47:37.478974+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 2 internal anchors

  1. [1]

    Mathematical Principles of Quantum Statistical Mechanics (in Japanese)

    Asao Arai. Mathematical Principles of Quantum Statistical Mechanics (in Japanese) . Kyoritsu publishing, 7 2008

    work page 2008

  2. [2]

    The resolvent algebra: Ideals and dimension

    Detlev Buchholz. The resolvent algebra: Ideals and dimension. J. Funct. Anal. , 266:3286– 3302, March 2014

    work page 2014

  3. [3]

    Proper condensates

    Detlev Buchholz. Proper condensates. J. Math. Phys. , 63(1):011903, January 2022

    work page 2022

  4. [4]

    Proper condensates and long range order

    Detlev Buchholz. Proper condensates and long range order. J. Math. Phys. , 63(8):081905, August 2022

    work page 2022

  5. [5]

    The Resolvent Algebra: A New Approach to Canonical Quantum Systems

    Detlev Buchholz and Hendrik Grundling. The Resolvent Algebra: A New Approach to Canonical Quantum Systems. J. Funct. Anal. , 254:2725–2779, June 2008

    work page 2008

  6. [6]

    Detlev Buchholz and Teun D. H. van Nuland. The basic resolvents of position and mo- mentum operators form a total set in the resolvent algebra. Lett. Math. Phys. , 113:119, 2023

    work page 2023

  7. [7]

    Frohlich, A

    J. Frohlich, A. Knowles, B. Schlein, and V. Sohinger. A Path-Integral Analysis of Inter- acting Bose Gases and Loop Gases. J. Stat. Phys. , 180:810–831, 2020. arXiv: 2001.11714

    work page arXiv 2020

  8. [8]

    J. Ginibre. Some Applications of Functional Integration in Statistical Mechanics . Gordon and Breach, 1971

    work page 1971

  9. [9]

    A Note on the Resolvent Algebra and Functional Integral Approach to the Free Bose Einstein Condensation

    Yoshitsugu Sekine. A Note on the Resolvent Algebra and Functional Integral Approach to the Free Bose Einstein Condensation. arxiv:2604.01424, page 47, 4 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  10. [10]

    No-Go Theorem for BEC in the Nelson and Pauli--Fierz Models

    Yoshitsugu Sekine. No-Go Theorem for BEC in the Nelson and Pauli–Fierz Models. arxiv:2606.09538, page 91, 6 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  11. [11]

    Euclidean quantum field theory, 1969

    Kurt Symanzik. Euclidean quantum field theory, 1969

    work page 1969

  12. [12]

    Verbeure

    André F. Verbeure. Many-Body Boson Systems: Half a Century Later . Theoretical and Mathematical Physics. Springer, 12 2010. 56

    work page 2010