Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-10-15
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

Physical scope

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 ACω 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 U and the prescribed external two-form F 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 C1 spin or polarization vector s along the worldline with g(s,U)=0, define G:=gs/2 and K:=F(s,U)=g(s,F♯(U)). Adopt the transport law

∇Us=qm[GF♯(s)−(G−1)Uc2K].

Here ∇Us denotes the covariant derivative of the section s along the specified curve, rather than differentiation of an unspecified ambient extension. More generally, for any C1 vector field V along this C2 worldline z, define

(DτV)a:=dVadτ+Γabc(z(τ))UbVc,∇Us:=Dτs.

The components of V are C1 functions of τ in each smooth chart, and the displayed derivative is continuous. This is the pullback-connection derivative on z∗TM. To verify that the component definition is independent of the chart, let y=y(x) and Jαa:=∂yα/∂xa. The connection transformation law gives

Γ′αβγJβbJγc=JαaΓabc−∂bJαc.

Since V′α=JαaVa, the ordinary chain and product rules give V˙′α=JαaV˙a+(∂bJαc)UbVc. The two transition-derivative terms cancel, leaving (DτV)′α=Jαa(DτV)a. Thus no smoothness of the curve beyond C2, or of the section beyond C1, is required. Metric compatibility also gives ddτg(V,W)=g(DτV,W)+g(V,DτW) for C1 sections V,W: insert the component formulas and ∂bgac=Γdbagdc+Γdbcgad. 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 q,m,gs. 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 gs is not fixed to 2 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