{"id":"a7ca3995-a4ce-486a-b7d7-9964dfddd17f","arxiv_id":"1909.00096","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The gravitational boundary term on any null surface equals the heat density Ts, and its flow variation equals T ds.","lead":"This paper shows that the extra surface term needed in Einstein's gravitational action, for regions whose boundary is a lightlike (null) surface, is exactly the heat content of that surface, the product of temperature and entropy density. The result strengthens the view that gravity is emergent and thermodynamic, because a technical nuisance in the action principle becomes a physical quantity.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the algebraic identities are internally consistent, and the only soft spot is the imported, explicitly acknowledged assignment of T=κ/2π and s=√q/4G to arbitrary null surfaces.","rationale":"The reader's verdict and my read align. The paper's algebraic core is sound: the null boundary term reduces to 2√q(Θ+κ) in Eq. (11), and the flow variation gives T ds modulo corner terms in Eq. (20). The weakest step is the physical dictionary assigning temperature and entropy density to arbitrary null surfaces; this is imported from prior horizon-thermodynamics work and is not derived in the paper. I checked the appendix derivations for sign and factor errors and found none that would change Eq. (20). The corner terms are discarded with a warning, which is a standard and acceptable simplification in this context. Because the paper frames the thermodynamic reading as an interpretation, explicitly notes the freedom in κ, and does not overstate the result as a derivation of T and s from first principles, the reader's ACCEPT with moderate confidence already encodes the caveat. No new objection arose that would change the verdict.","tokens_in":12670,"tokens_out":25913,"duration_ms":255397,"concrete_test":"Evaluate Eq. (20) on the Vaidya null horizon using the Gaussian null coordinate line element (25) and compare the result with the independently computed energy flux across the horizon from the membrane-paradigm equations, keeping the corner term in Eq. (19). If the difference between -δS and ∫T ds is not exactly that corner term, or if ∫T ds does not match the physical flux, then the identification T=κ/2π for arbitrary non-stationary null surfaces is not the operative thermodynamic dictionary.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I traced the derivation from Eq. (8) through Eq. (20) and found no internal inconsistency. Equation (11) correctly reduces the null boundary term to (1/16πG)∫d³x 2√q(Θ+κ), and Eq. (19)–(20) follow via the Raychaudhuri equation with the corner terms discarded as stated. The load-bearing step is not in the algebra but in the physical dictionary: after Eq. (11) the paper assigns T=κ/2π and s=√q/4G to an arbitrary null surface, importing these identifications from Killing-horizon thermodynamics and the emergent-gravity program. This identification is not derived for non-stationary or non-Killing null surfaces; if it is wrong, the thermodynamic interpretation fails even though the algebraic identities survive. The manuscript is transparent about this—it calls the endpoint reinterpretation 'not essential' and frames the thermodynamic reading as suggested—so the claim is scoped as an interpretation within that paradigm. I therefore treat this as a caveat on the strength of the physical claim, not as a mathematical flaw.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the boundary term that must be added to the Einstein-Hilbert action on a null boundary. Using Gaussian null coordinates, the authors reduce the boundary integrand sc f^ab N^c_ab to 2√q(Θ+κ) (Eq. 11), then rewrite the surface integral as ∫ T s plus an endpoint entropy term, with T=κ/2π and s=√q/4G (Eq. 12). In Section 3 they show that a variation induced by a flow along the null generator satisfies −δS = ∫ T ds (Eq. 20), with an alternative form ∫ s dT (Eq. 21). The appendices provide the GNC construction, the variation of the boundary term, and a direct computation of δ(Θ+κ). The central claim is that the gravitational boundary term is the heat content of null surfaces.","tokens_in":12858,"tokens_out":6829,"duration_ms":74790,"significance":"The algebraic core of the paper is sound and clearly presented. The reduction to Eq. (11) is self-contained modulo the cited GNC construction, and the variation in Section 3 is carried through with explicit use of the Raychaudhuri equation. The thermodynamic reading depends on assigning horizon-like temperature and entropy density to arbitrary null surfaces; this is a paradigm-dependent step that the authors explicitly acknowledge. If that dictionary is accepted, the paper establishes a clean and general connection between the action's boundary term and null-surface thermodynamics. The paper also provides step-by-step derivations in the appendices and is transparent about its assumptions, which strengthens its value.","major_comments":[{"comment":"The equality S = ∫ T s stated in Eq. (12) is not derived from the geometry alone; it follows only after assigning T = κ/2π and s = √q/4G to the null surface. These assignments are standard for Killing horizons but are imported assumptions for the arbitrary null surfaces considered here. The text later acknowledges that this interpretation is 'not essential', yet the title and abstract claim that the boundary term is the heat content. Please state explicitly at the point of the identification that Eq. (11) holds unconditionally, while the thermodynamic reading is a proposed dictionary that may fail for non-stationary or non-Killing null surfaces.","section":"Section 2, after Eq. (11)"},{"comment":"The endpoint contribution (1/2π)(S2−S1) in Eq. (12) is re-expressed as Δ(TS) by rescaling the null generator so that κ̄=1 at the two endpoints. Since κ is normalization-dependent, this step converts what is naturally an entropy contribution into a heat contribution by a convention choice. The paper says this interpretation is 'not essential', but the central claim requires the reader to understand that, without the rescaling convention, the endpoint term is entropy rather than heat, and that the heat-content reading of the complete boundary term therefore depends on the chosen normalization of the null generator.","section":"Section 2, Eqs. (12)–(13)"},{"comment":"The derivation of −δS = ∫ T ds drops the total derivative term involving √q(Θ−κ) evaluated at the two-surface boundary. The text says 'neglecting the boundary term'; this is acceptable in a variational principle if corner conditions are imposed, but the thermodynamic interpretation requires the reader to know exactly which boundary conditions make the corner term vanish. Please state them explicitly, since the corner term is of the same order as the retained terms and is not obviously negligible for arbitrary null surfaces.","section":"Section 3, Eqs. (19)–(20)"}],"minor_comments":[{"comment":"The title contains the typo 'Conten t' and should read 'Content'.","section":"Title"},{"comment":"The abstract contains the typo 'first principle s' and should read 'first principles'.","section":"Abstract"},{"comment":"The symbol ds is used for the entropy differential, which may be confused with the line element; consider using δs or dS with a clarifying definition.","section":"Section 3, Eq. (20)"},{"comment":"The statement that 'derivative of all the other metric components vanish in the null limit' should be supported by an explicit reference to the GNC limit in Appendix B, as it is not immediately obvious from the metric in Eq. (25).","section":"Section 2, after Eq. (10)"},{"comment":"The notation ∂∂V for the corner of the boundary is used without definition; please define it at first use.","section":"Section 2, Eq. (13)"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a contribution to the emergent gravity program; its central algebraic results are internally consistent. The main risk is that the physical dictionary T=κ/2π and s=√q/4G is assumed rather than derived for generic null surfaces, so the thermodynamic claim is conditional. This is appropriately acknowledged in the text, but the authors should make the conditionality visible in the abstract and conclusion. Overall, the paper is suitable for publication after minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper proves a precise algebraic identity and attaches a thermodynamic interpretation that is transparently flagged as an interpretation. I think it deserves a serious referee.\n\nWhat is actually new: earlier work by the same group identified boundary terms with horizon heat content using timelike limits or special cases. Here they use the first-principles null boundary term from Parattu et al. and show, for an arbitrary null surface in Gaussian null coordinates, the boundary term reduces to (1/16πG)∫2√q(Θ+κ), which they rewrite as ∫Ts plus endpoint terms (Eqs. 11–12). The variation under flow along the null generator gives −δS_boundary = ∫T ds (Eq. 20), and a second variation gives s dT (Eq. 21). The algebra is laid out in the main text and appendices A–D. I traced the main steps and found no internal inconsistency. The use of the Raychaudhuri equation and the discarding of corner terms are explicit. This is real, reproducible work in the classical GR sense.\n\nThe soft spot is exactly the one the authors acknowledge: after Eq. (11) they assign T=κ/2π and s=√q/4G to an arbitrary null surface. For Killing horizons this is standard; for non-stationary null surfaces it is an imported assumption from the emergent gravity program. The algebraic identity survives without the thermodynamic reading, and the paper does not pretend to derive the dictionary. So the result is stronger as geometry than as thermodynamics. The endpoint normalization of surface gravity is a minor free parameter; the authors note it is not essential, and I agree.\n\nI do not think the circularity concern lands. The boundary term is computed independently from the action, and the heat variables are then identified. It is an interpretation, not a fit, and the paper is explicit about the scope.\n\nWho benefits: people working on null boundary terms, gravitational actions, and the emergent gravity/thermodynamics connection. It is a useful consolidation and extension of the authors' previous results, not a resolution of an open problem.\n\nRecommendation: send it to peer review. A referee should check the appendix derivations, particularly Appendix D, but the paper is coherent and honest about what is derived versus what is assumed.","headline":"A clean derivation showing the null-surface boundary term of the Einstein-Hilbert action equals Ts, with the physical dictionary imported and acknowledged; worth refereeing.","tokens_in":13383,"tokens_out":2326,"would_cite":true,"duration_ms":20250,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C05","83C57"],"pacs":["04.20.-q","04.70.Dy"],"model":"deepseek-v4-flash","headline":"On a null boundary, the action's surface term equals the heat content ∫ T s.","keywords":["null surfaces","gravitational action boundary term","heat content","surface gravity","Gaussian null coordinates","thermodynamics of spacetime","Einstein-Hilbert action","emergent gravity"],"falsifier":"Pick a non-stationary null surface in an exact or numerical spacetime, evaluate the boundary term (1/16πG)∫ d³x 2√q(Θ+κ) and the heat content ∫ d³x (κ/2π)(√q/4G) with the same κ and √q; any mismatch beyond the endpoint terms, or a flow variation that does not equal ∫ T ds, would falsify the identification.","tokens_in":12443,"feed_emoji":"♨️","tokens_out":7317,"duration_ms":570601,"temperature":0.7,"pith_summary":"The paper claims that the surface term one must add to the Einstein-Hilbert action, when the boundary is null, is literally the heat content of that boundary. Writing the boundary in Gaussian null coordinates, the surface term reduces to (1/16πG)∫ d³x 2√q(Θ+κ). Identifying the surface gravity κ with temperature T=κ/2π and the area density √q with entropy density s=√q/4G turns this into ∫ d³x T s, up to endpoint terms. The same interpretation holds for the variation: a flow along the null generator changes the boundary term by ∫ T ds. Because the argument uses arbitrary null surfaces rather than Killing horizons, it would unify the action-principle problem of gravity with the thermodynamics of horizons.","feed_headline":"Gravity's boundary term is the heat content of null surfaces","feed_subtitle":"The surface term that makes the Einstein-Hilbert action well defined equals T times s on any null boundary.","key_machinery":"The load-bearing object is a null surface described in Gaussian null coordinates, ds² = −2rα du² + 2du dr − 2rβ_A du dx^A + q_AB dx^A dx^B, with ℓ_a = ∇_a r the null normal and k_a = −(∂/∂r)_a its auxiliary partner. The boundary term is built from the expansion Θ = ∂_u ln √q and the surface gravity κ, the non-affinity parameter defined by ℓ^a ∇_a ℓ^b = κℓ^b. The rewriting uses the projector Π^a_b = δ^a_b + k^a ℓ_b and the split of the Einstein-Hilbert Lagrangian into a bulk piece and a total derivative via $f^{{ab}}$=√−g $g^{{ab}}$ and N^c_{ab}. These components combine to give the heat density T s with T=κ/2π and s=√q/4G, and the Raychaudhuri equation is used to convert the variation of the boundary term into ∫ T ds. The machinery is general: any null surface admits Gaussian null coordinates, so the result is not restricted to stationary horizons.","core_discovery":"For a spacetime region whose boundary is (partly) null, the boundary term required to make the Einstein-Hilbert variational principle well defined is not a mathematical convenience; it is the thermodynamic heat content of the null surface. In Gaussian null coordinates the term evaluates to S = (1/16πG)∫ d³x 2√q(Θ+κ), where Θ is the expansion of the null generators and κ is their surface gravity. With the identifications T=κ/2π and s=√q/4G this is ∫ T s, plus contributions from the two-dimensional corners where the null surface ends. For a displacement along the null generator, the variation of the boundary term satisfies −δS = ∫ T ds, so the response of the action to the flow is exactly heating at temperature T with entropy change ds. The authors present this as a first-principles, general derivation that does not treat the null surface as a limit of timelike surfaces and does not assume stationarity.","pith_inferences":["A natural stress test is to evaluate the identity on a dynamical horizon in numerical relativity, where κ and Θ vary along the null generator, and check whether the action boundary term tracks ∫ T s with the same identifications.","If the identifications T=κ/2π and s=√q/4G extend to non-stationary null surfaces, the result suggests that gravitational entropy production during collapse or merger could be read off directly from the boundary action rather than from horizon area changes.","The same f^{ab}, N^c_{ab} decomposition exists in higher-curvature gravity, so a parallel derivation for Lanczos-Lovelock theories would test whether the heat-content interpretation is a feature of the general action structure or specific to Einstein gravity."],"forward_implications":["On a null boundary, the surface term in the Einstein-Hilbert action is the integrated heat density T s, so the action principle itself carries thermodynamic content.","Under a flow along the null generator, the change in the boundary term is ∫ T ds, giving a direct thermodynamic reading of the variational response.","Because the derivation uses Gaussian null coordinates for an arbitrary null surface, it covers Rindler horizons, black-hole horizons, and de Sitter horizons without assuming stationarity or taking a limit from timelike surfaces.","Endpoint contributions at the corners of the null surface can be absorbed by rescaling the null normal, making the full boundary term ∫ T s plus corner heat content."],"supporting_citations":[{"why":"Supplies the first-principles derivation of the null boundary term as Θ+κ, the form used throughout.","marker":"[7]"},{"why":"Provides the unified variational principle for null and non-null boundaries used in the variation argument.","marker":"[8]"},{"why":"Introduces the f^ab, N^c_ab split of the Einstein-Hilbert action into bulk and surface terms.","marker":"[24]"},{"why":"Earlier work identifying heat content of horizons from infinitesimal coordinate transformations, which the present result generalizes.","marker":"[20]"},{"why":"Establishes the thermodynamic interpretation of geometric variables of null surfaces, providing the backdrop for T and s.","marker":"[19]"},{"why":"Attributes entropy to null surfaces and connects it with spacetime dynamics.","marker":"[16]"},{"why":"Defines temperature and entropy for cosmological and event horizons, the canonical association of T with κ.","marker":"[14]"},{"why":"Shows why action integrals for gravity require boundary terms and connects them with partition functions.","marker":"[3]"}],"fun_headline_variants":["Gravity's boundary term is heat content on null surfaces","Null surfaces: action boundary term equals heat content","Heat content of null surfaces is gravity's boundary term","Boundary term in gravity action is null-surface heat","Gravity action term is thermodynamic heat on null boundaries"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that every null surface, not only a stationary Killing horizon, can be assigned a temperature T=κ/2π and an entropy density s=√q/4G; if those thermodynamic attributes fail for arbitrary non-stationary null surfaces, the heat-content interpretation does not survive, even though the boundary term's algebraic form does.","fun_headline_variants_meta":{"raw":{"variants":["Gravity's boundary term is heat content on null surfaces","Null surfaces: action boundary term equals heat content","Heat content of null surfaces is gravity's boundary term","Boundary term in gravity action is null-surface heat","Gravity action term is thermodynamic heat on null boundaries"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000291,"raw_usage":{"total_tokens":1665,"prompt_tokens":875,"completion_tokens":790,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":491,"completion_tokens_details":{"reasoning_tokens":714}},"tokens_in":491,"tokens_out":790,"duration_ms":7332,"temperature":1.0,"reasoning_tokens":714,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T06:02:07.633848+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Pick a non-stationary null surface in an exact or numerical spacetime, evaluate the boundary term (1/16πG)∫ d³x 2√q(Θ+κ) and the heat content ∫ d³x (κ/2π)(√q/4G) with the same κ and √q; any mismatch beyond the endpoint terms, or a flow variation that does not equal ∫ T ds, would falsify the identification.","supporting_citations":[{"cited_title":"Action Integrals and Partition F unctions in Quantum Gravity,","cited_arxiv_id":null,"evidence_quote":"Shows why action integrals for gravity require boundary terms and connects them with partition functions."}],"review_version":1}