Manuscript VII-F@1 · VII-F.tex · section · 2d81c03f

Exact guard

The particle packet and the geometric rule › Exact guard · lines 1345–1370

VII-F@1#eq:Grule

Let $s = j 2^{- d}$ be the decoded clock, with

- 2^{d} \leq j \leq 2^{d} .

Let $m = 0$ denote the incoming mode and $m = 1$ the outgoing mode. Let $ν$ be a permission counter.

The forward event domain is

m = 0, j = 0, ν \geq 1,

with the declared canonical geometric data.

The rule is

G : (g_{0}^{-}, Π_{⋆}, ν, ℓ_{1}, \dots, ℓ_{n}, ϱ) ⟼ (g_{0}^{+}, Π_{⋆}, ν - 1, τ (ℓ_{1}), \dots, τ (ℓ_{n}), ϱ) .

No coupling or measurement occurs.

Displayed formulas in this passage

VII-F@1#eq:Grule · line 1361
$G : (g_{0}^{-}, Π_{⋆}, ν, ℓ_{1}, \dots, ℓ_{n}, ϱ) ⟼ (g_{0}^{+}, Π_{⋆}, ν - 1, τ (ℓ_{1}), \dots, τ (ℓ_{n}), ϱ) .$
unlabeled · line 1348
$- 2^{d} \leq j \leq 2^{d} .$
unlabeled · line 1355
$m = 0, j = 0, ν \geq 1,$