Alphabeta MathHow 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.
Self-force status and point-particle limits
Scope remark separating prescribed-field LL/LAD effective equations, finite-body moments and literature results for a specific shrinking-body family. It supplies no point-charge self-field, universal fixed-charge point limit, or quantitative global accuracy claim.
Remark
The present pair prescribes an external field and adopts the flat LAD equation as a separate effective model. It does not construct a coupled Maxwell field sourced by a point charge or evaluate a self-field on the worldline. Body moments and transport convention defines moments for a smooth finite body (and a local curved moment convention); its definitions do not assert a point limit or a self-force law.
Poisson, Pound, and Vega's §22.1 records the formal point-charge equations and the singularity of the field on the worldline; §§22.2–22.6 develop the electromagnetic field near the worldline, singular/regular field split, tail, and equation of motion, particularly §22.6. A self-force calculation therefore requires a specified regularization or extended-body limiting argument. Gralla, Harte, and Wald's conclusions are conditional on assuming a one-parameter family of exact solutions to Maxwell's equations, current conservation, and total stress-energy conservation, with the support/scaling hypothesis (i) of their §II and a field decomposition satisfying hypothesis (ii): a retarded self-field plus an external homogeneous Maxwell solution jointly smooth in and spacetime. In that scaling limit the body size, charge, and mass tend to zero while the charge-to-mass ratio has a finite limit; the paper does not construct such a family or a constitutive matter model. Under those assumptions, the leading motion is Lorentz-force motion and §IV derives the first-order correction, including self-force, electromagnetic-dipole, and spin terms. In §§V–VI the authors discuss and qualify a self-consistent reduction-of-order formulation; the reduced-order ALD case is tied to negligible spin and electromagnetic-dipole contributions. These conditional results do not establish an unrestricted fixed-charge point construction, arbitrary-duration global accuracy, or the physical truth of the separately adopted postulate Flat Lorentz–Abraham–Dirac effective equation.
Facts & Assumptions
Given: The finite-body moment definitions of Body moments and transport convention, the adopted-model status of Flat Lorentz–Abraham–Dirac effective equation, and the cited literature statements with the restrictions just summarized.
Body moments and transport convention: the flat moments are defined by integrals of a smooth stress-energy tensor with spatially compact support; the local curved moments are also definitions, and the supplier explicitly asserts no slice independence or MPD equation.
Flat Lorentz–Abraham–Dirac effective equation: LAD is adopted here as a prescribed-field effective equation, not derived by evaluating a Maxwell self-field on the worldline.
Poisson, Pound, and Vega, §22.1 and §§22.2–22.6, review the formal point-charge equations, singular field, regular-field decomposition, and tail term, particularly in §22.6. Gralla, Harte, and Wald, §II, assumptions (i)–(ii), state the assumed family and support/field hypotheses; §IV gives the first-order correction, and §§V–VI discuss the qualified reduction-of-order formulation.
Proof
The flat moments and local curved moments in [F1] are definitions for smooth finite-body stress-energy data; the supplier explicitly says no slice-independence theorem or equation of motion is asserted. Thus these moment definitions alone do not specify a point-particle limit or a value of the self-field on the representative worldline.
The LAD equation in [F2] is adopted for a prescribed external field and makes no source construction. Together with the restricted literature results [L1], this establishes the scope of this remark: those specific shrinking-body results do not convert the adopted postulate into an unrestricted fixed-charge point construction or arbitrary-duration global accuracy theorem. The historical source claims remain reports with their own hypotheses, not proofs supplied by this item.