{"id":"169ca2cd-531b-4e2c-9c3c-bd8898fd69ba","arxiv_id":"2602.21017","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"On a finite null boundary, the boost-weighted metric functionals and their evolution equations form a recursive tower seeded by the w=-2 functional, and the sub-leading Holst charge contains Im Ψ2.","lead":"This paper builds a ladder of five horizon observables that change in a controlled way under boost rescalings of a near-horizon metric, and shows the whole ladder follows from the lowest-weight rung. The same ladder reappears in the charges of Einstein-Cartan-Holst gravity, where the imaginary part of the Weyl scalar Ψ2 enters the sub-leading charge.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Stated evolution-equation recursion (0.3)/(3.33) has wrong coefficient: direct anomalies in (3.31), (3.25), (3.14), (3.11) give 3,2,1,0, not (2−w)=4,3,2,1; correct pattern is (1−w).","rationale":"The Reader's weakest_assumption focused on the on-shell nature of the derivations and the imported 2D identities. While those are legitimate concerns, the sharper and more concrete problem is an internal inconsistency in the central recursive pattern (0.3). The paper's own displayed anomaly computations contradict the coefficient (2−w). This is a stronger finding because it does not rely on whether the identities from [50] hold or on the gauge class; it is a direct check of the paper's own equations. The correct coefficient appears to be (1−w), which still gives a recursive structure but with a different normalization. This means the abstract's claim that the evolution equations obey (0.3) is literally false, although the explicit evolution equations in (3.32) might be correct. The paper should be revised to correct (0.3) and (3.33), and any conclusions that depend on the exact coefficient should be re-examined. Because the underlying construction is not invalidated—only the stated recursion is wrong—the verdict remains CONDITIONAL, not REJECT. I therefore leave the Reader's verdict unchanged, but for a more specific and internal reason.","tokens_in":36157,"tokens_out":21900,"duration_ms":189631,"concrete_test":"Independently recompute δE_T, δE_P, δE_A/δE_Ã, and δE_J from the definitions (3.26), (3.17), (3.12)/(3.15), and (3.8), using the transformation rules (1.29)–(1.30) and the identities (2.5), (2.9), (3.10). If the anomaly coefficients are 3, 2, 1, 0 as displayed in (3.31), (3.25), (3.14), (3.11), then (0.3) and (3.33) are false and must be corrected to the (1−w) pattern. This is a purely symbolic-algebra check, independent of the paper's narrative summary.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on two recursive patterns: (0.1) for the functionals (which is verified) and (0.3) for their evolution equations. But (0.3) is false as written. The direct anomaly computations are displayed in the paper: (3.31) gives δE_T = (τ∂v+L_Y−τ̇)E_T + 3 E_P⟨a∂b⟩τ; (3.25) gives δE_P = (τ∂v+L_Y)E_P + E_A∂aτ + E_Ã∂aτ = (τ∂v+L_Y)E_P + 2 E^A_ab ∂bτ; (3.14) gives δE_A = (τ∂v+L_Y+τ̇)E_A + E_J^a∂aτ; and (3.11) gives δE_J = (τ∂v+L_Y+2τ̇)E_J with no anomaly. Thus the anomaly coefficients are 3, 2, 1, 0 for w = −2, −1, 0, 1. The claimed (2−w) gives 4, 3, 2, 1. The consistent coefficient is (1−w). This is not a cosmetic typo: the abstract's claim that the evolution equations obey (0.3) is false, and any derivation that uses (0.3) to determine the tower would produce incorrect equations. The paper's explicit evolution equations in (3.32) may still be correct—they are obtained by direct construction—but the advertised recursive pattern that 'allows the remaining evolution equations to be determined using symmetry arguments' is not supported. This is an internal inconsistency in the central claim, independent of on-shell/gauge concerns.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a finite-null-boundary analog of the null-infinity boost-weight tower. Starting from the w=-2 tensor T_ab = d_<ab> - θ(n) σ(n)_ab, it constructs covariant functionals P_a, A_ab (with dual Ã), J_a, and N_ab, and claims that their near-horizon symmetry transformations obey the recursion (0.1). It then identifies combinations that yield the evolution equations (3.32), states that these equations obey the recursive pattern (0.3)/(3.33), and independently recovers the equations from Newman-Penrose Bianchi identities in Appendix B. The paper also computes Einstein-Cartan-Holst Noether charges, finding that the dual functional à (related to Im Ψ2) enters the subleading super-translation Holst charge, and resolves a mismatch with the charges of [49] by adding a non-covariant boundary Lagrangian (5.3).","tokens_in":36592,"tokens_out":10798,"duration_ms":97223,"significance":"If the advertised results are correct, the finite-null-boundary phase space is organized as a single boost-graded tower rather than five independent fields, and the Holst term gives Im Ψ2 a charge meaning at subleading order. The paper has notable strengths: the transformation laws are computed explicitly, the evolution equations are cross-checked in an independent Newman-Penrose calculation (Appendix B), and the mismatch with [49] is openly declared and then addressed with a boundary Lagrangian. These features make the paper a potentially substantial contribution, provided the recursive-pattern issue described below is resolved.","major_comments":[{"comment":"The anomaly coefficient in the evolution-equation recursion is wrong. The displayed transformation laws are: (3.11) δE_J = (τ∂v+L_Y+2τ̇)E_J; (3.14) δE_A = (τ∂v+L_Y+τ̇)E_A + E_J^a ∂aτ; (3.25) δE_P = (τ∂v+L_Y)E_P + E_A ∂aτ + E_à ∂aτ; and (3.31) δE_T = (τ∂v+L_Y−τ̇)E_T + 3 E_P⟨a ∂b⟩τ. Thus the anomaly coefficients are 0, 1, 2, 3 for w = 1, 0, −1, −2, i.e. (1−w), not (2−w). The recursion as written in (0.3) and (3.33) would give 1, 2, 3, 4 and would not reproduce (3.11), (3.14), (3.25), or (3.31). This is not cosmetic: the abstract and introduction advertise that the remaining evolution equations are determined by symmetry from the w=−2 equation, but the displayed equations do not support that with the stated coefficient. The explicit equations (3.32) may still be correct—they are re-derived from Bianchi identities—but the advertised recursive pattern needs to be corrected to (1−w) or the tex","section":"§3, Eqs. (0.3)/(3.33)"},{"comment":"The recursive construction depends on imported two-dimensional corner identities, but only (2.9) receives a sketch; (2.5) is merely cited to [50] and (3.10) is stated without proof. These identities are load-bearing: without them the quadratic anomaly cancellation fails at the first rung of the tower. Please either prove these identities in an appendix or give precise statements and locations in [50]. Relatedly, the paper should state explicitly that the whole pattern is established only within the Newman-Unti gauge ansatz (1.1)–(1.4) with the radial expansion (1.14), and only on shell after imposing (1.19)–(1.21); the current notation 'ˆ=' signals this but the domain of the central claim is not delimited in the text.","section":"§2 and §3, Eqs. (2.5), (2.9), (3.10)"}],"minor_comments":[{"comment":"The notation E^A_{ab} is used without definition. Please spell out that it denotes the symmetric-trace-free combination of the anomaly terms E_A ∂aτ + E_à ∂aτ, or introduce a clearer symbol.","section":"§3, Eq. (3.25)"},{"comment":"The first evolution equation appears with coefficient (κ−2θ) in (3.8) and (κ−3/2θ) with σ(ℓ) in (3.32). These are equivalent only after using K(ℓ) = σ(ℓ) + (1/2)θ(ℓ) q. A short remark near (3.8) would avoid confusion.","section":"§3, Eqs. (3.8), (3.32)"},{"comment":"The quantities q_H[ξ_T], ω̃_ij and the tilde operation on σ(ℓ) are used without definition. Please define these before the Holst charge computation.","section":"§4, Eq. (4.30)"},{"comment":"The text refers to 'the sub-leading super-translation charge (2.28) obtained in [49]'. Since the equation number belongs to the cited paper rather than this one, please display the formula here or reference it as [49, Eq. (2.28)] to avoid ambiguity.","section":"§5, Eq. (5.1)"}],"recommendation":"major_revision","confidential_remarks":"The coefficient error in (0.3)/(3.33) is the main technical issue; the explicit evolution equations and the Bianchi-identity cross-check suggest the rest of the analysis is sound. If the recursion is corrected to (1−w) and the imported identities are either proved or precisely referenced, the paper would be suitable for publication in this journal. The scope is appropriate and the mismatch with [49] is handled transparently."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing you should know first: the central recursive pattern for the evolution equations is off by one in the anomaly coefficient. The paper claims (0.3)/(3.33) with (2−w); the explicit anomaly computations in (3.11), (3.14), (3.25), (3.31) give coefficients 0,1,2,3 for w=1,0,−1,−2, which is (1−w). So the advertised statement that the w=−2 evolution equation determines the rest by symmetry is false as written. This is not a typo in a prefactor: the abstract and section 3.4 sell this pattern as a main result.\n\nThat said, the explicit evolution equations in (3.32) may well be correct. They are constructed directly as anomaly-free combinations, and Appendix B recovers them from the Newman-Penrose Bianchi identities. The functional tower (0.1) itself has the correct coefficients, and the seed T_ab = d_⟨ab⟩ − θ(n)σ(n)_ab is a genuine finite-distance analogue of the higher Bondi aspect. The Holst-charge result—Im Ψ2 entering the sub-leading super-translation charge at order ρ—is new and plausible given the dual-charge literature.\n\nThe paper is honest and careful in places: it declares the mismatch with [49] and shows how a boundary Lagrangian reproduces the target charge. But that resolution is engineered: the coefficients of ℓ_b^(1) are fixed by the charge one wants to match. And several anomaly-cancellation steps are asserted rather than displayed ((2.19), (3.7), (C.4)), which makes verification painful. The 2D identities from [50] are imported without re-derivation; if any of those fail at finite distance, the whole ladder has a weak first rung. Finally, the covariance is on-shell only: the tower is established modulo the leading null Raychaudhuri, Damour, and E_ab equations.\n\nWho gains from this? People in null-boundary holography and asymptotic-symmetry circles will want to read it, especially for the Holst charge and the finite-distance tower. It deserves a serious referee, but with a clear list of demands: fix the recursion coefficient, supply the omitted algebra, re-derive or explicitly import the corner identities, and state plainly that the symmetry-based \"derivation\" of the evolution equations is not what the paper actually does.\n\nRecommendation: send to peer review, but flag the recursion error as a must-fix before acceptance.","headline":"Evolution-equation recursion in (0.3)/(3.33) has a wrong coefficient—direct anomalies give (1−w) not (2−w)—so the symmetry-derived tower claim is false as stated, though the explicit equations and Holst charge may survive.","tokens_in":37179,"tokens_out":5928,"would_cite":true,"duration_ms":49504,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The near-horizon phase space of gravity is a single boost-graded tower: one w=-2 tensor and its symmetry generate every other observable and evolution equation.","keywords":["near-horizon symmetries","null boundaries","boost weight","duality symmetry","Weyl scalars","Noether charges","Holst term","supertranslations"],"falsifier":"Compute the two-surface identities (2.5) and (2.9) explicitly for a two-sphere with nonvanishing shear and expansion; if either identity fails, the anomaly cancellation defining T_ab and P_a fails and the recursion is broken. Alternatively, solve the hypersurface Einstein equations with a metric that is in the same gauge but has nonzero off-diagonal terms in the radial expansion; if the recursive pattern (0.3) picks up anomalies, the result is not gauge-independent.","tokens_in":35920,"feed_emoji":"🕳️","tokens_out":7378,"duration_ms":63116,"temperature":0.7,"pith_summary":"This paper argues that the gravitational observables living on a finite null boundary (such as a black hole horizon) are not independent: they form a single tower organized by boost weight, with the lowest rung (boost weight -2) as the seed. Starting from one metric tensor T_ab and its transformation law under near-horizon supertranslations, the author recursively derives the four higher-rung tensors and all of their evolution equations. The same recursive pattern governs the equations of motion, so the entire near-horizon dynamics is fixed by symmetry once the lowest rung is known. The paper also shows that adding a topological Holst term to the Einstein-Cartan action makes the imaginary part of the Weyl scalar Ψ2 appear in the sub-leading super-translation Noether charge, giving this dual quantity a charge meaning. If correct, this reduces the data needed to describe near-horizon gravity and aligns finite boundaries with the asymptotic symmetry tower.","feed_headline":"One tensor generates all near-horizon gravitational dynamics","feed_subtitle":"All boost-weighted observables and their equations follow from one tensor — plus a charge for imaginary Ψ2.","key_machinery":"The central object is the boost weight -2 tensor T_ab = d_<ab> - θ^(n) σ^(n)_ab, built from the sub-sub-leading metric coefficient minus a shear/expansion combination so that its quadratic anomaly cancels. Its linear anomaly under supertranslations is proportional to the next tensor P_a, and the recursion rule turns each tensor's anomaly into the seed of the one above it. The companion machinery is the duality operation on the corner (rotation by the area form ε_ab), which splits the weight-0 tensor into symmetric and antisymmetric parts and lets the evolution equations close. For the charge part, the Holst term in the Einstein-Cartan Lagrangian provides a pre-symplectic potential whose Noet","core_discovery":"The central claim is that the five boost-weighted tensors T_ab (w=-2), P_a (w=-1), A_ab (w=0), J_a (w=1), and N_ab (w=2), defined from the radial expansion of the boundary metric, transform semi-covariantly under near-horizon symmetries and obey the recursive law δQ_w = (τ∂_v + L_Y + wτ̇)Q_w - (w-2)Q_{w+1}∂τ. This means the anomaly of each tensor is the next tensor up the tower, so knowing T_ab and its transformation determines all the others. The same structure holds for the on-shell evolution equations, E_{Q_w}, which satisfy a parallel recursion; imposing the lowest evolution equation makes the whole tower's equations follow by symmetry. In the Einstein-Cartan-Holst formulation, the sub-l","pith_inferences":["If the recursion persists off-shell in a wider class of gauges, it would mean the near-horizon phase space is a lowest-weight representation of the near-horizon symmetry algebra, which could simplify canonical quantization of horizon degrees of freedom.","The dictionary with Weyl scalars in appendix B suggests that the sub-sub-leading metric coefficient alone encodes the radiative information; a testable extension is to derive the displacement and spin memory effects at finite boundaries entirely from T_ab.","The two-dimensional identities (2.5), (2.9), and (3.10) are the load-bearing technical input; independently verifying them on a generic two-surface (e.g., a sheared sphere) would be a cheap and decisive check.","The Holst charge result hints that the imaginary part of Ψ2 may be conserved at the horizon; one could look for its flux in numerical black-hole merger simulations."],"forward_implications":["The full near-horizon phase space is determined by the single tensor T_ab and its evolution equation; all higher-boost observables are symmetry images of it, not independent data.","The on-shell evolution equations (3.32) are exactly the condition that the symmetry action be anomaly-free; imposing them fixes the transformation of every phase-space variable.","The sub-leading super-translation charge of a previous work is reproduced by adding the boundary Lagrangian (5.3), so the two charge constructions are compatible once boundary terms are included.","Adding the Holst term introduces new near-horizon Noether charges, so the dual (imaginary-Ψ2) sector is observable in the charge algebra, not just in the geometry.","The recursive pattern holds even though a finite horizon carries genuine degrees of freedom (expansion, shear, surface gravity, Hajicek field), in contrast to null infinity where they are frozen."],"fun_headline_variants":["One tensor yields every horizon observable","Recursive symmetry: five tensors from one","Single tensor seeds entire horizon dynamics","All horizon equations follow from one tensor","Master tensor controls near-horizon recursion"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The entire ladder rests on the validity of three two-dimensional identities imported from an earlier analysis and on the specific radial coordinate gauge used for the metric; if any of those fails, or if the recursion holds only after imposing the leading Einstein equations rather than for generic perturbations, the tower collapses.","fun_headline_variants_meta":{"raw":{"variants":["One tensor yields every horizon observable","Recursive symmetry: five tensors from one","Single tensor seeds entire horizon dynamics","All horizon equations follow from one tensor","Master tensor controls near-horizon recursion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000214,"raw_usage":{"total_tokens":1283,"prompt_tokens":789,"completion_tokens":494,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":533,"completion_tokens_details":{"reasoning_tokens":432}},"tokens_in":533,"tokens_out":494,"duration_ms":4937,"temperature":1.0,"reasoning_tokens":432,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T21:08:45.572677+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two-surface identities (2.5) and (2.9) explicitly for a two-sphere with nonvanishing shear and expansion; if either identity fails, the anomaly cancellation defining T_ab and P_a fails and the recursion is broken. Alternatively, solve the hypersurface Einstein equations with a metric that is in the same gauge but has nonzero off-diagonal terms in the radial expansion; if the recursive pattern (0.3) picks up anomalies, the result is not gauge-independent.","supporting_citations":[],"review_version":1}