Manuscript II-B@1 · II-B-v1.tex · section · bfd2eb3c

Deterministic label pullback

Pullback of the complete finite certificate › Deterministic label pullback · lines 1565–1579

For any finite code set $K$ and map $δ : K \to S$ , let

A_{δ} \in {0, 1}^{∣ K ∣ \times 3}, (A_{δ})_{k i} = 1_{{δ (k) = β_{i}}},

where $β_{i}$ ranges over $β_{0}, β_{+}, β_{-}$ . Define

N^{δ} = A_{δ} N_{S}, m^{δ} = A_{δ} m_{S} .

Displayed formulas in this passage

unlabeled · line 1569
$A_{δ} \in {0, 1}^{∣ K ∣ \times 3}, (A_{δ})_{k i} = 1_{{δ (k) = β_{i}}},$
unlabeled · line 1576
$N^{δ} = A_{δ} N_{S}, m^{δ} = A_{δ} m_{S} .$