解法：黄皓用带符号超立方体邻接矩阵证明敏感度猜想(2019年)

黄皓的证明(2019年,第2节)依赖于线性代数中的一个经典事实:柯西交错定理。设 $A$ 是特征值为 $\lambda_1 \ge \cdots \ge \lambda_n$ 的 $n \times n$ 对称矩阵,$B$ 是通过删去 $A$ 中同一组行与列得到的 $m \times m$ 主子矩阵,其特征值为 $\mu_1 \ge \cdots \ge \mu_m$,那么对每个 $1 \le i \le m$ 都有 $\lambda_i \ge \mu_i \ge \lambda_{i+n-m}$。黄皓将其引用为引理2.1,并指出它可由柯朗–费歇尔–外尔极小极大原理导出。