Pith. sign in

REVIEW 3 major objections 4 minor 26 references

Emergent structures in open EFTs

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read 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.

desk verdict The explicit ΓR gravity identity is a genuine new result worth citing; the paper's broader consistency claim is not yet established. read the letter →

arxiv 2509.13284 v2 pith:5IS632EU submitted 2025-09-16 hep-th gr-qc

Perseas Christodoulidis This is my paper
classification hep-thgr-qc
keywords openeffectivefieldtheorySchwinger-Keldyshdissipativegravitydeformeddiffeomorphismnoiseconstraintsadvancedsymmetryhigher-form
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks when a dissipative, open quantum system can be described by an effective field theory that keeps the physical symmetries of the closed system but breaks its 'advanced' symmetries—the symmetries that act oppositely on the two branches of the Schwinger–Keldysh contour. It argues that such open extensions are not automatically consistent: they are acceptable only if the breaking produces deformed identities among the equations of motion, which reduce the number of independent equations to match the physical degrees of freedom. The paper demonstrates this mechanism in the open superfluid, open Maxwell theory, and, most importantly, open Einstein gravity. For gravity, it constructs the first explicit consistent open term, Δ_μν = Γ R g_μν, which leads to a deformed diffeomorphism identity and reduces the advanced metric to six dynamically coupled components. The result matters because it opens a path to consistent open gravitational EFTs, with potential applications to dissipation in cosmology and inflation.

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.

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.

Watch

Extended reading notes

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

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.

Editorial extensions

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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)
  1. [§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.
  2. [§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. [§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)
  1. [§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.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. [§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.
  4. [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

0 steps flagged · score 0.0 of 10

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.

Assumptions & free parameters 7 free parameters · 9 assumptions · 0 invented entities

No new particles, forces, fields, or dimensions are postulated. The deformed operators D, D† (2.16, 2.24), the time-dependent shift (2.8), and the deformed diffeomorphism (3.9) are mathematical structures on existing fields. The dissipation covector u/n is standard input from [5, 7]. The free parameters are all EFT coefficients chosen by hand per the derivative expansion; none is fitted to data to produce the deformed identities.

free parameters (7)
  • Γ (dissipative gravitational coefficient) = general, Γ ≠ 1/4
    Defines ∆_μν = Γ R g_μν, eq. (3.6); controls the deformed identity (3.8) and noise constraint (3.11). Not fitted; a free EFT coefficient.
  • Γ1 (superfluid/Maxwell relaxation) = not fitted; free EFT coefficient
    Enters the deformed operator D = d + Γ1 u∧ + Γ2 u∧ L_β, eq. (2.16); sets the deformed conservation (2.4)-(2.6).
  • Γ2 (superfluid/Maxwell relaxation, Lie-derivative term) = not fitted; free EFT coefficient
    Same operator D as Γ1; together they define the nilpotent deformed derivative.
  • γ1, γ2 (parity-violating open couplings) = not fitted; free EFT coefficients
    Open terms in (2.15); contribute to S_dyn and the deformed identity (2.26).
  • γ3 (gravitational anisotropic coupling) = general; γ3 = 1, 2 excluded
    In ∆_μν = A g_μν + B n_μ n_ν + γ3 n^κ G_κ(μ n_ν), eq. (3.12); fine-tuned values excluded in footnote 3.
  • β (superfluid noise coefficient) = set proportional to Γ by KMS
    Noise term i β φ_a² in §2.1; chosen proportional to Γ under the KMS condition, not measured.
  • c1, c2, p1, p2, p3 (closed-theory EFT coefficients) = not fitted; free EFT coefficients
    Coefficients in the closed SK action (2.11) and background-dependent part (2.21); standard data from the EFT, not tuned here.
assumptions (9)
  • domain assumption SK doubling: dynamical fields duplicated into physical (r) and advanced (a) copies; physical symmetries act diagonally, advanced act oppositely
    Basis of the whole construction, taken from [5, 7, 11]; invoked throughout §2-3.
  • domain assumption Dissipation direction u is a closed unit covector: ι_β u = -1, du = 0, hence L_β u = 0 (eq. 2.13)
    Needed for D^2 = 0 in eq. (2.16) and hence the deformed identity (2.26).
  • standard math [L_β, d] = 0 for the thermal/Lie-derivative direction (used before eq. 2.16)
    Standard identity for Lie derivatives and exterior derivatives; required for D^2 = 0.
  • domain assumption Derivative expansion with Γ of order at least O(∂) (footnote 1)
    Ensures the derivative expansion and the counting of leading terms make sense.
  • domain assumption KMS condition relates noise coefficient β to relaxation coefficient Γ (§2.1)
    Fixes the noise term i β φ_a²; not needed for the deformed identities themselves.
  • domain assumption ⟨φ_a⟩ = 0 (Dyson-Schwinger) so expectation values of deformed conservation are taken in the open system
    Gives eq. (2.6): current conservation holds only on average.
  • standard math Bianchi identity ∇_μ G^μ_ν = 0
    Underpins the derivation of eq. (3.8).
  • domain assumption The physical (diagonal) symmetry is preserved while only the advanced symmetry is broken
    The paper's stated setup (abstract and §1); the entire program depends on this split being consistent.
  • ad hoc to paper Existence of non-local relations between perturbed δK_ij and δG_μν with suitable boundary conditions
    Used in the K_μν paragraph of §3 to argue identities always exist to linear order; asserted, not derived.

how reviews work

0 comments
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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

26 extracted references · 20 linked inside Pith

  1. [21]

    Salcedo, T

    S.A. Salcedo, T. Colas and E. Pajer,An Open Effective Field Theory for light in a medium, JHEP03(2025) 138 [2412.12299]

    arXiv 2025

  2. [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

  3. [2]

    Keldysh,Diagram Technique for Nonequilibrium Processes,Sov

    L.V. Keldysh,Diagram Technique for Nonequilibrium Processes,Sov. Phys. JETP20(1965) 1018

    1965

  4. [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

  5. [4]

    Sieberer, A

    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]

    arXiv 2015

  6. [5]

    Crossley, P

    M. Crossley, P. Glorioso and H. Liu,Effective field theory of dissipative fluids,JHEP09 (2017) 095 [1511.03646]

    arXiv 2017

  7. [6]

    Glorioso, M

    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]

    arXiv 2017

  8. [7]

    Liu and P

    H. Liu and P. Glorioso,Lectures on non-equilibrium effective field theories and fluctuating hydrodynamics,PoST ASI2017(2018) 008 [1805.09331]

    arXiv 2018

Show all 26 references
  1. [8]

    Haehl, R

    F.M. Haehl, R. Loganayagam and M. Rangamani,Schwinger-Keldysh formalism. Part I: BRST symmetries and superspace,JHEP06(2017) 069 [1610.01940]

    2017 arXiv

  2. [9]

    Galley,Classical Mechanics of Nonconservative Systems,Phys

    C.R. Galley,Classical Mechanics of Nonconservative Systems,Phys. Rev. Lett.110(2013) 174301 [1210.2745]

    2013 arXiv

  3. [10]

    Galley, D

    C.R. Galley, D. Tsang and L.C. Stein,The principle of stationary nonconservative action for classical mechanics and field theories,1412.3082

    arXiv

  4. [11]

    Sieberer, M

    L.M. Sieberer, M. Buchhold and S. Diehl,Keldysh Field Theory for Driven Open Quantum Systems,Rept. Prog. Phys.79(2016) 096001 [1512.00637]

    2016 arXiv

  5. [12]

    Hongo, S

    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]

    2019 arXiv

  6. [13]

    Salcedo, T

    S.A. Salcedo, T. Colas and E. Pajer,The open effective field theory of inflation,JHEP10 (2024) 248 [2404.15416]

    2024 arXiv

  7. [14]

    Salcedo, T

    S.A. Salcedo, T. Colas, L. Dufner and E. Pajer,An Open System Approach to Gravity, 2507.03103

  8. [15]

    Delacr´ etaz, B

    L.V. Delacr´ etaz, B. Gout´ eraux and V. Ziogas,Damping of Pseudo-Goldstone Fields,Phys. Rev. Lett.128(2022) 141601 [2111.13459]

    2022 arXiv

  9. [16]

    Armas, A

    J. Armas, A. Jain and R. Lier,Approximate symmetries, pseudo-Goldstones, and the second law of thermodynamics,Phys. Rev. D108(2023) 086011 [2112.14373]

    2023 arXiv

  10. [17]

    Baggioli, Y

    M. Baggioli, Y. Bu and V. Ziogas,U(1) quasi-hydrodynamics: Schwinger-Keldysh effective field theory and holography,JHEP09(2023) 019 [2304.14173]

    2023 arXiv

  11. [18]

    Akyuz, G

    C.O. Akyuz, G. Goon and R. Penco,The Schwinger-Keldysh coset construction,JHEP06 (2024) 004 [2306.17232]

    2024 arXiv

  12. [19]

    Akyuz and R

    C.O. Akyuz and R. Penco,Effective description of ajar systems with a U(1) symmetry,Phys. Rev. D112(2025) L011901 [2503.22840]

    2025 arXiv

  13. [20]

    P.H.C. Lau, K. Nishii and T. Noumi,Gravitational EFT for dissipative open systems,JHEP 02(2025) 155 [2412.21136]. – 11 –

    2025 arXiv

  14. [22]

    Gaiotto, A

    D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett,Generalized Global Symmetries,JHEP 02(2015) 172 [1412.5148]

    2015 arXiv

  15. [23]

    Armas and A

    J. Armas and A. Jain,Approximate higher-form symmetries, topological defects, and dynamical phase transitions,Phys. Rev. D109(2024) 045019 [2301.09628]

    2024 arXiv

  16. [24]

    Martin and J.S

    P.C. Martin and J.S. Schwinger,Theory of many particle systems. 1.,Phys. Rev.115(1959) 1342

    1959

  17. [25]

    Kubo,The fluctuation-dissipation theorem,Rept

    R. Kubo,The fluctuation-dissipation theorem,Rept. Prog. Phys.29(1966) 255

    1966

  18. [26]

    Lopez Nacir, R.A

    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 –

    2012 arXiv

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.