Manuscript Psy03-A@1 · Psy03-A.tex · theorem · b30eb6e9
Theorem: Zero weight dose does not control implementation
Intervention budgets and the failure of weight-only dose › The source metrics · lines 423–455 · proof included or linked
Psy03-A@1#thm:zerodose
There exist pairs in the stated architecture with identical weights, biases, and masks, hence , but different clean logits and accuracies. This holds for a damping change alone, and also for an activation change alone.
Proof. For damping, use one constant positive feature. Give its first hidden unit bias one and zero incoming weights. Relay that unit through one unit in each subsequent hidden layer using weight one and bias zero. Use ReLU and send the final feature to output class . Its clean logit is . Set the class- output bias to , where
and the other logits to . For a test law with label , changing to changes accuracy from zero to one. No parameter or mask changes.
For activation, isolate a third-layer unit with zero incoming weights and bias two, set , and send it to class . Let class have bias , and the other logits be . ReLU gives , whereas . The prediction again changes without a parameter change. Unused coordinates embed both examples in the specified widths.
Displayed formulas in this passage
unlabeled · line 440