Preprint
Article

This version is not peer-reviewed.

The Synchronization Latency Principle: Geometric Audit Closure, Operational Copy Time, and Emergent Spectral Mass in a Minimal QCA Class

Submitted:

25 December 2025

Posted:

12 January 2026

You are already at the latest version

Abstract
We formulate an operational hypothesis—the Synchronization Latency Principle—as a disciplined extension of an “Information Audit” viewpoint within a locality-preserving quantum cellular automaton (QCA) framework. The central claim is scoped so it can be scrutinized: matter-like excitations are auditable images that are not certified at a single-site update, but only after an audit closes over a minimal local neighborhood. In three dimensions, a nearest-neighbor stencil suggests a (1+6) block of cardinality 7; under explicit circuit-locality and audit assumptions, we show a structural lower bound Daudit ≥ 7 on the micro-depth needed to incorporate all neighbor links into a joint certification. We then strengthen the theory beyond narrative plausibility by adding (i) an operational definition of copy time via Helstrom hypothesis testing, (ii) a quantum-speed-limit lower bound on τcopy via QFI/Bures geometry and a stiffness parameter χ, and—crucially for PRA standards—(iii) a minimal explicit translation-invariant QCA class (a 7-layer Floquet-QCA schedule) for which the small-momentum dispersion has an emergent effective mass meff derived from the circuit. In that class we prove a proposition: the certified-sector quasi-energy satisfies E(k) = p (veff∥¯hk∥)2 + (meffc2)2 +O(∥k∥2, θ2, ∥k∥θ), ith veff ∝ 1/Daudit and meffc2 ∝ √ χ/Daudit, both directly testable in QCA simulation. Finally, Planck→electroweak matching is kept as a discussion (not a result): it is presented only as a possible UV boundary-condition narrative, explicitly separated from the structural theorems.
Keywords: 
;  ;  ;  ;  ;  ;  ;  ;  ;  ;  ;  ;  ;  

1. Reader Contract: Assumptions, Scope, Falsifiability

We isolate what is structural (within stated assumptions) from what is model-dependent (matching and numerical outputs).
  • A1 (Neighborhood choice). The substrate admits a meaningful ( 1 + 6 ) nearest-neighbor block in three spatial dimensions.
  • A2 (Audit criterion). “Matter” is defined operationally as an auditable image: certification requires a joint neighborhood constraint to be satisfied to tolerance ε 1 .
  • A3 (Circuit locality). One QCA timestep admits a bounded-depth decomposition into layers of disjoint two-site unitaries (plus optional on-site unitaries).
  • A4 (Copy-time control parameter). A stiffness/gap-like parameter χ controls distinguishability growth in a sector supporting speed-limit control; in particular τ copy ( χ , ε ) χ 1 / 2 with explicit constants given.
  • A5 (UV/IR matching). Any Planck calibration and any RG/FRG flow mapping UV scales to IR masses is model-dependent and must be stated as an ansatz or computed explicitly; it is not used as a theorem.
Figure 1. Minimal ( 1 + 6 ) neighborhood block used for audit closure in three spatial dimensions.
Figure 1. Minimal ( 1 + 6 ) neighborhood block used for audit closure in three spatial dimensions.
Preprints 191415 g001
Falsifiable content here. Under (A1–A3) the bound D audit 7 is structural. Under (A2–A4) the inequality τ mat D audit τ copy ( χ , ε ) is structural (with D audit = 7 in the minimal 3D stencil). Under an explicit QCA class defined below, the small- k dispersion and its D audit -scalings are structural and numerically testable. Any specific IR mass value requires (A5) and is kept as discussion only.

2. Model Definition: QCA Dynamics and Audit Closure

2.1. Lattice, Local Degrees of Freedom, and Global Update

Let the lattice be Z 3 with nearest-neighbor adjacency. Each site x carries a finite-dimensional Hilbert space
H x = H x ( field ) H x ( audit ) .
A single QCA timestep is a translation-invariant, causal (locality-preserving) unitary U acting on x H x [1,2,3]. We assume a depth-D circuit representation
U = U ( D ) U ( D 1 ) U ( 1 ) ,
where each layer U ( k ) is a product of commuting two-site unitaries on disjoint edges (a matching), optionally interleaved with on-site unitaries.

2.2. Minimal Neighborhood Block

Define the ( 1 + 6 ) neighborhood
B min = { A } { B i } i = 1 6 , | B min | = 7 ,
where A is central and B i are its six axis neighbors.

2.3. Formal Audit Closure

Let Π audit be a projector acting on x B min H x defining the set of configurations judged auditable. One concrete choice is “six link constraints” between A and each neighbor B i (e.g. agreement of syndrome bits or stabilizer eigenvalues).
Definition (certification at time t). A state ρ t is certified on B min if
Tr Π audit ρ t 1 ε .

3. Why the Minimal Certification Depth Is D audit 7 Micro-Steps

This is the first reinforcement brick: the factor 7 is a depth lower bound from locality scheduling.

3.1. Scheduling constraint: one edge per layer per site

In a layer made of disjoint two-site unitaries, any site can participate in at most one two-site gate. The central site A has six incident edges ( A , B i ) that must be incorporated if audit closure depends on all six neighbor relations.

3.2. Proposition (minimal certification depth)

Proposition. Assume (A1–A3) and that audit closure requires incorporating information from each link ( A , B i ) into a joint certification (so that all six link constraints are checkable). Then
D audit 6 + 1 = 7 ,
where + 1 corresponds to an on-site “audit finalization” step (writing/locking a certification flag at A).
Proof sketch. Each layer is a matching; site A can interact with at most one neighbor per layer. Covering the six incident edges requires at least six two-site layers. A final on-site layer aggregates/locks the audit result, hence D audit 7 . □
Figure 2. Schematic 7-layer schedule: six disjoint two-site layers sequentially cover the six incident edges of A, followed by one on-site finalization layer.
Figure 2. Schematic 7-layer schedule: six disjoint two-site layers sequentially cover the six incident edges of A, followed by one on-site finalization layer.
Preprints 191415 g002

4. Operational Definition of Copy Time via Distinguishability (Helstrom)

This is the second reinforcement brick: τ copy is operational.

4.1. Distinguishability and Minimal Decision Error

Let ρ 0 be a reference state and ρ t the state after t micro-layers. Define the trace distance
D ( ρ 0 , ρ t ) : = 1 2 ρ 0 ρ t 1 .
For binary hypothesis testing with equal priors, the Helstrom bound gives
p err = 1 2 1 D ( ρ 0 , ρ t )
[8]. Therefore a tolerance ε can be implemented as a distinguishability threshold:
p err ε D ( ρ 0 , ρ t ) 1 2 ε .

4.2. Definition (Copy Time)

Definition. For specified ε , define the copy time as
τ copy ( ε ) : = inf t 0 : D ( ρ 0 , ρ t ) 1 2 ε .

5. Quantum-Speed-Limit Lower Bound and Explicit Constant

This is the third reinforcement brick: τ copy admits a principled lower bound tied to information geometry.

5.1. Fidelity/Bures and Quantum Fisher Information

Let F ( ρ 0 , ρ t ) be the fidelity. The Bures angle is θ ( t ) = arccos F ( ρ 0 , ρ t ) . Quantum speed-limit (QSL) inequalities relate the rate of state change to generators and information metrics [9]. In unitary families, quantum Fisher information (QFI) controls distinguishability rates; a convenient form is
θ ( t ) 1 2 0 t I Q ( s ) d s .

5.2. Definition of Stiffness χ and Explicit Bound

For a unitary family ρ t = e i H t / ρ 0 e + i H t / with pure ρ 0 = | ψ ψ | , the QFI is [10,12]
I Q = 4 Var ψ ( H ) 2 .
Motivated by this, define the stiffness parameter
χ : = 4 Var ψ ( H ) 2 ,
which has dimensions of 1 / time 2 . Combining the Helstrom threshold with Fuchs–van de Graaf and the QSL yields (derivation reproduced in Appendix D)
τ copy ( χ , ε ) C 1 ( ε ) χ 1 / 2 , C 1 ( ε ) = 2 arccos 4 ε ( 1 ε ) .

6. A Minimal Explicit QCA Class with Emergent Dispersion and Effective Mass

This section is added to meet a core PRA expectation: an explicit model with a derived, testable dispersion relation and a nontrivial scaling prediction.

6.1. Local Hilbert Space and a 7-Layer Floquet-QCA Schedule

Consider a translation-invariant QCA on Z 3 whose field register is a 4-component spinor (Dirac-like) at each site, and whose audit register enforces the 7-layer closure schedule. We model the certified sector by a stroboscopic (Floquet) unitary over one audit cycle:
U cyc = U ( 7 ) U ( 1 ) , T cyc = D audit τ copy ( 0 ) .
Layers 1–6 implement conditional nearest-neighbor shifts along the three axes (each axis implemented by a two-sublattice swap schedule, hence two micro-layers per axis), and layer 7 implements an on-site “audit finalization” rotation that will generate a spectral gap.

Dirac matrices.

Let σ i be Pauli matrices. Define
α i = 0 σ i σ i 0 , β = I 2 0 0 I 2 , { α i , α j } = 2 δ i j I , { α i , β } = 0 .

Conditional shift along axis i.

Let a be the lattice spacing and Π i ± = ( I ± α i ) / 2 . Define the unitary shift S i by
S i = x Z 3 | x + a e ^ i x | Π i + + | x a e ^ i x | Π i .
S i is local and unitary, and it updates each site from its nearest neighbors along ± e ^ i (a standard QCA/quantum-walk construction; see e.g. unitary lattice automata in [4,5]).
Figure 3. Schematic small- | k | dispersion in the explicit QCA class: a nonzero gap at k = 0 defines m eff , while the slope is set by v eff . Both scale with the audit depth D audit in Proposition Section 6.3.
Figure 3. Schematic small- | k | dispersion in the explicit QCA class: a nonzero gap at k = 0 defines m eff , while the slope is set by v eff . Both scale with the audit depth D audit in Proposition Section 6.3.
Preprints 191415 g003

Audit-finalization (mass-generating) on-site rotation.

Let
R ( θ ) = exp i θ 2 β ,
where θ is a dimensionless on-site angle executed once per audit cycle (layer 7). This “rare” on-site layer is exactly where D audit will enter the effective mass.

6.1.0.4. One-cycle unitary in momentum space.

On plane waves | k (wavevector k ), each S i acts as
S i ( k ) = exp i a k i α i ,
so the cycle unitary is
U cyc ( k ) = R ( θ ) S z ( k ) S y ( k ) S x ( k ) .
The micro-layer decomposition (six shift micro-layers + one on-site micro-layer) is consistent with the geometric audit scheduling from Sec. III; Eq. (19) is the compact axis-grouped form.

6.2. Effective Hamiltonian and emergent Dirac form

Define the Floquet effective Hamiltonian H eff ( k ) by
U cyc ( k ) = exp i H eff ( k ) T cyc , T cyc = D audit τ copy ( 0 ) .

Lemma (first-order BCH control).

Let A , B , C , D be matrices with sufficiently small operator norms. Then
log e A e B e C e D = A + B + C + D + O A 2 + B 2 + C 2 + D 2 .
We use (21) in the regime | a k | 1 and | θ | 1 .

6.3. Proposition: Small- k Dispersion and a Derived Effective Mass

Proposition (emergent Dirac dispersion with audit-depth scaling). Consider the explicit QCA class defined by (19). In the regime | a k | 1 and | θ | 1 , the effective Hamiltonian satisfies
H eff ( k ) = v eff α · ( k ) + m eff c 2 β + O 2 k 2 , θ 2 , k θ ,
with
v eff = a T cyc = a D audit τ copy ( 0 ) , m eff c 2 = T cyc θ 2 = θ 2 D audit τ copy ( 0 ) .
Consequently, the two quasi-energy branches satisfy
E ( k ) = ( v eff k ) 2 + ( m eff c 2 ) 2 + O 2 k 2 , θ 2 , k θ .
Proof. Write (19) as a product of exponentials:
U cyc ( k ) = exp i θ 2 β exp ( i a k z α z ) exp ( i a k y α y ) exp ( i a k x α x ) .
Apply (21) with A = i θ 2 β and B i = i a k i α i . Using the Dirac anticommutation relations, all terms in A + i B i are linear in θ and k , while the BCH commutators contribute only at quadratic order in these small parameters, yielding
log U cyc ( k ) = i θ 2 β + a α · k + O ( θ 2 , a 2 k 2 , a k θ ) .
Comparing with (20) gives
H eff ( k ) = T cyc θ 2 β + a α · k + O θ 2 / T cyc , a 2 k 2 / T cyc , a k θ / T cyc ,
which is (22) with (23). Diagonalizing the leading Dirac form gives (24). □

6.4. Computed Stiffness χ , an Explicit τ copy , and a Spectral Gap

This subsection makes the requested quantities explicit and simulation-ready.

Spectral gap.

At k = 0 , (22) gives H eff ( 0 ) = m eff c 2 β so the gap is
Δ E + ( 0 ) E ( 0 ) = 2 m eff c 2 = θ D audit τ copy ( 0 ) .

Stiffness χ from the explicit H eff .

Pick a reference state at k = 0 that is an equal superposition of β eigenstates, so β = 0 and Var ( H eff ) = ( m eff c 2 ) 2 . Then from (12),
χ = 4 ( m eff c 2 ) 2 2 = θ D audit τ copy ( 0 ) 2 .
Equivalently, m eff c 2 = 2 χ and the audit depth enters through χ D audit 2 at fixed θ .

An explicit copy time (not just a bound).

At k = 0 , the unitary evolution under H eff ( 0 ) = m eff c 2 β rotates relative phase between β = ± 1 components. For the equal-superposition reference state above, the trace distance to the initial state is
D ( ρ 0 , ρ t ) = sin m eff c 2 t .
Thus the operational copy time solving D 1 2 ε is
τ copy ( ε ) = m eff c 2 arcsin ( 1 2 ε ) = 2 D audit τ copy ( 0 ) θ arcsin ( 1 2 ε ) .
This saturates the speed-limit scaling τ copy χ 1 / 2 since (29) gives τ copy 1 / χ with an explicit constant.

6.5. Robust, Falsifiable Scaling Predictions (Simulation Targets)

The explicit class above yields nontrivial, testable scalings:
v eff D audit 1 , m eff c 2 D audit 1 , χ D audit 2 , τ copy χ 1 / 2 .
These are not “re-labelings” of known constants: increasing the audit depth by changing the schedule (adding commuting audit layers, or increasing neighbor closure size) predicts measurable flattening of the dispersion and gap suppression in a direct QCA simulation.

7. Synchronization Latency as an Operational Timescale

Define the matter certification time
τ mat = η τ copy ( 0 ) , η : = D audit ,
and in the minimal ( 1 + 6 ) geometry, η = 7 . Combining (13) with (33) yields
τ mat ( χ , ε ) D audit C 1 ( ε ) χ 1 / 2 .

8. Locality Reinforcement: Lieb–Robinson and Why Synchronization Is Meaningful

Locality-preserving dynamics supports an emergent causal cone; in lattice systems this is formalized by Lieb–Robinson bounds [6,7]. This supports treating audit closure as a finite-time synchronization over B min : influence from outside B min is suppressed at short times relative to the effective light cone.

9. Planck→EW as Discussion Only (Kept Explicitly Non-Claiming)

Scope statement. This section does not claim a derived numerical electroweak scale. It only describes how one might choose a UV boundary condition (e.g. Planck time) and then require an independent, explicit RG/matching computation to connect to IR.

9.1. Latency Energy Scale (Heuristic Discussion)

A commonly used heuristic associates a timescale with an energy scale:
E lat τ mat .
If (only if) one chooses τ copy ( 0 ) = t Pl as a boundary condition, then
E seed D audit t Pl E Pl D audit .
No IR prediction follows without an explicit matching model (A5).

9.2. Explicit UV-to-IR Attenuation Factor (Model-Dependent)

To connect E seed to an IR mass m IR , define
m IR c 2 = ρ E seed ,
where ρ must be computed by a specified matching/flow scheme (e.g. FRG) [13,14]. This is discussion only.

10. Reproducibility and Audit Trail (“Data vs Priors” Hard Separation)

Rule R1 (freeze priors). Fix before any comparison: neighborhood choice, audit threshold ε , data sources (PDG/NIST/AME), and calibration convention.
Rule R2 (no leakage). Values used as priors may not be reused as validation targets. Validation tables must cite sources and be reproducible from frozen inputs.
Maintain a minimal audit log:
AUDIT_RUN:
  script_sha256: <hash>
  inputs_sha256: <hash>
  conventions: {Planck: "reduced/unreduced", eps: 1e-6, u_to_MeV: 931.49410242}
  outputs:
    table_atomic_to_nuclear_sha256: <hash>

11. Mass-Data Hygiene: PDG vs NIST vs AME

We separate:
  • Particle masses (PDG) [16],
  • Atomic/isotopic masses (NIST) [20–23],
  • Nuclear masses derived from atomic masses (AME practice) [18,19].

11.1. Atomic-to-Nuclear Conversion

Given a neutral-atom mass M A ( A , Z ) , the nuclear mass is [19]
M N ( A , Z ) = M A ( A , Z ) Z m e + B e ( Z ) c 2 ,
with electronic binding energy B e ( Z ) . A widely used approximation is [19]
B e ( Z ) 14.4381 Z 2.39 + 1.55468 × 10 6 Z 5.35 eV .

12. Interpretive Summary (Reinforced)

Matter is a waiting time: a stable “image” is certified only after an audit closes over a minimal neighborhood—and in an explicit QCA class this waiting-time schedule generates a measurable spectral mass gap.
Reinforcement comes from:
  • Geometry + locality scheduling: ( 1 + 6 ) implies D audit 7 (5).
  • Operational measurability: τ copy via Helstrom distinguishability (9).
  • Lower-bound control: QFI/Bures speed limit gives (13).
  • Explicit derived dispersion: in Sec. Section 6, m eff and v eff emerge from the circuit and scale with D audit (32).
  • Auditability: priors/validation separation and hash-logged artifacts prevent post-hoc tuning.

13. Outlook: Superheavy Stability as Conjecture (Scoped)

Conjecture (coherence-volume bound). If audit latency enforces an upper bound on sustainable coherence volume, then beyond a critical complexity the certification time may exceed relevant decoherence times, yielding systematically shortened lifetimes for sufficiently heavy nuclei.
Quantitative placeholder. A working range sometimes discussed is A 310 –320, presented here only as a model-dependent placeholder until derived from explicit composite-audit dynamics and confronted with nuclear-structure systematics.

Appendix A. Explicit 7-Layer Toy Gate Set (One Certified Neighborhood)

This appendix gives a minimal, explicit gate schedule that realizes a ( 1 + 6 ) audit closure in exactly 7 micro-layers.

Appendix A.1. Registers

For the central site A and each neighbor B i (with i = 1 , , 6 ), assume:
  • field qubits: f A at A, and f B i at B i ;
  • audit bits at A: a 6-bit register a A , i (one bit per neighbor link) and a 1-bit certification flag g A .
Initialize a A , i = 0 and g A = 0 .

Appendix A.2. Edge-Syndrome Writing Layers (Layers 1–6)

For each neighbor i, define a reversible unitary U A , B i ( i ) that writes the link syndrome
s i : = f A f B i
into the corresponding audit bit a A , i :
U A , B i ( i ) : a A , i a A , i ( f A f B i ) ,
leaving all other bits unchanged.

Appendix A.3. Audit Finalization Layer (Layer 7)

Define an on-site reversible gate U A ( 7 ) that sets the certification flag if and only if all six syndromes are zero:
U A ( 7 ) : g A g A i = 1 6 ¬ a A , i .

Appendix A.4. Audit projector for this toy construction

A natural audit projector is
Π audit = i = 1 6 | 0 0 | a A , i | 1 1 | g A
(tensored with identity on unused degrees of freedom). In noisy settings one uses tolerance ε as in (4).

Appendix B. Atomic → Nuclear Conversion Table (Computed for H, C-12, Au-197, U-238)

We apply (38) with electronic binding energy approximation (39). Constants/conventions used:
  • atomic masses M A from NIST isotopic composition tables [21–23];
  • 12C mass is exact by definition of the atomic mass scale [20];
  • conversion 1 u c 2 = 931.49410242 M e V (CODATA 2018) [17];
  • electron mass in u: m e 0.000548579909065 u (CODATA 2018) [17].
Table A1. Computed nuclear masses using M N = M A Z m e + B e ( Z ) / c 2 with B e from (39). Values are rounded to the MeV level in energy.
Table A1. Computed nuclear masses using M N = M A Z m e + B e ( Z ) / c 2 with B e from (39). Values are rounded to the MeV level in energy.
Isotope Z M A (u) B e (MeV) M N (u) M A c 2 (GeV) M N c 2 (GeV)
1H 1 1.00782503223 0.000014 1.00727646782 0.938783 0.938272
12C 6 12 (exact) 0.001045 11.99671052055 11.177929 11.174864
197Au 79 196.96656879 0.517344 196.92378636837 183.473197 183.433346
238U 92 238.0507884 0.762670 238.00113780810 221.742905 221.696656

Appendix C. Toy FRG Matching that Computes the Attenuation Factor ρ

This appendix provides a minimal toy example showing how an explicit UV→IR matching can yield an attenuation factor ρ in m IR c 2 = ρ E seed . The goal is not realism: it illustrates a mechanism and a reproducibility template [13,14].

Appendix C.1. Set-Up: Scalar Toy Model and Wetterich Flow in LPA

Consider a single real scalar field in four Euclidean dimensions with an effective average action in Local Potential Approximation (LPA),
Γ k [ ϕ ] = d 4 x 1 2 ( ϕ ) 2 + V k ( ϕ ) , V k ( ϕ ) = 1 2 m k 2 ϕ 2 + λ k 4 ! ϕ 4 .
The Wetterich equation reads [13,14]
t Γ k = 1 2 Tr Γ k ( 2 ) + R k 1 t R k , t = ln ( k / Λ ) ,
with IR regulator R k . Using the Litim regulator R k ( p ) = ( k 2 p 2 ) Θ ( k 2 p 2 ) yields closed-form threshold functions [15].
Define the standard dimensionless couplings
m ˜ 2 ( k ) = m k 2 k 2 , λ ˜ ( k ) = λ k ,
and in a minimal toy truncation approximate the mass flow by
t m ˜ 2 2 m ˜ 2 + a λ ˜ , a : = 1 16 π 2 .

Appendix C.2. Analytic solution and explicit ρ

Solving (A7) yields
m IR = Λ m ˜ Λ 2 a λ ˜ 2 , ρ = m IR c 2 E seed = m ˜ Λ 2 a λ ˜ 2 ,
upon identifying Λ E seed / c 2 .

Appendix D. Detailed Derivation: QFI/Bures ⇒ a Lower Bound on τ copy

Appendix D.1. Step 1: Certification Threshold in Trace Distance

Let ρ 0 be a reference state and ρ t the state after time t. Define trace distance D ( ρ 0 , ρ t ) = 1 2 ρ 0 ρ t 1 . For binary hypothesis testing with equal priors, the Helstrom bound states [8]
p err = 1 2 1 D ( ρ 0 , ρ t ) .
Requiring p err ε is equivalent to
D ( ρ 0 , ρ t ) 1 2 ε .

Appendix D.2. Step 2: Relate Trace Distance to Fidelity (Fuchs–van de Graaf)

Let F ( ρ 0 , ρ t ) be the fidelity. The Fuchs–van de Graaf inequalities [11,12] state
1 F ( ρ 0 , ρ t ) D ( ρ 0 , ρ t ) 1 F ( ρ 0 , ρ t ) .
Using the upper bound and (A10) implies
F 4 ε ( 1 ε ) .

Appendix D.3. Step 3: Bures Angle Target

Define the Bures angle
θ ( t ) : = arccos F ( ρ 0 , ρ t ) [ 0 , π / 2 ] .
From (A12), certification implies
θ ( t ) θ min ( ε ) , θ min ( ε ) : = arccos 4 ε ( 1 ε ) .

Appendix D.4. Step 4: QFI Speed-Limit Inequality

Quantum speed-limit results relate the rate of change of the Bures angle to the QFI [9]:
θ ( t ) 1 2 0 t I Q ( s ) d s .
If I Q ( s ) I Q max on [ 0 , t ] , then
t 2 θ ( t ) I Q max .

Appendix D.5. Step 5: Unitary Pure-State Case and χ

For unitary ρ t = e i H t / ρ 0 e + i H t / with pure ρ 0 = | ψ ψ | ,
I Q = 4 Var ψ ( H ) 2 .
Define χ by (12); then I Q = χ and I Q max = χ .

Appendix D.6. Conclusion: Explicit Constant

Combining (A14) and (A16) gives
τ copy ( χ , ε ) 2 arccos 4 ε ( 1 ε ) = : C 1 ( ε ) χ 1 / 2 ,
which is (13).

Appendix E. Small Momentum Dispersion and Effective Mass: Clean Theorem and Sharp Hypotheses

Appendix E.1. Goal and Philosophy (Crucial for PRA)

This appendix provides (i) an intrinsic and non-imposed definition of the effective mass m eff derived from the quasi-energy dispersion of a translation-invariant QCA, (ii) a clean link between a QFI/stiffness-type quantity χ and a spectral gap (in a minimal explicit class), and (iii) a bridge to a falsifiable prediction dependent on the audit depth D audit via certified stroboscopic dynamics.

Appendix E.2. Hypotheses (Stated in a Falsifiable Manner)

We fix a unitary QCA U on Z 3 such that:
  • H1 (Translation Invariance). For any translation T a ( a Z 3 ), we have [ U , T a ] = 0 .
  • H2 (Vacuum Invariance). There exists a product vacuum state | Ω such that U | Ω = | Ω .
  • H3 (One-Particle Invariant Sector). The subspace with one localized excitation above the vacuum, denoted H 1 p , is invariant under U.
  • H4 (Analyticity near p = 0 ). In the Bloch representation on H 1 p , the matrix U ( p ) is analytic in a neighborhood of p = 0 .
  • H5 (Gapped Branch at p = 0 ). U ( p ) does not have eigenvalues equal to 1 at p = 0 on H 1 p (branch condition to define an effective logarithm without ambiguity near p = 0 ).

Remark (for the referee).

H4–H5 are standard hypotheses allowing a controlled expansion of the quasi-energy around p = 0 via functional calculus (matrix logarithm). They are testable: a numerical counterexample (band crossing, 1 crossing) invalidates the conclusion.

Appendix E.3. Momentum and Bloch Decomposition on the One-Particle Sector

On H 1 p , translation invariance implies the direct decomposition:
U | H 1 p T 3 d 3 p U ( p ) ,
where T 3 = [ π , π ] 3 is the Brillouin zone and U ( p ) is a finite matrix (typically 2 × 2 or 4 × 4 depending on the number of internal components on H 1 p ).

Appendix E.4. Definition: Quasi-Energy and Local Effective Hamiltonian in p

The eigenvalues of U ( p ) are of the form e i ε ( p ) (quasi-energies). Under H5, we define a logarithm (continuous branch near p = 0 ) and an effective Hamiltonian:
H eff ( p ) : = τ copy ( 0 ) i log U ( p ) , U ( p ) = exp i τ copy ( 0 ) H eff ( p ) ,
where H eff ( p ) is Hermitian on H 1 p and depends analytically on p near 0 (H4–H5).

Appendix E.5. Theorem: Relativistic Dispersion at Small p

Theorem A1
(Small p Dispersion and Effective Mass Derived from QCA). Under H1–H5, there exists a neighborhood of p = 0 in which the smallest positive quasi-energy satisfies
ε ( p ) 2 = ε ( 0 ) 2 + i , j = 1 3 A i j p i p j + O ( | p | 3 ) ,
with a real symmetric matrix A 0 determined by the derivatives of H eff ( p ) at p = 0 . We then define theeffective mass(rest energy scale) by
m eff c 2 : = τ copy ( 0 ) ε ( 0 ) ,
and aneffective velocity(isotropic after averaging or symmetry choice) by
v eff 2 : = 2 τ copy ( 0 ) 2 1 3 Tr A .
In the isotropic case ( A i j = α δ i j ), we obtain the standard form
τ copy ( 0 ) ε ( p ) 2 = ( m eff c 2 ) 2 + ( v eff ) 2 | p | 2 + O ( | p | 3 ) .
Proof. 
Under H4–H5, H eff ( p ) is analytic near p = 0 . We expand
H eff ( p ) = H eff ( 0 ) + i p i V i + 1 2 i , j p i p j W i j + O ( | p | 3 ) ,
where V i = p i H eff ( p ) | 0 and W i j = p i p j H eff ( p ) | 0 are Hermitian. On the considered band (smallest positive quasi-energy), the analytic perturbation theory of eigenvalues ensures that the eigenvalue E ( p ) = ( / τ copy ( 0 ) ) ε ( p ) admits a quadratic expansion. The linear term vanishes if the band is centered and symmetric (or after choosing the branch/ground state at p = 0 ), and the quadratic term defines A i j via the Hessian matrix of E ( p ) 2 at p = 0 . This yields (A21), followed by definitions (A22)–(A23).    □

What is falsifiable here.

(1) The existence of a gapped branch near p = 0 (H5); (2) the quadratic law of E ( p ) 2 in | p | 2 ; (3) the (optional) isotropy via A i j measured numerically.

Appendix E.6. Minimal Explicit Class: Local Hamiltonian ⇒ Stroboscopic QCA

To make the calculation of the gap and χ  concrete without relying on a "magic" 3D quantum walk formula, we provide a minimal class of models where everything is explicit on H 1 p .

Definition (Local One-Particle Hamiltonian).

On H 1 p , we consider a minimal lattice-Dirac Hamiltonian of the form
H eff ( p ) = ( m eff c 2 ) σ z + ( v eff ) j = 1 3 sin ( p j ) σ j ,
where σ j are Pauli matrices (we can choose a 2 × 2 representation on H 1 p ). We then define the discrete (stroboscopic) update by
U ( p ) exp i τ copy ( 0 ) H eff ( p ) .

Remark (Locality / QCA).

A U = exp ( i τ copy ( 0 ) H / ) derived from a local Hamiltonian is quasi-local (Lieb–Robinson). For a strictly circuit-QCA implementation (finite layers), one uses a Trotterization (order 1 or 2), which makes the simulation protocol conform to a layered schedule; the small-p analysis remains valid to the controlled order.

Exact Dispersion in this Class.

The eigenvalues of H eff ( p ) are
E ( p ) = ± ( m eff c 2 ) 2 + ( v eff ) 2 j sin 2 ( p j ) .
Thus, for | p | 1 ,
E ( p ) 2 = ( m eff c 2 ) 2 + ( v eff ) 2 | p | 2 + O ( | p | 4 ) ,
which satisfies (A24).

Appendix E.7. Clean Link: χ (QFI/Stiffness), Gap, and m eff in the Minimal Class

We recall the definition (main text) in a case where it becomes exactly calculable.

Definition (Stiffness via Generator Variance).

On a micro-layer, we write U ( k ) = exp ( i K ( k ) ) and H eff ( k ) = K ( k ) / τ copy ( 0 ) . For a pure reference state | ψ , we set
χ = 4 Var ψ ( H eff ( k ) ) 2 .
Proposition A1
(Explicit Calculation in a Minimal “Coin-Mass”). Suppose a micro-layer contains a local mass rotation U m = exp ( i θ σ z ) on H 1 p (this is the minimal building block that opens a gap). Then K = θ σ z , and for a reference state non-eigen of σ z (e.g., | + x ), we have Var ψ ( K ) = θ 2 and thus
χ = 4 θ 2 τ copy ( 0 ) 2 .
If, moreover, the rest effective Hamiltonian is H rest = ( m eff c 2 ) σ z with
m eff c 2 = τ copy ( 0 ) | θ | ,
then we obtain the direct and testable link
m eff c 2 = 2 χ , Δ 2 m eff c 2 = χ .
Proof. (A31) follows immediately from σ z 2 = I and σ z | + x = 0 . Next, (A32) is exactly the energy ↔ stroboscopic angle translation: U ( 0 ) = exp ( i θ σ z ) has quasi-energies ε ( 0 ) = | θ | , hence (A22). Finally, (A33) follows.    □

Why this is “Academic”.

We do not claim that “the gap equals the QFI” in general (which would be false). We state: in a minimal explicit class (local mass rotation + non-eigen reference state), χ exactly controls the gap Δ via (A33). This is clean, provable, and simulable.

Appendix F. Audit Depth D audit ⇒ Falsifiable Renormalization: Non-Trivial Scaling Law

Appendix F.1. Certified Stroboscopic Dynamics (Sharp Definition)

We define a “certified” dynamics (audit activated) by the following composition. Let Π Cert be a projector (or a CPTP filtering map) that enforces local audit closure with tolerance ε . We define the certified update over a window of D audit micro-layers by
U cert : = Π Cert U D audit .
This definition formally captures the idea: the “matter” excitation must survive (remain certifiable) for D audit micro-steps.

Appendix F.2. Falsifiable Prediction (Measurable Scaling Exponents)

There are two generic (and numerically distinguishable) mechanisms depending on the certification type:
  • Class A (Diffusive Accumulation). Π Cert acts as a weak filter at each micro-layer (weak backaction). This typically yields a diffusive cumulative renormalization (CLT-type), giving an exponent α 1 / 2 .
  • Class B (Stroboscopic/Zeno-like). Π Cert acts as a strong verification/quasi-projective measurement. This yields a linear renormalization in depth, giving α 1 (and a more strongly reduced group velocity).
Proposition A1A2
(Non-Trivial Scaling Law to be Tested Numerically). In a gapped regime and for | p | 1 , the certified quasi-energy ε cert ( p ) satisfies a dispersion of the form
τ copy ( 0 ) ε cert ( p ) 2 = m eff ( χ , D audit ) c 2 2 + ( v eff ( D audit ) ) 2 | p | 2 + ,
with a falsifiable scaling
m eff ( χ , D audit ) = K m χ D audit α [ 1 + o ( 1 ) ] , v eff ( D audit ) = K v D audit β [ 1 + o ( 1 ) ] ,
where ( α , β ) depend only on the certification class (A: diffusive, B: Zeno-like) and symmetries, and where K m , K v are normalization constants determined by the precise choice of Π Cert .

Why this is non-trivial.

This is not a rewriting of a known constant: it predicts a power law in D audit with a measurable exponent. A referee might ask, “show a log–log fit of m eff vs D audit at fixed χ ”: this is exactly falsifiable.

Note of Caution (Essential).

(A36) is a scaling prediction (universality-class style), not a general identity. It must be confirmed (or refuted) by simulation. The paper gains credibility precisely because it posits the testable law.

Appendix G. QCA Simulation Protocol: Observables, Pseudo-Code, Finite-Size Scaling

Appendix G.1. Geometry and Boundary Conditions

Simulate on a periodic 3D torus L × L × L . Use two modes: (i) one-particle sector (clean dispersion extraction), (ii) full space (certification statistics, failure rate vs ε ).

Appendix G.2. Observables to Measure (Minimal “Referee-Proof” List)

  • Quasi-Energy Dispersion ε ( p ) : evolution of a wave packet or a Bloch mode, phase extraction.
  • Gap Δ : Δ = 2 E ( 0 ) or Δ = 2 τ copy ( 0 ) ε ( 0 ) .
  • Effective Mass m eff : via (A22) or fit of (A35).
  • Effective Velocity v eff : via numerical derivative of E ( p ) (or quadratic fit).
  • Certification Rate P cert ( t ) = Tr ( Π Cert ρ t ) and stopping time (first failure).
  • Exponents ( α , β ) : log–log fit of m eff vs D audit and v eff vs D audit at fixed χ .

Appendix G.3. Robust Extraction of ε(p) (One-Particle Sector)

Prepare a Bloch state | ψ p in H 1 p and measure
λ ( p ) : = ψ p | U | ψ p ,
then extract ε ( p ) = arg ( λ ( p ) ) (with phase unwrapping). Alternatively, evolve t steps and fit arg ψ p | U t | ψ p t ε ( p ) .

Appendix G.4. Minimal Pseudo-Code (Dispersion Mode + Scaling Mode)

Inputs: L, tau0, chi (or theta), D_audit, eps_aud, T_steps, mode
Build lattice (periodic), build one-particle basis |x,internal>
Define U (either trotterized local Hamiltonian or layered circuit schedule)
Define Pi_cert (projector or Kraus filter implementing audit closure)
For each momentum p in grid {2pi n/L}:
    initialize |psi> = Bloch_state(p) in one-particle sector
    phase_list = []
    for t in 1..T_steps:
        for k in 1..D_audit:
            |psi> <- U |psi>
            if audit_on:
                |psi> <- Pi_cert |psi>   (projective or weak filter)
        phase_list.append( arg( <psi_p|psi> ) )
    fit slope of phase_list vs t -> eps_cert(p)
Fit eps_cert(p)^2 vs |p|^2 -> m_eff(D_audit,chi), v_eff(D_audit)
Repeat for several D_audit values -> log-log fits:
alpha from m_eff vs D_audit ; beta from v_eff vs D_audit
Repeat for several L values -> finite-size scaling & convergence checks

Appendix G.5. Finite-Size Scaling (Essential Control)

  • Use L { 16 , 24 , 32 , 48 , 64 } .
  • Work at the smallest non-zero momenta: | p | = 2 π / L .
  • Verify that m eff ( L ) converges (plateau) as L increases.
  • The exponent fits ( α , β ) are performed at large L where O ( 1 / L ) corrections are small.

Appendix G.6. Audit: Weak vs Projective Measurement (How to Choose)

  • Projective ( Π Cert ): conceptually very clean, close to “Zeno-like”, but can freeze the dynamics.
  • Weak (Kraus filter): more realistic and typically yields α 1 / 2 .
In the paper, you can state: “we consider these two classes; the distinguishing sign is the measured exponent.”

Appendix H. Audited Dirac-QCA: Explicit Model, Small p Dispersion, Derived Effective Mass, and Numerical Protocol

Appendix H.1. Positioning in the Literature (QW/QCA, Quasi-Energy Bands, Dirac Limit)

Quantum Cellular Automata (QCA) and translation-invariant Quantum Walks (QW) admit a description in momentum space via Bloch blocks, yielding quasi-energy bands  ε n ( p ) through the eigenvalues e i ε n ( p ) of the unitary step U ( p ) . In several minimal classes (homogeneity, locality, discrete isotropy), the large-scale and small | p | limit reproduces Weyl/Dirac-type dynamics with an effective mass readable as a quasi-energy gap near p = 0 . See, for example, the “Dirac QCA” constructions and their continuous limits, as well as the standard use of quasi-energy bands and group velocity in quantum walks/QCA [24–27].

Appendix H.2. Ultra-Clean Model Section

Geometry and Translations.

We consider a periodic lattice Λ L = ( Z / L Z ) d (with d = 1 for the complete analytical derivation below; the extension d = 3 is discussed at the end and is directly simulable). Translations T a act via T a | x = | x + a . Translation-invariance means [ U , T a ] = 0 for all a .

Local and Global Hilbert Space.

At each site x we take a local space
H loc = C coin 2 C clock D , D D audit .
The register C clock D is an audit counter (or “clock”) { | s } s = 0 D 1 that explicitly encodes a micro-local latency of depth D. The global Hilbert space is H = 2 ( Λ L ) C 2 C D .

Precise Definition of Momentum.

The momentum states | p (on Λ L ) are
| p = 1 L d / 2 x Λ L e i p · x | x , p = 2 π L ( n 1 , , n d ) , n j { 0 , , L 1 } .
Translation-invariance implies the decomposition into Bloch blocks U = p U ( p ) .

Vacuum State and One-Particle Subspace.

For the “dispersion” part, we work in the one-excitation subspace (one “particle”), where the dynamics can be represented as unitary on 2 ( Λ L ) C 2 C D . The operational “vacuum” is the local “ready” state | Ω = | 0 | + x | s = 0 (coin in σ x + initial counter), used as a reference state for the informational metric ( χ , τ copy ).

Update Rule: Minimal QCA with Explicit Audit Latency.

We first define a base quantum walk step  U 0 (Dirac-like) on 2 ( Λ L ) C 2 , then we delay it by a depth D counter.
(i) Base (1D): Split-Step Walk (Unitary, Local, Translation-Invariant). In d = 1 , we define the conditional shifts
S ± | x | = | x ± 1 | , S ± | x | = | x | ,
and coin rotations R y ( θ ) = exp ( i θ σ y / 2 ) . The base step is
U 0 = S R y ( θ 2 ) S + R y ( θ 1 ) .
(ii) Delay (Audit-Clock): Micro-Step W of Depth 1, whose Physical Step is of Depth D. We define the “clock” operator (cycle of length D) by
C = s = 0 D 2 | s + 1 s | + | 0 D 1 | .
Then the unitary audited micro-step W on position⊗coin⊗clock:
W = I I s = 0 D 2 | s + 1 s | + U 0 | 0 D 1 | .

Symmetries and Conservation(s).

  • Translation Invariance: [ W , T a ] = 0 inherits from [ U 0 , T a ] = 0 and the fact that the clock is on-site.
  • Unitarity:W is unitary because it acts as a cyclic permutation on the clock and applies U 0 only on the branch | D 1 (proof below).
  • Conservation: the number of excitations in the “one-particle” subspace is conserved by construction.

Appendix H.3. Clean Technical Result: Spectral Structure, Bands, Gap, and Dispersion

Appendix H.3.1. Lemma 1 (Unitarity and Relation W D =U 0 on the |s=0〉 Sector)

Lemma 1. The operator W defined in (A43) is unitary. Furthermore, for any state | ψ on position⊗coin,
W D | ψ | s = 0 = ( U 0 | ψ ) | s = 0 .
Proof. On the clock subspace, W is a cyclic shift; it applies U 0 exactly when the transition | D 1 | 0 is taken. In D micro-steps, this transition is crossed once, so U 0 is applied once and the clock returns to | 0 . The direct sum of (clock-orthogonal) branches and the unitarity of U 0 imply the unitarity of W. □

Appendix H.3.2. Theorem 1 (Audited Quasi-Energy Bands and Renormalization by D audit )

Theorem 1 (Bloch Spectrum). Let U 0 ( p ) be the Bloch block of the base step. Let its eigenvalues be e i ε 0 , ± ( p ) . Then W ( p ) has eigenvalues
e i ε ± , n ( p ) with ε ± , n ( p ) = ε 0 , ± ( p ) + 2 π n D , n { 0 , 1 , , D 1 } .
In particular (branch n = 0 ),
ε ± , 0 ( p ) = 1 D ε 0 , ± ( p ) , Δ eff = 1 D Δ 0 .
Proof. If W ( p ) | Φ = λ | Φ , then in D micro-steps, λ D is an eigenvalue of U 0 ( p ) on the | s = 0 clock branch by (A44). Thus λ D = exp { i ε 0 , ± ( p ) } , which means λ = exp { i ( ε 0 , ± ( p ) + 2 π n ) / D } . □

Appendix H.3.3. Base Dispersion and Small p Limit

For the split-step (A41) [24]:
cos ε 0 , ± ( p ) = cos θ 1 cos θ 2 cos p sin θ 1 sin θ 2 ,
with ε 0 , + ( p ) = + ε 0 ( p ) and ε 0 , ( p ) = ε 0 ( p ) . At the point p = 0 , ε 0 ( 0 ) = | θ 1 + θ 2 | (small branch). For | p | 1 , we obtain
ε 0 ( p ) 2 = m 0 2 + v 0 2 p 2 + O ( p 4 , m 0 2 p 2 ) , m 0 : = | θ 1 + θ 2 | , v 0 2 : = cos θ 1 cos θ 2 .

Appendix H.3.4. Proposition 1 (Audited Small p Dispersion and Derived Effective Mass)

Proposition 1. In the audited model ( n = 0 branch),
ε eff ( p ) ε + , 0 ( p ) m eff 2 + v eff 2 p 2 , m eff = m 0 D , v eff = v 0 D .
Proof. Combines (A45) ( n = 0 branch) with (A48). □

Appendix H.4. Link with χ, τ copy and Falsifiable Scaling

In the small p regime, a coin effective Hamiltonian is
H eff ( p ) m 0 σ y + v 0 p σ z .
With the coin reference state | + x , Var ( H eff ( 0 ) ) = m 0 2 thus
χ 0 4 Var ( H eff ( 0 ) ) 2 m 0 2 m 0 χ 0 .
By combining with m eff = m 0 / D , we obtain the falsifiable scaling law
m eff ( D , χ 0 ) D 1 χ 0 1 / 2 , v eff ( D ) D 1 .
And, via the QFI/Bures bound τ copy C 1 ( ε ) χ 1 / 2 ,
τ copy ( eff ) ( D ) D C 1 ( ε ) χ 0 1 / 2 .
Figure A1. Small p dispersion ( n = 0 band) with gap 2 m eff and slope v eff . Predictions: m eff D audit 1 χ 0 1 / 2 , v eff D audit 1 .
Figure A1. Small p dispersion ( n = 0 band) with gap 2 m eff and slope v eff . Predictions: m eff D audit 1 χ 0 1 / 2 , v eff D audit 1 .
Preprints 191415 g0a1

Appendix H.5. Validation Numérique: Protocole

Appendix H.5.1. Method A: Bloch Diagonalization (Fast, Clean)

for n in 0..L-1:
    p = 2pi*n/L
    build U0(p) for split-step walk
    build W(p) as (2D)x(2D) clock-companion:
        for s=0..D-2: block(s->s+1) = I_4
        for s=D-1: (coin,D-1)->(U0(p)*coin,0)
    eigvals = eigenvalues(W(p))
    eps = -Arg(eigvals)
select band near 0 (branch continuity)
fit eps_eff(p) for small p to sqrt(m_eff^2 + v_eff^2 p^2)
repeat for several D: test m_eff ~ 1/D and v_eff ~ 1/D

Appendix H.5.2. Method B: Wave Packet (Dynamic Validation)

Propagate a Gaussian packet and extract v eff via x ( t ) , and m eff via coin oscillation frequency (“zitterbewegung”) at small p 0 .

Appendix H.6. Extension d=3 and Link to (1+6)

The spectral proof W D = U 0 (hence the renormalization by D) does not depend on d. In d = 3 , replace p by p and use a 3D Dirac-QCA step U 0 ( p ) or an axis splitting. The scalings m eff D 1 and v eff D 1 remain testable in simulation.

Appendix I. Extension 3D: Explicit Dirac-QCA Step on Cubic Lattice and Small |p| Dispersion

Appendix I.1. 3D Model (Ultra-Clean): Local Hilbert Space, Update, Symmetries

Local Space.

To obtain a minimal and clean 3D Dirac dispersion, we take a 4-component spinor (coin):
H loc ( 3 D ) = C spin 4 C clock D , D D audit .
The global Hilbert space (one particle) is H = 2 ( Λ L ) C 4 C D on Λ L = ( Z / L Z ) 3 .

Translations and Momentum.

Translations T a and states | p are defined as in (A39) with p = 2 π L ( n x , n y , n z ) .

Discrete Dirac Matrices (Explicit Choice).

Choose a standard representation of the matrices α j , β C 4 × 4 satisfying
{ α i , α j } = 2 δ i j I , { α i , β } = 0 , β 2 = I .
(This is only an algebraic structure; the choice of representation does not affect the dispersion.)

Base Step U 0 (Local, Translation-Invariant, “Dirac-like”).

We define conditional shifts along the axes by projectors onto the α j = ± 1 subspaces. Let P j ± = 1 2 ( I ± α j ) . Define
( S j ψ ) ( x ) = P j + ψ ( x e ^ j ) + P j ψ ( x + e ^ j ) , j { x , y , z } .
Then the “mass coin” (on-site):
C m = exp i m 0 β .
The 3D base QCA step is then
U 0 = C m S z S y S x .

Audit-Clock (Same Construction as Previous Appendix).

We define W exactly as (A43), replacing U 0 with (A58). We thus retain W D = U 0 on the | s = 0 branch (Lemma A44).

Symmetries.

  • Translation invariance: [ U 0 , T a ] = 0 , thus [ W , T a ] = 0 .
  • Locality: S j only couples neighbors (one step ± e ^ j ), C m is on-site.
  • “One-particle” conservation: true in this sector by construction.

Appendix I.2. Bloch Block and Dispersion

Block U 0 (p).

In momentum space, (A56) gives
S j ( p ) = e i p j α j , U 0 ( p ) = e i m 0 β e i p z α z e i p y α y e i p x α x .

Appendix I.35.1. Theorem 2 (Small |p| Dispersion: Dirac Form + Derived Mass)

Theorem 2. Assume | m 0 | 1 and | p | 1 (long-wavelength regime). Then U 0 ( p ) = exp ( i H D ( p ) + O ( | p | 2 | m 0 | , | p | 3 ) ) with an effective Dirac-type Hamiltonian:
H D ( p ) = m 0 β + p · α ,
and the quasi-energies satisfy
ε 0 ( p ) = m 0 2 + | p | 2 + O ( | p | 3 , | m 0 | | p | 2 ) .
In particular, the gap at p = 0 is 2 | m 0 | , so the “mass” (in the dispersion sense) is | m 0 | .
Proof (Clean, Short). We use the Baker–Campbell–Hausdorff formula:
e A e B = e A + B + 1 2 [ A , B ] + .
With A = i m 0 β and B = i j p j α j , the commutators are of order O ( | m 0 | | p | ) , and the subsequent terms yield O ( | m 0 | | p | 2 , | p | 3 ) . We thus obtain U 0 ( p ) = exp ( i ( m 0 β + p · α ) + corrections ) . Since ( m 0 β + p · α ) 2 = ( m 0 2 + | p | 2 ) I by (A55), the spectrum is ± m 0 2 + | p | 2 , hence (A61). □

Appendix I.35.2. Corollary 2 (Audit: Effective Mass and Effective Velocity)

By the spectral argument from the previous appendix (Theorem 1: ε ( ε + 2 π n ) / D ), we obtain on the n = 0 band:
ε eff ( p ) 1 D m 0 2 + | p | 2 , m eff = | m 0 | D , v eff = 1 D .
This is a non-trivial and falsifiable prediction: the “gap” and the band slope renormalize as D 1 without being manually imposed (they are induced by the clock/audit construction + the Dirac-like local step).

Appendix I.3. Clean Link with χ and a Scaling Prediction

We define χ via the variance of the effective generator. In the small | p | regime, take H eff ( p ) τ 0 H D ( p ) (where τ 0 is the micro-step duration). Then at p = 0 ,
χ 0 = 4 Var ψ ( H eff ( 0 ) ) 2 = 4 τ 0 2 Var ψ ( m 0 β ) .
For a coin reference state such that β ψ = 0 (standard non-aligned “ready” choice), Var ψ ( m 0 β ) = m 0 2 , thus
| m 0 | = τ 0 2 χ 0 .
By combining with (A62):
m eff ( D , χ 0 ) = | m 0 | D = τ 0 2 D 1 χ 0 1 / 2 , v eff ( D ) = D 1 .
Falsifiable Prediction (Scaling): at fixed χ 0 , m eff D 1 ; at fixed D, m eff χ 0 1 / 2 . This is not a rewritten constant: it is a scaling law testable in simulation by varying D and m 0 .

Appendix I.4. 3D Numerical Protocol (Observables + Finite-Size Scaling)

Key Observables.

  • ε eff ( p ) : quasi-energy of the n = 0 band (continuity from p = 0 ).
  • m eff : estimated by m eff = ε eff ( 0 ) .
  • v eff : slope v eff | p | ε eff ( p ) | p | 0 .
  • Scaling Test: fit m eff ( D ) D z (prediction z = 1 ).

Pseudo-Code (Bloch Diagonalization).

for L in {32,48,64,...}:
  for D in {1,2,4,8,16,...}:
    for p-vector in small shell: p = (2*pi/L)*(nx,ny,nz) with small |n|:
      build 4x4 U0(p) = exp(-i m0 beta) exp(-i pz alpha_z) exp(-i py alpha_y) exp(-i px alpha_x)
      build W(p) as (4D)x(4D):
        for s=0..D-2: block(s->s+1) = I_4
        block(D-1 -> 0) = U0(p)
      eigvals = eigenvalues(W(p))
      eps = unwrap(-Arg(eigvals))  # choose band continuous from p=0
    m_eff(L,D) = eps(p=0)
    v_eff(L,D) = slope fit of eps vs |p| for smallest |p|
  finite-size check: m_eff(L,D) vs 1/L -> extrapolate L->\infty
  scaling: fit log m_eff vs log D -> exponent z (expect z\approx 1)

Minimal Finite-Size Scaling.

At m 0 0 , we expect a non-zero gap and a weak dependence on L. Report m eff ( L , D ) and extrapolate L by a fit in 1 / L (or 1 / L 2 ).

References

  1. Arrighi, P.; Nesme, V.; Werner, R. F. Unitarity plus causality implies localizability. J. Comput. Syst. Sci. 2011, 77, 372–378. [Google Scholar] [CrossRef]
  2. Schumacher, B.; Werner, R. F. Reversible quantum cellular automata. arXiv 2004, arXiv:quant-ph/0405174. [Google Scholar] [CrossRef]
  3. Meyer, D. A. From quantum cellular automata to quantum lattice gases. J. Stat. Phys. 1996, 85, 551–574. [Google Scholar] [CrossRef]
  4. I. Białynicki-Birula, Weyl, Dirac, and Maxwell equations on a lattice as unitary cellular automata. Phys. Rev. D 1994, 49, 6920. [CrossRef]
  5. D’Ariano, G. M.; Perinotti, P. Derivation of the Dirac equation from principles of information processing. Phys. Rev. A 2014, 90, 062106. [Google Scholar] [CrossRef]
  6. Lieb, E. H.; Robinson, D. W. The finite group velocity of quantum spin systems. Commun. Math. Phys. 1972, 28, 251–257. [Google Scholar] [CrossRef]
  7. Hastings, M. B.; Koma, T. Spectral gap and exponential decay of correlations. Commun. Math. Phys. 2006, 265, 781–804. [Google Scholar] [CrossRef]
  8. Helstrom, C. W. Quantum Detection and Estimation Theory; Academic Press, 1976. [Google Scholar]
  9. Deffner, S.; Campbell, S. Quantum speed limits: from Heisenberg’s uncertainty principle to optimal quantum control. J. Phys. A: Math. Theor. 2017, 50, 453001. [Google Scholar] [CrossRef]
  10. Braunstein, S. L.; Caves, C. M. Statistical distance and the geometry of quantum states. Phys. Rev. Lett. 1994, 72, 3439–3443. [Google Scholar] [CrossRef]
  11. Fuchs, C. A.; van de Graaf, J. Cryptographic distinguishability measures for quantum-mechanical states. IEEE Trans. Inf. Theory 1999, 45, 1216–1227. [Google Scholar] [CrossRef]
  12. Nielsen, M. A.; Chuang, I. L. Quantum Computation and Quantum Information, 10th Anniversary Edition; Cambridge University Press, 2010. [Google Scholar]
  13. Wetterich, C. Exact evolution equation for the effective potential. Phys. Lett. B 1993, 301, 90–94. [Google Scholar] [CrossRef]
  14. Berges, J.; Tetradis, N.; Wetterich, C. W. Non-perturbative renormalization flow in quantum field theory and statistical physics. Phys. Rep. 2002, 363, 223–386. [Google Scholar] [CrossRef]
  15. Litim, D. F. Optimized renormalization group flows. Phys. Rev. D 2001, 64, 105007. [Google Scholar] [CrossRef]
  16. et al.; S. Navas et al. (Particle Data Group) Review of Particle Physics. Phys. Rev. D 2024, 110, 030001. [Google Scholar] [CrossRef]
  17. Tiesinga, E.; Mohr, P. J.; Newell, D. B.; Taylor, B. N. CODATA recommended values of the fundamental physical constants: 2018. Rev. Mod. Phys. 2021, 93, 025010. [Google Scholar] [CrossRef]
  18. Wang, M.; Huang, W. J.; Kondev, F. G.; Audi, G.; Naimi, S. The AME 2020 atomic mass evaluation (II). Tables, graphs and references. Chin. Phys. C 2021, 45, 030003. [Google Scholar] [CrossRef]
  19. Audi, G. , The AME2012 atomic mass evaluation (II). Tables, graphs and references. Chin. Phys. C 2012, 36, 1603–2014. [Google Scholar] [CrossRef]
  20. NIST. Atomic Weights and Isotopic Compositions – Column Descriptions. Available online: https://www.nist.gov/pml/atomic-weights-and-isotopic-compositions-column-descriptions.
  21. NIST. Atomic Weights and Isotopic Compositions for Hydrogen. Available online: https://physics.nist.gov/cgi-bin/Compositions/stand_alone.pl?ascii=ascii&ele=H.
  22. NIST, Atomic Weights and Isotopic Compositions for Gold. Available online: https://physics.nist.gov/cgi-bin/Compositions/stand_alone.pl?ascii=ascii&ele=Au.
  23. NIST. Atomic Weights and Isotopic Compositions for Uranium. Available online: https://physics.nist.gov/cgi-bin/Compositions/stand_alone.pl?ele=U.
  24. Kitagawa, T.; Berg, E.; Rudner, M.; Demler, E. Exploring topological phases with quantum walks. Phys. Rev. A 2010, 82, 033429. [Google Scholar] [CrossRef]
  25. Strauch, F. W. Relativistic quantum walks. Phys. Rev. A 2006, 73, 054302. [Google Scholar] [CrossRef]
  26. Farrelly, T. A review of quantum cellular automata. Quantum 2020, 4, 368. [Google Scholar] [CrossRef]
  27. Arrighi, P.; Nesme, V.; Werner, R. F. Unitarity plus causality implies localizability. arXiv arXiv:0711.3975. [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2026 MDPI (Basel, Switzerland) unless otherwise stated