arxiv: 2605.14078 · v1 · submitted 2026-05-13 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

Properties of natural polynomials for Schwarzschild and Kerr black holes

Michelle Foucoin , Lionel London

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:51 UTC · model grok-4.3

classification 🌀 gr-qc

keywords quasinormal modesblack holesPollaczek-Jacobi polynomialsTeukolsky radial equationSchwarzschild metricKerr metricorthogonal polynomialsrecurrence relations

0 comments

The pith

Natural polynomials for black hole quasinormal modes are Pollaczek-Jacobi polynomials with complex parameters

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines polynomials that are natural to the quasi-normal modes of black holes because they obey the required boundary conditions and turn Teukolsky's radial equation into a tridiagonal form. It proves that these polynomials for the Schwarzschild and Kerr cases belong to the Pollaczek-Jacobi class but with complex parameters. This link makes available the tools of classical polynomial theory for investigating the orthogonality and completeness of the mode solutions. A reader should care because it provides a mathematical foundation that could refine gravitational wave models and data analysis for black hole mergers.

Core claim

The natural polynomials for Schwarzschild and Kerr black holes are Pollaczek-Jacobi polynomials with complex valued parameters. These polynomials have a three-term recurrence relation, ladder operators, and a governing differential equation. In the Schwarzschild case the recurrence always peaks at the physical overtone index.

What carries the argument

The natural polynomials defined by quasi-normal mode boundary conditions and exact tridiagonalization of Teukolsky's radial equation, which the paper shows coincide with Pollaczek-Jacobi polynomials at complex parameters

If this is right

The polynomials enable better study of vector space properties of quasi-normal mode solutions.
Analytic properties like recurrence relations and ladder operators become accessible for these modes.
The framework supports extension to other black hole spacetimes.
For Schwarzschild, the recurrence peaks at the physical overtone, revealing a structural feature.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Techniques from orthogonal polynomials could be applied to derive new relations among quasinormal mode frequencies.
This may improve numerical algorithms for solving black hole perturbation problems.
The complex parameters open the door to studying similar polynomials in other wave equations with complex boundaries.

Load-bearing premise

The polynomials must be exactly those restricted by the quasi-normal mode boundary conditions and that exactly tridiagonalize Teukolsky's radial equation.

What would settle it

Computing the recurrence coefficients for the natural polynomials and finding they do not match the known formula for Pollaczek-Jacobi polynomials with the appropriate complex parameters would disprove the identification.

Figures

Figures reproduced from arXiv: 2605.14078 by Lionel London, Michelle Foucoin.

**Figure 2.** Figure 2: FIG. 2. Component matrices which show the scalar product calculations resulting in (a) orthogonality, (b) a three-term [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3. The normalized three-term recurrence peaks (corresponding to the diagonal entries of the Gramian of Eq. ( [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗

**Figure 4.** Figure 4: FIG. 4. Normalized peaks of the three-term recurrence relation are plotted for a sequence of overtones [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗

**Figure 5.** Figure 5: FIG. 5. Example distributions of absolute, normalized monomial moments are plotted against monomial order [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗

read the original abstract

The quasi-normal modes of black holes play various important roles in gravitational wave theory, signal modeling, and data analysis; however, there remain open questions about their mathematical properties. Aspects of classical polynomial theory have been proposed as a framework to investigate quasinormal mode orthogonality and completeness. We have recently presented a class of polynomials that are "natural" to quasi-normal modes in that they are restricted by the quasi-normal mode boundary conditions, and exactly tridiagonalize Teukolsky's radial equation. In turn, these polynomials may be useful for better understanding the vector space properties of quasi-normal mode solutions to that equation. Here, we provide an overview of these polynomials' analytic properties: their 3-term recurrence relation, ladder operators and governing differential equation. We demonstrate that the natural polynomials for Schwarzschild and Kerr black holes are Pollaczek-Jacobi polynomials with complex valued parameters. Along the way, we observe a novel property that is particular to Schwarzschild: the polynomials' 3-term recurrence relation always peaks at the physical overtone index. This work supports the broader application of these polynomials, as well as their extension to black hole spacetimes beyond Schwarzschild and Kerr.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper identifies the natural QNM polynomials as Pollaczek-Jacobi with complex parameters and notes a Schwarzschild-specific recurrence peak.

read the letter

The main thing to know is that the natural polynomials for Schwarzschild and Kerr quasinormal modes are identified as Pollaczek-Jacobi polynomials with complex parameters, and there's a novel peaking in the recurrence for the Schwarzschild case. The paper lays out the recurrence relation, ladder operators, and differential equation for these polynomials and shows they match the Pollaczek-Jacobi family at specific complex values. This comes from imposing the QNM boundary conditions that make the Teukolsky operator tridiagonal. The peaking property, where the recurrence coefficients peak at the physical overtone index, is particular to Schwarzschild and seems like a fresh observation. It does well by sticking to concrete analytic properties and providing an overview that ties back to the Teukolsky equation without unnecessary fluff. The identification looks derived properly rather than fitted. A soft spot is that the Kerr case involves more parameters, and while the abstract claims it works, the paper should include enough explicit checks or examples to make the complex parameter values convincing. The strength of the claim rests on how carefully the coefficient matching is done in the full text. If that's solid, the rest follows. This paper is aimed at people studying the mathematical properties of black hole quasinormal modes, particularly those interested in orthogonality, completeness, and building better expansions for gravitational wave signals. It could be useful for data analysis folks who need a firmer basis for mode sums. I would recommend sending it for peer review. The work is focused and the core result is specific enough to benefit from referee feedback on the details.

Referee Report

0 major / 2 minor

Summary. The manuscript introduces 'natural polynomials' for Schwarzschild and Kerr black holes, defined by the requirements that they satisfy quasi-normal mode boundary conditions and exactly tridiagonalize Teukolsky's radial equation. It derives their three-term recurrence relation, ladder operators, and governing differential equation, then demonstrates that these polynomials are identical to Pollaczek-Jacobi polynomials with specific complex-valued parameters. For the Schwarzschild case, it additionally reports that the recurrence coefficients peak at the physical overtone index.

Significance. If the central identification is correct, the work supplies an explicit bridge between black-hole perturbation theory and classical orthogonal-polynomial theory. This link could furnish new tools for establishing orthogonality and completeness relations among quasi-normal-mode solutions, with potential downstream utility in gravitational-wave modeling and data analysis. The provision of closed-form recurrence, ladder, and differential-equation structures, together with the Schwarzschild-specific peak observation, strengthens the case for treating these polynomials as a practical basis for the Teukolsky radial operator.

minor comments (2)

The explicit values of the complex parameters that map the natural polynomials onto the Pollaczek-Jacobi family are stated in the text but would be more accessible if collected in a short table (e.g., for the first few overtones of Schwarzschild and for representative Kerr spins).
A brief side-by-side numerical check of the first few recurrence coefficients obtained from the Teukolsky tridiagonalization versus those predicted by the Pollaczek-Jacobi formula would strengthen the identification claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our work and for recommending minor revision. No specific major comments were raised in the report, so we have no point-by-point responses to provide. We will incorporate any minor editorial changes requested by the editor in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper starts from the Teukolsky radial equation subject to QNM boundary conditions and the requirement of exact tridiagonalization. From these defining properties it derives the three-term recurrence coefficients, ladder operators, and governing differential equation. The identification of these polynomials as Pollaczek-Jacobi polynomials with complex parameters is performed by direct algebraic comparison of the derived recurrence coefficients against the known closed-form coefficients of the Pollaczek-Jacobi family. This is a classification step, not a redefinition or a statistical fit. The citation to the authors' prior work is used only to recall the definition of the natural polynomials; the analytic properties and the Pollaczek-Jacobi match are obtained independently in the present manuscript. No step reduces the claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the prior definition of natural polynomials and standard assumptions from black hole perturbation theory.

axioms (2)

domain assumption Quasi-normal modes satisfy specific boundary conditions at the horizon and infinity.
Standard assumption in black hole perturbation theory for QNMs.
domain assumption Teukolsky's radial equation describes the perturbations of black holes.
Core equation in the field of black hole perturbations.

pith-pipeline@v0.9.0 · 5502 in / 1350 out tokens · 63031 ms · 2026-05-15T01:51:55.080283+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We demonstrate that the natural polynomials for Schwarzschild and Kerr black holes are Pollaczek-Jacobi polynomials with complex valued parameters... exactly tridiagonalize Teukolsky's radial equation
IndisputableMonolith/Foundation/DimensionForcing.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the polynomials' 3-term recurrence relation always peaks at the physical overtone index

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

56 extracted references · 56 canonical work pages · 20 internal anchors

[1]

R. P. Kerr, Phys. Rev. Lett.11, 237 (1963)

work page 1963
[2]

B. P. Abbottet al.(Virgo, LIGO Scientific), Phys. Rev. Lett.116, 221101 (2016), arXiv:1602.03841 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[3]

B. P. Abbottet al.(LIGO Scientific, Virgo), Phys. Rev. D100, 104036 (2019), arXiv:1903.04467 [gr-qc]

work page internal anchor Pith review arXiv 2019
[4]

Tests of General Relativity with Binary Black Holes from the second LIGO-Virgo Gravitational-Wave Transient Catalog

R. Abbottet al.(LIGO Scientific, Virgo), Phys. Rev. D 103, 122002 (2021), arXiv:2010.14529 [gr-qc]

work page internal anchor Pith review arXiv 2021
[5]

Tests of General Relativity with GWTC-3

R. Abbottet al.(LIGO Scientific, VIRGO, KAGRA), (2021), arXiv:2112.06861 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2021
[6]

Modeling Ringdown: Beyond the Fundamental Quasi-Normal Modes

L. London, D. Shoemaker, and J. Healy, Phys. Rev. D90, 124032 (2014), arXiv:1404.3197 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2014
[7]

A. G. Abacet al.(LIGO Scientific, Virgo, KAGRA), Phys. Rev. Lett.136, 041403 (2026), arXiv:2509.08099 [gr-qc]

work page arXiv 2026
[8]

A. G. Abacet al.(LIGO Scientific, VIRGO, KAGRA), (2025), arXiv:2508.18082 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2025
[9]

Guptaet al., (2024), 10.21468/SciPostPhysComm- Rep.5, arXiv:2405.02197 [gr-qc]

A. Guptaet al., (2024), 10.21468/SciPostPhysComm- Rep.5, arXiv:2405.02197 [gr-qc]

work page doi:10.21468/scipostphyscomm- 2024
[10]

Empirical tests of the black hole no-hair conjecture using gravitational-wave observations

G. Carulloet al., Phys. Rev. D98, 104020 (2018), arXiv:1805.04760 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[11]

Observational Black Hole Spectroscopy: A time-domain multimode analysis of GW150914

G. Carullo, W. Del Pozzo, and J. Veitch, Phys. Rev. D 99, 123029 (2019), [Erratum: Phys.Rev.D 100, 089903 (2019)], arXiv:1902.07527 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[12]

Cotesta, G

R. Cotesta, G. Carullo, E. Berti, and V. Cardoso, Phys. Rev. Lett.129, 111102 (2022), arXiv:2201.00822 [gr-qc]

work page arXiv 2022
[13]

Giesler, M

M. Giesler, M. Isi, M. A. Scheel, and S. Teukolsky, Phys. Rev. X9, 041060 (2019), arXiv:1903.08284 [gr-qc]

work page arXiv 2019
[14]

M. Isi, M. Giesler, W. M. Farr, M. A. Scheel, and S. A. Teukolsky, Phys. Rev. Lett.123, 111102 (2019), arXiv:1905.00869 [gr-qc]

work page arXiv 2019
[15]

First higher-multipole model of gravitational waves from spinning and coalescing black-hole binaries

L. London, S. Khan, E. Fauchon-Jones, C. Garc ´(i)a, M. Hannam, S. Husa, X. Jim´ enez-Forteza, C. Kalaghatgi, F. Ohme, and F. Pannarale, Phys. Rev. Lett.120, 161102 (2018), arXiv:1708.00404 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[16]

Maga˜ na Zertucheet al., (2021), arXiv:2110.15922 [gr- qc]

L. Maga˜ na Zertucheet al., (2021), arXiv:2110.15922 [gr- qc]

work page arXiv 2021
[17]

X. J. Forteza and P. Mourier, Phys. Rev. D104, 124072 (2021), arXiv:2107.11829 [gr-qc]

work page arXiv 2021
[18]

Giesleret al., Phys

M. Giesleret al., Phys. Rev. D111, 084041 (2025), arXiv:2411.11269 [gr-qc]

work page arXiv 2025
[19]

On gravitational-wave spectroscopy of massive black holes with the space interferometer LISA

E. Berti, V. Cardoso, and C. M. Will, Phys. Rev.D73, 064030 (2006), arXiv:gr-qc/0512160 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2006
[20]

Spectroscopy of Kerr black holes with Earth- and space-based interferometers

E. Berti, A. Sesana, E. Barausse, V. Cardoso, and K. Belczynski, Phys. Rev. Lett.117, 101102 (2016), arXiv:1605.09286 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[21]

Black hole spectroscopy: from theory to experiment

J. Abediet al., (2025), arXiv:2505.23895 [gr-qc]. 12

work page internal anchor Pith review Pith/arXiv arXiv 2025
[22]

S. Khan, S. Husa, M. Hannam, F. Ohme, M. P¨ urrer, X. Jim´ enez Forteza, and A. Boh´ e, Phys. Rev.D93, 044007 (2016), arXiv:1508.07253 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[23]

S. Husa, S. Khan, M. Hannam, M. P¨ urrer, F. Ohme, X. Jim´ enez Forteza, and A. Boh´ e, Phys. Rev.D93, 044006 (2016), arXiv:1508.07250 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[24]

Estell´ es, A

H. Estell´ es, A. Ramos-Buades, S. Husa, C. Garc ´(i)a- Quir´ os, M. Colleoni, L. Haegel, and R. Jaume, (2020), arXiv:2004.08302 [gr-qc]

work page arXiv 2020
[25]

S. Ma, L. Sun, and Y. Chen, Phys. Rev. D107, 084010 (2023), arXiv:2301.06639 [gr-qc]

work page arXiv 2023
[26]

Bilinear products and the orthogonality of quasinormal modes on hyperboloidal foliations

M. Minucci, R. Panosso Macedo, C. Pantelidou, and L. Sberna, (2026), arXiv:2604.13182 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[27]

Science with the space-based interferometer eLISA. I: Supermassive black hole binaries

A. Kleinet al., Phys. Rev. D93, 024003 (2016), arXiv:1511.05581 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[28]

The construction and use of LISA sensitivity curves

T. Robson, N. J. Cornish, and C. Liu, Class. Quant. Grav.36, 105011 (2019), arXiv:1803.01944 [astro- ph.HE]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[29]

K. G. Arunet al.(LISA), Living Rev. Rel.25, 4 (2022), arXiv:2205.01597 [gr-qc]

work page arXiv 2022
[30]

Scientific Objectives of Einstein Telescope

B. Sathyaprakashet al.,Gravitational waves. Numeri- cal relativity - data analysis. Proceedings, 9th Edoardo Amaldi Conference, Amaldi 9, and meeting, NRDA 2011, Cardiff, UK, July 10-15, 2011, Class. Quant. Grav.29, 124013 (2012), [Erratum: Class. Quant. Grav.30,079501(2013)], arXiv:1206.0331 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[31]

L. T. London, Phys. Rev. D113, 044008 (2026), arXiv:2312.17678 [gr-qc]

work page arXiv 2026
[32]

London and M

L. London and M. Foucoin, Phys. Rev. D113, 044009 (2026)

work page 2026
[33]

Chen and D

Y. Chen and D. Dai, Journal of Approximation Theory 162, 2149 (2010)

work page 2010
[34]

Y. Chen, G. Filipuk, and L. Zhan, Journal of Mathe- matical Physics60(2019), 10.1063/1.5102102

work page doi:10.1063/1.5102102 2019
[35]

Min and Y

C. Min and Y. Chen, (2021), arXiv:2104.07942v1 [gr-qc]

work page arXiv 2021
[36]

Min and Y

C. Min and Y. Chen, Mathematical Methods in the Ap- plied Sciences46, 15270–15284 (2023)

work page 2023
[37]

Chihara,An Introduction to Orthogonal Polynomials, Dover Books on Mathematics (Dover Publications, 2011)

T. Chihara,An Introduction to Orthogonal Polynomials, Dover Books on Mathematics (Dover Publications, 2011)

work page 2011
[38]

G. B. Arfken, H. J. Weber, and F. E. Harris, inMathe- matical Methods for Physicists (Seventh Edition), edited by G. B. Arfken, H. J. Weber, and F. E. Harris (Aca- demic Press, Boston, 2013) seventh edition ed., pp. 401– 445

work page 2013
[39]

Van Assche,Orthogonal Polynomials and Painlev´ e Equations(Cambridge University Press, 2017)

W. Van Assche,Orthogonal Polynomials and Painlev´ e Equations(Cambridge University Press, 2017)

work page 2017
[40]

NIST Digital Library of Mathematical Func- tions,

DLMF, “NIST Digital Library of Mathematical Func- tions,”https://dlmf.nist.gov/, Release 1.1.10 of 2023- 06-15, f. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

work page 2023
[41]

C. W. Misner, K. S. Thorne, and J. A. Wheeler,San Francisco: W.H. Freeman and Co., 1973, edited by Mis- ner, C. W., Thorne, K. S., & Wheeler, J. A. (1973)

work page 1973
[42]

Newman and R

E. Newman and R. Penrose, Journal of Mathematical Physics3, 566 (1962)

work page 1962
[43]

M. Ruiz, R. Takahashi, M. Alcubierre, and D. Nunez, Gen. Rel. Grav.40, 2467 (2008), arXiv:0707.4654 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[44]

S. A. Teukolsky, Astrophys. J.185, 635 (1973)

work page 1973
[45]

S. A. Hughes, Phys. Rev. D62, 044029 (2000), [Erratum: Phys.Rev.D 67, 089902 (2003)], arXiv:gr-qc/0002043

work page internal anchor Pith review Pith/arXiv arXiv 2000
[46]

Y. Mino, M. Sasaki, M. Shibata, H. Tagoshi, and T. Tanaka, Progress of Theoretical Physics Supplement 128, 1 (1997), http://oup.prod.sis.lan/ptps/article- pdf/doi/10.1143/PTPS.128.1/5438984/128-1.pdf

work page doi:10.1143/ptps.128.1/5438984/128-1.pdf 1997
[47]

W. H. Press, Astrophys. J. Lett.170, L105 (1971)

work page 1971
[48]

E. D. Fackerell and R. G. Crossman, Jour- nal of Mathematical Physics18, 1849 (2008), https://pubs.aip.org/aip/jmp/article- pdf/18/9/1849/11184786/1849 1 online.pdf

work page 2008
[49]

L. T. London, Phys. Rev. D107, 044056 (2023), arXiv:2006.11449 [gr-qc]

work page arXiv 2023
[50]

London and S

L. London and S. A. Hughes, (2022), arXiv:2206.15246 [gr-qc]

work page arXiv 2022
[51]

Minucci and R

M. Minucci and R. Panosso Macedo, Gen. Rel. Grav.57, 33 (2025), arXiv:2411.19740 [gr-qc]

work page arXiv 2025
[52]

Harvey, The Mathematical Gazette39, 719–722 (1955)

R. Harvey, The Mathematical Gazette39, 719–722 (1955)

work page 1955
[53]

Leaver, Proc

E. Leaver, Proc. Roy. Soc. Lond. AA402, 285 (1985)

work page 1985
[54]

llon- don6/positive: map,

L. London, E. Fauchon, and E. Hamilton, “llon- don6/positive: map,” (2020)

work page 2020
[55]

Abramowitz and I

M. Abramowitz and I. A. Stegun,Handbook of Mathe- matical Functions with Formulas, Graphs, and Mathe- matical Tables, ninth dover printing, tenth gpo printing ed. (Dover, New York, 1964)

work page 1964
[56]

Besson and J

J. Besson and J. L. Jaramillo, arXiv , 2412.02793 (2025)

work page arXiv 2025