{"id":"3d0e90d5-739b-42db-afa9-5865ce925558","arxiv_id":"2412.19760","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new 'arbitrariness problem' for choosing reference frames is introduced and dissolved, while uncoupled reference frames are shown to reopen a 'new hole argument'.","lead":"This paper argues that using physical reference frames in general relativity removes the classic hole argument's threat to determinism, leaving only a harmless choice of coordinates. It introduces and resolves a new 'arbitrariness problem' and shows what happens when reference frames are not tied to gravity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The CRF/URF classification and the determinism claim it anchors are imported from an unpublished companion paper; if that classification is wrong, the paper's resolution of the hole argument collapses.","rationale":"The reader's weakest_assumption correctly identifies the most load-bearing premise: the CRF/URF symmetry-group classification, cited to Bamonti and Gomes (2024), is imported rather than proved. My read agrees. The paper's positive contributions should be credited: the pullback calculation in Section 1.2.1 correctly shows that gIJ(φ) is invariant under the diagonal action of Diff(M), and the ARB resolution via Eq. (1) as a passive coordinate transformation is a reasonable way to see why the red/blue frame choice is not a pernicious gauge ambiguity. However, the step from invariance to the hole argument's closure—'only in CRFs determinism is guaranteed'—is exactly where the imported classification does the work. If the claimed symmetry groups are wrong, then the CRF case might admit multiple dressed metrics from the same initial data, and the NHA would reappear in the supposedly resolved case. The concrete test proposed here would settle this directly by computing the stabilizers for the actual field theories the paper invokes, without requiring the companion paper. Until that check is performed, the conditional verdict is appropriate: the philosophical framework is plausible, but its central technical premise is not independently secured. No change to the reader's verdict is warranted.","tokens_in":13349,"tokens_out":17520,"duration_ms":190069,"concrete_test":"Compute the dynamical symmetry group for the concrete CRF model the paper gestures at: GR coupled to four Klein-Gordon scalars with action S = ∫√-g [R + g^{ab}∂_aφ^I∂_bφ^I]. For a generic φ that is a local diffeomorphism to R^4, determine whether any non-identity d with d|_Σ = id can satisfy both the Einstein and Klein-Gordon equations for (d*g, φ) or for (g, d*φ) with the same initial data. Repeat for a URF model with scalars whose action has no metric coupling. If Diff(M)×Diff(M) is not recovered for URFs, or if a non-trivial stabilizer exists for CRFs, the classification underpinning the central claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that only CRFs guarantee determinism and thus foreclose the hole argument rests on an unproved dichotomy: for CRFs the dynamical symmetry group is diagonal Diff(M), so (d*g, φ) is not a solution for generic d, while for URFs it is Diff(M)×Diff(M), so (g, d*φ) is also a solution. These assertions are not derived in the paper; they are imported from Bamonti and Gomes (2024) in footnotes 3 and 4. The apparent proof in Section 1.2.1 is a restatement of this classification rather than a derivation. It assumes that a dynamically coupled frame has the stated stabilizer property, and that an uncoupled one admits independent diffeomorphisms, but no concrete field-theoretic calculation is given. The determinism conclusion for CRFs also requires well-posedness of the coupled initial-value problem, which is not discussed. If the companion paper's symmetry-group computation is wrong, or does not apply to the GPS/Klein-Gordon examples used here, then the uniqueness claim that at most one isomorphic copy of g is compatible with each φ fails, and both the resolution of the SHA and the NHA lose their foundation. This is load-bearing because the CRF/URF distinction functions as a theorem-like premise, yet its sole evidence is a self-citation to an unpublished manuscript.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper applies a distinction, due to Bamonti and Gomes (2024), between reference frames dynamically coupled to gravity (CRFs) and uncoupled frames (URFs). It argues that CRFs resolve the standard hole argument because a diffeomorphism acts diagonally on the coupled fields (g, φ), so at most one isomorphic copy of g is compatible with a given φ; URFs, by contrast, do not yield deterministic evolution of the relational metric g_IJ(φ). The paper then introduces the Arbitrariness Problem (ARB): two different CRFs give different relational observables g_IJ(φ_r) and g_IJ(φ_b), but these are claimed to be related by a passive coordinate transformation m (Eq. 1) and hence by an 'external' active diffeomorphism d, so the choice of frame is benign. Finally, the paper formulates a New Hole Argument (NHA) for URFs, distinguishing a non-pernicious (GI-based) reading from a pernicious (RI-based) reading, and claims a counterexample to Wallace's Unobservability Thesis.","tokens_in":13622,"tokens_out":7340,"duration_ms":77769,"significance":"If the CRF/URF distinction and the associated determinism claim can be established, the paper offers a clean relational dissolution of the standard hole argument and identifies a genuinely new issue, the Arbitrariness Problem, that deserves attention. The formal pullback identity in Section 1.2.1 is correct, and the GPS example is a useful concrete test case. The paper also draws a thought-provoking contrast between relational invariance (RI) and gauge-invariance (GI). However, the central technical premises are imported from an unpublished companion paper by the same authors, and the ARB resolution is admittedly conditional on a global-overlap assumption that is unrealistic for genuine GPS frames. These gaps make the present version of the paper not fully self-contained and leave its main conclusions conditional.","major_comments":[{"comment":"The central determinism claim for CRFs is asserted rather than demonstrated. The passage 'It is easy to show that only in the case in which the set of {φ^I} constitutes a CRF, determinism is guaranteed, thus foreclosing the hole argument' is followed by a symmetry-group assertion ('for CRFs, when the pair (g_ab, φ^(I)) is a possible solution, then ([d^*g]_ab, φ^(I)) is not, for a generic d') that is delegated to the unpublished Bamonti and Gomes (2024) in footnotes 3 and 4. No proof is given that the coupled Einstein–Klein-Gordon (or GPS) system has a unique solution given initial data and the frame fields, nor is a well-posedness theorem cited. Since the SHA resolution and the later NHA both rest on this dichotomy, this is a load-bearing gap. The authors should either provide a self-contained proof of the CRF/URF symmetry-group dichotomy and the associated uniqueness, or explicitly state the dichotomy and its provenance as an assumption.","section":"1.2.1"},{"comment":"The proposed resolution of the Arbitrariness Problem is conditional on an assumption the authors themselves call 'a clearly unrealistic supposition': that the two reference frames overlap on the entire manifold M. If the red and blue frames are only locally defined, the passive map m in Eq. (1) does not exist globally, and the active counterpart d = φ_r^{-1} ∘ m ∘ φ_r need not be a diffeomorphism of M. Thus the ARB is resolved only in a special global-overlap case; for realistic GPS frames covering only a region U, the paper leaves open whether the 'dictionary' between frame choices can be constructed. This is load-bearing because ARB is the paper's new contribution.","section":"2.1, Eq. (1), footnote 12"},{"comment":"The New Hole Argument dilemma is built on the status of URFs as physically instantiated but dynamically uncoupled fields. However, the claim that for URFs both (g_ab, d^*φ^(I)) and ([d^*g]_ab, φ^(I)) are solutions is again imported from Bamonti and Gomes (2024) in footnote 4; without that premise, the dichotomy between case (i) and case (ii) does not follow. In addition, the counterexample to Wallace's Unobservability Thesis presupposes that empirical access to g_IJ(φ) is available for an uncoupled frame; the paper does not explain how a field that is dynamically uncoupled from gravity and from measuring devices can be read out. These points should be addressed before the NHA is presented as a result.","section":"2.2, footnote 4"}],"minor_comments":[{"comment":"There are several typos and minor infelicities: 'constitues' in Section 1.2.1, 'sometisimes' and 'diffeomoprhisms' in footnote 1, 'accompained' in Section 2.1, and 'indeterminsm' in Section 2.2. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The formula (GI) ↔ [(RI) ∧ (DET)] is introduced without a precise statement of the domains of these properties. The reader needs a definition of (DET) and a specification of which models or quantities the equivalence is supposed to hold for; otherwise the formula is difficult to evaluate.","section":"Section 1.1"},{"comment":"The argument that restricting to diffeomorphisms preserving initial data involves no loss of generality is compressed. The 'quick way' sentence deserves expansion, since it is the only justification for a key restriction used in the analysis of CRFs.","section":"Section 2.1, footnote 11"},{"comment":"The companion paper Bamonti and Gomes (2024) is listed as 'forthcoming' without a venue or a stable identifier. If it is available as a preprint, a DOI or arXiv number should be provided so that readers can verify the load-bearing symmetry-group claims.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is not self-contained: the central CRF/URF dichotomy, the determinism claim, and the symmetry-group assertions are all taken from an unpublished companion paper by the same authors, with the present paper citing it in footnotes 3 and 4. For a journal publication, the editor may wish to require that the companion be made available or that the proof be included. There is also an unusual reliance on self-citations; this is acceptable if the companion is forthcoming, but its availability should be confirmed. The ARB, which is the paper's main new contribution, is explicitly conditional on a clearly unrealistic global-overlap assumption, so its scope should be stated more cautiously."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two genuinely new things here: the Arbitrariness Problem (ARB) and the New Hole Argument (NHA), plus a counterexample to Wallace's Unobservability Thesis. The ARB—the residual freedom to pick between two reference frames—is resolved convincingly by showing that the two frame choices are related by a passive coordinate transformation, Eq. (1). The NHA for uncoupled frames sharpens the distinction between relational and gauge-invariant quantities. Both rest on the CRF/URF taxonomy that the authors import from their own unpublished Bamonti-Gomes (2024) paper.\n\nWhat's well done: the pullback computations in Secs. 1.2.1 and 2.1 are correct; the external-diffeomorphism distinction (bold d vs d) is explained clearly and does real work; the paper is honest about assumptions. The ARB resolution is neat and demonstrates that frame choice doesn't break gauge covariance.\n\nThe soft spots are real but addressable. The central classification—CRFs have diagonal Diff(M) symmetry, URFs have Diff(M)×Diff(M)—is asserted in footnotes 3 and 4, not proven. The determinism claim for CRFs is delegated to the companion paper. Footnote 11 gives a heuristic argument, but it's not a proof of generic uniqueness or well-posedness. If the companion paper's group computation is wrong or doesn't apply to the GPS/Klein-Gordon examples used here, the paper's resolution of the hole argument collapses. This is load-bearing. The Wallace counterexample is also compressed: the claim that empirical data can distinguish gIJ(φ) from gIJ(d*φ) needs more detail about how measurement works for RI quantities. Minor: the section title with the Tolkien quote is cuteness you don't need.\n\nThis is a paper for philosophers of physics working on gauge, determinism, and observables in GR. It deserves a serious referee, but that referee should request the companion paper or a proof sketch of the symmetry classification. The core idea is plausible and the new distinctions are worth having; the flaws are fixable.","headline":"New and useful distinctions for the hole argument, but the central CRF/URF classification is borrowed from an unpublished companion paper.","tokens_in":14148,"tokens_out":3154,"would_cite":true,"duration_ms":31293,"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 claims that dynamically coupled reference frames close the hole argument, while uncoupled frames reopen it as a new dilemma.","keywords":["hole argument","reference frames","general relativity","determinism","gauge invariance","relational observables","complete observables","diffeomorphism invariance"],"falsifier":"Find a dynamically coupled scalar-field frame $\\varphi^I$ such that both $(g_{ab}, \\varphi^I)$ and $(g_{ab}, d^*\\varphi^I)$ solve the coupled Einstein–Klein–Gordon equations for some diffeomorphism $d$ that is the identity on a Cauchy surface but non-trivial inside the hole; the existence of such a solution would falsify the claim that CRFs guarantee determinism.","tokens_in":13127,"feed_emoji":"🕳️","tokens_out":12261,"duration_ms":83795,"temperature":0.7,"pith_summary":"This paper argues that the standard hole argument in general relativity is resolved precisely when reference frames are dynamically coupled to gravity, and that the remaining freedom in choosing a frame is benign. Building on a companion classification of reference frames, the authors distinguish coupled frames (CRFs), whose diffeomorphism symmetry acts jointly on metric and frame fields, from uncoupled frames (URFs), which admit independent diffeomorphisms of each. For CRFs, the paper claims, determinism is guaranteed: from fixed initial data the relational metric components $g_{IJ}(\\varphi)$ are unique, so the standard hole argument is foreclosed. The residual 'Arbitrariness Problem' (ARB) — whether to use one physical frame or another — is shown to be harmless because any two choices are related by a passive diffeomorphism, an 'external' active diffeomorphism that translates between complete observables. For URFs, the paper identifies a new hole argument (NHA): the indeterminism is physically pernicious if one regards reshuffling-invariant (RI) quantities as physical, but dissolves if one requires gauge-invariant (GI) quantities, a distinction the authors take from their companion paper.","feed_headline":"Dynamically coupled frames shut the hole argument","feed_subtitle":"Uncoupled frames reopen it as a new dilemma; frame choice is a passive coordinate change.","key_machinery":"The machinery is the classification of reference frames into coupled reference frames (CRFs) and uncoupled reference frames (URFs), together with the criterion $(GI) \\leftrightarrow [(RI) \\wedge (DET)]$ imported from the companion paper. Here (RI) is reshuffling invariance under diffeomorphisms, (DET) is deterministic evolution, and (GI) is full gauge-invariance. The proof that only CRFs guarantee determinism turns on the diagonal action of $\\mathrm{Diff}(M)$ on the pair $(g_{ab}, \\varphi^{(I)})$: for a coupled frame, diffeomorphisms act on the metric and the frame together, so a generic active diffeomorphism $d$ destroys the coupled field equations. For URFs the symmetry group factorises into $\\mathrm{Diff}(M)\\times\\mathrm{Diff}(M)$, acting separately on $g$ and $\\varphi$, which is why both $([d^*g]_{ab}, \\varphi)$ and $(g_{ab}, d^*\\varphi)$ solve the equations. The resolution of the Arbitrariness Problem is carried by equation (1), the passive coordinate transformation $m$ relating $g_{IJ}(\\varphi_r)$ and $g_{IJ}(\\varphi_b)$, and its active counterpart $\\mathbf{d} := \\varphi_r^{-1}\\circ m\\circ \\varphi_r$, called the external diffeomorphism. This $\\mathbf{d}$ distinguishes an active diffeomorphism that changes which complete observable one writes down ($\\mathbf{d}$-covariance) from the active diffeomorphisms under which each complete observable is invariant ($d$-invariance).","core_discovery":"The central claim is that reference frames, not just coordinates, change the status of the hole argument. The paper states that only when the fields $\\varphi^I$ constitute a CRF is determinism guaranteed, thus foreclosing the standard hole argument. More precisely, for a coupled frame the pair $(g_{ab}, \\varphi^{(I)})$ being a solution rules out $([d^*g]_{ab}, \\varphi^{(I)})$ for generic diffeomorphisms $d$, so the relational metric $g_{IJ}(\\varphi) := ((\\varphi^{(I)})^{-1})^*g_{ab}$ is a unique, deterministic, (GI) complete observable. For uncoupled frames, both $([d^*g]_{ab}, \\varphi^{(I)})$ and $(g_{ab}, d^*\\varphi^{(I)})$ are solutions for any $d$ because the dynamical symmetry group expands to $\\mathrm{Diff}(M)\\times\\mathrm{Diff}(M)$; hence $g_{IJ}(\\varphi)$ satisfies reshuffling invariance (RI) but not deterministic evolution (DET), and does not qualify as a (GI) complete observable. The paper introduces the Arbitrariness Problem (ARB) to capture the residual freedom of choosing which physical system acts as the frame, and resolves it with equation (1): two complete observables $g_{IJ}(\\varphi_r)$ and $g_{IJ}(\\varphi_b)$ built from two GPS-like frames are related by a purely passive diffeomorphism $m$, whose active counterpart is the external diffeomorphism $\\mathbf{d}$; observables are $d$-invariant but $\\mathbf{d}$-covariant. For URFs the paper formulates a New Hole Argument (NHA) dilemma: if 'physical' means (GI), the redundancy is not physically pernicious; if 'physical' means (RI), the URFs case yields genuine indeterminism and a relational variety of haecceitism, and it also provides a counterexample to the Unobservability Thesis because (RI) quantities can be empirically distinguished.","pith_inferences":["I infer that the Arbitrariness Problem resolution generalises beyond GPS frames: any pair of CRFs with overlapping domains should be related by an external diffeomorphism, so the dictionary between frame choices is always a passive coordinate change and the ambiguity never rises to underdetermination.","I infer that the $d$-invariance versus $\\mathbf{d}$-covariance distinction may carry over to quantum reference frames: if two CRF observables are related by a passive diffeomorphism, a superposition of reference frames would correspond to a superposition of passive coordinate charts, suggesting a purely formal, non-dynamical notion of quantum frame change.","I infer that the New Hole Argument provides a selection principle for quantum gravity: only (GI) quantities, satisfying both reshuffling invariance and deterministic evolution, should serve as observables, which would rule out the use of uncoupled dust or scalar clocks as fundamental observables.","I infer that the counterexample to the Unobservability Thesis could be tested in a laboratory analogue: a relational quantity built from two dynamically coupled degrees of freedom in a symmetry-variant theory should be empirically distinguishable from its symmetry image, unlike quantities written in fixed coordinates."],"forward_implications":["If the central claim is right, the standard hole argument is resolved without invoking anti-haecceitism or sophisticated substantivalism: a dynamically coupled frame provides a unique relational representation of the metric from given initial data.","The choice of a reference frame does not break the covariance of general relativity; it is a passive change of coordinates, so reference-frame-dependent descriptions remain fully gauge-invariant.","Uncoupled reference frames cannot be used to define complete (GI) observables; they only yield (RI) quantities, whose physical status depends on whether one adopts a GI or an RI notion of physicality.","The New Hole Argument offers a relational way to revive haecceitist indeterminism: treat instantiated but dynamically uncoupled fields as physically real, and diffeomorphism-related URFs represent distinct physical states.","The Unobservability Thesis fails for (RI) quantities in URFs, because these quantities are relational and empirically accessible, so a symmetry-variant quantity can be empirically distinguished from its diffeomorphic image."],"supporting_citations":[{"why":"Supplies the CRF/URF classification and the (RI)/(GI)/(DET) criterion on which the paper's determinism claims rest; it is explicitly cited for the dynamical symmetry groups Diff(M) versus Diff(M)×Diff(M).","marker":"Bamonti and Gomes (2024)"},{"why":"Provides the GPS observable construction that serves as the paper's concrete example of a coupled reference frame.","marker":"Rovelli (2002a)"},{"why":"Frames the standard hole argument as the twin problems of indeterminism and underdetermination that the paper addresses.","marker":"Pooley and Read (2021)"},{"why":"Introduces the original hole argument and the Leibniz equivalence response that the authors extend to reference frames.","marker":"Earman and Norton (1987)"},{"why":"States the Unobservability Thesis that the paper argues URFs counterexample.","marker":"Wallace (2022c)"},{"why":"Provides the earlier classification of reference frames in general relativity that the companion paper refines into CRFs and URFs.","marker":"Bamonti (2023)"}],"fun_headline_variants":["Frame coupling settles the hole argument's verdict","Uncoupled frames revive hole argument as arbitrariness","New dilemma: frame choice affects determinism","Reference frames decide hole argument's fate","Coupled frames shut hole argument, uncoupled reopen"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's results depend on the companion-paper classification that a dynamically coupled reference frame has diffeomorphism symmetry acting diagonally on the metric and the frame, while an uncoupled frame has an independent copy of $\\mathrm{Diff}(M)$ for each field; this classification is cited rather than proved.","fun_headline_variants_meta":{"raw":{"variants":["Frame coupling settles the hole argument's verdict","Uncoupled frames revive hole argument as arbitrariness","New dilemma: frame choice affects determinism","Reference frames decide hole argument's fate","Coupled frames shut hole argument, uncoupled reopen"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000219,"raw_usage":{"total_tokens":1468,"prompt_tokens":998,"completion_tokens":470,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":614,"completion_tokens_details":{"reasoning_tokens":400}},"tokens_in":614,"tokens_out":470,"duration_ms":316347,"temperature":1.0,"reasoning_tokens":400,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:53:30.758407+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a dynamically coupled scalar-field frame $\\varphi^I$ such that both $(g_{ab}, \\varphi^I)$ and $(g_{ab}, d^*\\varphi^I)$ solve the coupled Einstein–Klein–Gordon equations for some diffeomorphism $d$ that is the identity on a Cauchy surface but non-trivial inside the hole; the existence of such a solution would falsify the claim that CRFs guarantee determinism.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Frames the standard hole argument as the twin problems of indeterminism and underdetermination that the paper addresses."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the original hole argument and the Leibniz equivalence response that the authors extend to reference frames."},{"cited_title":"(2023, January)","cited_arxiv_id":null,"evidence_quote":"Provides the earlier classification of reference frames in general relativity that the companion paper refines into CRFs and URFs."}],"review_version":1}