Manuscript X-E-ST@1 · X-E-ST.tex · section · 44614221

An explicit finite-report error

Finite supplied evaluations and the Enter instrument › An explicit finite-report error · lines 2351–2362

For reports $v_{k} \in [- 1, 1]$ , define

p_{y} (v) = \frac{1 + y v}{2}, y \in {- 1, 1},

and

I_{v} (X) = k, y \sum ∣ k, y ⟩ ⟨ k, y ∣_{R} \otimes p_{y} (v_{k}) D_{k} X D_{k}^{†} .

Displayed formulas in this passage

unlabeled · line 2354
$p_{y} (v) = \frac{1 + y v}{2}, y \in {- 1, 1},$
unlabeled · line 2358
$I_{v} (X) = k, y \sum ∣ k, y ⟩ ⟨ k, y ∣_{R} \otimes p_{y} (v_{k}) D_{k} X D_{k}^{†} .$