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
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