多項式リトルウッド–オフロード問題で最適なゼロ確率の上界を示す証明(AI が発見)
この論文は、±1 の独立同分布乱数を変数に持つ多項式がゼロになる確率に関する最適な上界を示します。具体的には、次数 d のマルチリニア多項式が、次数 d の単項式を変数集合が互いに重ならない形で r 個含むとき、その多項式がゼロをとる確率はおおよそ r^{-1/2} で抑えられる、というものです。ここで Rademacher(ラデマッハ)乱数とは各変数が独立に ±1 を取る確率分布を指します。マルチリニアとは、各変数について他を固定すれば1次式になる多項式のことです。要するに「大きなマッチング(重ならない高次項)が多ければゼロになりにくい」ことを定量化した結果です。
著者は、この主張を導く短い議論を提示します。興味深い点は、その議論が GPT-6 Pro によって自律的に発見されたとされることで、著者はそのチャットログを示しつつ、自身で議論を検証し、理解し直して書き直したと明記しています。従来は対数因子を含む弱い上界しか知られていませんでしたが、本稿の結果はその余分な因子を取り除き、H. Nguyen と V. Vu に帰属する予想を解決します。論文は「点ごとの抗集中(pointwise anticoncentration)」や「小区間の抗集中(small-ball anticoncentration)」と呼ばれる形で結果を述べています。
証明の中心には「有理関数の全影響量(total influence)」に対する評価があります。全影響量とは、ある関数の入力ビットを一つランダムに反転したときに出力がどれだけ変わりやすいかを平均した数値で、関数の感度を示します。本稿では、分子・分母ともに次数が低い多項式で表される有理関数について、この全影響量を上界する定理を示します。概要としては、関数をフーリエ基底で見たときの線形作用素として扱い、その行列の特異値やノルムを用いて二乗和を評価するという線形代数的な手法を使っています。さらに、その影響量に関する評価は、Kothari らが提案した予想の一つを解決することにもなります。論文中では、この影響量評価から抗集中の主定理が導かれます。
この結果は応用面でも意味があります。たとえば、論文は Razborov と Viola の手法に基づいて、パリティ関数(ビットの和の偶奇を返す関数)を低次多項式で近似できないことを示す範囲を拡大できる点を挙げています。また、大規模なハイパーグラフの辺に関する統計(ある頂点集合がちょうど m 本の辺を含む割合)についても、従来の「対数の損失」を削ることで最適な上界が得られると述べています。つまり組合せ論や計算論で既存の結果を強める直接的な効用があります。
重要な注意点も明示されています。まず次数 d に対する依存は指数的な因子(おおまかに 2^d など)を含み、こうした指数依存は避けられない例があるため完全には改善できません。逆に、次数に関する細かい係数は最適でない可能性があると著者は慎重に述べています。結果は論文の仮定通りラデマッハ分布を扱いますが、「変数が定数に近くない」場合には条件付けで拡張できるとも書かれています。また、示された影響量の評価は既存の Gotsman–Linial の予想を直接解決するほど強くはないが、Kothari らの提案した別の予想を解決するものである、といった限界も明確にされています。最後に、発見過程に AI が関わった点については、論文内でその経緯と検証の記録を公開していることも付記されています。