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.
Pole-dipole and closed multipole test-body models
Adopted neutral pole-dipole and explicitly closed multipole test-body truncations on a prescribed smooth Lorentzian background. They exclude self-gravity, self-force, arbitrary stress-integral derivation, and any unqualified error or convergence theorem.
Postulate
Assume Countable Choice as inherited from Body moments and transport convention. For a neutral test body, let be an open interval of proper-time values and let be a future timelike curve, with . Let and be the momentum and spin moments of Body moments and transport convention. For a vector or rank-two tensor field along , define using the pullback of the metric-selected connection. In a chart, with the coefficients of , this is
Adopt the pole-dipole evolution equations A spin-supplementary condition (SSC) is an additional equation for a specified future unit timelike field along ; this postulate does not select one SSC, and is an independently evolved moment rather than a primitive assumption .
For a chosen finite multipole model, let be the declared tensor bundles of its additional moments. Its state bundle is the fiber product over of for , for , for , and the bundles , restricted to states with future timelike and and to the stated algebraic constraints on the moments. Fix an open admissible state domain in this bundle. The extra force and torque are specified smooth bundle maps over the identity, and , so at a state based at their values lie in and , respectively. Their units are and . For a retained quadrupole or higher-multipole model, adopt where is a specified smooth force map along the state and is a specified smooth torque map. A quadrupole convention that may be adopted is with satisfying the algebraic symmetries of the curvature tensor, carrying units , and brackets including the factor . Any evolved or higher moment needs its own transport or constitutive law; without it the multipole equations are not a closed initial-value model.
The pole-dipole and multipole equations are adopted finite-dimensional truncations, not derivations from the moment integrals above. Their use as approximations for a material body is restricted to regimes in which its size is small compared with the relevant curvature and background-variation lengths and omitted moment effects are negligible on the stated finite interval. These conditions are qualitative applicability assumptions here: this postulate supplies no uniform error bound, no convergence of truncations, and no global existence claim. No experimental result or measurement is asserted.
Physical scope
The pole-dipole clause is neutral and test-body only. The optional multipole clause applies only when every extra force, torque, and evolved moment has explicit smooth constitutive data. No electric or magnetic dipole force is included in the BMT translation model, and no radiation reaction, self-force, singular-field evaluation, or quantum-spin claim is included.