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.
BMT constraint and restricted-ansatz algebra — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- BMT constraint and restricted-ansatz algebra
- Bounded Linear Operators and Quotient Spaces
- Cm Math Continuum
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Connectedness
- Connections And Free Fall
- Connections Levi Civita and Parallel Transport
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Convexity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Curvature And Tides
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Einstein And Matter
- Electrostatics in vacuum
- Em Elementary Mathematical Prerequisites
- Em Expanded Analysis Prerequisites
- Em Minkowski Mathematical Prerequisites
- Energy Momentum
- Energy momentum angular balance
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Euclidean Surface Measure, Divergence, and Green Identities
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Probability and the Probabilistic Method
- Fixed-endpoint curved charge variation
- Forces and Continuum
- Foundations of the Real Numbers for Analysis
- Framework And Geometry
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Fundamental Solutions Newtonian Potentials and Green Functions
- Fundamental Trigonometric Identities
- Further Trigonometric Identities and Inverse Functions
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Gr13 Convex Normal Neighborhoods
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harmonic Functions and Mean Values in Rn
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integral Maxwell and constraints
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Lorentz Transformations
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Maximum Principles Harnack and Liouville in Rn
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Observer Measurements
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Particle spacetime, observers and worldlines
- Partitions of Unity and Paracompactness
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Primitives and postulates
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Radon Measures and the Riesz Markov Kakutani Theorem
- Rank Theorems and Embedded Submanifolds
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Schwartz Space and the Plancherel Theorem
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Sine, Cosine, and the Definition of Pi
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spacetime Primitives
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- Tensors And Observers
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Real Gamma and Beta Functions
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Worldlines And Clocks
2 · Summary
These worked examples specialize the adopted BMT law to its Fermi–Walker and shared-generator branches, compare fixed-charge and scaled-body size limits, solve a uniform-rest-magnetic-field polarization rotation alongside an independent centroid disk, and recover the spinless geodesic branch of the local TD model. All field values, body data and parameter values are model assumptions; none is a reported measurement.
The BMT polarization vector and body angular-momentum moment stay separate throughout. The examples inherit the conditional energy, support, electromagnetic-field, and TD admissibility assumptions of rpm-spin-finite-size. They assert no material-family existence, no universal point-particle limit, and no global existence beyond the stated local model domains.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
BMT G=0 Fermi–Walker and G=1 shared-generator cases
Exact parameter specializations of the adopted classical BMT transport model: gives Fermi–Walker transport on the orthogonal spin space, and makes the same field generator act on and . These are model deductions, not measured cases.
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.
Use the charged-body conventions and adopted BMT transport equation of Charged and spinning test-body quantities and Classical BMT polarization model. On a local potential domain, take the trajectory stationary under the action postulate so that Stationary charged action and Lorentz force supplies its translation equation. Let be future timelike, , and . Write , , , and . The BMT law is
Here Fermi–Walker transport means , where ; on the orthogonal subspace , this reduces to .
(a) If (), then , the Fermi–Walker transport law on .
(b) If (), then while , so the same linear field operator transports both vectors. Both parameter cases preserve orthogonality and spin norm by BMT orthogonality and conserved spin length.
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 adopted BMT spin law, a trajectory whose finite segments in a local potential domain are stationary for the adopted action, , constant , and an initially orthogonal spin vector.
The example selects the model parameters and in separate cases and assumes the initial spin is orthogonal to .
Adopt the BMT spin transport law of Classical BMT polarization model. As stipulated in the Example, assume each finite trajectory segment in the local potential domain is stationary for the adopted action, under its fixed-endpoint timelike variations. Translation is then supplied by [F3].
The spin remains orthogonal to and its norm is constant within this model. BMT orthogonality and conserved spin length
The model spin is a classical polarization vector and is a primitive dimensionless parameter; no measured value or quantum derivation is supplied. Charged and spinning test-body quantities
Under [A3] and the finite-segment stationarity hypothesis in [A1], the local charged-action equivalence gives . Stationary charged action and Lorentz force
At each event , the model metric is symmetric: for all .
Verification
In the case of [A2], [A1] gives . By [F3] and [F4], . Hence . The general Fermi–Walker expression subtracts , which is zero by [A2] and [F1], proving (a).
In the case of [A2], [A1] has zero term proportional to and , while [F3] gives . Thus both vectors are acted on by the same linear map along the worldline.
Applying [F1] to both parameter choices confirms that the initial constraint and spin norm remain unchanged; and are selected model parameters only, with no empirical inference.
Remarks
The branch is Fermi–Walker transport for the prescribed Lorentz-force acceleration. The branch is a shared-generator statement; it does not claim or identify the polarization with a body angular-momentum moment.
Fixed-charge and scaled small-body limits
Algebraic consequences of the conditional static spherical exterior-energy bound for a fixed-charge point limit and a scaled family with charge and mass tending to zero. No existence of a material family, experimental process, or universal point-particle limit is asserted.
Example
Assume the static Coulomb-exterior support-radius hypotheses of Coulomb-exterior support-radius energy bound, so every member obeys .
(a) For fixed and fixed finite , the lower bound is the positive constant . Thus no family satisfying these hypotheses can have while keeping both and fixed.
(b) For , , and with , coulombs, kilograms, and metres, the same necessary condition reduces to , independent of . The inequality therefore does not rule out this scaling, although it does not construct a body family or prove that its interior energy remains admissible.
Facts & Assumptions
Given: The static spherical exterior-energy bound, a fixed-charge comparison with , and positive scaling parameter with fixed , .
Case (a) holds and finite fixed; case (b) sets , , and with .
Every body satisfying the stated spherical exterior field and nonnegative energy-accounting assumptions obeys . Coulomb-exterior support-radius energy bound
Verification
In case (a) of [A1], [F1] gives . The numerator is strictly positive and the denominator is finite positive, so this lower bound is positive and independent of ; consequently cannot tend to zero under the fixed- assumptions.
In case (b) of [A1], substitute , , and into [F1]. Since , division by gives . Thus the necessary size ratio is scale-independent. The argument is only a necessary condition on members that already satisfy the static model; it supplies no construction, stability result, or empirical inference.
Remarks
This comparison separates a fixed nonzero charge and fixed mass limit from a scaling in which both charge and mass vanish. It does not establish that any such family solves a closed matter or Maxwell evolution model.
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.
Spinless TD geodesic limit
The zero-spin invariant branch of the adopted neutral TD pole-dipole truncation on its local admissible region. It recovers a timelike geodesic with constant rest mass and makes no global-existence or empirical claim.
Example
Assume the neutral pole-dipole equations of Pole-dipole and closed multipole test-body models and the TD admissible region of TD spin and momentum norms: is future timelike, is invertible, is future timelike, and the initial spin tensor satisfies . Then throughout the local solution the spin remains zero, is parallel transported, and Thus the representative curve is a timelike geodesic with constant rest mass in this restricted branch.
Facts & Assumptions
Given: The adopted neutral pole-dipole equations, the TD algebraic closure on its admissible region, and an initial zero spin tensor.
The initial TD state has and lies in the open region where is invertible and is future timelike.
The neutral pole-dipole evolution is adopted as a finite-dimensional test-body truncation. Pole-dipole and closed multipole test-body models
A solution satisfying TD throughout the local admissible domain has constant and spin-tensor norm. If its initial spin tensor is zero, it remains zero and gives , , and . TD spin and momentum norms
The variables are moments under the stated local body convention; this example adds the TD representative condition. Body moments and transport convention
On the open region where and are future timelike and is invertible, the normalized closure defines a smooth local ODE with the pole-dipole equations. A solution initialized with preserves that constraint. Admissible TD pole-dipole local closure
Verification
The zero initial tensor in [A2] gives initially. The adopted equations [A1] and normalized TD closure are exactly the local ODE of [F3], so that supplier preserves the TD constraint throughout the local solution in the admissible region. The hypotheses of [F1] now hold: the zero initial tensor remains zero and is constant. The force in [A1] vanishes, hence and . Covariant differentiation gives .
The normalization and imply and the positive rest-mass parameter is . The conclusion holds only while the solution stays in the local TD admissible region [A2]; it makes no claim of global extension.
Remarks
The result is the zero-spin specialization of the adopted neutral TD model. It does not derive that model from the body-moment definition and does not assert completeness of the geodesic or the full spinning-body system.
Sources
- University of Virginia, Relativistic Spin Precession: the BMT Equation, Electromagnetic Theory lecture
- V. Bargmann, L. Michel and V. L. Telegdi, Precession of the Polarization of Particles Moving in a Homogeneous Electromagnetic Field, Physical Review Letters 2 (1959), 435–437
- Konstantin K. Likharev, Essential Graduate Physics: Classical Electrodynamics, §1.3 Scalar Potential and Electric Field Energy
- 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)
- David Tong, General Relativity, Cambridge Part III lecture notes