Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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

Physical scope

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 η=diag⁡(−1,1,1,1) and x0=ct. Use the gamma matrices, Dirac adjoint, and effective Clifford metric of Charged gauge data and SI-natural conventions: γ0=β, {γa,γb}=−2ηabI4, and ψˉ=ψ†β. Assume Countable Choice The Axiom of Countable Choice (ACω) 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 q,m in Charged gauge data and SI-natural conventions with qSI,mSI here. Its natural coupling g is qn below, and its inverse-length mass μ is the same mSIc/ℏ.

Let qSI∈R be a selected charge parameter in coulombs and mSI>0 a selected rest-mass parameter in kilograms. They are inputs of the chosen model; neither is derived from Maxwell's equations. Set μ=mSIc/ℏ in m−1 and qn=qSIμ0c/ℏ, which is dimensionless under the framework units of Quantum field quantities and compatible SI normalizations. For an electron use qSI=−eSI and en=eSIμ0c/ℏ>0, so qn=−en. Use ε0=(μ0c2)−1 with the measured current-SI μ0 of Quantum field quantities and compatible SI normalizations. These definitions therefore do not assign an exact numerical value to qn, en, or ε0.

In a named inertial chart, let ASIμ=(φ/c,A) be the electromagnetic potential when one is supplied, with components in T m 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

aμ:=ASIμμ0ℏc,fμν:=FSIμνμ0ℏc.

They have engineering dimensions m−1 and m−2, respectively. With the metric-lowered potential ASI,a=ηabASIb, the potential component convention is ASI,0=−φ/c and ASI,i=Ai. The covariant derivative in the selected QED model is

Da:=∂a−iqnaa=∂a−iqSIℏASI,a,

since qnaa=qSIASI,a/ℏ. Both terms in Da have unit m−1. If the SI gauge function χ has unit Wb=T m2, then qSIχ/ℏ is dimensionless; the corresponding natural gauge function λ=χ/μ0ℏc is dimensionless and qnλ=qSIχ/ℏ. 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

Dependency tree · 2 levels

Sources