Average sensitivity
The quantity is the universal coefficient in for polynomial threshold functions of degree at most , with and . A lower coefficient is better.
These results are Claimed: their authors published them, and we have not checked them.
| Bound | Evidence level | Author | Date | Proof scope |
|---|---|---|---|---|
| Claimed | Proof scopeNo Lean proof is supplied. |
Relevant repos
- log-prathm/ptf-average-sensitivity: The dimension-dependent refinements are separate.