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.
Unbounded vector potential and effective Pauli model
A nonrelativistic point-particle model with a static smooth external vector potential and locally integrable lower-bounded scalar potential on Euclidean R^d, d >= 1, in SI units. The planar field is the scalar perpendicular component and the three-dimensional field is the curl vector. The optional spin-half Pauli coupling is a three-dimensional effective model term only when its form is closable and semibounded; no measured g-factor or relativistic correction is asserted.
Postulate
Use SI units with mass in kilograms, charge in coulombs, action constant in joule-seconds, vector-potential components in tesla-metres, and scalar potential-energy function in joules. For each integer , let be real and let be bounded below. Adopt the general-dimensional minimal-coupling assignment whose core form is Use its closed form closure and the unique self-adjoint representing Hamiltonian. For dimensional form norms use the fixed reference energy : apply the closed-form representation to and multiply the representing operator by .
The magnetic-field notation is dimension-specific. In , with coordinates and , define the scalar perpendicular field in teslas. Thus gives for a constant signed scalar . In , for coordinates and , define the field vector in teslas by No magnetic-field object is assigned by this notation in .
For an optional spin-half degree of freedom in three dimensions, define For a core spinor , define the spin-independent form For a declared dimensionless real coupling , adopt the effective Pauli core form where is conjugate transpose and for the three-dimensional field vector just defined. Include this term only in model instances where the resulting form is closable and bounded below, and use its closed form closure and representing Hamiltonian. No universal semiboundedness for arbitrary is asserted.
Postulate references
Scope and non-derivation
The core form data and the closability argument are given in Magnetic quadratic-form data and Closability of smooth magnetic forms with locally integrable potentials. The form-representation interface Semibounded closed-form representation and perturbation specifies the unique self-adjoint operator associated with the adopted closed form. The generic closability supplier assumes Countable Choice and Dependent Choice; the representation supplier assumes the Axiom of Choice and Countable Choice. These are the mathematical hypotheses of the construction, not additional physical postulates.
The mathematical identity in Pauli square identity and the formal g=2 coupling is a formal-core identity. This postulate does not identify with an electron measurement, derive the anomalous magnetic moment, or use the Dirac or quantum-electrodynamic theories. The linear Landau gauge is covered by the local closed-form construction; no bounded-coefficient hypothesis is imposed.