{"id":"6a7e6397-4b99-41c6-9ed6-4d745ab9b7b2","arxiv_id":"2607.23852","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Apparent Jordan–Einstein inequivalence after relational deparametrization is a clock-sector mismatch; a frame-adapted canonical chart restores identical reduced Hamiltonians.","lead":"Jordan and Einstein frames of Brans–Dicke gravity look inequivalent after using the scalar as an internal clock, but the mismatch is only in how the clock’s momentum is embedded. Aligning the full canonical clock pair before reduction restores identical relational Hamiltonians.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"No significant objection identified. The central theorems are algebraically elementary and check out on independent recomputation; the one genuine soft spot (sectorial validity of the scalar clock) is the same one the reader flagged and the authors themselves state.","rationale":"The reader's verdict (ACCEPT, HIGH confidence, low correctness risk) matches my own stress-test. The paper's central mathematical claims are elementary enough to verify by hand, and the key steps — the symplectic cancellation (4.3), the constraint solution (5.4), the momentum mixing (3.25), and the Ω̃ = Ω/√ϕ identity (5.8) — all survive independent recomputation, including the inhomogeneous gradient terms where the match depends nontrivially on ω̄ = ω + 3/2. The reader's weakest_assumption (global admissibility/monotonicity of the scalar clock, Sec. V eqs. 5.1–5.3) is indeed the least secure premise, but it is explicitly acknowledged by the authors, who restrict to monotonic definite-sign sectors; it limits scope rather than undermining the stated theorems. My only additional observation is that Theorem 2 is near-tautological once the adapted chart is recognized as the Einstein-frame chart in Jordan coordinates — but the paper states this openly, and the conceptual contribution (a relational clock is the canonical pair (T, P_T), with R∘C ≠ C∘R as the diagnostic) is legitimate and correctly supported. This is a framing/significance caveat consistent with the reader's novelty score of 6, not a correctness concern. No verdict adjustment warranted.","tokens_in":17416,"tokens_out":6549,"duration_ms":325304,"concrete_test":"One verification still worth running as an independent check: express the Jordan Hamiltonian constraint (3.8) entirely in the adapted variables (6.8) — i.e., substitute h_ab = Q_ab/Φ, p^ab = Φ P^ab, p_ϕ = P_Φ + P_Q/Φ (with P_Q = Q_ab P^ab) — and solve for P_Φ without invoking the Einstein-frame intermediate steps. If the resulting H*_phys(Q, P; Φ) coincides functionally with H̃_phys of (5.7) under (h̃, p̃) → (Q, P), including the D_aΦ gradient terms dropped in (5.6)/(5.9), Theorem 2 is fully confirmed as a computation rather than only as an identification of charts. A symbolic-algebra check (e.g., xAct/xTensor) would make this mechanical. If the gradient terms fail to match, the equivalence claim would hold only for homogeneous clock configurations.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I read the central claim as: (i) Theorem 1 — naive deparametrization with clock ϕ in the two frames yields H̃_phys = H_phys + p_h/ϕ, so R∘C ≠ C∘R; (ii) Theorem 2 — transforming the full clock pair to (Φ, P_Φ) = (ϕ, p_ϕ − p_h/ϕ) before reduction gives H*_phys = H̃_phys. I independently recomputed the load-bearing algebra. The symplectic cancellation (4.3) is exact: p̃^ab δh̃_ab + p̃_ϕ δϕ = p^ab δh_ab + (p_h/ϕ)δϕ + (p_ϕ − p_h/ϕ)δϕ = Θ_J. Solving the Jordan constraint (3.8) for p_ϕ reproduces (5.4)–(5.5) with the correct ω̄/κ⁴ coefficient. The key identity (5.8), Ω̃ = Ω/√ϕ, holds not only in the homogeneous truncation (5.6)/(5.9) but with the full gradient terms: using (3.20), ³R̃ − (ω̄/ϕ²)h̃^ab∂_aϕ∂_bϕ − V = (1/ϕ)[³R − (2/ϕ)D²ϕ − (ω/ϕ²)(∂ϕ)² − U/ϕ] − (4κ⁴/(ϕ³h))(p̃²−p̃_h²/2), where the gradient coefficients match precisely because 3/2 − ω̄ = −ω. Substituting (5.4) and (5.7) into (3.25) is then consistent with √h̃ = ϕ^{3/2}√h. So Theorems 1 and 2 are internally sound. Two caveats, neither load-bearing: (a) Theorem 2 is close to definitional — the adapted chart (6.8) is literally the Einstein-frame chart (Q_ab = h̃_ab, P_ab = p̃_ab, P_Φ = p̃_ϕ), so \"equivalence restored\" is by construction; the paper is transparent about this (\"By construction, P_Φ = p̃_ϕ\"), and the substantive content is Theorem 1 plus the clock-sector concept, so this is a significance framing, not a correctness flaw. (b) The genuine soft spot is the one the reader identified: the gauge χ = ϕ − t ≈ 0 (5.1) requires {ϕ, H_N} ∝ P_Φ ≠ 0 and monotonicity, and slices of constant ϕ must be spacelike; the reduction (and hence the restored equivalence) holds only on that sector, and reality of Ω requires a positivity condition on the bracket in (5.5). The authors state this restriction explicitly in Sec. V, and notably the admissibility condition is most naturally expressed in the frame-invariant adapted momentum P_Φ ≠ 0, which slightly strengthens rather than weakens their construction. The ω̄ = 0 (ω = −3/2)","agreement_with_reader":"agree"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The manuscript studies Jordan–Einstein frame equivalence in Brans–Dicke theory at four levels: covariant action, standard ADM phase space, extended Dirac phase space, and relationally deparametrized phase space. The authors show (i) the conformal map is canonical on the standard ADM phase space (Θ_E = Θ_J, Eq. (4.3)) but not on the extended phase space (Eq. (4.9)), reconciling the Garay/Deruelle and Gionti et al. results; (ii) naive deparametrization with the scalar clock ϕ yields reduced Hamiltonians differing by p_h/ϕ (Theorem 1, Eq. (5.10)), so reduction and conformal transformation do not commute; (iii) transforming the full clock pair to (Φ, P_Φ) = (ϕ, p_ϕ − p_h/ϕ) before reduction restores equality of the reduced Hamiltonians (Theorem 2, Eq. (6.15)). The conceptual claim is that relational dynamics are governed by the canonical clock sector (T, P_T), not by T alone.","tokens_in":18052,"tokens_out":2968,"duration_ms":76558,"significance":"If the analysis holds, the paper makes a useful and clean contribution to a genuinely confused corner of the literature: it localizes the disagreement between prior Hamiltonian frame-equivalence results to the choice of phase space, and it identifies the precise mechanism (momentum mixing p̃_ϕ = p_ϕ − p_h/ϕ) by which naive relational reduction appears to break frame equivalence. The derivation is parameter-free: everything follows from the standard Brans–Dicke ADM constraints (3.8)–(3.9) and the known conformal map, with no fitting, no new entities beyond a change of canonical chart, and no ad hoc assumptions. The two theorems are stated with explicit hypotheses and proved step by step, and the load-bearing algebra (symplectic cancellation (4.3), the constraint solution (5.4)–(5.5), and the identity Ω̃ = Ω/√ϕ in (5.8)) is elementary and independently checkable — I verified it, including the full-gradient version of (5.8), where the coefficient identity 3/2 − ω̄ = −ω does the work. The clock-sector concept is a transferable lesson for reduced phase-space quantization in scalar–tensor gravity generally. The significance is moderated by the fact that Theorem 2 is close to definitional","major_comments":[{"comment":"Theorem 2 is correct but very close to definitional: the adapted chart (6.8) is literally the Einstein-frame chart (Q_ab = h̃_ab, P^ab = p̃^ab, P_Φ = p̃_ϕ), so H*_phys = H̃_phys follows by construction, as the authors themselves note ('By construction, P_Φ = p̃_ϕ'). The substantive results of the paper are Theorem 1 and the clock-sector diagnosis; Theorem 2 repackages them. This matters because the abstract and §VII frame the result as 'restoring the equivalence of the reduced relational dynamics,' which a reader could misread as a nontrivial recovery of an equivalence that had been lost. Classically, frame equivalence was never in doubt; what the paper actually shows is that the naive reduced Hamiltonians describe evolution with respect to two different canonical embeddings of the clock, and it identifies the invariant clock sector. I ask the authors to state this plainly in the abstrac","section":"§VI, Theorem 2 (Eqs. (6.8)–(6.15))"},{"comment":"The scope of the reduction needs sharper statement. The gauge χ(x) = ϕ(x) − t ≈ 0 (5.1) forces D_aϕ = 0 on the gauge surface, and the reduced Ω expressions actually used ((5.6), (5.9)) are the homogeneous truncations. The general formulas (5.5) and (5.8) retain gradient terms, so a reader is left unsure whether the theorems are proved for the full field theory or only for the homogeneous-scalar sector. Since (5.8) in fact holds with the full gradient terms (the coefficients match via 3/2 − ω̄ = −ω), the identity itself is general; but the physical Hamiltonian as a functional on the reduced phase space is only obtained in the homogeneous-clock truncation. Please state explicitly which statements are sectorial and which are general, and comment on what the reduction describes when ϕ is inhomogeneous (a field-valued clock gives a local, 'multi-fingered' time; a citation to the bubble-time/m","section":"§V, Eqs. (5.1)–(5.6) and (5.9)"},{"comment":"The admissibility conditions for the scalar clock — non-degeneracy {ϕ, H_N} ≠ 0 and monotonicity on a definite-sign branch of the clock momentum — are stated, but their bearing on the main theorems should be made explicit. Theorem 1's conclusion H̃_phys = H_phys + p_h/ϕ and Theorem 2's restoration both hold only on phase-space sectors where the constraint can be solved globally for the clock momentum and the sign σ in (5.4)/(5.7) is fixed. Where the clock fails (e.g., recollapsing scalar, or p_ϕ − p_h/ϕ crossing zero), the reduced Hamiltonians and the restored equivalence are only local. A short remark in §VII acknowledging that the equivalence result is sectorial, and ideally a characterization of the sectors (e.g., in terms of the sign of P_Φ), would make the claims precise without weakening them.","section":"§V, Eqs. (5.1)–(5.3)"}],"minor_comments":[{"comment":"There is an index-position inconsistency: (3.15) states Ñ^a = ϕ N^a while (3.16) states Ñ^a = N^a. Presumably one of these is the lower-index shift covector (Ñ_a = ϕ N_a). Please fix the index placement so the two equations are consistent.","section":"§III.B, Eqs. (3.15)–(3.16)"},{"comment":"'we obtain a uniquely unique result' — redundant phrasing; delete one 'unique'.","section":"§VI.A, after Eq. (6.6)"},{"comment":"Spelling alternates between 'deparametrization' and 'deparameterization' (e.g., abstract vs. §V heading and §VII); please standardize. Also 'Section. VII' and 'Section. IIIB' have a stray period after 'Section'.","section":"Throughout"},{"comment":"The sign convention p_ϕ = −H_phys with the σ = ±1 branch should be commented on: the orientation of relational time (choice of σ) is fixed frame-independently only because P_Φ = p̃_ϕ; a one-sentence remark would help readers see that the branch choice does not reintroduce frame dependence.","section":"§V, Eq. (5.4)"},{"comment":"The five-line summary table of equivalence levels is helpful; consider adding the hypothesis of each line (e.g., 'standard ADM phase space, ω̄ ≠ 0' for the canonical-equivalence line, 'monotonic scalar sector' for the last line) so the table is self-contained.","section":"§VII"},{"comment":"The multiple-choice problem of time is cited via Kuchař, Isham, and Anderson; given the role of clock momentum here, a reference to work on relational clocks in quantum cosmology where clock momentum branching is explicit (e.g., Hoehn–Smith–Lock or Gielen–Menéndez-Pidal on clock dependence in quantum cosmology) would strengthen the outlook paragraph, though this is at the authors' discretion.","section":"References"}],"recommendation":"minor_revision","confidential_remarks":"The paper is technically sound and the self-citation pattern is modest and appropriate (prior frame papers and problem-of-time background). My only hesitation about significance is that the central positive result (Theorem 2) is nearly tautological once the adapted chart is identified — the real content is Theorem 1 and the diagnosis. With the framing tightened as requested in major comment 1, this is a solid, publishable contribution to the canonical scalar–tensor literature. The reader's report and stress-test note were accurate; the flagged soft spot (sectorial validity of the scalar clock) is real but bounded and is already partially acknowledged by the authors."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing is that this paper cleanly isolates why Jordan and Einstein frames can look inequivalent after relational deparametrization even though they are canonically equivalent on the standard ADM phase space. The scalar configuration is the same clock, but its conjugate momentum mixes with the gravitational trace under the conformal map, so the naive reduced Hamiltonians differ by p_h/ϕ. That is Theorem 1, and it checks out on direct recomputation of the symplectic potential and the constraint solve. Theorem 2 then shows that if you first move to the adapted pair (Φ, P_Φ) = (ϕ, p_ϕ − p_h/ϕ) inside the Jordan chart, the reduced generators coincide. The algebra is elementary and correct; the homogeneous-scalar simplifications are stated and used consistently, and the full-gradient identity for Ω̃ also holds.\n\nWhat is actually new is not the ADM canonicity (Garay, Deruelle) or the extended-phase-space non-canonicity (Gionti), both of which they cite properly. It is the explicit non-commutativity R ∘ C ≠ C ∘ R for relational reduction, the diagnosis that the clock is the full pair (T, P_T), and the frame-adapted chart that restores equivalence without changing the underlying conformal map. That is a real, if incremental, clarification for people who do reduced-phase-space quantization or worry about frame dependence in scalar–tensor cosmology.\n\nSoft spots are modest and already flagged by the authors. The scalar must be a good clock (monotonic, non-vanishing Poisson bracket with the constraint, real Ω), so everything is sectorial; the adapted chart is essentially the Einstein-frame chart written in Jordan variables, so “equivalence restored” is partly by construction. Neither undercuts the central point. Citation pattern is honest; no free parameters or circular fitting.\n\nThis is for the canonical-GR / problem-of-time / scalar–tensor crowd. A serious editor should send it to referees. I would read it, cite the clock-sector point if I am writing on relational reduction or frame issues, and bring it to reading group if we are in that literature.","headline":"Solid canonical clarification: naive relational reduction fails to commute with the Jordan–Einstein map because of the p_ϕ shift by p_h/ϕ; adapting the full clock pair restores equivalence. Incremental but clean and useful.","tokens_in":18070,"tokens_out":540,"would_cite":true,"duration_ms":9880,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Relational dynamics in Brans–Dicke theory are set by the full canonical clock pair, not the clock variable alone, restoring Jordan–Einstein equivalence after reduction.","keywords":["Brans–Dicke theory","Jordan frame","Einstein frame","relational deparametrization","canonical clock sector","reduced Hamiltonian","scalar-tensor gravity","problem of time"],"falsifier":"Construct an explicit homogeneous or inhomogeneous Brans–Dicke solution in which the scalar is non-monotonic or the Poisson bracket {ϕ, H_N} vanishes on an open set, then check whether the adapted and Einstein-frame reduced Hamiltonians still coincide after any local deparametrization.","tokens_in":17518,"feed_emoji":"⏱️","tokens_out":890,"duration_ms":16912,"temperature":0.7,"pith_summary":"Brans–Dicke gravity can be written in two conformal frames that look different but describe the same classical physics. At the level of the action and the ordinary ADM phase space they are equivalent, yet once you pick the scalar field as an internal clock and reduce the Hamiltonian constraint, the resulting physical Hamiltonians appear to disagree. The paper shows that this disagreement is not a physical inequivalence. It comes from treating only the clock configuration variable as the same object while ignoring that its conjugate momentum mixes with the gravitational momentum under the conformal map. By first rewriting the Jordan-frame variables so that the entire clock pair matches the Einstein-frame one, then reducing, the two physical Hamiltonians coincide. The claim is that relational evolution is governed by the canonical clock sector (T, P_T), and that aligning that sector before deparametrization restores frame equivalence for reduced dynamics and for reduced phase-space quantization.","feed_headline":"Clock pairs, not clock variables, fix frame equivalence","feed_subtitle":"Aligning the full canonical clock sector before reduction makes Jordan and Einstein dynamics match","key_machinery":"The frame-adapted canonical chart inside the Jordan phase space: Q_ab = ϕ h_ab, P^{ab} = p^{ab}/ϕ, Φ = ϕ, P_Φ = p_ϕ − p_h/ϕ. This chart aligns the full clock sector with its Einstein-frame counterpart before deparametrization, so that H*_phys = H̃_phys (Theorem 2).","core_discovery":"The apparent mismatch of reduced Hamiltonians between Jordan and Einstein frames after using the Brans–Dicke scalar as clock is an artifact of mismatched canonical clock sectors. Once the clock is represented by the adapted pair (Φ, P_Φ) = (ϕ, p_ϕ − p_h/ϕ) before reduction, the reduced Hamiltonians become identical, so relational frame equivalence is restored.","pith_inferences":["The same non-commutativity R ∘ C ≠ C ∘ R should appear in any scalar–tensor or f(R) model whose conformal map mixes scalar and metric momenta.","Operational definitions of quantum clocks that track only the configuration variable T, without its conjugate momentum, would systematically misidentify frame inequivalence.","Extending the construction to matter clocks or to inhomogeneous modes would test whether the adapted-sector principle remains sufficient outside pure Brans–Dicke gravity."],"forward_implications":["Canonical equivalence of unreduced constrained systems does not automatically survive relational deparametrization; the clock sector must be transformed as a pair.","Reduced phase-space quantization of Brans–Dicke theory yields the same physical evolution in both frames only when the adapted clock momentum is used.","Frame dependence in scalar–tensor gravity after reduction is diagnosed by whether (T, P_T) is aligned, not by whether T itself is invariant.","The same clock-sector criterion supplies a template for checking relational equivalence under other canonical transformations in generally covariant theories."],"fun_headline_variants":["Canonical clock pairs restore Jordan-Einstein frame equivalence","Mismatched clock sectors cause apparent frame inequivalence","Full clock pair (T,P_T) equates reduced Brans-Dicke frames","Adapted clock momentum before reduction matches frame dynamics","Aligning canonical clock sector restores relational equivalence"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The Brans–Dicke scalar must serve as a good global clock: it must evolve monotonically so the Hamiltonian constraint can be solved for its momentum on a definite branch of phase space.","fun_headline_variants_meta":{"raw":{"variants":["Canonical clock pairs restore Jordan-Einstein frame equivalence","Mismatched clock sectors cause apparent frame inequivalence","Full clock pair (T,P_T) equates reduced Brans-Dicke frames","Adapted clock momentum before reduction matches frame dynamics","Aligning canonical clock sector restores relational equivalence"]},"model":"grok-4.5","effort":"low","cost_usd":0.004527,"raw_usage":{"total_tokens":1349,"prompt_tokens":783,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":45268000,"prompt_tokens_details":{"text_tokens":783,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":504,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":783,"tokens_out":62,"duration_ms":9198,"temperature":1.0,"reasoning_tokens":504,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T10:26:22.230614+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct an explicit homogeneous or inhomogeneous Brans–Dicke solution in which the scalar is non-monotonic or the Poisson bracket {ϕ, H_N} vanishes on an open set, then check whether the adapted and Einstein-frame reduced Hamiltonians still coincide after any local deparametrization.","supporting_citations":[],"review_version":1}