解法: 符号付き超立方体隣接行列によるホァンの感度予想の証明(2019年)
ステップ 5/7: 組み合わせる:主定理が導かれる ざっくり言うとここで前の3つの材料が組み合わさる。行列 An は n を巨大な重複度 2n−1 で固有値として持つ。区間定理は、十分大きい任意の主小行列がそれ以上の固有値を受け継がなければならないと述べ、行和の事実がその固有値を実際のグラフ H の最大次数についての主張へと変換する。
詳しい解説Qn の頂点集合 S(ただし ∣S∣≥2n−1+1)上の任意の誘導部分グラフ H を固定し、AH を S で番号付けられた行と列だけを残した An の主小行列とする。補題2.2(ステップ3)により、An は n を重複度 2n−1 の固有値として持ち、これは 2n−∣S∣ を上回るので、コーシーの区間定理(ステップ2)を i=2n−1 で適用すると λ1(AH)≥λ2n−1(An)=n が得られる。これを AH に適用した行和補題(ステップ4)と組み合わせると Δ(H)≥n が得られる——まさにHuangの定理1.1である。
このステップで使う知識