{"id":"b8eee264-1527-42bb-959d-5c633d9f0533","arxiv_id":"2411.14023","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"In effective field theories of gravity with electromagnetism and scalars, surface gravity and electric potential are constant on black hole horizons up to the accuracy of the EFT, and a modified entropy satisfies the second law.","lead":"This physics PhD thesis shows that several laws of black hole mechanics continue to hold when Einstein gravity is extended with small higher-derivative corrections and matter fields. It also presents a gauge formulation that makes the resulting Einstein-Maxwell equations well-posed.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The zeroth and first law proofs depend on the unproven extension of the Rigidity Theorem to matter-coupled EFTs, so the central claim is conditional on a non-trivial open conjecture.","rationale":"I agree with the reader's identification of the Rigidity Theorem as the weakest assumption. It is explicit, self-identified, and foundational. The alternative candidate—the O(1) elliptic constants in §4.3.1—is a technical gap, but one that is likely repairable with standard estimates given the uniform bounds in the regime of validity. Rigidity is a conceptual assumption: without it, the surface gravity that is the subject of the zeroth law is not defined. The paper is otherwise careful and honest; the concern does not reveal an internal error, but it does mean that the main theorems are conditional on an open conjecture for matter-coupled EFTs, which justifies the CONDITIONAL verdict.","tokens_in":61512,"tokens_out":17890,"duration_ms":166174,"concrete_test":"Check whether the method of [67] (Rigidity for vacuum gravity EFTs) extends to the Einstein-Maxwell-scalar effective actions used in §4.3–4.4. Concretely: attempt to prove that a stationary, smooth, weakly coupled solution of the EFT equations (4.41) with a black hole horizon admits a horizon Killing vector, following the approximate-Killing-vector or characteristic-initial-value strategy of [67]. If the proof goes through, the assumption becomes a theorem. If a step fails (e.g., the energy conditions needed for the characteristic argument fail for the matter sector), then the zeroth law claim (4.47) is only a conditional statement and the thesis should say so explicitly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The thesis's central claims for the laws of black hole mechanics in EFTs of gravity with electromagnetism and scalar fields all assume that the horizon of a stationary black hole is a Killing horizon. Section 3.1 states: 'The Rigidity Theorem... has recently been generalized to vacuum gravity EFTs [67]. Going forward, we will assume it holds in all the EFTs we study, even if this has not been explicitly proven.' This assumption is load-bearing: if the horizon is not Killing, then the surface gravity κ defined in (3.12) and the Killing-vector GNCs in §3.4.2 are undefined, so the zeroth law formulation (4.47), the first law's Wald entropy identification, and the late-time equilibrium state used in the second law (Chapter 5) all collapse. The proofs in Chapter 4 do not construct the Killing vector; they take it as given. Unlike the vacuum EFT case, where rigidity is proved in [67], no proof or plausibility argument is offered for the matter-coupled case. This is not an internal inconsistency, but it makes the central claim conditional on a non-trivial extension of a deep theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This PhD thesis develops a mathematical framework for effective field theories (EFTs) of gravity and matter, focusing on two issues: well-posedness of the initial value problem for the leading Einstein-Maxwell EFT, and the validity of the laws of black hole mechanics in gravitational EFTs. Chapter 2 proves that a modified harmonic gauge formulation of the leading parity-symmetric Einstein-Maxwell EFT is strongly hyperbolic and hence locally well-posed when the higher-derivative terms are small. Chapters 4-6 prove a zeroth law (Eq. 4.47), a first-law identification via Wald entropy, and a second law (up to O(l^N) terms) for EFTs of gravity coupled to electromagnetism and a charged/uncharged scalar field, using boost-weight techniques and a generalized HKR entropy. The results are carefully qualified by a regime-of-validity definition, but they rely on two explicitly stated assumptions: the extension of the Rigidity Theorem to matter-coupled EFTs (Sec. 3.1) and O(1) constants in standard functional inequalities on the horizon cross-section (Sec. 4.3.1).","tokens_in":61757,"tokens_out":3187,"duration_ms":32303,"significance":"If the stated results hold, this is a substantial contribution to the mathematical physics of gravitational EFTs. The well-posedness result in Chapter 2 extends a nontrivial line of work from scalar-tensor to Einstein-Maxwell EFTs, and does so with a complete, detailed symmetrizer construction. The zeroth and second law results provide the first systematic treatment of black hole mechanics in EFTs with matter fields, and the boost-weight inductive scheme is elegant and likely to be influential. The manuscript is transparent about its assumptions and limitations, which is a genuine strength: the reader is never misled about what is proved versus what is assumed. The main value is therefore conditional, but conditional theorems of this quality are still publishable if the caveats are made prominent.","major_comments":[{"comment":"The Rigidity Theorem is stated to hold in all EFTs studied, including those with matter, even though it has only been proved for vacuum gravity EFTs [67]. This assumption is load-bearing for every subsequent claim: the Killing vector ξ, the surface gravity κ in Eq. (3.12), the Killing-vector GNCs of Sec. 3.4.2, the zeroth law bound ∂_A κ = O∞(l^{N-1/2}) in Eq. (4.47), the first-law identification, and the late-time equilibrium state used in Chapter 5 all require the horizon to be a Killing horizon. Since the proofs in Chapter 4 do not construct ξ but take it as given, the central claims for matter-coupled EFTs are conditional on an open extension of a deep theorem. The manuscript acknowledges this in a single sentence, but the abstract and introduction present the results without this caveat. I recommend that the main theorems be explicitly stated as conditional on this rigidity assumption, or that the claims be restricted to the vacuum case where rigidity is proved.","section":"Sec. 3.1"},{"comment":"The assumption that the constants in Sobolev, Poincaré, and elliptic estimates on the compact Riemannian manifold (C, h_AB) are O(1) as l/L → 0 is unproved and is necessary for the central conclusion of the chapter. The inductive loop in Sec. 4.3.4 uses these estimates to upgrade a weak bound on V_A = F_{τA}|_C to the L^∞-type statement V_A = O∞(l^{N-1/2}) in Eq. (4.47). If the constants grow or shrink with l/L, the claimed order in l is not established. This is a technical gap that may be fixable in principle, for example by proving uniform bounds on h_AB and its derivatives under the stated regime-of-validity assumptions, or by stating the zeroth law result in an L^2 norm. As it stands, however, the proof of the main result is conditional on an unverified analytic assumption.","section":"Sec. 4.3.1"},{"comment":"The claim of a non-perturbative second law (up to O(l^N)) for dynamical black holes in EFTs with electromagnetic and scalar fields relies on the same equilibrium/horizon-completeness assumptions used for the zeroth law, and it inherits the rigidity assumption of Sec. 3.1. Moreover, the entropy construction is shown in Chapter 6 to be gauge-dependent beyond order l^4, so the non-perturbative statement can only hold for a particular choice of affine GNCs or up to the order at which gauge invariance is proven. The discussion in Sec. 5.2 would benefit from a precise theorem-environment stating exactly which assumptions enter the result, including the rigidity assumption, the O(1) constants of Sec. 4.3.1, and the gauge-choice restriction.","section":"Secs. 5.2 and 5.4"}],"minor_comments":[{"comment":"The notation for the principal-symbol block decomposition (P_gg, P_gm, etc.) is dense; a small table or a summary of the index conventions would make the chapter much more readable for a first-year postgraduate audience.","section":"Sec. 2.5.1"},{"comment":"The properties (i)-(iii) for a dynamical entropy are introduced informally in the text and then referred to by number; labelling them explicitly as a displayed list would improve clarity.","section":"Sec. 3.5.3"},{"comment":"When the Rigidity Theorem is first invoked, the reference [67] is cited, but the reader is not told that the theorem is restricted to vacuum EFTs until the sentence 'Going forward, we will assume...' . Moving this caveat to the first mention of the theorem would prevent a misleading first reading.","section":"Sec. 3.1"},{"comment":"The explicit expressions for s^A in cubic Riemann Lagrangians are relegated to App. 6.7.2; a brief indication in the main text of the structure of these expressions (e.g., which contractions are retained) would help the reader follow the GNC-gauge discussion.","section":"Sec. 6.4.2"}],"recommendation":"major_revision","confidential_remarks":"This is a PhD thesis posted to arXiv, and the review should be judged with that context in mind. The strongest contribution is Chapter 2, which is a self-contained and technically solid well-posedness proof; the black hole mechanics chapters are also valuable but they are explicitly conditional on an unproved extension of the Rigidity Theorem to matter-coupled EFTs. The authors should be encouraged to restructure the presentation so that the abstract and theorems carry the same caveats as the body text. If the rigidity assumption cannot be removed, the paper is still publishable as a conditional result, provided the statements are phrased honestly. The Sobolev-constant issue is a technical gap that could be resolved by more careful analysis; I would not reject on that ground alone. The main risk to the paper's claims is the rigidity conjecture, which is an open problem and outside the scope of a single thesis."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick read on Iain Davies' Cambridge thesis. The thing you should know before reading: this is a serious, carefully written piece of work, and its main results are genuinely new. The author proves a well-posed formulation of the leading Einstein-Maxwell EFT using a modified harmonic gauge, extends the zeroth law to Einstein-Maxwell theories with charged and uncharged scalars under a regime-of-validity assumption, and constructs a generalized entropy that satisfies a non-perturbative second law in those EFTs. The thesis is explicit about what is new, what is borrowed from Reall's group, and what is assumed. That honesty makes it a much better use of referee time than most.\n\nThe soft spot is real and load-bearing. Section 3.1 says the Rigidity Theorem is assumed to hold in all the EFTs studied, even though it has only been proved for vacuum gravity EFTs. If a stationary horizon is not a Killing horizon in the matter-coupled case, the surface gravity and the Killing-vector GNCs used in Chapters 4 and 5 are not defined, and the zeroth and first law proofs collapse. This is not a hidden circularity; the author flags it in plain text. But a referee needs to decide whether the assumption can be proved, plausibly argued, or needs an explicit restriction in the theorem statements. The second soft spot is the O(1) constants in the Sobolev/Poincaré/elliptic estimates used in the zeroth law; the author admits this is unproved. That is a technical gap, annoying but not fatal. The O(l^{N-1/2}) accuracy in the zeroth law is slightly unusual but acceptable: it is beyond the EFT truncation error.\n\nNo circularity, no data fitting, no overclaiming relative to what is shown. The reliance on earlier work by the same group is legitimate; the extensions to electromagnetic and scalar matter are the new part. Who is this for: researchers in black hole mechanics, modified gravity, and numerical relativity with EFT corrections. The first three chapters are genuinely pedagogical and usable.\n\nRecommendation: send it to a serious referee. The paper deserves a full review, and the referee should request that the rigidity assumption and the elliptic-constant assumption be stated as explicit hypotheses or removed.","headline":"A carefully written and genuinely novel extension of black-hole EFT results, but the central theorems are conditional on an unproved rigidity conjecture; worth refereeing if that assumption is addressed.","tokens_in":62272,"tokens_out":3350,"would_cite":true,"duration_ms":33632,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C05","83C22","83D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Effective field theory corrections to gravity preserve the zeroth law of black hole mechanics to the accuracy of the EFT, with generalized entropy restoring the first and second laws.","keywords":["effective field theory","black hole mechanics","zeroth law","second law","dynamical black hole entropy","well-posedness","modified harmonic gauge","Einstein-Maxwell theory"],"falsifier":"A concrete check: construct a stationary, weakly coupled Einstein-Maxwell-scalar black hole with a spherical horizon and test whether $\\sup_C |\\partial_A\\kappa|$ and $\\sup_C |V_A|$ both remain bounded by $C\\,l^{N-1/2}$ as $l\\to 0$; the zeroth-law claim fails if either ratio grows without bound.","tokens_in":61272,"feed_emoji":"🕳️","tokens_out":11233,"duration_ms":93675,"temperature":0.7,"pith_summary":"This thesis asks whether the laws of black hole mechanics survive when General Relativity is treated as the leading term in an effective field theory (EFT). Its central answer is that they do, but only up to the truncation error of the EFT and with a generalized notion of entropy. The author proves an approximate zeroth law for stationary black holes in EFTs of gravity coupled to electromagnetism and a charged or uncharged scalar field: the surface gravity and the horizon electric potential are constant up to $\\mathcal{O}_\\infty(l^{N-1/2})$. The thesis also proves a non-perturbative second law for dynamical black holes using a generalized entropy construction, and shows that a modified harmonic gauge gives a locally well-posed initial value problem for the leading Einstein-Maxwell EFT when the higher-derivative terms are small. A sympathetic reader would care because these results put the thermodynamic analogy for black holes on firmer ground in any theory that reduces to General Relativity at low energies.","feed_headline":"Black hole laws survive effective-field-theory corrections","feed_subtitle":"New proofs show EFT black holes keep constant surface gravity and a growing generalized entropy.","key_machinery":"The central machinery is the boost-weight expansion in Gaussian null coordinates. Near a stationary horizon, quantities in affinely parameterized Gaussian null coordinates carry a boost weight, and positive boost weight quantities vanish on the horizon once the relevant constancy conditions hold; the EFT equations of motion then force the horizon gradient of $\\kappa$ and the electric field to descend order by order in $l$. For the well-posedness result, the machinery is a modified harmonic gauge with two auxiliary metrics whose null cones are nested with the physical one; this splits the principal symbol into six eigenvalue groups and permits an explicit symmetrizer, yielding strong hyperbolicity.","core_discovery":"The central claim is that within their regime of validity, gravitational EFTs are not only mathematically well-posed but also continue to obey the thermodynamic laws of black holes, with two amendments: the zeroth law holds only approximately, and the entropy entering the first and second laws must be a generalized dynamical entropy rather than the area entropy. For stationary black holes in EFTs of gravity, electromagnetism and a charged or uncharged scalar field, the thesis proves $\\partial_A\\kappa = \\mathcal{O}_\\infty(l^{N-1/2})$ and $V_A = F_{\\tau A}|_C = \\mathcal{O}_\\infty(l^{N-1/2})$ on the horizon, where $l^N$ is the truncation error of the effective Lagrangian. For dynamical black holes that settle to equilibrium, it constructs an entropy that satisfies the second law non-perturbatively up to $\\mathcal{O}(l^N)$ terms. Separately, it claims that the leading Einstein-Maxwell EFT admits a strongly hyperbolic formulation in modified harmonic gauge when the higher-derivative terms are small, which gives local well-posedness.","pith_inferences":["If the zeroth-law error is genuinely $\\mathcal{O}(l^{N-1/2})$ rather than $\\mathcal{O}(l^N)$, the horizon electric field, not the geometry, is the limiting factor; a sharper estimate may be obtainable by exploiting Maxwell's equations on the horizon.","The same boost-weight induction is likely to extend to non-abelian gauge fields or $p$-form fields whenever their positive boost-weight components are forced to vanish by the matter equations of motion, but the paper does not perform that extension.","Because the generalized dynamical entropy is gauge-dependent beyond order $l^4$, any comparison of black hole entropy across different EFT truncations must fix the same Gaussian null gauge; a fully gauge-invariant entropy current remains open.","The well-posedness result for the parity-symmetric theory suggests that parity-violating Einstein-Maxwell EFTs may require a different gauge or fail to be strongly hyperbolic, a testable gap not covered by the thesis."],"forward_implications":["The zeroth law in EFT is an approximate theorem: surface gravity and electric potential are constant on the horizon up to $\\mathcal{O}_\\infty(l^{N-1/2})$, an error beyond the accuracy to which the Lagrangian is known.","The first law holds for stationary EFT black holes if the horizon entropy is the covariant Noether-charge entropy rather than the area over $4G$.","The second law holds non-perturbatively for dynamical EFT black holes that settle to equilibrium, provided the entropy is defined by the generalized construction, with violations bounded by $\\mathcal{O}(l^N)$.","The leading Einstein-Maxwell EFT has a locally well-posed initial value problem in modified harmonic gauge when the higher-derivative terms are small, placing numerical evolution of such EFTs on firmer ground.","The proof avoids assuming analyticity in the UV scale, so it remains valid in time-dependent settings where a naive expansion in $l$ would produce secular growth."],"supporting_citations":[{"why":"Supplied the modified harmonic gauge and the strong-hyperbolicity proof strategy for gravity-scalar EFTs that Chapter 2 adapts to Einstein-Maxwell theory.","marker":"[36, 37]"},{"why":"Provided the detailed principal-symbol analysis, eigenvalue grouping, and symmetrizer construction used in the well-posedness proof.","marker":"[37]"},{"why":"Introduced the boost-weight framework in Gaussian null coordinates and the generalized entropy construction on which the second-law proof is built.","marker":"[33]"},{"why":"Provided the inductive boost-weight proof of the zeroth law in vacuum gravity EFTs that Chapter 4 generalizes to include matter.","marker":"[76]"},{"why":"Proved the rigidity theorem for vacuum gravity EFTs, whose extension to matter is assumed as the foundation for defining surface gravity.","marker":"[67]"},{"why":"Introduced the Noether-charge entropy that satisfies the first law for stationary black holes in any diffeomorphism-invariant theory.","marker":"[81]"},{"why":"Introduced the linearized second-law entropy current that the thesis corrects to non-perturbative order.","marker":"[72]"},{"why":"Formalized the manipulation of the $E_{vv}$ equation that Chapter 5 extends to non-perturbative order.","marker":"[73]"},{"why":"Established the entropy-current construction for gravity, electromagnetism and a real scalar field, the starting point for the second-law proof.","marker":"[91]"}],"fun_headline_variants":["Black hole laws survive EFT corrections","Generalized entropy preserves black hole laws in EFTs","EFT black holes keep thermodynamics via new entropy","Laws of black hole mechanics persist in gravitational EFTs","Modified gravity still obeys black hole laws"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The Rigidity Theorem, that a stationary black hole horizon is a Killing horizon, is assumed to hold in every EFT with matter even though it has been proved only for vacuum gravity EFTs; if a stationary horizon were not a Killing horizon, the surface gravity and the coordinate constructions used throughout the proofs would not be defined.","fun_headline_variants_meta":{"raw":{"variants":["Black hole laws survive EFT corrections","Generalized entropy preserves black hole laws in EFTs","EFT black holes keep thermodynamics via new entropy","Laws of black hole mechanics persist in gravitational EFTs","Modified gravity still obeys black hole laws"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000376,"raw_usage":{"total_tokens":2058,"prompt_tokens":1056,"completion_tokens":1002,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":672,"completion_tokens_details":{"reasoning_tokens":930}},"tokens_in":672,"tokens_out":1002,"duration_ms":9862,"temperature":1.0,"reasoning_tokens":930,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:36:51.577612+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check: construct a stationary, weakly coupled Einstein-Maxwell-scalar black hole with a spherical horizon and test whether $\\sup_C |\\partial_A\\kappa|$ and $\\sup_C |V_A|$ both remain bounded by $C\\,l^{N-1/2}$ as $l\\to 0$; the zeroth-law claim fails if either ratio grows without bound.","supporting_citations":[{"cited_title":"A stationary black hole must be axisymmetric in effective field theory","cited_arxiv_id":"2212.06554","evidence_quote":"Proved the rigidity theorem for vacuum gravity EFTs, whose extension to matter is assumed as the foundation for defining surface gravity."}],"review_version":1}