{"id":"0fdd953a-9728-411b-b67b-2ab8b1738c17","arxiv_id":"2504.17668","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Functional renormalization group flows of a relativistic complex scalar at finite chemical potential confirm that the condensate vanishes for d≤2 in agreement with Mermin-Wagner, while surviving for d>2.","lead":"Using the functional renormalization group, the authors compute how quantum and thermal fluctuations affect a relativistic Bose-Einstein condensate in spatial dimensions from one to three. They find the condensate is destroyed in two dimensions or fewer, matching the Mermin-Wagner theorem, and survives in higher dimensions even when a chemical potential tries to strengthen it.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Analytic MW 'confirmation' in Sec. IV depends on unproved u3>=0 and f_k Taylor-expandability; numerical runs avoid unstable regions, leaving the central claim conditional.","rationale":"The central claim is that FRG with LPA reproduces Mermin-Wagner: rho0,k -> 0 for d<=2 at finite mu, and this is consistent with MW, including an 'analytically confirmed' derivation. The reader's weakest-assumption analysis correctly identifies the analytical proof as conditional on u3,k >= 0 and f_k Taylor-expandability, which the paper states are only partially verified. This is the most load-bearing soft spot because the abstract and Sec. IV present the analytical solution as confirmation, yet the solution's validity depends precisely on those unproved properties. If the assumptions fail, the proof reduces to a statement about selected numerical runs, which are themselves restricted to parameters evading the numerical instability. I do not see an alternative concern that is more central: the numerical flows themselves are plausible, the critical exponents match known results, and the physical conclusion agrees with a rigorous theorem. The missing artifacts and lack of error bars are secondary. Since the reader already proposed a CONDITIONAL verdict based on this same issue, I keep the verdict unchanged.","tokens_in":11831,"tokens_out":12473,"duration_ms":123239,"concrete_test":"For d=1.0, 1.5, and 2.0 with the same parameters as Fig. 1 (mu/|mbar| = sqrt(115/111), lambda/|mbar|^(3-d) = 1/15), extract u3,k, u2,k, and rho0,k from the flow and compute f_k = [1 + x_k + x_k^2 + y_k/2]/(1+2x_k)^2, with y_k = rho0,k u3,k/u2,k. Check whether u3,k remains nonnegative all the way to the scale where rho0,k vanishes, and whether f_k has a finite limit as k -> 0. If u3,k becomes negative or f_k diverges before rho0,k hits zero, then Eqs. (21)-(22) are not applicable and the analytical MW confirmation does not cover that case; the numerical result would then stand alone.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's headline analytical confirmation of Mermin-Wagner is the solution in Eqs. (20)-(22), derived from the flow equation (17). That conclusion rests on two assumptions stated in Sec. IV: u3,k >= 0 and f_k Taylor-expandable near k=0 with f0>0. The authors themselves concede both are not established: u3,k >= 0 'holds at least our numerical computation' and f_k's Taylor-expandability is 'fulfilled by some parameter sets.' If u3,k changes sign, or if f_k has singular k-dependence, then the explicit solution (21) that forces rho0,k=0 for d<=2 need not describe the actual flow, and the analytical confirmation collapses. The numerical results in Sec. III are also restricted to parameter choices that evade the acknowledged numerical instability, so the demonstrated consistency with MW holds only in a selected region of parameter space. The abstract's phrase 'analytically confirmed from the flow equation' is therefore stronger than what the proof establishes.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies a relativistic complex scalar field with a U(1) chemical potential, using the functional renormalization group under the local potential approximation. For the numerical part, the Litim regulator is combined with a Taylor expansion of the effective potential around its minimum, and the scale-dependent condensate is computed for spatial dimensions from d=3 down to d=1, for a range of chemical potentials. The main numerical finding is that the condensate flows to zero for d≤2 and to a finite value for d>2, consistent with the Mermin-Wagner theorem, and that the d≤2 behavior is insensitive to the chemical potential. The paper also presents an analytical revisit using a frequency-dependent regulator, obtaining an explicit flow equation for the condensate minimum and a closed solution that yields a finite vanishing scale for d≤2, subject to two stated assumptions. Critical exponents at d=3 are computed and compared with the 3D XY and mean-field values, and a numerical instability in low dimensions is discussed.","tokens_in":11980,"tokens_out":10317,"duration_ms":106096,"significance":"If the central claim holds, the paper provides a valuable cross-check that the FRG in the imaginary-time formalism can reproduce the Mermin-Wagner suppression of relativistic Bose-Einstein condensation at finite density, a nonperturbative requirement that is nontrivial at finite chemical potential. The numerical study covers a range of dimensions, verifies the flow with a second regulator, and reports critical exponents consistent with known universality classes, which strengthens confidence in the LPA-based approach. The analytical solution in Eqs. (21)-(22) is an instructive demonstration of how the dimension-dependent power of k in the flow equation can force ρ0,k to vanish for d≤2. The main caveat is that the analytical confirmation is conditional on assumptions that are only partially verified, and the numerical evidence is limited to parameter sets that avoid a documented instability.","major_comments":[{"comment":"The claimed analytical confirmation of the Mermin-Wagner theorem is conditional on two assumptions that the authors themselves state are not generally established: u3,k≥0 is said to hold only in their numerical computation, and the Taylor-expandability of fk is said to be fulfilled only by some parameter sets. Because the explicit solution (21) is exactly what forces ρ0,k=0 for d≤2, failure of either assumption invalidates the analytical conclusion for general parameters. The abstract's phrase 'analytically confirmed from the flow equation' is therefore stronger than what the derivation establishes. The authors should either prove these assumptions within the LPA truncation for the parameter range of interest or reformulate the claim as a conditional consistency check.","section":"Section IV, Eq. (20)-(22)"},{"comment":"The numerical demonstration is restricted to parameter choices that avoid the instability described in Section III; for example, a slightly larger chemical potential, µ/|mbar|=sqrt(115.1/111), is stated to produce numerical instability at d=2. Thus the conclusion that the condensate vanishes for d≤2 independently of µ is demonstrated only in a selected part of parameter space, not for arbitrary parameters. The domain of validity of the numerical claim should be stated explicitly in the abstract and conclusions, or the stability assessment should be extended.","section":"Section III, Figs. 1-3 and instability discussion"},{"comment":"The analytical argument for all d<2 relies on assumptions whose verification is shown only for d=2: Fig. 4 displays yk→0 for d=2.0, while for d>2 yk behaves as k^{-d+2}. No numerical evidence is presented for d<2 that fk is Taylor-expandable and u3,k≥0. The statement that the MW theorem is confirmed for all d≤2 therefore extrapolates the analytic solution beyond the parameter sets that were actually checked. The manuscript should either supply such checks or explicitly limit the analytical claim to the cases for which the assumptions are verified.","section":"Section IV, Eq. (20) and Fig. 4"}],"minor_comments":[{"comment":"The phrase 'arbitrary spatial dimensions' is broader than what is demonstrated: the numerical results cover d=1.0 to d=3.0 in steps of 0.2, and the analytical claim is restricted by unproven assumptions. A more precise wording would help the reader.","section":"Abstract and Title"},{"comment":"The figure captions refer to line styles and colors ('blue dotted line') without a full legend; adding an explicit legend would improve reproducibility of the described comparisons.","section":"Section III, Fig. 2 and Fig. 6"},{"comment":"The authors state that they confirmed the smooth flow of ρ0,k using the Grid method, but no grid-method results are shown. A brief quantitative statement or a supplementary figure would make this verification checkable.","section":"Section III, Grid method comparison"},{"comment":"The sentence 'The latter assumption holds at least our numerical computation' should read 'holds at least in our numerical computation.'","section":"Section IV, Eq. (17)"},{"comment":"Several references lack complete bibliographic data, e.g., Ref. [12] has no volume or article number; the authors should ensure all references are fully specified.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its limitations, and the numerical evidence for the MW-consistent behavior is reasonably convincing within the LPA. The main issue is that the abstract overstates the analytic proof, which is explicitly conditional. This can be fixed by rewording and by making the domain of validity precise; I do not see a need for a fully new calculation, but the revision should address the three major comments carefully."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The one thing to know: this is a careful, modest FRG paper that does what it says—checks Mermin-Wagner in a relativistic BEC at finite density for arbitrary spatial dimensions—and the numerical evidence is credible. The abstract's phrase \"analytically confirmed from the flow equation\" oversells Sec. IV; the analytic argument is conditional on assumptions the authors themselves admit are not proven in general.\n\nWhat's actually new: prior FRG work on O(N) models established MW consistency at zero density, and finite-µ BEC was only done at d=3. This paper extends the finite-µ flows to arbitrary d, shows the condensate vanishes for d≤2 across a range of µ and two different regulators, and gives a clear account of the numerical instability in low dimensions. The critical exponents at d=3 agree well with known 3D XY (high T) and mean-field (T=0) values, which checks the method. The paper is also honest: it flags the Silver-Blaze failure with the Litim regulator and restricts numerics to parameter sets that avoid the instability.\n\nSoft spots: the analytical \"confirmation\" in Eqs. (20)-(22) uses a regulator (16) and relies on u3,k≥0 plus Taylor-expandable fk near k=0. The authors write that u3,k≥0 \"holds at least our numerical computation\" and that Taylor-expandability \"is fulfilled by some parameter sets.\" If either fails, the explicit solution that forces ρ0,k=0 for d≤2 doesn't follow. So the abstract's wording overstates what is proven. The numerical evidence is good but also parameter-selected: the runs deliberately avoid the unstable region, and no code or data are attached. The critical exponents have no error bars, which is minor for a demonstration but worth saying.\n\nThe central claim—suppression of the condensate for d≤2 at finite µ within LPA—holds up. The stress-test concern is real: the analytical part is not a proof in full generality, but a consistency argument under stated conditions. That's a reason to ask for revision, not to reject.\n\nThis paper is for FRG practitioners and people working on pion condensation or BKT physics in low dimensions. It deserves a serious referee. I'd send it to peer review, with a request to soften or sharpen the abstract and to make code/data available. My own verdict: conditional accept, with the conditional living in Sec. IV.","headline":"A careful, modest FRG study that gives credible numerical evidence for Mermin-Wagner suppression of relativistic BEC at finite density in d<=2, but the advertised 'analytical confirmation' is conditional on assumptions the authors admit are not generally proven.","tokens_in":12552,"tokens_out":2552,"would_cite":true,"duration_ms":24661,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B28","81T10","82B27"],"pacs":["05.10.Cc","03.75.Hh","11.10.Wx"],"model":"deepseek-v4-flash","headline":"FRG flow kills the condensate in one and two spatial dimensions, consistent with Mermin–Wagner.","keywords":["functional renormalization group","Mermin–Wagner theorem","relativistic Bose–Einstein condensate","local potential approximation","finite chemical potential","spontaneous symmetry breaking","critical exponents","Taylor expansion method"],"falsifier":"Find a parameter set for which u3,k becomes negative or f_k becomes singular as k→0 (for example, a slightly larger chemical potential at d=2, near √115.1/111, where the paper itself reports numerical instability), solve the full FRG flow without the Taylor expansion approximation, and check whether ρ0,k remains strictly positive down to k=0; a finite condensate in such a case would refute the claim that the FRG, even beyond the Taylor truncation, always enforces Mermin–Wagner suppression.","tokens_in":11567,"feed_emoji":"⚛️","tokens_out":3339,"duration_ms":32846,"temperature":0.7,"pith_summary":"The paper asks whether the functional renormalization group (FRG), in its simplest local-potential approximation, can reproduce a fundamental theorem: continuous symmetries do not break spontaneously at finite temperature in d≤2 spatial dimensions. It studies a relativistic complex scalar field with a chemical potential, i.e., a relativistic Bose–Einstein condensate, and finds numerically that for d≤2 the condensate flows to zero as the infrared scale is removed, for every tested chemical potential. For d>2 the condensate remains finite and actually grows with chemical potential. The authors also give an analytical argument, based on the flow equation for the potential minimum, that directly produces the vanishing of the condensate for d≤2. The work matters because it tests whether a widely used nonperturbative method can be trusted at finite density in low dimensions.","feed_headline":"FRG flow kills BEC in one and two dimensions","feed_subtitle":"Fluctuations drive the condensate to zero for d≤2 at every chemical potential; for d>2 it survives.","key_machinery":"The load-bearing object is the flow equation for the potential minimum, Eq. (20): k∂ρ0,k/∂k = 4ad T $k^{{d-2}}$ f_k, with f_k = (1+x_k+$x_k^{2}$+y_k/2)/(1+2x_k)^2, where x_k and y_k measure the curvature and cubic coupling at the minimum. Under the assumptions u3,k≥0 and f_k Taylor-expandable near k=0, f_k approaches a positive constant, and the equation integrates to the explicit solutions in Eq. (21): for d<2 a power-law approach to zero and for d=2 a logarithmic approach, with a critical scale kc in Eq. (22) below which ρ0,k=0. This machinery converts the dimensional factor $k^{{d-2}}$ into a decisive suppression for d≤2, while for d>2 the same factor leaves room for a nonzero condensate.","core_discovery":"Within the local potential approximation and a Taylor expansion of the effective potential around its flowing minimum, the infrared value of the condensate ρ0,k→0 is zero for d≤2 and strictly positive for d>2, for all studied values of the chemical potential. This dimensional dichotomy is the Mermin–Wagner theorem as seen by the FRG: fluctuations become sufficiently strong in d≤2 to restore the U(1) symmetry, even when a chemical potential tries to favor condensation. The analytical revisit uses a regulator that makes the low-momentum flow equation tractable; the flow of ρ0,k then satisfies k∂ρ0,k/∂k = 4ad T $k^{{d-2}}$ f_k with a positive function f_k, and this forces ρ0,k to hit zero at a finite scale kc for d<2 and a finite scale kc for d=2 (where it falls logarithmically). The paper takes this as confirmation that the FRG is consistent with Mermin–Wagner in the imaginary-time formalism, resolving a subtlety left open by earlier d=3-only studies.","pith_inferences":["If the positivity of the right-hand side of the flow equation holds beyond the local potential approximation, the same analytic argument would suggest that Mermin–Wagner suppression is a robust feature of FRG flows at finite density, not an artifact of the Taylor expansion.","The logarithmic vanishing of ρ0,k at d=2 is the expected precursor of Berezinskii–Kosterlitz–Thouless physics, so the same flow equation could be used to study the BKT transition in the relativistic case, an extension the paper mentions only as future work.","The analytical solution offers a direct falsifiable criterion: any parameter set for which u3,k becomes negative or f_k is singular near k=0 should invalidate the predicted vanishing, and such sets may already be accessible numerically with a grid method.","A regulator that preserves Lorentz symmetry might simultaneously restore the Silver-Blaze property and still show the MW suppression, which would make the FRG a more reliable tool for zero-temperature finite-density systems."],"forward_implications":["The FRG under the local potential approximation reproduces the Mermin–Wagner theorem for a relativistic Bose–Einstein condensate at finite chemical potential in arbitrary spatial dimension.","For d>2, the condensate is enhanced by increasing chemical potential, extending the known d=3 behavior to continuous dimensions down to d=2.","The analytical flow equation gives a critical scale kc below which the condensate is exactly zero for d≤2, so the FRG predicts complete symmetry restoration in the deep infrared.","The critical exponents extracted at d=3, ν≈0.6672 and β≈0.3670 at T/|m̄|=0.1, together with the high-temperature and zero-temperature values, match known O(2)/XY and mean-field expectations, supporting the method's reliability.","The numerical instability in low dimensions is characterized by a divergence of y_k∼k^{-d+2}, which imposes practical limits on FRG calculations but is evadable for certain parameter choices."],"supporting_citations":[{"why":"Supplies the exact Wetterich flow equation that the entire FRG analysis starts from.","marker":"[14]"},{"why":"Provides the regulator of Eq. (16) and the analytic framework used in Section IV, and demonstrates MW consistency for an O(N)×Z2 model.","marker":"[19]"},{"why":"Shows that a Taylor expansion around the minimum, rather than around the origin, is needed to reproduce the MW theorem, justifying the method used here.","marker":"[20]"},{"why":"Earlier FRG calculation at d=3 showing condensate enhancement with chemical potential, the trend whose lower-dimensional fate the paper investigates.","marker":"[22]"},{"why":"The authors' previous work deriving the d=3 flow equation, which the present paper generalizes to arbitrary d.","marker":"[24]"},{"why":"The Mermin–Wagner theorem itself, the statement whose FRG reproduction the paper aims to establish.","marker":"[17]"},{"why":"The Litim regulator used for the main numerical computations because of its optimization and stability properties.","marker":"[39]"},{"why":"Supplies general properties of well-defined FRG flows (e.g., u2,k→0≥0) used in the discussion of numerical stability.","marker":"[34]"}],"fun_headline_variants":["Mermin-Wagner holds in FRG: no BEC in d≤2","FRG confirms no Bose condensate in d≤2 at any chemical potential","Dimensional cutoff: FRG says BEC only for d>2","Relativistic BEC vanishes for d≤2, FRG verifies","FRG shows fluctuations wipe out BEC in low dimensions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The analytical proof that the condensate must vanish for d≤2 assumes the cubic coefficient u3,k stays non-negative and that the function f_k can be Taylor-expanded at k=0 with a positive constant term; the authors state these conditions hold only for some parameter sets, and if they fail the explicit solution forcing ρ0,k=0 is not guaranteed by the flow equation.","fun_headline_variants_meta":{"raw":{"variants":["Mermin-Wagner holds in FRG: no BEC in d≤2","FRG confirms no Bose condensate in d≤2 at any chemical potential","Dimensional cutoff: FRG says BEC only for d>2","Relativistic BEC vanishes for d≤2, FRG verifies","FRG shows fluctuations wipe out BEC in low dimensions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000245,"raw_usage":{"total_tokens":1486,"prompt_tokens":848,"completion_tokens":638,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":464,"completion_tokens_details":{"reasoning_tokens":540}},"tokens_in":464,"tokens_out":638,"duration_ms":5715,"temperature":1.0,"reasoning_tokens":540,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T10:34:02.280400+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a parameter set for which u3,k becomes negative or f_k becomes singular as k→0 (for example, a slightly larger chemical potential at d=2, near √115.1/111, where the paper itself reports numerical instability), solve the full FRG flow without the Taylor expansion approximation, and check whether ρ0,k remains strictly positive down to k=0; a finite condensate in such a case would refute the claim that the FRG, even beyond the Taylor truncation, always enforces Mermin–Wagner suppression.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies general properties of well-defined FRG flows (e.g., u2,k→0≥0) used in the discussion of numerical stability."}],"review_version":1}