Manuscript Psy03-D@1 · Psy03-D-v1.tex · proposition · 3e18951d

Proposition: Observation-law perturbation allowance

Observable task designs are new protocols › An allowance for imperfect source alignment · lines 789–820 · proof included or linked

Psy03-D@1#prop:leakage

Back to manuscript

Let be the ideal joint law of the rule, points, and admitted auxiliary observations in the uncued task. Let be another law on the same spaces with , and retain the target . Every predictor has accuracy under at most

truncated at one.

More generally, for a conditional rule posterior and a reference posterior , the difference between their optimal current-label probabilities is at most

when the same point and label functions are used.

Proof. Mapping the joint law to target and prediction cannot increase total variation. The expectation of a correctness indicator changes by at most . For the conditional statement, each candidate-label probability is the posterior mass of a subset of rule IDs. Its change is at most total variation; taking a maximum preserves that allowance.

Displayed formulas in this passage

  • unlabeled · line 797

  • unlabeled · line 805

Nearby in this section