REVIEW 3 major objections 4 minor 5 cited by
Open effective field theories that break advanced symmetries are consistent only when they deform the equations of motion; the first explicit deformed identity for gravity is constructed.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
2026-08-04 16:28 UTC pith:5IS632EU
load-bearing objection The explicit ΓR gravity identity is a genuine new result worth citing; the paper's broader consistency claim is not yet established. the 3 major comments →
Emergent structures in open EFTs
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is that consistent open gravitational EFTs exist only when the dissipative correction to Einstein's equations satisfies a deformed Bianchi-type identity. For the simplest covariant term built from the metric and curvature, Δ_μν = Γ R g_μν, the divergence of the full Einstein tensor E_μν = G_μν + Δ_μν is not zero but equals a gradient of its trace: ∇_μ E^μ_ν = Γ/(4Γ-1) (E_{αβ} g^{αβ})_{,ν}. This identity is equivalent to invariance of the dynamical part of the action under an advanced deformed diffeomorphism, δg^a_{μν} = -2∇_{(μ}ξ_{ν)} + g_{μν} Γ/(4Γ-1) ∇_α ξ^α, which reduces to the standard diffeomorphism when Γ=0. Together with the corresponding noise constraints, the
What carries the argument
The key object is the deformed identity among the equations of motion—a deformed Bianchi-type relation that replaces ordinary diffeomorphism invariance. For Einstein gravity, it takes the closed form ∇_μ E^μ_ν = Γ/(4Γ-1) (E_{αβ} g^{αβ})_{,ν}, and is generated by the deformed advanced diffeomorphism δg^a_{μν} = -2∇_{(μ}ξ_{ν)} + g_{μν} Γ/(4Γ-1) ∇_α ξ^α. The same role is played in open Maxwell theory by the deformed operator D = d + Γ_1 u∧ + Γ_2 u∧ L_β, which satisfies D^2=0 and yields the identity D†E=0. These identities guarantee that the number of independent equations of motion is not larger than the number of gauge-fixed physical fields, preventing an overdetermined system.
Load-bearing premise
The load-bearing premise is that an unproven fourth identity among the equations of motion exists in open gravity; without that identity—or without a local Schwinger–Keldysh action whose variation produces the dissipative term—the theory is overdetermined and the consistency claim collapses.
What would settle it
Perform a full Dirac constraint analysis of the open-gravity action with Δ_μν = Γ R g_μν; if the number of independent advanced metric components exceeds six, or if no local SK action can be written whose variation reproduces (3.2)–(3.9), the theory is overdetermined and the consistency claim fails.
If this is right
- Consistent open Einstein gravity exists with the dissipative term Γ R g_μν: the advanced metric has only six independent dynamical components, matching the two physical graviton polarizations.
- The deformed diffeomorphism (3.9) provides an explicit transformation rule that preserves the dynamical part of the SK action, giving a concrete template for constructing open gravitational EFTs beyond the semiclassical limit.
- The same deformed-identity structure in open Maxwell theory reduces the advanced photon field to three components, reproducing the known constraint and extending it to background fields.
- The noise constraints (3.11) are fixed by the deformed identities, so the noise kernel in open gravity is not arbitrary but must satisfy a contracted divergence condition.
- For more general dissipative terms built from curvature, a timelike vector, and extrinsic curvature, closed-form identities may not exist, but the paper argues that linearised relations among the EOM still guarantee consistency to first order in perturbations.
Where Pith is reading between the lines
- If the deformed identity is the fundamental consistency condition, then any allowed open-gravity term must have a divergence that is proportional to the gradient of its trace; this suggests a classification of admissible dissipative terms, which the paper does not carry out.
- The fact that the fourth identity is asserted rather than derived (footnote 4) indicates that the consistency proof is incomplete; a natural next step would be a Hamiltonian or Dirac constraint analysis of the full action to verify the count of degrees of freedom.
- The deformed diffeomorphism (3.9) is tied to the particular dissipation term Γ R g_μν; one could attempt to derive analogous identities for terms like Δ_μν = γ_3 n^κ G_κ(μ n_ν) to see whether the required extra identity always appears or whether fine-tuning is needed.
- In a cosmological setting, the Γ parameter could leave observable imprints—e.g., a modified tensor-mode propagation or an effective extra scalar—so the deformed identities might be testable with future gravitational-wave or CMB observations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies open effective field theories in the Schwinger–Keldysh formalism and argues that breaking advanced symmetries while preserving physical symmetries leads to deformed conservation laws, deformed gauge/diffeomorphism identities, and deformed noise constraints. It first revisits the open superfluid, where the dissipative term deforms current conservation to an average statement, and then constructs an open Maxwell theory in a higher-form formulation with deformed operator D = d + Γ1 u∧ + Γ2 u∧Lβ, obtaining the deformed identity D†E = 0 and the resulting noise constraints. The central new result is in gravity: starting from modified Einstein equations Eμν = Gμν + Δμν, the paper derives for Δμν = Γ R gμν the deformed identity (3.8), the advanced diffeomorphism (3.9), and four noise constraints (3.11), reducing the advanced metric to six dynamically coupled components. It further claims analogous identities for more general Δμν of the form (3.12) and argues that relations between the equations of motion always exist to linear order.
Significance. The explicit ΓR gravitational example is a clean, checkable construction and is the paper's most valuable contribution: Eq. (3.8) follows directly from the Bianchi identity and the trace of the modified Einstein tensor, and the resulting noise constraints (3.11) give a concrete consistency condition for an open gravitational EFT. The Maxwell and superfluid sections usefully reframe and recover the deformed constraint of [21] within a unified picture. The derivations are transparent and the central algebraic steps are easy to verify, which strengthens the paper's reliability. However, the paper's broader claim — that such deformed identities are always possible for general dissipative gravitational terms — is not established at the same level of rigor. The honest acknowledgment in footnote 4 that an extra identity is required but not exhibited is a significant limitation, and the absence of an explicit SK action for the gravitational example leaves the variational/action-level consistency open. If the generalized claims were proven, this would be an important toolkit for open gravity; as it stands, the definite result is the specific ΓR deformation.
major comments (3)
- [§3, Eqs. (3.12)–(3.16) and footnote 4] The fourth identity is asserted, not derived. The text says that substituting (3.16) into the divergence equation 'yields a set of deformed identities between the EOM and consequently a set of noise constraints,' but no deformed identity is displayed. Footnote 4 explicitly concedes that four noise constraints are obtained while only three hypersurface coordinate transformations exist, and that consistency 'is possible only if there is an extra identity between the EOM.' That identity is never written. Consequently, the statements that 'only six advanced components dynamically couple' and, in the Conclusions, that relations between EOM are 'always possible' to linear order are unsupported for the general case. This is a load-bearing gap for the paper's generalized consistency claim, even though the ΓR example itself is unaffected.
- [§3, Eqs. (3.2)–(3.11)] No local SK action is written whose variation produces the modified Einstein equation (3.2) with Δμν = Γ R gμν. The deformed diffeomorphism (3.9) is motivated by requiring invariance of a 'dynamical part' of the action, but the action itself is not displayed. Thus (3.9) is not shown to be a symmetry of an actual open EFT, nor is the compatibility of the noise term (3.10) with such an action demonstrated. At minimum, the variational origin of the Δμν term should be exhibited, or the claim should be explicitly limited to an EOM-level consistency condition rather than an action-level symmetry.
- [§3, last paragraph (Kμν and non-local relations)] For Δμν built from Rμν, Kμν, gμν, nμ, the argument relies on the claim that δKij can be expressed in terms of δGμν through non-local expressions 'with appropriate boundary conditions.' No such expressions or boundary conditions are given, and no derivation is supplied. This paragraph is the basis for the Conclusions' claim that identities are 'always possible' to linear order, but as written it is a conjecture rather than a proof. The paper should either provide the construction, state precisely the assumptions under which it holds, or weaken the Conclusion accordingly.
minor comments (4)
- [§2.2, Eq. (2.11)] The phrase 'spontaneously broken U(1) 1 symmetry' is confusing; it presumably denotes a higher-form U(1) symmetry, but the notation should be clarified, e.g., U(1)^{(1)}.
- [§2.2, Eq. (2.16)] The statement that D² = 0 holds 'by construction' is terse. It may be worth a parenthetical noting the needed conditions: du = 0, [Lβ, d] = 0, and Lβ u = 0, so that the reader can verify the nilpotency without re-deriving it.
- [§3, Eqs. (3.7)–(3.8)] The symbol E is overloaded: it denotes the Euler–Lagrange expression in (2.25) and the trace of the modified Einstein tensor in (3.7). This is a notational clash; using e.g. Tr E or t for the trace would avoid confusion.
- [Throughout] There are several minor grammatical and typographical issues (e.g., 'perseas' in the author line, 'the previous equation can also be written' constructions). A careful proofreading pass is recommended.
Circularity Check
No circularity: the deformed identities follow from explicit ansatz and standard identities; footnote 4's missing identity is an incompleteness, not a circular step.
full rationale
The derivation chain is self-contained in the relevant sense. In the superfluid and Maxwell sections, the deformed operator D is defined explicitly and shown to satisfy D^2=0 under stated assumptions (u closed, ι_β u=-1, [L_β,d]=0); the deformed identity D†E=0 follows directly from the nilpotence of D†, not from any fitted parameter. The open-Maxwell constraint is re-derived from the higher-form action, so the citation to [21] functions as an independent cross-check rather than a load-bearing imported result. In the gravitational section, the central deformed identity (3.8) follows by direct algebra: with Δ_μν=Γ R g_μν, the trace of (3.2) gives E=(4Γ-1)R, while the Bianchi identity ∇_μ G^μ_ν=0 gives ∇_μ E^μ_ν=Γ ∇_ν R; combining these yields exactly (3.8). The coefficient Γ/(4Γ-1) is fixed by these definitions, not tuned to force the result. The advanced diffeomorphism (3.9) and noise constraints (3.11) are then consequences of that identity, not inputs. The coefficients Γ, Γ1, Γ2, and the γ_i are left as free EFT data, and no parameter is fitted to a subset of data and then renamed as a prediction. There are no load-bearing self-citations (the author does not cite his own prior work). The only caveat is footnote 4, where the author acknowledges that, for the general Δ_μν of the form (3.12), an extra identity between the EOM is needed and is not exhibited. That is a genuine incompleteness in the argument for the general case, but it does not make the derivation circular: it is a missing proof, not a reduction of the conclusion to its own premises. For the explicit Γ R example, the derivation is complete and non-circular.
Axiom & Free-Parameter Ledger
free parameters (7)
- Γ (dissipative gravitational coefficient) =
general, Γ ≠ 1/4
- Γ1 (superfluid/Maxwell relaxation) =
not fitted; free EFT coefficient
- Γ2 (superfluid/Maxwell relaxation, Lie-derivative term) =
not fitted; free EFT coefficient
- γ1, γ2 (parity-violating open couplings) =
not fitted; free EFT coefficients
- γ3 (gravitational anisotropic coupling) =
general; γ3 = 1, 2 excluded
- β (superfluid noise coefficient) =
set proportional to Γ by KMS
- c1, c2, p1, p2, p3 (closed-theory EFT coefficients) =
not fitted; free EFT coefficients
axioms (9)
- domain assumption SK doubling: dynamical fields duplicated into physical (r) and advanced (a) copies; physical symmetries act diagonally, advanced act oppositely
- domain assumption Dissipation direction u is a closed unit covector: ι_β u = -1, du = 0, hence L_β u = 0 (eq. 2.13)
- standard math [L_β, d] = 0 for the thermal/Lie-derivative direction (used before eq. 2.16)
- domain assumption Derivative expansion with Γ of order at least O(∂) (footnote 1)
- domain assumption KMS condition relates noise coefficient β to relaxation coefficient Γ (§2.1)
- domain assumption ⟨φ_a⟩ = 0 (Dyson-Schwinger) so expectation values of deformed conservation are taken in the open system
- standard math Bianchi identity ∇_μ G^μ_ν = 0
- domain assumption The physical (diagonal) symmetry is preserved while only the advanced symmetry is broken
- ad hoc to paper Existence of non-local relations between perturbed δK_ij and δG_μν with suitable boundary conditions
Cite this review
Pith. "Pith review of Emergent structures in open EFTs." pith.science (2026). https://pith.science/paper/5IS632EU
@misc{pith2026250913284,
author = {Pith},
title = {Pith review of: Emergent structures in open EFTs},
year = {2026},
howpublished = {\url{https://pith.science/paper/5IS632EU}},
note = {Machine review of arXiv:2509.13284}
}
read the original abstract
Open effective field theories provide a systematic framework for describing systems coupled to an environment, where dissipation, noise, and modified conservation laws naturally arise. Working within the Schwinger-Keldysh formalism, we examine open extensions of three well-studied theories: the superfluid, Maxwell theory, and Einstein gravity. In gauge and gravitational theories, open terms that break advanced symmetries while preserving physical ones are not automatically consistent; they are allowed only if they lead to deformed identities among the equations of motion. We explicitly construct such a term in open gravity and show that it leads to a consistent deformation of the diffeomorphism identities.
Forward citations
Cited by 5 Pith papers
-
Bottom-up open EFT for non-Abelian gauge theory with dynamical color environment
Develops a local open EFT for non-Abelian gauge theories using dynamical color-frame variables and color-current sectors in Schwinger-Keldysh formalism, yielding nonlocal dissipative kernels and naturally incorporatin...
-
Schwinger-Keldysh Path Integral for Gauge theories
Constructs a manifestly diagonal-BRST-invariant Schwinger-Keldysh path integral for open non-Abelian gauge theories with arbitrary physical initial states, yielding Ward-Takahashi-Slavnov-Taylor identities and a Keldy...
-
Phenomenology of an Open Effective Field Theory of Dark Energy
A minimal open EFT for late-time acceleration fits BAO observations without NEC violations and predicts dissipative suppression of GW luminosity distance, modified Bardeen potentials with gravitational slip, and enhan...
-
Schwinger-Keldysh Path Integral for Gauge theories
A manifestly BRST-invariant Schwinger-Keldysh path integral is derived for non-Abelian gauge theories with generic initial states, enabling perturbative Ward-Takahashi-Slavnov-Taylor identities and Open EFT expansions...
-
Gauging Open EFTs from the top down
Derives gauge-invariant influence functionals for photons and Stueckelberg fields in open U(1) gauge EFTs via BRST on the in-in contour after integrating out matter.
Reference graph
Works this paper leans on
-
[1]
Schwinger,Brownian motion of a quantum oscillator,J
J.S. Schwinger,Brownian motion of a quantum oscillator,J. Math. Phys.2(1961) 407
1961
-
[2]
Keldysh,Diagram Technique for Nonequilibrium Processes,Sov
L.V. Keldysh,Diagram Technique for Nonequilibrium Processes,Sov. Phys. JETP20(1965) 1018
1965
-
[3]
Feynman and F.L
R.P. Feynman and F.L. Vernon, Jr.,The Theory of a general quantum system interacting with a linear dissipative system,Annals Phys.24(1963) 118
1963
-
[4]
L.M. Sieberer, A. Chiocchetta, A. Gambassi, U.C. T¨ auber and S. Diehl,Thermodynamic Equilibrium as a Symmetry of the Schwinger-Keldysh Action,Phys. Rev. B92(2015) 134307 [1505.00912]
Pith/arXiv arXiv 2015
-
[5]
M. Crossley, P. Glorioso and H. Liu,Effective field theory of dissipative fluids,JHEP09 (2017) 095 [1511.03646]
Pith/arXiv arXiv 2017
-
[6]
P. Glorioso, M. Crossley and H. Liu,Effective field theory of dissipative fluids (II): classical limit, dynamical KMS symmetry and entropy current,JHEP09(2017) 096 [1701.07817]
Pith/arXiv arXiv 2017
-
[7]
H. Liu and P. Glorioso,Lectures on non-equilibrium effective field theories and fluctuating hydrodynamics,PoST ASI2017(2018) 008 [1805.09331]
Pith/arXiv arXiv 2018
-
[8]
F.M. Haehl, R. Loganayagam and M. Rangamani,Schwinger-Keldysh formalism. Part I: BRST symmetries and superspace,JHEP06(2017) 069 [1610.01940]
Pith/arXiv arXiv 2017
-
[9]
Galley,Classical Mechanics of Nonconservative Systems,Phys
C.R. Galley,Classical Mechanics of Nonconservative Systems,Phys. Rev. Lett.110(2013) 174301 [1210.2745]
Pith/arXiv arXiv 2013
-
[10]
C.R. Galley, D. Tsang and L.C. Stein,The principle of stationary nonconservative action for classical mechanics and field theories,1412.3082
-
[11]
L.M. Sieberer, M. Buchhold and S. Diehl,Keldysh Field Theory for Driven Open Quantum Systems,Rept. Prog. Phys.79(2016) 096001 [1512.00637]
Pith/arXiv arXiv 2016
-
[12]
M. Hongo, S. Kim, T. Noumi and A. Ota,Effective field theory of time-translational symmetry breaking in nonequilibrium open system,JHEP02(2019) 131 [1805.06240]
Pith/arXiv arXiv 2019
-
[13]
S.A. Salcedo, T. Colas and E. Pajer,The open effective field theory of inflation,JHEP10 (2024) 248 [2404.15416]
Pith/arXiv arXiv 2024
-
[14]
S.A. Salcedo, T. Colas, L. Dufner and E. Pajer,An Open System Approach to Gravity, 2507.03103
-
[15]
L.V. Delacr´ etaz, B. Gout´ eraux and V. Ziogas,Damping of Pseudo-Goldstone Fields,Phys. Rev. Lett.128(2022) 141601 [2111.13459]
Pith/arXiv arXiv 2022
-
[16]
J. Armas, A. Jain and R. Lier,Approximate symmetries, pseudo-Goldstones, and the second law of thermodynamics,Phys. Rev. D108(2023) 086011 [2112.14373]
Pith/arXiv arXiv 2023
-
[17]
M. Baggioli, Y. Bu and V. Ziogas,U(1) quasi-hydrodynamics: Schwinger-Keldysh effective field theory and holography,JHEP09(2023) 019 [2304.14173]
Pith/arXiv arXiv 2023
-
[18]
C.O. Akyuz, G. Goon and R. Penco,The Schwinger-Keldysh coset construction,JHEP06 (2024) 004 [2306.17232]
Pith/arXiv arXiv 2024
-
[19]
C.O. Akyuz and R. Penco,Effective description of ajar systems with a U(1) symmetry,Phys. Rev. D112(2025) L011901 [2503.22840]
Pith/arXiv arXiv 2025
-
[20]
P.H.C. Lau, K. Nishii and T. Noumi,Gravitational EFT for dissipative open systems,JHEP 02(2025) 155 [2412.21136]. – 11 –
Pith/arXiv arXiv 2025
-
[21]
S.A. Salcedo, T. Colas and E. Pajer,An Open Effective Field Theory for light in a medium, JHEP03(2025) 138 [2412.12299]
Pith/arXiv arXiv 2025
-
[22]
D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett,Generalized Global Symmetries,JHEP 02(2015) 172 [1412.5148]
Pith/arXiv arXiv 2015
-
[23]
J. Armas and A. Jain,Approximate higher-form symmetries, topological defects, and dynamical phase transitions,Phys. Rev. D109(2024) 045019 [2301.09628]
Pith/arXiv arXiv 2024
-
[24]
Martin and J.S
P.C. Martin and J.S. Schwinger,Theory of many particle systems. 1.,Phys. Rev.115(1959) 1342
1959
-
[25]
Kubo,The fluctuation-dissipation theorem,Rept
R. Kubo,The fluctuation-dissipation theorem,Rept. Prog. Phys.29(1966) 255
1966
-
[26]
D. Lopez Nacir, R.A. Porto, L. Senatore and M. Zaldarriaga,Dissipative effects in the Effective Field Theory of Inflation,JHEP01(2012) 075 [1109.4192]. – 12 –
Pith/arXiv arXiv 2012
This paper was first reviewed by deepseek-v4-flash on August 4, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.