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
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
- definition: Definition: Certified nets
- section: Certified rational nets and a budgeted mesh theorem
- proposition: Proposition: Binary mesh values
- theorem: Theorem: C : anchoring and mesh control
- remark: Remark: No boundary cocycle estimate without residual control
- section: Certified rational nets and a budgeted mesh theorem