Manuscript Psy01-A@1 · Psy01-A.tex · proposition · 94477fa3
Proposition: Same clean function, different stress tolerance
Stress certificates and a conditional trade-off › Equal density does not determine fluctuation sensitivity · lines 834–866 · proof included or linked
Psy01-A@1#prop:equaldensity
There are networks with identical masks and identical clean logits for every input, but different stressed accuracies at every fixed .
Proof. Disconnect the first two hidden layers from a selected third-layer unit by setting its incoming weights to zero. Give that unit bias , so its clean activation is and its stressed activation is . Set its weight to output class equal to . Let the other class logits be , using output biases.
For every input, the clean logits are
For a test distribution with label , stressed correctness is equivalent to
and hence
All masks and all nonzero-position counts are unchanged as varies. Upstream noise cannot influence this output. The clean function is unchanged, but the stressed accuracy is strictly increasing in .
Displayed formulas in this passage
unlabeled · line 850
unlabeled · line 855
unlabeled · line 859