Manuscript En02-A@1 · En02-A-v1.tex · definition · bb1319d5

Definition: A fixed witness threshold

Exact fine-graining certificate cost and cheaper symmetry › Forcing thresholds · lines 1145–1153

For $a \in (0, 1)$ , put

χ_{a} = a ∣ 00 ⟩ + 1 - a ∣ 11 ⟩ .

Let $N_{force} (a)$ be the least $N \geq 2$ for which every $S \in A_{N}$ satisfies $P^{{0}}_{χ_{a}} (0) = a$ , if such an $N$ exists.

Displayed formulas in this passage