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.
Rest magnetic spin rotation and independent centroid disk
A worked exact rest-frame BMT rotation in a uniform magnetic field alongside the separate flat-body SSC centroid disk and positive-energy size bound. The polarization and body angular momentum are kept distinct; no experiment or material family is reported.
Example
Assume of The Axiom of Countable Choice () for the canonical tangent-bundle and connection suppliers used by the BMT transport and charged-action equivalence. No full Axiom of Choice is assumed.
In a charged-body inertial frame of Inertial frames and inertial charts of the affine Minkowski model with , positively oriented spatial basis , and constant coordinates for the stationary trajectory, let , , and with constant tesla. Let the adopted polarization law have in coulombs, kilograms, , , and choose initial polarization in kilogram metres squared per second. Independently, choose a separate momentum-rest inertial frame of Inertial frames and inertial charts of the affine Minkowski model with , spatial origin at the stipulated body center, and positive spatial basis . Let a flat material body have rest momentum components in this frame, kilograms, body angular momentum with in kilogram metres squared per second, and measurable densities and with each component of in , expressed in its spatial coordinates . Define using this rest-space Euclidean norm. Assume and vanish almost everywhere outside this ball for metres, is that norm and satisfies almost everywhere, , and the componentwise vector integral satisfies . Assume also that its spin tensor is the spatial dual of and obeys the momentum SSC. Then the polarization and body-centroid results are
Every interior shift vector is realized by some future timelike observer. There is no identification between and in this example.
Facts & Assumptions
The Axiom of Countable Choice (): assume only countable choice for the canonical tangent-bundle smooth structure and inherited BMT/action-equivalence supplier hypotheses.
Given: The BMT rest-frame law and exact solution theorem, a constant uniform rest magnetic field, , , and separate material rest densities satisfying the stated energy-current and support hypotheses.
The inertial rest field is , with , and the initial polarization is ; independently, in the momentum-rest frame with origin and spatial basis specified in the Example, the body has , , the stated spin tensor, and the specified componentwise-integrable rest densities supported in with the energy conditions.
The polarization obeys the adopted BMT model; in a rest frame the magnetic transport law is . Rest-frame spin transport and finite-body size bounds
The component convention is and . The cross product in ; The electromagnetic two-form, its observer decomposition and the four-current
The exact constant-field spin solution and the separate body-size and centroid-disk statements hold under their stated assumptions. Rest-frame spin transport and finite-body size bounds; Positive-energy spin–size inequality; Exact flat centroid translation and disk
The charge-model polarization and the flat-body moment spin are distinct model quantities unless an additional identification is supplied. Charged and spinning test-body quantities
Verification
Under [A2], , , , and the angular frequency in the rest-spin theorem is . Substitution in that theorem gives the displayed ; differentiating yields , equal to . The initial value at is .
The independent body data [A2] satisfy the hypotheses of [F2]'s size lemma, so gives . The centroid lemma says the observer shifts fill the open disk in of radius ; because , this is exactly the displayed – disk in body-frame components, with every strict interior point attainable and the boundary unattained.
The first calculation uses the polarization and the second uses the body moment . [F3] imposes no equality between them, so the body-size inequality contains and does not constrain without an extra identification assumption.
Remarks
This is a model calculation. The field values are stipulated constants, not observations; the inequalities are conditional consequences for a separate body satisfying the stated material hypotheses.
Depends on
The Axiom of Countable Choice ()
The cross product in
The electromagnetic two-form, its observer decomposition and the four-current
Inertial frames and inertial charts of the affine Minkowski model
Charged and spinning test-body quantities
Positive-energy spin–size inequality
Exact flat centroid translation and disk
Rest-frame spin transport and finite-body size bounds
Dependency tree · 2 levels
Sources
- University of Virginia, Relativistic Spin Precession: the BMT Equation, Electromagnetic Theory lecture
- L. Filipe Costa and José Natário, Center of mass, spin supplementary conditions, and the momentum of spinning particles, arXiv:1410.6443v2; published in Equations of Motion in Relativistic Gravity, Fundamental Theories of Physics 179 (Springer, 2015)