Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-adaptedPipeline-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.

QFT example units, metric, gauge, and pairing conventions

Definition

These are conventions for constructed and formal calculations in this page pair. They are not empirical claims, physical postulates, or existence claims about an interacting continuum theory.

Work on a nonempty open coordinate region U⊆R4, with coordinates x0=ct,x1,x2,x3 in metres and ∂a=∂/∂xa for a∈{0,1,2,3}. Use the geometric spacetime metric η=diag⁡(−1,1,1,1) and the time coordinate x0=ct in metres. For Clifford algebra and momentum contraction use the separate algebraic metric h=−η=diag⁡(1,−1,−1,−1); a slash or a square of an energy four-vector uses h, never η.

A physical energy four-vector is p=(E,cpphys), with each component in joules. Write M=mc2 for rest energy in joules and p2=h(p,p)=E2−c2∣pphys∣2. For two such vectors, s=(p1+p2)2 is in J2. Natural momentum coordinates are the energy-vector components divided by ℏc, in m−1; they are not substituted into SI formulas without restoring this factor. Here m≥0 is a mass parameter in kilograms, so μ=mc/ℏ is in m−1. The natural-unit field convention below concerns smooth test fields, not pointwise quantum operators. A real scalar field is a map φ∈Cc∞(U;R); a Dirac test field is Ψ∈Cc∞(U;C4). Fix dimensionless matrices γa∈M4(C) satisfying γaγb+γbγa=2habI4, and put Ψ‾=Ψ†γ0. Adopt dimensionless action normalizations with kinetic terms 12∫Uhab(∂aφ)(∂bφ) d4x and ∫UiΨ‾γa∂aΨ d4x, summing repeated indices from 0 to 3. The coefficients are dimensionless and introduce no additional length scale. These conventions assign [φ]=m−1 and [Ψ]=m−3/2: the integrands have length degrees 2[φ]−2 and 2[Ψ]−1, while d4x has degree 4. No dynamics or continuum existence assertion is adopted.

Take SI e>0 in coulombs, ℏ>0 in joule-seconds, c>0 in metres per second, μ0>0 in H m−1=kg m C−2, and ϵ0=(μ0c2)−1 in F m−1. Define α=e24πϵ0ℏc,g=eμ0cℏ=4πα>0. Here g is a dimensionless coupling. It is not the metric and not a gyromagnetic factor.

For gauge notation take ϕ∈C1(U;R) in volts and A∈C1(U;R3) in tesla-metres. Write Alower=(−ϕ/c,A) for the components of the real one-form A=∑a=03Aa dxa, so every Aa is in tesla-metres. Take χ∈C2(U;R) in webers and a charged test field ψ∈C1(U;CN), where N≥1 is fixed. With a constant real charge parameter q in coulombs, define Daψ=∂aψ−iqAaψ/ℏ componentwise. The transformed fields are again C1, with dχ=∑a(∂aχ)dxa. In operator notation the conventions are Da=∂a−iqAaℏ,ψ↦eiqχ/ℏψ,A↦A+dχ. For the electron parameter use q=−e. The equivalent natural-unit coordinates are Anat=ASI/μ0ℏc and qnat=qSIμ0c/ℏ.

Finite-matrix examples act on Cd with the operator norm. For Hilbert spaces, use the first-variable-linear pairing (u,v)1=v†u; a displayed coordinate contraction u†v is second-variable-linear and equals (u,v)1‾. Thus norms, traces, and modulus-squared amplitudes agree under conversion, although the unsquared pairing is conjugated. No amplitude is assigned a probability by these conventions.

Facts & Assumptions

Given: Positive SI constants c,ℏ,μ0,ϵ0,e satisfying ϵ0μ0c2=1, with their SI dimensions as stated above.

[A1]

Adopt the geometric/algebraic metric distinction, energy-vector and mass-energy conventions, natural-unit conversions, gauge-coordinate conventions, and Hilbert-pairing conventions exactly as stated in the Definition. They are definitions for this library's constructed/formal examples.

Proof

1.1givenA1algebra

From ϵ0μ0c2=1 and positivity, α=e2μ0c/(4πℏ)>0. Hence g2=e2μ0c/ℏ=4πα, and the positive square root gives the stated equality g=4πα. The units of g2 are C2(kg m C−2)(m s−1)/(J s)=1, so g is dimensionless.

1.2givenA1algebra

Since [c t]=m, x0 is a length; since [cpphys]=J, every component of p and M is an energy. Thus p2 and s have units J2, while division of energy by ℏc has units J/(J m)=m−1. For the adopted dimensionless kinetic actions, 4+2[φ]−2=0 and 4+2[Ψ]−1=0 in length degrees, yielding the assigned field dimensions. The stated μ has units kg m s−1/(J s)=m−1.

2.1givenA1algebra∎

In SI, [T]=kg s−1 C−1, so [qAa/ℏ]=m−1 and [qχ/ℏ]=1 because Wb=J s C−1. Also Anat has units m−1 and qnat is dimensionless. Therefore the derivative and gauge phase terms in the Definition are dimensionally compatible. Finally u†v=(u,v)1‾, so their norms and modulus squares agree.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources