🔢 mathematics

Split primes and the Elekes-Rónyai problem

本論文は、非加法的かつ非乗法的である多項式 $x+y+(x-y)^2$ の像が、ある絶対定数 $c>0$ に対して $|A|^{2-c}$ によって抑えられるほど、二次よりも著しく小さくなるような、任意の大きさの有限集合 $A \subset \mathbb{R}$ の存在を示すことで、Elekes-Rónyai問題に対する反例を提示する。

原著者： Cosmin Pohoata

公開日 2026-06-12

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Cosmin Pohoata

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

大きな問い：カオスを隠すことはできるか？

想像してみてください。あなたは巨大な機械（数学的な公式）を持っていて、それは2つの数 $x$ と $y$ を取り込み、新しい数を出力します。この機械を $f$ と呼びましょう。

次に、あなたは「集合A」と呼ばれる数字の大きな袋を持っているとします。その袋からあらゆる組み合わせのペアを取り出し、機械に投入して、得られた結果をすべて集めます。この結果の集まりを「像集合（Image Set）」と呼びます。

パズル：
数学者たちは長い間、こう考えてきました。「もし、単なる足し算や掛け算ではない『複雑な』機械（例えば $x + y + (x-y)^2$ のようなもの）を選んだ場合、結果の数が非常に少なくなるように、数字の袋を工夫して構成することは可能なのだろうか？」と。

「簡単な」機械： もし機械が単なる足し算（ $x+y$ ）や掛け算（ $x \times y$ ）であれば、簡単にトリックが使えます。例えば、等差数列（1, 2, 3, 4など）を投入すれば、和は小さく予測可能な範囲に収まります。等比数列（2, 4, 8, 16など）を投入すれば、積も小さく抑えられます。このような場合、数字の袋に数字を追加していっても、ユニークな結果の数は緩やかに（線形に）しか増えません。
「難しい」機械： 有名な エレケス・ローナイ問題（Elekes-Rónyai problem） は、こう問いかけました。「もし機械が単純でなかったらどうなるだろうか？例えば、 $x + y + (x-y)^2$ のように、要素が混ざり合ったものだったら？」当時の有力な説（エレケスの予想）では、こうした「難しい」機械の場合、どれほど巧妙に数字を選んだとしても、ユニークな結果の数は爆発的に増えるはずだとされていました。もし袋の中に $N$ 個の数字があれば、結果の数はほぼ $N$ の2乗（ $N^2$ ）に近い速度で増えるはずだと考えられていたのです。

ブレイクスルー：「魔法のふるい」

この論文の中で、著者であるコスミン・ポホアタ（Cosmin Pohoata）はこう述べています。「実は、難しい機械であっても、騙すことは可能です。」

彼は、特定の「難しい」機械（ $f(x, y) = x + y + (x-y)^2$ ）が存在し、かつ、ユニークな結果の数が予想よりもずっと少なくなるような数字の選び方が存在することを証明しました。それは単に少し少ないというレベルではなく、誰もが破れないと考えていたルールを打ち破るほど、劇的に少ないものです。

どうやって実現したのか？（比喩による説明）

このトリックを理解するために、あなたが巨大な多層ビルの中に、特定の鍵を隠そうとしている場面を想像してください。

建物（数体系）： 普通の数字の代わりに、著者は特別な高次元の「数字の世界」（数学的構造である「数体」）を構築します。これは、何千ものフロアを持つビルだと考えてください。
鍵（素数）： 彼は、非常に特殊な性質を持つ「鍵（素数）」のセットを選びました。その性質とは、建物のあらゆるフロアにおいて、完璧に独立した多くの部屋へと「分裂」する性質です。
罠（剰余類）： 著者は、どんな数字を投入しても、出力が必ずビルの非常に特定の、小さなコーナーに辿り着くように機械を設計しました。
- 想像してみてください。どのフロアにおいても、機械の出力は必ず「偶数番号の部屋」か「赤いドアのある部屋」にしか着地できないというルールがあるとしたら。
- 機械が「すべてのフロアにおいて同時に」このルールを満たさなければならないため、出力が辿り着ける場所の数は驚くほど限定されてしまいます。
結果： たとえ建物自体が巨大（大きな数字の集合を表現している）であったとしても、「許可された」部屋の数は極めて少ないため、機械が生み出すユニークな結果は非常に少なくなります。

「分裂素数（Split Primes）」の秘伝のソース

秘密の材料は、「分裂素数（Split Primes）」 と呼ばれるものです。

通常の数学では、素数は一つの固まった壁のように振る舞います。
しかし、この著者の特別な数字の世界では、これらの素数は木が枝分かれするように「分裂」します。一つの素数が、多くの独立した「剰余体（residue fields）」（例えるなら、多くの小さな別々の部屋）へと分かれるのです。
著者は、これらの数字の世界をどんどん高く（より高い次元へ）積み上げていく「塔」を利用します。
それぞれの小さな部屋の中で、機械は必ず「平方数」（0, 1, 4, 9などのように）を出力するように強制されます。平方数は全数値の中で非常に稀な存在であるため、これにより出力が制限されます。
素数が「多くの部屋」に分裂するため、この制限が何度も、繰り返し発生します。この制限が重なり合うことで、ユニークな結果の数を劇的に絞り込む「ボトルネック」を作り出すのです。

「小さな倍数（Small Doubling）」のボーナス

この論文はさらに面白いことも示しています。機械が少ない結果を生むだけでなく、袋の中の数字自体も特別な性質を持っているということです。つまり、袋の中の数字を2つ組み合わせて足し合わせても、あまり多くの新しい数字は生まれません。

比喩： あるグループの人々を想像してください。彼らがペアを作って新しいチームを作る際、作られるユニークなチームの数が比較的少ない状態です。この性質により、「数字の袋」は非常に構造化され効率的になっており、これがトリックをより効果的に機能させる助けとなっています。

結論

著者は、見事な反例を構築しました。式 $x + y + (x-y)^2$ に対して、ユニークな出力の数がおよそ $N^{2-c}$ （ $c$ は小さな正の数）となるような巨大な数字の集合が存在することを示したのです。

これは、「準二次的（sub-quadratic）」 な成長であることを意味します。つまり、入力サイズの2乗よりも遅い速度で増えるということです。これは、「難しい」公式は必ず $N^2$ に近いユニークな結果を生み出すはずだ、という長年の予想を覆すものです。

要約すると： 著者は、複雑な高次元の数体系と特殊な素数を用いることで、複雑な公式をあたかも単純なもののように振る舞わせ、ユニークな結果の数を驚くほど低く抑えるという、数学的な「抜け穴」を見つけ出したのです。

技術要約：スプリット素数とエレケス＝ローニャイ問題

問題提起
本論文は、算術組合せ論およびインシデンス幾何学における中心的な問いである、エレケス＝ローニャイ問題を取り扱う。この問題は、有限集合 $A, B \subset \mathbb{R}$ における二変数多項式 $f \in \mathbb{R}[x, y]$ の拡大特性を調査するものである。具体的には、 $|A| = |B| = n$ であるとき、像集合 $f(A, B) = \{f(a, b) : a \in A, b \in B\}$ の最小可能サイズを問うている。

$f$ が「特殊」な場合（すなわち、 $f$ が加法的（ $f(x, y) = g(u(x) + v(y))$ ）または乗法的（ $f(x, y) = g(u(x)v(y))$ ）である場合）、像のサイズは $n$ に対して線形になり得ることが確立されている（例： $A$ と $B$ を算術級数または幾何級数として選択する場合）。「非特殊」な多項式については、エレケスとローニャイ（2000年）が、像のサイズが超線形（ $|f(A, B)|/n \to \infty$ ）になることを定性的に証明した。エレケスによる著名な予想は、すべての非特殊な多項式に対し、任意の $\epsilon > 0$ について定数 $C_{f, \epsilon}$ が存在し、 $|f(A, B)| \ge C_{f, \epsilon} n^{2-\epsilon}$ が成り立つという定量的な境界を提示している。

手法と構成
本論文は、代数的数論、格子幾何学、および「局所から大域へ」の篩（ふるい）原理の斬新な応用を組み合わせることで、エレケスの予想に対する反例を構成する。

多項式: 著者は、特定の非特殊な多項式 $f(x, y) = x + y + (x - y)^2$ に焦点を当てる。
代数的数論の入力: 構成は、次数 $d_i \to \infty$ かつ有界な根判別式を持つ、全実数体数の塔（tower of totally real number fields） $K_i$ に依存している（Hajir, Maire, Ramareによる結果に基づく）。決定的なことに、この塔のすべての体において完全分裂する有理素数の無限集合 $P$ が存在する。
局所剰余の制限: 著者は、補助的な多項式 $f_Q(x, y) = Q(x + y) + (x - y)^2$ を定義する。ここで $Q$ は $P$ から選ばれた相異なる素数の積である。 $Q$ を割る任意の素イデアル $\mathfrak{p}$ モジュロでは、項 $Q(x+y)$ は消滅し、 $f_Q(x, y) \equiv (x-y)^2 \pmod{\mathfrak{p}}$ となる。その結果、剰余体 $\mathbb{F}_p$ における $f_Q$ の像は、二次剰余（平方数）の集合に制限され、その密度はおよそ $1/2$ となる。
格子のための大域的構成:
- 著者は、塔から次数 $d$ の体 $K$ を選択し、整数環 $\mathcal{O}_K$ における対称なミンコフスキー・ボックス $B_K(X)$ を考える。
- 中国剰余定理により、分裂素数によって生成される $d$ 個の独立な剰余体における二次剰余への制限は、全体にわたって累積される。これにより、 $f_Q$ の像は密度 $\rho^d$ （ただし $\rho < 1$ ）の剰余類集合内に強制的に配置される。
- 数論的幾何学の推定（ブリッチュの補題およびパッキング引数）を用いることで、ミンコフスキー・ボックス内の整数点の数が指数関数的に増加すること（具体的には $\sim X^d$ ）に対し、許容される剰余類の数が $(\rho Q)^d$ として増大することを示す。
- $\rho < 1$ であるため、「合同による節約」係数 $\rho^d$ が集合の成長を支配し、結果として多項式の像のサイズが 2 未満の固定されたべき乗となる。

主要な結果
本論文は、以下の主要定理を確立している：

定理 1.1: 任意の大きさの有限集合 $A \subset \mathbb{R}$ と絶対定数 $c > 0$ が存在し、 $f(x, y) = x + y + (x - y)^2$ に対して次が成り立つ：
$|f(A, A)| \le |A|^{2-c}$
さらに、任意の固定された $\epsilon > 0$ に対し、加法的倍増が小さく（ $|A+A| \le |A|^{1+\epsilon}$ ）保たれる一方で、像の境界 $|f(A, A)| \le |A|^{2-c_\epsilon}$ を維持するように集合を選択できる。
非特殊性の検証: 本論文は、 $f(x, y) = x + y + (x - y)^2$ が $\mathbb{C}$ 上で加道的でも乗法的でもないことを厳密に証明しており、これがエレケス＝ローニャイ問題の有効な候補であることを確認している。

意義と主張
本論文は、非特殊な多項式に関する近二次的な下限に関するエレケスの予想を論破することを主張している。特定の非特殊な多項式が $O(n^{2-c})$ （ここで $c > 0$ は定数）の像のサイズを持ち得ることを示すことで、予想された境界 $n^{2-\epsilon}$ が偽であることを示している。

この構成は、「組合せ論的大篩（large sieve）」手法の反転として記述されている。典型的な篩法は、限定された多重度を持つ集合は小さくなることを証明するために局所的な分岐を用いるが、本研究は、局所的な分岐（分裂素数）を用いて値を小さな局所剰余類の集合へと強制することで、小さな像を持つ大きな集合を構築している。

本論文は、この構成が2026年6月のブログ投稿で最初に発表されたことを記しており、高次元の対称ミンコフスキー・ボックスや有界根判別式体数の塔を特に利用することで、エルデシュの単位距離問題や和積予想における最近の進展に依拠している。本稿は、これらの反例に対する形式的な証明と詳細なコンテキストを提供している。