{"id":"2a12d98b-f7e9-4921-a5ae-732ce2d10a08","arxiv_id":"2511.07209","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Background subtraction for black hole thermodynamics is valid and equivalent to Iyer-Wald in matter-coupled gravity theories, with smooth performance in examples but subtleties for certain matter fields.","lead":"The paper shows that the background subtraction method for calculating black hole thermodynamics remains equivalent to the Iyer-Wald formalism even when gravity is coupled to matter fields. This extends a standard computational tool to more realistic theories that include additional fields like scalars or vectors.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Equivalence proof assumes matter fields permit boundary conditions with no extra surface terms or divergences under background subtraction.","rationale":"The reader's weakest assumption correctly isolates the point where the argument is least secure. The paper itself flags subtleties for certain matter fields, indicating that the boundary-condition assumption is not automatic. Because the full derivation is not reproduced here, the concern remains at the level of an unverified general step rather than a detected contradiction, so the UNVERDICTED verdict is left unchanged.","tokens_in":1645,"tokens_out":320,"duration_ms":50047,"concrete_test":"Re-derive the on-shell Euclidean action difference for the first example theory, explicitly retaining all matter boundary terms before and after subtraction; if a nonzero surface contribution survives at the asymptotic boundary, recompute the thermodynamic quantities and compare to the Iyer-Wald result.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that the Euclidean action difference (black hole minus reference background) reproduces the Iyer-Wald charge without residual matter contributions at the boundary. This holds only if the matter Lagrangian and its variations admit fall-off conditions such that all surface integrals from the matter sector cancel or vanish identically after subtraction. The paper invokes this both in the general argument for equivalence and when applying the method to the two example theories; any counterexample where a matter field (e.g., a scalar with non-trivial asymptotic value or a gauge field with nonzero flux) produces an uncancelled boundary term would break the claimed persistence of the equivalence.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that the equivalence between the Euclidean action method with background subtraction and the Iyer-Wald formalism for black hole thermodynamics persists in matter-coupled gravity theories. It provides a general demonstration of this equivalence, applies the method to two representative examples where it performs smoothly, and identifies situations where subtleties may arise due to special properties of certain matter fields.","tokens_in":1778,"tokens_out":423,"duration_ms":70358,"significance":"If the claimed equivalence holds with the stated boundary conditions, this would clarify the reliability of a practical computational tool for thermodynamic quantities beyond pure gravity, addressing prior questions in the literature and aiding calculations in modified gravity models with matter couplings. The explicit identification of potential subtleties for specific matter fields strengthens the practical guidance offered.","major_comments":[{"comment":"The general demonstration of equivalence (as summarized in the abstract) assumes that matter fields admit boundary conditions such that the Euclidean action difference reproduces the Iyer-Wald charge without residual matter contributions at the boundary. This requires explicit verification that variations of the matter Lagrangian produce surface integrals that cancel or vanish identically after subtraction; without this, the persistence of equivalence is not fully established for general matter couplings.","section":"General demonstration of equivalence"},{"comment":"In the applications to the two example theories, the paper should detail the fall-off conditions for the matter fields (e.g., scalars or gauge fields) and show explicitly that no uncancelled boundary terms arise from the matter sector under background subtraction, as this is load-bearing for the claim of smooth performance.","section":"Example applications"}],"minor_comments":[{"comment":"The abstract would benefit from naming the two representative example theories to provide immediate context for readers.","section":null},{"comment":"Notation for boundary terms and surface integrals should be checked for consistency between the general argument and the examples.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their thorough review and insightful comments on our manuscript. We have carefully considered each point and provide our responses below. We plan to make revisions to address the concerns regarding explicit verifications and details in the examples.","responses":[{"response":"We appreciate the referee's point on the need for explicit verification. In our general demonstration, we show that the background-subtracted Euclidean action yields the Iyer-Wald charge by construction, with matter contributions arranged to cancel at the boundary under the imposed conditions. To strengthen this, we will add an explicit step-by-step verification of the cancellation of surface terms arising from the variation of the matter Lagrangian after performing the background subtraction. This will be included in the revised manuscript to fully establish the equivalence for general matter couplings.","revision_made":"yes","referee_comment":"The general demonstration of equivalence (as summarized in the abstract) assumes that matter fields admit boundary conditions such that the Euclidean action difference reproduces the Iyer-Wald charge without residual matter contributions at the boundary. This requires explicit verification that variations of the matter Lagrangian produce surface integrals that cancel or vanish identically after subtraction; without this, the persistence of equivalence is not fully established for general matter couplings."},{"response":"We agree that specifying the fall-off conditions and demonstrating the absence of uncancelled terms will clarify our examples. We will revise the sections on the example applications to include detailed fall-off conditions for the matter fields involved and explicit calculations showing that the boundary terms from the matter sector cancel under background subtraction. This supports our assertion of smooth performance in these representative cases.","revision_made":"yes","referee_comment":"In the applications to the two example theories, the paper should detail the fall-off conditions for the matter fields (e.g., scalars or gauge fields) and show explicitly that no uncancelled boundary terms arise from the matter sector under background subtraction, as this is load-bearing for the claim of smooth performance."}],"tokens_in":1261,"tokens_out":428,"duration_ms":84371,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that the equivalence between the Euclidean action with background subtraction and the Iyer-Wald charge construction carries over to gravity theories that include matter. The authors take a question that had been left open or doubted in the literature and check it with two explicit examples where the method works without extra adjustments. They also flag cases where certain matter fields could create problems. That is the actual new content: a targeted check rather than a new derivation from scratch. They do a reasonable job grounding the claim in the existing formalism and showing concrete calculations instead of leaving it at the level of general statements. The examples help make the result usable for people who actually compute thermodynamic quantities. The soft spot is the handling of boundary terms from the matter sector. The argument assumes that the matter Lagrangian and its variations produce surface integrals that either cancel or vanish after subtracting the reference background. This is plausible for many standard couplings, but it is not automatic for every possible matter field. A scalar with a nonzero asymptotic value or a gauge field carrying net flux could leave uncancelled contributions, and the paper notes this possibility without fully mapping out the boundary conditions that would break the equivalence. The general proof therefore rests on that assumption holding in the cases of interest. Readers working on black hole thermodynamics in modified gravity or holographic models will find this useful as a practical clarification. It is not a broad reorganization of the subject, but it removes a small uncertainty that had been sitting in the literature. The work shows clear engagement with prior results and supplies enough detail in the examples to be checked. I would send it to peer review so that referees can verify the boundary term cancellations in the specific examples and see whether the subtleties section needs more explicit counterexamples.","headline":"The paper shows background subtraction still matches Iyer-Wald for black hole thermodynamics once matter is coupled, but only under the right boundary conditions on the matter fields.","tokens_in":2265,"tokens_out":421,"would_cite":false,"duration_ms":58745,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Background subtraction equivalence in matter-coupled GR thermodynamics","alignment":"orthogonal","rationale":"The paper performs a standard calculation in black hole thermodynamics using Iyer-Wald Noether charges and Euclidean action subtraction in matter-coupled theories. It focuses on boundary terms, regularization via reference backgrounds, and equivalence proofs under suitable fall-off conditions. No use of RS-shaped structures such as J-cost functions, cosh identities, golden-ratio ladders, 8-tick periodicity, or parameter-free constant derivations. Domain is classical GR thermodynamics; RS has no opinion here.","tokens_in":50154,"confidence":"high","tokens_out":131,"duration_ms":24931,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The background subtraction method for black hole thermodynamics remains equivalent to the Iyer-Wald formalism even in matter-coupled gravity theories.","keywords":["black hole thermodynamics","background subtraction","Iyer-Wald formalism","matter-coupled gravity","Euclidean action","general relativity"],"falsifier":"A mismatch between the thermodynamic quantities obtained from the background subtraction method and those from the Iyer-Wald formalism in a concrete matter-coupled black hole solution, such as a charged black hole in Einstein-Maxwell theory, would disprove the equivalence.","tokens_in":2517,"feed_emoji":"⚫","tokens_out":613,"duration_ms":44503,"temperature":0.7,"pith_summary":"The paper establishes that the Euclidean action method with background subtraction yields the same thermodynamic quantities as the Iyer-Wald formalism when matter fields are present in the gravity theory. This matters because realistic black hole models often include matter such as electromagnetic or scalar fields, and a consistent computational tool is needed to derive their entropy, energy, and other properties without inconsistencies. The authors provide a general demonstration of the equivalence and verify it through explicit calculations in two representative matter-coupled theories, where the method works without additional divergences. They also point out specific situations involving certain matter properties where extra care may be required to maintain reliability.","feed_headline":"Background subtraction remains valid for black holes with matter","feed_subtitle":"Equivalence to Iyer-Wald formalism holds in matter-coupled theories, enabling consistent thermodynamic calculations.","key_machinery":"Background subtraction applied to the Euclidean action, which cancels reference background contributions to extract finite thermodynamic quantities for the black hole.","core_discovery":"The equivalence between the Euclidean action method with background subtraction and the Iyer-Wald formalism persists in matter-coupled gravity theories, allowing the background subtraction to isolate the black hole contribution under suitable boundary conditions for the matter fields.","pith_inferences":["The result suggests the method could extend to more complex models with multiple matter fields, such as those including fermions or higher-form fields, provided boundary conditions are checked.","It may simplify calculations for black holes in asymptotically flat or AdS spacetimes with matter, connecting to holographic duals where thermodynamic relations are used.","Further checks on rotating or higher-dimensional solutions could reveal whether the equivalence requires additional adjustments beyond the static cases examined."],"forward_implications":["The method applies reliably to black holes in theories like Einstein-Maxwell or scalar-tensor gravity when boundary conditions are appropriate.","Thermodynamic quantities such as entropy and mass can be computed consistently without divergences in the tested examples.","Special matter fields with particular boundary behaviors may introduce subtleties that require separate treatment."],"fun_headline_variants":["Background subtraction valid in matter-coupled gravity theories","Equivalence holds in matter-coupled black hole thermodynamics","Background subtraction method reliable for matter gravity black holes","Background subtraction equivalence holds in matter gravity"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Matter fields must admit boundary conditions that allow the background subtraction to isolate the black hole contribution without extra surface terms or divergences from the matter sector.","fun_headline_variants_meta":{"raw":{"variants":["Background subtraction valid in matter-coupled gravity theories","Equivalence holds in matter-coupled black hole thermodynamics","Background subtraction method reliable for matter gravity black holes","Background subtraction equivalence holds in matter gravity"]},"model":"grok-4.3","cost_usd":0.009941,"raw_usage":{"total_tokens":4357,"prompt_tokens":546,"num_sources_used":0,"completion_tokens":54,"cost_in_usd_ticks":99412000,"prompt_tokens_details":{"text_tokens":546,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3757,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":546,"tokens_out":54,"duration_ms":83875,"temperature":1.0,"reasoning_tokens":3757,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-21T19:26:28.447552+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A mismatch between the thermodynamic quantities obtained from the background subtraction method and those from the Iyer-Wald formalism in a concrete matter-coupled black hole solution, such as a charged black hole in Einstein-Maxwell theory, would disprove the equivalence.","supporting_citations":[],"review_version":1}