Uniform Physical Word Locality
Abstract
Canonical charged words are local at one order uniformly over every pair of signed physical slice shifts.
Theorem 1.1 (Uniform signed-shift word locality).
Lean statement: D5/S3/VertexAlgebra/LatticeHalfFockPhysicalWordLocality.physicalWord_locality
Proof. Machine-checked in Lean as D5/S3/VertexAlgebra/LatticeHalfFockPhysicalWordLocality.physicalWord_locality (✓ std3). ∎
Source. Repository-derived.
Commentary.
The order is built before both signed shifts by the ordinary Dong induction, using canonical cons shifts and no recursive auxiliary word field.