PostulateStatement: AI-adaptedProof: Not applicable

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Physical motivation against stationary multiple black holes

PDF p. 5: §1.3, second paragraph

Postulate

In the stationary vacuum model, restrict this motivation to smooth four-dimensional spacetimes with a selected asymptotically flat end and $I^{+}$ -regularity in the comparison-data convention. Stationarity means that the specified Killing field $T$ is future timelike sufficiently far out on that end. For its flow-saturated exterior $M_{e x t}$ and domain of outer communications $D$ , count components of the specific future horizon portion $E^{+} = \partial_{M} D \cap I_{M}^{+} (M_{e x t})$ . Here multiple black holes means that this end-relative portion has several connected components.

As qualitative physical intuition, gravitational interaction between black holes is expected to be attractive. This motivates the expectation against regular stationary multiple-black-hole configurations, described in the article as a longstanding conjecture. In this item the expectation has the vacuum and regularity scope just specified; it is not an unrestricted assertion for arbitrary matter models.

Attraction alone does not decide balance: spin-spin or electrostatic repulsion may oppose it. In particular, static equilibria of several extremal charged black holes are known in Einstein-Maxwell theory, outside the vacuum scope here. This postulate records motivation, not a force law, observation, proof of nonexistence or premise establishing the conjecture. No analyticity or nondegeneracy restriction is imposed on the motivation.

Postulate references

Staticity, axisymmetry and black-hole regularity hypotheses

Stationary vacuum model and asymptotic normalization

Facts & Assumptions

[F1]

The comparison-data definition supplies stationarity relative to the selected asymptotically flat end, $M_{e x t}$ , $D$ , $E^{+}$ and $I^{+}$ -regularity. Its regularity conditions are imposed formulation data, not consequences of attraction. Staticity, axisymmetry and black-hole regularity hypotheses

[F2]

The stationary vacuum model supplies the adopted vacuum equation $Ric (g) = 0$ and stationary-field conventions. It fixes the context of the expectation and does not derive it. Stationary vacuum model and asymptotic normalization

[F3]

Hennig's independently consulted introduction supplies the qualitative balance motivation and the charged-equilibrium caveat. Neither is used to deduce a general vacuum nonexistence result.

Source notes

The studied article is cited solely to attribute its intuitive attraction claim and conjectural motivation. Its later analytic-vacuum discussion is separate and is not used to establish the expectation.

Hennig's technical scope is aligned axisymmetric configurations, with a focus on subextremal holes. The introductory motivation is used qualitatively here; no extension of a restricted theorem to arbitrary smooth vacuum configurations is claimed.

Depends on

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.

External dependencies

Jörg Hennig, The balance problem for n aligned black holes (arXiv:2604.12134v1) · PDF p. 1, abstract and section 1 Introduction, especially the opening paragraph and the paragraph beginning "We investigate this problem".

Gravitational attraction motivates the black-hole balance problem; spin-spin and electrostatic repulsion may oppose it. The Majumdar-Papapetrou solutions provide static equilibria of several extremal charged black holes.

Hypotheses: The introductory discussion is qualitative. The technical balance problem treated in the paper concerns aligned, axisymmetric, asymptotically flat configurations with zero cosmological constant and focuses on subextremal holes. The charged equilibrium example is explicitly extremal. No general vacuum nonexistence theorem is imported.

Reading limits: Independently read the abstract and section 1 in the web HTML and PDF text. Only the motivation, balancing caveat and reported charged example are used; no metric construction, horizon extension, later proof or current general existence-status claim was verified.

Sources

Jörg Hennig, The balance problem for n aligned black holes (arXiv:2604.12134v1) · PDF p. 1, abstract and section 1 Introduction, especially the opening paragraph and the paragraph beginning "We investigate this problem".
The uniqueness of smooth stationary black holes · PDF p. 5, §1.3, second paragraph