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.
Classical BMT polarization model
An adopted classical polarization transport law for a charged massive test body in a prescribed external field, with Lorentz-force translation. The curved-spacetime form is an independent model extension; it is not inferred from the flat homogeneous-field BMT paper, from covariance alone or from experiments. No quantum-spin ontology or measured value of the gyromagnetic ratio is asserted.
Postulate
Assume for the canonical tangent-bundle smooth structure, and let be the metric-selected Levi–Civita connection of Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields. Let and the prescribed external two-form be as in Charged and spinning test-body quantities, and let the translational motion obey the adopted action law External-field charged-particle action. For a spin or polarization vector along the worldline with , define and . Adopt the transport law
Here denotes the covariant derivative of the section along the specified curve, rather than differentiation of an unspecified ambient extension. More generally, for any vector field along this worldline , define
The components of are functions of in each smooth chart, and the displayed derivative is continuous. This is the pullback-connection derivative on . To verify that the component definition is independent of the chart, let and . The connection transformation law gives
Since , the ordinary chain and product rules give . The two transition-derivative terms cancel, leaving . Thus no smoothness of the curve beyond , or of the section beyond , is required. Metric compatibility also gives for sections : insert the component formulas and . These conventions specify the mathematical derivative in the adopted transport law; they add no further physical motion assumption.
This is an ideal classical external-field dipole model with constant . Its flat homogeneous-field specialization is the BMT polarization law in the stated RPM convention. The formula on a curved background, and its use for a spatially varying prescribed field, are separately adopted model assumptions; neither follows from the flat BMT source or from general covariance alone.
The model excludes an electric dipole moment, field-gradient or Stern–Gerlach translational forces, spin backreaction, radiation reaction, collisions and higher multipoles. The parameter is not fixed to and no measured value is asserted. Using this classical vector to represent a real quantum particle's polarization is a correspondence assumption; the postulate does not construct quantum spin or claim empirical validation.
Depends on
Dependency tree · 2 levels
Sources
- 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
- András László, General relativity experiment with frozen spin (EDM) rings, PSI Zürich, 20 September 2018, 29-page lecture notes, based on A. László and Z. Zimborás, Classical and Quantum Gravity 35 (2018), 175003