Manuscript Psy03-C@1 · Psy03-C-v1.tex · proposition · d3380b90
Proposition: Finite resolution and a noisy blend reference
Probe geometry and exact task references › An exact non-monotonic blend reference · lines 1295–1336 · proof included or linked
Psy03-C@1#prop:blendnoise
For , the minimum separation between the four scalar mixture values is
Nearest-value decoding recovers both signs if scalar observation error is strictly less than .
If independent Gaussian noise of standard deviation is added to each blend coordinate, define its one-coordinate class densities
where is the centered Gaussian density. Then
For , this accuracy is strictly less than one.
Proof. Sort the four noiseless scalar values and inspect adjacent gaps. Nearest-value decoding is correct below half the minimum gap. For Gaussian noise, condition on the visual sign and average the two distractor signs. Coordinate likelihood decisions are independent. Both densities are positive everywhere, so their overlap has positive integral and coordinate success is strictly below one.
Displayed formulas in this passage
unlabeled · line 1299
unlabeled · line 1309
unlabeled · line 1313
unlabeled · line 1319