{"id":"8043b626-5405-4d45-9433-120902c26ae5","arxiv_id":"2509.13284","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"Breaking the advanced (r minus a) symmetry in Schwinger-Keldysh open EFTs forces deformed identities among the equations of motion, and the paper gives an explicit deformed diffeomorphism identity for open gravity.","lead":"This paper studies open effective field theories, in which a system exchanges energy and noise with an environment, and shows that gauge and gravitational versions stay consistent only when the equations of motion obey deformed symmetry identities. It constructs such an identity explicitly for gravity with a simple dissipation term, a step toward reliable open EFTs for cosmology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"General open-gravity consistency claim rests on an unexhibited fourth identity (fn. 4); the explicit ΓR example with (3.8) is internally consistent, but the 'always possible' extension is not established.","rationale":"The explicit ΓR example is the paper's strongest support, and I verified (3.8) follows from the contracted Bianchi identity and the trace relation. The self-acknowledged missing fourth identity in footnote 4 is the place where the central generalization to arbitrary dissipative terms would break. The reader's weakest assumption identified the same gap, and I add a factor-of-two check suggesting the action-level statement (3.9) needs correction. Since the flagship example may be correct but the scope claim requires the missing identity or an explicit action/transformation, the prudent verdict remains CONDITIONAL.","tokens_in":8578,"tokens_out":23605,"duration_ms":275229,"concrete_test":"For the γ3-only case of (3.12) (Γ1=Γ2=γ1=γ2=0, γ3≠1,2), linearize (3.2) about Minkowski with nμ=(1,0,0,0). Substitute Δ from (3.16) into the divergence equation (3.3), and write the resulting four equations as linear differential operators acting on the linearized E. Count the rank after imposing the three hypersurface diffeomorphisms. If the rank is four, derive the fourth identity explicitly; if no local fourth identity exists, the 'always possible' claim fails. Alternatively, compute the variation of S=∫(G+ΓRg)g_a under (3.9): the coefficient that makes it a boundary term should be 2Γ/(4Γ−1), not Γ/(4Γ−1).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central new result is the gravitational deformed identity. For the explicit term Δμν=ΓRgμν, eq. (3.8) is a genuine off-shell identity and the noise constraints (3.11) follow from it, so that example is sound. The load-bearing gap is the generalization. Starting in §3, the paper claims for Δμν of the form (3.12) that algebraic manipulation yields 'a set of deformed identities between the EOM and consequently a set of noise constraints', but the identity is not displayed. Footnote 4 itself concedes: 'we obtain four noise constraints instead of three which is the number of allowed coordinate transformations on the hypersurface orthogonal to nμ... This is possible only if there is an extra identity between the EOM.' That fourth identity is never written. Without it, the counting that 'only six advanced components dynamically couple' is not established, and the Conclusions' claim that relations between EOM are 'always possible' to linear order is unsupported. Relatedly, the action-level derivation is missing: the paper never writes the SK action whose variation yields (3.2)-(3.9), so (3.9) is not shown to be a symmetry. A quick check suggests (3.9) is off by a factor of 2 for the natural action S=∫(G+ΓRg)g_a. Thus the general gravitational consistency claim is conditional on an identity that the manuscript admits but does not provide.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":8940,"tokens_out":5418,"duration_ms":64598,"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":[{"comment":"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.","section":"§3, Eqs. (3.12)–(3.16) and footnote 4"},{"comment":"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.","section":"§3, Eqs. (3.2)–(3.11)"},{"comment":"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.","section":"§3, last paragraph (Kμν and non-local relations)"}],"minor_comments":[{"comment":"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)}.","section":"§2.2, Eq. (2.11)"},{"comment":"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.","section":"§2.2, Eq. (2.16)"},{"comment":"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.","section":"§3, Eqs. (3.7)–(3.8)"},{"comment":"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.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The specific ΓR gravitational construction is a solid, checkable result and should be preserved. The main novelty claimed in the abstract and conclusions, however, extends beyond what is demonstrated: the extra identity of footnote 4 is not exhibited, and no SK action is given for the gravitational deformation. I recommend major revision: the author should either supply the missing identity and action, or explicitly reframe the generalized consistency claim as a conjecture. The paper is at the short end for the scope of its claims, and the gap in §3 is central rather than peripheral."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The one thing you should know: the explicit deformed diffeomorphism identity for open gravity, eq. (3.8), is a real and new result, and the algebra checks out. The paper is worth reading for that. The broader claim that open gravitational EFTs always admit such identities is not yet supported; the manuscript itself says so in footnote 4.\n\nThe good parts: Δμν = Γ R gμν is a clever choice. From E = (4Γ-1)R and the Bianchi identity, ∇_μ E^μ_ν = Γ/(4Γ-1) ∂_ν E follows immediately. The noise constraints (3.11) are derived cleanly, and the counting of advanced components is plausible. The superfluid and Maxwell sections mostly repackage known results, but the higher-form language with background fields is a nice reformulation, and recovering [21]'s deformation is a useful cross-check. The paper is honest about its own gaps.\n\nThe soft spots: footnote 4 says four noise constraints require an extra identity between the EOM, but that identity is never displayed. Without it, the 'only six advanced components couple' claim is unsupported. The gravity analysis is entirely EOM-level; no SK action is written whose variation gives Δμν, so (3.9) is not demonstrated as a symmetry. The Conclusions claim that such identities are 'always possible' is argued via non-local expressions, not derived. The abstract's 'only if' framing is stronger than the examples prove. These are fixable, not fatal: the explicit example stands.\n\nOne more check: the stress-test suggests (3.9) might be off by a factor of 2 for the natural action. I haven't verified that, but a referee should.\n\nWho this is for: anyone working on open EFTs of inflation or dissipative gravity. It deserves a serious referee. My recommendation: send it to peer review, and ask the referee to demand the missing fourth identity or a weakened set of claims.","headline":"The explicit ΓR gravity identity is a genuine new result worth citing; the paper's broader consistency claim is not yet established.","tokens_in":9535,"tokens_out":4309,"would_cite":true,"duration_ms":43614,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["open effective field theory","Schwinger-Keldysh","dissipative gravity","deformed diffeomorphism","noise constraints","advanced symmetry","higher-form symmetry"],"falsifier":"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.","tokens_in":8337,"feed_emoji":"🌌","tokens_out":7509,"duration_ms":75725,"temperature":0.7,"pith_summary":"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.","feed_headline":"Open gravity works only with deformed Einstein identities","feed_subtitle":"First explicit open-gravity term that stays consistent by deforming the diffeomorphism constraint.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Open gravity demands deformed Einstein identities","Dissipative gravity only if diffeomorphisms deform","First consistent open gravity term: deformed diffs","Open EFTs: gravity needs deformed Bianchi identities","Gravity plus environment forces deformed diffeomorphism"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Open gravity demands deformed Einstein identities","Dissipative gravity only if diffeomorphisms deform","First consistent open gravity term: deformed diffs","Open EFTs: gravity needs deformed Bianchi identities","Gravity plus environment forces deformed diffeomorphism"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000501,"raw_usage":{"total_tokens":2247,"prompt_tokens":667,"completion_tokens":1580,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":411,"completion_tokens_details":{"reasoning_tokens":1508}},"tokens_in":411,"tokens_out":1580,"duration_ms":12180,"temperature":1.0,"reasoning_tokens":1508,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T16:28:46.189286+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}