{"id":"b58b054c-fbc6-412e-abb2-c665bd0ffb15","arxiv_id":"2605.22429","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Black hole entropy in diffeomorphism-invariant nonminimal gravity decomposes as S_H = S_W + S_1 + ΔS, with the extra terms required for bumblebee and Weyl-vector Gauss-Bonnet solutions but not for regular Kalb-Ramond branches.","lead":"This paper decomposes black hole entropy in nonminimally coupled gravity theories using covariant phase space methods, finding that the total entropy includes extra terms beyond the standard Wald contribution when matter fields fail to extend smoothly to the bifurcation surface. General readers should note it because the result directly tests whether the usual Wald formula suffices for first-law thermodynamics in models such as bumblebee and extended Gauss-Bonnet gravity.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Decomposition S_H = S_W + S_1 + ΔS may depend on the arbitrary choice of representative for the horizon surface charge","rationale":"The reader's weakest assumption already isolates the choice of representative as a potential restriction. This is the precise location where the central decomposition could fail to be unique or canonical, directly affecting whether the reported corrections are required or merely an artifact of one particular representative.","tokens_in":1842,"tokens_out":310,"duration_ms":19372,"concrete_test":"For the bumblebee example in §4.2, add an arbitrary closed 2-form dα to the Noether current before evaluating the horizon integral; recompute the decomposed charges and check whether S_1 + ΔS is unchanged while the total first-law entropy variation matches the original result.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The covariant phase space formalism yields a surface charge only up to the addition of an exact form (or total derivative in the Noether current) that does not affect the equations of motion. The paper adopts the representative obtained by direct variation of the action and decomposes the resulting charge into Wald, S_1 and ΔS pieces. No argument is given that this split is invariant under such additions, nor that the total S_H entering the first law remains unchanged for other equally valid representatives. If the split is representative-dependent, the claim that additional terms beyond S_W are required whenever matter fields fail to extend smoothly loses its canonical status.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper applies the covariant phase space formalism to static spherically symmetric black holes in diffeomorphism-invariant theories with nonminimal matter-curvature couplings. For regular bifurcate Killing horizons, it decomposes the entropy entering the first law as S_H = S_W + S_1 + ΔS when matter fields cannot be smoothly extended to the bifurcation surface, with S_W the Wald entropy, S_1 the non-Wald part of the Noether charge, and ΔS the remaining integrable contribution after subtracting ordinary work terms. The decomposition is evaluated on Kalb-Ramond, bumblebee, and extended Gauss-Bonnet examples, yielding S_H = S_W for the regular Kalb-Ramond branch, either S_1 = 0 with ΔS ≠ 0 or cancellation for bumblebee branches, and both corrections required for the Weyl-vector extended Gauss-Bonnet cases.","tokens_in":1988,"tokens_out":602,"duration_ms":52455,"significance":"If the decomposition is robust, the work supplies a practical criterion for deciding when the Wald entropy density suffices and when the full horizon surface charge variation must be retained. The concrete results for three model classes furnish falsifiable predictions and illustrate how non-smooth matter extensions generate additional integrable contributions. This strengthens the covariant phase space approach for nonminimally coupled theories.","major_comments":[{"comment":"Abstract (paragraph beginning 'In the representative obtained by directly varying the action'): the decomposition is performed in one specific representative of the surface charge. The covariant phase space formalism permits addition of exact forms to the Noether current without changing the equations of motion. No demonstration is given that the split S_H = S_W + S_1 + ΔS or the total S_H remains unchanged under such additions. Because the central claim concerns the necessity of terms beyond S_W, invariance under representative choice is load-bearing and should be shown explicitly.","section":"Abstract"},{"comment":"Applications section (Kalb-Ramond, bumblebee, and extended Gauss-Bonnet examples): the reported outcomes (S_H = S_W for regular Kalb-Ramond; S_1 = 0 with ΔS ≠ 0 or cancellation for bumblebee; both corrections for Weyl-vector Gauss-Bonnet) rest on the chosen representative and on the assumed regularity of the bifurcate horizon. Explicit expressions for the surface charge variations and the subtracted work terms would allow verification that the reported patterns are not artifacts of the representative choice.","section":"Applications to models"}],"minor_comments":[{"comment":"The abstract introduces S_1 and ΔS without an equation number; a numbered display of the decomposition S_H = S_W + S_1 + ΔS in the main text would improve readability.","section":"Notation"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful and constructive report. The two major comments correctly identify that the manuscript presents the entropy decomposition in a specific representative of the Noether current and that the applications would benefit from more explicit intermediate expressions. We address both points below and will revise the manuscript to strengthen the presentation.","responses":[{"response":"We agree that an explicit demonstration of invariance is needed. In the revised manuscript we will add a short subsection (in the general formalism section) showing that the addition of an exact form dα to the Noether current does not change the decomposition or the total integrable entropy S_H. On a closed bifurcation surface the integral of the exact term vanishes identically, and any residual boundary contributions cancel against the subtracted work terms when the first law is assembled. This establishes that the split S_H = S_W + S_1 + ΔS is representative-independent for the class of theories and horizons considered.","revision_made":"yes","referee_comment":"[Abstract] Abstract (paragraph beginning 'In the representative obtained by directly varying the action'): the decomposition is performed in one specific representative of the surface charge. The covariant phase space formalism permits addition of exact forms to the Noether current without changing the equations of motion. No demonstration is given that the split S_H = S_W + S_1 + ΔS or the total S_H remains unchanged under such additions. Because the central claim concerns the necessity of terms beyond S_W, invariance under representative choice is load-bearing and should be shown explicitly."},{"response":"We accept that the applications section would be more transparent with the intermediate expressions. In the revision we will add an appendix containing the explicit forms of the horizon surface charge variation δQ_H and the subtracted work terms for each of the three models. These expressions will be derived from the same representative used in the main text, allowing direct verification that the reported results (S_H = S_W for the regular Kalb-Ramond branch, S_1 = 0 with ΔS ≠ 0 or cancellation for bumblebee branches, and both corrections for the Weyl-vector Gauss-Bonnet cases) follow from the general decomposition and are not artifacts of the representative choice. The regularity assumption for the bifurcate horizon is the standard one employed in the Iyer-Wald construction.","revision_made":"yes","referee_comment":"[Applications to models] Applications section (Kalb-Ramond, bumblebee, and extended Gauss-Bonnet examples): the reported outcomes (S_H = S_W for regular Kalb-Ramond; S_1 = 0 with ΔS ≠ 0 or cancellation for bumblebee; both corrections for Weyl-vector Gauss-Bonnet) rest on the chosen representative and on the assumed regularity of the bifurcate horizon. Explicit expressions for the surface charge variations and the subtracted work terms would allow verification that the reported patterns are not artifacts of the representative choice."}],"tokens_in":1624,"tokens_out":624,"duration_ms":35975,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper shows that the entropy for the first law in certain nonminimally coupled gravity theories is not always just the Wald entropy. When matter fields cannot be extended smoothly to the regular bifurcation surface, extra contributions appear in the horizon surface charge variation. The authors decompose this into the Wald part, a non-Wald Noether charge piece called S1, and a remaining integrable term Delta S. They test this on Kalb-Ramond, bumblebee, and extended Gauss-Bonnet black holes. For the regular Kalb-Ramond case, only the Wald term is needed. Bumblebee solutions either have S1 zero with Delta S nonzero or a cancellation between them. The Weyl-vector Gauss-Bonnet examples require both extra terms. This gives a clear way to check if the standard Wald formula suffices or if the full variation must be used. The work sits on the established covariant phase space formalism and Iyer-Wald procedure, which is a strength. It takes the abstract setup and applies it to concrete models that are popular in the literature. The result is a practical criterion for when additional terms matter in the thermodynamics. A potential issue is the choice of representative for the surface charge. These charges are only defined up to exact forms, and the paper uses the one from direct action variation. Without a check that the total entropy or the need for corrections stays the same under different choices, the decomposition might not be unique. That could weaken the model-specific verdicts if the split changes. Overall this is for researchers calculating black hole thermodynamics in modified gravity with nonminimal couplings. Readers who work on first laws and entropy in these theories will find the examples helpful. It deserves a serious referee because it tackles a concrete gap in applying the standard methods to these models. I recommend sending it for peer review, but with a note to verify invariance under representative changes.","headline":"The paper decomposes black hole entropy beyond Wald for nonminimal couplings but the split may not be independent of surface charge representative.","tokens_in":2546,"tokens_out":443,"would_cite":false,"duration_ms":37743,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"SH = SW + S1 + ΔS ... after ordinary work terms are subtracted, we decompose the entropy entering the first law"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean","rs_theorem":"absolute_floor_iff_bare_distinguishability","paper_passage":"For regular bifurcate Killing horizons, the Iyer–Wald construction gives the standard Wald entropy"}],"headline":"Covariant phase space entropy decomposition in nonminimal gravity unrelated to RS J-cost or distinction-forcing chain","alignment":"orthogonal","rationale":"The paper decomposes horizon surface charge variations into Wald, non-Wald Noether, and presymplectic remainder terms for specific modified-gravity models. No J(x) cost function, golden-ratio identities, 8-tick periodicity, or parameter-free constant derivations appear; the work stays within standard GR ambiguities and Noether-charge techniques.","tokens_in":55317,"confidence":"high","tokens_out":275,"duration_ms":12586,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"In nonminimally coupled gravity, black hole entropy includes terms beyond the Wald entropy when matter fields cannot extend smoothly to the bifurcation surface.","keywords":["black hole entropy","Wald entropy","nonminimal coupling","covariant phase space","Kalb-Ramond field","bumblebee gravity","Gauss-Bonnet gravity","diffeomorphism invariance"],"falsifier":"Perform an independent calculation of the entropy for a bumblebee black hole solution, for example via the Euclidean action or by direct integration of the first law, and check whether the result equals only the Wald term or requires the additional S_1 and ΔS contributions.","tokens_in":2739,"feed_emoji":"🕳","tokens_out":754,"duration_ms":58678,"temperature":0.7,"pith_summary":"The paper establishes that for static spherically symmetric black holes in diffeomorphism-invariant theories with nonminimal matter-curvature couplings, the entropy that enters the first law is not limited to the standard Wald entropy. Instead, when a matter field cannot be smoothly extended to the regular bifurcation surface, the horizon surface charge variation yields extra finite contributions that must be included. A sympathetic reader would care because this ensures thermodynamic consistency in a wider range of modified gravity models and identifies precisely when the Wald formula alone is insufficient. The decomposition is obtained by applying the covariant phase space formalism and subtracting ordinary work terms.","feed_headline":"Black hole entropy gains extra terms beyond Wald in nonminimal gravity","feed_subtitle":"When matter cannot extend smoothly to the bifurcation surface, the first law requires S1 and ΔS corrections in addition to the Wald term.","key_machinery":"The decomposition of the horizon surface charge variation in the covariant phase space formalism, after subtracting work terms, into the Wald entropy plus the non-Wald Noether contribution S_1 and the remaining integrable term ΔS.","core_discovery":"For regular bifurcate Killing horizons the Iyer-Wald construction recovers the Wald entropy, but when matter fields fail to extend smoothly to the bifurcation surface the horizon surface charge variation contains additional finite pieces. After ordinary work terms are subtracted, the entropy entering the first law decomposes as S_H = S_W + S_1 + ΔS, where S_W is the Wald entropy, S_1 is the non-Wald part of the Noether charge, and ΔS is the remaining integrable part of the surface charge variation.","pith_inferences":["The same decomposition can be applied to other diffeomorphism-invariant theories with nonminimal couplings to test whether extra terms appear.","The results suggest that the smoothness of matter-field extension near the horizon controls whether thermodynamic relations receive corrections beyond the Wald formula.","Independent entropy computations for these specific solutions would confirm whether the decomposed expression or the pure Wald term matches other methods."],"forward_implications":["For the regular Kalb-Ramond branch the entropy reduces exactly to the Wald term.","Bumblebee branches produce either a nonzero ΔS with vanishing S_1 or a cancellation between S_1 and ΔS.","Weyl-vector extended Gauss-Bonnet examples require nonzero contributions from both S_1 and ΔS.","The criterion directly shows whether the Wald entropy density alone satisfies the first law or whether the full surface charge variation is needed."],"fun_headline_variants":["Black hole entropy splits into Wald plus S1 and Delta S in nonminimal gravity","Additional S1 and Delta S terms appear in black hole entropy beyond Wald","Entropy in first law of black holes includes nonWald contributions in nonminimal gravity","Black hole entropy decomposition yields SW S1 and Delta S terms"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The horizon is a regular bifurcate Killing horizon and the covariant phase space formalism applies without further restrictions on the matter-field extension or the choice of representative for the surface charge variation.","fun_headline_variants_meta":{"raw":{"variants":["Black hole entropy splits into Wald plus S1 and Delta S in nonminimal gravity","Additional S1 and Delta S terms appear in black hole entropy beyond Wald","Entropy in first law of black holes includes nonWald contributions in nonminimal gravity","Black hole entropy decomposition yields SW S1 and Delta S terms"]},"model":"grok-4.3","cost_usd":0.012708,"raw_usage":{"total_tokens":5496,"prompt_tokens":772,"num_sources_used":0,"completion_tokens":79,"cost_in_usd_ticks":127078000,"prompt_tokens_details":{"text_tokens":772,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4645,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":772,"tokens_out":79,"duration_ms":53358,"temperature":1.0,"reasoning_tokens":4645,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-22T05:13:29.673578+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Perform an independent calculation of the entropy for a bumblebee black hole solution, for example via the Euclidean action or by direct integration of the first law, and check whether the result equals only the Wald term or requires the additional S_1 and ΔS contributions.","supporting_citations":[],"review_version":1}