Manuscript Hawk05-B@1 · Hawk05-B.tex · section · f2e5d4f5

A smaller code: a conservative complete-channel certificate

The Page curve and whole-code recovery are different tasks › A smaller code: a conservative complete-channel certificate · lines 1021–1039

Hawk05-B@1#eq:gamma

For a Haar embedding $V : C \to C^{r} \otimes C^{b}$ , $D = r b$ , define

ω_{QB} = (id_{Q} \otimes C) (Φ_{d}), σ_{B} = C (I_{C} / d) .

Put

γ_{B} = \frac{( 1 - d ^{- 2} ) r ( b ^{2} - 1 )}{D ^{2} - 1}, Λ_{B} = \frac{d}{2} d b γ_{B} .

Displayed formulas in this passage

Hawk05-B@1#eq:gamma · line 1031
$γ_{B} = \frac{( 1 - d ^{- 2} ) r ( b ^{2} - 1 )}{D ^{2} - 1}, Λ_{B} = \frac{d}{2} d b γ_{B} .$
unlabeled · line 1025
$ω_{QB} = (id_{Q} \otimes C) (Φ_{d}), σ_{B} = C (I_{C} / d) .$