REVIEW 2 major objections 4 minor 1 cited by
Average-field approximation for very dilute almost-bosonic anyon gases
T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The paper proves that the average-field approximation becomes exact for very dilute almost-bosonic anyon gases even when the charge radius shrinks exponentially with N.
desk verdict Proves the average-field limit for all polynomial radii and, modulo an unproven external lemma, for exponential radii; the lower bound is solid, the exponential upper bound is outsourced. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by a two-step machinery. First, the one-body operator $h=(p^A)^2+V$ is cut into spectral annuli $P_i = \mathbf{1}_{\{\sqrt{h} < N^{i\varepsilon}\}}$ (see (36)), and the $N$-body ground state is decomposed by occupation numbers of these annuli, which reduces the problem to finite-dimensional energy shells of dimension bounded by (25). On each shell, a quantitative quantum de Finetti theorem (Theorem 7, with adaptations from [31] and [28]) replaces the three-body reduced density matrix by a mixture of tensor powers, so the three-body energy can be compared to the average-field functional evaluated on one-body states. Three propositions carry the estimates: Proposition 9 controls $P_i e^{\pm ik\cdot x} P_i$ by a decaying function of $|k|$; Proposition 10 bounds interaction terms touching the highest momentum shell; and Proposition 11 controls terms in which a relevant shell is under-occupied. The smeared Coulomb potential $w_R = \log|\cdot| * \mathbf{1}_{B(0,R)}/(\pi R^2)$ provides the required bounds in Lemma 5, and the three-body term is controlled by Lemma 6.
What would settle it
A concrete check is to evaluate, for a given minimizer $u$ of the average-field functional, the exact energy per particle of the trial state $u^{\otimes N}$ at $R=e^{-N^{\kappa}}$ and verify that it tends to $e_{\mathrm{af}}$; any departure would falsify the upper bound in the exponential case. Alternatively, a counterexample to Lemma 2.5 of [13] would immediately invalidate Theorem 1 for $R=e^{-N^{\kappa}}$.
Extended reading notes
Core claim
The central result, Theorem 1, states that for extended anyons of radius $R=N^{-\eta}$ ($\eta>0$) or $R=e^{-N^{\kappa}}$ ($0<\kappa<1$), in an external potential satisfying (3) and with magnetic vector potential in $L^2_{\mathrm{loc}}$, the ground state energy per particle converges: $\lim_{N\to\infty} e_N^R = e_{\mathrm{af}} > 0$. Moreover, along a subsequence of any ground state sequence, the $k$-body reduced density matrices converge to an integral of pure condensates $|u^{\otimes k}\rangle\langle u^{\otimes k}|$ over a probability measure supported on the minimizers of $E^{\mathrm{af}}$, and if the minimizer is unique the whole sequence converges to the pure condensate. The proof establishes a lower bound comparing the many-body energy to the average-field functional with a small kinetic-energy damping, and an upper bound via the uncorrelated trial state $(u_{\mathrm{af}}^R)^{\otimes N}$; the matching of the two bounds uses convergence of the regularized functional to its singular limit as $R\to 0$.
Load-bearing premise
For the exponential-radii case the entire result depends on an unpublished estimate, cited as [13, Lemma 2.5], that controls the energy of the uncorrelated trial state; if that estimate is false, the claimed convergence for $R=e^{-N^{\kappa}}$ fails.
Editorial extensions
If this is right
- The energy convergence (17) holds for every polynomial decay $R=N^{-\eta}$ with $\eta>0$, and for exponential decay $R=e^{-N^{\kappa}}$ with $0<\kappa<1$.
- Every sequence of ground states has a subsequence whose $k$-body reduced density matrices converge to a convex mixture of pure condensates formed from minimizers of $E^{\mathrm{af}}$; with a unique minimizer, the whole sequence converges to the pure condensate.
- The regime $R \ll N^{-1/2}$ is covered, meaning the charge radius can be far smaller than the mean interparticle distance.
- In the exponential regime, $\kappa\ge 1$ is excluded: the uncorrelated trial state diverges there, and the paper points to correlated two-body trial states as needed for a different functional.
- The same proof, combined with the strategy of [15], yields the corresponding convergence for Hamiltonians with an added short-range interaction potential (Remark 3): the limiting functional then contains an extra $\frac{a}{2}|u|^4$ term.
Reading between the lines
- We would expect the momentum-shell and de Finetti machinery to transfer to three-dimensional anyon-like gases, where the gauge potentials are sourced by regularized Biot-Savart kernels; the key plane-wave estimate, Proposition 9, has a natural analogue there.
- We suspect the $\kappa<1$ cutoff in Theorem 1 is not an artifact of the proof: the divergence of the uncorrelated trial state at $\kappa\ge 1$ suggests that a different, correlated functional (as in [2]) is the correct limit, so a numerical test of whether the exact ground state energy per particle departs from $e_{\mathrm{af}}$ at $\kappa=1$ would be informative.
- The dependence on the unpublished estimate [13, Lemma 2.5] is a fragile point for the exponential case; replacing that lemma with a fully published proof would put the exponential part of Theorem 1 on firmer ground.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies N trapped two-dimensional almost-bosonic anyons with extended radius R and statistics parameter α=β/(N−1). The main result, Theorem 1, asserts that when R decays polynomially as N^{-η} for any η>0, or exponentially as e^{-N^κ} with 0<κ<1, the ground-state energy per particle converges to the average-field energy e_af, and every sequence of ground states exhibits Bose–Einstein condensation into minimizers of the average-field functional; when the minimizer is unique, the reduced density matrices converge to the pure condensate. The proof follows the strategy of Junge–Visconti for attractive Bose gases: it decomposes the three-body reduced density matrix according to spectral projections of the one-body Hamiltonian, uses a quantitative quantum de Finetti theorem, and proves high-momentum and low-occupancy estimates. The matching lower bound is proved in detail, while the upper bound for exponential radii is relegated to an unpublished lemma from Girardot–Lee.
Significance. If the result is fully established, it is a substantial improvement over the previous estimates of Lundholm–Rougerie and Girardot: it covers all polynomial decay rates and certain exponentially small radii, including radii much smaller than the mean interparticle distance. The lower-bound argument is ambitious and largely self-contained, with explicit Propositions 10 and 11 and a clear use of the quantum de Finetti theorem. The paper is also transparent about its limitations, notably in Remark 4, where the failure of the uncorrelated trial state for κ≥1 is acknowledged. The main weakness is that the exponential-radii upper bound depends on an unpublished lemma that is neither stated nor proved, so the reader cannot currently certify the headline exponential regime.
major comments (2)
- [Section 3, around Eq. (31) and Eq. (17)] The matching upper bound e_N^R ≤ e_af^R + o(1) is asserted to follow from [26, Section 3.3] using the trial state (u_af^R)^{⊗N}, with the exponential case handled by 'the improved estimate [13, Lemma 2.5]' from an unpublished preprint. No statement of this lemma, its hypotheses, or the error bound it yields is given anywhere in the manuscript. This is load-bearing because the exponential regime R=e^{-N^κ}, 0<κ<1, is one of the two main claims of Theorem 1, and Remark 4 explicitly notes that for κ≥1 the same uncorrelated trial state diverges; thus the entire κ<1 upper-bound window rests on the content of [13, Lemma 2.5]. Please state the lemma with full hypotheses and quantitative estimates and either prove it in an appendix or cite a verifiable published source, or restrict the theorem to the polynomial case.
- [Section 4, Proposition 11] The exponential-case proof of Proposition 11 repeatedly restricts to orderings such as i1≥i2≥i3 and i′1≥i′2≥i′3 and then says 'the rest is left to the reader' or 'the other terms are dealt with analogously'. While such symmetry reductions are often routine, the text itself flags that the ji1=0 case is 'trickier' and requires a different choice of τ (see the discussion after Eq. (80)). Since Proposition 11 is central to the lower bound in the exponential regime, a short explanation of how the remaining index orderings and the ji1=0 case are reduced to the treated cases would make the proof verifiable without unreasonable effort.
minor comments (4)
- [Equation (8)] The summation condition '1≤j,k,ℓ≤N, j̸=k̸=ℓ̸=i' contains an undefined index i and a nonstandard displayed chain; it should say that j, k, ℓ are pairwise distinct (e.g., j≠k, j≠ℓ, k≠ℓ).
- [Section 2.3, Lemma 8 and Lemma 12] Lemmas 8 and 12 are stated with proofs merely described as 'straightforward adaptation' of [15]. Since [15] is also an unpublished preprint, including short derivations or at least explicitly stating the reduction would improve verifiability.
- [Remark 3] The claimed extension to interacting anyons, Eq. (21), is presented as 'a straightforward combination' of the proof of Theorem 1 and [15, Theorem 2]; since this is a separate result, a brief sketch of the combination would help the reader assess the claim.
- [Throughout] The paper cites two unpublished preprints ([13] and [15]) for load-bearing estimates. It would be helpful to mark these as 'preprint' in the references and to state explicitly which results are used only via unpublished sources.
Circularity Check
No circular step reduces the theorem to its inputs; the exponential-radius upper bound rests on the unstated Lemma 2.5 of the unpublished preprint [13], a load-bearing external dependency rather than circularity.
full rationale
The claimed derivation is not circular. The average-field functional (9) is heuristically obtained by inserting the product ansatz into the two- and three-body expressions (12)-(13), but Theorem 1 does not assume this ansatz: the lower bound, developed around equations (31)-(63), starts from the genuine N-body Hamiltonian and uses spectral cutoffs (36)-(39), the CLR-type dimension bound (25), the quantum de Finetti theorem, and Propositions 10-11, both of which are proved in Section 4. No fitted parameter is renamed as a prediction, and no definitional identity forces the energy convergence. The passage requiring scrutiny is the upper bound for exponential radii: Section 3 states that 'the matching upper bound e_N^R ≤ e_af^R + o(1) can be proven using the trial state (u_af^R)^{⊗N} ... (using the improved estimate [13, Lemma 2.5] to deal with the exponential case)'. The lemma is from an unpublished preprint by Girardot and Lee, and its statement and hypotheses are not included; Remark 4 shows that the same uncorrelated trial state diverges for κ ≥ 1, so the exponential arm of Theorem 1 depends on that unstated estimate. This is a missing-support and correctness risk, not a circular step: the citation is to other authors and there is no reduction of Theorem 1 to its own conclusion. The paper also borrows its strategy and some plane-wave estimates from the author's prior joint work [15], but those are technical tools from a different Bose-gas model and the key anyon estimates are re-proven here. The central claim therefore has independent content; the score of 2 reflects only these external citation dependencies, not circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption The trapping potential satisfies V(x) >= c^{-1}|x|^s - C for some s,c,C>0 (Eq. 3).
- domain assumption The external magnetic vector potential A_e belongs to L^2_loc(R^2).
- domain assumption The radius R and statistics scaling alpha=beta/(N-1) are chosen with R=N^{-eta}, eta>0, or R=e^{-N^kappa}, 0<kappa<1.
- standard math The quantitative quantum de Finetti theorem (Theorem 7) from Brandao-Harrow and Li-Smith, and the CLR dimension bound (25) from Lewin-Nam-Rougerie.
- standard math The plane-wave estimate (30) from [15, Proposition 4], obtained via the diamagnetic inequality.
Cite this review
Pith. "Pith review of Average-field approximation for very dilute almost-bosonic anyon gases." pith.science (2026). https://pith.science/paper/GX3CE5TE
@misc{pith2026250701102,
author = {Pith},
title = {Pith review of: Average-field approximation for very dilute almost-bosonic anyon gases},
year = {2026},
howpublished = {\url{https://pith.science/paper/GX3CE5TE}},
note = {Machine review of arXiv:2507.01102}
}
abstract
We study the ground state of a system of $N$ two-dimensional trapped almost-bosonic anyons subject to an external magnetic field. This setup can equivalently be viewed as bosons interacting through long-range magnetic potentials generated by magnetic charges carried by each particle. These magnetic charges are assumed to be smeared over discs of radius $R$ - a model known as extended anyons. To recover the point-like anyons perspective, we consider the joint limit $R \rightarrow 0$ as $N \rightarrow \infty$. We rigorously justify the average-field approximation for any radii $R$ that decay polynomially in $1/N$, and even for certain exponentially decaying $R$. The average-field approximation asserts that the particles behave like independent, identical bosons interacting through a self-consistent magnetic field. Our result significantly improves upon the best-known estimates by Lundholm-Rougerie (2015) and Girardot (2020), and it in particular covers radii that are much smaller than the mean interparticle distance. The proof strategy builds on a recent work on two-dimensional attractive Bose gases by Junge and the author (2025).
Forward citations
Cited by 1 Pith paper
-
Dimensional reduction for anyons in the average-field approximation
A 2D Chern–Simons–Schrödinger anyon model in a strong anisotropic trap is rigorously shown to reduce to the 1D quintic NLS model, at the level of energies and, conditionally, of dynamics.
Reference graph
Works this paper leans on
-
[15]
L. Junge and F. L. A. Visconti,Derivation of Hartree theory for two-dimensional attractive Bose gases in very dilute regime, 2025. arXiv:2410.23150 [math-ph]
-
[1]
R. Adami and A. Teta, “On the Aharonov–Bohm effect,”Lett. Math. Phys., vol. 43, pp. 43– 53, 1998
work page 1998
-
[2]
A. Ataei, D. Lundholm, and T. Girardot,Microscopic derivation of the stationary Chern– Simons–Schrödinger equation for almost-bosonic anyons,2025.arXiv: 2504.17488 [math-ph]
work page Pith review arXiv 2025
-
[3]
A generalized Liouville equation and magnetic stability
A. Ataei, D. Lundholm, and D.-T. Nguyen,A generalized Liouville equation and magnetic stability, 2025. arXiv:2404.09332 [math.AP]
work page Pith review arXiv 2025
-
[4]
Schrödinger operators with magnetic fields. I. general interactions,
J. Avron, I. Herbst, and B. Simon, “Schrödinger operators with magnetic fields. I. general interactions,” Duke Math. J., vol. 45, no. 4, 1978
work page 1978
-
[5]
When can identical particles collide?
M. Bourdeau and R. Sorkin, “When can identical particles collide?”Phys. Rev. D, vol. 45, pp. 687–696, 1992
work page 1992
-
[6]
Quantum de Finetti theorems under local measurements with applications,
F. G. Brandão and A. W. Harrow, “Quantum de Finetti theorems under local measurements with applications,” Commun. Math. Phys., vol. 353, pp. 469–506, 2017
work page 2017
-
[7]
Vortex patterns in the almost- bosonic anyon gas,
M. Correggi, R. Duboscq, N. Rougerie, and D. Lundholm, “Vortex patterns in the almost- bosonic anyon gas,”EPL, vol. 126, p. 20005, 2019
work page 2019
Show all 35 references
-
[8]
Local density approximation for the almost- bosonic anyon gas,
M. Correggi, D. Lundholm, and N. Rougerie, “Local density approximation for the almost- bosonic anyon gas,”Anal. PDE, vol. 10, pp. 1169–1200, 2017
2017
-
[9]
Hamiltonians for two-anyon systems,
M. Correggi and L. Oddis, “Hamiltonians for two-anyon systems,”Rend. Mat. Appl., vol. 39, pp. 277–292, 2018
2018
-
[10]
Aharonov–Bohm effect withδ-type interaction,
L. Dabrowski and P. Stovicek, “Aharonov–Bohm effect withδ-type interaction,”J. Math. Phys., vol. 39, pp. 47–62, 1998. REFERENCES 27
1998
-
[11]
Random-phase approximation in the fractional statistics gas,
A. L. Fetter, C. B. Hanna, and R. B. Laughlin, “Random-phase approximation in the fractional statistics gas,”Phys. Rev. B, vol. 39, pp. 9679–9681, 1989
1989
-
[12]
Average field approximation for almost bosonic anyons in a magnetic field,
T. Girardot, “Average field approximation for almost bosonic anyons in a magnetic field,” J. Math. Phys., vol. 61, no. 7, p. 071901, 2020
2020
-
[13]
Girardot and J
T. Girardot and J. Lee,Derivation of the Chern–Simons–Schrödinger equation from the dynamics of an almost-bosonic-anyon gas, 2025. arXiv:2412.13080 [math-ph]
2025 arXiv
-
[14]
Anyon quantum mechanics and Chern–Simons theory,
R. Iengo and K Lechner, “Anyon quantum mechanics and Chern–Simons theory,”Phys. Rep., vol. 213, pp. 179–269, 1992
1992
-
[16]
Exclusion bounds for extended anyons,
S. Larson and D. Lundholm, “Exclusion bounds for extended anyons,”Arch. Ration. Mech. Anal., vol. 227, pp. 309–365, 2017
2017
-
[17]
A note on 2D focusing many-boson systems,
M. Lewin, P. T. Nam, and N. Rougerie, “A note on 2D focusing many-boson systems,” Proc. Amer. Math. Soc., vol. 145, no. 6, pp. 2441–2454, 2017
2017
-
[18]
The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,
——, “The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,”Trans. Amer. Math. Soc., vol. 368, pp. 6131–6157, 2014
2014
-
[19]
Quantum de Finetti theorem under fully-one-way adaptive measure- ments,
K. Li and G. Smith, “Quantum de Finetti theorem under fully-one-way adaptive measure- ments,” Phys. Rev. Lett., vol. 114, p. 160503, 16 2015
2015
-
[20]
E. H. Lieb and M. Loss,Analysis (Graduate Studies in Mathematics). American Mathe- matical Society, second ed., 2001, vol. 14
2001
-
[21]
E. H. Lieb and R. Seiringer,The stability of matter in quantum mechanics. Cambridge Univ. Press, 2010
2010
-
[22]
Hardy and Lieb–Thirring inequalities for anyons,
D. Lundholm and J. P. Solovej, “Hardy and Lieb–Thirring inequalities for anyons,”Comm. Math. Phys., vol. 322, pp. 883–908, 2013
2013
-
[23]
Local exclusion and Lieb–Thirring inequalities for intermediate and fractional statistics,
——, “Local exclusion and Lieb–Thirring inequalities for intermediate and fractional statistics,” Ann. Henri Poincaré, vol. 15, pp. 1061–1107, 2014
2014
-
[24]
Many-anyon trial states,
D. Lundholm, “Many-anyon trial states,”Phys. Rev. A, vol. 96, 2017
2017
-
[25]
Properties of 2D anyon gas,
——, “Properties of 2D anyon gas,” inEncyclopedia of Condensed Matter Physics. Elsevier, 2024, pp. 450–484
2024
-
[26]
The average field approximation for almost bosonic extended anyons,
D. Lundholm and N. Rougerie, “The average field approximation for almost bosonic extended anyons,”J. Stat. Phys., vol. 161, pp. 1236–1267, 2015
2015
-
[27]
Myrheim, “Anyons,” inAspects topologiques de la physique en basse dimension
J. Myrheim, “Anyons,” inAspects topologiques de la physique en basse dimension. Topological aspects of low dimensional systems, A. Comtet, T. Jolicœur, S. Ouvry, and F. David, Eds., Berlin, Heidelberg: Springer, 1999, pp. 265–413
1999
-
[28]
Improved stability for 2D attractive Bose gases,
P. T. Nam and N. Rougerie, “Improved stability for 2D attractive Bose gases,”J. Math. Phys., vol. 61, no. 2, p. 021901, 2020
2020
-
[29]
D.-T.Nguyen, 2D attractive almost-bosonic anyon gases,2024.arXiv: 2409.00409 [math-ph]
2024 arXiv
-
[30]
M. C. Reed and B. Simon,Methods of modern mathematical physics. II. Fourier analysis, self-adjointness. New York, 1972
1972
-
[31]
Non linear Schrödinger limit of bosonic ground states, again,
N. Rougerie, “Non linear Schrödinger limit of bosonic ground states, again,”Conflu. Math., vol. 12, no. 1, pp. 69–91, 2020
2020
-
[32]
Simon,Trace ideals and their applications(London Mathematical Society Lecture Note Series)
B. Simon,Trace ideals and their applications(London Mathematical Society Lecture Note Series). Cambridge: Cambridge University Press, 1979, vol. 35
1979
-
[33]
Ground state and collective excitations of extended anyons,
C. Trugenberger, “Ground state and collective excitations of extended anyons,”Phys. Lett. B, vol. 288, pp. 121–128, 1992
1992
-
[34]
The anyon fluid in the Bogoluibov approximation,
——, “The anyon fluid in the Bogoluibov approximation,”Phys. Rev. D, vol. 45, pp. 3807– 3817, 1992
1992
-
[35]
Mean field approximation for anyons in a magnetic field,
E. Westerberg, “Mean field approximation for anyons in a magnetic field,”Int. J. Mod. Phys. B, vol. 7, pp. 2177–2199, 1993. Department of Mathematics, LMU Munich, Theresienstrasse 39, 80333 Munich, Germany Email address: visconti@math.lmu.de
1993
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.