REVIEW 4 minor 51 references
Soliton methods and the black hole balance problem
T0 review · 0 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Stationary two-black-hole equilibrium in vacuum is impossible; a lone black hole is uniquely Kerr or Kerr-Newman.
desk verdict A competent and honest conference review that synthesizes the soliton-method results on the black hole balance problem; no new theorems, but a useful orientation for non-experts. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the linear matrix problem whose integrability condition is equivalent to the Ernst equations for axisymmetric, stationary electrovacuum spacetimes; the Ernst potentials are complex functions that encode the metric and electromagnetic field. By solving that linear problem along the symmetry axis, the horizons, and infinity, and imposing continuity at the black-hole poles plus matching of the two Riemann-sheet solutions, the paper obtains the rational axis form of the potentials. For $n=2$ vacuum, that rational form uniquely selects the double-Kerr-NUT solution, and the universal horizon inequality $8\pi|J| < A$ then eliminates every candidate.
What would settle it
Scan the double-Kerr-NUT parameter family for a choice where both black-hole horizons obey $8\pi|J| < A$ and the spacetime has no struts, magnetic monopoles, or off-axis singularities; finding such a choice would disprove the central claim.
Extended reading notes
Core claim
The central claim is that stationary multi-black-hole equilibrium configurations, if they exist at all, are extremely constrained: on the symmetry axis the Ernst potentials must take the rational form $E(0,\zeta)=\pi_n(\zeta)/r_n(\zeta)$ and $\Phi(0,\zeta)=\pi_{n-1}(\zeta)/r_n(\zeta)$ with monic complex polynomials. In the two-black-hole vacuum case this forces the solution into the double-Kerr-NUT family, and a check of that family shows that at least one horizon always violates the universal inequality $8\pi|J| < A$. Consequently, no stationary equilibrium configuration of two aligned sub-extremal black holes in vacuum exists. For a single black hole, the same soliton boundary-value problem yields a constructive uniqueness proof of the Kerr solution in vacuum and the Kerr-Newman solution in electrovacuum.
Load-bearing premise
The argument assumes that every stationary, analytic black-hole vacuum or electrovacuum spacetime is automatically axisymmetric; if a stationary multi-black-hole spacetime could exist without that symmetry, the rational axis potentials and the two-hole non-existence conclusion would not follow.
Editorial extensions
If this is right
- The two-black-hole balance problem in vacuum is settled: any candidate would be a double-Kerr-NUT solution, and every such solution has at least one horizon violating $8\pi|J| < A$.
- Any stationary $n$-black-hole solution, in vacuum or electrovacuum, must have rational axis data with polynomial degrees $n$ and $n-1$, so the search space for equilibria is finite-dimensional.
- The boundary-value method gives a constructive uniqueness proof for Kerr and Kerr-Newman, deriving the known families instead of assuming them and comparing.
- The open cases—two charged black holes and three or more black holes—are reduced to deciding whether any member of the rational family satisfies the physical regularity conditions of vanishing NUT parameter, no struts, no magnetic charge, and no off-axis singularities.
Reading between the lines
- The author leaves implicit that the same axis-data integration could be turned into a systematic numerical search in the $n=2$ electrovacuum case: if no parameter choice in the rational family meets all regularity conditions, that would strongly suggest non-existence there as well.
- The rational-form theorem suggests a broader correspondence between stationary multi-black-hole spacetimes and finite-dimensional integrable data, so any future classification in related settings would have to reproduce or bypass this axis rigidity.
- A practical consequence is that the horizon inequality can serve as a cheap first filter in parameter searches for candidate equilibrium configurations, since it can be evaluated from axis data alone.
Formalized claims in Lean
-
Claim #1: The central claim is that stationary multi-black-hole equilibrium configurations, if they exist at all, are extremely constrained: on the symmetry axis the Ernst potentials must take the rational form $E(0,\zeta)=\pi_n(\zeta)/r_n(\zeta)$ and $\Phi(0,\zeta)=\pi_{n-1}(\zeta)/r_n(\zeta)$ with monic complex polynomials. In the two-black-hole vacuum case this forces the solution into the double-Kerr-NU
/-- @claim 1 The central claim is that stationary multi-black-hole equilibrium configurations, if they exist at all, are extremely constrained: on the symmetry axis the Ernst potentials must take the rational form $E(0,\zeta)=\pi_n(\zeta)/r_n(\zeta)$ and $\Phi(0,\zeta)=\pi_{n-1}(\zeta)/r_n(\zeta)$ with monic complex polynomials. In the two-black-hole vacuum case this forces the solution into the double-Kerr-NU -/ def central_claim : Prop :=
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper is a review-style article, based on a KOZWaves 2024 presentation, that uses soliton (inverse-scattering) techniques to study stationary axisymmetric electrovacuum black-hole configurations. After recalling the KdV equation and its linear-matrix-problem formulation, the author introduces the Ernst equations and their associated linear problem, then states that the axis Ernst potentials of any stationary n-black-hole configuration necessarily have the rational form E(0,ζ)=π_n(ζ)/r_n(ζ) and Φ(0,ζ)=π_{n-1}(ζ)/r_n(ζ) with monic polynomials (Eq. (24)). The paper then reviews consequences: for n=1 one recovers Kerr and Kerr-Newman by a constructive boundary-value argument, and for n=2 in vacuum the rational form forces the double-Kerr-NUT family, for which at least one horizon violates the inequality 8π|J|<A, so no stationary two-black-hole configuration exists. The cases n=2 electrovacuum and n≥3 are left open. The presentation is clear, but the key derivations are deferred to earlier publications.
Significance. The mathematical claims made here are not new: the rational-form theorem and the two-body non-existence proof are due to the author and collaborators in the cited papers [21,25,39,40,10]. As a survey, however, the article is valuable: it gives a unified and readable account of how soliton theory enters the black-hole balance problem, states the main structural results precisely, and makes visible the logical chain from the linear problem to the no-go result. The paper's strengths are its clear exposition of the boundary-value formulation and its honest marking of open cases. I found no internal inconsistency or circular reasoning; the heavy reliance on the author's own prior work is a citation-pattern issue rather than a mathematical defect.
minor comments (4)
- [Abstract and §3, Eq. (24)] The paper's central structural result, the rational form of the axis potentials, is stated but not derived here: the text explicitly defers the continuity conditions and the elimination of the matrix B to [21]. Since Eq. (24) is the foundation for the subsequent Kerr uniqueness and two-black-hole no-go results, the wording in the abstract ('we derive') overstates what is contained in this article. For a review article the appropriate fix is to state clearly at the outset that this is a survey and that the quoted theorems are proved in the cited references; I do not regard this as an error in the mathematics, because [21] is a peer-reviewed proof and nothing in the present text contradicts it.
- [§2] The reduction from stationarity to axisymmetry is stated as a consequence of the black-hole rigidity theorem, citing [8]. For rigor, please state the precise hypotheses under which this theorem is being applied (e.g., analyticity assumptions, non-degenerate horizons) and note that the paper's exclusion of extremal black holes is consistent with those hypotheses.
- [§4.3] The claim that 'the first three regularity conditions from Sec. 3' reduce the double-Kerr-NUT parameters is ambiguous; the conditions should be identified explicitly (e.g., vanishing NUT parameter, absence of conical singularities, and vanishing norm of the axial Killing vector) so that the reader does not have to track them across sections.
- [Throughout] There are several minor typographical and formatting issues: 'John Scott Russel' in §1.1 should be 'Russell'; 'spacial' in §1.1 should be 'spatial'; and the inline text contains stray spacing in 'Einstein ’s field equations'. These should be corrected in a final pass.
Circularity Check
No significant circularity: the paper's load-bearing steps are delegated to prior parameter-free mathematical proofs, not to fitted inputs or self-referential definitions.
full rationale
The paper is a review that outsources several key derivations to earlier publications, many by the same author, but this is not circular in the relevant sense. The rational form of the axis potentials, Eq. (24), is introduced as a consequence of integrating the linear problem and imposing continuity conditions, with the detailed calculation cited to the author's own [21]; that prior work is a parameter-free mathematical proof whose assumptions are the boundary value problem, not the target non-existence conclusion. Likewise, the n=2 vacuum result is obtained by citing [25,39,40,10] for the analysis of the double-Kerr-NUT family, and the inequality 8π|J| < A, which is used to rule out the candidate configurations, is an independent universal inequality from [23]. The reduction to axisymmetry is justified by the rigidity theorem cited to Chruściel [8], an external result. At no point does the paper define a quantity in terms of the quantity it claims to predict, fit a parameter to data and then call the fit a prediction, or rely on a self-citation that is itself unverified and equivalent to the conclusion. Heavy self-citation is a completeness and presentation issue for a review article, not evidence of circularity. The central derivation chain is therefore judged to be non-circular.
Assumptions & free parameters
assumptions (4)
- domain assumption Stationarity implies axisymmetry for analytic electrovacuum black hole spacetimes (rigidity theorem).
- domain assumption Event horizons of stationary black holes in four dimensions have spherical topology.
- domain assumption The boundary conditions (16) are complete and correct: a = -1/Ω_k on horizons, a = 0 on axis parts, E → 1 and Φ → 0 at infinity, and f = 0 at poles.
- domain assumption The universal area-angular momentum inequality 8π|J| < A holds for all subextremal axisymmetric stationary black holes.
Cite this review
Pith. "Pith review of Soliton methods and the black hole balance problem." pith.science (2026). https://pith.science/paper/XVJBXN2A
@misc{pith2026250109823,
author = {Pith},
title = {Pith review of: Soliton methods and the black hole balance problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/XVJBXN2A}},
note = {Machine review of arXiv:2501.09823}
}
abstract
This article is an extended version of a presentation given at KOZWaves 2024: The 6th Australasian Conference on Wave Science, held in Dunedin, New Zealand. Soliton methods were initially introduced to study equations such as the Korteweg--de Vries equation, which describes nonlinear water waves. Interestingly, the same methods can also be used to analyse equilibrium configurations in general relativity. An intriguing open problem is whether a relativistic $n$-body system can be in stationary equilibrium. Due to the nonlinear effect of spin-spin repulsion of rotating objects, and possibly considering charged bodies with additional electromagnetic repulsion, the existence of such unusual configurations remains a possibility. An important example is a (hypothetical) equilibrium configuration with $n$ aligned black holes. By studying a linear matrix problem equivalent to the Einstein equations for axisymmetric and stationary (electro-) vacuum spacetimes, we derive the most general form of the boundary data on the symmetry axis in terms of a finite number of parameters. In the simplest case $n=1$, this leads to a constructive uniqueness proof of the Kerr (-Newman) solution. For $n=2$ and vacuum, we obtain non-existence of stationary two-black-hole configurations. For $n=2$ with electrovacuum, and for larger $n$, it remains an open problem whether the well-defined finite solution families contain any physically reasonable solutions, i.e.\ spacetimes without anomalies such as naked singularities, magnetic monopoles, and struts.
Figures
Reference graph
Works this paper leans on
-
[21]
Hennig, J., Axis potentials for stationary n-black-hole configurations , Class. Quantum Grav. 37, 19LT01 (2020)
work page 2020
-
[8]
T., On rigidity of analytic black holes , Commun
Chru´ sciel, P. T., On rigidity of analytic black holes , Commun. Math. Phys. 189, 1 (1997)
work page 1997
-
[1]
The inverse scattering transform-Fourier analysis for nonlinear problems , Stud
Ablowitz, M., Kaup, D., Newell, A., and Segur, H. The inverse scattering transform-Fourier analysis for nonlinear problems , Stud. Appl. Math. 53, 249 (1974)
work page 1974
-
[2]
Ansorg, M. and Hennig, J., Inner Cauchy horizon of axisymmetric and stationary black holes with surrounding matter in Einstein–Maxwell the- ory, Phys. Rev. Lett. 102, 221102 (2009)
work page 2009
-
[3]
V.,Zur Theorie der partiellen Differentialgleichungen er- ster Ordnung, Math
B¨ acklund, A. V.,Zur Theorie der partiellen Differentialgleichungen er- ster Ordnung, Math. Ann. 17, 285 (1880) 18
-
[4]
Beig, R. and Schoen, R. M., On static n-body configurations in relativity, Class. Quantum Grav. 26, 075014 (2009)
work page 2009
-
[5]
Belinski, V. A., L-A pair of a system of coupled equations of the gravi- tational and electromagnetic fields , JETP Lett. 30, 28 (1979)
work page 1979
-
[6]
Boussinesq, J., Essai sur la theorie des eaux courantes , M´ emoires pre´ sent´ es par divers savants ´ a l’Acad. des Sci. Inst. Nat. France, XXIII, footnote p. 360 (1877)
Show all 51 references
-
[7]
L., Proof of the uniqueness conjecture for black holes , PhD Thesis, University of New England (1983)
Bunting, G. L., Proof of the uniqueness conjecture for black holes , PhD Thesis, University of New England (1983)
1983
-
[9]
T., Costa, J
Chru´ sciel, P. T., Costa, J. L., and Heusler, M., Stationary Black Holes: Uniqueness and Beyond , Living Rev. Relativ. 15, 7 (2012)
2012
-
[10]
T., Eckstein, M., Nguyen, L., and Szybka, S
Chru´ sciel, P. T., Eckstein, M., Nguyen, L., and Szybka, S. J., Exis- tence of singularities in two-Kerr black holes , Class. Quantum Grav. 28, 245017 (2011)
2011
-
[11]
T and Wald, R
Chru´ sciel, P. T and Wald, R. M., On the topology of stationary black holes, Class. Quantum Grav. 11, L147 (1994)
1994
-
[12]
L., On the classification of stationary electro-vacuum black holes, Class
Costa, J. L., On the classification of stationary electro-vacuum black holes, Class. Quantum Grav. 27, 035010 (2010)
2010
-
[13]
Dias, ´O. J. C., Gibbons, G. W., Santos, J. E., and Way, B., Static black binaries in de Sitter space , Phys. Rev. Lett. 131, 131401 (2023)
2023
-
[14]
Dias, ´O. J. C., Santos, J. E., and Way, B., Spinning black binaries in de Sitter space, arXiv:2406.10333 (2024)
2024 arXiv
-
[15]
Einstein, A., Die Feldgleichungen der Gravitation , Sitzungsberichte der Preußischen Akademie der Wissenschaften zu Berlin, 844 (1915)
1915
-
[16]
J., New formulation of the axially symmetric gravitational field problem
Ernst, F. J., New formulation of the axially symmetric gravitational field problem. II, Phys. Rev. 168, 1415 (1968) 19
1968
-
[17]
S., Greene, J
Gardner, C. S., Greene, J. M., Kruskal, M. D., and Miura, R. M.,Method for solving the Korteweg-de Vries equation , Phys. Rev. Lett. 19, 1095 (1967)
1967
-
[18]
Griffiths, J. B. and Podolsk´ y, J.,Exact space-times in Einstein ’s general relativity (Cambridge University Press, 2012)
2012
-
[19]
and Ernst, F
Hauser, I. and Ernst, F. J., Proof of a Geroch conjecture, J. Math. Phys. 22, 1051 (1981)
1981
-
[20]
Quantum Grav
Hennig, J., On the balance problem for two rotating and charged black holes, Class. Quantum Grav. 36, 235001 (2019)
2019
-
[22]
and Ansorg, M., The inner Cauchy horizon of axisymmetric and stationary black holes with surrounding matter in Einstein–Maxwell theory: study in terms of soliton methods , Ann
Hennig, J. and Ansorg, M., The inner Cauchy horizon of axisymmetric and stationary black holes with surrounding matter in Einstein–Maxwell theory: study in terms of soliton methods , Ann. Henri Poincar´ e10, 1075 (2009)
2009
-
[23]
Quantum Grav
Hennig, J., Ansorg, M., and Cederbaum, C., A universal inequality be- tween the angular momentum and horizon area for axisymmetric and stationary black holes with surrounding matter , Class. Quantum Grav. 25, 162002 (2008)
2008
-
[24]
Hennig, J., Cederbaum, C., and Ansorg, M., A universal inequality for axisymmetric and stationary black holes with surrounding matter in the Einstein-Maxwell theory , Commun. Math. Phys. 293, 449 (2010)
2010
-
[25]
and Neugebauer, G., Non-existence of stationary two-black- hole configurations, Gen
Hennig, J. and Neugebauer, G., Non-existence of stationary two-black- hole configurations, Gen. Relativ. Grav. 41, 2113 (2009)
2009
-
[26]
and Unger, R., Gravitational collapse to extremal black holes and the third law of black hole thermodynamics, arXiv:2211.15742 (2022)
Kehle., C. and Unger, R., Gravitational collapse to extremal black holes and the third law of black hole thermodynamics, arXiv:2211.15742 (2022)
2022 arXiv
-
[27]
and Unger, R., Extremal black hole formation as a critical phenomenon, arXiv:2402.10190 (2024)
Kehle., C. and Unger, R., Extremal black hole formation as a critical phenomenon, arXiv:2402.10190 (2024)
2024 arXiv
-
[28]
P., Gravitational field of a spinning mass as an example of algebraically special metrics, Phys
Kerr, R. P., Gravitational field of a spinning mass as an example of algebraically special metrics, Phys. Rev. Lett. 11, 237 (1963) 20
1963
-
[29]
Korteweg, D. J. and de Vries, G. XLI. On the change of form of long waves advancing in a rectangular canal, and on a new type of long sta- tionary waves, The London, Edinburgh, and Dublin Philosophical Mag- azine and Journal of Science 39, 422 (1895)
-
[30]
and Neugebauer, G., The superposition of two Kerr solu- tions, Phys
Kramer, D. and Neugebauer, G., The superposition of two Kerr solu- tions, Phys. Lett. A 75, 259 (1980)
1980
-
[31]
Pure Appl
Lax, P., Integrals of nonlinear equations of evolution and solitary waves , Commun. Pure Appl. Math., 21, 467 (1968)
1968
-
[32]
D., A class of exact solutions of Einstein ’s field equations, Phys
Majumdar, S. D., A class of exact solutions of Einstein ’s field equations, Phys. Rev. 72, 390 (1947)
1947
-
[33]
S., Ruiz, E., and Sanabria-G´ omez, J
Manko, V. S., Ruiz, E., and Sanabria-G´ omez, J. D., Extended multi- soliton solutions of the Einstein field equations: II. Two comments on the existence of equilibrium states , Class. Quantum Grav. 17, 3881 (2000)
2000
-
[34]
Manko, V. S. and Ruiz, E., Exact solution of the double-Kerr equilibrium problem, Class. Quantum Grav. 18, L11 (2001)
2001
-
[35]
Manko, V. S. and Sibgatullin, N. R., Construction of exact solutions of the Einstein–Maxwell equations corresponding to a given behaviour of the Ernst potentials on the symmetry axis , Class. Quantum Grav. 19, 1383 (1993)
1993
-
[36]
O., Proof of uniqueness of the Kerr-Newman black hole solu- tion, J
Mazur, P. O., Proof of uniqueness of the Kerr-Newman black hole solu- tion, J. Phys. A: Math. Gen. 15, 3173 (1982)
1982
-
[37]
Quantum Grav
Meinel, R., Constructive proof of the Kerr-Newman black hole unique- ness, Class. Quantum Grav. 29, 035004 (2012)
2012
-
[38]
Neugebauer, G., Rotating bodies as boundary value problems, Ann. Phys. 9, 342 (2000)
2000
-
[39]
and Hennig, J., Stationary two-black-hole configura- tions: A non-existence proof , J
Neugebauer, G. and Hennig, J., Stationary two-black-hole configura- tions: A non-existence proof , J. Geom. Phys. 62, 613 (2012)
2012
-
[40]
Neugebauer, G. and Hennig, J., Stationary black-hole binaries: A non- existence proof, in General Relativity, Cosmology and Astrophysics — 21 Perspectives 100 years after Einstein’s stay in Prague, Fundamental The- ories of Physics 177 (Springer, 2014)
2014
-
[41]
and Kramer, D., Einstein-Maxwell solitons , J
Neugebauer, G. and Kramer, D., Einstein-Maxwell solitons , J. Phys. A: Math. Gen. 16, 1927 (1983)
1983
-
[42]
and Meinel, R., Progress in relativistic gravitational theory using the inverse scattering method , J
Neugebauer, G. and Meinel, R., Progress in relativistic gravitational theory using the inverse scattering method , J. Math. Phys. 44, 3407 (2003)
2003
-
[43]
T., Couch, E., Chinnapared, K., Exton, A., Prakash, A., Torrence, R., Metric of a rotating, charged mass , J
Newman, E. T., Couch, E., Chinnapared, K., Exton, A., Prakash, A., Torrence, R., Metric of a rotating, charged mass , J. Math. Phys. 6, 918 (1965)
1965
-
[44]
T., Tamburino, L., and Unti, T., Empty-Space Generaliza- tion of the Schwarzschild Metric , J
Newman, E. T., Tamburino, L., and Unti, T., Empty-Space Generaliza- tion of the Schwarzschild Metric , J. Math. Phys. 4 (1963)
1963
-
[45]
Papapetrou, A., A static solution of the equations of the gravitational field for an arbitrary charge distribution , Proc. Roy. Irish Acad. 51, 191 (1947)
1947
-
[46]
S., Report on waves, Report of the 14th Meeting of the British Association for the Advancement of Science, pp
Russell, J. S., Report on waves, Report of the 14th Meeting of the British Association for the Advancement of Science, pp. 311-390 (1845)
-
[47]
R., Oscillations and waves (Springer 1984)
Sibgatullin, N. R., Oscillations and waves (Springer 1984)
1984
-
[48]
S., Disc-accretion onto a black hole
Thorne, K. S., Disc-accretion onto a black hole. II. Evolution of the hole , ApJ 191, 507 (1974)
1974
-
[49]
Yamazaki, M., Stationary line of N Kerr masses kept apart by gravita- tional spin-spin interaction , Phys. Rev. Lett. 50, 1027 (1983)
1983
-
[50]
Zakharov, V. E. and Shabat, A. B., A scheme for integrating the non- linear equations of mathematical physics by the method of the inverse scattering problem. I , Funct. Anal. Appl. 8, 226 (1974)
1974
-
[51]
Zakharov, V. E. and Shabat, A. B., Integration of nonlinear equations of mathematical physics by the method of inverse scattering. II , Funct. Anal. Appl. 13, 166 (1979) 22
1979
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.