Skip to content

Inherited analytic conventions

Shadow Theory and the Wilson Yang–Mills Construction: A Source–Readout Reconstruction

Inherited analytic conventions

A positive-plane plaquette i < j uses the ordered Wilson product in the public statement. All lattices are four dimensional, with cover Z4 and period-n lattice (Z/nZ)4. A positive link (x, i) joins x to x + ei; reverse reading takes its inverse. Signed coordinate permutations retain this convention. Distance is the maximum centered-coordinate distance. A support is a finite site set, and its internal links have both endpoints in it.

The physical Lie-algebra inner product and chord are

⟨X, Y ⟩g = −m−1 Re tr(XY ),
chord(g) = ∥g −1∥F/√m.
Source page 12.
Searchable transcription
⟨X, Y ⟩g = −m−1 Re tr(XY ),
chord(g) = ∥g −1∥F/√m.
Fix the source’s orthonormal real color basis. Matrix Frobenius norm is √m times color norm. The
inner product is positive on the skew-Hermitian algebra and conjugation invariant. Inversion and
conjugation preserve the chord, and the triangle bound is chord(gh) ≤chord(g) + chord(h). The
color projection of (g −g−1)/2 is the source’s Lie-algebra curvature readout. These normalizations
are kept in the quadratic action, the coupling slope and the trace calculation.
At scale i, the spacing is ai > 0, the odd integer block ratio Li = ai/ai+1 ≥3, and ti = log(a−1
i ),
so ti+1 −ti = log Li. Block bounds and coupling-entry delays are chosen before cutoffand physical
period. The reference clock is
Source page 12.
Searchable transcription
Fix the source’s orthonormal real color basis. Matrix Frobenius norm is √m times color norm. The
inner product is positive on the skew-Hermitian algebra and conjugation invariant. Inversion and
conjugation preserve the chord, and the triangle bound is chord(gh) ≤chord(g) + chord(h). The
color projection of (g −g−1)/2 is the source’s Lie-algebra curvature readout. These normalizations
are kept in the quadratic action, the coupling slope and the trace calculation.
At scale i, the spacing is ai > 0, the odd integer block ratio Li = ai/ai+1 ≥3, and ti = log(a−1
i ),
so ti+1 −ti = log Li. Block bounds and coupling-entry delays are chosen before cutoffand physical
period. The reference clock is
X
bβi =  ̄β + sti,
s = 11CA
24π2 ,
CA = −
1
dim g
α
tr(ad Tα)2 > 0.
Source page 12.
Searchable transcription
X
bβi =  ̄β + sti,
s = 11CA
24π2 ,
CA = −
1
dim g
α
tr(ad Tα)2 > 0.

Represented couplings retain their distinct coordinates and explicit comparisons with this clock. The radius-B halo of X is the union of its radius-B lattice balls. The cover number covB(X) is the least number of such balls whose union is connected by unit lattice steps and contains X; their centers need not belong to X. Periodic wrapping is treated by that same connected-union definition.

For a fixed stage ratio L, retain
Source page 13.
Searchable transcription
For a fixed stage ratio L, retain

βF (x, L) = x + s log L, B(x) = ⌈(log x)2⌉, temp(x) = x−1/2e(log log x)2.

Rate a means that for every b > a, eventually |f(x)| ≤βF (x, L)b. Thresholds may depend on the fixed stage and ratio but not the period. Rate zero allows subpower growth and does not assert boundedness. The fine threshold is fiery(x) = temp(βF (x, L)). Finite sums preserve the larger rate, products add rates, and a positive exponent gap absorbs fixed multiplicities and subpower factors. Later scale-path exponents retain their separately specified paths.

Every local weighted bound retains derivative order, allowed directions and exponential support weight. Countable sums are controlled absolutely, equivalently by a common bound on finite partial sums of the nonnegative majorant. This convention permits countable dictionaries without assuming a finite number of terms. Terms such as a bill, a payment or a paid bound in the source denote these explicit inequalities, not additional probabilistic assumptions. The lift carries these conventions as realized analytic data; conjugation of the finite frames preserves the color inner product, while arbitrary componentwise boxes still require their explicit coordinate transport.

5.1 Notation and the roles of recurring symbols

The construction uses several local alphabets. The following register fixes their roles; later local uses are qualified by their section and indices. In particular, a local parameter called a mass or a gap need not be a spectral gap of the reconstructed physical theory.

Notation
Meaning and convention
X, Y, KYM(Y )
Native admitted support, literal preparation, and raw realized sector.
Physical data occur in the third object, not in the source signature.
π, σ, ι
A readout and its specified sections. The finite frame section is σ(U) =
(1, U).
Other sections are named for their actual domains; none is a
global inverse of every readout.
G ⊆U(m), g
The given closed matrix group in its faithful representation, its matrix
size m, and its simple nonabelian real Lie algebra. The hypothesis does
not add connectedness.
Ue, Ae, rx
Physical link, raw framed link and endpoint frame, Ue = r−1
x Aery for
e : x →y. A reversed link is read by inversion.
N, p, i
Mesh cutoffindex, period index and scale level. The full N →∞limit
is taken first at each suitable fixed p; the outer period limit may use the
stated common refinement.
hN, Lp, dN
Physical mesh hN = d−1
N , physical integer period Lp and positive denom-
inator dN. The lattice side is LpdN.
ai, Li, ti
Scale spacing, block ratio Li = ai/ai+1 and logarithmic scale ti =
log(a−1
i ). Some retained calendar passages call this last clock τi; it is
the same scale clock there. Li is not the physical period Lp.
βN,p,i, bβi
Actual calibrated action coefficient and reference clock bβi =  ̄β + sti.
Their difference is estimated, not set to zero.
s, b0, CA
The computed logarithmic slope s = 2b0 = 11CA/(24π2). Later occur-
rences of s as a positive radius are local scale variables, not this slope.
Source page 13.
Accessible table transcription
Table transcription, source page 13
NotationMeaning and convention
X, Y, K(Y )Native admitted support, literal preparation, and raw realized sector.
YM
Physical data occur in the third object, not in the source signature.
π, σ, ιA readout and its specified sections. The finite frame section is σ(U) =
(1, U).Other sections are named for their actual domains; none is a
global inverse of every readout.
G ⊆U(m), gThe given closed matrix group in its faithful representation, its matrix
size m, and its simple nonabelian real Lie algebra. The hypothesis does
not add connectedness.
−1
Ue, Ae, rxPhysical link, raw framed link and endpoint frame, Ue = rAery for
x
e : x →y. A reversed link is read by inversion.
N, p, iMesh cutoffindex, period index and scale level. The full N →∞limit
is taken first at each suitable fixed p; the outer period limit may use the
stated common refinement.
−1
h, L, dPhysical mesh h d, physical integer period L
NpNN =N p and positive denom-
inator dN. The lattice side is LpdN.
a, L, tScale spacing, block ratio L a/a t
iiii =ii+1 and logarithmic scalei =
−1
log(a). Some retained calendar passages call this last clock τi; it is
i
the same scale clock there. L L.
i is not the physical periodp
bb ̄
β, βActual calibrated action coefficient and reference clock ββ + st.
N,p,iii = i
Their difference is estimated, not set to zero.
2
s, b, CThe computed logarithmic slope s = 2bC/(24π). Later occur-
0A0 = 11A
rences of s as a positive radius are local scale variables, not this slope.
Notation
Meaning and convention
gi, gW , gX
Regulator coupling gi = β−1/2
N,p,i and the Wilson and measured position
couplings used in the final comparison. Their asymptotic identification
is proved; it is not a notation convention.
SW , S(x, v)
Wilson action and stationary residual, respectively. The latter is the
vertical derivative of the local score and is not an action. The unadorned
S in the predictor Fourier identities is yet another locally defined symbol.
C, P
Covariances, precision/comparison matrices or coefficient maps accord-
ing to their declared types. In a Gaussian change of variables C0 and CV
denote distinct base and varied covariances. An auxiliary nonsymmetric
inverse is not itself a covariance.
Ed, Nd, Fd
Degree-d coefficient space, null subspace for all separated spectator tests,
and physical quotient Fd = Ed/Nd. Inclusions and derivatives on these
quotients are constructed and proved compatible.
deg, |a|
Engineering degree of a label and total engineering degree |a|
=
P
i deg(ai) of a cluster. Polynomial position degree and field count are
separately specified in the radial-jet chapter.
Sn, Sχ
n, μph
Unselected and character-dependent separated correlations, and the full-
support phase measure, so Sn =
R Sχ
n dμph(χ). The source often writes
this measure as μ; it is distinct from the finite Wilson laws.
Ω, D
Selected vacuum and common invariant word domain. The native prepa-
ration subscript in RealPrepΩis a source convention, not a claim that a
vacuum has already been derived.
Θ, GΘ, E(r)
Centered degree-four physical trace label, its selected Euclidean two-
point function, and the positive-time Laplace reader identified with it in
the spectral argument.
AG, cG
The full trace amplitude is AG = 3 dimR g/π4. Other local scalar or color
projection constants called cG retain their local definitions.
Source page 14.
Accessible table transcription
Table transcription, source page 14
NotationMeaning and convention
−1/2
g, gRegulator coupling g βand the Wilson and measured position
iW , gXi =N,p,i
couplings used in the final comparison. Their asymptotic identification
is proved; it is not a notation convention.
SW , S(x, v)Wilson action and stationary residual, respectively. The latter is the
vertical derivative of the local score and is not an action. The unadorned
S in the predictor Fourier identities is yet another locally defined symbol.
C, PCovariances, precision/comparison matrices or coefficient maps accord-
ing to their declared types. In a Gaussian change of variables C0 and CV
denote distinct base and varied covariances. An auxiliary nonsymmetric
inverse is not itself a covariance.
E, N, FDegree-d coefficient space, null subspace for all separated spectator tests,
ddd
and physical quotient Fd = Ed/Nd. Inclusions and derivatives on these
quotients are constructed and proved compatible.
deg, |a|Engineering degree of a label and total engineering degree |a|=
P
deg(a) of a cluster. Polynomial position degree and field count are
i i
separately specified in the radial-jet chapter.
χ
S, S, μUnselected and character-dependent separated correlations, and the full-
nnph
R S
χ
support phase measure, so Sdμ(χ). The source often writes
n =n ph
this measure as μ; it is distinct from the finite Wilson laws.
Ω, DSelected vacuum and common invariant word domain. The native prepa-
ration subscript in RealPrepΩis a source convention, not a claim that a
vacuum has already been derived.
Θ, GΘ, E(r)Centered degree-four physical trace label, its selected Euclidean two-
point function, and the positive-time Laplace reader identified with it in
the spectral argument.
4
A, cThe full trace amplitude is A/π. Other local scalar or color
GGG = 3 dimR g
projection constants called cG retain their local definitions.

Terms such as bill, payment, price and purchase denote the explicitly stated inequalities and the order in which their constants and thresholds are chosen. A calendar is the common sequence of scales, stage assignments and entry thresholds. A beacon is a specified finite reference view used to read a local coefficient, and a path book retains the path-series and insertion data of a chosen history. These words do not supply extra hypotheses beyond their mathematical definitions. Their exact weights, derivative orders and choices remain in the corresponding sections.

Source: Shadow Theory and the Wilson Yang–Mills Construction: A Source–Readout Reconstruction. Both papers belong to one Zenodo record. No external funding.