{"id":"0abafba9-68f6-47f5-89e8-56cb509fdc8f","arxiv_id":"2412.00993","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Gravitational physics without idealized frames and boundaries becomes perspectival, leaving physical covariance across physical reference frames as the key open problem.","lead":"This paper argues that three active research programs, boundary charges and edge modes, relational dynamics in gravity, and quantum reference frames, are facets of one program: modelling gravitational systems without idealized coordinate frames or closed/asymptotic boundaries. The consequence, if the argument holds, is that gravitational descriptions are tied to physical reference frames, so a proper notion of 'physical covariance' is a central open problem.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central modal claim is under-supported: the paper establishes frame-relative description but not the absence of physical covariance, so 'necessarily perspectival' is conditional on a conjecture.","rationale":"The reader's verdict of CONDITIONAL is appropriate, and the reader correctly identifies an overclaim. My stress-test concern is related but distinct: the weakest point is not only the stable system/agent split, but the modal inference from an open research problem to the strong conclusion of necessarily perspectival physics. Even granting Presumption I, the conclusion that physical covariance may be absent requires showing that no well-defined frame-change map can be constructed in the relevant quantum gravitational context. The paper does not show this; it shows that current constructions are incomplete. Thus I partially agree with the reader's weakest-assumption analysis. This is not an objection to the positive research programme, which is honestly presented as a pointer to further work. It is a request to distinguish 'currently unconstructed' from 'necessarily perspectival.' The proposed test would help decide whether the gap is technical or principled. Since the reader's CONDITIONAL verdict already reflects this caution, I recommend no change to the verdict.","tokens_in":21783,"tokens_out":5990,"duration_ms":65674,"concrete_test":"Analyze a concrete generally covariant system with two physical frames, e.g., a flat FLRW model with two minimally coupled scalar fields used as clocks, or a Brown-Kuchar dust model with two dust species. Construct the two reduced physical theories (one per clock) and the perspective-neutral constraint surface, then construct the explicit transformation map between the two reduced descriptions. Check whether the map is (a) global on the constraint surface or only local due to Gribov-type obstructions, and (b) unitary in the quantum theory. If the map exists globally and unitarily, the paper's 'may have no general covariance' is falsified for that model; if the map is only local or non-unitary, the open-problem reading is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper has two layers: (i) realistic gravitational models require physical frames, so descriptions are frame-relative; and (ii) physical covariance across frames is missing, so the result is necessarily perspectival and objectivity is limited. Layer (i) is well supported by the relational and edge-mode results summarized in Sections 2-6. Layer (ii) is not. In Section 9 the authors themselves cite the perspective-neutral and QRF-switching constructions as a promising route, and they acknowledge explicit classical examples of physical covariance. No no-go theorem is offered for the absence of such maps in full quantum gravity. Instead, the paper moves from 'this is not yet constructed' to 'we may have no general covariance' and, in Section 8, to 'concrete physical models associated with different physical frames are, in principle, unrelated.' That is a modal gap: current open status does not entail unattainability. The philosophical conclusions about intersubjectivity and objectivity depend on this gap, so they are conditional on a conjecture rather than consequences of the technical results. This remains the load-bearing soft spot even if Presumption I and the finite-boundary system/agent split are granted.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that three currently active research lines—edge modes and boundary charges in finite regions, relational dynamics in classical and quantum gravity, and quantum reference frames—form parts of a single research programme aimed at removing two standard idealizations: idealized coordinate frames and closed or asymptotic boundary conditions. On the basis of these lines it claims that realistic gravitational models must be formulated relative to physical reference frames, and that physical covariance across such frames is a key open problem. It then draws the stronger conclusion that removing the idealizations makes gravitational physics 'necessarily perspectival' and that this poses fundamental limitations on intersubjectivity and objectivity.","tokens_in":21969,"tokens_out":4255,"duration_ms":44483,"significance":"If the technical background is accepted, the paper provides a valuable synthesis of three currently active research directions and clearly identifies physical covariance as a central unsolved problem. Its nine-step argument is transparent, it explicitly states its starting presumptions, and it draws on robust results in gauge theory, edge modes, and relational observables. The paper is also commendably explicit about the open and programmatic nature of much of what it reviews. Its genuine contribution is to connect these research lines and to sharpen the question of what, if anything, is invariant across fully physical reference frames in quantum gravity. The philosophical conclusions about perspective and objectivity are potentially important, but their strength depends on closing the modal gap discussed in the major comments.","major_comments":[{"comment":"The central modal claim is under-supported. The paper moves from 'physical covariance across physical frames has not yet been constructed' to 'we may have no general covariance' (Section 9) and to the conclusion that a quantum understanding of gravity is 'necessarily perspectival' (Discussion). However, Section 9 itself states that explicit classical examples of physical covariance exist and cites the perspective-neutral and QRF-switching routes as promising, and the Discussion concedes that the conclusion is 'mostly a pointer' to further research. No no-go theorem is offered for the absence of such maps in full quantum gravity. Because the intersubjectivity and objectivity conclusions depend on this step, they are currently conditional on a conjecture rather than consequences of the technical results. Please either weaken the claims to explicitly conditional form or provide a substantive argument that the known constructions cannot be generalized.","section":"Section 9; Discussion"},{"comment":"The sentence 'concrete physical models associated with different physical frames are, in principle. unrelated' asserts an impossibility that is not established by the preceding discussion. The Gribov obstruction, quantum-frame incompatibility, and backreaction effects show that frame dependence is nontrivial and that explicit translation maps are difficult to construct, but they do not show that no translation map exists. This is especially problematic because Section 9 lists examples of physical covariance and promising QRF-switching constructions. The claim should be replaced by a carefully scoped statement about the present lack of general maps, or supported by a proof of non-relation.","section":"Section 8"},{"comment":"The 'necessarily' in the conclusion depends on the claim that a stable system/agent split encoded in finite spacetime boundaries is unavoidable in realistic modelling. This is stated as a presumption, which is legitimate, but the paper then presents the perspectival conclusion as categorical rather than conditional on that presumption. If a gravitational system can be modelled as genuinely closed, or if the observer can be effectively decoupled, the conclusion that physical covariance is an unavoidable open problem loses its force. The final claims should be explicitly scoped by Presumption I and by the assumed impossibility of a fully closed-system description.","section":"Introduction, Presumption I"}],"minor_comments":[{"comment":"There is a typographical error in 'in principle. unrelated'; the period should be removed.","section":"Section 8"},{"comment":"The in-text citation 'Hoehn, Smith, & Lo 2021a' is a truncated rendering of 'Hoehn, Smith, & Lock 2021a'; please correct the citation.","section":"References"},{"comment":"The section header is misspelled as 'Ackowledgements'; it should be 'Acknowledgements'.","section":"Acknowledgements"},{"comment":"The claim that coordinate frames can be physical in the special cases of isometries and asymptotic boundaries is substantive and would benefit from an explicit example or more detailed justification, since it is used to demarcate the idealized cases.","section":"Section 4"}],"recommendation":"major_revision","confidential_remarks":"The paper is a programmatic synthesis rather than a new technical derivation, and it should be assessed as such. The technical review is sound at the level of the summarized results, but the strongest philosophical claims need to be brought into line with the admitted open status of the problem. The authors may also wish to ensure that the load-bearing citations to their own previous work are presented as a coherent research programme rather than as an implicit assumption."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Readable, honest synthesis paper. The genuinely new thing is the unification claim: edge modes and boundary charges, relational dynamics, and quantum reference frames presented as three faces of one program, with 'physical covariance' named as the central open problem. As a programmatic statement, that lands. It is not a technical paper; the component results are recalled from prior work, much of it the authors' own, but the synthesis itself is the contribution.\n\nCredit where due: the nine-step argument is clearly structured; the technical summaries in Sections 1-6 are accurate recollections of solid results (dressing and gauge-fixing, edge modes as frames, regional invariant structures); and Section 9 is fair to the opposition, explicitly citing classical examples of physical covariance and the perspective-neutral QRF route. The authors are also unusually candid. Section 7 admits that no complete, fully general construction of a relational description exists, and the Discussion concedes the conclusion is 'mostly a pointer.' That honesty matches what the evidence supports.\n\nThe soft spot is the modal step. The paper moves from 'physical covariance is not yet constructed' to 'we may have no general covariance' to 'necessarily perspectival' and limits on objectivity. Nothing in Sections 1-6 rules out a construction, and the authors themselves point to promising routes. So the philosophical payload is conditional on a conjecture, not implied by the technical results. The reader's conditional verdict is right, and this is the load-bearing issue even if one grants Presumption I. Second: the necessity claim inherits the system/agent split (Presumption I). If closed-system modelling or asymptotic decoupling is legitimate in the regimes that matter, and the authors admit these idealizations are often robust, the inevitability weakens. Third, minor: several premises cite the authors' own recent program. That is not circular, since the cited results stand independently, but it does make the synthesis partly self-referential.\n\nAudience: philosophers of physics and the relational/QRF/edge-mode community. The paper is useful as an umbrella reference and is the clearest statement yet of a real open problem. It deserves a serious referee. My recommendation: send it out, and push the authors to either formalize what 'physical covariance' would be or explicitly recast the necessity claim as a conjecture requiring a no-go result.","headline":"A candid, well-structured programmatic synthesis that plausibly unifies edge modes, relational observables, and quantum reference frames around 'physical covariance,' but whose 'necessarily perspectival' conclusion outruns the evidence and should be framed as conjecture.","tokens_in":22495,"tokens_out":4210,"would_cite":true,"duration_ms":38337,"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":"Removing idealizations from gravitational modelling makes the description of any system intrinsically relative to a physical reference frame, and leaves no established notion of physical covariance across such frames.","keywords":["physical covariance","quantum reference frames","edge modes","relational observables","diffeomorphism invariance","gauge theory and boundaries","perspectivalism","observer dependence"],"falsifier":"Construct, in a concrete quantum gravity toy model with two different physical clocks, the exact unitary transformation between their relational descriptions and check whether it preserves the full algebra of relational observables. A single model in which this map exists and preserves the algebra would falsify the paper's claim that physical covariance across physical frames is unattained.","tokens_in":21566,"feed_emoji":"🌌","tokens_out":7933,"duration_ms":71026,"temperature":0.7,"pith_summary":"This paper argues that two routine idealizations—treating gravitational systems as closed or extending to infinity, and modelling reference frames as coordinate choices—cannot both be removed from a realistic theory without making the description of any gravitational system relative to a physical frame. Drawing on recent work on edge modes, relational observables, and quantum reference frames, it claims that these three lines are aspects of one programme whose central open problem is physical covariance: how to relate descriptions built from different physical frames, and what is invariant between them. The authors conclude that a fundamental, quantum understanding of gravity is necessarily perspectival, and that standard general covariance is already accounted for while a physical counterpart is not. If correct, this converts philosophical talk about observers into a concrete technical challenge: either construct physical covariance, or accept that gravitational facts are frame-relative.","feed_headline":"No general covariance survives realistic physical frames","feed_subtitle":"Once ideal clocks and infinite boundaries are dropped, only frame-relative descriptions of spacetime remain.","key_machinery":"The load-bearing machinery is the identification of the observer/system split with a finite spacetime boundary, and the claim that the edge modes on that boundary act as a physical reference frame. In the relational strategy, gauge-fixing becomes 'dressing': a field configuration $\\phi$ is mapped to a gauge-invariant composite by a field-dependent transformation $\\gamma(\\phi)$, which is precisely the choice of physical frame; its infinitesimal version is a connection form $\\omega$ on field space, so what counts as 'pure gauge' vs 'physical' is itself a choice of frame. The second half of the machinery is quantum: physical frames are genuine quantum systems, so their uncertainty, entanglement, and back-reaction on geometry cannot be switched off. The triple identification of boundary, physical frame, and observer perspective carries the whole argument: finite boundary implies physical frame, and physical frame implies perspectival description.","core_discovery":"On the paper's own terms, the central claim is conditional: if two standard idealizations are removed—the idealization of closed or asymptotic boundaries and the idealization of coordinate or non-gravitating reference frames—then gravitational physics becomes necessarily perspectival. The formal support is well-established: diffeomorphism invariance makes coordinate frames unphysical; relational observables require physical frames; finite regions require edge modes; and edge modes define physical frames at the boundary. Since physical frames are dynamical and, at quantum level, subject to uncertainty and entanglement, no exact notion of covariance across them has been constructed, and the paper argues there is no reason to expect invariance of physical properties under such maps. The shift is from searching for invariant observables to asking what, if anything, is invariant across physical frames.","pith_inferences":["A natural next step, not taken in the paper, is to attempt a no-go theorem: show that in a generic quantum gravitational system no unitary map between physical-frame descriptions can preserve the full algebra of relational observables.","If the argument is right, it suggests that facts in quantum mechanics and facts about spacetime geometry may share the same structural origin: both are relative to a chosen physical perspective.","The weakest premise could be tested by constructing a model of a closed universe with no observer and asking whether diffeomorphism-invariant observables can be defined globally; the paper assumes the system/agent split is unavoidable.","The paper's conjecture that invariance across physical frames is generically absent implies that full intersubjective agreement, if possible at all, would require new physics beyond standard gauge symmetries."],"forward_implications":["A realistic quantum theory of gravity would consist of a family of relational descriptions, each expressed through a physical frame, rather than a single gauge-invariant account of spacetime.","Standard general covariance is already taken into account by relational observables; the remaining open problem is physical covariance across physical frames, which the paper says is unattained.","Quantum properties such as superposition and entanglement can be frame-dependent, so even the sharpness of a reference frame is relative to the perspective of another observer.","Physical frames back-react on geometry, and in the quantum regime their fluctuations can make this back-reaction non-negligible, so idealized non-gravitating clocks and rods are expected to fail.","The conclusions extend to any gauge theory in finite regions, since edge modes are needed there to preserve gauge invariance and define physical frames at the boundary."],"supporting_citations":[{"why":"Defines relational observables as partial observables, establishing the strategy of expressing physics relative to fields rather than manifold points.","marker":"(Rovelli, 2002a)"},{"why":"Supplies the construction of partial and complete observables in canonical general relativity, the technical backbone of relational frames.","marker":"(Dittrich, 2006)"},{"why":"Shows that diffeomorphism-invariant observables built from dynamical frames can reconcile bulk locality with general covariance.","marker":"(Goeller, Hoehn, & Kirklin, 2022)"},{"why":"Introduces edge modes for local subsystems in gauge theory and gravity, the mechanism that keeps boundary physics gauge-invariant.","marker":"(Donnelly & Freidel, 2016)"},{"why":"Constructs quasilocal degrees of freedom for Yang-Mills theory in finite regions, showing boundary frames give gauge-invariant regional dynamics.","marker":"(Gomes & Riello, 2021)"},{"why":"Treats edge modes as physical reference frames at boundaries and derives boundary actions from post-selection, central to the boundary-frame link.","marker":"(Carrozza & Höhn, 2022)"},{"why":"Provides the perspective-neutral framework for switching quantum reference frames, the main candidate route to physical covariance at quantum level.","marker":"(Vanrietvelde, Hoehn, Giacomini, & Castro-Ruiz, 2020)"},{"why":"Establishes the equivalence of relational quantum dynamics approaches, used to show quantum frame covariance is still a work in progress.","marker":"(Hoehn, Smith, & Lock, 2021b)"}],"fun_headline_variants":["Physical frames destroy general covariance","Realistic frames: covariance becomes frame-relative","No exact covariance across physical frames","Dropping ideal frames leaves only partial invariance","Beyond ideal frames: physical covariance fails"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument stands on the premise that every realistic gravitational model must encode a stable split between the modelled system and the agent/observer, realized as a finite spacetime boundary carrying edge modes; if a system could be treated as genuinely closed or the observer harmlessly decoupled, the conclusion that gravity is necessarily perspectival would lose its force.","fun_headline_variants_meta":{"raw":{"variants":["Physical frames destroy general covariance","Realistic frames: covariance becomes frame-relative","No exact covariance across physical frames","Dropping ideal frames leaves only partial invariance","Beyond ideal frames: physical covariance fails"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000213,"raw_usage":{"total_tokens":1371,"prompt_tokens":844,"completion_tokens":527,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":460,"completion_tokens_details":{"reasoning_tokens":465}},"tokens_in":460,"tokens_out":527,"duration_ms":5125,"temperature":1.0,"reasoning_tokens":465,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T04:47:19.770626+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct, in a concrete quantum gravity toy model with two different physical clocks, the exact unitary transformation between their relational descriptions and check whether it preserves the full algebra of relational observables. A single model in which this map exists and preserves the algebra would falsify the paper's claim that physical covariance across physical frames is unattained.","supporting_citations":[],"review_version":1}