{"id":"e76b5f13-62cc-4b32-964f-597ea306f680","arxiv_id":"2508.09679","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Local amplitudes for causal diamonds can be constructed from null-slab boundary states, projectors, and vacuum intertwiners, with Ward identities and charge conservation as consequences.","lead":"This paper lays out a theory-independent framework for building local quantum gravity amplitudes in causal diamonds, using null slabs as building blocks. It shows that if certain projector and vacuum states exist, the resulting amplitudes obey Ward identities and charge conservation.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Existence of the edge vacuum T and bulk vacuum Ω (Eqs. 44–46; Axioms vi–vii) is unproven; unitary reps of infinite-dimensional corner algebras need not contain invariant states, so amplitude (47) may be undefined or empty.","rationale":"The reader's conditional verdict is the right one. The paper's central statement is a formal implication: given Axioms (i)–(vii), the index contractions in (47) do satisfy (51), (52), and (55). The algebraic steps are plausible, and I found no internal contradiction in the derivation, modulo the deliberately loose index notation. The load-bearing point is therefore not the algebra but the realizability of the axioms. The authors themselves state the existence of the vacuum states as an assumption and defer to [11]; the reader correctly identified this as the weakest assumption. I also considered whether the proof of (54) smuggles an operator-valued holonomy h past the projector, but in the main text h is a classical linear map, and the footnote's operator-valued possibility would need separate treatment rather than changing the main verdict. Another possible concern is the normalizability of PΩ, but that is part of the same vacuum-existence problem. Thus no new verdict adjustment is needed; the report should remain conditional at least until (44)–(46) are exhibited in a concrete model.","tokens_in":45161,"tokens_out":12790,"duration_ms":152497,"concrete_test":"Use the null-cone Fock/CFT construction of ref. [11] as the testbed. Pick the simplest nontrivial corner algebra, e.g. Diff(S^1)/Virasoro, and determine whether a unit vector |T⟩ ∈ K_C± exists with Q_ξ|T⟩ = 0 for all generators — in particular L_n|T⟩ = 0 for all n, so the state must have conformal weight h = 0 and be Virasoro-primary; check whether the representation admits such an h = 0 state. Separately, in the same representation solve the constraint (46): compute ||(H_ξ − Q_ξ[C_+] + Q_ξ[C_−])|Ω⟩||^2 for a candidate, or determine whether zero is an eigenvalue of the constraint operators. If no such normalizable states exist, Axioms (vi)–(vii) are empty and the amplitude (47) is not realized.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is conditional on Axioms (vi)–(vii): a no-geometry edge vacuum T^A with Q^A_Bξ[C]T^B = 0 (44) and a bulk vacuum |Ω^A_{A'}⟩ satisfying the flux-balance constraint (46) and the intertwining property (45). These are assumed, not constructed, and the paper explicitly defers realization to [11] and future work. But existence of these states is not a minor technicality. For the corner symmetry algebras the paper names (Diff(S^2), Virasoro-type, jet-bundle extensions), unitary representations generically have no nonzero invariant vector: requiring 0 to lie in the point spectrum of every charge Q_ξ is a strong spectral condition, and for noncompact/infinite-dimensional groups group-averaging typically produces distributional states, not elements of the kinematical Hilbert space. Likewise, (46) requires a normalizable solution of the quantum constraints H_ξ|Ω⟩ = (Q_+ − Q_−)|Ω⟩; if the constraints have continuous spectrum at zero, such an Ω does not exist in K_↑. Since the amplitude (47), the vanishing steps (49)–(50), and the intertwining step (54) all use T and Ω as ordinary Hilbert-space intertwiners, failure of existence leaves the amplitude undefined or identically zero, and the Ward identities (51)–(55) become vacuous. The algebraic derivation from the axioms is coherent; the missing piece is a concrete model in which (44)–(46) are actually satisfied.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an axiomatic, top-down framework for constructing local transition amplitudes in quantum gravity on causal diamonds bounded by null surfaces. The authors review timeless quantum mechanics and covariant phase space, then define a kinematical Hilbert space factorized into corner edge modes and bulk radiative modes. The physical Hilbert space is obtained by a generalized projector implementing flux-balance constraints. The central result is the amplitude formula (47), built from projectors P and assumed vacuum states T^A and |Ω^A_{A'}⟩, and the claim that this amplitude satisfies Ward identities (51), (52) and local charge conservation (55). The paper concludes by discussing possible realizations through CFT data and spinfoam/GFT constructions.","tokens_in":45644,"tokens_out":6577,"duration_ms":79323,"significance":"If the axioms can be realized, the paper provides a clean structural template for local gravitational amplitudes: the amplitude is a tensor contraction of a generalized projector with vacuum intertwiners, and the Ward identities follow transparently from the stated axioms. The derivation is algebraic and easy to follow, and the paper avoids fitted parameters. Its main value is as a synthesis and blueprint, connecting null-surface edge modes, flux-balance laws, and timeless amplitudes. The main weakness is that the existence of the edge vacuum T^A and bulk vacuum |Ω^A_{A'}⟩, Eqs. (44)–(46), is assumed rather than established; for the infinite-dimensional corner algebras the paper names (Diff(S^2), Virasoro-type, jet-bundle extensions), such invariant or intertwining states need not exist in unitary representations. Thus the central result is conditional on a non-trivial existence problem.","major_comments":[{"comment":"The load-bearing assumption is the existence of T^A and |Ω^A_{A'}⟩ satisfying (44)–(46). The paper explicitly defers realization to [11] and future work, but this is not a minor gap. For the corner symmetry algebras mentioned (Diff(S^2), Virasoro-type, jet-bundle extensions), unitary representations generically contain no nonzero invariant vector, and group-averaging typically yields distributional states outside the kinematical Hilbert space. Similarly, (46) requires a normalizable solution of the quantum constraints with the flux-balance operator equal to the charge difference; if zero lies in the continuous spectrum, no such Ω exists in K↑. Since (47)–(55) use T and Ω as ordinary Hilbert-space intertwiners, failure of existence makes the amplitude undefined or identically zero and the Ward identities vacuous. The authors should either provide a concrete model satisfying (44)–(46) or s","section":"§4.2, Eqs. (44)–(46); §4.3 Axioms (vi)–(vii)"},{"comment":"The functional-analytic status of the generalized projector is not addressed. P is said to map into possibly non-normalizable elements of the algebraic dual, yet the amplitude (47) and Ward identities use ⟨γ|P|Ω⟩ as ordinary matrix elements and move charges through P using (37)–(43). This requires a specification of dense domains, adjoints, and the convergence of the infinite sums/integrals over A,A′ in (25) and (47). The DeWitt notation in footnote 9 deliberately suppresses these issues, but they become load-bearing when the corner algebra is infinite-dimensional and the charges Qξ are unbounded. The authors should state the domain assumptions under which (47)–(55) are well-defined.","section":"§4.2, Eqs. (35)–(40); §2, Eqs. (4)–(5)"},{"comment":"Equation (55), local charge conservation, is a central advertised result but is asserted rather than derived: the text says only 'In the same way, it is easy to show'. Given that the derivation of (54) is already intricate and relies on the parallel-transport map h and the vacuum annihilation (44), the proof of (55) should be written out. In particular, it must be shown how Qξ[C+in] on the in-state is transported through the projector and the bulk vacuum to Q_{hξ}[C+out] on the out-state, using (45), (46), and (49)–(50). Without this, the charge-conservation claim is not substantiated.","section":"End of §4.3, Eq. (55)"},{"comment":"The Ward identities (51)–(52) are to a large extent unpackings of the axioms rather than independent dynamical predictions. The projector P is defined by (37)–(38) to annihilate the constraint Cξ = Q[C+] − Q[C−] − H, and Ω is assumed by (46) to satisfy the same flux-balance condition. Consequently, moving Hξ through P and using the vacuum conditions produces (51) and (52) almost immediately. This is not an error, but the paper should state explicitly that the identities are consequences of the construction, and clarify in the discussion of Section 5 what additional predictive content, if any, the framework has beyond these built-in constraints. The comparison with soft-graviton theorems in the conclusion should be qualified accordingly.","section":"§4.3 Axioms (iii),(v), Eqs. (37)–(38), (51)–(52)"}],"minor_comments":[{"comment":"In the sentence defining the null slab, '∂N = C+ ∪ C−1−' appears to contain a typo; it should presumably read C+ ∪ C−.","section":"§3"},{"comment":"The notation for the dual relation between KC+ and KC− is inconsistent: earlier KC− = K*_{C+}, while Axiom (i) says KC+ = K†_{C−}. These are equivalent only under the inner-product identification, which should be stated.","section":"§4.1, Eq. (24) and Axiom (i)"},{"comment":"The same symbol |γA A′⟩ is used for the state and its projected image; this makes the definition of P hard to read. Use a different symbol, e.g. P|γ⟩ = |γ phys⟩.","section":"§4.2, Eqs. (35)–(36)"},{"comment":"References [26] and [77] are the same paper (Donnelly–Freidel), as are [66] and [102] (Perez) and [92] and [108] (Giacomini–Castro-Ruiz–Brukner). Please consolidate.","section":"References"},{"comment":"The caption describes N′in as attached to 'the outgoing null surface Nin' and N′out to 'the infalling null surface Nout'. This is confusing; clarify which auxiliary slab is glued to which boundary and whether 'in'/'out' refer to the slab orientation or the causal future.","section":"Figure 4 caption"}],"recommendation":"major_revision","confidential_remarks":"The paper is a well-written axiomatic synthesis, but its central theorem is conditional on the existence of T^A and |Ω^A_{A'}⟩, which is not proven and may fail for infinite-dimensional corner algebras. The authors are open about this, but the gap is load-bearing, not cosmetic. The Ward identities are also closer to definitions than to independent predictions. I would ask for either a concrete realization (even in a toy model) or a sharp reformulation of the result as a conditional theorem with a precise existence statement, plus a full derivation of (55). The paper fits the journal's scope, but the novelty is primarily structural."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, this paper is best read as a top-down axiomatic framework, not a working model. The new piece is the causal-diamond contraction pattern in Eq. (47) and the derivation of Ward identities (51)–(52) and local charge conservation (55) from seven axioms. That derivation is transparent: once you grant the projector commutes with boundary charges and the vacua exist, the vanishing steps (49)–(50) and intertwining (54) go through. The paper is also honest about scope: Sections 2–3 are review, and Section 5 explicitly says the realization is deferred to [11] and future work.\n\nThe soft spot is exactly where the reader's report put it: Axioms (vi)–(vii), Eqs. (44)–(46). The edge vacuum T annihilated by all corner charges and the bulk vacuum Ω solving flux-balance and intertwining the corner algebras are assumed, not constructed. For infinite-dimensional corner algebras like Diff(S^2) or Virasoro-type, unitary representations need not contain invariant vectors, and group-averaging may give distributional states rather than elements of K. If Ω is not a normalizable solution of (46), the amplitude (47) is undefined or identically zero and the Ward identities are vacuous. This is not a minor technicality; it is the load-bearing assumption. The authors know this and say so, but they do not provide a concrete model where (44)–(46) hold.\n\nTwo smaller issues: charge conservation (55) is stated without a full derivation, though it likely follows from the same machinery; and the paper does not address domain questions for the unbounded charges on infinite-dimensional Hilbert spaces. Neither undermines the algebraic core.\n\nWho is this for? People working on null hypersurface quantization, corner symmetries, spinfoam/GFT comparison. It will not give new predictions. It is an organizing blueprint. The citation pattern is fine; [11] is the companion construction, and citing it here is appropriate.\n\nRecommendation: send to peer review. The axioms are explicitly conditional, and a referee report should push for either a concrete realization or a precise statement of what would count as a realization, and should ask whether (55) really follows from (45)–(46). But the paper is coherent, clearly written, and its claim is precisely scoped. That deserves referee time.","headline":"A clean algebraic skeleton for local amplitudes in causal diamonds, with the existence of the vacuum states as the load-bearing but unproven input; worth refereeing, but only as a framework proposal.","tokens_in":45994,"tokens_out":1705,"would_cite":false,"duration_ms":17939,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.60.-m"],"model":"deepseek-v4-flash","headline":"This paper proves that, given seven stated axioms, local quantum-gravity amplitudes built purely from boundary symmetry data, a projector, and two vacuum states satisfy Ward identities and charge conservation in causal diamonds.","keywords":["quantum gravity","local amplitudes","causal diamonds","null hypersurfaces","corner symmetries","edge modes","generalized projector","Ward identities"],"falsifier":"In a concrete model — say the auxiliary conformal field theory of null-cone quantization, or a spinfoam model on a fixed two-complex — write the unitary representation of the corner symmetry algebra on the boundary Hilbert space and check whether a non-zero edge vacuum annihilated by all corner charges exists, and whether a physical bulk vacuum satisfying (45)–(46) exists. For infinite-dimensional algebras such as $\\mathrm{Diff}(S^2)$ or Virasoro algebras at non-zero central charge such invariant states are generically absent; finding none in any model would show the axioms are unsatisfiable,","tokens_in":45103,"feed_emoji":"💠","tokens_out":23151,"duration_ms":200937,"temperature":0.7,"pith_summary":"The paper sets out a theory-independent recipe for local quantum-gravity amplitudes: instead of a global wave function or an asymptotic S-matrix, the primitive object is a transition amplitude for a causal diamond built from slabs of null geometry. Each null slab carries a kinematical Hilbert space that factorizes into an interior piece and two corner pieces (edge modes), and the proposed amplitudes arise purely from contracting boundary states with a generalized projector onto physical states and with two special vacuum states — an edge vacuum at the tips of the diamond and a bulk vacuum that intertwines the corner symmetry algebras. The central result is that, under seven stated axioms, the resulting amplitude satisfies Ward identities and local charge conservation: a symmetry flux crossing a null face acts on the amplitude exactly like the corresponding corner charge, and the charges at the two corners of the diamond match. If any concrete model can realize the axioms, quantum-gravity predictions for finite spacetime regions would follow from boundary symmetry data alone, and would connect to the soft-graviton Ward-identity structure known at null infinity.","feed_headline":"Symmetry alone builds local gravity amplitudes","feed_subtitle":"Seven axioms, a projector and two vacuum states yield causal-diamond amplitudes that conserve charge.","key_machinery":"The load-bearing object is the generalized projector $P$ onto physical states, defined by the flux-balance constraints $C_\\xi = Q_\\xi[C_+] - Q_\\xi[C_-] - H_\\xi[N] = 0$; it commutes with the corner charges and intertwines the edge symmetries. Two states carry the rest of the argument: the edge vacuum $T^A$, a singlet (a state every corner charge annihilates) representing a corner shrinking to a point, and the bulk vacuum $|\\Omega^A_{A'}\\rangle$, a physical state intertwining the corner symmetry algebras at the two ends of the slab. The amplitude (47) is the contraction of these objects in a causal-diamond pattern, and the Ward identities follow from sliding constraint insertions through the p","core_discovery":"Under axioms (i)–(vii), the paper claims that the amplitude (47) — in- and out-states contracted with the projector $P$ and the vacua $T^A$, $|\\Omega^A_{A'}\\rangle$ — satisfies the Ward identities (51)–(52) and the corner charge-conservation law (55): flux through a null face acts on the amplitude exactly like the corner charge at that face's tip, and the two tips' charges match up to a parallel transport $h$. The proof is index bookkeeping: $P$ solves the flux-balance constraints $C_\\xi = Q_\\xi[C_+] - Q_\\xi[C_-] - H_\\xi[N]=0$ and intertwines the edge symmetries; $T^A$ is a corner-algebra singlet; $|\\Omega^A_{A'}\\rangle$ is a physical intertwiner between the corner algebras, so constraint in","pith_inferences":["The axioms are satisfiable only if the corner symmetry algebra admits invariant states; for infinite-dimensional algebras such as diffeomorphisms of a two-sphere or Virasoro algebras at non-zero central charge, unitary representations generically contain no non-zero invariant vectors. A concrete model would therefore either select special algebras and representations or expose the axioms as empty ","Read as a finite-region holographic recipe, the construction encodes everything between the two corners in boundary data, since the bulk enters only through the projector and vacuum intertwiners. A direct test would be 2+1 gravity, where the projector is known exactly and the amplitudes (47) can be compared with the standard amplitudes for a null-bounded region.","If corner charges are observables, the physical Hilbert space of a diamond splits into charge superselection sectors, and (55) forces the in- and out-data to live in matching sectors; this superselection structure is not spelled out in the paper but follows from the identities it proves.","The paper itself concedes (Section 5) that it is 'deliberately vague' about how the axioms are realized in practice; the proposal is best read as a consistency condition that candidate quantum-gravity constructions must satisfy rather than as a construction, and the axioms' main risk is that no real model satisfies them."],"forward_implications":["Local quantum-gravity probabilities for processes inside a causal diamond become computable from boundary symmetry data alone — corner charges, fluxes, and the two vacua — with no global wave function and no asymptotic S-matrix.","Corner charges $Q_\\xi[C_\\pm]$ are physical observables (they commute with the projector), so the charge-conservation identity (55) identifies boundary charges as the natural observable content of the local theory, in the same role soft charges play at null infinity.","The null-boundary constraint algebra is a genuine Lie algebra, so the projector $P$ is a well-defined averaging over symmetries, avoiding the structure-function problem that obstructs quantizing the spacelike constraint algebra.","Spinfoam models, group field theory, and null-cone quantization all realize the projector in concrete ways (a sum over surfaces or a CFT $n$-point function), giving candidate models in which axioms (i)–(vii) can be verified or refuted.","As the diamond grows toward null infinity, the local charge-conservation law reproduces the structure of the soft-graviton Ward identities, linking the finite-region amplitude program to the perturbative S-matrix framework."],"supporting_citations":[{"why":"Supplies the timeless formalism and the generalized projector onto physical states whose matrix elements define the amplitudes; equation (47) is built on this paradigm.","marker":"[5]"},{"why":"Establishes the Fock representation of gravitational boundary modes, giving the edge-mode interpretation of the corner labels $A,B$ in the Hilbert space decomposition (24).","marker":"[10]"},{"why":"The null-cone quantization whose two inequivalent sector representations and CFT $n$-point functions motivate axiom (ii) and the projector realization in equation (56).","marker":"[11]"},{"why":"Provides the null-surface covariant phase space, boundary charges, and flux-balance laws that become the constraint algebra of axiom (iii).","marker":"[12]"},{"why":"Supplies the corner-symmetry and edge-mode framework underlying the corner Hilbert spaces and the charges $Q_\\xi[C_\\pm]$.","marker":"[16]"},{"why":"Supports the two-sector decomposition (26) of the kinematical Hilbert space via two inequivalent representations of the boundary symmetry algebra.","marker":"[17]"},{"why":"Provides a concrete corner symmetry algebra on the light cone, used in Section 3 to illustrate the symmetry algebras of the slab and its corners.","marker":"[46]"},{"why":"The soft-graviton Ward identities at null infinity against which the charge-conservation law (55) is measured in the discussion.","marker":"[104]"}],"fun_headline_variants":["Local gravity amplitudes from null slab symmetries","Ward identities from symmetry axioms in quantum gravity","Charge conservation in causal-diamond amplitudes","Symmetry axioms build local quantum gravity amplitudes","Null slabs: a top-down route to local amplitudes"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The construction stands or falls on the assumed existence of two states, stated in equations (44)–(46) and axioms (vi)–(vii): an edge vacuum $T^A$ annihilated by every corner charge, and a bulk vacuum $|\\Omega^A_{A'}\\rangle$ that solves the flux-balance constraints and intertwines the two corner symmetry algebras; if a corner symmetry algebra admits no such invariant states, the amplitude (47) is undefined or trivial.","fun_headline_variants_meta":{"raw":{"variants":["Local gravity amplitudes from null slab symmetries","Ward identities from symmetry axioms in quantum gravity","Charge conservation in causal-diamond amplitudes","Symmetry axioms build local quantum gravity amplitudes","Null slabs: a top-down route to local amplitudes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000192,"raw_usage":{"total_tokens":1202,"prompt_tokens":779,"completion_tokens":423,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":523,"completion_tokens_details":{"reasoning_tokens":355}},"tokens_in":523,"tokens_out":423,"duration_ms":5344,"temperature":1.0,"reasoning_tokens":355,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:54:12.801444+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In a concrete model — say the auxiliary conformal field theory of null-cone quantization, or a spinfoam model on a fixed two-complex — write the unitary representation of the corner symmetry algebra on the boundary Hilbert space and check whether a non-zero edge vacuum annihilated by all corner charges exists, and whether a physical bulk vacuum satisfying (45)–(46) exists. For infinite-dimensional algebras such as $\\mathrm{Diff}(S^2)$ or Virasoro algebras at non-zero central charge such invariant states are generically absent; finding none in any model would show the axioms are unsatisfiable,","supporting_citations":[],"review_version":1}