Manuscript VII-E@1 · VII-E.tex · example · b713cf3c

Example: A guard can reveal an otherwise inaccessible spectator

Spectator-extension invariance › The capacity leak · lines 930–940

VII-E@1#ex:capacity

Let $g \in {0, 1}$ , and let a geometric rule request $g \mapsto 1$ . Suppose its capacity guard is

∣ Γ ∣ \leq K .

At $∣ Γ ∣ = K$ , the update is permitted. Adding a single product spectator blocks it, even when every coupling algebra is $C I$ and no matter operation touches the spectator.

Displayed formulas in this passage

unlabeled · line 934
$∣ Γ ∣ \leq K .$

Nearby in this section

section: The capacity leak