{"id":"a8889872-17bc-4b27-a1e0-423655cbdafa","arxiv_id":"2411.15816","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The sign of the anomalous density in a dilute Bose gas is shown to depend on the unobservable condensate phase, while its absolute value is related to sound velocity and condensed fraction.","lead":"This paper develops a Hartree-Fock-Bogoliubov theory for a dilute Bose gas with an arbitrary condensate phase, and argues that the sign of the anomalous density is unobservable because it is tied to that phase. It then proposes that the absolute value of the anomalous density can be inferred from measurements of sound velocity and condensed fraction, and gives a numerical prediction for a uniform rubidium gas.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Renormalization of the divergent anomalous-density integral is not fixed by a physical condition, and Eqs. (50) and (67) give opposite low-T signs for sigma, so the extraction formula Eq. (63) is not uniquely defined.","rationale":"The reader correctly identified the renormalization-scheme dependence of the anomalous density as the weakest assumption. The present pass sharpens this into an explicit internal inconsistency: the self-consistent solution Eq. (50) yields a negative sigma for xi^2 = 1, while the counterterm evaluation Eq. (67) yields a positive sigma0. Since Eq. (63) is algebraically derived from Delta = g(rho0 + sigma), the sign of sigma determines the sign in the extraction formula. Without a physical condition fixing the counterterm, the paper's central observable, |sigma|, is not unique. The phase-invariance argument in Sec. 4 is internally coherent and the HPW-plus-stability constraint xi^2 = +/-1 is a reasonable extension of Watabe's relation, so those parts may survive. The numerical comparison with Ref. [14] is plausible but would also benefit from error bars and raw data. The verdict remains conditional: the extraction recipe and the low-temperature sign of sigma must be reconciled and fixed by a physical renormalization condition before the paper's central claim can be accepted.","tokens_in":13544,"tokens_out":16578,"duration_ms":152999,"concrete_test":"Fix xi^2 = 1 and recompute the T=0 solution with a second finite renormalization of the sigma0 integral, for example subtracting 1/epsilon_k plus a finite counterterm chosen so the integral is convergent, then solve Eqs. (60)-(62) for Delta and compare |sigma| from Eq. (63). If Delta or |sigma| changes beyond roundoff, the extraction is scheme-dependent. Independently, substitute the positive sigma0 from Eq. (67) into Delta = g(rho0 + sigma) and test whether Delta/(g*rho) equals n0 + (Delta*m)^{3/2}/(pi^2*rho); failure of this identity is direct evidence that Eq. (63) has the wrong sign for the paper's own low-temperature result.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The main claim, that |sigma| can be extracted uniquely from n0 and s via Eq. (63), is not established because the finite anomalous density depends on the renormalization of the divergent integral in Eqs. (66)-(67). Eq. (67) subtracts 1/epsilon_k from 1/E_k; the coefficient of 1/epsilon_k is fixed by divergence cancellation, but the finite part of the counterterm is not fixed by any physical condition, and a different finite subtraction changes sigma0 by a term of order (m*Delta)^{3/2}. This matters directly for the central formula: Eq. (50) gives sigma = -xi^2 * sigma_bar with sigma_bar > 0 for xi^2 = 1, whereas Eq. (67) gives sigma0 = (Delta*m)^{3/2}/pi^2 > 0. These two signs are mutually inconsistent. If sigma is negative, Delta = g(rho0 + sigma) implies |sigma|/rho = n0 - Delta/(g*rho), which is Eq. (63); if sigma is positive, the same relation gives |sigma|/rho = Delta/(g*rho) - n0. The paper therefore contains two mutually incompatible sign conventions, and the claimed unique extraction of |sigma| from measured n0 and s is contingent on an implicit renormalization choice.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a Hartree-Fock-Bogoliubov theory for a homogeneous dilute Bose gas with an arbitrary condensate phase. It argues that the Hugenholtz-Pines-Watabe relation plus stability forces the condensate phase to satisfy ξ² = ±1, that the sign of the anomalous density σ is tied to this phase and is therefore not observable, but that |σ| can be extracted from measurements of the sound velocity s and the condensate fraction n0 through the relation |σ|/ρ = n0 - ms²/(gρ). Numerical predictions for |σ| are presented for a uniform 87Rb gas, and the paper also discusses a nonmonotonic temperature dependence of σ.","tokens_in":13805,"tokens_out":18000,"duration_ms":150915,"significance":"If correct, the paper would resolve a long-standing question about the anomal density in Bose-Einstein condensates and provide a practical route to its experimental determination. The phase-invariance argument and the constraint ξ² = ±1 are interesting and potentially useful for the HFB formalism. However, the central quantitative claim—that |σ| can be uniquely extracted from n0 and s—is undermined by an internal sign inconsistency and by a renormalization-scheme dependence in the evaluation of the zero-temperature anomalous density. The paper does include a self-contained derivation with no fitted parameters, which is a strength, but the numerical predictions for |σ| are not robust as presented.","major_comments":[{"comment":"The extraction formula Eq. (63), m1 = n0 - Δ/(gρ), is derived under the assumption that σ is negative, so that Δ = g(ρ0 - |σ|). However, Eq. (67) and Eq. (A.4) give the zero-temperature anomalous density as positive: σ0 = (mΔ)^{3/2}/π² > 0. For the positive branch, the relation between Δ, n0, and |σ| would instead be |σ|/ρ = Δ/(gρ) - n0. These two branches give different predictions (for example, at T=0 and small γ, the negative branch yields a negative right-hand side for Eq. (63) while the positive branch gives |σ|/ρ ≈ n1). The paper does not specify for which temperatures Eq. (63) applies, and it is presented as a general strategy for estimating |σ|. This sign inconsistency directly affects the central measurement claim.","section":"Sec. 5, Eqs. (66)-(67); Appendix A, Eq. (A.4)"},{"comment":"The regularization of the divergent momentum integral in the zero-temperature anomalous density is not fixed by a physical condition. The subtraction of 1/ε_k removes the leading divergence, but any finite modification of the counterterm (e.g., adding a term that does not reintroduce a UV divergence but changes the finite part) changes σ0 by an amount of order (mΔ)^{3/2}. Since the only energy scale in the problem is Δ, any regularization scheme that respects the symmetries will produce a finite part of this order, but the coefficient is scheme-dependent unless a physical renormalization condition is imposed. The paper labels the procedure as dimensional regularization and obtains σ0 = (mΔ)^{3/2}/π², but no argument is given for why this particular finite part is the physical one. Because the predicted |σ| and the relation between Δ, n0, and |σ| depend on this choice, the central claim of a unique extraction is not established.","section":"Sec. 5, Eqs. (66)-(67)"},{"comment":"The paper presents predictions for |σ| and states that these can be extracted from future measurements. However, the numerical results in Fig. 1(b) and Fig. 3 are obtained by solving the full coupled HFB equations, while the proposed extraction formula Eq. (63) is a different relation. The paper does not demonstrate that the values obtained from solving the equations coincide with those that an experimenter would obtain from Eq. (63) using the same n0 and s. Given the sign issue in the previous comment, consistency between the two routes is not automatic and should be checked explicitly.","section":"Sec. 5, Figs. 1 and 3"}],"minor_comments":[{"comment":"The abstract states that \"the sign of σ directly related to the phase, and, hence is not observable.\" This is plausible, but the phrase \"not observable\" should be qualified: it is the sign relative to the condensate phase that is not observable; the absolute value is claimed to be observable, yet the paper later shows that the magnitude itself depends on the renormalization scheme. The wording should be tightened to avoid overstatement.","section":"Abstract"},{"comment":"The definition of the Green function D_{ij} in Eq. (17) uses ω_n in the off-diagonal entries, but the conventional Matsubara Green function has a different sign convention. The authors should verify that this convention is consistent with the subsequent derivation of the dispersion relation.","section":"Sec. 2"},{"comment":"The expression for the total energy per volume in Eq. (46) contains dimensionally inhomogeneous-looking terms (e.g., g(σ² + ρ0²)/2 vs. gρ1ρ0). While these may follow from the preceding definitions, the manuscript would benefit from an explicit statement of units and a check of dimensional consistency.","section":"Sec. 3"},{"comment":"The caption of Fig. 1(a) says \"Experimental points are taken from fitting experimental data in [14]\", which is unclear. If the points are from the published data, this should be stated as such; if they are from a fit, the fitting procedure should be described.","section":"Fig. 1"},{"comment":"Reference [27] is listed as \"V. I. Yukalov and H. KLeinert\"; the correct spelling is \"Kleinert\". Also, reference [36] is from the \"Brazilian Journal of Physics\" and the author list is incomplete; please verify the citation details.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a relevant and interesting question, but the central claim of a unique experimental extraction of |σ| is not supported by the current analysis. The internal sign inconsistency between Eq. (63) and Eq. (67) is a clear error that needs to be resolved, and the renormalization-scheme dependence of the finite anomalous density must be fixed by a physical condition (e.g., matching the zero-temperature chemical potential or the Lee-Huang-Yang energy) and shown to be scheme-independent. If the authors can provide a consistent renormalization prescription and correct the extraction formula accordingly, the paper could make a valuable contribution. The referee recommends major revision rather than rejection because the derivation of the phase constraint and the phase-invariance argument appear sound and the issues are localized to the regularization and the extraction formula."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know: this paper makes a real conceptual point about the phase dependence of the anomalous density, but the measurement proposal at its center is not consistently derived.\n\nWhat's new: the derivation of the phase constraint ξ² = ±1 from the Hugenholtz-Pines-Watabe relation plus stability is clean, and the proof that HFB thermodynamic quantities are invariant under ξ² → −ξ² while σ changes sign is a solid contribution. The idea that the sign of σ is phase-driven and therefore unobservable, while |σ| is tied to measurable quantities, is worth taking seriously. The numerical solution of the coupled HFB equations reproduces the condensed-fraction curve from the box-trap experiment without fitted parameters, which is a legitimate benchmark.\n\nThe problem is the sign of σ. In Sec. 4.1 the ξ² = 1 branch has σ = −σ̄ with σ̄ > 0, so Eq. (63) follows: |σ|/ρ = n₀ − ms²/(gρ). But in Sec. 5, Eq. (67), the regularized zero-temperature value is σ₀ = (Δm)^{3/2}/π² > 0. The divergence subtraction 1/εₖ is not fixed by a physical renormalization condition; changing its finite part changes both sign and magnitude of σ by terms of order (mΔ)^{3/2}. So the two branches are mutually inconsistent, and the extraction formula is contingent on an arbitrary scheme choice. This is not a minor typo: it directly affects the central claim that |σ| can be read off from sound velocity and condensed fraction. If σ is positive, the same thermodynamic relation gives m₁ = ms²/(gρ) − n₀, the opposite combination. The paper needs to fix the renormalization condition and show the sign is consistent.\n\nMinor issue: the experimental comparison in Fig. 1 lacks error bars and raw points, and the paper provides no code or data. That is tolerable for a theory note, but it weakens the comparison.\n\nWho this is for: people working on HFB and the Hohenberg-Martin dilemma, and to a lesser extent experimentalists looking for a quantity to measure in box traps. The conceptual part deserves a serious referee; the extraction formula needs major revision before it can be used. I would send it to review, but I would not cite the extraction formula until the sign issue is resolved.","headline":"Interesting HFB phase argument, but the extraction formula for |σ| is undercut by a sign inconsistency in the regularization of the divergent anomalous-density integral.","tokens_in":14315,"tokens_out":8990,"would_cite":false,"duration_ms":76802,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["67.85.-d","67.40.Mj","67.57.Bc"],"model":"deepseek-v4-flash","headline":"The sign of the anomalous density in a dilute Bose gas is an unobservable phase convention, while its absolute value can be extracted from sound-velocity and condensed-fraction measurements.","keywords":["anomalous density","Bose-Einstein condensation","Hartree-Fock-Bogoliubov theory","Hugenholtz-Pines relation","sound velocity","condensed fraction","uniform box potential","Bogoliubov transformation"],"falsifier":"Measure the sound velocity and condensed fraction of a single uniform-box $^{87}$Rb condensate over a range of temperatures, insert them into $m_1 = n_0 - ms^2/(g\\rho)$, and compare with the paper's predicted curve for $|\\sigma|$; a systematic mismatch, or a dependence of the result on which regularization is used to compute $\\sigma_0$, would refute the central claim.","tokens_in":13318,"feed_emoji":"🧊","tokens_out":11035,"duration_ms":93295,"temperature":0.7,"pith_summary":"This paper argues that the anomalous density $\\sigma$ in a dilute Bose-Einstein condensate is a phase-dependent object whose sign is not observable. In a conserving Hartree-Fock-Bogoliubov theory that keeps the condensate phase arbitrary, the anomalous density satisfies $\\sigma=-\\xi^2\\bar{\\sigma}$, so its sign simply records whether the discrete condensate phase satisfies $\\xi^2=+1$ or $\\xi^2=-1$; the phase is constrained to these two values by the extended Hugenholtz-Pines relation plus spectrum stability. What is physical is the modulus $|\\sigma|$, which the paper shows is linked to two measurable quantities, the sound velocity and the condensed fraction. The result turns a long-puzzling many-body quantity into a concrete experimental target, and the paper provides numerical predictions for $|\\sigma|$ in a uniform-box $^{87}$Rb condensate.","feed_headline":"Anomalous density's sign is unobservable; its size is measurable","feed_subtitle":"The modulus of the anomalous density follows from sound velocity and condensed fraction, making the prediction testable in uniform-box BECs.","key_machinery":"The central objects are the anomalous density $\\sigma$ (the density of binary correlated, non-condensed pairs) and the condensate phase $\\xi=e^{i\\theta}$. The argument is carried by three pieces: a two-chemical-potential Hartree-Fock-Bogoliubov scheme that keeps the spectrum gapless while remaining self-consistent; the phase-generalized Hugenholtz-Pines relation $\\Sigma_n(0,0)-\\bar{\\xi}^2\\Sigma_{an}(0,0)=\\mu_1$, which together with stability forces $\\xi^4=1$; and the identity $\\sigma=-\\xi^2\\bar{\\sigma}$ with the extraction formula $|\\sigma|/\\rho=n_0-ms^2/(g\\rho)$, which converts measurements of sound velocity $s$ and condensed fraction $n_0$ into a value for the anomalous density.","core_discovery":"The authors establish that the phase of the condensate wave function in a homogeneous dilute Bose gas is not arbitrary after all in this theory: combining the phase-generalized Hugenholtz-Pines relation with the demand that a stable equilibrium have positive, real self-energies forces $\\xi^4=1$, i.e. $\\xi^2=\\pm1$. With this constraint the anomalous density is completely determined by the phase through $\\sigma=-\\xi^2\\bar{\\sigma}$, where $\\bar{\\sigma}\\ge 0$ is built from momentum integrals over the bogolon dispersion, so its sign is a gauge-degree-of-freedom artifact. The magnitude, however, is tied to the gap parameter $\\Delta=ms^2$ via $\\Delta=g(\\rho_0+\\sigma)$, giving the extraction formula $|\\sigma|/\\rho = n_0 - ms^2/(g\\rho)$. Solving the coupled equations numerically for $^{87}$Rb in a uniform box, the paper reproduces measured condensate-fraction data and predicts that $|\\sigma|$ rises with temperature, peaks near $t\\approx 0.7$, and vanishes at $T_c$.","pith_inferences":["If the extracted $|\\sigma|$ from Eq. (63) is ever compared with a direct measurement of pair correlations, the scheme-dependence noted in the paper for $\\sigma_0$ would make the theory falsifiable in a sharper way than the authors spell out.","The discrete-phase constraint $\\xi^4=1$ suggests a four-fold phase degeneracy for a homogeneous BEC; an experiment that appears to resolve the condensate phase would actually be probing a non-observable convention, much as the paper argues for interference experiments.","The same two-chemical-potential Hartree-Fock-Bogoliubov machinery can be applied to quantum magnets, where the condensate phase is tied to the magnetization direction; there the constraint could select only certain magnetic phases, which the paper mentions but does not pursue.","A natural extension would be to derive the regularization condition for $\\sigma_0$ from a physical requirement, such as matching the zero-temperature Bogoliubov sound velocity, which would remove the main scheme ambiguity in the predicted $|\\sigma|$."],"forward_implications":["The sign of the anomalous density is not a physical observable; whether $\\sigma$ appears positive or negative at low temperature is a phase convention, not a fact about the system.","The absolute value $|\\sigma|$ can be obtained from measurements of the sound velocity and condensed fraction in a uniform-box condensate using the paper's formula.","For dilute $^{87}$Rb in a uniform box, $|\\sigma|$ is predicted to grow with temperature, peak around $t\\approx 0.7$, and fall to zero at $T_c$, while the condensed fraction and sound velocity remain monotonic.","The Hartree-Fock-Popov approximation, which neglects $\\sigma$, is adequate for small gas parameter $\\gamma$ but becomes unjustified for $\\gamma \\gtrsim 10^{-2}$.","The theory reproduces available condensate-fraction data for $^{87}$Rb in a uniform box without fitted parameters."],"supporting_citations":[{"why":"Supplies the original Hugenholtz-Pines gapless condition that the paper generalizes to arbitrary condensate phase.","marker":"[16]"},{"why":"Supplies the phase-generalized Hugenholtz-Pines relation from which the constraint $\\xi^4=1$ is derived.","marker":"[17]"},{"why":"Provides the two-chemical-potential HFB framework used to keep the spectrum gapless while preserving self-consistency.","marker":"[19]"},{"why":"Provides the uniform-box $^{87}$Rb condensate-fraction data used to validate the theory and anchor the predictions.","marker":"[14]"},{"why":"Contextualizes homogeneous Bose gases in a uniform box, the experimental setting for the proposed $|\\sigma|$ measurement.","marker":"[15]"}],"fun_headline_variants":["Anomalous density sign is a gauge illusion; magnitude is real","Sign of Bose gas anomalous density unobservable, size measurable","Bose gas anomaly: sign arbitrary, magnitude tied to sound speed","BEC anomaly: phase fixes sign, modulus extracted from data"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The predicted value and low-temperature sign of $\\sigma$ depend on the regularization chosen for the divergent zero-temperature momentum integral, and the paper does not show that this choice is fixed by a physical condition.","fun_headline_variants_meta":{"raw":{"variants":["Anomalous density sign is a gauge illusion; magnitude is real","Sign of Bose gas anomalous density unobservable, size measurable","Bose gas anomaly: sign arbitrary, magnitude tied to sound speed","BEC anomaly: phase fixes sign, modulus extracted from data"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000287,"raw_usage":{"total_tokens":1653,"prompt_tokens":878,"completion_tokens":775,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":714}},"tokens_in":494,"tokens_out":775,"duration_ms":6882,"temperature":1.0,"reasoning_tokens":714,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:54:57.249543+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the sound velocity and condensed fraction of a single uniform-box $^{87}$Rb condensate over a range of temperatures, insert them into $m_1 = n_0 - ms^2/(g\\rho)$, and compare with the paper's predicted curve for $|\\sigma|$; a systematic mismatch, or a dependence of the result on which regularization is used to compute $\\sigma_0$, would refute the central claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original Hugenholtz-Pines gapless condition that the paper generalizes to arbitrary condensate phase."},{"cited_title":"Watabe, Acta Phys","cited_arxiv_id":null,"evidence_quote":"Supplies the phase-generalized Hugenholtz-Pines relation from which the constraint $\\xi^4=1$ is derived."},{"cited_title":"Yukalov, Ann","cited_arxiv_id":null,"evidence_quote":"Provides the two-chemical-potential HFB framework used to keep the spectrum gapless while preserving self-consistency."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the uniform-box $^{87}$Rb condensate-fraction data used to validate the theory and anchor the predictions."}],"review_version":1}