{"id":"020612ae-58ff-458e-a103-8e2fbea7a397","arxiv_id":"1908.06977","paper_version":3,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Superfluid hydrodynamics is reformulated as the hydrodynamic theory of an anomalous higher-form symmetry, whose anomaly alone guarantees the Goldstone boson.","lead":"This paper recasts superfluid physics as the hydrodynamics of a system with a higher-form conserved charge: the winding planes of the superfluid phase. It shows that an anomaly in this higher-form symmetry is enough to force the existence of the massless Goldstone boson, offering a new way to classify phase transitions.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the current-algebra proof in Section 1.1 is self-consistent, and the only caveat (gapped vortices) is adequately protected.","rationale":"The reader's verdict (ACCEPT) is justified. I independently checked the main current-algebra argument and found it internally consistent. The key point is that the anomalous Ward identity (1.8) is a statement about the two-point function, not just background expectation values; functionally differentiating (1.5) with respect to A produces the contact term that fixes the 1/p^2 pole. I also verified that no analytic term can be added to the transverse function f(p^2): if f=a/p^2+h(p^2), the anomalous curl identity gives p^2 h(p^2)=0, hence h=0. The signed nature of ρ_KJ does not undermine the KL argument, since absence of spectral support above zero would make the correlator analytic off p^2=0, contradicting the 1/p^2 form. The only caveat is the emergent character of the higher-form symmetry; the paper's gapped-vortex argument is standard and adequate. The hydrodynamic sections are applications and match known results; their deferred first-order terms are not load-bearing. Hence no change to the verdict.","tokens_in":19407,"tokens_out":30540,"duration_ms":345788,"concrete_test":"Independently re-derive Eq. (1.8) by functionally differentiating the anomalous conservation law ∂_[μ(⋆K)_ν]=−aF_{μν} with respect to the background source A, keeping all contact terms, and verify that the coefficient of the p_[αg^{μ]ν} term is exactly −a for all p^2; if a scheme-dependent analytic term can be added to f(p^2) without violating (1.8), the proof would need modification, but the identity should rule it out.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the derivation in Section 1.1: given the anomalous Ward identities (1.5), Lorentz invariance plus the conservation of J fixes the mixed correlator to Π^{μν}=a(p^μp^ν−p^2g^{μν})/p^2 (1.9), whose Källén–Lehmann representation [Eq. (1.10)] then forces a δ(μ^2) spectral weight. I checked the two Ward identities: p_νΠ^{μν}=0 gives f+g=0, and the anomalous curl identity p_[αΠ^{μ]ν}=−a p_[αg^{μ]ν} gives f(p^2)=a/p^2 with no regular ambiguity, because any analytic correction h(p^2) would satisfy p^2 h(p^2)=0. The inverse Stieltjes argument is valid even for the signed spectral density ρ_KJ: if the spectral support were at μ^2>0, the correlator would have a branch cut along p^2>0, whereas a/p^2 has no such cut, so ρ_KJ must be aδ(μ^2). No hidden assumption beyond locality, Lorentz invariance, and the stated anomaly structure is needed. The only caveat is that U(1)^{(d−2)} is emergent; the paper addresses this by noting that vortex corrections are non-singular as p^2→0 because vortices are gapped (Section 1.1, after Eq. (1.9)). That is physically standard in the superfluid phase and sufficient to protect the pole. I therefore find no load-bearing flaw in the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that the existence of a massless Goldstone boson in a relativistic QFT with a U(1) × U(1)^(d−2) symmetry and mixed anomaly (1.5) follows directly from the anomalous Ward identities, without assuming an order parameter. Using Lorentz invariance and the conservation of the 0-form current, the mixed correlator is fixed to the pole form (1.9); comparison with the Källén–Lehmann representation forces a δ-function spectral weight. The authors then recast superfluid hydrodynamics as the hydrodynamics of this anomalous higher-form symmetry, deriving zeroth- and first-order constitutive relations for relativistic 0-form superfluids and constructing the analogous 1-form superfluid (low-energy QED) theory. They emphasize that the formulation generalizes the Landau paradigm to BKT-type transitions and that the Josephson relation is replaced by the higher-form current constitutive relation.","tokens_in":156,"tokens_out":7236,"duration_ms":442345,"significance":"The central conceptual claim is significant: if the proof in Section 1.1 is correct, it provides an alternative to the usual spontaneous-symmetry-breaking characterization of gapless phases, with the anomaly as the more fundamental ingredient. The hydrodynamic constructions are a useful reformulation and are checked against existing results [32,33,34,37], with the transport coefficient count and anomalous transport terms matching. Among the strengths: the derivation of the pole from the two Ward identities is clean and self-contained; the anomaly coefficient is fixed by flux quantization and not fitted; the finite-temperature current-decoupling calculation in Section 1.3 independently supports the two-vector hydrodynamic description. The paper is likely to be of interest to both formal high-energy and condensed-matter audiences.","major_comments":[],"minor_comments":[{"comment":"Equation (4.22) contains a typo: the expression for ρ× should read ρ×=(µ̃⊥ρ̃∥−µ̃∥ρ̃⊥)/µ as in Eq. (4.18); the current text is missing a tilde on ρ∥ and the parentheses around the numerator.","section":"4.1, Eq. (4.22)"},{"comment":"The step from the correlator form (1.9) to the delta-function spectral weight (1.12) implicitly assumes that the Källén–Lehmann spectral density is a (possibly signed) measure; stating this explicitly would make the argument fully rigorous.","section":"1.1, Eqs. (1.9)–(1.12)"},{"comment":"The statement 'This completely agrees with [33]' would be easier to verify if the authors pointed to the corresponding equation or table in Ref. [33].","section":"3.2, after Eq. (3.29)"},{"comment":"The thermodynamic relations and the subsequent expressions for ρ× would be clearer if the parentheses were displayed consistently and if the stray double comma after the first expression in Eq. (4.21) were removed.","section":"4.1, Eqs. (4.15)–(4.22)"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main thing you should know: this paper has a clean, load-bearing result and it holds up. The claim is that a relativistic QFT with U(1) × U(1)^(d−2) and the mixed anomaly (1.5) must contain a massless state, even without an order parameter. The derivation in Section 1.1 is a textbook-quality current-algebra argument: Lorentz invariance fixes the correlator to two tensor structures, the two Ward identities fix them completely, and the Källén–Lehmann representation forces a delta-function spectral weight. I checked the logic; there's no hidden step. The signed spectral density subtlety is handled correctly. This is genuinely new as a proof of Goldstone's theorem from anomaly data alone, and it's general enough to include BKT.\n\nWhat the paper does well beyond that: it builds the hydrodynamics of the anomalous higher-form symmetry at zeroth and first order for the 0-form superfluid, and shows the entropy-current construction fixes the anomaly terms at zeroth order, which is a nice simplification relative to Son–Surowka. The results map onto Bhattacharya–Bhattacharyya–Minwalla and Armas–Jain; those are nontrivial consistency checks. The 1-loop calculation in Section 1.3 showing that the two currents decouple at finite temperature is a useful piece of EFT work, though it's compressed.\n\nSoft spots, in proportion. The biggest conceptual caveat is stated by the authors themselves: the U(1)^(d−2) is emergent, and the pole is protected only if vortices are gapped. That's the standard superfluid-phase assumption, and they flag it, but they don't quantify how corrections from finite vortex density or proximity to the BKT transition could soften the pole. For the central proof as a statement about a QFT with exact anomalous symmetry, it's fine; for the claim about real superfluids, it's an assumption to keep in mind. Minor: the 1-form superfluid hydrodynamics is only zeroth order; first-order corrections are deferred to [37]. Minor: Section 1.3's thermal calculation could use a few more intermediate steps, though the result looks right.\n\nCitation pattern: solid. They cite the relevant generalized-symmetry and superfluid-hydrodynamics literature, and the self-citations are to their own prior work on WZ terms and photonization, which is appropriate. No red flags.\n\nWho should read this: anyone working on generalized symmetries, superfluid EFT, or higher-form hydrodynamics. It's a theory paper with an exact result, a clean construction, and explicit matches to previous work. It deserves a serious referee, and I'd expect it to pass with minor revisions. I'd take it to the reading group and would cite it if I work in that area.","headline":"A clean anomaly-based proof of Goldstone's theorem plus a solid hydrodynamic reformulation; the central claim holds up and the paper deserves serious peer review.","tokens_in":20240,"tokens_out":2417,"would_cite":true,"duration_ms":22362,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A mixed higher-form anomaly, not an order parameter, is what forces the Goldstone boson in a superfluid.","keywords":["higher-form symmetries","mixed anomalies","superfluid hydrodynamics","Goldstone boson","Josephson relation","BKT transition","winding planes","emergent symmetry"],"falsifier":"Compute the spectral function of the mixed correlator $\\langle (\\star K)_\\mu J_\\nu \\rangle$ in a system that obeys the anomalous Ward identities with $a\\neq 0$, for example a compact $U(1)$ lattice model in its superfluid phase. The claim predicts a delta-function at zero mass with residue fixed by $a$; observing no such massless singularity while the anomalous Ward identity still holds would falsify the argument. In a finite-volume simulation, the lowest state coupled to both currents should scale to zero mass with the anomaly coefficient; a gap that does not vanish would contradict the claim.","tokens_in":19196,"feed_emoji":"❄️","tokens_out":14394,"duration_ms":137044,"temperature":0.7,"pith_summary":"Superfluidity is usually defined by spontaneous breaking of a U(1) symmetry and an order parameter. This paper argues that the essential data is instead a mixed anomaly between that U(1) and an emergent higher-form symmetry whose charge counts the winding planes of the superfluid phase. The anomaly completely fixes a mixed current correlator to have a $p^{-2}$ pole, which by the spectral representation of a two-point function means a strictly massless state---the Goldstone boson---exists, with no need to assume any operator acquires a vacuum value. The same anomaly then supplies the zeroth-order structure of superfluid hydrodynamics, replacing the Josephson relation with a constitutive relation for the higher-form current. If correct, this extends the traditional phase-classification logic to BKT transitions---the quasi-long-range-order transitions of two-dimensional superfluids---and recasts known dissipative superfluid and low-energy QED hydrodynamics in one uniform framework.","feed_headline":"A mixed higher-form anomaly forces a massless Goldstone boson","feed_subtitle":"The anomaly fixes the Goldstone pole and makes the Josephson relation a constitutive relation of higher-form charge.","key_machinery":"The central object is the emergent $(d-2)$-form symmetry carried by the one-form current $(\\star K)_\\mu$, the Hodge dual of the superfluid phase gradient; its charged objects are the winding planes of the phase. The engine of the argument is the mixed anomaly $\\mathrm{d}\\star K = -a F$ between this higher-form symmetry and the ordinary $U(1)$ current. In the correlator proof, the machinery is the pair of Ward identities plus the spectral representation of a time-ordered two-point function, which converts the fixed pole in $\\Pi^{\\mu\\nu}(p)$ into a delta-function spectral-density component. In the hydrodynamic construction, the same anomaly enters at zeroth order in derivatives through the entropy-current condition, fixing the anomalous terms in the constitutive relations in the same way the equilibrium-response argument fixes the cross-coupling coefficient.","core_discovery":"The paper's core claim is that a relativistic quantum field theory with $U(1) \\times U(1)^{(d-2)}$ symmetry and the mixed anomaly $\\partial_{[\\mu}(\\star K)_{\\nu]} = -a F_{\\mu\\nu}$ necessarily contains a massless Goldstone boson. Lorentz invariance constrains the mixed correlator to $\\Pi^{\\mu\\nu}(p) = f(p^2)p^\\mu p^\\nu + g(p^2)p^2 g^{\\mu\\nu}$; the two Ward identities force $f+g=0$ and $g=-a/p^2$, so $\\Pi^{\\mu\\nu}(p) = a(p^\\mu p^\\nu - p^2 g^{\\mu\\nu})/p^2$. Its spectral density therefore has a delta-function piece at zero mass, $\\rho_{KJ}(\\mu^2) = a\\,\\delta(\\mu^2)+\\cdots$, proving a massless state that both currents create. The paper stresses that this is weaker and more general than spontaneous symmetry breaking, because no order parameter or charged condensate is assumed; vortices breaking the emergent higher-form symmetry give only non-singular corrections since they are gapped. The same anomaly fixes zeroth-order terms in the hydrodynamic constitutive relations---$\\sigma = a\\tilde{\\mu}$, $\\tilde{\\sigma} = a\\mu$, and the tension $\\tau = \\tilde{\\mu}\\tilde{\\rho}$---and the resulting first-order theory reproduces the known 14 transport coefficients of dissipative superfluid hydrodynamics, while the analogous 1-form construction yields low-energy QED as a 1-form superfluid.","pith_inferences":["Extending the paper's logic, the same anomaly should protect the massless mode in any realization---relativistic or not---so non-relativistic and lattice models that realize the mixed anomaly are candidate order-parameter-free superfluids.","The anomaly-inflow form $S_{\\rm bulk}=a\\int B\\wedge F$ suggests a bulk-boundary design: a gapped system in one higher dimension with that term should host a massless boundary mode, offering a concrete diagnostic for topological or synthetic materials.","If the generalized-symmetry classification is exhaustive, other transitions now called non-Landau in two-dimensional systems should become ordinary Landau transitions once all higher-form and discrete symmetries are catalogued; testing this on known lattice models is a concrete next step."],"forward_implications":["Masslessness in abelian broken phases can be proven from the anomalous Ward identity alone, so the result covers cases where no order parameter exists, including BKT transitions in $d=2$.","Superfluid hydrodynamics becomes the hydrodynamic theory of an anomalous higher-form symmetry: the Josephson relation is a constitutive relation, putting charge, momentum, and winding-plane conservation on equal footing.","The mixed anomaly fixes terms at zeroth order in derivatives, so entropy-current conservation determines anomaly-induced transport coefficients and the tension of the winding planes.","The 1-form generalization gives the hydrodynamic theory of low-energy QED, with the massless photon as the anomaly-protected Goldstone mode.","At first order the construction reproduces the known 14 transport coefficients of dissipative superfluid hydrodynamics, now derived without assuming how the symmetry is realized."],"supporting_citations":[{"why":"Supplies the current-algebra route to Goldstone's theorem that the anomaly-based proof adapts, and the effective-field-theory framework.","marker":"[1]"},{"why":"Defines higher-form global symmetries and their charged objects, the language used for the emergent winding-plane symmetry.","marker":"[3]"},{"why":"The textbook superfluid hydrodynamics whose Josephson relation is recast as a higher-form constitutive relation.","marker":"[6]"},{"why":"Establishes how anomalies enter hydrodynamic constitutive relations, the method extended here to zeroth order.","marker":"[9]"},{"why":"Provides the equilibrium-response argument fixing the anomaly coefficient in the zeroth-order constitutive relations.","marker":"[28]"},{"why":"Gives the Josephson-relation and vortex-relaxation treatment of incoherent superconductors that the higher-form picture reproduces.","marker":"[29]"},{"why":"The established dissipative superfluid hydrodynamic theory to which the constructed first-order theory is matched.","marker":"[33]"},{"why":"The prior construction of 1-form superfluid and magnetohydrodynamic theory used as comparison for the 1-form generalization.","marker":"[37]"},{"why":"The converse statement used here: in $d=2p+2$ a conformal $U(1)^{(p)}$ theory must have the anomalous higher-form partner.","marker":"[24]"}],"fun_headline_variants":["Anomaly alone forces Goldstone boson in superfluids","Higher-form anomaly guarantees massless mode","Superfluid Goldstone from mixed anomaly, no order needed","Massless Goldstone emerges from anomaly, not symmetry breaking","Anomaly fixes superfluid transport and Goldstone pole"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the higher-form symmetry really exists as an emergent low-energy symmetry, with vortex excitations gapped; if vortices were gapless, corrections to the anomalous Ward identity could be singular as $p^2\\to 0$, and the massless pole would not be forced.","fun_headline_variants_meta":{"raw":{"variants":["Anomaly alone forces Goldstone boson in superfluids","Higher-form anomaly guarantees massless mode","Superfluid Goldstone from mixed anomaly, no order needed","Massless Goldstone emerges from anomaly, not symmetry breaking","Anomaly fixes superfluid transport and Goldstone pole"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000458,"raw_usage":{"total_tokens":2327,"prompt_tokens":1007,"completion_tokens":1320,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":623,"completion_tokens_details":{"reasoning_tokens":1242}},"tokens_in":623,"tokens_out":1320,"duration_ms":10437,"temperature":1.0,"reasoning_tokens":1242,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:29:37.179010+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the spectral function of the mixed correlator $\\langle (\\star K)_\\mu J_\\nu \\rangle$ in a system that obeys the anomalous Ward identities with $a\\neq 0$, for example a compact $U(1)$ lattice model in its superfluid phase. The claim predicts a delta-function at zero mass with residue fixed by $a$; observing no such massless singularity while the anomalous Ward identity still holds would falsify the argument. In a finite-volume simulation, the lowest state coupled to both currents should scale to zero mass with the anomaly coefficient; a gap that does not vanish would contradict the claim.","supporting_citations":[{"cited_title":"Weinberg, The quantum theory of fields","cited_arxiv_id":null,"evidence_quote":"Supplies the current-algebra route to Goldstone's theorem that the anomaly-based proof adapts, and the effective-field-theory framework."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The textbook superfluid hydrodynamics whose Josephson relation is recast as a higher-form constitutive relation."},{"cited_title":"Luttinger, Theory of thermal transport coefficients, Physical Review 135, A1505, 1964","cited_arxiv_id":null,"evidence_quote":"Provides the equilibrium-response argument fixing the anomaly coefficient in the zeroth-order constitutive relations."},{"cited_title":"Hydrodynamic theory of quantum fluctuating superconductivity","cited_arxiv_id":"1602.08171","evidence_quote":"Gives the Josephson-relation and vortex-relaxation treatment of incoherent superconductors that the higher-form picture reproduces."}],"review_version":1}