Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75

The two-input orientation

A normalized two-pentagon network › The two-input orientation · lines 2026–2035

The decoder in this proof is explicit: for the omitted output bit $f$ , use the columns

2 (I_{three} \otimes ⟨ f ∣) F_{R} ∣ e, c ⟩,

with the appropriate output permutation, as in (eq:TA). They form an $8 \times 8$ unitary matrix.

Displayed formulas in this passage