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.
Chiral covariance and generator reference rescaling
Example
Assume Countable Choice () as defined in The Axiom of Countable Choice (). Let be a length coordinate measured in metres, let have units of inverse metres, and let be dimensionless; set and . Write and for the corresponding strip widths, measured in metres. Here “generator frequency” means only the angular Fourier-dual parameter: for the convention , has units of inverse metres and is not the eigenvalue of a separately asserted operator generator. To express it using an energy parameter, take in joules and a fixed formal in joule-metres, and define ; no physical energy or clock identification is assumed. For a primed parameter in joules define . Matching the phase means for every , and holds exactly when , equivalently . For define the transformed current by . If is represented by a regular density, changing variables in this test pairing gives ; the same formula defines the density transformation distributionally. For , the corresponding two-point test pairing transforms as , equivalently as a distribution. Thus the covariance retains its chiral form, the spectrum acquires the factor , and , so the detailed-balance exponent is unchanged. This is a coordinate and parameter identity within the mathematical model; no physical clock normalization or temperature assignment is included.
Facts & Assumptions
Given: Countable Choice and the current and spectrum of Positive chiral current and exponential test-coordinate model and Single-pole thermal contour and exact detailed balance. Let be dimensionless, let have units of inverse length, let have units of length, and let be a fixed formal scale with units of energy times length. For , set , which has units of inverse length; no physical identification of is assumed here.
Positive chiral current and exponential test-coordinate model defines the current by compact test smearing and gives covariance .
Single-pole thermal contour and exact detailed balance gives and for .
Under the Fourier kernel , rescaling leaves the phase invariant exactly when . The covariance pairing in the Example follows from the two density factors, each transforming by .
Assume Countable Choice The Axiom of Countable Choice (), retaining the hypothesis of both tested-current and spectrum suppliers.
Verification
Under [A1], change the length-flow coordinate to and define the primed smeared current by for . Since , the current density transforms as in the distributional sense, so its two-point covariance is . Substituting [F1] and using to preserve the lower-boundary orientation gives .
Put and . Then [F2] gives and therefore . For any define . Phase preservation for every is the identity ; comparing coefficients of and using gives , hence . Conversely, gives for every , and therefore . Equivalently, the length-flow strip width rescales to , while .
Remarks
This is a coordinate and parameter identity within the specified one-dimensional model. The inverse-length generator frequency and the strip width are reference-normalized quantities; no invariant physical energy or black-hole temperature is inferred without a separate physical clock and unit assignment.