Separation of variables for coupled radiative perturbations of Kerr-Newman-de Sitter black holes

Daisuke Yoshida

REVIEW

Separation of variables for coupled radiative perturbations of Kerr-Newman-de Sitter black holes

Daisuke Yoshida

General Relativity and Quantum Cosmology · Submitted 14 Oct 2026

Pith's verdict: A genuinely new finite-Lambda separation of the coupled radiative KNdS system, built on long algebraic identities that the paper asserts by direct substitution and never makes machine-checkable; referee it, but require a verification artifact.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 15, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.20500 (version 2)

Pith IDDJFF2TNN, Pith's permanent record of this paper and its review

CitationDaisuke Yoshida. "Separation of variables for coupled radiative perturbations of Kerr-Newman-de Sitter black holes." arXiv:2610.20500 (2026). https://pith.science/paper/DJFF2TNN

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

The one thing to know: this is the first exact separation of the coupled gravitational-electromagnetic radiative system on Kerr-Newman-de Sitter at finite Lambda. That claim is new and, on the evidence in the text, credible. The paper does not fit data, has no free parameters, handles both spin weights, gives an explicit matrix X, and includes a real-frequency angular completeness proof plus horizon regularity as radial boundary conditions. The Lambda -> 0 comparison with Hintz in Sec. 3.5 is a useful cross-check and supports the construction. It also honestly declares what it does not do: no full Einstein-Maxwell reconstruction, no spin-sector compatibility, no mode computations.

The soft spot is exactly the one the stress-test identifies. The entire separation rests on Sec. 3.4 identities: J^2 = I, det W = 1, det E = -1, the conjugation relations, the positivity of b0 + Re b12, DJ = [A,J], and the trace evaluations for the C coefficients. These are asserted by "direct substitution" from very long formulas, with no derivation shown and no CAS notebook or certificate shipped. One sign or factor error in any quoted coefficient breaks the transport equation or the separated coupling. I found no contradiction by inspection, and the formulas have the right structure, but with formulas this long "no contradiction by inspection" is weak evidence. The paper acknowledges AI-assisted trial-and-error searching for X; that makes the lack of a verifiable algebraic check more consequential, not less. This is a verification gap, not a smoking-gun error. It is addressable: a short computer algebra file checking Eqs. (3.31)-(3.34), (3.45), (3.48), and (3.55)-(3.58) would raise confidence substantially.

Minor points: the starting system is taken from an unreviewed preprint [14], which is fine as a starting point, but it adds to the need for independent checks. The convergence argument in Sec. 4.3 relies on smoothness of the physical fields and is scoped to real omega; the paper says so. The boundary regularity argument in square-root coordinates is plausible but the corner analysis is compressed.

Who should read it: anyone working on KNdS perturbations, quasinormal modes, or separability of type D spacetimes. It deserves a serious referee, and the referee should be asked to verify the algebraic core, ideally with a CAS check. I would not cite it for a load-bearing claim until the identities are independently checked, but I would bring it to reading group.

Referee report

Significance

If the algebraic identities in Sec. 3.4 hold, this is a substantial result: it establishes exact separation of the coupled radiative systems in a two-horizon, charged, rotating spacetime without expansions in the cosmological constant, rotation, or charge. The separation constant arises as an eigenvalue of the angular system, and the transformation is frequency- and azimuthal-number-independent, so the result is genuinely structural rather than a fitting or approximation artifact. The derivation of explicit horizon boundary conditions for the separated radial systems is a practically important step toward quasinormal-mode and mode-stability analyses, and the angular completeness theorem for real frequencies is a substantive functional-analytic component. The central weakness is that the load-bearing verification consists of algebraic identities asserted by "direct substitution" without derivation or machine-checkable certificate; the paper should be accepted only after that verification is made available or convincingly documented.

Major objections (3)

[Sec. 3.4, Eqs. (3.23)-(3.28), (3.31)-(3.32), (3.34), (3.45), (3.48), (3.53)-(3.58)] The central claims of the paper depend on a set of long algebraic identities that are asserted by "direct substitution" and not derived in the text or verified by any shipped CAS notebook or computer-verifiable certificate. These identities include J^2 = I, det E = -1, JWJ^dagger = W, JEJ^dagger = -E (Eqs. (3.31)-(3.32)), the rank-one factorization (3.34), the positivity b0 + Re b12 > 0 (Eq. (3.45)), the transport identity DJ = [A,J] (Eq. (3.48)), the explicit form of alpha = alpha_r + alpha_theta (Eq. (3.53)), and the trace evaluations (3.55)-(3.58). A single sign, factor-of-2, or missing l^{-2} term in one of these formulas would break the transport equation or the coupling separation and thereby invalidate the main theorem. Because the rest of the paper is built on these assertions, the verification of this block is load-bearing and is not currently available to the reader. I do not claim to have found a contradiction; the issue is that the proof as written is not checkable by a reader from the text alone.
[Sec. 3.4.4 and Sec. 5.2] The boundary-regularity argument in Sec. 3.4.4 states that the functions beta_1, beta_2, N and the entries of J are real analytic in the square-root boundary coordinates with nonzero denominators, and appeals to simple connectedness for the square root of 1/N. This is plausible, but the claimed statement that X and X^{-1} are real analytic at the corners (both a horizon and an angular pole simultaneously) needs a more explicit check: the denominators and the argument of the square root must be controlled uniformly up to the corners, and the expressions for N, J_{12}, and J_{21} contain combinations like z^{-2} and w^{-2} that require care at the pole-horizon corner. The later reflection argument in Sec. 5.2 likewise relies on endpoint and corner regularity of X. A precise verification of the corner regularity would strengthen the proof, although I expect it to follow from the same algebraic identities already assumed.
[Sec. 4.2, Eqs. (4.11)-(4.14)] The compact-resolvent argument constructs the Green's kernel (4.11) and claims square integrability of the kernel from endpoint bounds on the individual solutions. The kernel contains products of unbounded endpoint behaviors of the form theta^{beta+}/(theta')^{beta+} and (pi-theta')^{beta-}/(pi-theta)^{beta-} in the respective triangles; the claimed uniform bounds on these ratios are written for the products, but the argument is compressed. In particular, the borderline case beta = 1/2 is asserted to be harmless for square integrability, but the integrability of such ratios requires a slightly more careful treatment near the diagonal and the corner. I suspect the conclusion is correct, but the estimate as written does not fully justify kernel square integrability in the borderline case.

Minor objections (4)

[Sec. 2.3.3, Eq. (2.38)] The definitions of the operators D_j and D^dagger_j in Eq. (2.38) use the index j both for the operator label and, later in Sec. 4.3, for the angular eigenfunction index. Clarifying the notation would avoid confusion.
[Sec. 3.5, Eq. (3.64)] The comparison X^{-1}_{Hintz} X_0 = exp((f0+ig0) sigma_2) is stated as the result of substitution. A brief indication of the algebraic steps, or a reference to a supplementary file, would help the reader verify the sign and branch choices.
[Sec. 4.1, Eq. (4.7)] The boundary-current argument in Eq. (4.7) is correct in spirit, but the notation for the boundary evaluation of F^dagger sigma_3 G at the poles should be made explicit, since the functions are only square integrable and the boundary terms vanish only after using the square-integrable branch behavior.
[Sec. 6] The paper mentions the anti-de Sitter continuation l^{-2} -> -L^{-2} in the final section; it would be clearer if the domain of validity of the local separation identities under this continuation were stated precisely, in particular the fate of the positivity condition (3.45) and the horizon structure conditions.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

An explicit matrix separates the coupled gravitational and electromagnetic perturbation equations of Kerr–Newman–de Sitter black holes exactly.

The reading

This paper claims that the coupled gravitational and electromagnetic radiative perturbation equations of a subextremal Kerr–Newman–de Sitter black hole can be separated exactly into a two-component radial system and a two-component angular system linked by a common separation constant, despite the coupling between the two fields and the presence of a positive cosmological constant. The separation is carried by an explicit background-dependent $2\times 2$ matrix $X$ that is independent of frequency, azimuthal number, and spin label, and it works for both signs of spin weight without expanding in the cosmological constant, rotation, or charge. If correct, this gives the first exact separated description of the full coupled system on this background, and it supplies the natural starting point for quasinormal-mode and stability calculations that keep the gravitational--electromagnetic coupling. For real frequencies the paper also proves completeness of the angular mode decomposition, and it translates physical future-horizon regularity into radial boundary conditions, so the usual ingoing/outgoing quasinormal-mode conditions apply sector by sector.

What carries the argument

The machinery is the explicit matrix $X = \frac{1}{\sqrt{N}}(\beta,\, -iJ\beta)$ defined in Eq. (3.17) with entries (3.23)--(3.28), built from background quantities: the horizon functions $u=\sqrt{\Delta_r}$, $v = ah\sin\theta$, $z = r+ia\cos\theta$, $w = r-ia\cos\theta$, and positive scalar functions $S_r(r)$, $H_\theta(\theta)$. This $X$ does the work: it must simultaneously satisfy $\det X = 1$, the transport equation $DX = AX + X(\alpha_r+\alpha_\theta)\sigma_2$ that moves the background matrix $A$ into a residual split between $r$ and $\theta$, and the coupling separation (3.4), while remaining analytic at both horizons and the rotation axis. The key structural step is that the residual $(\alpha_r+\alpha_\theta)\sigma_2$ preserves the $\sigma_2$ eigenbasis $e_\pm$, so radial and angular terms decouple once the transformed components are repacked into doublets $F$ and $G$; the angular operator $D^{(\varsigma)}_\theta = ih\sigma_3\partial_\theta - C_1\sigma_1 - C_3\sigma_2 + \alpha_\theta I$ then acts alone on the angular doublet $S$, producing the eigenvalue $\lambda$ shared with the radial system.

Extended reading notes

Core claim

The central discovery is that the chiral first-order system (2.57) for the radiative variables, four Newman--Penrose unknowns per spin weight paired into two-component fields, admits a matrix transformation $X(r,\theta)$ with the exact properties: $\det X = 1$; the transport equation $DX = AX + X(\alpha_r(r)+\alpha_\theta(\theta))\sigma_2$ holds with explicitly given real functions $\alpha_r$, $\alpha_\theta$; and the transformed coupling matrix $C^{(\varsigma)} = -X^{-1}F^{(\varsigma)}(X^{\dagger})^{-1}$ decomposes as $C_0(r)I + C_2(r)\sigma_2 + iC_1(\theta)\sigma_1 + iC_3(\theta)\sigma_3$. Under this transformation the coupled PDEs reduce to the two-component angular system (3.14) and radial system (3.15) sharing a separation constant $\lambda$, for every complex frequency $\omega$ and either spin label $\varsigma$. For real frequencies the angular operator is essentially self-adjoint with compact resolvent, so its eigenfunctions form a complete orthonormal basis and every smooth physical perturbation expands into paired sectors; regularity at the future outer and cosmological horizons becomes the radial conditions (5.22) and (5.24), preserving each separated sector. The construction is purely algebraic, leaves a residual $(\alpha_r+\alpha_\theta)\sigma_2$ that can be absorbed separately into the radial and angular equations, and reduces locally to the Kerr--Newman separation of Ref. [14] as $\Lambda\to 0$.

Load-bearing premise

The separation stands or falls on the algebraic identities asserted by direct substitution in Sec. 3.4 -- $J^2 = I$, $\det W = 1$, $\det E = -1$, the conjugation relations $JWJ^{\dagger} = W$ and $JEJ^{\dagger} = -E$, the positivity $b_0 + \mathrm{Re}\,b_{12} > 0$, and $DJ = [A,J]$ -- which are not derived and involve very long formulas, so a single sign or factor error would break the transport equation or the separated coupling.

Editorial extensions

If this is right

For every complex frequency and either spin label, the coupled radiative systems reduce to the two-component angular system (3.14) and radial system (3.15) linked by a common separation constant $\lambda$.
For real frequencies and integer azimuthal number, the angular operator is essentially self-adjoint with compact resolvent, giving a complete orthonormal eigenbasis in which every smooth physical perturbation expands into paired angular sectors, each governed by an independent radial system.
Regularity at the future black hole outer horizon (ingoing) and the cosmological horizon (outgoing) becomes the radial boundary conditions (5.22) and (5.24), so the standard quasinormal-mode boundary conditions apply within each separated sector without coupling different sectors.
The construction makes no expansion in $\Lambda$, $a$, or $Q$, and its local $\Lambda\to 0$ limit is equivalent to the known Kerr--Newman separation of Ref. [14] up to radial and angular factors, confirming it is a genuine extension rather than a perturbative result.
The same algebraic identities remain valid for Kerr--Newman--anti-de Sitter after $\ell^{-2}\mapsto -L^{-2}$ on patches where $X$ is nonsingular, yielding the same separated angular and radial systems there, as the paper notes.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A practical consequence the paper leaves implicit: Eq. (3.15) together with (5.22) and (5.24) is a concrete two-point spectral problem for quasinormal modes of Kerr--Newman--de Sitter that includes the full gravitational--electromagnetic coupling, since every coefficient is an explicit elementary function of the background.
The existence of a frequency-independent, spin-independent transformation suggests hidden structure, possibly of Killing--Yano type, behind this separability; if such a geometric origin exists, the same construction may transfer to other type-D or Plebanski--Demianski families, which the author names as open territory.
Because the boundary identities hold for complex frequencies while angular completeness is proved only for real ones, a natural numerical test is to compare quasinormal-mode frequencies obtained from the coupled angular--radial systems against existing direct numerical spectra for Kerr--Newman--de Sitter.
The Sec. 3.4 verification is by direct substitution of very long formulas; a computer-algebra check of (3.31)--(3.32), (3.45), and (3.48), or a machine-readable certificate, would turn the construction into a fully verified algebraic proof without changing any physics.

Original abstract

We extend Hintz's separation of variables for radiative gravitational and electromagnetic perturbations from Kerr-Newman to Kerr-Newman-de Sitter black holes. On subextremal backgrounds with nonzero rotation and charge, an explicit algebraic matrix transformation yields coupled two-component radial and angular ordinary differential systems linked by a common separation constant. The transformation is independent of the frequency and azimuthal number and applies to both signs of spin weight. For real frequencies, we establish a complete angular mode decomposition. We also translate regularity at the future black hole outer and cosmological horizons into ingoing and outgoing boundary conditions, respectively, for the separated radial systems. These results show that exact separation of the coupled radiative equations extends beyond asymptotically flat Kerr-Newman spacetime.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-15: 1 request, 4,891 input tokens.

What the abstract itself states, as probabilities: claims first 0.08 · states limitation 0.48 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.91 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We extend Hintz's separation of variables for radiative gravitational and electromagnetic perturbations from Kerr-Newman to Kerr-Newman-de Sitter black holes. On subextremal backgrounds with nonzero rotation and charge, an explicit algebraic matrix transformation yields coupled two-component radial and angular ordinary differential systems linked by a common separation constant. The transformation is independent of the frequency and azimuthal number and applies to both signs of spin weight. For real frequencies, we establish a complete angular mode decomposition. We also translate regularity at the future black hole outer and cosmological horizons into ingoing and outgoing boundary conditions, respectively, for the separated radial systems. These results show that exact separation of the coupled radiative equations extends beyond asymptotically flat Kerr-Newman spacetime.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We extend Hintz's separation of variables for radiative gravitational and electromagnetic perturbations from Kerr-Newman to Kerr-Newman-de Sitter black holes.	contribution 1.00	0.95	0.47	asserted 1.00
s1	On subextremal backgrounds with nonzero rotation and charge, an explicit algebraic matrix transformation yields coupled two-component radial and angular ordinary differential systems linked by a common separation constant.	method 0.64	0.90	0.19	asserted 1.00
s2	The transformation is independent of the frequency and azimuthal number and applies to both signs of spin weight.	result 0.43	0.86	0.07	asserted 1.00
s3	For real frequencies, we establish a complete angular mode decomposition.	result 0.95	0.93	0.12	asserted 1.00
s4	We also translate regularity at the future black hole outer and cosmological horizons into ingoing and outgoing boundary conditions, respectively, for the separated radial systems.	contribution 0.49	0.93	0.08	asserted 1.00
s5	These results show that exact separation of the coupled radiative equations extends beyond asymptotically flat Kerr-Newman spacetime.	interpretation 0.98	0.83	0.87	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.95 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Amplified EFT corrections near exceptional QNMs
hep-th 2026-10 accept novelty 8.0 of 10

EFT corrections to black hole QNM frequencies are amplified near exceptional points, with a square-root splitting that can be computed without solving the full UV theory.
Black-hole ringdown at an exceptional point
gr-qc 2026-11 accept novelty 7.0 of 10

The amplitude of the linear-in-time term at a black hole exceptional point is computed from constrained Einstein-Maxwell initial data, and its tunability is demonstrated.
Quasinormal modes of Kerr--Newman--de Sitter black hole: Linear stability and strong cosmic censorship conjecture
gr-qc 2026-11 conditional novelty 6.0 of 10

In the explored Kerr-Newman-de Sitter slice, photon-sphere gravito-electromagnetic modes set the spectral gap that decides strong cosmic censorship, with charge favoring and rotation disfavoring violation.
Exact algebraic separation of the gravitoelectromagnetic perturbations of Kerr-Newman-(anti-)de Sitter black holes
gr-qc 2026-10 conditional novelty 6.0 of 10

An explicit, mode-independent matrix transformation separates the gravitoelectromagnetic perturbations of Kerr-Newman-(anti-)de Sitter black holes into radial and angular systems valid at all complex frequencies.
Excitation factors and exceptional points of Kerr--Newman quasinormal modes
gr-qc 2026-11 conditional novelty 5.0 of 10

For Kerr-Newman black holes, excitation strengths of gravitational-led modes fall with spin while some electromagnetic-led modes peak at high spin, and 42 mode-coalescence exceptional points form overtone ladders appr...

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.