{"id":"883e5d31-6231-488e-908a-d3cb954ce67c","arxiv_id":"2507.01102","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For almost-bosonic anyon gases with smeared charges, the average-field approximation is rigorously justified for radii R=N^-eta for any eta>0 and even R=e^{-N^kappa}, 0<kappa<1.","lead":"This paper proves that a gas of almost-bosonic anyons can be rigorously described by independent bosons moving in a self-consistent average magnetic field, as long as the particle radius shrinks at most exponentially slowly. The result extends earlier derivations to much smaller radii, including radii exponentially small in the particle number.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The exponential-radius arm of Theorem 1 rests on the unstated Lemma 2.5 of the unpublished preprint [13]; without it the upper bound for R=e^{-N^kappa} is not established.","rationale":"The reader's weakest_assumption identifies the same issue, and our independent reading of Section 3 and Section 4 found no internal contradiction: conditions (38)-(39) and (51), (65) can be satisfied simultaneously for any η>0 and any κ<1; the high-momentum estimates in Proposition 10 use N^{2ε}R^{-2} ≤ N^{2Mε-2ε}, which holds via (39); the low-occupancy estimates in Proposition 11 rely on geometric sums that remain bounded as M grows polynomially in N for exponential R; and the de Finetti error N^{2iε} sqrt(M ε log N / K) is tamed by the factor j_{imax}/N ≥ N^{-δε} and the kinetic energy in the maximally occupied band, yielding the absorption condition (65). The only non-inspectable step is the exponential upper bound, so the risk to the central claim is exactly the external lemma. Since the reader already flagged this and voted ACCEPT with moderate confidence, no verdict change is warranted. A note in the paper stating Lemma 2.5 explicitly, or reproducing its proof, would eliminate the concern.","tokens_in":27616,"tokens_out":28878,"duration_ms":386448,"concrete_test":"Retrieve the proof of Lemma 2.5 from arXiv:2412.13080 and verify that, for R = e^{-N^κ}, 0<κ<1, it yields ⟨(u_af^R)^{⊗N}, H_N^R (u_af^R)^{⊗N}⟩/N ≤ E_af^R[u_af^R] + o(1), with the error uniform in κ and constants independent of N, R, and β, and that all hypotheses (e.g., regularity of u_af^R, conditions on Ae and V) hold under Theorem 1. If the lemma's bound does not apply to these trial states, the exponential-radius part of Theorem 1 is unproven and should be downgraded to a conjecture.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 3, the matching upper bound e_N^R ≤ e_af^R + o(1) is not proved: the text states it follows as in [26, Sec. 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. This is load-bearing because the exponential regime R = e^{-N^κ} (0<κ<1) is the paper's headline improvement: the lower bound alone does not give equality of limits, and Remark 4 shows that for κ≥1 the same uncorrelated trial state diverges, so the κ<1 restriction is exactly the window where [13, Lemma 2.5] must supply nontrivial cancellation. In contrast, the lower-bound argument appears internally coherent: the spectral cutoffs (36)-(39), the high-momentum and low-occupancy estimates (Propositions 10-11), and the absorption conditions (51) and (65) are mutually compatible for every η>0 and κ<1, with the de Finetti error controlled by the occupancy of the maximally occupied band. The only other external dependency is [15] (Proposition 9), which is at least by the author and integrated into the proof. The correctness of the paper's central theorem therefore hinges on a lemma the reader cannot inspect.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":27890,"tokens_out":6862,"duration_ms":83602,"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":[{"comment":"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":"Section 3, around Eq. (31) and Eq. (17)"},{"comment":"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.","section":"Section 4, Proposition 11"}],"minor_comments":[{"comment":"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":"Equation (8)"},{"comment":"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.","section":"Section 2.3, Lemma 8 and Lemma 12"},{"comment":"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.","section":"Remark 3"},{"comment":"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.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The polynomial-radii result appears to be supported by a detailed and coherent lower-bound proof, and the dependence on [15] is at least explicit. The exponential-radii arm, however, depends on an unstated lemma from an unpublished preprint, which is a genuine gap in the manuscript as it stands. I would not recommend rejection because the missing ingredient seems local and likely reproducible from [13]; I recommend major revision to make the upper bound self-contained or to restrict the theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hi — read this one. The headline result is real: for almost-bosonic anyons with extended radius R=N^{-eta} for any eta>0, the average-field functional is rigorously the correct limit, with BEC in minimisers. That already improves on Lundholm–Rougerie and Girardot, which only reached eta<1/4 (with extra magnetic assumptions). The paper also claims exponential radii R=e^{-N^kappa}, 0<kappa<1, which would be a genuinely new regime where R is far below the mean interparticle distance.\n\nThe lower bound is the main work and it looks solid. The momentum-localisation scheme from Junge–Visconti is adapted with care: the high-momentum and low-occupancy estimates (Propositions 10 and 11) are stated in enough detail, the conditions (51) and (65) are compatible with the polynomial and exponential choices of epsilon and M, and the de Finetti error is controlled. I did not find a gap in the lower-bound chain.\n\nThe soft spot is exactly where the stress-test puts it. The matching upper bound for the exponential case is not proved here. Section 3 says it follows as in [26, Sec. 3.3] using the product trial state, and that the exponential case uses 'the improved estimate [13, Lemma 2.5]' from an unpublished Girardot–Lee preprint. That lemma is not stated, its hypotheses are not reviewed, and no error bound is given. Since the lower bound alone does not give equality of limits, the exponential half of Theorem 1 is conditional on an external result the reader cannot check. For polynomial radii the upper bound is in the published literature, so that part is fine. For exponential radii the theorem should be flagged as conditional on [13, Lemma 2.5]. Given Remark 4 notes the product state diverges at kappa>=1, the kappa<1 cutoff is exactly where the unpublished lemma has to supply nontrivial cancellation—so this is load-bearing, not cosmetic.\n\nThe other external dependency, [15, Prop. 9] for the plane wave estimate, is integrated into the proof and is by the same author, so it is less worrying. Several lemmas are 'straightforward adaptations' of [15] but they are stated and plausible. The paper is honest about the open lower bound for kappa>=1.\n\nWho is this for: mathematical physicists working on anyon gases and mean-field limits. A referee should ask the author to either include a statement of [13, Lemma 2.5] with hypotheses and error, or prove the exponential upper bound in the paper. That is a reasonable revision, not a rejection. Verdict: worth a serious referee and, with that dependency resolved, publishable.","headline":"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.","tokens_in":28416,"tokens_out":2367,"would_cite":true,"duration_ms":26858,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81V70","82B10","35Q40"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["anyons","average-field approximation","almost-bosonic limit","extended anyons","Bose-Einstein condensation","mean-field limit","smeared Coulomb potential","quantum de Finetti theorem"],"falsifier":"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}}$.","tokens_in":27401,"feed_emoji":"🧲","tokens_out":14586,"duration_ms":147783,"temperature":0.7,"pith_summary":"This paper proves that the average-field approximation becomes exact, in the ground state, for a two-dimensional gas of $N$ almost-bosonic anyons whose magnetic charge is smeared over a disc of radius $R$, provided $R$ decays polynomially ($R=N^{-\\eta}$, any $\\eta>0$) or exponentially ($R=e^{-N^{\\kappa}}$, $0<\\kappa<1$) as $N$ grows. In this limit the ground state energy per particle converges to the minimum $e_{\\mathrm{af}}$ of a one-body nonlinear functional, and every ground state exhibits Bose-Einstein condensation into minimizers of that functional: the anyons behave like independent identical bosons moving in a self-consistent magnetic field. This extends earlier results that required $R$ to shrink no faster than $N^{-1/4}$, and in particular covers charge radii much smaller than the mean interparticle distance. The statistics parameter is fixed at $\\alpha=\\beta/(N-1)$, so that the anyonic phase nevertheless contributes at leading order.","feed_headline":"Anyon gas limit holds for exponentially tiny radii","feed_subtitle":"Even exponentially small charge radii do not spoil the average-field limit for trapped anyons.","key_machinery":"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.","core_discovery":"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$.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Introduces the extended-anyon model with smeared charges and proves the average-field limit for slowly shrinking radii; supplies the basic pointwise estimates for w_R used throughout.","marker":"[26]"},{"why":"Extends the average-field approximation to polynomial radii with a magnetic field; supplies the three-body estimate (Lemma 6) and the convergence of the regularized functional to E_af.","marker":"[12]"},{"why":"Provides the improved estimate [13, Lemma 2.5] used for the upper bound when R=e^{-N^kappa}.","marker":"[13]"},{"why":"Supplies the overall proof strategy for dilute interacting Bose gases, including the state-restriction procedure (Lemma 8) and the plane-wave estimate underlying Proposition 9.","marker":"[15]"},{"why":"Establishes the dimension bound on spectral shells and the argument that energy convergence implies Bose-Einstein condensation.","marker":"[18]"},{"why":"Sources the quantitative quantum de Finetti theorem (Theorem 7) applied on each spectral shell.","marker":"[6]"},{"why":"Adapts the de Finetti theorem to self-adjoint operators, making it applicable to the energy observables W2 and W3.","marker":"[31]"}],"fun_headline_variants":["Anyon gas: average-field limit proven for tiny radii","Exponential radius decay no barrier to anyon mean-field","Rigorous anyon limit for exponentially small charge discs","Average-field anyon gas: radius can shrink exponentially fast","Anyon ground state: even tiny radii match average-field"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Anyon gas: average-field limit proven for tiny radii","Exponential radius decay no barrier to anyon mean-field","Rigorous anyon limit for exponentially small charge discs","Average-field anyon gas: radius can shrink exponentially fast","Anyon ground state: even tiny radii match average-field"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000207,"raw_usage":{"total_tokens":1419,"prompt_tokens":985,"completion_tokens":434,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":601,"completion_tokens_details":{"reasoning_tokens":353}},"tokens_in":601,"tokens_out":434,"duration_ms":5130,"temperature":1.0,"reasoning_tokens":353,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T21:00:38.570391+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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}}$.","supporting_citations":[{"cited_title":"The average field approximation for almost bosonic extended anyons,","cited_arxiv_id":null,"evidence_quote":"Introduces the extended-anyon model with smeared charges and proves the average-field limit for slowly shrinking radii; supplies the basic pointwise estimates for w_R used throughout."},{"cited_title":"Average field approximation for almost bosonic anyons in a magnetic field,","cited_arxiv_id":null,"evidence_quote":"Extends the average-field approximation to polynomial radii with a magnetic field; supplies the three-body estimate (Lemma 6) and the convergence of the regularized functional to E_af."},{"cited_title":"Derivation of the Chern-Simons-Schr\\\"odinger equation from the dynamics of an almost-bosonic-anyon gas","cited_arxiv_id":"2412.13080","evidence_quote":"Provides the improved estimate [13, Lemma 2.5] used for the upper bound when R=e^{-N^kappa}."},{"cited_title":"Junge and F","cited_arxiv_id":null,"evidence_quote":"Supplies the overall proof strategy for dilute interacting Bose gases, including the state-restriction procedure (Lemma 8) and the plane-wave estimate underlying Proposition 9."},{"cited_title":"The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,","cited_arxiv_id":null,"evidence_quote":"Establishes the dimension bound on spectral shells and the argument that energy convergence implies Bose-Einstein condensation."},{"cited_title":"Quantum de Finetti theorems under local measurements with applications,","cited_arxiv_id":null,"evidence_quote":"Sources the quantitative quantum de Finetti theorem (Theorem 7) applied on each spectral shell."},{"cited_title":"Non linear Schrödinger limit of bosonic ground states, again,","cited_arxiv_id":null,"evidence_quote":"Adapts the de Finetti theorem to self-adjoint operators, making it applicable to the energy observables W2 and W3."}],"review_version":1}