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

Lemma: Common probability modulus

Certified rational nets and a budgeted mesh theorem · lines 1254–1272 · proof included or linked

En02-A@1#lem:modulus

Back to manuscript

For a fixed admissible strategy at capacity , there is a nondecreasing function , tending to zero at zero, such that

for every same-size pair with at most qubits.

Proof. Each fixed ray space is compact, so continuity implies uniform continuity. Up to name relabeling there are finitely many register sizes and measured subsets at capacity . Take the maximum of their uniform moduli.

Displayed formulas in this passage

  • unlabeled · line 1259

Nearby in this section