[論文レビュー] 401 and beyond: improved bounds and algorithms for the Ramsey algebra search

Jeremy F. Alm|arXiv (Cornell University)|Sep 6, 2016

Constraint Satisfaction and Optimization被引用数 5

ひとこと要約

本稿は、$(\mathbb{Z}/p\mathbb{Z})^\times$ の乗法的陪集合を用いて、素数体上のラマヌジャン代数を構築するためのアルゴリズムと境界を改善する。フーリエ一様性と和積原理を活用し、任意の素数体上に13色のラマヌジャン代数が存在しないことを証明し、長年の未解決事例を解消した。また、ラマヌジャン数よりもはるかにタイトな $p$ の上界を確立し、$m=2000$ まで効率的な計算が可能になった。主な貢献は、素数体上では $m=13$ が不可能であることを証明し、$A263308(13)=0$ を得たことである。この手法は、$p$ が大きくなるにつれて乗法的部分群が一様に分布することを示すフーリエ解析を用い、ラマヌジャン代数に必要な和集合をとる集合として不適切であることを示している。

ABSTRACT

In this paper, we discuss an improvement of an algorithm to search for primes $p$ and coset-partitions of Z/pZ* that yield Ramsey algebras over Z/pZ. We also prove an upper bound on the modulus p in terms of the number of cosets. We have, as a corollary, that there is no prime $p$ for which there exists a partition of Z/pZ* into 13 cosets that yields a 13-color Ramsey algebra. Thus A263308(13) = 0.

研究の動機と目的

• $(\mathbb{Z}/p\mathbb{Z})$ 上のラマヌジャン代数のアルゴリズム的探索を、乗法的陪集合を用いて改善すること。
• 色の数 $m$ に対して、素数法 $p$ の上界を、指数関数的ラマヌジャン境界に代わるはるかにタイトな形で確立すること。
• $m=13$ の未解決事例を、任意の素数体上にそのようなラマヌジャン代数が存在しないことを証明することで解消すること。
• 加法的組合せ論とフーリエ解析を用いた理論的基盤を提供し、乗法的部分群がいつ和集合をとる集合として成立するかを理解すること。

提案手法

• 乗法的部分群が加法的に非構造的（つまり、ランダム集合のように振る舞う）であることを、和積現象を用いて主張する。
• 部分群 $X_0$ の特性関数にフーリエ解析を適用し、非自明なフーリエ係数の大きさを測定することで、準ランダム性を測る。
• パーサバルの恒等式とフーリエ係数の上限を用いて、$x+y=z$ の解の数を推定し、$p > m^4 + 5$ のとき解が存在することを示す。
• 補題2を活用してアルゴリズムを最適化する：$X_0 + X_i$ が $X_j$ と交差するならば、$X_j$ 全体を含むことになり、チェック回数を削減できる。
• $X_0$ が $p^{-1/2}$-一様（Schoen と Shkredov による）であることを利用し、解数の誤差項を抑え、$p > m^4 + 5$ のとき $X_0$ に $x+y=z$ の解が存在することを示す。
• 理論的境界と計算的検証を組み合わせ、$p < 28567$ のすべての $p$ をチェックすることで、$m=13$ を除外した。

実験結果

リサーチクエスチョン

• RQ1 ラマヌジャン数 $R_m(3)$ よりも、$\mathbb{Z}/p\mathbb{Z}$ 上に $m$-色のラマヌジャン代数が存在するための $p$ の上界を、著しく改善できるか？
• RQ2 $X_0 \leq (\mathbb{Z}/p\mathbb{Z})^\times$ の乗法的陪集合が、13色のラマヌジャン代数に必要な和集合条件を満たすような素数 $p$ が存在するか？
• RQ3 乗法的部分群のフーリエ一様性を用いて、十分に大きな $p$ に対してそれらが和集合をとる集合でないことを証明できるか？
• RQ4 $p$ と $m$ にどのような条件を課すと、$X_0$ が和集合をとる集合となるか、特に $p$ が $m^4$ に対して小さい場合に有効か？

主な発見

• 本稿は、任意の素数体 $\mathbb{Z}/p\mathbb{Z}$ 上に13色のラマヌジャン代数が存在しないことを証明し、$A263308(13) = 0$ であることを示した。
• よりタイトな $p$ の上界が確立された：$p < m^4 + 5$ であれば $X_0$ の和集合をとる集合としての非成立が保証され、これはラマヌジャン数の境界よりもはるかにタイトである。
• $m=13$ の場合、この境界により $p < 28567$ が得られ、存在しないことを完全に計算的に検証可能となった。
• サイズ $(p-1)/m$ の乗法的部分群 $X_0$ は、$p > m^4 + 5$ のとき、$p^{-1/2}$-一様性とそれに伴う $x+y=z$ の解の数が非ゼロであることから、和集合をとる集合でないことが示された。
• 補題2を用いた最適化により、陪集合の回転対称性を活用し、和集合チェックの回数を削減した。
• $p$ が大きくなるにつれて、$X_0$ のフーリエ係数は $p$ に対して次第に小さくなり、準ランダム性が増すことが示された。これにより、$p$ が十分に大きい場合には $X_0$ が和集合をとる集合でないことが確認された。