{"id":"bb632b09-9037-4516-9ece-b89686d16cba","arxiv_id":"2608.10093","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For two-timescale perturbations about Kerr, the coarse-grained leading-order horizon shear vanishes and the angular-velocity and inaffinity corrections are uniform on each cut, defining adiabatic rigidity; the paper adds a gauge pipeline and charge-flux expansions for EMRI horizon absorption.","lead":"This paper applies two-timescale perturbation methods to the equations governing black-hole horizons and shows that the averaged horizon shear vanishes at leading order, with the horizon responding rigidly: its rotation rate and surface-gravity shift stay uniform over the sphere and evolve only on the slow radiation-reaction timescale.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The rigidity theorem hinges on gauge condition (3.24), whose proof is deferred to Sec. 4 and never exercised on a concrete perturbation; without a verified bounded inverse for D on the oscillatory sector, the claim that κ1 and V1 are exactly slow is unsupported.","rationale":"The reader's CONDITIONAL verdict is appropriate and I do not recommend changing it. My stress-test focuses on the same structural weakness the reader identified first: the gauge condition (3.24) is asserted in §3.4 with the proof postponed to §4, and the proof is never applied to an actual perturbative solution. This is the single most load-bearing point because the headline rigidity statements about κ1 and V1—not just their coarse-grained averages—depend on being able to remove all fast-time dependence through a bounded gauge transformation. The paper gives a plausible formal construction, and the internal algebra of §3.4 checks out, including the positivity argument, which does not actually require the averaged sector to be axisymmetric. I therefore depart from the reader on the corotation item: the derivation of (3.37) survives at corotation because the contraction identity and incompressibility are sufficient. The energy non-uniqueness and the unexercised bulk-to-horizon pipeline are real caveats, but they bear on the framework's completeness and practical applicability rather than on the central rigidity theorem; they do not change the verdict. A successful concrete implementation of Sec. 4 on an explicit Kerr perturbation would close the main gap; a failure would require narrowing the theorem's domain or abandoning the exact-slow interpretation of κ1 and V1.","tokens_in":26393,"tokens_out":33397,"duration_ms":355101,"concrete_test":"Apply the §4 algorithm to a concrete Lorenz-gauge Kerr perturbation by a circular equatorial secondary at a generic orbital frequency (e.g., Ω = Ω_H/2): compute S^A and the κ-source in (4.8b)-(4.8c), solve D Y1^A = ⟨S^A⟩_osc and the f1-equation in the mode expansion (3.17), and verify (i) Y1^A and f1 are bounded with no secular growth for all m, (ii) the extracted V1^A and κ1 equal Ω1(˜v)ϕ^A and κ1(˜v), and (iii) ⟨σ1_AB⟩=0 via (3.31). Repeat for Ω approaching Ω_H; if the norm of Y1^A diverges as (Ω−Ω_H)^{-1}, the gauge condition (3.24) and hence the rigidity claim fail in a neighborhood of corotation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The algebraic core of §3.4 is sound: the contraction leading to (3.37) uses L_X(X·ω)=X·L_Xω, so it does not require axisymmetry of the averaged sector; the corotation issue raised by the reader is therefore not the decisive gap. The load-bearing assumption is (3.24), which upgrades averaged rigidity to the statement that the actual perturbed shift and inaffinity are purely slow: V1^A = Ω1(˜v)ϕ^A and κ1 = κ1(˜v). The proof is deferred to §4.1.2, where Y1^A and f1 are determined by equations of the form D Y1^A = ⟨S^A⟩_osc and (D+κ)(D f1 − ⟨hvs_1⟩_osc) = ..., with D = ∂v + Ω_H L_ϕ. Existence of bounded, secular-free solutions requires D to be invertible on the zero-average oscillatory sector of the two-timescale functions (3.17), with a uniform bound as Ω→Ω_H; the paper states no spectral/non-resonance condition and gives no worked perturbation. If the inverse fails or grows as (Ω−Ω_H)^{-1}, (3.24) cannot be imposed and the conclusions about κ1, V1—rather than merely ⟨κ1⟩, ⟨V1⟩—do not follow. This is a gap in support, not an algebraic inconsistency.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the horizon geometry of a perturbed Kerr black hole in a two-timescale expansion appropriate for extreme mass-ratio inspirals. Section 3 sets up the Raychaudhuri, Damour, and shear evolution equations on the horizon and derives, under the gauge condition (3.24) that fast dependence in the inaffinity and shift can be gauged away, that the coarse-grained linear shear vanishes, that the leading shift correction is a slow rigid rotation Ω_1(v-tilde) φ^A, and that the leading inaffinity correction is a slow monopole κ_1(v-tilde). Section 4 constructs the map from a user-gauge bulk perturbation to the ingoing Newman–Unti gauge and then to Carter coordinates, identifying an order-mixing ambiguity at second order. Section 5 builds horizon charges and fluxes from the covariant phase space, defines dynamical entropy, angular momentum, and an energy via the Kerr equation of state, and shows that the three global charges are invariant under the order-mixing ambiguity. The paper is presented as an automatable framework for future EMRI horizon-absorption and waveform calculations.","tokens_in":26629,"tokens_out":18003,"duration_ms":195356,"significance":"If the rigidity theorem survives the missing spectral-condition check, the paper provides a clean and useful result: adiabatic rigidity of the perturbed horizon in two-timescale perturbation theory, making precise the membrane-paradigm picture of a rigidly rotating horizon with a uniform inaffinity correction. The constructive bulk-to-horizon pipeline in Section 4 is practical, and the order-mixing analysis in Sections 4.3 and 5.4, with the proof that the dynamical entropy, axial angular momentum, and energy are protected, is careful and valuable. The paper contains no fitted parameters; the derivations are explicit, and the main limitations (the teleological boundary condition and the choice of Kerr equation of state for the energy) are acknowledged in the text, although their full consequences are not always reflected in the abstract. The paper should be of interest to the EMRI/self-force and null-boundary communities.","major_comments":[{"comment":"The step from averaged rigidity to the strong claims that κ_1 and V^A_1 are exactly slow is not fully justified. Equation (3.24) is imposed after stating that fast dependence can be gauged away, with the proof deferred to Section 4.1.2. There, the oscillatory parts are removed by solving D Y_1^A = ⟨S^A⟩_osc and (D+κ)(D f_1 − ⟨h^vs_1⟩_osc) = ... . No spectral condition or uniform bound on the inverse of D on the zero-average oscillatory sector is stated. Since D = ∂_v + Ω_H L_φ, its eigenvalues on modes e^{im(φ−Ωv)} are i m (Ω_H − Ω); near corotation the inverse grows as (Ω_H − Ω)^{-1}, and the second-order operator in the f_1 equation makes the behavior worse. Without a proof of bounded invertibility, or an explicit exclusion of a resonance neighborhood, the inference that V_1^A = Ω_1(v-tilde) φ^A and κ_1 = κ_1(v-tilde) is unsupported. Appendix A treats only first-order equations of the form (∂_v − κ) f = −g and does not cover the operator appearing in (4.8c). Please add the missing non-resonance condition and proof, or soften the conclusions to statements about coarse-grained averages away from corotation.","section":"3.4 and 4.1.2"},{"comment":"The energy definition is an added assumption rather than a charge derived from the horizon phase space. The relation E ≡ M_Kerr(S_dyn, J) is imposed by hand, the Smarr-based formula (5.40) is then an identity, and the first law (5.41) follows by the chain rule. The footnote correctly states that a first-principle charge for field-dependent symmetries is left for future work, but the abstract and summary present energy among the horizon conservation laws. Since the energy flux-balance law (5.42) is one of the paper's central outputs, the status of this definition should be made prominent in the abstract and in the summary, and ideally the identification should be derived using the field-dependent symmetry framework cited in [54,55].","section":"5.3, Eqs. (5.34)–(5.41)"}],"minor_comments":[{"comment":"In the left branch of Figure 1, \"knight transformation\" appears to be a typo for \"gauge transformation\".","section":"Figure 1"},{"comment":"The mode phase e^{im(φ−Ωv)} with Ω = Ω(v-tilde) is a common adiabatic shorthand, but for consistency with the two-timescale expansion it should be noted that the correct fast phase is the integrated form e^{im(φ−ε^{-1}∫^{v-tilde} Ω(s) ds)} or a related explicit statement.","section":"3.3, Eq. (3.17)"},{"comment":"The expansion (3.23) introduces θ = ε θ_1, but the subsequent analysis shows θ_1 = 0 and θ = ε^2 θ_2. The initial expansion should mention that θ_1 will be shown to vanish, to avoid apparent inconsistency.","section":"3.4, Eq. (3.23)"},{"comment":"The symbol D in the gauge-fixing equations (4.8) is not explicitly defined in that subsection; it should be stated that D denotes the background convective derivative D = ∂_v + L_{Vbar}.","section":"4.1.2, Eqs. (4.8)"},{"comment":"The O(ε^3) Lorentz flux contains the term ∂_v θ_3, which is not determined by a second-order bulk perturbation. If this term integrates to zero over the cut because ψ̄ is time-independent, that should be stated explicitly; otherwise the O(ε^3) flux appears to require third-order input not supplied by the pipeline.","section":"5.4, Eq. (5.53)"}],"recommendation":"major_revision","confidential_remarks":"The main technical concern is the unproven invertibility of D in Section 4.1.2; this is a repair rather than a fatal inconsistency, since adding a non-resonance condition and a boundedness proof would address it. The energy definition in Section 5.3 should be clearly labeled as an equation-of-state choice in the abstract. The paper is within the scope of the journal and the citation list appears appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a serious referee. This is not a repackaging: the two-timescale flow-averaged reduction of the horizon evolution equations, the adiabatic rigidity constraints (3.38)-(3.42), the user-gauge to INU-gauge pipeline, and the explicit charge/flux expansions through second and third order are all new and are organized in a way that EMRI modelers can actually use. The citation pattern is appropriate, there are no fitted parameters or invented entities, and the paper is honest about its own limitations, including the order-mixing obstruction and the non-uniqueness of the energy extension.\n\nThe central derivation of Section 3.4 checks out. Averaging, the integral identity, and the incompressibility argument are consistent under the stated gauge and teleological assumptions. I verified the Killing-vector conclusion for the oblate Kerr cross-section; it holds. The stress-test note is right that the corotation issue is not the decisive gap. The load-bearing assumption is (3.24), which upgrades the averaged statements to the claim that the actual perturbed shift and inaffinity are purely slow. The proof is deferred to Section 4.1.2, where Y1 and f1 are determined by equations of the form D Y1 = ... and (D+κ)(D f1 - ...) = ..., with D = ∂v + Ω_H L_φ. The paper never states a spectral or non-resonance condition ensuring that D is invertible on the zero-average oscillatory sector with a uniform bound as Ω → Ω_H. Without that bound, the conclusion about κ1 and V1 being exactly slow is supported but not closed. This is a gap in support, not an algebraic inconsistency, and it is fixable in revision by adding a spectral assumption or, better, working through a concrete example—say a circular equatorial orbit in Kerr to first order—where the inversion is exhibited.\n\nMinor soft spots: the energy charge E = M_Kerr(S_dyn, J) is explicitly a non-unique extension of the Kerr equation of state off the family; the paper acknowledges this, so it is a limitation rather than a flaw. The bulk-to-horizon pipeline is never exercised on a concrete perturbation, leaving κ1 and Ω1 undetermined until bulk matching is performed. The teleological boundary condition is standard and is handled clearly in Appendix A.\n\nWho this is for: EMRI and self-force theorists, null-boundary symplectic folks, and anyone building horizon absorption into LISA waveform codes. The framework deserves referee time. I would engage with it, and I would cite it — after checking whether the revised version closes the invertibility gap or at least states the required condition.","headline":"Serious, genuinely new framework paper with an internally consistent central derivation; the headline rigidity claim is conditional on a gauge condition whose required operator inverse is asserted rather than proved.","tokens_in":27225,"tokens_out":2328,"would_cite":true,"duration_ms":28139,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C25","83C35","83C40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Horizon evolution in a two-timescale expansion about Kerr makes the event horizon adiabatically rigid: leading-order averaged shear vanishes and slow corrections to angular velocity and inaffinity are uniform on each cut.","keywords":["black hole horizons","two-timescale perturbation theory","extreme mass-ratio inspirals","adiabatic rigidity","ingoing Newman–Unti gauge","horizon flux-balance laws","horizon absorption","Kerr black holes"],"falsifier":"Take an explicit Lorenz-gauge, two-timescale metric perturbation for a circular equatorial inspiral into a non-extremal Kerr black hole away from corotation, transform it to the ingoing Newman–Unti gauge using equations (4.6)–(4.8), and compute $\\langle \\sigma^{(1)}_{AB}\\rangle$, $\\kappa_1$, and $V^A_1$ on coarse-grained horizon cuts. The central claim fails if the averaged shear is nonzero, if $\\kappa_1$ depends on angles, or if $V^A_1$ is not proportional to $\\phi^A$ with a slow-only coefficient; equivalently, the positivity identity (3.37) should hold for the numerically averaged data.","tokens_in":26075,"feed_emoji":"🕳️","tokens_out":11737,"duration_ms":114576,"temperature":0.7,"pith_summary":"The paper studies the evolution equations for an event horizon in a two-timescale perturbative expansion about Kerr and argues that the horizon behaves, on average, like a rigidly rotating membrane. At leading order the coarse-grained linear shear vanishes, and the first slow corrections to the horizon's angular velocity and its inaffinity—a temperature-related parameter—are uniform on each two-dimensional cut, depending only on the slow time. The paper also constructs a gauge pipeline that converts a generic bulk perturbation, such as one in Lorenz gauge, into a horizon-adapted ingoing Newman–Unti gauge from which the perturbed horizon geometry can be read off directly, and it derives covariant-phase-space conservation laws for energy, dynamical entropy, and angular momentum, with charges to second order and fluxes to third order in the mass ratio. This matters because it supplies the horizon side of the flux-balance accounting needed for absorption and backreaction in extreme-mass-ratio inspirals.","feed_headline":"Horizon shear averages away for inspirals into Kerr","feed_subtitle":"Two-timescale analysis reduces the slow horizon response to rigid rotation plus a uniform inaffinity, aiding EMRI absorption-flux models.","key_machinery":"The machinery is the two-timescale horizon evolution system: the Raychaudhuri equation, the Damour–Navier–Stokes equation, and the linearized shear equation, with fields split into coarse-grained and oscillatory parts by averaging along the background horizon generator. The load-bearing step is the positivity chain that contracts the averaged Damour equation with the incompressible velocity correction and integrates by parts, leaving $\\int \\sqrt{q}\\,\\langle \\sigma^{(1)}_{AB}\\rangle \\langle \\sigma^{AB}_1\\rangle = 0$, which forces the averaged shear to vanish and reduces the velocity correction to a Killing vector of the background horizon metric. A second load-bearing element is the gauge pipeline: bulk INU conditions, horizon-locking and adiabatic gauge conditions for velocity and inaffinity, and the finite INU-to-Carter map that exhibits the order-mixing ambiguity. A third is the covariant-phase-space charge formula $Q_\\xi = \\frac{1}{2}\\int \\sqrt{q}\\,[f(\\kappa-\\theta)+\\partial_v f + Y^A\\omega_A]$ together with the flux formula $F_\\xi = \\frac{1}{4}\\int \\sqrt{q}\\,(\\sigma_{AB}-\\frac{1}{2}\\theta q_{AB})\\,\\delta_\\xi q^{AB}$, from which the dynamical-entropy, angular-momentum, and energy balance laws follow.","core_discovery":"The central claim is that a two-timescale analysis of the Raychaudhuri, Damour–Navier–Stokes, and shear evolution equations forces an adiabatic rigidity on the perturbed Kerr horizon: $\\langle \\sigma^{(1)}_{AB}\\rangle = 0$, while $V^A_1 = \\Omega_1(\\tilde v)\\phi^A$ and $\\kappa_1 = \\kappa_1(\\tilde v)$. The expansion starts only at second order, $\\theta = \\epsilon^2 \\theta_2$, the coarse-grained ingoing Weyl component satisfies $\\langle \\Psi^{(1)}_{AB}\\rangle = 0$, and the slow evolution of the primary is thereby encoded in the monopole $\\kappa_1(\\tilde v)$ and the rigid rotation $\\Omega_1(\\tilde v)$. The paper further claims that a bulk perturbation in a user gauge can be brought to the ingoing Newman–Unti gauge by an explicit sequence of bulk and boundary conditions, and that the Carter-frame global charges—dynamical entropy, axial angular momentum, and the energy defined through the Kerr equation of state—are invariant under the order-mixing ambiguity of the finite INU-to-Carter transformation, so a second-order bulk perturbation determines them unambiguously.","pith_inferences":["If the rigidity theorem survives explicit numerical checks, it suggests that the horizon degrees of freedom entering EMRI flux-balance models can be compressed to two slow scalars, which would simplify the horizon-absorption subroutine in waveform codes.","The same averaging argument should extend to other axisymmetric non-extremal backgrounds whose horizon metric admits only the axial Killing vector; for a Schwarzschild background the paper itself notes that the first-order velocity becomes a slowly rotating vector about an arbitrary axis, so precessing and non-precessing orbits may select different axes through the bulk matching data.","Because the advanced boundary condition is essential to the argument, an attempt to replace the event horizon by a local apparent horizon would need a separate prescription to reproduce these averaged constraints; the teleological input may be the price of having a rigidity theorem.","The order-mixing invariance of the three global charges suggests they are robust observables of the slow inspiral, whereas angle-dependent horizon hair charges would require knowledge of the third-order completion before they can be assigned definite second-order values."],"forward_implications":["For an extreme-mass-ratio inspiral into a non-extremal Kerr primary, horizon absorption enters only at second order in the mass ratio: the averaged shear vanishes at leading order, and secular changes are driven by the averaged square $\\langle \\sigma^2_1\\rangle$.","The slow horizon sector reduces to two functions of slow time, $\\Omega_1(\\tilde v)$ and $\\kappa_1(\\tilde v)$, so a flux-balance model of the primary's evolution does not need angle-resolved horizon data at leading order.","The explicit INU gauge transformation turns any second-order bulk perturbation in a user gauge into horizon data, so existing metric-perturbation solutions can be used to compute horizon charges without a separate horizon-adapted calculation.","Dynamical entropy, axial angular momentum, and horizon energy are protected against the order-mixing ambiguity; only angle-dependent supertranslation-type charges are affected at second order.","The entropy-production law $dS_{\\rm dyn}/d\\hat v = \\frac{\\epsilon^2}{4\\kappa}\\int \\sqrt{\\bar q}\\,\\sigma^{(1)}_{AB}\\sigma^{AB}_1 + O(\\epsilon^3)$ is manifestly non-negative, connecting the averaged shear to dissipation into the black hole."],"supporting_citations":[{"why":"Supplies the exact horizon evolution equations (3.2) whose multiscale analysis yields the rigidity results.","marker":"[12]"},{"why":"Introduces the two-timescale expansion of extreme-mass-ratio inspirals in Kerr used as the perturbative scheme.","marker":"[34]"},{"why":"Provides the singular-perturbation and self-force multiscale framework underlying the slow-time/fast-time split.","marker":"[35]"},{"why":"Gives Damour's hydrodynamic formulation of the horizon, including the convective derivative and Navier–Stokes-type structure.","marker":"[8]"},{"why":"Provides the covariant phase-space construction and Wald–Zoupas prescription used to define the horizon charges.","marker":"[15]"},{"why":"Gives the perturbative horizon absorption fluxes that the paper extends to the nonperturbative flux formula.","marker":"[36]"},{"why":"Supplies the second-order gauge transformation law used to pass from a user gauge to the INU gauge.","marker":"[46]"},{"why":"Defines dynamical black-hole entropy, which the paper identifies with its T=1 supertranslation charge.","marker":"[51]"},{"why":"Supplies the teleological boundary-condition discussion used in Appendix A to select the advanced horizon Green function.","marker":"[11]"}],"fun_headline_variants":["Coarse-grained Kerr horizon: shear cancels, rotation rigid","Two-timescale analysis enforces adiabatic rigidity on Kerr","Shear vanishes in coarse-grained Kerr horizon dynamics","Adiabatic rigidity yields horizon flux laws for EMRI"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The leading-order rigidity rests on three coarse-graining assumptions: that fast oscillatory dependence in the horizon's inaffinity and velocity can be removed by residual horizon gauge freedom, that the horizon settles to a stationary state in the future so the advanced boundary condition applies, and that the companion never corotates exactly with the horizon; if any one fails, the averaged shear need not vanish.","fun_headline_variants_meta":{"raw":{"variants":["Coarse-grained Kerr horizon: shear cancels, rotation rigid","Two-timescale analysis enforces adiabatic rigidity on Kerr","Shear vanishes in coarse-grained Kerr horizon dynamics","Adiabatic rigidity yields horizon flux laws for EMRI"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001367,"raw_usage":{"total_tokens":5562,"prompt_tokens":985,"completion_tokens":4577,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":601,"completion_tokens_details":{"reasoning_tokens":4511}},"tokens_in":601,"tokens_out":4577,"duration_ms":39560,"temperature":1.0,"reasoning_tokens":4511,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:19:26.212065+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an explicit Lorenz-gauge, two-timescale metric perturbation for a circular equatorial inspiral into a non-extremal Kerr black hole away from corotation, transform it to the ingoing Newman–Unti gauge using equations (4.6)–(4.8), and compute $\\langle \\sigma^{(1)}_{AB}\\rangle$, $\\kappa_1$, and $V^A_1$ on coarse-grained horizon cuts. The central claim fails if the averaged shear is nonzero, if $\\kappa_1$ depends on angles, or if $V^A_1$ is not proportional to $\\phi^A$ with a slow-only coefficient; equivalently, the positivity identity (3.37) should hold for the numerically averaged data.","supporting_citations":[{"cited_title":"Singular perturbation techniques in the gravitational self-force problem","cited_arxiv_id":"1003.3954","evidence_quote":"Provides the singular-perturbation and self-force multiscale framework underlying the slow-time/fast-time split."},{"cited_title":"Damour,Black Hole Eddy Currents, Phys","cited_arxiv_id":null,"evidence_quote":"Gives Damour's hydrodynamic formulation of the horizon, including the convective derivative and Navier–Stokes-type structure."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the teleological boundary-condition discussion used in Appendix A to select the advanced horizon Green function."}],"review_version":1}