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 , with coordinates in metres and for . Use the geometric spacetime metric and the time coordinate in metres. For Clifford algebra and momentum contraction use the separate algebraic metric ; a slash or a square of an energy four-vector uses , never .
A physical energy four-vector is , with each component in joules. Write for rest energy in joules and . For two such vectors, is in . Natural momentum coordinates are the energy-vector components divided by , in ; they are not substituted into SI formulas without restoring this factor. Here is a mass parameter in kilograms, so is in . The natural-unit field convention below concerns smooth test fields, not pointwise quantum operators. A real scalar field is a map ; a Dirac test field is . Fix dimensionless matrices satisfying , and put . Adopt dimensionless action normalizations with kinetic terms and , summing repeated indices from to . The coefficients are dimensionless and introduce no additional length scale. These conventions assign and : the integrands have length degrees and , while has degree . No dynamics or continuum existence assertion is adopted.
Take SI in coulombs, in joule-seconds, in metres per second, in , and in . Define Here is a dimensionless coupling. It is not the metric and not a gyromagnetic factor.
For gauge notation take in volts and in tesla-metres. Write for the components of the real one-form , so every is in tesla-metres. Take in webers and a charged test field , where is fixed. With a constant real charge parameter in coulombs, define componentwise. The transformed fields are again , with . In operator notation the conventions are For the electron parameter use . The equivalent natural-unit coordinates are and .
Finite-matrix examples act on with the operator norm. For Hilbert spaces, use the first-variable-linear pairing ; a displayed coordinate contraction is second-variable-linear and equals . 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 satisfying , with their SI dimensions as stated above.
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
From and positivity, . Hence , and the positive square root gives the stated equality . The units of are , so is dimensionless.
Since , is a length; since , every component of and is an energy. Thus and have units , while division of energy by has units . For the adopted dimensionless kinetic actions, and in length degrees, yielding the assigned field dimensions. The stated has units .
In SI, , so and because . Also has units and is dimensionless. Therefore the derivative and gauge phase terms in the Definition are dimensionally compatible. Finally , so their norms and modulus squares agree.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.