{"id":"26907a37-04c4-4b5e-b96b-e996fca775ba","arxiv_id":"2505.02504","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Jordan and Einstein frames are connected by a Hamiltonian canonical transformation only after gauge-fixing lapse and shift, and this maps the FJNW naked singularity to the BBMB black hole.","lead":"This paper summarizes an argument that the Jordan and Einstein frames of scalar-tensor gravity become canonically equivalent only after gauge-fixing the lapse and shift functions. A generalist might read it because it clarifies whether conformally related descriptions of gravity represent the same physics.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Canonical-equivalence claim overreaches into ω=-3/2: the paper's own Table 2 shows different constraint algebras and the conformal factor vanishes at the mapped point.","rationale":"The reader's conditional verdict identified the gauge-fixing assumption as the weakest link. My read agrees that gauge reduction is the critical step, but the more specific and more damaging issue is that the canonical-equivalence claim is stated for both ω≠-3/2 and ω=-3/2, while the paper itself reports that the ω=-3/2 transformation is singular and that the constraint algebras differ. A canonical transformation preserves the Dirac algebra of remaining first-class constraints; if the algebras in Table 2 genuinely differ, no such transformation can exist on the reduced phase space for that case. The paper's illustrative FJNW-BBMB mapping lies in this exceptional sector and reaches the singular conformal-factor surface Ω=0, where the field redefinition (28) is undefined. The central idea may be correct for ω≠-3/2 on the open domain Ω>0, and I independently verified that on the naive reduced phase space, without the extra constraint C_ϕ, the transformation (30)-(33) is symplectic. But the manuscript overstates the domain of validity and does not address this obstruction. The reader's conditional verdict therefore remains appropriate: the claim should be verified explicitly for the ω=-3/2 sector or explicitly restricted to ω≠-3/2 with a clear statement that the singular surface is excluded.","tokens_in":9543,"tokens_out":21140,"duration_ms":264240,"concrete_test":"For the ω=-3/2 model (22), compute the Dirac brackets on the reduced phase space obtained by imposing (15) together with the extra first-class constraint C_ϕ≈0 listed in Table 2, then verify whether the pullback of the Einstein-frame symplectic form under (28), (30)-(33) equals the Jordan-frame Dirac bracket on the constraint surface. In particular, test the bracket relations at a point approaching Ω=0 (ϕ→-√6) and compare the constraint algebras; if the brackets diverge or the algebras do not match, the canonical-equivalence claim must be restricted to ω≠-3/2 and to the open domain Ω>0.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that, after gauge-fixing lapse and shift, the Jordan-Einstein transformation is Hamiltonian canonical on the reduced phase space, stated in the abstract, Section 3, and the conclusion without excluding ω=-3/2. Yet Section 3 explicitly says that for ω=-3/2 the transformation is singular and that the Dirac constraint algebras in the two frames differ (Table 2). A Hamiltonian canonical transformation must preserve the Dirac-bracket algebra of the remaining first-class constraints; the differing algebras reported in Table 2 are therefore a direct obstruction to the claim in that sector. The paper's own example (Section 5) is in the conformally coupled ω=-3/2 sector, and the singular point is not avoided: the conformal factor Ω=1-ϕ²/6 vanishes at ϕ=-√6, where the field redefinition (28), ᵼf=√6 tanh^{-1}(ϕ/√6), is undefined. The FJNW-BBMB map sends the FJNW singularity to a point where Ω=0, so the purported canonical transformation is being applied at a point outside its domain. The equivalence may well hold for ω≠-3/2 in the open domain Ω>0, but the manuscript does not state this restriction and the ω=-3/2 case is not demonstrated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that the transformation between the Jordan and Einstein frames in Brans-Dicke theory becomes a Hamiltonian canonical transformation once the lapse and radial shift functions are gauge-fixed and implemented as second-class constraints. It summarizes earlier work by the author for both ω ≠ −3/2 and ω = −3/2, then develops the ADM formulation for spherically symmetric scalar-tensor gravity, including boundary terms, and presents an explicit mapping from the Fisher–Janis–Newman–Winicour (FJNW) solution in the Einstein frame to the Bocharova–Bronnikov–Melnikov–Bekenstein (BBMB) solution in the Jordan frame for γ = 1/2. The paper concludes that, after gauge reduction, the frame transformation is canonical and can be used to generate solutions.","tokens_in":9734,"tokens_out":8990,"duration_ms":93117,"significance":"If the central claim is correct, the paper provides a Hamiltonian justification for the long-debated Jordan/Einstein frame equivalence and offers a solution-generating technique with an explicit nontrivial example. The FJNW-to-BBMB mapping is a well-known result and adds an external anchor to the discussion. The paper also gives a useful summary of the author's previously published constraint analyses. However, the key derivation—the Dirac-bracket calculation on the reduced phase space—is not reproduced here, and the formulation is not fully self-contained. The claim as stated covers ω = −3/2, a sector where the paper's own tables show differing constraint algebras and where the transformation is singular, so the general result as written is not established.","major_comments":[{"comment":"The abstract and Section 3 claim canonical equivalence for both ω ≠ −3/2 and ω = −3/2, but the manuscript itself states that for ω = −3/2 the transformation is singular and that the constraint algebras in the two frames differ (Table 2). A canonical transformation must preserve the Dirac bracket algebra of the remaining constraints; the differing brackets in Table 2, for example {C_ϕ, H_i} ≠ 0 in the Jordan frame versus 0 in the Einstein frame, contradict canonicity in that sector. The claim should be explicitly restricted to ω ≠ −3/2, or a separate proof for ω = −3/2 must be supplied.","section":"Abstract and Section 3 (Tables 1 and 2)"},{"comment":"The central claim is asserted rather than demonstrated. After defining the gauge-fixing conditions as secondary constraints and writing the Dirac bracket formula, the paper jumps to the statement that on the reduced phase space the transformation is canonical, citing [8] and [15] without showing the computation. Since this is the main result, the manuscript should reproduce the Dirac-bracket calculation for the transformed canonical variables and verify that the gauge-fixed constraint algebra is preserved, or provide a detailed appendix. As written, the claim is unverifiable from the manuscript alone.","section":"Section 3, Eqs. (15)–(19)"},{"comment":"The FJNW-to-BBMB example applies the conformal transformation at a point where the transformation is singular. For γ = 1/2, the FJNW solution has φ̃ → −∞ as r → b, so the Jordan-frame scalar field approaches ϕ = −√6, making Ω = 1 − ϕ²/6 vanish and the field redefinition φ̃ = √6 tanh⁻¹(ϕ/√6) diverge. The Jordan-frame metric is regular at the corresponding ρ = b/2, but the canonical transformation itself is not defined at that point. The manuscript acknowledges that the conformal factor becomes null but does not explain how the canonical equivalence extends there. A limiting argument or an explicit restriction to the open domain Ω > 0 is required; as written, the example does not establish solution generation within the transformation's domain.","section":"Section 5, Eqs. (42)–(48)"}],"minor_comments":[{"comment":"The second gauge-fixing condition in the Einstein frame is incomplete; the expression eNi − ci(x)(16πGϕ)^{1/2} should be followed by '≈ 0' as in the Jordan frame.","section":"Section 3, Eq. (16)"},{"comment":"Equation (42) is garbled and unreadable as printed; the intended coordinate transformation between r and ρ should be written explicitly, for example (1 − b/r)^{1/2} = 1 − b/(2ρ) or the equivalent relation used to derive Eq. (48).","section":"Section 5, Eq. (42)"},{"comment":"The statement 'the FJNW metric is valid only for r < b' appears to be opposite to the usual domain r > b for γ ∈ (0,1); please verify the domain of validity with reference [38] and correct if necessary.","section":"Section 5, text after Eq. (37)"},{"comment":"The paper does not explicitly identify which results are new (e.g., the spherical-symmetry boundary-term analysis) and which are reproduced from the author's previous papers [8], [11]–[15]. A clearer statement of novelty would help the reader assess the contribution.","section":"Section 4 and Section 5"},{"comment":"There are several typographical errors, such as 'trasndormation' after Eq. (33), and the notation around the conformal factor Ω = 1 − ϕ²/6 is used inconsistently (sometimes as Ω, sometimes spelled out). A careful proofreading pass is needed.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's central claim is heavily dependent on the author's own previous papers [8] and [15], and the new content in this submission is limited to the spherical-symmetry boundary-term discussion and the FJNW–BBMB example. Given the journal's standards, the authors should be asked to make the Dirac-bracket computation explicit and to carefully delineate the domain of validity of the canonical equivalence, especially for ω = −3/2. If the example is meant to illustrate the general claim, the singular-point issue must be resolved."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this is a review that consolidates Gionti's earlier Hamiltonian analyses of Jordan/Einstein frame equivalence. The central claim is plausible: the naive Weyl transformation is not canonical, but gauge-fixing lapse and shift makes it canonical on the reduced phase space. The paper does not, however, reproduce the Dirac-bracket reduction that would prove that claim, and the treatment of the ω=-3/2 sector — which is exactly where the worked FJNW-to-BBMB example lives — has a singularity issue that is not fully resolved.\n\nWhat is genuinely useful: the spherical ADM setup with boundary terms in Section 4 is clean, and the explicit Poisson brackets (34)-(35) showing non-canonicity are a nice concrete check. The FJNW-to-BBMB mapping is a well-known result, but the coordinate treatment here is clear. The paper is honest that it is a summary and that physical equivalence of the frames remains open. The boundary-term discussion is probably the freshest part.\n\nSoft spots: the main canonical-equivalence claim rests on a Dirac-bracket computation that is not shown, only cited to [8] and [15]. For a paper whose abstract advertises the result, that is a genuine gap, even for a review. More seriously, Section 3 explicitly says that for ω=-3/2 the transformation is singular and that the Dirac constraint algebras in the two frames differ (Table 2), yet the abstract and conclusion present the canonical equivalence without that restriction. Section 4's conformally coupled scalar is in that same sector, and the conformal factor Ω=1-φ²/6 vanishes at the image of the FJNW singularity (ρ=b/2). The paper mentions the null conformal factor as an explanation for regularity, but a vanishing Weyl factor means the transformation is not defined there, so the map is being applied outside its domain. The claim should be explicitly restricted to the open domain Ω>0, and the ω=-3/2 case either proven separately or cleanly separated.\n\nThe gauge-fixing assumption itself is plausible — lapse and shift are usually pure gauge — but the paper does not verify that the reduced dynamics is unaffected. The reader's conditional verdict is about right; the stress-test concern also lands. That said, the paper is clear, honestly framed, and the spherical ADM material is worth a look.\n\nShould a serious referee engage? Yes. The question is real, the presentation is mostly clear, and the boundary-term analysis deserves scrutiny. I would send it back with a request to state the domain restriction for ω=-3/2 and to either include the Dirac-bracket reduction or point the reader to exactly where it appears in the earlier papers.","headline":"A useful review-style consolidation of the author's Hamiltonian frame-equivalence work, but the central gauge-fixing claim is outsourced to prior papers and the ω=-3/2 example is applied at a point where the transformation is singular.","tokens_in":10305,"tokens_out":4874,"would_cite":true,"duration_ms":58019,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Gauge-fixing the lapse and shift turns the conformal Jordan-to-Einstein frame change into a Hamiltonian canonical transformation, making the FJNW naked singularity map onto the BBMB black hole.","keywords":["Jordan frame","Einstein frame","Brans-Dicke theory","Hamiltonian canonical transformation","Dirac second-class constraints","gauge fixing lapse and shift","spherical symmetry","FJNW and BBMB solutions"],"falsifier":"Take a non-static, spherically symmetric solution in the Jordan frame, choose a concrete gauge such as $N=1$ and $N_r=0$, integrate the Dirac-bracket equations of motion to obtain a Hamiltonian trajectory, map that trajectory to the Einstein frame with the conformal transformation, and check whether the image satisfies the Einstein-frame equations of motion in the same gauge with the same Dirac brackets; a mismatch in any component would falsify the claim.","tokens_in":9295,"feed_emoji":"🕳️","tokens_out":16079,"duration_ms":168937,"temperature":0.7,"pith_summary":"This paper establishes that the conformal transformation from the Jordan frame to the Einstein frame in scalar-tensor gravity is a Hamiltonian canonical transformation only after gauge-fixing the lapse and shift functions and reducing the phase space by the corresponding second-class constraints. On the full phase space the transformation is not canonical, because the Poisson brackets of the transformed lapse and shift with the scalar-field momentum do not vanish. By imposing $N = c(x)$ and $N_i = c_i(x)$ as secondary constraints, building the Dirac bracket, and imposing the constraints strongly, the paper obtains a reduced phase space on which the frame map obeys the canonical bracket relations. It applies this result in spherical symmetry, with boundary terms handled by background subtraction, to map the FJNW naked-singularity solution of the Einstein frame into the BBMB black hole solution of the Jordan frame. If the claim is correct, conformal frame changes become a reliable solution-generating tool, while the physical equivalence of observables between frames remains open.","feed_headline":"Gauge fixing makes Jordan–Einstein frame change canonical","feed_subtitle":"After gauge fixing, conformal maps carry solutions between frames, turning a naked singularity into a black hole.","key_machinery":"The load-bearing device is Dirac's second-class constraint reduction applied to the gauge-fixing conditions $N - c(x) \\approx 0$ and $N_i - c_i(x) \\approx 0$. Together with the primary constraints $\\pi_N \\approx 0$ and $\\pi_i \\approx 0$, these conditions form second-class pairs; the induced Dirac bracket projects out the lapse and shift directions, and imposing the constraints strongly yields the reduced phase space on which the frame map is canonical. The frame map itself is the conformal relation $\\tilde h_{ij} = (1 - \\phi^2/6) h_{ij}$ between the spatial metrics, with the induced rescalings of the momenta, lapse, and shift. In the spherically symmetric sector the same reduction is carried out with the ADM metric written in terms of $\\Lambda(r)$ and $R(r)$, and the boundary terms needed for a well-posed variational principle are treated by subtracting a background geometry.","core_discovery":"On the paper's own terms, the central discovery is that the Jordan-to-Einstein transformation is not canonical on the extended phase space, because the Poisson brackets of the transformed lapse and shift with the scalar momentum are nonzero, but it becomes canonical on the reduced phase space obtained by fixing $N = c(x)$ and $N_i = c_i(x)$ and treating these gauge conditions as secondary second-class constraints. The Dirac-bracket construction removes the gauge degrees of freedom, and after imposing the constraints strongly the remaining canonical variables of the two frames satisfy the required bracket relations, so solutions of the equations of motion map from one frame to the other. For Brans-Dicke theory with $\\omega \\neq -3/2$, the first-class constraint algebras of the two frames match; for $\\omega = -3/2$ an extra conformal constraint appears and the frame transformation is singular, so that case is exceptional. The solution-mapping property is demonstrated concretely: the static FJNW solution in the Einstein frame is transformed into the static BBMB black hole solution in the Jordan frame, with the conformal factor vanishing at the horizon and turning the naked singularity into a regular null surface.","pith_inferences":["Inference: if the reduction works for generic non-minimal couplings $f(\\phi)R$, the same gauge-fixing procedure should turn the frame transformation into a canonical map for any scalar-tensor theory, not only Brans-Dicke; repeating the Dirac analysis for generic $f(\\phi)$ would test this extension.","Inference: the singularity-to-horizon mapping implies that geodesic completeness and singularity theorems stated in one conformal frame need not carry over to the other, so numerical studies of collapse should specify which frame's metric is used for causal structure.","Inference: a testable consequence is that gauge-invariant quantities, such as the BBMB horizon area and the FJNW scalar charge, should be related by the frame transformation independently of the gauge choice; computing these Dirac observables explicitly would check the consistency of the mapping.","Inference: the same canonical reduction could be used to set initial data in numerical relativity, where conformal maps between frames are common, since the gauge-fixed Hamiltonian equations provide a consistency condition for choosing lapse and shift."],"forward_implications":["For $\\omega \\neq -3/2$, the Jordan and Einstein frames have identical first-class constraint algebras, so the reduced Hamiltonian dynamics of the two frames is structurally the same once lapse and shift are fixed.","Static spherically symmetric solutions map across frames: the Einstein-frame FJNW solution is carried into the Jordan-frame BBMB black hole solution by the canonical frame transformation.","The FJNW naked singularity becomes a regular horizon in the Jordan frame because the conformal factor vanishes at the value the scalar field reaches at that surface, showing that singularity structure is not frame-invariant.","The canonical equivalence is a mathematical equivalence of the Hamiltonian dynamics; which frame's observables correspond to measurements remains open, so the two frames are not automatically physically equivalent.","In the $\\omega = -3/2$ case, the extra conformal constraint makes the frame transformation singular and the constraint algebras in the two frames differ, marking that case as exceptional."],"supporting_citations":[{"why":"supplies the proof that gauge-fixing lapse and shift turns the Jordan-to-Einstein transformation into a Hamiltonian canonical transformation on the reduced phase space","marker":"[8]"},{"why":"provides the Dirac constraint analysis of Brans-Dicke theory in the Jordan and Einstein frames for omega different from -3/2","marker":"[11]"},{"why":"provides the constraint analysis for omega = -3/2, identifying the extra conformal constraint and the singular character of the frame transformation","marker":"[13]"},{"why":"reports the mini-superspace calculation showing that gauge-fixing the lapse is needed for the transformation to map solutions","marker":"[12]"},{"why":"gives the spherically symmetric ADM analysis with boundary terms and the FJNW-to-BBMB mapping in canonical variables","marker":"[15]"},{"why":"defines the Brans-Dicke theory whose Jordan and Einstein frames are the subject of the paper","marker":"[14]"},{"why":"defines the Janis-Newman-Winicour solution used as the Einstein-frame seed solution","marker":"[33]"},{"why":"defines the Bocharova-Bronnikov-Melnikov-Bekenstein black hole solution obtained in the Jordan frame","marker":"[26]"},{"why":"provides the conformal mapping analysis relating the FJNW and BBMB solutions and their parameter relations","marker":"[29]"}],"fun_headline_variants":["Canonical after all: Jordan–Einstein via gauge fixing","Frame change turns naked singularity into black hole","Gauge-fixed frames: singularities become horizons","Jordan–Einstein map canonical once gauge is fixed","Brans–Dicke: from naked point to black hole"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claim rests on treating the lapse and shift as pure gauge, so that fixing them to arbitrary functions and imposing those choices as second-class constraints removes no physical dynamics; if this gauge reduction changes the Hamiltonian dynamics, the canonical equivalence between the frames collapses.","fun_headline_variants_meta":{"raw":{"variants":["Canonical after all: Jordan–Einstein via gauge fixing","Frame change turns naked singularity into black hole","Gauge-fixed frames: singularities become horizons","Jordan–Einstein map canonical once gauge is fixed","Brans–Dicke: from naked point to black hole"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000272,"raw_usage":{"total_tokens":1614,"prompt_tokens":909,"completion_tokens":705,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":525,"completion_tokens_details":{"reasoning_tokens":626}},"tokens_in":525,"tokens_out":705,"duration_ms":9865,"temperature":1.0,"reasoning_tokens":626,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:48:55.562159+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a non-static, spherically symmetric solution in the Jordan frame, choose a concrete gauge such as $N=1$ and $N_r=0$, integrate the Dirac-bracket equations of motion to obtain a Hamiltonian trajectory, map that trajectory to the Einstein frame with the conformal transformation, and check whether the image satisfies the Einstein-frame equations of motion in the same gauge with the same Dirac brackets; a mismatch in any component would falsify the claim.","supporting_citations":[{"cited_title":"Jordan and Einstein frames Hamiltonian analysis for FLRW Brans-Dicke theory","cited_arxiv_id":"2112.02098","evidence_quote":"reports the mini-superspace calculation showing that gauge-fixing the lapse is needed for the transformation to map solutions"},{"cited_title":"Spherically Symmetric Geometrodynamics in Jordan and Einstein frames","cited_arxiv_id":"2501.08364","evidence_quote":"gives the spherically symmetric ADM analysis with boundary terms and the FJNW-to-BBMB mapping in canonical variables"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"defines the Janis-Newman-Winicour solution used as the Einstein-frame seed solution"},{"cited_title":"82 535–547","cited_arxiv_id":null,"evidence_quote":"defines the Bocharova-Bronnikov-Melnikov-Bekenstein black hole solution obtained in the Jordan frame"},{"cited_title":"Conformal and kinetic couplings as two Jordan frames of the same theory","cited_arxiv_id":"2001.03221","evidence_quote":"provides the conformal mapping analysis relating the FJNW and BBMB solutions and their parameter relations"}],"review_version":1}