{"id":"0b7addf6-2306-463a-a7a3-fbf0e4129dd2","arxiv_id":"2412.21136","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A Schwinger-Keldysh EFT for dissipative systems coupled to dynamical gravity requires a dynamical environment sector, modeled here by HydroEFT, and yields dissipative scalar and gravitational wave dynamics plus a generalized second law bound.","lead":"The paper builds an effective field theory for systems that lose energy while coupled to dynamical gravity, using the Schwinger-Keldysh formalism and treating the environment as a fluid. Its main point is that such systems cannot dissipate unless an environment sector carrying energy is included in the gravitational equations.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The necessity of the environment sector rests on the unproven Sec. 4.1 assertion that no modification of T^(phi) can restore noise diffeomorphism symmetry; this should be verified by a Noether/Ward argument.","rationale":"The reader's weakest_assumption focused on whether coarse graining preserves the doubled diffeomorphism symmetries diffs1 × diffs2. That is a legitimate premise, but the naive-model inconsistency can also be derived directly from the Bianchi identity: with the standard scalar stress tensor, the Einstein equation implies ∇_μ T^(φ)_μν = 0, which contradicts the dissipative scalar EOM unless the source vanishes. The more directly load-bearing gap is the unproven Sec. 4.1 claim that no modification of T^(φ) can restore the noise diffeomorphism symmetry. This claim is what upgrades the specific counterexample (4.13) into a general restriction on dissipative gravity EFTs. It is asserted without a proof, and the paper's later HydroEFT model is an existence proof of one completion rather than a demonstration of uniqueness. I expect the claim to be true, because a conserved total stress tensor and a dissipative local scalar EOM generically force energy to be carried by additional degrees of freedom, but the point should be settled explicitly. Since the missing argument is a supporting step rather than a demonstrated failure of the central construction, and the paper already flags the relevant assumptions, the verdict should remain CONDITIONAL rather than being upgraded or downgraded.","tokens_in":30909,"tokens_out":33564,"duration_ms":381308,"concrete_test":"Independently re-derive the diffeomorphism Ward identity for the general O(a) SK action and attempt to solve ∇_μ S^{μν} = γ u·∂φ ∂^ν φ + (□φ − V′ − γ u·∂φ) ∂^ν φ for S^{μν} generated by any local diffeomorphism-invariant functional of φ, u and g. If the only solutions require additional dynamical fields (fluid coordinates or equivalent), the Sec. 4.1 assertion is confirmed and the central claim stands; if a φ-only solution exists, the naive model is not as naive as claimed and the environment-sector conclusion needs qualification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that a dissipative open system coupled to dynamical gravity must include an environment energy-momentum tensor. The key step is the transition from the naive action (4.13) to the conclusion that the Stückelberg field X^a is auxiliary and enforces γ u·∂φ ∂_ν φ = 0 in Eq. (4.19). This conclusion is demonstrated for the particular dissipative operator γ u·∂φ φ_a, but the paper's generality claim relies on the assertion in Sec. 4.1 that \"the noise diffeomorphism symmetry cannot be recovered by any modification of the energy-momentum tensor T^(φ)_μν.\" No proof is given. If there existed a local, diffeomorphism-invariant completion in which the stress tensor in the Einstein equation is shifted by S^{μν}(φ,u,g) such that ∇_μ(T^(φ) μν + S^{μν}) = γ u·∂φ ∂^ν φ on the dissipative scalar EOM, then the naive model could be consistent without an explicit environment sector, and Eq. (4.19) would not express a general obstruction. The paper's later HydroEFT construction is one way to supply such an S^{μν}, but the necessity claim requires showing that it is the only way for any local covariant completion. This is not a disagreement with the conclusion; it is the load-bearing unsupported step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a Schwinger-Keldysh effective field theory (SKEFT) for dissipative open systems coupled to dynamical gravity. The central claim is that, because gravity couples universally to all degrees of freedom, a dissipative system coupled to dynamical gravity must be supplemented by an environment sector whose energy-momentum tensor absorbs the dissipated energy. The argument proceeds by first reviewing the SK formalism and the doubled diffeomorphism symmetries diffs1 × diffs2, then decomposing them into physical and noise diffeomorphisms. For a dissipative scalar, the paper shows that a naive model with only the scalar and metric, after Stückelberg completion of the noise diffeomorphism, yields the constraint equation γ u·∂φ ∂_ν φ = 0 (Eq. 4.19), which forces dissipation to vanish. The paper then proposes to model the environment with HydroEFT, introducing dynamical Stückelberg fields for the physical diffeomorphism as fluid variables, and derives the energy transfer equation (4.29). It also includes noise terms via dynamical KMS symmetry and identifies a decoupling regime (Eq. 4.43). The same framework is applied to dissipative gravitational waves and to a generalized second law for dynamical black holes surrounded by a fluid.","tokens_in":31130,"tokens_out":3793,"duration_ms":41775,"significance":"If the central necessity claim is correct, the paper establishes a nontrivial restriction on the space of consistent gravitational EFTs for dissipative systems: any such EFT must include the energy-momentum tensor of an environment sector. The paper is clearly written and provides a self-contained review of the SK formalism and HydroEFT, with explicit actions at the classical and noise levels. Its strengths include concrete constructions: Eq. (4.36) gives a complete SK action for a dissipative scalar coupled to gravity and a first-order fluid, Eq. (5.13) gives the analogous action for dissipative gravitational waves, and Eq. (4.43) gives a quantitative condition for the decoupling regime. The generalized second law discussion in Sec. 5.2 is also explicit and connects the sign of entropy production to a temperature gradient between the fluid and the black hole.","major_comments":[{"comment":"The sentence 'one can explicitly show that the noise diffeomorphism symmetry cannot be recovered by any modification of the energy-momentum tensor T^(φ)_μν' is a load-bearing assertion, but no proof is supplied. The generality claim of Sec. 4.2 — that the naive model fails for any dissipative operator and that an environment sector is necessary — depends on this statement. A local, covariant completion S^μν(φ,u,g) satisfying ∇_μ(T^(φ) μν + S^μν) = γ u·∂φ ∂^ν φ on the dissipative scalar EOM would make the naive model consistent without an explicit environment sector. To make the necessity claim rigorous, the authors should provide a Noether/Ward-identity argument or a concrete classification of covariant modifications showing that no such S^μν exists.","section":"Sec. 4.1, after Eq. (4.9)"},{"comment":"The argument that the Stückelberg fields are required, and hence that Eq. (4.19) is a general obstruction, relies on the premise that the SKEFT after integrating out the environment retains the full doubled diffeomorphism symmetries diffs1 × diffs2. This premise is stated in Sec. 3.2 but not proved for the coarse-grained effective action. Because the SK boundary conditions at t_i and t_f break the off-diagonal symmetries, and because open-system EFTs in fixed backgrounds typically contain 1-2 mixing terms that explicitly break such symmetries, the authors should justify that the bulk doubled symmetry survives integration over the environment. If coarse graining instead produces an effective action with only the diagonal physical diffeomorphism, the constraint (4.19) would not follow in the claimed way and the necessity of the environment sector would need separate support.","section":"Secs. 3.2 and 4.2"},{"comment":"The statement that 'by explicitly calculating the energy-momentum tensor of linear gravitational waves, one can show that this constraint equation prohibits energy loss' is asserted without showing the calculation. This is a supporting step for the dissipative gravitational wave application and for the claim that Eq. (5.8) is a constraint that prevents dissipation. The authors should either present the calculation or clearly state it as an assumption; as written, the reader cannot verify that the constraint indeed prohibits energy loss for general metric perturbations.","section":"Sec. 5.1.1, after Eq. (5.8)"}],"minor_comments":[{"comment":"Typo: 'corse-grained' should be 'coarse-grained' in the paragraph before Eq. (2.9).","section":"Sec. 2.2"},{"comment":"Typo: 'preformed' should be 'performed' in the sentence 'where we just preformed integration by parts'.","section":"Sec. 4.2, after Eq. (4.17)"},{"comment":"The transformation rule for X_a^μ is given as X_a^μ → X_a^μ + ξ_a^μ, but the noise diffeomorphism transformations in the classical limit (3.23b) and (3.23d) act on φ_a and g_aμν with a relative sign; please check the sign conventions and state them consistently.","section":"Eq. (4.15) and Sec. 3.3"},{"comment":"The claim that Eq. (4.12) gives 'the general SK action of gμν and gaμν that is invariant under both physical and noise diffeomorphism symmetries' is too strong unless the order in a-variables and the derivative order are specified; please clarify the statement.","section":"Footnote 6"},{"comment":"The derivation of the decoupling condition E^4 ≪ ρ0 + p0 is schematic and depends on several simplifying assumptions (e.g., weak β-dependence of γ, δu ~ ∂π, δβ ~ β̄ ∂π). Please state more explicitly which assumptions are required and whether the condition is meant as an order-of-magnitude estimate.","section":"Sec. 4.5, Eq. (4.43)"},{"comment":"In the second line of Eq. (5.36), the quantities T_{μν}k^μk^ν and T^{(1)}_{μν}k^μk^ν appear but the Kodama vector k^μ is not explicitly defined there; the definition appears later in the text, so please add a pointer or define it locally.","section":"Eq. (5.36)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid and useful construction of a sufficient SKEFT recipe for dissipative systems with dynamical gravity, with a clear pedagogical review and concrete applications. The major issue is that the paper's main 'necessity' claim is supported by an unproved assertion about the impossibility of modifying the energy-momentum tensor, and by an unexamined assumption about the survival of doubled diffeomorphism symmetry after coarse graining. These are fixable within the manuscript's scope if the authors either supply the missing Noether/Ward argument or carefully restate the claim as one of sufficiency. I would not recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Know this: the paper's central structural result is real and clearly derived for the concrete model, and it is new relative to the fixed-background open EFT of inflation. The Sec. 4.2 derivation is clean: after Stückelberg-ing the noise diffeo, the EOM for X_a gives γ u·∂φ ∂_ν φ = 0, so dissipation is killed unless an environment stress tensor is added. That is the punchline, and it is worth taking seriously.\n\nWhat the paper does well: it gives a concrete recipe, shows how HydroEFT supplies the environment sector, computes noise corrections and a decoupling condition, and extends the same logic to dissipative gravitational waves and a GSL inequality. The GSL section is more preliminary—it imports apparent-horizon thermodynamics, so the claim is conditional on that choice—but it is a reasonable illustration.\n\nSoft spots, in proportion. First, the general claim that no modification of T^(φ) can restore noise diffeo symmetry is asserted in Sec. 4.1, not proven. The stress-tester's Noether/Ward concern is legitimate: the demonstration is for the specific operator, and the 'necessity' language is stronger than what is shown. The paper would be more accurate saying 'within the local field content used here, the environment sector is required.' That is a limitation, not a fatal flaw, because the constructive result stands. Second, Sec. 5.1.1 has a similar asserted one-liner ('by explicitly calculating... one can show') where the actual calculation would be welcome. Third, the quantitative predictions depend on the hydro derivative expansion and the local-equilibrium/KMS assumption; the authors flag this, so it is an honest caveat, but it limits how far the numbers can be pushed. Fourth, the decoupling condition E^4 << ρ+p is a dimensional estimate; fine as a heuristic.\n\nCitation pattern: heavily built on Crossley-Glorioso-Liu and the dynamical KMS work, which is appropriate since HydroEFT is the input. Self-citation is not a problem here.\n\nWho is this for: people working on open EFTs, dissipative inflation, and gravitational EFTs. It deserves a serious referee. My recommendation: send it to review. The referee should ask the authors to either prove or soften the Sec. 4.1 no-go statement and to show the Sec. 5.1.1 calculation, but the core result is solid.","headline":"The core structural result—dynamical gravity forces an environment sector because the Stückelberg field is auxiliary—is real, clearly shown for the concrete model, and new; the generality claim is overstated but the paper deserves a serious referee.","tokens_in":31742,"tokens_out":2576,"would_cite":true,"duration_ms":27931,"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 dissipative open system cannot be coupled to dynamical gravity without an environment energy-momentum tensor; the Stückelberg fields that restore the doubled diffeomorphism symmetry otherwise become constraints that forbid dissipation.","keywords":["Schwinger-Keldysh formalism","dissipative open systems","dynamical gravity","effective field theory","HydroEFT","fluctuation-dissipation relation","gravitational waves","black hole thermodynamics"],"falsifier":"Search for a local, diffeomorphism-invariant Schwinger-Keldysh effective action built only from the metric pair and scalar pair that satisfies the consistency conditions (2.32)-(2.34) and yields dissipative equations with nonzero on-shell energy loss; if such an action exists, the claimed necessity of an environment sector fails. Concretely, one can take the naive action (4.13), add arbitrarily many local higher-derivative terms consistent with unitarity, and check whether the X a μ equation of motion can be made non-constraining without introducing T (env) μν.","tokens_in":30619,"feed_emoji":"🕳️","tokens_out":6493,"duration_ms":62581,"temperature":0.7,"pith_summary":"This paper claims that a dissipative open system cannot be coupled to dynamical gravity unless the EFT includes the energy-momentum tensor of the environment sector to which energy flows. The reason is symmetry: the Schwinger-Keldysh formalism doubles every field, so gravity has two diffeomorphism symmetries, and any term that mixes the two copies breaks the off-diagonal 'noise' diffeomorphism. Restoring that symmetry with Stückelberg fields makes them auxiliary degrees of freedom whose equation of motion forces the dissipated energy to vanish, unless the environment is included. The authors complete the construction by modeling the environment with the effective field theory of dissipative fluids (HydroEFT), and apply it to a dissipative scalar, dissipative gravitational waves, and black hole thermodynamics. If correct, this restricts which dissipative gravity EFTs are self-consistent and provides a concrete recipe for building them.","feed_headline":"Every dissipative gravity EFT needs an environment sector","feed_subtitle":"Without an environment, the symmetry-restoring Stückelberg field becomes a constraint that forces dissipation to zero.","key_machinery":"The central machinery is the Schwinger-Keldysh closed-time-path formalism with doubled variables in the r-a basis, the decomposition of doubled diffeomorphisms into physical and noise diffeomorphisms, and the Stückelberg fields X a μ that non-linearly realize the noise symmetry. In the completed construction these Stückelberg fields become dynamical through their partner fields in HydroEFT, the fluid coordinates σ A, so that the environment's energy-momentum tensor T (hydro) μν sources gravity and absorbs the dissipated energy. The dynamical KMS symmetry then ties noise terms to dissipation coefficients, giving the fluctuation-dissipation relations used for the scalar and for gravitational waves.","core_discovery":"In the Schwinger-Keldysh formalism for dynamical gravity, the microscopic action has doubled diffeomorphism symmetries, diffs1 × diffs2, which decompose into physical and noise diffeomorphisms. Dissipation breaks the noise symmetry, so a consistent EFT must restore it via Stückelberg fields X a μ. In a naive model with only a dissipative scalar and Einstein gravity, the X a equation of motion, γ u μ ∂ μ φ ∂ ν φ = 0 (Eq. 4.19), forces the would-be dissipated energy (Eq. 4.10) to zero; X a acts as an auxiliary field and dissipation is forbidden. The paper therefore claims that the energy-momentum tensor T (env) μν of an environment sector must appear in the Einstein equation, and proposes HydroEFT as a natural model. With HydroEFT the constraint is replaced by the conservation law ∇ μ T (hydro) μν = −γ u μ ∂ μ φ ∂ ν φ, which describes energy transfer out of the scalar. The same logic is applied to dissipative gravity, where an extrinsic-curvature term gives dissipative gravitational waves with γ = 2η/M Pl 2 and a fluctuation-dissipation relation, and to black holes surrounded by fluids, where the generalized second law is driven by a temperature gradient.","pith_inferences":["If the necessity claim is right, existing open-system EFTs of inflation computed on fixed backgrounds must be re-examined when gravity is dynamical, since their dissipation and noise terms may violate the noise diffeomorphism constraint once the metric is integrated out.","The argument suggests a general principle: any locally conserved quantity coupled to a dynamical gauge symmetry requires an explicit sink sector, so analogous environment terms should appear in EFTs with dynamical gauge fields and dissipation.","Because HydroEFT is only one possible environment, the framework predicts environment-model dependence: replacing the fluid by a solid or superfluid phase would change noise spectra and the decoupling condition, possibly allowing observations of dissipative gravitational waves to identify the environment's phase.","A sharper microscopic test is available: in a simple UV model of a scalar field interacting with a thermal bath and coupled to gravity, one can compute the one-loop Schwinger-Keldysh effective action and check whether the X a μ equation becomes the claimed constraint when the bath is absent."],"forward_implications":["Any consistent Schwinger-Keldysh EFT of a dissipative open system with dynamical gravity must contain an environment energy-momentum tensor, so the space of such EFTs is smaller than fixed-background constructions suggest.","For a dissipative scalar, e.g. for dissipative inflation, the construction yields explicit couplings between scalar, metric, and fluid fluctuations and identifies the decoupling regime by the condition E 4 ≪ ρ 0 + p 0, under which environment fluctuations can be ignored.","Dissipative gravitational waves acquire a dissipation coefficient γ = 2η/M Pl 2 from fluid shear viscosity and a noise term fixed by the same viscosity through the dynamical KMS symmetry.","In black hole spacetimes surrounded by fluids, the model shows that generalized entropy production is controlled by the temperature difference between the black hole, defined through Kodama/dynamical surface gravity, and the fluid, defined with a blue-shift effective temperature, covering both ordinary accretion and Hawking-radiation outflow."],"supporting_citations":[{"why":"Supplies the HydroEFT construction whose doubled-symmetry Stückelberg structure is used to model the environment.","marker":"[1]"},{"why":"Provides the classical-limit HydroEFT, dynamical KMS symmetry, and entropy current used in the applications.","marker":"[3]"},{"why":"Gives the local second law ∇ μ s μ ≥ 0 from symmetry and unitarity, used for the black hole generalized second law.","marker":"[2]"},{"why":"Provides the unified first law and apparent-horizon thermodynamics for dynamical black holes.","marker":"[37]"},{"why":"Supplies the dynamical surface gravity used to define the black hole temperature β BH.","marker":"[46]"},{"why":"Supports the local Hawking temperature and the blue-shift effective temperature used in the generalized second law.","marker":"[47]"},{"why":"States the generalized second law that the paper's fluid-black hole analysis is designed to reproduce.","marker":"[35]"},{"why":"Supplies Hawking radiation as the null-energy-violating outflow case in the generalized second law discussion.","marker":"[59]"}],"fun_headline_variants":["Dissipative gravity EFT requires an environment","No environment, no dissipation: EFT constraint","Environment sector mandatory for dissipative gravity EFT","Dissipation in gravity EFT demands environment coupling","Gravity EFT: dissipation needs an environment sector"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that after integrating out the environment, the bulk Schwinger-Keldysh effective action still possesses the full doubled diffeomorphism symmetry diffs1 × diffs2, so every 1-2 mixing operator must be Stückelberg-completed; if coarse graining broke the off-diagonal symmetry, the constraint (4.19) that kills dissipation would not follow in the claimed way.","fun_headline_variants_meta":{"raw":{"variants":["Dissipative gravity EFT requires an environment","No environment, no dissipation: EFT constraint","Environment sector mandatory for dissipative gravity EFT","Dissipation in gravity EFT demands environment coupling","Gravity EFT: dissipation needs an environment sector"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000415,"raw_usage":{"total_tokens":2165,"prompt_tokens":990,"completion_tokens":1175,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":606,"completion_tokens_details":{"reasoning_tokens":1113}},"tokens_in":606,"tokens_out":1175,"duration_ms":7641,"temperature":1.0,"reasoning_tokens":1113,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:02:22.774478+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search for a local, diffeomorphism-invariant Schwinger-Keldysh effective action built only from the metric pair and scalar pair that satisfies the consistency conditions (2.32)-(2.34) and yields dissipative equations with nonzero on-shell energy loss; if such an action exists, the claimed necessity of an environment sector fails. Concretely, one can take the naive action (4.13), add arbitrarily many local higher-derivative terms consistent with unitarity, and check whether the X a μ equation of motion can be made non-constraining without introducing T (env) μν.","supporting_citations":[{"cited_title":"Bekenstein, Generalized second law of thermodynamics in black hole physics , Phys","cited_arxiv_id":null,"evidence_quote":"States the generalized second law that the paper's fluid-black hole analysis is designed to reproduce."}],"review_version":1}