Manuscript Em03-C@1 · Em03-C-v1.tex · section · 47dd71ec

Operational joint counts

Joint count certificates and bounded diagnostics › Operational joint counts · lines 2021–2037

Em03-C@1#eq:countcertificates

Let $e_{Z}$ be the number-setting budget of Theorem thm:settings. Then

∣ E_{model} κ_{i} - ν_{i} ∣ d_{TV} (p_{model}, p_{0}) \leq ν_{i} q_{i}^{a_{i}} + a_{i} e_{Z}, \leq min {1, p_{a} (ρ_{0}) + e_{Z}} .

The second line embeds the decoded actual law into $N_{0}^{2}$ . The same bound compares decoded records with retained $S R$ .

Displayed formulas in this passage

Em03-C@1#eq:countcertificates · line 2025
$∣ E_{model} κ_{i} - ν_{i} ∣ d_{TV} (p_{model}, p_{0}) \leq ν_{i} q_{i}^{a_{i}} + a_{i} e_{Z}, \leq min {1, p_{a} (ρ_{0}) + e_{Z}} .$