λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript En08-B@1 · En08-B.tex · section · 23cac52a

Support, signalling, and necessary resources

Support, signalling, and necessary resources · lines 348–363

En08-B@1#eq:ancestors

Back to manuscript

For $Y \subseteq X$ , write

A (Y) = L (H_{Y}) \otimes I_{X ∖ Y} .

For a circuit of $n$ ticks and an output set $Y$ , define its scheduled ancestor sets backwards:

N_{n} (Y) N_{k - 1} (Y) = Y, = ⋃ {B \in B_{k} : B \cap N_{k} (Y) \neq = \emptyset}, 1 \leq k \leq n .

Displayed formulas in this passage

En08-B@1#eq:ancestors · line 356
$N_{n} (Y) N_{k - 1} (Y) = Y, = ⋃ {B \in B_{k} : B \cap N_{k} (Y) \neq = \emptyset}, 1 \leq k \leq n .$
unlabeled · line 351
$A (Y) = L (H_{Y}) \otimes I_{X ∖ Y} .$

Nearby in this section