解法: 符号付き超立方体隣接行列によるホァンの感度予想の証明(2019年)

ニサンとセゲディ(1992年)はすでに定数倍を除いて $bs(f) \le \deg(f)^2$ を示しており、後にタル(2013年)によって正確に $bs(f) \le \deg(f)^2$ へと精密化された。ステップ6の定理1.4を2乗すると $\deg(f) \le s(f)^2$ が得られ、これをタルの評価に代入すると、すべてのブール関数 $f$ に対して $bs(f) \le s(f)^4$ が得られる。これはまさに感度予想が求めていた多項式関係(明示的な定数 $C=4$ 付き)であり、こうしてHuangの短いスペクトル論法──巧妙な行列1つ、古典的な固有値区間定理1つ、初等的な行和評価1つだけから構成された──は、ほぼ30年間にわたり攻略を拒んできた問題を解決した。