{"id":"21eba422-325a-4050-a345-ccc9b53d002c","arxiv_id":"2509.21667","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A charged scalar condensate is quantum-stable to all perturbative orders when it is described by the interacting vacuum of fluctuations, a non-Gaussian dressed coherent state that is an eigenstate of H minus mu Q.","lead":"This paper constructs the precise quantum state that describes a charged relativistic superfluid and argues that, unlike neutral condensates, it keeps its coherence indefinitely at every order of perturbation theory. The result matters because it identifies which quantum corrections are needed to make such condensates stable, with implications for dark matter superfluidity and semiclassical cosmology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"All-orders stationarity rests on unproven convergence of the Gell-Mann-Low limit in the presence of the gapless Goldstone mode; the recursive argument in §2.4 does not control the infrared behavior of the time integrals.","rationale":"The Pith Reader identified the existence and normalizability of the interacting vacuum of H' as the weakest assumption, specifically noting infrared difficulties associated with the gapless Goldstone mode. My reading agrees: the proof of property (i) in §2.4 relies on the vanishing of the lower-limit terms in the time integrals and on a recursive argument for the time-independence of the interaction coefficients, but neither is rigorously established in the massless limit. The concern is load-bearing because the paper's central result — that correlators are stationary to all orders — is a direct consequence of |v> being an eigenstate of H - μQ; if the Gell-Mann-Low state fails to exist or the loop expansion is IR divergent, that inference breaks down. I do not see an internal inconsistency in the one- and two-loop checks, and the perturbative framework is a plausible route to the claimed result. The appropriate response is therefore to require a sharper treatment of the IR regulator and the adiabatic limit before accepting the all-orders statement, which is precisely the conditional status assigned by the Reader. No change of verdict is needed.","tokens_in":37951,"tokens_out":16554,"duration_ms":156654,"concrete_test":"Introduce an infrared regulator for the phonon, e.g. a small explicit U(1)-breaking mass m_g added to H' or a finite volume L with k_min ~ 1/L, and recompute the two-loop correction to the equal-time correlator ⟨h^2⟩ entering Eq. (39) using the expansion (58). Then take m_g→0 or L→∞ before removing the UV cutoff, and check whether the lower-limit boundary contribution in Eq. (86) remains finite and time-independent. If a time-dependent term proportional to sin(ω_-(k_min) t) with ω_-(k_min)→0 survives, property (i) fails and the all-orders stability claim is not supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the state |v> defined in Eq. (57) as U(t*,-∞^-)|0_h,π> is an eigenstate of H' = H - μQ, so that Eq. (20) and the time-independence of equal-time correlators follow. This requires the Gell-Mann-Low construction to converge and the recursive proof of property (i) in §2.4 to be well defined at every loop order. The proof assumes that the lower-limit contributions in time integrals such as Eq. (86) vanish after the iϵ rotation, and that the coefficients in the interaction Hamiltonian (48), which depend on equal-time correlators, are time-independent at each order by recursion. Neither step is demonstrated when the phonon is gapless: for the Goldstone mode ω_-(k) = c_s k, the damping factor e^{-iω(t_z-t)} becomes unity as k→0, so the boundary contributions are suppressed only if the momentum integrals are infrared finite at every order. The paper checks one-loop gaplessness in §5 but leaves a q^{-2} remainder in Eq. (121) and does not analyze higher-order IR behavior or the normalizability of |v> in the infinite-volume Hilbert space. Since the entire stability conclusion follows from |v> being an eigenstate of H - μQ, a failure of the adiabatic limit or an IR-divergent loop order would invalidate property (i) and hence Eqs. (20), (57), and (68). This is a genuine soft spot, though it leaves the one- and two-loop computations intact.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the quantum dynamics of a homogeneous relativistic superfluid in a complex scalar field theory with quartic self-interactions. It claims that, unlike zero-charge condensates, U(1)-charged superfluids preserve their internal coherence to all orders in perturbation theory. The central construction identifies the stable superfluid state |v> with the interacting vacuum of the fluctuation Hamiltonian H' = H - μQ, equivalently defined by the Gell-Mann-Low expression U(t*,-∞^-)|0_{h,π}>. The authors argue that this state satisfies (H - μQ)|v> = 0, so its time evolution is a pure U(1) rotation; consequently all equal-time correlators of the original field are stationary up to overall phases. They verify the one-loop renormalized chemical potential (Eq. (83)), check the stationarity conditions (39) and (40) through two-loop order, show that a Gaussian squeezed coherent state fails at two loops (Section 4.3), and demonstrate one-loop gaplessness of the phonon by showing cancellation of the anomalous-average contribution against cubic correlators (Section 5).","tokens_in":38190,"tokens_out":2428,"duration_ms":24258,"significance":"If the all-orders claim is correct, the result is significant: it provides a concrete example where a non-trivial, non-eigenstate quantum configuration is stable against quantum depletion, extending the quantum-break-time programme of Dvali and collaborators and clarifying the role of U(1) charge conservation. The paper contains several explicit, detailed computations: the one-loop chemical potential, the two-loop cancellation check, the Gaussian counterexample, and the one-loop gaplessness calculation. These checks are non-trivial and go substantially beyond the previous literature. The paper also gives a worthwhile conceptual discussion of the state as a Spontaneous Symmetry Probing state and as the vacuum of H - μQ. However, the central all-orders stability assertion rests on a recursive perturbative argument whose convergence and infrared behaviour are not established; this limits the strength of the conclusion that can be drawn from the verified low-order computations.","major_comments":[{"comment":"The all-orders proof of property (i) assumes that the Gell-Mann-Low adiabatic limit defining |v> = U(t*,-∞^-)|0_{h,π}> converges and that the lower-limit boundary terms in time integrals vanish after the iϵ rotation. For the gapless phonon mode ω_-(k) = c_s k, the damping factor e^{-iω(t_z - t)} becomes unity as k→0, so the suppression of the boundary term is controlled only by the infrared behaviour of the momentum integrals. The manuscript does not analyze this infrared behaviour at arbitrary loop order; the recursive argument in Section 2.4 merely assumes that the correlators at lower orders are time-independent, which is the statement being proven. Since the entire stability conclusion follows from |v> being an eigenstate of H - μQ, an IR divergence or failure of the adiabatic construction at any loop order would invalidate Eqs. (20), (57), and (68). This is a load-bearing gap in the central claim.","section":"§5.5, Eq. (121)"},{"comment":"The one-loop gaplessness check leaves an explicit q^{-2} remainder term in the phonon correlator (Eq. (121)), and the authors state that 'the exact derivation of this contribution is left for future work'. This term is not a gap, since a mass gap would appear as q^{-3}, but the text does not show that it is harmless for the spectrum beyond the leading order. Given that the gaplessness of the Goldstone mode is used in Section 2.3 to justify the convergence of the boundary terms in the all-orders stability proof, this uncomputed term represents an unresolved infrared-sensitive contribution at the one-loop level.","section":"§2.4"},{"comment":"The proof of property (i) invokes the time-independence of the coefficients of the interaction Hamiltonian (48) by recursion. However, those coefficients depend on the very equal-time correlators that property (i) is meant to establish, and the manuscript explicitly acknowledges this potential tautology. The recursive argument is only sketched and does not address the existence or normalizability of the state |v> in the infinite-volume Hilbert space. This is not a fatal flaw of the low-order computations, but it means that the paper's headline claim of stability 'to all orders in perturbation theory' is not rigorously established. A more precise statement of the inductive hypothesis and a treatment of the infrared sector, even at the level of a power-counting argument, would be needed to support the all-orders conclusion.","section":"§4.3"}],"minor_comments":[{"comment":"In Eq. (83), the expression for μ^2_{1-loop} has an unbalanced parenthesis and the displayed formula appears to be missing the closing bracket for the factor multiplying v^2. Please check the typesetting.","section":"§2.5"},{"comment":"The phrase 'the textreme' in Appendix B (in the sentence about contributions evaluated at t_z = t') appears to be a typo for 'the extreme'. Also, the spelling 'M/oller' on page 9 should be 'Møller'.","section":"Appendix B"},{"comment":"The Jacobi elliptic function parametrization in Eq. (25) is introduced without a reference or definition of the argument convention; adding a brief explanation or citation would improve readability.","section":"§2.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is likely to be of interest to the hep-th/quantum-field-theory readership, particularly those working on coherent states and quantum stability of condensates. The main concern is the gap between the explicit low-order checks and the all-orders claim; the authors should either soften the claim to 'all orders in a perturbative expansion with an infrared-regularized prescription' or provide a more careful treatment of the adiabatic limit and infrared behaviour. The reference list is somewhat dominated by work of the same group, but the relevant literature on coherent states and quantum break time is covered. I would not recommend rejection, as the low-order computations and the conceptual framework are valuable, but the manuscript needs substantial revision to make the central claim precise."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's main result—that the homogeneous U(1) superfluid is perturbatively stable to all orders—is real, but it is closer to a definitional consequence than the abstract suggests. The state is defined as the interacting vacuum of H – μQ, so its stationarity follows once you grant that the Gell-Mann-Low construction converges and the recursive argument in Section 2.4 goes through. That convergence is the soft spot: the lower-limit damping relies on the iϵ rotation, which is fine for modes with fixed nonzero frequency, but the gapless phonon leaves the boundary contributions controlled only if the momentum integrals are infrared finite at every loop order. The paper checks one loop, but the all-orders claim rests on an unproven assumption about higher-loop IR behavior and on the normalizability of the state in infinite volume. This is a genuine gap, though not one that invalidates the explicit computations.\n\nWhat is genuinely new and good: the identification of the stable state as the interacting vacuum of fluctuations, the demonstration that this state is non-Gaussian and distinct from the Gaussian squeezed coherent state, and the two-loop counterexample showing the Gaussian choice is unstable. The one-loop chemical potential is computed explicitly and renormalized with vacuum counterterms, and the cancellation of the anomalous average via cubic correlators—restoring phonon gaplessness at one loop—is a solid, concrete result. The paper is careful and self-contained, and the citation pattern is fine: prior work by the same group and by others is cited appropriately.\n\nThe circularity burden is real but not fatal. Defining the state as the vacuum of H – μQ makes the time-independence of equal-time correlators almost tautological. What saves the paper is the work put into showing that such a state exists perturbatively, that it differs from the naive coherent state, and that the consistency conditions (39) and (40) are satisfied at leading nontrivial order. The q^{-2} remainder in Eq. (121) is left for future work, but the gaplessness argument only requires the absence of q^{-3} terms, so that is a minor loose end.\n\nWho should read this: anyone working on coherent states, quantum break times, or superfluid dark matter. The two-loop Gaussian instability and the one-loop gap cancellation are the parts most likely to be cited. It deserves a serious referee; the referee should press on the IR convergence of the all-orders proof and on the infinite-volume normalizability of the state. I would not desk-reject this.","headline":"The central stability claim is real but partly built into the definition; the paper's value is the explicit non-Gaussian state and the Gaussian counterexample, with a genuine open question about infrared behavior in the all-orders proof.","tokens_in":38804,"tokens_out":5344,"would_cite":true,"duration_ms":53353,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A U(1)-charged superfluid condensate remains coherent to all orders in perturbation theory.","keywords":["relativistic superfluids","coherent states","spontaneous symmetry breaking","background field method","quantum stability","Goldstone theorem","U(1) charge","non-Gaussian states"],"falsifier":"Compute the two-loop equal-time correlation function <v|$h^{3}$|v>, or equivalently the one-point function of Phi, using the explicit state |v> and check for residual time dependence; any nonzero contour-boundary contribution at order $lambda^{2}$ would invalidate stationarity. Alternatively, evolve the full Heisenberg equations numerically on a lattice in 3+1 dimensions with initial correlators fixed by |v> and look for a decaying amplitude or growing occupation of nonzero momentum modes; or measure the equal-time phonon spectrum at q=0 and see whether a pole appears at nonzero frequency once the cubic diagrams are included.","tokens_in":37663,"feed_emoji":"","tokens_out":6956,"duration_ms":62208,"temperature":0.7,"pith_summary":"This paper asks whether a homogeneous superfluid made of a complex scalar field can survive quantum-mechanical time evolution. Unlike a condensate of a real scalar, whose constituents scatter into nonzero momentum and deplete the background, the U(1)-charged condensate studied here has protected dynamics: charge conservation blocks the number-changing channels. The authors construct the explicit quantum state for the superfluid and claim that, when defined as the interacting vacuum of the fluctuation Hamiltonian, it is stationary to all orders in perturbation theory, with every equal-time correlation function time-independent up to an overall phase. They stress that a naive coherent or squeezed state fails: specific non-Gaussian corrections are needed for stability. If correct, this removes a standard obstacle to treating dense charged scalar backgrounds, such as superfluid dark matter models, as stable semiclassical configurations.","feed_headline":"Charged superfluids keep their coherence to all orders","feed_subtitle":"A U(1)-charged condensate stays stable if its quantum state is the dressed interacting vacuum, not a plain coherent state.","key_machinery":"The load-bearing object is the U(1)-rotated Hamiltonian $H' = H - \\mu Q$, obtained by removing the background phase with a time-dependent canonical transformation. Its ground state, the interacting vacuum of the fluctuation fields, is the superfluid state $|v\\rangle$. The machinery has three parts: (i) the free vacuum of the diagonalized quadratic fluctuation Hamiltonian supplies the ladder basis and the wavefunction coefficients; (ii) the interaction-picture evolution operator $U(t_*,-\\infty^-)$ dresses this vacuum with the non-Gaussian corrections required for a finite energy density and for stationarity; (iii) the recursion in the background field method, in which the interaction couplings depend only on lower-order correlators, ensures that equal-time correlation functions stay time-independent order by order. The companion symmetry statement identifies $|v\\rangle$ as a spontaneous-symmetry-probing state, which is why its time evolution reduces to a rotation along the U(1) direction.","core_discovery":"The central claim is that the state $|v\\rangle$ defined as the interacting vacuum of the fluctuation Hamiltonian, $|v\\rangle = U(t_*,-\\infty^-)|0_{h,\\pi}\\rangle$, is an eigenstate of $H-\\mu Q$ with eigenvalue $E_\\mu$, so $e^{-iHt}|v\\rangle = e^{-iE_\\mu t} e^{-i\\mu t Q}|v\\rangle$. Because $Q$ acts as a phase rotation, every equal-time correlation function of the original field $\\Phi$ evolves only by the overall U(1) phase, matching the classical background $\\Phi = \\frac{v}{\\sqrt{2}} e^{i\\mu t}$; hence coherence is preserved and the configuration tracks classical evolution indefinitely. The proof combines the background field method with a recursively defined interacting vacuum: the chemical potential $\\mu$ is fixed by the stationarity condition, tadpoles are absorbed, and correlators odd in the imaginary fluctuation vanish by a $\\mathbb{Z}_2$-times-time-reversal symmetry. The paper also verifies explicitly that the two-loop stationarity conditions hold and that the one-loop phonon remains gapless once cubic correlation functions cancel the anomalous average. The same counterterms that renormalize the empty theory suffice for the superfluid.","pith_inferences":["Editorial extension: the same mechanism should protect superfluid backgrounds in any U(1)-invariant scalar theory with a stable fluctuation spectrum, including shift-symmetric single-Goldstone effective actions where the background is $\\pi=\\mu t$.","Editorial extension: for superfluid dark matter models that rely on a charged complex scalar, this result removes the depletion constraint on the parameter space, so stability alone does not bound the self-interaction strength.","Editorial extension: a lattice simulation initialized with the interacting-vacuum correlators, instead of free or Gaussian correlators, should show no depletion of the one-point function, providing a concrete numerical test of the all-orders claim.","Editorial extension: because the proof uses an infinite-volume adiabatic construction, finite systems or systems with boundaries could exhibit instability on timescales controlled by inverse volume or boundary effects; this limitation is not addressed by the paper."],"forward_implications":["The homogeneous U(1) superfluid background is stable to all orders in perturbation theory: no quantum break time exists for this state, and all equal-time correlators track the classical solution.","A naive coherent or squeezed coherent state is not enough: without the non-Gaussian dressing, the two-loop dynamics transfers charge from the condensate to fluctuations and the one-point function departs from the classical profile.","The quantum chemical potential is renormalized by the same counterterms as the vacuum theory, so the superfluid introduces no new ultraviolet divergences.","The Goldstone phonon remains gapless at one loop once the cubic correlation functions are included; the apparent gap of the Hartree approximation cancels.","This stability is specific to a conserved U(1) with a single charged species: adding another charged field with number-changing couplings to the condensate would reintroduce quantum depletion."],"supporting_citations":[{"why":"Supplies the background field method for coherent states, including the initial-time singularity resolution and the recursive tadpole-absorbing scheme used throughout.","marker":"[17]"},{"why":"Establishes the perturbative construction of coherent states and the necessity of non-Gaussian dressing, the key ingredient for the stable superfluid state.","marker":"[19]"},{"why":"Defines spontaneous-symmetry-probing states, the characterization of |v> as an eigenstate of H - mu Q.","marker":"[29]"},{"why":"Provides the diagonalization of the kinetic mixing and the ladder expansion for the fluctuation fields, yielding the free vacuum |0_{h,pi}> and the wavefunction coefficients.","marker":"[33–35]"},{"why":"Supplies the standard interacting-vacuum projection U(t*,-infty^-)|0> used to define |v>.","marker":"[40]"},{"why":"Provides the one-loop chemical potential and the vanishing-amplitude limit that the paper's renormalization discussion builds on.","marker":"[44]"},{"why":"Documents the Hartree-approximation gap problem for superfluid phonons that the paper resolves by including cubic correlation functions.","marker":"[52,53]"},{"why":"Numerical studies of a complex scalar field initialized with the free vacuum, which exhibit the two-loop depletion that the dressed interacting vacuum avoids.","marker":"[46,47]"}],"fun_headline_variants":["Charged superfluid coherence survives all orders","Dressed vacuum stabilizes charged superfluid","Non-Gaussian corrections lock superfluid coherence","Relativistic superfluid stable beyond coherent states","Phonons stay gapless in charged superfluid"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that the self-consistent interacting vacuum of the fluctuation Hamiltonian exists as a normalizable state in the infinite-volume Hilbert space, and that the adiabatic construction U(t*,-infty^-)|0> converges; if the gapless Goldstone mode produces infrared obstructions, the all-orders stability conclusion does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Charged superfluid coherence survives all orders","Dressed vacuum stabilizes charged superfluid","Non-Gaussian corrections lock superfluid coherence","Relativistic superfluid stable beyond coherent states","Phonons stay gapless in charged superfluid"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000341,"raw_usage":{"total_tokens":1910,"prompt_tokens":1007,"completion_tokens":903,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":623,"completion_tokens_details":{"reasoning_tokens":833}},"tokens_in":623,"tokens_out":903,"duration_ms":8221,"temperature":1.0,"reasoning_tokens":833,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:46:03.779370+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two-loop equal-time correlation function <v|$h^{3}$|v>, or equivalently the one-point function of Phi, using the explicit state |v> and check for residual time dependence; any nonzero contour-boundary contribution at order $lambda^{2}$ would invalidate stationarity. Alternatively, evolve the full Heisenberg equations numerically on a lattice in 3+1 dimensions with initial correlators fixed by |v> and look for a decaying amplitude or growing occupation of nonzero momentum modes; or measure the equal-time phonon spectrum at q=0 and see whether a pole appears at nonzero frequency once the cubic diagrams are included.","supporting_citations":[],"review_version":1}