{"id":"4c7bb989-5faf-4023-ae6c-44b55360b1e8","arxiv_id":"2501.10450","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Internally dressed subsystems, whose boundaries are located by fields within the region, are exactly those whose observables close under Poisson brackets in generally covariant theories.","lead":"This paper proposes that a consistent subsystem in gravity is a region whose boundary is located by fields inside the region itself, and shows this condition exactly guarantees the region's observables form a closed algebra. It gives a criterion for when spacelike separated regions can be treated as independent, a basic question for quantum gravity and holography.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Corollary 6 rests on an unproven assumption that residual gauge-fixed diffeomorphisms act as a Lie group on D(Σ); this is not implied by the internal-dressing axioms and is the same property that fails for generic diffeomorphisms, so sufficiency is conditional.","rationale":"The central claim is the characterization of consistent subsystems as internally dressed regions. For that claim to hold, the construction of the subregion phase space P(Σ) in §4.2 must go through. The only place where the argument can break is Prop 4.1, which requires that the residual gauge-fixed diffeomorphisms act as a Lie group on D(Σ). The paper explicitly assumes this property without deriving it from the internal dressing axioms. Since the same property is identified in §3.2 as the reason diffeomorphisms fail to integrate in subregions in the first place, it cannot be treated as a minor technicality. If the assumption fails, the leaves of S'_g(Σ) are not well-defined, so the observables in Σ cannot be characterized as generating flows in S'_g(Σ), and the algebra-closure proof in Corollary 6 loses its foundation. A concrete check is to test the assumption in a simple dressed system, such as a scalar-field level set in vacuum GR, by seeing if a residual diffeo whose parameter depends on exterior fields changes interior observables. The Z-model example provides a trivial control where the property holds. The reader's verdict of CONDITIONAL is appropriate; our concern reinforces it. We also note in passing that the claimed exactness/necessity direction is not proven by any explicit theorem, which further supports a conditional rather than unconditional acceptance.","tokens_in":30930,"tokens_out":15970,"duration_ms":152878,"concrete_test":"Construct a concrete internally dressed region in vacuum GR, e.g. take ∂Σ to be a level set of a scalar field X and impose G_k=0 fixing X and the null boundaries. Choose a vector field ξ that vanishes on ∂Σ, preserves X, but depends on the metric at a point in D(Σ)^c (e.g. ξ^a = ε g^{ab} ∇_b R evaluated at an exterior point, extended smoothly). Generate a finite diffeo from ξ and check whether the pullback of a local observable in D(Σ) changes when the exterior metric is perturbed while holding D(Σ) data fixed. If the change is nonzero, the residual action depends on exterior data, so the Lie group assumption fails. For a positive control, repeat in the Z-model of §5.2 where the residual group is trivial and verify the property holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In §4.2 the paper assumes that after imposing the internal dressing constraints G_k=0, 'the residual gauge transformations act as a Lie group on D(Σ)' (paragraph beginning 'Altogether, the constraints...'). This property is used only in the proof of Proposition 4.1 to identify leaves of the foliation by first quotienting solutions that agree on D(Σ) and then modding out by residual transformations. If the residual transformations are field-dependent and their action on D(Σ) depends on fields in the causal complement, this equivalence relation is not well-defined, S'_g(Σ) is not locally integrable, and Proposition 4.2 / Corollary 6 do not follow. The internal dressing axioms I–III constrain the allowed embedding maps X, but they do not constrain the field-dependence of the parameters of residual diffeomorphisms that preserve G_k=0; hence the Lie group property is an extra, unproven assumption. Indeed, §3.2 explicitly notes that diffeomorphisms do not act as a Lie group on fields in any subregion, so this property is nontrivial and cannot be taken for granted. The paper does not prove that internal dressing implies it, nor does it check it in the gravitational examples of §5.3. In addition, the claimed exactness ('exactly what is necessary') is only argued in the sufficiency direction; no converse theorem establishes that a closed subregion algebra forces internal dressing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a covariant phase space framework for defining subsystems in classical gauge and gravitational theories. It proposes that a spacetime subregion is a genuine subsystem when its regular observables form a closed Poisson algebra, and it introduces the notion of an 'internally dressed' subregion: a region whose boundary location is determined by constraints built from fields inside the region. The central claim, stated in the abstract and in Section 4.2 (Proposition 4.2 and Corollary 6), is that internal dressing is exactly what is needed for the subregion observables to close into a Poisson algebra, and equivalently that observables in such a region generate field-dependent gauge transformations on the causal complement. The paper also analyzes surface charges, kink transforms, and prospects for quantization.","tokens_in":31249,"tokens_out":6314,"duration_ms":66705,"significance":"If the main theorem were fully established, this would be a significant conceptual contribution to the old problem of defining relational observables and localized subsystems in general relativity. The paper is careful about several technical points that are often glossed over: it states causality assumptions (Assumptions 1 and 2), introduces distributional flows and currents for singular generators, and discusses the failure of the Frobenius theorem in Fréchet spaces. The proposition-proof structure makes the logical dependencies transparent, and the examples (electromagnetism, scalar dressing models, causal patches) help clarify the intended scope. However, the advertised equivalence is currently conditional on an unproven group-action property for residual diffeomorphisms, and the claimed exactness is not supported by a converse theorem. The significance is therefore prospective: the framework is plausible and worth publishing if the gap is either closed or the claims are appropriately weakened.","major_comments":[{"comment":"The proof of local integrability of S'_g(Σ), and hence Proposition 4.2 and Corollary 6, depends on the unproven premise stated in the paragraph beginning 'Altogether, the constraints G_k = 0...' that the residual gauge transformations act as a Lie group on D(Σ). This property is not derived from the internal-dressing axioms I–III: those axioms constrain the allowed embedding maps X, but they do not restrict the field-dependence of the parameters of diffeomorphisms that preserve G_k = 0. If a residual transformation has parameters that depend on fields in the causal complement, the equivalence relation used in the proof of Proposition 4.1 is not well-defined, and the quotient construction of the subregion phase space can fail. Section 3.2 explicitly notes that unrestricted diffeomorphisms do not act as a Lie group on fields in a subregion, so this is a nontrivial assumption rather than a formality. The paper should either prove this property, at least for the gravitational examples of Section 5.3, or state it as an explicit additional assumption and modify the corresponding claims accordingly.","section":"§4.2, Proposition 4.1"},{"comment":"The paper advertises an equivalence and 'exactly what is necessary' for the observables to form a closed Poisson algebra, but only the sufficiency direction is proven. Proposition 4.2 and Corollary 6 show that, under the additional Lie-group assumption, internal dressing implies closure of the algebra. No theorem establishes the converse: that closure of the subregion observable algebra forces the internal-dressing axioms, or that a closed-algebra subsystem must generate field-dependent gauge transformations on the causal complement. The main claim should be restated as a sufficient condition, or a genuine converse theorem should be supplied, before the abstract's 'exactly' claim is retained.","section":"Abstract and §4.2"}],"minor_comments":[{"comment":"Corollary 5 is followed by two 'Proof.' paragraphs; the second proof ('By Proposition 3.4, the bracket of two such observables...') appears to belong to Corollary 4, and the first proof belongs to Corollary 5. The ordering should be fixed.","section":"§3.2, Corollaries 4 and 5"},{"comment":"In the displayed computation, the expression 'Ω(η + ζ1, χ+ ζ2) = Ω(η1, χ)' uses η1 where η is intended; this is a typographical inconsistency that should be corrected.","section":"§3.3, proof of Proposition 3.3"},{"comment":"There are numerous small typographical errors, including 'fist' for 'first', 'rferred' for 'referred', 'to to prove' for 'to prove', 'dyanmically' for 'dynamically', and 'perturbatibe' for 'perturbative'. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The author correctly notes that Assumption 4 is 'the least important' and is not used to prove the other results; nevertheless, it is invoked in the discussion of completeness of regular observables, and the text should state explicitly whether the subsequent claims about completeness depend on it.","section":"§2.2, Assumption 4"}],"recommendation":"major_revision","confidential_remarks":"This is an ambitious and thought-provoking manuscript that is likely to be of interest to the community working on relational observables and subregion algebras in gravity. The main obstacle is not the technical style but the mismatch between the advertised 'exactly' claim and the actual logical content: the central theorem is conditional on an unproven Lie-group property for residual diffeomorphisms, and no converse is provided. I believe this gap can be addressed within the scope of the paper, either by proving the missing property in relevant examples or by explicitly reformulating the main result as a sufficient condition. I would not recommend rejection, but the revision must confront this issue head-on."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is Property III, the internal dressing criterion: a subregion is a subsystem when the constraints that locate its boundary are built from fields inside the region. The paper's equivalence between such internally dressed regions and observables that generate field-dependent gauge transformations on the causal complement is a real step beyond the Donnelly–Giddings obstruction, and the commutativity result for spacelike separated dressed subsystems is a clean and useful statement. The discussion of Yang–Mills nonfactorization being due to surface symmetries is also a nice payoff of the framework, and the kink transform remarks are suggestive even if not fully worked out.\n\nThe soft spot is exactly where the stress-test note lands. Corollary 6 depends on the assertion in Section 4.2 that, after imposing G_k = 0, the residual gauge transformations act as a Lie group on D(Σ). That is assumed, not derived from Properties I–III. The paper itself notes in Section 3.2 that diffeomorphisms do not act as a Lie group on fields in a subregion, so this is not a trivial condition. If the field dependence of residual transformations reaches outside D(Σ), the equivalence relation in Proposition 4.1 is not well defined, and Propositions 4.2 and Corollary 6 do not follow. The gravitational examples in Section 5.3 are schematic, so they do not supply a check. Also, the abstract's 'exactly what is necessary' is only argued in one direction: internal dressing is shown to imply closure of the Poisson algebra, but no converse is proved that closure forces internal dressing.\n\nTo be fair, the author flags the lack of full rigour and states the assumptions openly. This is a coherent framework, not a sloppy one. The citation pattern looks solid, with the relevant relational-observer and edge-mode literature engaged. The issue is that the headline claim is conditional, and the condition is not innocuous.\n\nWho should read it: people working on relational observables, entanglement wedges, and the Donnelly–Giddings obstruction. I would send it to a referee who knows covariant phase space and edge modes, with an explicit request to scrutinize the integrability step in Proposition 4.1 and whether the gravitational gauge-fixing constraints can actually satisfy the Lie group condition. I would not cite it as a proof of the sufficiency theorem as it stands, but it deserves serious peer review and a careful revision.","headline":"A genuinely new criterion for gravitational subsystems, but the central 'exactly necessary' claim rests on an unproven Lie group assumption and is only argued one way.","tokens_in":31718,"tokens_out":2892,"would_cite":true,"duration_ms":31934,"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":"The paper establishes that a subregion of a generally covariant theory is a consistent subsystem—its observables form a closed Poisson algebra—exactly when it is internally dressed, with its boundary fixed by fields inside the region.","keywords":["internally dressed subsystems","closed Poisson algebra","covariant phase space","general relativity","gauge fixing","relational observables","microcausality","surface charges"],"falsifier":"Exhibit a gauge-fixed gravitational system that satisfies the internal-dressing constraints $G_k=0$ but whose residual diffeomorphisms do not integrate to a Lie group action on $D(\\Sigma)$, and compute the Poisson bracket of two regular observables of that region; a single bracket that is not again a regular region observable would falsify Corollary 6.","tokens_in":30757,"feed_emoji":"🌌","tokens_out":8506,"duration_ms":80209,"temperature":0.7,"pith_summary":"The paper proposes that a gravitational subsystem is genuinely self-contained only when its boundary is located by degrees of freedom living inside the region, a property it calls internal dressing. It argues that internal dressing is exactly the criterion that makes the region's regular observables form a closed Poisson algebra—the bracket of any two stays in the region—and that these observables generate field-dependent gauge transformations on the causal complement. If this is right, it answers the old worry that diffeomorphism invariance leaves no room for localized subsystems in gravity: relational observables can be local enough, provided the relation is internal. The paper also proves that observables in spacelike-separated dressed subsystems commute, and applies the framework to electromagnetic Wilson lines, scalar-dressed models, causal and entanglement wedges, and one-sided boost charges.","feed_headline":"Internally dressed regions form true subsystems in gravity","feed_subtitle":"Region observables then form a closed algebra and commute at spacelike separation—where gravity permits localized degrees of freedom.","key_machinery":"The central object is the internally dressed subsystem, defined by a dynamical reference frame whose constraints are (I) fully fixing $\\partial\\Sigma$, (II) covariant under diffeomorphisms, and (III) internal to $D(\\Sigma)$. In the proof the work is done by the restricted distribution $S'_g(\\Sigma)$—flows on the gauge-fixed constraint surface that restrict to gauge transformations inside $D(\\Sigma)$—together with its symplectic complement $S'_g(\\bar{\\Sigma})$. The two formal assumptions that make everything run are that residual gauge transformations preserving $G_k=0$ act as a Lie group on the region, and that the linearized equations obey the two causality axioms of Section 2.1; these give local integrability of $S'_g(\\Sigma)$ (Proposition 4.1) and hence the closed Poisson algebra.","core_discovery":"The central claim is that a spacetime subregion $D(\\Sigma)$ in a generally covariant theory is a genuine subsystem—its regular observables close under the Poisson bracket—precisely when it is internally dressed: when the constraints $G_k=0$ that fix $\\partial\\Sigma$ are built from fields inside the region. On the gauge-fixed constraint surface the subregion flows form the locally integrable distribution $S'_g(\\Sigma)$, and the paper proves (Proposition 4.2) that observables generating flows in $S'_g(\\Sigma)$ are exactly the regular observables supported in the region. Because that distribution is involutive, the observables close into an algebra (Corollary 6). Observables in the region thereby generate flows that are gauge transformations on the causal complement, a constrained non-locality that the paper argues is necessary rather than obstructive. Proposition 4.3 then shows that two spacelike-separated internally dressed subsystems have mutually commuting algebras, and the discussion identifies causal and entanglement wedges as natural dressed subsystems when holographic boundary conditions make the fixing diffeomorphisms pure gauge.","pith_inferences":["The internal-dressing condition may be the right general principle for defining subsystems in any theory with a local constraint algebra, not only gravity; the paper does not claim this generality.","A testable quantum extension is the BRST criterion sketched in Section 6.3: one could compute $[\\phi, O]$ in the scalar Z-model in perturbation theory and check that it equals a BRST-exact term exactly when $O$ belongs to the dressed subsystem.","If the kink-transform argument is right, the extremality of $\\partial\\Sigma$ is not a technical convenience but the leading-order classical condition for the subsystem to contain a well-defined one-sided boost charge—possibly the seed of an entanglement-wedge reconstruction statement in the quantum theory."],"forward_implications":["Internally dressed regions supply a working notion of subsystem in classical general relativity: their regular observables form a closed Poisson algebra and can be evolved self-containedly.","Spacelike-separated dressed subsystems commute, so a limited form of microcausality survives in gravity even though generic relational observables do not commute.","Gauge fixing inside a region does not create new observables; it re-expresses gauge-invariant observables in a form localized to the region, so subregion phase spaces are consistent without needing new edge-mode degrees of freedom.","The same covariant-phase-space technology resolves the standard ambiguity in the subregion symplectic form and identifies the kink transform (a one-sided boost) as a singular generator whose charge is $\\frac{A}{4G_N}$ when the surface is extremal.","The characterization of locally gauge flows gives a model-independent argument that non-factorization of gauge-theory phase spaces is caused entirely by surface symmetries."],"supporting_citations":[{"why":"Supplies the dynamical-reference-frame formalism for relational observables that internal dressing refines and that the paper re-expresses via gauge fixing.","marker":"[11]"},{"why":"Establishes the generic non-commutativity and locality obstruction for relational observables that the internal-dressing criterion is designed to overcome.","marker":"[16, 17]"},{"why":"Introduces the subregion phase-space and boundary-charge language used for the surface-charge and kink-transform discussion.","marker":"[38]"},{"why":"Provides the covariant phase space conventions, boundary conditions, and corner-term ambiguity handling on which the proofs rely.","marker":"[18]"},{"why":"Gives the alternative subregion bracket prescription that the paper connects to its own resolution of the symplectic-current ambiguity.","marker":"[41]"},{"why":"Provides an earlier example of commuting dressed observables that Proposition 4.3 generalizes to spacelike-separated internally dressed subsystems.","marker":"[12]"}],"fun_headline_variants":["Dressed subsystems: closed algebras and spacelike commutativity","Gravity subsystems need internal dressing to close algebra","Spacetime regions as true subsystems only when internally dressed","Closed Poisson algebra: how subsystems work in gravity","Dressing subregions makes them genuine gravitational subsystems"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof leans on an unproven premise: after the conditions that fix the region's boundary are imposed, the leftover gauge transformations act on the region as a smooth group; if this fails, the subregion phase space and the closed-algebra conclusion can fail.","fun_headline_variants_meta":{"raw":{"variants":["Dressed subsystems: closed algebras and spacelike commutativity","Gravity subsystems need internal dressing to close algebra","Spacetime regions as true subsystems only when internally dressed","Closed Poisson algebra: how subsystems work in gravity","Dressing subregions makes them genuine gravitational subsystems"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000241,"raw_usage":{"total_tokens":1535,"prompt_tokens":972,"completion_tokens":563,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":588,"completion_tokens_details":{"reasoning_tokens":487}},"tokens_in":588,"tokens_out":563,"duration_ms":6087,"temperature":1.0,"reasoning_tokens":487,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:28:46.054829+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a gauge-fixed gravitational system that satisfies the internal-dressing constraints $G_k=0$ but whose residual diffeomorphisms do not integrate to a Lie group action on $D(\\Sigma)$, and compute the Poisson bracket of two regular observables of that region; a single bracket that is not again a regular region observable would falsify Corollary 6.","supporting_citations":[{"cited_title":"Unambiguous Phase Spaces for Subregions","cited_arxiv_id":"1901.09857","evidence_quote":"Gives the alternative subregion bracket prescription that the paper connects to its own resolution of the symplectic-current ambiguity."}],"review_version":1}