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.
Harmonic static multicenter electrovac model
Conditional source-free classical Einstein–Maxwell model on the smooth exterior of finitely many removed centers, with a common electric sign and positive selected SI mass parameters. Fluxes are through regular spheres. No source is asserted at an excluded center; no horizon extension, completeness, stability, black-hole realization, observation, or empirical validity is claimed.
Statement
Let be finite, let be distinct length-coordinate points, choose SI mass parameters , and fix one sign . Set The positive length parameters make dimensionless and smooth positive harmonic on . The future unit field is , with . Here static means the metric coefficients are independent of , have no terms, and are invariant under ; the displayed metric has all three properties. On , with and the orientation of Positive harmonic conformastatic electrovac data, take where as in SI and geometric solution parameter identifications. Under the adopted equation-based model of Equation-based Einstein–Maxwell model with , , and , these data satisfy the source-free SI equations For each and , define the coordinate sphere and its closed ball by
Orient by its outward unit normal relative to the standard orientation of . For every such sphere , fix any and use , , with the transported outward orientation. Every flux written over below means the integral of the spacetime form pulled back by ; by Finite positive multicenter MP exterior and fluxes these values are independent of . Whenever contains no other center, the geometric fluxes are The corresponding SI electric-flux parameter is and its magnetic flux is zero. Define the outward-oriented origin-centered sphere by , where the orientation is induced by the outward unit normal relative to the standard orientation of . For , it has the sum of these electric fluxes. These are model parameters and regular-sphere fluxes, not measurements or evidence of regular material sources at the removed points.
Facts & Assumptions
Given: A finite nonempty set of distinct centers, positive SI masses, one common sign , positive SI constants, and the smooth source-free branch of the adopted equation-based postulate.
Positive harmonic conformastatic electrovac data: for smooth positive harmonic , the metric is , with and .
Finite positive multicenter MP exterior and fluxes: for finitely many distinct centers and positive lengths , is positive harmonic on the punctured exterior; its geometric sphere fluxes are locally and outside all centers, with . This proposition is draft with a complete current proof and Step 1 authoring-ready record; this consumer uses its statement conditionally, not as independent proof approval.
Full harmonic Majumdar-Papapetrou Einstein-Maxwell verification: the harmonic data satisfy and . This draft theorem has a complete current proof and Step 1 authoring-ready record; its result is consumed conditionally, without claiming independent approval.
Geometric electrovac data solve the selected SI equations: every such geometric electrovac datum, after , satisfies the zero-source SI equation-based Einstein–Maxwell model. This local theorem is draft with its complete proof authored; it is used conditionally and has no independent approval.
SI and geometric solution parameter identifications: , , , and .
Equation-based Einstein–Maxwell model: the adopted field equations use and ; this item sets all three sources to zero.
The Axiom of Countable Choice (): the geometric flux convention inherits only ; the finite center family and its finite flux sums require no stronger choice principle.
Proof
Given: The hypotheses and exact current interfaces in [F1]–[F6] and [A1]; in particular , for , , and .
Since , each is a positive length. The Statement defines and its closed ball, with outward Euclidean orientation; if that ball contains no other center, then and the regular-sphere hypothesis of [F2] holds. The formula for is exactly the finite harmonic family in [F2], so it is smooth, positive, and Euclidean harmonic on , with the regular-sphere and outer-sphere geometric fluxes stated there.
The data in step 1.1 therefore meet [F1] and the full geometric field equations in [F3]. Apply the SI conversion theorem [F4] with the same constant from [F5]. The resulting smooth SI two-form satisfies the source-free Maxwell and Einstein equations after the specialization of [F6]. This is a deduction within the adopted model.
Use the smooth embedding and its pullback convention from [F2] on each isolated sphere; its image is a compact oriented sphere in . The time-independent flux calculation in [F2] gives and . The SI flux relation in [F5] rearranges to . Substituting and gives . Since and , the SI magnetic flux vanishes.
For the origin-centred sphere with , [F2] gives and . The same linear flux conversion in [F5] gives the sum of the individual SI electric-flux parameters; the finite sum makes no selection or limiting argument under [A1]. The centers remain outside , so this calculation asserts no equation or regularity at any .
Depends on
Geometric electrovac data solve the selected SI equations
Equation-based Einstein–Maxwell model
Positive harmonic conformastatic electrovac data
Full harmonic Majumdar-Papapetrou Einstein-Maxwell verification
Finite positive multicenter MP exterior and fluxes
SI and geometric solution parameter identifications
The Axiom of Countable Choice ()