{"id":"c4a72626-397d-47dc-81f0-42f723fae56f","arxiv_id":"2607.28543","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Residual zero modes of the null-surface constraint matrix generate quasilocal soft edge charges that form an Abelian algebra without central extension, at infinity and at horizons.","lead":"Null boundaries carry global zero modes that are not ordinary bulk gauges; after a Dirac–Bergmann treatment they produce quasilocal soft edge charges. The same mechanism covers both null infinity and finite horizons and yields an Abelian charge algebra with no central term.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the reader's already-flagged integrability freeze.","rationale":"The paper's strongest claim is a clean, checkable adaptation of Dirac–Bergmann to null foliations that isolates ker Ω as the origin of soft edge charges and shows the pullback vanishes. The reader's CONDITIONAL verdict already isolates the precise load-bearing point (freezing of leading boundary data for integrability of Q). After re-reading §2–3 and the explicit evaluation (39), I find no additional soft spot that would move the verdict: the local operator assumptions are standard for the listed theories, the Yang–Mills Wilson-line case is handled by the asymptotic limit Ū\to1, and the algebra step itself does not smuggle extra hypotheses. The finite-horizon discussion is thin but presented as an outlook, not as a completed parallel computation. Hence the verdict remains CONDITIONAL for the reasons the reader already gave; no upgrade or downgrade is warranted. The concrete test simply reconfirms the key identity on the most structured example in the tables.","tokens_in":10785,"tokens_out":691,"duration_ms":13444,"concrete_test":"Re-derive the double contraction −i_{X_ε₁} i_{X_ε₂} ω explicitly for the Maxwell–Pontryagin row of Tables 1–2 (including the θ-dependent σ_AB) without assuming δU=0 a priori; confirm that the only surviving boundary integrand is proportional to η_1 Ω η_2 and therefore still vanishes on ker Ω. If a non-zero central term appears, the Abelian claim fails for that theory.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (residual zero modes of Ω produce improved generators that reduce to quasilocal Abelian soft charges Q[ε] with {Q[ε₁],Q[ε₂]}_*=0 because η∈ker Ω, Eqs. 39–40) is internally consistent under the stated assumptions. The calculation that the pullback of the symplectic form onto the residual sector vanishes is short and direct once η^α=U^α_I ε^I and δ_ε U=0 are granted. The reader's weakest assumption (integrability requiring δk̄^r=0 and δŪ=0, Eqs. 32–33) is correctly identified and is the genuine load-bearing condition; it is not hidden. No stronger internal inconsistency, missing step, or incorrect identity appears in the algebra derivation or in the local structure assumptions (16),(18),(20). The BTZ horizon remark remains schematic but does not undercut the Minkowski/null-infinity calculation that carries the claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper adapts the Dirac–Bergmann formalism to null foliations, arguing that residual zero modes of the symplectic matrix Ω_αβ of primary null constraints (second-class at fixed point but with a nontrivial integral-operator kernel) generate residual r-independent shift symmetries intrinsic to the null boundary. After Regge–Teitelboim improvement, these yield quasilocal soft edge charges Q[ε]. For the scalar, Maxwell, Maxwell–Pontryagin and Yang–Mills examples treated in §3 (Tables 1–2), the charge algebra on the reduced phase space is shown to be Abelian and free of central extension, because the residual parameters lie in ker Ω and the double contraction of the symplectic form therefore vanishes (Eqs. 39–40). The same construction is claimed to apply both at null infinity and at finite-distance null boundaries such as a BTZ horizon.","tokens_in":11022,"tokens_out":911,"duration_ms":16174,"significance":"If correct, the work supplies a uniform canonical origin for soft edge charges that does not rely on residual bulk gauge transformations, and that works equally at ℐ^± and at finite null surfaces. The explicit vanishing of the pullback of the symplectic form onto the residual sector (Eqs. 39–40) is a clean, falsifiable algebraic statement derived under stated local-structure assumptions. The tables of primary constraints, zero-mode operators and boundary data make the claim checkable for the listed theories. The result is incremental relative to the authors’ earlier null-boundary papers, but the unified zero-mode language and the horizon remark are of genuine interest for the soft-charge and horizon-symmetry communities.","major_comments":[{"comment":"§3, Eqs. (31)–(34) and the paragraph containing (32)–(33): integrability of δQ requires boundary conditions that freeze the leading values of both k^r_αβ and the zero-mode map U^α_I (δk̄=0, δŪ=0). This is load-bearing for the existence of the charge and for the subsequent algebra claim. The manuscript should state more explicitly the physical content of these freezes (which fall-offs or residual gauge fixings they correspond to) and whether they remain compatible with the radiative data that the soft charges are meant to act upon. Without that discussion the domain of validity of Q[ε] is unclear.","section":"§3, Eqs. (31)–(34)"},{"comment":"§3, final paragraphs and §4: the extension to a finite null boundary (BTZ horizon) is asserted but not carried out. No explicit primary constraints, Ω, U or surface term are written for the BTZ geometry. Either a short explicit calculation or a clear statement that the horizon case remains conjectural should be supplied; otherwise the claim that the construction “can arise on any kind of null boundaries” overreaches the concrete results.","section":"§3–§4"}],"minor_comments":[{"comment":"Table 1, Maxwell row: the operator L̂ and the factor √r appear with slightly inconsistent placement relative to the 3d measure; a one-line clarification of the density weight would help.","section":"Table 1"},{"comment":"Eq. (25) and the surrounding text: the θ-dependent piece of σ_AB is said not to contribute to L̂, but a brief explicit check that the antisymmetric part drops from the Poisson bracket would remove any ambiguity.","section":"§3"},{"comment":"Reference [8] is cited as “Manuscript in preparation” for the Maxwell null-boundary edge observables; if that work contains essential intermediate steps, a short self-contained summary or an arXiv link would improve readability.","section":"References"},{"comment":"Fig. 1 is conceptually helpful but its caption and the i±/I± labels are not defined in the text; a sentence linking the figure to the light-front zero mode would help non-specialist readers.","section":"§1"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is heavily dependent on the authors’ own recent series [6–8]; the present note is essentially a conceptual unification plus the symplectic-form argument (39)–(40). That is legitimate for a proceedings contribution, but the journal should weigh whether the incremental technical content meets its usual threshold for a standalone article. No integrity concerns."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing is that they isolate residual zero modes of the null primary-constraint matrix Ω as the origin of quasilocal soft edge charges, then show by a short symplectic double contraction that the algebra is Abelian with vanishing central term (Eqs. 39–40), because the residual parameters sit in ker Ω. That calculation is clean once you grant the local structure they assume.\n\nWhat is actually new is the packaging: a general residual map P (local form U), explicit tables for scalar, Maxwell–Pontryagin, Maxwell, and Yang–Mills, integrable Regge–Teitelboim charges under frozen leading boundary data, and the claim that the same mechanism works at finite null boundaries (BTZ horizon sketch). It is a genuine generalization of their own [6–8], not a re-labeling; the vanishing pullback is re-derived here from ω, not assumed by fiat.\n\nSoft spots are real but proportionate. Integrability needs δk̄^r = 0 and δŪ = 0 (32–33); if those leading data fluctuate, or if U depends nontrivially on the transforming fields beyond the Wilson-line case that goes to 1 at infinity, the charge need not be exact and the Abelian claim stalls. They state the freeze openly. The BTZ remark is schematic—no full constraint analysis—so the “any null boundary” slogan is not yet fully earned. Self-citation is heavy because the method lives in their prior papers; the new algebra step is not circular.\n\nMath looks solid under the stated assumptions (second-class at fixed point, local differential Ω, angular-local zero modes). Citations are appropriate for the soft-charge / null-surface literature. No data, no free parameters, no formal verification—just a short analytic note.\n\nThis is for people already working asymptotic symmetries, soft hair, or null canonical methods. A serious referee should see it; it is conference-length and scoped, not a paradigm shift. I would engage: read the tables, check (39), and cite the Abelian residual-sector argument if I am writing on edge charges at null surfaces. Send it to peer review.","headline":"Clean, checkable extension of the authors’ null Dirac–Bergmann program: residual ker Ω gives integrable Abelian soft edge charges; infinity/horizon unification is real but thin on the horizon side.","tokens_in":11692,"tokens_out":551,"would_cite":true,"duration_ms":16226,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.15.-q","04.20.Fy","11.30.-j"],"model":"grok-4.5","headline":"Residual zero modes on null boundaries produce quasilocal soft edge charges that form an Abelian algebra without central extension, at infinity and on horizons.","keywords":["soft charges","null boundaries","zero modes","Regge-Teitelboim","edge observables","asymptotic symmetries","null foliation","charge algebra"],"falsifier":"Compute the Poisson bracket of two improved residual charges in one of the listed theories after allowing the leading boundary data of k^r or U to vary; a non-vanishing or non-integrable result would falsify the Abelian, centrally-free claim.","tokens_in":11638,"feed_emoji":"⚡","tokens_out":875,"duration_ms":15139,"temperature":0.7,"pith_summary":"Null surfaces carry a global zero-mode ambiguity that is not an ordinary bulk gauge freedom: it is a residual kernel of the symplectic matrix of primary constraints once the theory is sliced along the light front. The paper adapts the Dirac–Bergmann procedure to keep that kernel, improves the associated generators by Regge–Teitelboim surface terms, and obtains a new family of quasilocal edge charges. For the scalar, Maxwell, Maxwell–Pontryagin, and Yang–Mills examples treated, the pull-back of the symplectic form onto the residual sector vanishes, so the charges commute and carry no central extension. The same construction works both at null infinity and at a finite null boundary such as a BTZ horizon, giving a single canonical origin for soft charges in both settings. A sympathetic reader cares because the soft sector is thereby tied directly to the characteristic structure of null evolution rather than only to residual bulk gauge transformations.","feed_headline":"Null zero modes yield Abelian soft edge charges","feed_subtitle":"The same residual kernel produces quasilocal charges at infinity and on black-hole horizons","key_machinery":"The residual zero-mode map P^α_I that embeds arbitrary boundary functions V^I(φ) into the kernel of the constraint symplectic operator Ω^αβ; once the generators are improved by the surface term Q[ε], the double contraction of the canonical symplectic form on these modes vanishes, yielding {Q[ε₁],Q[ε₂]}_*=0.","core_discovery":"Residual zero modes of the symplectic matrix of null primary constraints generate improved Regge–Teitelboim generators that reduce on the constraint surface to quasilocal soft edge charges Q[ε]. For the class of theories considered, the charge algebra is Abelian with vanishing central term because the residual parameters lie in the kernel of Ω and the pull-back Ω_IJ vanishes. The same mechanism operates at null infinity and at finite null boundaries such as a black-hole horizon.","pith_inferences":["If the frozen-boundary-data condition can be relaxed while keeping integrability, the construction may produce non-Abelian or centrally extended edge algebras on null surfaces.","The flux-balance form of charge non-conservation across a horizon supplies a canonical soft-hair contribution that could be compared with horizon soft-hair proposals in three and four dimensions.","Extending the tables to gravity or to higher-derivative gauge theories would test whether the vanishing of Ω_IJ is universal or theory-dependent."],"forward_implications":["Each null patch carries its own copy of the soft charge Q[ε] before matching.","Matching (antipodal at infinity, geometry-fixed on a horizon) relates the two copies and yields a conservation or flux-balance law.","The same zero-mode origin unifies soft charges at null infinity with soft charges on black-hole horizons.","The residual shift symmetries form an infinite-dimensional Abelian algebra intrinsic to any chosen null surface."],"fun_headline_variants":["Null boundary zero modes spawn quasilocal soft edge charges","Residual kernel yields Abelian charges at horizons and infinity","Zero modes of null constraints produce improved edge charges","Same soft-edge mechanism works at infinity and black-hole horizons","Symplectic zero modes generate Abelian quasilocal soft charges"],"cache_read_input_tokens":128,"weakest_assumption_plain":"Integrability of the surface charge requires that the leading boundary values of the radial coefficients and of the zero-mode radial map be frozen so they do not fluctuate.","fun_headline_variants_meta":{"raw":{"variants":["Null boundary zero modes spawn quasilocal soft edge charges","Residual kernel yields Abelian charges at horizons and infinity","Zero modes of null constraints produce improved edge charges","Same soft-edge mechanism works at infinity and black-hole horizons","Symplectic zero modes generate Abelian quasilocal soft charges"]},"model":"grok-4.5","effort":"low","cost_usd":0.003882,"raw_usage":{"total_tokens":1126,"prompt_tokens":664,"num_sources_used":0,"completion_tokens":83,"cost_in_usd_ticks":38824000,"prompt_tokens_details":{"text_tokens":664,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":379,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":664,"tokens_out":83,"duration_ms":6096,"temperature":1.0,"reasoning_tokens":379,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T04:07:46.690376+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the Poisson bracket of two improved residual charges in one of the listed theories after allowing the leading boundary data of k^r or U to vary; a non-vanishing or non-integrable result would falsify the Abelian, centrally-free claim.","supporting_citations":[],"review_version":1}