{"id":"e49a5551-99a3-4c82-8ac5-303f12f03d86","arxiv_id":"2507.02431","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Eliminating an auxiliary piece of the spatial connection turns 4D Palatini-Cartan gravity into a Hamiltonian system with zero Hamiltonian, first-class constraints, and an ADM mass boundary term.","lead":"This paper shows that the Hamiltonian form of 4D Palatini-Cartan gravity follows by removing an auxiliary field from the spatial connection. The derivation reproduces the known constraint structure and yields the ADM mass as a boundary term, providing a cleaner route to canonical gravity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the auxiliary-elimination argument is internally consistent; the main dependency is the cited decomposition theorem.","rationale":"The reader's weakest assumption correctly identifies the decomposition theorem of [CCS21b, Section 4.1] and the metric nondegeneracy conditions as the load-bearing support for the central claim. My stress-test confirms that the paper's own derivation is internally consistent: the algebraic reduction in Lemma 3.5 does follow from (3.6b) under the wedge product convention, and the boundary mass computation is a genuine consistency check that fixes the conversion constant G0. The reliance on the cited decomposition theorem is a normal mathematical dependency rather than an error or omission; the paper clearly states the assumption and references the proof. Therefore the verdict should remain ACCEPT with high confidence, and no change to the reader's assessment is warranted.","tokens_in":12477,"tokens_out":32736,"duration_ms":357731,"concrete_test":"Verify the cited decomposition theorem independently: take a concrete nondegenerate coframe e on Σ×I (for example, a small perturbation of a product metric on S^2×R) and a concrete horizontal connection bω; solve the constraints (3.5)–(3.6) directly and check that (ω,v) exists and is unique. If multiple solutions v (or no solution) occur for a metric-nondegenerate e, then v cannot be eliminated and the central equivalence would fail.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The paper's central claim—classical equivalence of 4D PC gravity to SHam after eliminating v—rests on two supports: (i) the unique decomposition bω = ω + v satisfying (3.5)–(3.6), imported from [CCS21b, Section 4.1], and (ii) Lemma 3.5, which proves nondegeneracy of Saux. I checked the internal algebra of Lemma 3.5: under the wedge-product convention stated in Section 2.2, the condition e v = 0 does yield v^{a4}_i = 0 and the six independent components encoded in (3.9), and the resulting quadratic form (3.10) is nondegenerate. The cancellation of e²∂nv in Proposition 3.4 also follows once one notes that, in the adapted gauge, e and v have no internal index along ϵn, so the wedge e∧∂ne∧v has internal degree at most three and vanishes. Thus the derivation is internally consistent. The only substantive dependency is the external decomposition theorem: if that theorem failed or were only local, the change of variables and hence the elimination of v would not be justified. This is a standard citation to prior work by the same group, not an internal gap, so it does not constitute a load-bearing concern for the argument as presented.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper considers 4D Palatini–Cartan gravity on a cylinder M=Σ×I and, under a metric-nondegeneracy condition (Definition 3.2), performs a change of variables based on the decomposition bω=ω+v satisfying the structural constraints (3.5)-(3.6). It rewrites the action as SHam+Saux, shows in Lemma 3.5 that the quadratic form Saux is nondegenerate on the constraint subspace ev=0, and eliminates v to obtain an equivalent Hamiltonian action SHam for the fields (μ,Z,w,e,ω). The resulting theory has zero Hamiltonian and first-class constraints corresponding to the torsion-free condition, the Hamiltonian constraint, and the momentum constraint. With boundaries, the same elimination yields a boundary term that reproduces the ADM mass, and the Schwarzschild check fixes G0=8πG. The paper also briefly discusses Euclidean signature and prospects for quantization via BV pushforward.","tokens_in":12705,"tokens_out":32870,"duration_ms":388863,"significance":"If the central claim holds, the paper gives a transparent and economical derivation of the Hamiltonian formulation of tetrad gravity: the auxiliary field v is eliminated algebraically rather than appearing through a detailed constraint analysis, and the known Hamiltonian and momentum constraints emerge naturally as equations imposed by Lagrange multipliers. The auxiliary-quadratic-form computation in Lemma 3.5 is explicit and checkable, and the boundary analysis correctly recovers the ADM mass, which provides a useful consistency check. The dependence on the decomposition theorem from [CCS21b] is real but is a citation to prior published work rather than an internal gap. The novelty over the authors' earlier papers is modest—this is a pedagogical and technical cleanup of the classical equivalence—but the presentation is careful and the result is useful for subsequent BV/quantization work.","major_comments":[],"minor_comments":[{"comment":"The existence and uniqueness of the decomposition bω=ω+v satisfying (3.5)-(3.6) is load-bearing for the entire argument, but it is only cited from [CCS21b, Section 4.1]. Please state the theorem explicitly with its precise hypotheses (or include a short proof in an appendix), so that the reader can verify that the change of variables is globally defined and that the structural constraint (3.6a) is indeed part of the parametrization rather than an additional condition to be imposed on SHam.","section":"Section 3, around (3.5)-(3.6)"},{"comment":"The text says that v is an auxiliary field and that its Euler-Lagrange equation is a homogeneous linear equation, but after the decomposition theorem v is a determined function of (e,bω), not an independent variable. Please clarify that the auxiliary-field treatment is valid because (3.6) are used to define a coordinate system on the image of the change of variables, and that variations of v are taken along this constrained submanifold; this would prevent a possible misreading that the structural constraint is being dropped.","section":"Section 3.1"},{"comment":"The statement that metric nondegeneracy is automatic in the Euclidean case is only true if the reference (0,1)-form ϵn is chosen to be the unit normal to the hypersurface determined by e; otherwise e3ϵn can vanish even when gΣ is positive definite. Please specify this choice explicitly.","section":"Section 5, item (3)"},{"comment":"The dimensional discussion leading to G0=8πG would be clearer if the units (c=1, or c=ħ=1) were stated explicitly; as written, the reader must reconstruct how G0=8πG is dimensionally consistent with the statement that G0 has dimension length squared.","section":"Section 4.1"},{"comment":"There are several small typographical errors: 'known has' should be 'known as' (Section 3.2); 'modifying a theory buy a boundary term' should be 'by' (footnote 14); 'Metric nondegenracy' should be 'Metric nondegeneracy' (Section 5).","section":"Various"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a short note that relies substantially on the authors' prior work [CCS21b] for the crucial decomposition theorem. The incremental contribution is the explicit auxiliary-field elimination and the nondegeneracy computation, which are presented cleanly. The editor may wish to assess whether this incremental contribution is sufficient for the target journal; from a technical standpoint the argument is internally consistent and the result is correct."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nQuick take: this is a solid, honest derivational paper. It doesn't change the physics—the Hamiltonian formulation of 4D Palatini-Cartan gravity is already known from the cited literature—but it supplies a genuinely new route to it: eliminate the auxiliary field v by proving that the quadratic form Saux is nondegenerate. Lemma 3.5 is the real contribution, and the stress-test algebra checks out. The paper is worth a serious referee.\n\nWhat it does well: the derivation is careful. Proposition 3.4's integrations by parts are justified for closed Σ, the degeneracy problem in Remark 3.1 is stated clearly, and the structural constraints from [CCS21b] are used transparently. The ADM mass computation in Section 4.1 is properly framed as a normalization check (it fixes G0 = 8πG), not as a prediction. The paper also clearly flags its own limitation in Section 6: the Euclidean functional integral is not well-defined because Laux is not positive-definite. That honesty is good.\n\nSoft spots, in proportion: the main dependency is the unique decomposition theorem bω = ω + v from [CCS21b, Section 4.1]. If that theorem were only local or failed, the change of variables and the elimination of v would not be justified. But this is a standard citation to prior work by the same group, not an internal gap, and the stress-test check found no hidden circularity. A minor point: the boundary discussion in Section 3.3 is a bit compressed, but it does the job. Also, the paper's significance is methodological within an established program; readers looking for new physics won't find it here.\n\nSummary: this paper is for people working on constrained Hamiltonian gravity, boundary structures, or BV quantization—the companion paper [CC25] builds directly on it. I'd cite it for the nondegeneracy lemma and would bring it to a reading group. It deserves peer review, not desk rejection.","headline":"A clean, careful derivation of a known Hamiltonian structure via a genuinely new auxiliary-elimination lemma; not new physics, but solid and useful for the quantization program.","tokens_in":13207,"tokens_out":1669,"would_cite":true,"duration_ms":19390,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C05","70S05","81T70"],"pacs":["04.20.Fy","04.60.-m"],"model":"deepseek-v4-flash","headline":"Under metric nondegeneracy, 4D Palatini-Cartan gravity is classically equivalent to a zero-Hamiltonian constrained system obtained by eliminating an auxiliary connection field.","keywords":["Palatini-Cartan gravity","Hamiltonian formalism","auxiliary field elimination","first-class constraints","ADM mass","tetrad variables","BV pushforward","cosmological constant"],"falsifier":"Find a metric-nondegenerate coframe $e$ on $\\Sigma\\times I$ (satisfying $e^3\\epsilon_n \\neq 0$ and positive-definite $g_\\Sigma$) and a nonzero horizontal $(1,2)$-form $v$ with $e v = 0$ such that the pointwise Euler–Lagrange equation derived from $L_{\\mathrm{aux}}$ admits a nonzero solution; concretely, at some point the matrix of the quadratic form $L_{\\mathrm{aux}} = xy - xz + yz - 2(\\alpha^2+\\beta^2+\\gamma^2)$ would have a zero eigenvalue, or a deformation of the gauge-fixed form would change rank. Any such example would break the claim that $v$ is forced to vanish.","tokens_in":12278,"feed_emoji":"🌌","tokens_out":13973,"duration_ms":129383,"temperature":0.7,"pith_summary":"Four-dimensional Palatini-Cartan gravity, written with a coframe and an independent connection, contains a component of the connection that is pure auxiliary data. This paper shows that, under a metric nondegeneracy condition, that auxiliary field is set to zero by its own equation of motion, so it can be eliminated before doing any constraint analysis. The remaining action is a Hamiltonian system with zero Hamiltonian and three first-class constraints—the torsion-free condition, the Hamiltonian constraint, and the momentum constraint—enforced by Lagrange multipliers. On a spatial boundary the same elimination produces a boundary Hamiltonian that yields the ADM mass, verified on Schwarzschild. The clean separation of auxiliary from dynamical data is what makes the later Batalin-Vilkovisky (BV) quantization tractable.","feed_headline":"4D Palatini-Cartan gravity becomes a zero-Hamiltonian constraint theory","feed_subtitle":"Eliminating the auxiliary field leaves exactly the torsion-free, Hamiltonian, and momentum constraints.","key_machinery":"The central mechanism is the change of variables $(e,\\omega) \\mapsto (\\mu,Z,w,e,\\omega,v)$ obtained by writing $\\hat{\\omega} = \\omega + v$ with $e v = 0$ and $\\epsilon_n d_\\omega e = e\\sigma$, imported from [CCS21b]: this isolates $v$ as an algebraic, non-propagating field. The quadratic form $S_{\\mathrm{aux}} = \\int \\frac12(\\mu\\epsilon_n + \\iota_Z e)\\, e[v,v]$, written pointwise in a gauge where $e^a_\\mu = \\delta^a_\\mu$, becomes the explicit six-variable form $L_{\\mathrm{aux}} = xy - xz + yz - 2(\\alpha^2+\\beta^2+\\gamma^2)$, whose nondegeneracy is what makes $v$ eliminable. The symplectic potential $\\alpha_\\Sigma = \\int_\\Sigma \\frac12 e^2 \\delta\\omega$ identifies $(e,\\omega)$ as the phase-space variables.","core_discovery":"On a cylinder $\\Sigma\\times I$, and assuming the coframe $e$ is metric nondegenerate in the sense of Definition 3.2, the paper rewrites the 4D Palatini–Cartan action by decomposing the horizontal connection as $\\hat{\\omega} = \\omega + v$, with the auxiliary part $v$ constrained by $e v = 0$ and the structural constraint $\\epsilon_n d_\\omega e = e\\,\\sigma$. The action splits as $S = S_{\\mathrm{Ham}}[\\mu,Z,w,e,\\omega] + S_{\\mathrm{aux}}[\\mu,Z,e,v]$, where $S_{\\mathrm{aux}}$ is quadratic in $v$ with no derivatives. Lemma 3.5 shows that, pointwise and after gauge fixing, the quadratic form is $L_{\\mathrm{aux}} = xy - xz + yz - 2(\\alpha^2+\\beta^2+\\gamma^2)$ in six independent components, hence nondegenerate; consequently the Euler–Lagrange equation for $v$ has only the zero solution and $v$ is eliminated. The residual action $S_{\\mathrm{Ham}}$ has zero Hamiltonian, with $(e,\\omega)$ as the dynamical pair and $(\\mu,Z,w)$ as Lagrange multipliers enforcing the torsion-free condition, the Hamiltonian constraint, and the momentum constraint, which are first class. When $\\Sigma$ has a boundary, a boundary term appears and reproduces the ADM mass, checked on the Schwarzschild solution and fixing $G_0 = 8\\pi G$.","pith_inferences":["The pointwise nondegeneracy of the auxiliary quadratic form is established in a gauge-fixed frame; a natural extension is to classify all possible normal forms of $L_{\\mathrm{aux}}$ for other signatures or dimensions, where the form may change character.","The paper's derivation suggests that the covariant phase space of 4D gravity can be reconstructed directly from $\\alpha_\\Sigma$ without a boundary analysis; if so, the symplectic potential would be a canonical starting point for defining quasi-local charges in first-order variables.","For degenerate metrics, the elimination of $v$ should fail, possibly revealing a sector of the theory where the auxiliary field becomes dynamical; probing that sector could indicate whether the nondegeneracy assumption hides extra degrees of freedom.","The boundary mass formula $M(r)$ between the horizon and infinity could be compared with other quasi-local mass definitions in the coframe formalism; the comparison is an explicit test of whether this boundary Hamiltonian is the physically correct notion of energy."],"forward_implications":["Classically, 4D Palatini–Cartan gravity on a cylinder is exactly the constrained Hamiltonian system with zero evolution Hamiltonian; no separate constraint analysis is needed to arrive at it.","The auxiliary component $v$ of the connection carries no classical degrees of freedom, so the physical phase space is parameterized by $e$ and the reduced connection $\\omega$ only.","The three constraints are first class and generate internal gauge transformations, transversal diffeomorphisms, and spatial diffeomorphisms; there is no time evolution, as expected from diffeomorphism invariance.","For manifolds with boundary, the boundary term in the modified action is a de facto Hamiltonian; evaluated on Schwarzschild it gives the ADM mass, fixing the constant $G_0 = 8\\pi G$.","In the BV formalism, $v$ can be integrated out first via a BV pushforward, so the subsequent quantization of PC gravity can start from the boundary AKSZ action rather than the full bulk action."],"supporting_citations":[{"why":"Imports the unique decomposition $\\hat{\\omega} = \\omega + v$ with the structural constraint (3.6); the whole change of variables rests on it.","marker":"[CCS21b]"},{"why":"Establishes the reduced phase space and the first-class nature of the constraints that the Hamiltonian action inherits.","marker":"[CS19b]"},{"why":"Defines the ADM mass that the boundary term in Section 4 recovers on Schwarzschild, fixing $G_0 = 8\\pi G$.","marker":"[ADM59]"},{"why":"Supplies the BV pushforward construction used to integrate out the auxiliary field in the quantisation step.","marker":"[CMR18]"},{"why":"Companion paper that extends this elimination to the BV setting and higher dimensions, referenced as the main follow-up.","marker":"[CC25]"},{"why":"Provides the BV-BFV treatment of the Palatini-Cartan-Holst action whose boundary analysis underlies the Hamiltonian formulation.","marker":"[CS19a]"}],"fun_headline_variants":["Eliminating auxiliary field yields zero-Hamiltonian constraints","Palatini-Cartan gravity reduced to zero-Hamiltonian constraints","Auxiliary connection eliminated: gravity becomes pure constraints","4D Palatini-Cartan: zero Hamiltonian, first-class constraints","Hamiltonian Palatini-Cartan: auxiliary field vanishes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the metric induced on each slice $\\Sigma\\times\\{t\\}$ stays nondegenerate, so that the connection splits uniquely into a torsion-free part and an auxiliary part and the auxiliary quadratic form is nondegenerate; if the metric degenerates, the auxiliary field can no longer be eliminated.","fun_headline_variants_meta":{"raw":{"variants":["Eliminating auxiliary field yields zero-Hamiltonian constraints","Palatini-Cartan gravity reduced to zero-Hamiltonian constraints","Auxiliary connection eliminated: gravity becomes pure constraints","4D Palatini-Cartan: zero Hamiltonian, first-class constraints","Hamiltonian Palatini-Cartan: auxiliary field vanishes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000708,"raw_usage":{"total_tokens":3149,"prompt_tokens":868,"completion_tokens":2281,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":484,"completion_tokens_details":{"reasoning_tokens":2196}},"tokens_in":484,"tokens_out":2281,"duration_ms":18537,"temperature":1.0,"reasoning_tokens":2196,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:30:36.963298+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a metric-nondegenerate coframe $e$ on $\\Sigma\\times I$ (satisfying $e^3\\epsilon_n \\neq 0$ and positive-definite $g_\\Sigma$) and a nonzero horizontal $(1,2)$-form $v$ with $e v = 0$ such that the pointwise Euler–Lagrange equation derived from $L_{\\mathrm{aux}}$ admits a nonzero solution; concretely, at some point the matrix of the quadratic form $L_{\\mathrm{aux}} = xy - xz + yz - 2(\\alpha^2+\\beta^2+\\gamma^2)$ would have a zero eigenvalue, or a deformation of the gauge-fixed form would change rank. Any such example would break the claim that $v$ is forced to vanish.","supporting_citations":[],"review_version":1}