Manuscript X-F-ST@1 · X-F-ST.tex · section · e71f03ef

Scheduled locality, regular transport, and resource ledger

Scheduled locality, regular transport, and resource ledger · lines 2369–2382

At each tick let the complete finite channel factor over a prescribed partition into finite-site blocks. All classical records and control wires are included. For final sites $Y$ , define

N_{t, t} (Y) = Y, N_{s, t} (Y) = ⋃ {B : B is a block at tick s + 1, B \cap N_{s + 1, t} (Y) \neq = \emptyset} .

Displayed formulas in this passage

unlabeled · line 2376
$N_{t, t} (Y) = Y, N_{s, t} (Y) = ⋃ {B : B is a block at tick s + 1, B \cap N_{s + 1, t} (Y) \neq = \emptyset} .$

Nearby in this section

theorem: Theorem: Complete scheduled locality
section: Scheduled locality, regular transport, and resource ledger
theorem: Theorem: Regular reference-preserving route
section: Scheduled locality, regular transport, and resource ledger