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.
Charge, canonical photon field and observer units
Charge and gauge-field conversions for the selected flat-space QED model, in the stated SI and natural normalizations; no charge value, running law, regulator, boundary charge sector, or interacting continuum construction is inferred.
Definition
Use the oriented, time-oriented Minkowski model, length coordinates, metric, and SI/natural dictionary of Quantum field quantities and compatible SI normalizations, with and . Use the gamma matrices, Dirac adjoint, and effective Clifford metric of Charged gauge data and SI-natural conventions: , , and . Assume Countable Choice The Axiom of Countable Choice () for the mathematical QFT gauge-data supplier; the unit conversions below do not themselves spend a choice principle.
Identify the SI charge and mass symbols in Charged gauge data and SI-natural conventions with here. Its natural coupling is below, and its inverse-length mass is the same .
Let be a selected charge parameter in coulombs and a selected rest-mass parameter in kilograms. They are inputs of the chosen model; neither is derived from Maxwell's equations. Set in and , which is dimensionless under the framework units of Quantum field quantities and compatible SI normalizations. For an electron use and , so . Use with the measured current-SI of Quantum field quantities and compatible SI normalizations. These definitions therefore do not assign an exact numerical value to , , or .
In a named inertial chart, let be the electromagnetic potential when one is supplied, with components in under Framework-local SI units, the vacuum constants and the exact/measured status of their values and The electromagnetic two-form, its observer decomposition and the four-current. Define the canonical potential and field-strength components by
They have engineering dimensions and , respectively. With the metric-lowered potential , the potential component convention is and . The covariant derivative in the selected QED model is
since . Both terms in have unit . If the SI gauge function has unit , then is dimensionless; the corresponding natural gauge function is dimensionless and . These conversions apply to smooth local gauge transformations; they assert no boundary condition, asymptotic charge sector, or global gauge-fixing result.
If a separately specified finite regulator introduces Hamiltonian eigenvalues, they have unit joule; this definition introduces no regulator. The field components and units refer to the selected inertial chart, not to a new observer congruence or a cross-framework identification.
Depends on
Quantum field quantities and compatible SI normalizations
Charged gauge data and SI-natural conventions
The Axiom of Countable Choice ()
Framework-local SI units, the vacuum constants and the exact/measured status of their values
The electromagnetic two-form, its observer decomposition and the four-current
Potential representations, gauge transformations and the Lorenz and Coulomb conditions