MathLabs

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

ステップ 6/7: グラフから関数へ戻る:ゴッツマン・リニアル
ざっくり言うと

ステップ5は純粋にグラフと行列についてのものだった。ここでゴッツマン・リニアルの同値がそれをブール関数についての主張へ戻す。二つのレベル集合 f=0f=0 と f=1f=1 は {0,1}n\{0,1\}^n の相補的な誘導部分グラフを与え、この同値は非平衡の場合について定式化されており、一方のレベル集合が常に 2n−1+12^{n-1}+1 個以上の頂点を持つと主張するものではない。

s(f)≥deg⁡(f)s(f) \ge \sqrt{\deg(f)}
詳しい解説

ゴッツマンとリニアル(1992年)は、Γ(H)≥h(n) for every H with ∣V(H)∣≠2n−1\Gamma(H) \ge h(n) \text{ for every } H \text{ with } |V(H)| \ne 2^{n-1} と、すべてのブール関数 ff に対する s(f)≥h(deg⁡(f))s(f) \ge h(\deg(f)) が同値であることを証明した。前者の H では、H とその補グラフの一方が少なくとも 2n−1+12^{n-1}+1 個の頂点を持つ。定理1.1に h(n)=nh(n) = \sqrt{n} を適用すると s(f)≥deg⁡(f)s(f) \ge \sqrt{\deg(f)} が得られる。

このステップの用語
単調関数
すべての nn について h(n)≤h(n+1)h(n) \le h(n+1) を満たす関数 hh のこと。ここではゴッツマン・リニアル同値における一般的な下界の形として使われる。
このステップで使う知識