{"id":"e2dc6589-24dc-4600-b6ba-24deaa7d9889","arxiv_id":"2511.11136","paper_version":5,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Near a non-extremal black hole horizon, this paper derives Einstein-Maxwell charges and fluxes, connects the Carrollian internal boost to a Lorentz boost, and recovers horizon constraint equations from the flux-balance law.","lead":"This paper derives the Noether charges and fluxes for Einstein-Maxwell theory near a black hole horizon, in both metric and tetrad formulations. It identifies the Carrollian internal boost charge with the Lorentz boost charge and shows that the flux-balance law reproduces the Raychaudhuri and Damour equations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eqs. (3.71)-(3.73) are mutually inconsistent: the shear term changes sign, so the claimed flux-balance derivation of the null Raychaudhuri equation fails unless an unstated K(ξ,ζ) is supplied.","rationale":"The reader's CONDITIONAL verdict is reasonable, but the weakest assumption they identify—the external lemma from [58]—is not where I find the sharpest problem. My read of the supertranslation bracket shows an internal algebraic inconsistency: the printed transformations and fluxes, combined with the printed generalized bracket and the stated algebra (3.80), produce a Raychaudhuri equation with the wrong sign for the shear term. This is more damaging than the acknowledged missing E_ab, because it affects the one explicit demonstration of the central claim. The missing E_ab is a real scope mismatch between abstract and conclusion, but it is explicitly acknowledged and is a limitation rather than an incorrect equation. The sign issue, if confirmed, invalidates the central proof as written; however, it is plausibly fixable by a sign correction or by computing and including a nonzero K(ξ,ζ) term, so I would retain a CONDITIONAL verdict rather than reject outright. I partially agree with the reader that the generalized Barnich-Troessaert machinery is load-bearing, but the specific failure mode I find is in its application, not in the external cocycle lemma.","tokens_in":22912,"tokens_out":24090,"duration_ms":213322,"concrete_test":"Symbolically evaluate the supertranslation bracket: substitute δ_T q_ab=2T K^(ℓ)_ab, δ_Tκ=T∂_vκ, δ_Tθ^(ℓ)=T∂_vθ^(ℓ) into (3.65) to re-derive (3.72); then form (3.68) with K=0 and compare with (2.53). If the result is ∂_vθ^(ℓ)-κθ^(ℓ)-K^(ℓ)²+2|∂_vA|² (rather than +K^(ℓ)²), the inconsistency is confirmed. As a cross-check, compute K(ξ_{T1},ξ_{T2}) explicitly from (1.8): if it is non-zero, reconcile it with (3.80); if zero, the sign error stands.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The most load-bearing point is not the acknowledged omission of E_ab, but an algebraic contradiction inside the supertranslation sector that is supposed to prove the central claim. From the stated transformations (§3.1), δ_T κ = T ∂_v κ, δ_T θ^(ℓ) = T ∂_v θ^(ℓ), and δ_T q_ab = T ∂_v q_ab = 2T K^(ℓ)_ab. Feeding these into the flux formula (3.65) gives exactly (3.72): I_{T1}F^{EM}_{T2} = -∫ T1T2(∂_vκ + ∂_vθ^(ℓ) - K^(ℓ)² + 2|∂_vA|²)√q. Combining with (3.71), δ_{T2}Q^{EM}_{T1} = -∫ T1T2(∂_vκ + κθ^(ℓ))√q, and setting K(ξ,ζ)=0 as the summary algebra (3.80) requires, the bracket (3.68) evaluates to {Q_{T1},Q_{T2}} = ∫ T1T2(∂_vθ^(ℓ) - κθ^(ℓ) - K^(ℓ)² + 2|∂_vA|²)√q. This has -K^(ℓ)², whereas the null Raychaudhuri equation (2.53) contains +K^(ℓ)². No integration by parts changes the sign of a positive definite shear term, and the K(ξ,ζ) cocycle is neither computed nor constrained; if it is nonzero it would contradict the stated {Q_T1,Q_T2}=0 in (3.80). Therefore the central advertised result—the derivation of the horizon Einstein equations from the flux-balance law—is not established as written. Secondary scope issue: the abstract's 'near-horizon Einstein equations' overstates what is derived, since E_ab is explicitly deferred in the Conclusion.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper undertakes a covariant phase space (CPS) analysis of Einstein–Maxwell theory near a four-dimensional non-extremal black hole horizon. It computes Noether charges and fluxes in both metric and first-order (Einstein–Cartan) formulations, identifies the Carrollian internal boost charge with a Lorentz boost charge, and claims that the near-horizon Einstein equations can be derived from the generalized Barnich–Troessaert flux-balance law. The concrete dynamical results are the null Raychaudhuri equation, the Damour equation, and the v-component of the Maxwell equations, obtained from the charge algebra of near-horizon supertranslations and diffeomorphisms.","tokens_in":23341,"tokens_out":14652,"duration_ms":121920,"significance":"If the central claim is correct, the paper provides a useful link between near-horizon charge algebra and horizon dynamics, and strengthens the reading of the internal Carrollian boost as a Lorentz boost with charge equal to the area element. The computation includes explicit near-horizon metric and Maxwell expansions, and the charge/flux expressions match known results in the metric and tetrad formulations. These are genuine strengths. The main advertised derivation, however, is narrower than the abstract states: only a subset of the near-horizon Einstein equations is obtained, and the supertranslation part of the derivation is not internally consistent as written. The result is therefore promising but requires substantial correction before the central claim is established.","major_comments":[{"comment":"The supertranslation sector is internally inconsistent. Using the transformations from §3.1 (δ_T κ = T∂_vκ, δ_T θ^(ℓ)=T∂_vθ^(ℓ), δ_T q_ab=2T K^(ℓ)_ab), the flux formula (3.65) evaluates to I_{T1}F_{T2} = −∫T1T2(∂_vκ + ∂_vθ^(ℓ) + K^(ℓ)² + 2|∂_vA|²)√q, not the printed (3.72), which has −K^(ℓ)². With the printed signs, combining (3.71) and (3.72) in the bracket (3.68) gives ∫T1T2[(∂_v−κ)θ^(ℓ) − K^(ℓ)² + 2|∂_vA|²]√q, in conflict with (3.73). With the corrected +K² sign, one obtains ∫T1T2[(∂_v−κ)θ^(ℓ) + K^(ℓ)² + 2|∂_vA|²]√q, which is the on-shell-zero Raychaudhuri combination. The derivation can be repaired, but the equations as printed do not close.","section":"§3.4, Eqs. (3.71)–(3.73)"},{"comment":"The 2-cocycle K(ξ,ζ) is introduced in (1.7)–(1.8), with c(ξ,ζ) defined through (1.9), but it is never computed or constrained for the near-horizon phase space. The flux-balance derivation (3.69) and the summary algebra (3.80) implicitly set K=0 for supertranslations. If K is nonzero, the combination computed in (3.73) is not the full bracket and the conclusion that the Raychaudhuri combination vanishes cannot be attributed to the bracket. Since this is the load-bearing structural point for the paper's main result, the author must either evaluate K explicitly for the Einstein–Maxwell near-horizon phase space or justify, from the conditions of the lemma in [58], that K and c vanish under the stated boundary conditions.","section":"§1 and §3.4"},{"comment":"The abstract claims that 'the near-horizon Einstein equations can be obtained from the flux-balance law.' The Conclusion explicitly states that a derivation of the spacelike Einstein equations E_ab=0 is lacking. What is actually derived from the flux-balance law is the null Raychaudhuri equation (2.53), the Damour equation (2.54), and the v-component of the Maxwell equations (2.57). The abstract should be reworded to name this subset, and the word 'prove' should be tempered to reflect that these equations were already obtained in Section 2.3.2 and are here re-derived from the charge bracket.","section":"Abstract and Conclusion, §4"}],"minor_comments":[{"comment":"The notation δ q_ab vs δ q^ab is ambiguous. The sign of the K² term in (3.65)/(3.72) depends on whether the variation is taken of the covariant or contravariant metric. Please specify explicitly, as this ambiguity is directly related to the sign inconsistency in §3.4.","section":"Eq. (3.65)"},{"comment":"The traceless part d⟨ab⟩ is used before being defined. Also, in the cross term of (2.51) the index structure of (D_b+2π_b)K^(n)ba appears to have a missing contraction; please clarify.","section":"Eq. (2.50) and (2.51)"},{"comment":"The identification of the Carrollian internal boost with the Lorentz boost is based on equality of the Noether charges (B.16)–(B.17) with (3.50)–(3.51). This is good evidence, but the wording 'acts exactly as a Lorentz boost' is stronger than the charge computation alone shows. Please clarify whether the full symmetry transformation, not just the charge, is being identified.","section":"Appendix B and §3.3"},{"comment":"The summary algebra (3.80) is presented as an on-shell statement. It would help to state explicitly which equalities hold only after imposing the Raychaudhuri/Damour/Maxwell equations, and which hold identically from the bracket computation.","section":"§3.4, after Eq. (3.79)"}],"recommendation":"major_revision","confidential_remarks":"The paper is essentially a re-derivation, in a near-horizon Einstein–Maxwell setting, of known horizon charge/flux results and of equations that were already obtained in Section 2.3.2. The main interest lies in the charge-algebra interpretation and the boost-charge identification. The sign inconsistency in the supertranslation sector is fixable, but it is central enough that the manuscript should not be accepted before it is corrected and the omitted K(ξ,ζ) discussion is supplied. If the author fixes these points and adjusts the abstract's scope, the paper could become a solid contribution to the near-horizon symmetry literature."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper is worth a serious referee but not as it stands. It does two useful things: it computes near-horizon Noether charges and fluxes for Einstein-Maxwell in both metric and first-order formulations, and it shows at the tetrad level that the Carrollian internal boost charge equals the Lorentz boost charge, matching known values. That part is careful and consistent with the earlier pure-gravity work.\n\nThe problematic part is Section 3.4. The claim is that the generalized Barnich-Troessaert bracket plus the flux-balance law recovers the null Raychaudhuri and Damour equations with Maxwell contributions. The Damour derivation looks okay. The supertranslation bracket does not. Using the paper's own flux formula (3.65) and the stated transformation rules gives (3.72), which contains -K_(ℓ)^2. Combining that with (3.71) and setting K(ξ,ζ)=0 as the summary algebra (3.80) requires, the bracket evaluates to ∫ T1T2(∂_vθ - κθ - K^2 + 2|∂_vA|^2), with a minus sign in front of the shear-squared term. The null Raychaudhuri equation (2.53) has plus K^2. No integration by parts flips the sign of a positive-definite shear term, and the 2-cocycle is neither computed nor constrained. If the cocycle is nonzero, it contradicts {Q_T1,Q_T2}=0 in (3.80). So the central advertised result is not established as written. This is a load-bearing flaw, not a typo in one line.\n\nThere are also scope issues. The abstract says the near-horizon Einstein equations are derived from the flux-balance law, but only Raychaudhuri and Damour are recovered; E_ab is explicitly deferred in the conclusion. The introduction advertises a sub-leading electric Noether charge that is never computed. Both are addressable by rewording or supplying the missing calculation.\n\nEverything else is in decent shape: the radial expansions, the pre-symplectic potential, and the charge expressions are consistent with the cited literature, and the tetrad appendix is a genuine consistency check. The citation pattern is appropriate, mostly external references to [58] and [51]; no self-citation problem.\n\nBottom line: this is a competent extension of an established program with one serious algebraic problem in the section supporting the main claim. Send it to a referee, but the author needs to fix the sign/cocycle issue before publication. I would not cite it in its present form.","headline":"Solid extension of the Freidel-Oliveri-Pranzetti-Speziale program to Einstein-Maxwell, but the advertised flux-balance derivation of the null Raychaudhuri equation has a sign inconsistency in the supertranslation sector, and the abstract overstates the scope.","tokens_in":23836,"tokens_out":1936,"would_cite":false,"duration_ms":17835,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The near-horizon Einstein-Maxwell equations are derived from the charge algebra of horizon symmetries, and the internal boost charge is the horizon area.","keywords":["near-horizon symmetries","Einstein-Maxwell theory","Noether charges","Carrollian boost symmetry","Barnich-Troessaert bracket","Raychaudhuri equation","Damour equation","flux-balance law"],"falsifier":"Compute explicitly the 2-cocycle c(ξ,ζ) entering the generalized Barnich-Troessaert bracket for the near-horizon Einstein-Maxwell phase space and check whether the identity dc(ξ,ζ)=Δξ aζ−Δζ aξ+a[[ξ,ζ]] is satisfied. A single counterexample configuration (e.g., a non-vanishing Maxwell field with the radial expansions (2.33)(2.34)) where the identity fails would invalidate the derivation of the Raychaudhuri and Damour equations from the flux-balance law.","tokens_in":22770,"feed_emoji":"🕳️","tokens_out":9199,"duration_ms":82410,"temperature":0.7,"pith_summary":"This paper establishes that, in Einstein-Maxwell theory around a non-extremal four-dimensional black hole, the near-horizon dynamics are not free-standing equations but consequences of the symmetry charges living on the horizon. By combining the covariant phase space formalism with the generalized Barnich-Troessaert bracket, the author derives the null Raychaudhuri equation, the Damour equation, and the v-component of Maxwell's equations directly from the flux-balance law. The paper also computes the Noether charges in both metric and tetrad formulations and shows that the internal local boost symmetry of the Carrollian fluid description of the horizon is exactly the internal Lorentz boost of an adapted frame, whose charge is the corner area element. If correct, this gives a symmetry-from-charge derivation of horizon equations and reinforces the view that gravitational entropy is a corner charge.","feed_headline":"Near-horizon Einstein equations derived from symmetry charges","feed_subtitle":"The paper also shows the internal boost charge is the horizon area, linking entropy to symmetry.","key_machinery":"The central object is the generalized Barnich-Troessaert bracket, a modified charge bracket that includes anomalies, fluxes, and a 2-cocycle term, together with the flux-balance law that equates the bracket (minus the charge of the commutator) to corner constraints. The bracket (1.7)-(1.8) with the cocycle c(ξ,ζ) satisfying (1.9) is what makes the derivation of the Raychaudhuri and Damour equations possible; without it, the charge algebra would not reproduce the Einstein-Maxwell evolution equations. A second key mechanism is the Noetherian split of charges and fluxes, where the local boost charge arises from the anomaly of the boundary Lagrangian.","core_discovery":"Working in the Newman-Unti gauge with boundary conditions gvv=O(ρ), gva=O(ρ), gab=O(1), the paper solves the Einstein-Maxwell hypersurface equations and obtains the near-horizon metric and Maxwell potential expansions to order ρ². It then constructs the near-horizon symmetry group, the Weyl-BMS group (diff(S)⋉W)⋉T, and computes the leading Noether charges for supertranslations, diffeomorphisms, Weyl super-boosts, and the internal Carrollian boost. The central result is that the generalized Barnich-Troessaert bracket, together with the flux-balance law, reproduces the null Raychaudhuri equation for the longitudinal expansion and the Damour equation for the Hajicek field, with the v-Maxwell eq","pith_inferences":["One can conjecture that a complete derivation of E⟨ab⟩=0 would require spin-2-like generators on the corner, suggesting that the full near-horizon symmetry algebra is larger than the Weyl-BMS group and might be the near-horizon counterpart of the generalized BMS algebra of null infinity.","The leading-order vanishing of the electric Noether charge with a subleading non-zero value implies that electromagnetic memory near the horizon shows up only at subleading order; measuring this subleading charge might yield a near-horizon electromagnetic memory effect similar to Weinberg's soft photon theorem.","Because the boost charge equals the area element and the Raychaudhuri equation is derived from the flux-balance law, the author's version of the generalized second law could be recast as a statement about the positivity of flux in this charge algebra; testing whether the flux is always non-negative for physical radiative fields could connect horizon thermodynamics to the flux-balance law.","The reliance on the 2-cocycle lemma suggests that one can probe the validity of the result by checking whether the cocycle identity survives higher-order corrections in the radial expansion; if it fails, the derivation would need further subtractions."],"forward_implications":["If correct, the near-horizon Einstein equations are not independent but are fixed by the representation theory of the corner charge algebra, strengthening the holographic dictionary for black hole horizons.","The equality of the Carrollian internal boost charge with the Lorentz boost charge, equal to the area element, gives a concrete Noether-charge interpretation of Bekenstein-Hawking area in the near-horizon phase space.","The derivation of the v-component of Maxwell's equations from the same flux-balance law shows that electromagnetic dynamics are also encoded in the symmetry algebra, not just gravity.","The charge algebra forms a consistent representation of the Weyl-BMS group, which can be used as the starting point for a Carrollian field-theory description of near-horizon degrees of freedom.","The absence of a derivation of the spacelike Einstein equations E⟨ab⟩=0 indicates that a spin-2 symmetry generator is missing; closing this gap would enlarge the near-horizon symmetry group."],"fun_headline_variants":["Symmetry boost charge equals horizon area","Near-horizon equations trace back to symmetry charges","Carrollian boost maps to Lorentz at horizon","Flux-balance law yields near-horizon Einstein equations","Horizon entropy linked to internal boost charge"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The derivation leans on the lemma from the covariant phase space formalism that a 2-cocycle c(ξ,ζ) exists satisfying (1.9); if that identity does not hold for the near-horizon phase space with electromagnetic fields, the flux-balance derivation of the horizon equations does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Symmetry boost charge equals horizon area","Near-horizon equations trace back to symmetry charges","Carrollian boost maps to Lorentz at horizon","Flux-balance law yields near-horizon Einstein equations","Horizon entropy linked to internal boost charge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000279,"raw_usage":{"total_tokens":1456,"prompt_tokens":668,"completion_tokens":788,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":412,"completion_tokens_details":{"reasoning_tokens":716}},"tokens_in":412,"tokens_out":788,"duration_ms":6709,"temperature":1.0,"reasoning_tokens":716,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T22:15:41.323700+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute explicitly the 2-cocycle c(ξ,ζ) entering the generalized Barnich-Troessaert bracket for the near-horizon Einstein-Maxwell phase space and check whether the identity dc(ξ,ζ)=Δξ aζ−Δζ aξ+a[[ξ,ζ]] is satisfied. A single counterexample configuration (e.g., a non-vanishing Maxwell field with the radial expansions (2.33)(2.34)) where the identity fails would invalidate the derivation of the Raychaudhuri and Damour equations from the flux-balance law.","supporting_citations":[],"review_version":1}