{"id":"53d07c45-5dff-435e-a0a2-f286444d2816","arxiv_id":"2608.09776","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"A Schwinger-Keldysh effective field theory for type-B Goldstones is constructed via near-diagonal geometry and a transgression Berry term, with dissipative spectra for the ferromagnet and an SU(2)×U(1) sigma model.","lead":"This paper builds a finite-temperature Schwinger-Keldysh effective field theory for type-B Goldstone modes, using geometry: one field is a point on the coset manifold and the other a tangent arrow. The Berry term is generated by a transgression of the Berry curvature, and dissipative spectra are computed for a ferromagnet and a kaon-condensation model.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The exact DKMS proof hinges on Eq. (B.10), which requires the endpoint variation vectors Y± to preserve the Berry curvature; for generic thermal shifts this condition is false, leaving the central DKMS-compatibility claim unproven.","rationale":"The reader's conditional verdict is the right overall assessment, but the stress-test sharpens the weakest spot. The reader identified Eq. (B.10) and Eq. (B.16) as unestablished assumptions; the sharper point is that Eq. (B.10) is generically false, because exactness of iota_Y Omega forces L_Y Omega=0, and the endpoint variation vectors need not be symplectic. This is an internal inconsistency in the proof, not merely a disagreement with an external consensus. The independent support in the paper is real: the ferromagnet transgression is evaluated in closed form (4.10), the operator classification is concrete, and the dissipative dispersion relations match known results in [27]. Those parts do not depend on the exact DKMS theorem, so the framework retains value even if the theorem must be restricted or re-proven. The concrete test above settles the issue by checking B.10 on an explicit allowed configuration; the expectation is that the check fails, which would require the central DKMS claim to be weakened to a restricted class of thermal shifts or to leading order only. Because the reader already assigned CONDITIONAL, the verdict remains UNCHANGED: accept only after the Appendix B proof is corrected or the claim is appropriately restricted.","tokens_in":1106,"tokens_out":1055,"duration_ms":148711,"concrete_test":"Compute Eq. (B.10) explicitly in the ferromagnet model on S^2 with Omega = M sin theta dtheta wedge dphi. Choose a local coordinate patch around theta=pi/4 and a Goldstone trajectory with D_t pi_r = partial_theta throughout the patch; set the a-field xi=0. At alpha=0 the endpoint vectors are Y± = ±partial_theta/2, and d(iota_{partial_theta}Omega) = M cos theta dtheta wedge dphi ≠ 0 in the patch. Since Eq. (B.10) would require this exterior derivative to vanish for h± to exist, no such h± exists and the Appendix B proof fails for an allowed configuration. To make the test fully decisive, repeat the calculation with nonzero xi and general K_beta using Y± = (d exp)_{±(xi+alpha K_beta)/2}(K_beta/2); if d(iota_{Y±}Omega) is nonzero for any allowed field configuration, the universal DKMS-invariance claim is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires the exact Berry transgression (3.44) to be DKMS invariant up to a boundary term. Appendix B breaks at Eq. (B.10): the equality iota_{Y±} Omega = dh± on a local patch U implies, with dOmega=0, that the Lie derivative L_{Y±}Omega vanishes on U, so Y± must be local symplectic vector fields. But Y± are alpha-derivatives of the endpoint geodesics q± = exp_{pi_r}(±(xi+alpha K_beta)/2), i.e. exponential-map push-forwards of one half of the thermal shift K_beta. For a generic Goldstone configuration, K_beta = beta D_t pi_r + nu^I k_I has no reason to preserve Omega. In the ferromagnet example, choose D_t pi_r = partial_theta throughout a coordinate patch and xi=0; then Y± = ±partial_theta/2 at alpha=0 and L_{partial_theta}(M sin theta dtheta wedge dphi) = M cos theta dtheta wedge dphi ≠ 0, so no local h± can exist. The leading-order argument used only the weaker conditions Omega(beta D_t pi_r, D_t pi_r)=0 and iota_{k_I}Omega = d mu_I; Eq. (B.10) silently demands much more. The analytic continuation to alpha=i in Eq. (B.16) is an additional unproven step, since B_ex(alpha) need not extend analytically to complex alpha for a generic coset manifold. The paper's Section 5 limitation about classical DKMS is real, but it is not the only gap: the exact proof itself relies on a condition that fails for generic allowed field configurations.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper constructs a Schwinger-Keldysh effective field theory for type-B Goldstone modes using a geometric description in which the r-type Goldstone field is a point on the coset manifold G/H and the a-type field is a tangent vector at that point. The central object is the Berry term, built as an exact transgression of the Berry curvature, Eq. (3.44), rather than from a coordinate-dependent Berry connection. The authors show that the leading Berry term reproduces the standard symplectic coupling, that higher-order terms are fixed by the Berry curvature without new Wilsonian coefficients, and they propose a classification of conservative, dissipative, and noise sectors using globally invariant tensors. They then apply the formalism to a ferromagnet and to a dissipative SU(2)xU(1) linear sigma model, deriving quadratic effective actions, dispersion relations, and two-point correlators. A central advertised result is that the exact Berry transgression is compatible with the dynamical KMS condition up to a boundary term, proved in Appendix B under the local exactness condition (B.10) and an analytic continuation to α=i.","tokens_in":1699,"tokens_out":1957,"duration_ms":67445,"significance":"If the construction is correct, it offers a clean and largely parameter-free geometric route to the Berry sector of SK effective theories for type-B Goldstone modes: the leading kinetic term, the nonlinear interactions, and their compatibility with thermal equilibrium are all controlled by the Berry curvature. The paper also provides a useful framework for organizing dissipative and noise terms through invariant tensors on the coset manifold, and the two worked examples give concrete, checkable predictions for dispersion relations and fluctuation-dissipation relations. The quadratic effective actions and correlators appear internally consistent, and I find no circularity: the Berry curvature is input data, while dispersions and correlators are derived consequences. The main weakness is that the advertised proof of DKMS invariance for the exact transgression rests on assumptions that are not established for generic allowed field configurations, which is load-bearing because the abstract and Section 5 present this compatibility as a central result.","major_comments":[{"comment":"The DKMS proof for the exact transgression is not valid for generic field configurations because the assumption iota_{Y±}Omega|_U = dh± is much stronger than the conditions used in the leading-order argument. Since dOmega=0, the displayed equality implies L_{Y±}Omega = d iota_{Y±}Omega = 0 on U, so Y± must be local symplectic vector fields. For the ferromagnet example of Section 4.1, take a local patch with D_t pi_r = partial_theta and xi=0; then at alpha=0, Y± = ±(beta/2) partial_theta, and L_{partial_theta}(M sin theta dtheta and dphi) = M cos theta dtheta and dphi is not zero. Hence no local h± exists for this allowed configuration, and Eq. (B.17) is not established. The central claim that the exact Berry transgression is DKMS compatible therefore needs either a proof under hypotheses that are actually satisfied by the configurations treated in the paper, or a restriction of the claim to those configurations.","section":"Appendix B, Eq. (B.10)"},{"comment":"The analytic continuation from real alpha to alpha=i is unjustified. The interpolation field Pi_alpha(s,x) = exp_{pi_r(x)}(s(xi+alpha K_beta)) is defined through the real exponential map on the coset manifold, and for a generic coset manifold and generic pi_r this expression has no canonical extension to complex alpha. The integrand defining B_ex(alpha) is an integral of geometric quantities whose analyticity in alpha is not established, so the sentence in the text that the right-hand side is analytic in the near-diagonal region does not suffice. Since Eq. (B.17) requires evaluation at alpha=i, an independent justification or a different argument is needed.","section":"Appendix B, Eq. (B.16)"},{"comment":"The leading-order DKMS invariance argument also relies on the local exactness condition iota_{k_I}Omega = d mu_I, whose global obstruction is the de Rham cohomology H^1(M). The paper acknowledges that this holds only locally, but it does not state whether this condition is an assumption of the theorem or a consequence of the coset geometry, nor does it identify which of the examples satisfy it globally. Because this condition is load-bearing for the claim that the Berry term is DKMS invariant, the precise hypotheses of the result should be stated explicitly before Eq. (3.68) and used in the formulation of the main claim.","section":"Section 3.4 and Eq. (3.66)"},{"comment":"The authors explicitly restrict the analysis to the classical limit of DKMS, as stated in Section 5 and in the closing comments of Section 3.3. This is a legitimate limitation, but the abstract and Section 3.4 present the DKMS compatibility of the exact transgression without this qualification. Since the exact transgression is an all-orders object in the a-type field and is meant to appear in a finite-temperature SK action, the abstract should state that the DKMS compatibility is established only in the classical DKMS limit and under the additional assumptions identified above.","section":"Section 5 and Abstract"}],"minor_comments":[{"comment":"There is an empty citation for example just before Eq. (4.39); please fill in the missing reference.","section":"Section 4.2, near Eq. (4.39)"},{"comment":"The quantity b_alpha is introduced as the integrand of the alpha-integral, but it is not defined as a function on spacetime with an explicit derivative structure; please state its domain and regularity assumptions.","section":"Appendix B, Eq. (B.13)"},{"comment":"The index symmetrization notation in the definition of Z^{ell m}_{AB} is hard to parse; please spell out the conventions explicitly or use a less compressed notation.","section":"Section 3.5, Eq. (3.87)"},{"comment":"The cubic term involving the Riemann tensor in Eq. (3.56) depends on the sign convention stated in Eq. (3.50); please add a one-line comment identifying this convention when the term is first displayed.","section":"Section 3.4, Eq. (3.56)"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a substantial and mostly clean construction, and the quadratic examples appear physically sensible. The obstacle is the exact DKMS proof: Eq. (B.10) and the alpha=i continuation are not justified and, as written, the condition fails for allowed ferromagnet configurations. This is not a reason to reject if the authors can either prove a weaker endpoint condition or reformulate the theorem with explicitly stated, satisfied hypotheses. If the DKMS claim is removed or qualified, the remaining geometric framework and examples are still valuable and would be publishable after revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the near-diagonal geometry: the r-field as a point on the coset manifold and the a-field as the tangent vector at that point. That is a clean way to complete the Keldysh rotation nonlinearly, and the transgression construction of the Berry term is a real improvement over the naive doubled Berry potential. It produces covariant higher-order vertices without new Wilsonian coefficients, which is useful and non-obvious. The two examples are worked carefully, the dispersion relations and two-point correlators are correct, and the comparison with known results is honest.\n\nThe soft spot is the central DKMS claim. Appendix B shows the exact transgression is a total derivative only if Eq. (B.10) holds: ι_{Y±}Ω = dh± on a local patch, which forces Y± to be symplectic vector fields locally. The stress-test example is convincing: for a ferromagnet with D_t π_r = ∂_θ and ξ=0, Y± = ±∂_θ/2, and L_{∂_θ}(M sinθ dθ∧dφ) ≠ 0. So Eq. (B.10) fails for generic allowed configurations. The analytic continuation in α to α=i is another unjustified step. The authors do state limitations—classical DKMS, no non-Gaussian sectors—but the exact proof gap is separate and more serious: the claim is not merely unproven for generic cosets, it is false in a simple uniform configuration.\n\nThere are also minor mechanical issues: an empty citation in Section 4.2 (around Eq. (4.39)) and a transformation-law coefficient that looks off in Eq. (3.13). These are easily fixed and do not affect the main construction.\n\nWho is this for? Anyone working on non-equilibrium EFTs of spontaneously broken symmetries, especially type-B Goldstones in condensed matter or dense QCD. The framework and examples are worth having even if the DKMS proof needs repair or the claim is weakened to classical leading order. I would send it to a serious referee: the geometric construction is solid enough to warrant the referee time, and the DKMS issue is exactly the kind of thing an expert should probe. If the authors can either prove Eq. (B.10) under physically stated conditions or soften the claim, the paper would be a solid publication.","headline":"Near-diagonal geometry and the transgression Berry term are a genuine contribution, but the exact DKMS claim rests on a condition that generically fails, so the paper is not as clean as it presents itself.","tokens_in":34801,"tokens_out":1894,"would_cite":true,"duration_ms":20043,"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":"The paper constructs a Schwinger-Keldysh effective field theory for type-B Goldstone modes in which the Berry term is an exact transgression of the Berry curvature and is compatible with dynamical KMS symmetry at finite temperature.","keywords":["Schwinger-Keldysh formalism","type-B Goldstone modes","Berry curvature","transgression","dynamical KMS condition","coset manifold","dissipative effective field theory","ferromagnetic magnon"],"falsifier":"A direct calculation of the DKMS variation (Eq. B.8) for a coset manifold with nonzero first de Rham cohomology, or with a time-dependent thermal twist, would settle the claim: if no local $h_\\pm$ exists making $\\iota_{Y_\\pm}\\Omega = dh_\\pm$, the exact transgression is not invariant up to a boundary term.","tokens_in":33712,"feed_emoji":"🧲","tokens_out":12933,"duration_ms":98589,"temperature":0.7,"pith_summary":"Type-B Goldstone modes—like the ferromagnetic magnon—arise when two broken symmetry directions pair into one excitation, and their low-energy dynamics is governed by a Berry/symplectic term rather than an ordinary kinetic term. This paper tries to extend that structure to finite temperature by building a Schwinger-Keldysh effective field theory in which the physical Goldstone field is a point on the coset manifold and the Keldysh 'a-type' field is a tangent vector at that point. The central move is to write the Berry term as an exact transgression of the Berry curvature, integrated over a strip connecting the two time contours, so no coordinate-dependent Berry connection is ever needed. The paper also argues that this exact Berry transgression satisfies the dynamical KMS condition up to a boundary term, and that all higher-order nonlinear Berry couplings are fixed by the curvature with no new Wilsonian coefficients. If correct, this gives a systematic, global-geometric way to combine dissipation and noise with Berry-phase dynamics in spontaneously broken phases.","feed_headline":"One integral fixes the Berry term for thermal Goldstone modes","feed_subtitle":"For paired Goldstone modes, the Berry term is built from global curvature and survives thermal equilibrium.","key_machinery":"The load-bearing object is the exact Berry transgression $I_B^{\\mathrm{SK}} = \\int dt\\,d^d x \\int_{-1/2}^{1/2} ds\\, \\Omega_{AB}(\\Pi)\\,\\partial_s\\Pi^A\\,\\partial_t\\Pi^B$: a one-form action built from the gauge-independent Berry curvature two-form $\\Omega$ by integrating over an auxiliary interpolation parameter $s$ along the geodesic strip $\\Pi(s)=\\exp_{\\pi_r}(s\\pi_a)$. This single construction replaces the gauge-dependent Berry potential, fixes the leading symplectic coupling $\\Omega_{AB}\\pi_a^A\\partial_t\\pi_r^B$, and determines all higher-order near-diagonal vertices without new Wilsonian coefficients; the Jacobi equation for $\\partial_t\\Pi$ supplies the covariant expansion in powers of $\\pi_a$. Around this core, the globally invariant symmetric tensors $g$ and $G = -gJ^2$ organize the conservative, dissipative, and noise sectors, and the dynamical KMS condition is imposed as the operator-level relation $N = D_{\\mathrm{sym}}$.","core_discovery":"The paper's central claim is that the Schwinger-Keldysh effective action for type-B Goldstone modes is organized by a near-diagonal geometry: the r-type field $\\pi_r$ is a point in the coset manifold $M=G/H$, and the a-type field $\\pi_a$ is a tangent vector in $T_{\\pi_r}M$. The Berry term is the exact transgression $I_B^{\\mathrm{SK}} = \\int dt\\,d^d x \\int_{-1/2}^{1/2} ds\\, \\Omega_{AB}(\\Pi)\\,\\partial_s \\Pi^A\\,\\partial_t \\Pi^B$, where $\\Pi(s)=\\exp_{\\pi_r}(s\\pi_a)$ interpolates between the two contour branches. This object is globally defined and gauge-independent; expanded near the diagonal it gives the leading coupling $\\Omega_{AB}(\\pi_r)\\pi_a^A\\,\\partial_t\\pi_r^B$ plus cubic terms built from covariant derivatives and curvature, all with coefficients fixed by $\\Omega$. The paper further claims that the exact transgression is invariant under the dynamical KMS transformation up to a boundary term, relying on the local exactness condition $\\iota_{Y_\\pm}\\Omega = dh_\\pm$ and analytic continuation in the interpolation parameter. The conservative, dissipative, and noise sectors are then classified by the globally invariant tensors $g$ and $G = -gJ^2$; in the examples, the ferromagnet has a quadratic magnon with $\\propto k^4$ attenuation, and the dissipative $SU(2)\\times U(1)$ $\\sigma$ model keeps the type-B mode propagating while the type-A mode becomes purely diffusive.","pith_inferences":["The paper leaves implicit that the tangent-bundle reading of the Keldysh rotation should apply to any nonlinearly realized symmetry, so the same transgression construction may extend to type-B sectors in spatially broken phases or open quantum systems whose coset carries a symplectic structure.","Because the DKMS proof relies on the local exactness $\\iota_{Y_\\pm}\\Omega = dh_\\pm$, a direct test is to study coset manifolds with nontrivial first de Rham cohomology, where the Berry transgression may acquire an obstruction that reshapes the fluctuation-dissipation structure.","The restriction to Gaussian noise suggests a concrete extension: imposing the full quantum DKMS transformation on the transgression would fix or forbid non-Gaussian Berry vertices, a step the authors explicitly leave open.","Since $G = -gJ^2$ is proportional to $g$ exactly when $J$ is an almost complex structure, in Kähler-type cosets the dissipative/noise basis collapses to one tensor, whereas in other geometries the extra tensor yields potentially observable anisotropy in damping rates."],"forward_implications":["The leading Berry coupling in any type-B SK action is fixed to $\\Omega_{AB}(\\pi_r)\\pi_a^A\\,\\partial_t\\pi_r^B$, with all nonlinear near-diagonal vertices determined by covariant derivatives and curvature of $\\Omega$.","The Berry sector does not mix directly with the dissipative and noise sectors under DKMS and does not generate entropy production; it affects correlation functions only through the retarded kernel.","For the ferromagnet, the framework reproduces the quadratic magnon dispersion and predicts an attenuation $\\propto k^4$ in the spin-conserving case, consistent with model-J scaling.","In the dissipative $SU(2)\\times U(1)$ linear sigma model, the type-B Goldstone mode remains propagating with a $k^2$ dispersion and finite lifetime, while the type-A mode is purely diffusive, $\\omega_A = -i k^2/\\gamma_1$.","The classical DKMS constraints reduce to a local operator-level fluctuation-dissipation relation $N = D_{\\mathrm{sym}}$, so noise and dissipation are controlled by the same invariant geometric tensors."],"supporting_citations":[{"why":"Supplies the bottom-up Schwinger-Keldysh effective field theory framework and its unitarity/positivity constraints.","marker":"[35]"},{"why":"Introduces the dynamical KMS symmetry in the classical limit whose invariance the Berry transgression must pass.","marker":"[36]"},{"why":"Gives the operator-based derivation of DKMS with thermal twist used to define the KMS-shifted a-type field.","marker":"[38]"},{"why":"Completes the HLR thermal equivariant construction that fixes the transformation laws used in the DKMS check.","marker":"[39]"},{"why":"Establishes the effective Lagrangian for nonrelativistic Goldstone systems where the Berry/symplectic term is the leading type-B structure.","marker":"[12]"},{"why":"Provides the SK coset construction and thermal symmetry-breaking pattern G_diag/H_diag that the near-diagonal geometry builds on.","marker":"[69]"},{"why":"Analyzes dissipative Goldstone modes and gives the dispersion results that the ferromagnet and sigma-model examples reproduce.","marker":"[27]"},{"why":"Supplies the transgression method used to construct the exact Berry term from the curvature.","marker":"[73]"},{"why":"Provides the geometry/topology background, including S^3 as a U(1) bundle over S^2, used in the examples.","marker":"[74]"},{"why":"Supplies the Wess-Zumino analogy for promoting a globally defined curvature to an action by adding an interpolation dimension.","marker":"[23]"}],"fun_headline_variants":["One integral fixes the Berry term for thermal Goldstone modes","Berry term from near-diagonal geometry for thermal Goldstones","Exact Berry transgression survives KMS in thermal EFT","Thermal type-B Goldstones: Berry term from global curvature"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claim fails if the Appendix B assumptions—the local exactness condition $\\iota_{Y_\\pm}\\Omega = dh_\\pm$ and the analytic continuation of the interpolation integral to $\\alpha=i$—do not hold for a generic coset manifold or field configuration, because then the exact Berry transgression would not be DKMS invariant and could not appear in a finite-temperature Schwinger-Keldysh action; the paper also restricts to the classical DKMS limit and stationary thermal twist.","fun_headline_variants_meta":{"raw":{"variants":["One integral fixes the Berry term for thermal Goldstone modes","Berry term from near-diagonal geometry for thermal Goldstones","Exact Berry transgression survives KMS in thermal EFT","Thermal type-B Goldstones: Berry term from global curvature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000804,"raw_usage":{"total_tokens":3580,"prompt_tokens":1043,"completion_tokens":2537,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":659,"completion_tokens_details":{"reasoning_tokens":2468}},"tokens_in":659,"tokens_out":2537,"duration_ms":16290,"temperature":1.0,"reasoning_tokens":2468,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:00:49.593393+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct calculation of the DKMS variation (Eq. B.8) for a coset manifold with nonzero first de Rham cohomology, or with a time-dependent thermal twist, would settle the claim: if no local $h_\\pm$ exists making $\\iota_{Y_\\pm}\\Omega = dh_\\pm$, the exact transgression is not invariant up to a boundary term.","supporting_citations":[{"cited_title":"Witten,Global aspects of current algebra,Nucl","cited_arxiv_id":null,"evidence_quote":"Supplies the Wess-Zumino analogy for promoting a globally defined curvature to an action by adding an interpolation dimension."}],"review_version":1}