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

Back to manuscript

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

Nearby in this section