🔢 mathematics

The sum-product conjecture is false for real numbers

本論文は、実数および関連する設定において、同時に和集合と積集合が任意に小さくなる任意に大きな集合を構成することにより、和積予想を反証し、多数の和と積の予想を否定するとともに、線形方程式および単項方程式の解に対する新たな上限を確立する。

原著者： Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

公開日 2026-05-28

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

原著者： Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

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

大発明：50 年ぶりのルール破り

数字の袋があると想像してください。それらに対して、2 つのことができます：

足し算する（「和集合」を作る）。
掛け算する（「積集合」を作る）。

長年、数学者たちは「和・積予想」と呼ばれるルールを信じていました。そのルールは単純でした：両方を同時に持つことはできない。

直感的には、数字が「固まって」いて、足し算しても新しい数字があまり生まれない場合（数字の直線のようなもの）、掛け算すれば驚くほど多様な新しい数字が爆発的に生まれるはずです。逆に、掛け算しても数が小さく抑えられる場合（幾何級数のようなもの）、足し算すれば新しい数字が莫大に爆発的に生まれるはずです。

この予想は、任意の大きな実数の集合において、これらの操作の少なくとも一方が膨大な数の結果を生み出さなければならないと述べていました。足し算も掛け算もどちらも小さく抑えられるような集合を持つことは不可能だと考えられていたのです。

この論文は言います：「そうは問屋が卸さない」

著者たちは、実数に対してこのルールを覆す数学的な「マジック」を構築しました。彼らは、和集合も積集合も驚くほど小さく抑えられるような、特定の巨大な数字の集合を構築しました。彼らは単にルールを破っただけではなく、任意に巨大な数字の集合でそのルールを破ったのです。

マジックの仕組み：彼らがどうやってやったか

彼らの構築を理解するために、あなたが都市を建設していると想像してください。

1. 旧来の方法（Balog-Wooley の例）

以前、数学者たちは 2 種類の街区を混ぜることで小さな集合を作ろうと試みました：

幾何学的な通り：家々が指数関数的に間隔を開けて並んでいる通り（1, 10, 100, 1000...）。これらを掛けると通り上に留まります。しかし、足し算すると、間隔が広すぎて和が至る所に散らばってしまいます。
算術的な通り：家々が均等に並んでいる通り（1, 2, 3, 4...）。これらを足すと、密集したブロック内に留まります。しかし、掛け算すると数字が爆発してしまいます。

旧来のトリックは、これらの通りを混ぜることでした。しかし、「幾何学的な通り」はあまりにも疎らでした。広大な高速道路に数軒の家があるようなものです。それらを足すと、結果は依然として大きすぎてルールを破るには至りませんでした。

2. 新手法（高次元格子）

著者たちは、密集（家がいっぱい詰まっている）しているが、掛け算してもうまく振る舞うような「幾何学的な通り」が必要だと気づきました。彼らは、平坦な 2 次元マップから高次元のハイパー都市へと移動することでこれを見つけました。

都市（数体）：通常の整数ではなく、彼らは「完全実数体」と呼ばれる特別な「宇宙」の中で数字を構築しました。これは、 $d$ 個の異なる次元を持つ都市（ $d$ は非常に大きな数）だと考えてください。
加法格子（箱）：彼らは、この高次元空間で完璧に密集した立方体のような数字のブロックを選びました。この立方体から数字を足すと、結果はわずかに大きな立方体になります。コンパクトなままです。
乗法格子（単元）：彼らはまた、「単元」と呼ばれる特別な数字のグループを選びました。この高次元の世界では、これらの単元は密集した幾何級数のように振る舞います。これらを掛けると、密で予測可能な形状の範囲内に留まります。

3. 秘密のソース：「直積」

天才的な手際は、これら 2 つの格子を組み合わせることでした。彼らは、「加法立方体」からのすべての数字を、「乗法格子」からのすべての数字と掛け合わせました。

なぜ機能するか：「加法立方体」が非常に密に詰まっており、「乗法格子」が非常に密集しているため、結果として得られる集合は巨大（任意に大きい）になります。
結果：
- この新しい集合から 2 つの数字を足すと、「加法立方体」の部分が結果の爆発を防ぎます。
- 2 つの数字を掛けると、「乗法格子」の部分が結果の爆発を防ぎます。

まるで、通りが完璧に設計された都市のように、歩行（足し算）しようが、運転（掛け算）しようが、決して小さく管理可能な街区から出ることがないようなものです。

なぜこれが重要か（論文によると）

この論文は単に「ルールを破った」と言うだけではありません。異なる数学的世界でどのようにルールを破るかを示しています：

実数：彼らは、標準的な実数（私たちが日常生活で使う数字）に対してこのルールが偽であることを証明しました。
p 進数：彼らは、同じトリックが高度な物理学や暗号学で使用される異なる種類の数体系でも機能することを示しました。
有限体：彼らは、数字が巻き戻る「時計算術」であっても、ルールを破る集合を見つけられることを示しました。
関数体：彼らはこれを、符号理論で使用される形式的べき級数の体へと拡張しました。

「AI」に関する注記

著者たちは、別の数学問題（「単位距離予想」）に対する最近の AI 生成の反例に触発されたと述べています。彼らは、ある特定の補題（小さな証明ステップ）を簡素化する際の「意見交換相手」として AI（GPT-5.5 Pro）を使用しましたが、中核となるアイデア、主要な構築、そして証明全体は人間によって生成されました。AI は単なる便利な助手であり、建築家ではありませんでした。

まとめ

50 年間、数学者たちは足し算と掛け算の両方に対して「小さい」数字の集合を持つことはできないと考えていました。この論文は言います：「私たちはそれを作った」。

彼らは、足し算と掛け算のルールが完璧にバランスしており、結果を小さく保つような、巨大な高次元の数学的構造を構築することでそれを実現しました。彼らは、古いルールが間違っていたことを証明しました。それは単なる小さな奇妙な例外のためではなく、あなたが望む限り巨大になり得る数字の集合のためにです。

技術的サマリー：実数における和積予想は偽である

問題提起
本論文は、エー尔德什・スメレディの和積予想に焦点を当てている。この予想は、環（特に $\mathbb{Z}$ 、 $\mathbb{R}$ 、または $\mathbb{C}$ ）内の任意の有限集合 $A$ について、和集合 $A+A = \{a+b : a,b \in A\}$ または積集合 $AA = \{ab : a,b \in A\}$ の少なくとも一方が、ほぼ最大限に成長することを主張する。形式的には、この予想は以下のように主張される：
$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$
ここで、 $o(1)$ 項は $|A| \to \infty$ として消滅する。 $\mathbb{R}$ の部分集合に対する既知の最良の下限は $|A|^{4/3+c}$ の形であるが、この予想は未解決のままとなっている。著者らは、この予想が実数上で成り立つかどうかを調査する。

手法
著者らは、代数的数論、特に次数の大きい全実数体を用いて、明示的な反例を構成する。核心的な戦略は、Balog–Wooley の例の高次元一般化であり、標準的な幾何級数と算術級数を、数体 $K$ の整数環 $\mathcal{O}_K$ の構造化された部分集合に置き換えるものである。

この構成は、 $\mathcal{O}_K$ 内の 2 つの異なる格子構造に依存している：

加法的格子：すべての実埋め込み $\sigma_i(p)$ が短い区間 $[X-cX, X+cX] $に含まれる代数的整数の「箱」$ P$。これにより、加法的構造が小さな領域に制限される。
乗法的格子：その埋め込みの対数 $|\log|\sigma_i(u)||$ が定数 $Y$ によって有界となる単数 $u \in \mathcal{O}_K^\times$ の集合 $G$ 。これにより、積の成長が小さい（二重化が小さい）集合が作成される。

反例集合は、積 $A = GP = \{up : u \in G, p \in P\}$ として定義される。著者らは、 $P$ 内の任意の 2 要素の比が非自明な単数になり得ないようなパラメータを選択することで、この積が直接的（すなわち $|A| = |G||P|$ ）であることを保証する。この性質は、単数の分離に関する Schinzel の結果によって保証される。

適切な数体の存在は、有界な根判別式（ $\Delta_K \le C^d$ ）と制御されたレギュレーター（ $R_K \le \Delta_K$ ）を持つ全実数体の塔を構成する Martinet の構成によって保証される。これらの境界条件により、格子の体積（したがって $P$ と $G$ のサイズ）が次数 $d$ とともに指数関数的に成長し、任意に大きな集合 $A$ の構成が可能となる。

主要な貢献と結果

$\mathbb{R}$ における和積予想の反証：
主要な結果（定理 1.1）は、絶対定数 $c > 0$ が存在し、任意に大きな有限集合 $A \subset \mathbb{R}$ が以下の条件を満たすことを確立する：
$\max(|A+A|, |AA|) \le |A|^{2-c}$
これは予想に直接矛盾する。この構成により、和集合が小さく（ $|A+A| \le |A|^{1+\epsilon}$ ）、積集合がべき乗節約を示す（ $|AA| \le |A|^{2-c\epsilon}$ ）集合が得られる。
「多数の和と積」予想の反証：
著者らは、エー尔德シュによる $k$ 重和と積に関するより強い予想を反証するために、その構成を拡張する。任意の固定された $k \ge 3$ に対して、以下を満たす任意に大きな $A \subset \mathbb{R}$ を構成する：
$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$
この $k$ への依存性は、 $|A| \to \infty$ として固定された $k$ に対して最適であると考えられる。
乗法群における線形方程式に対する新たな下限：
この構成は、乗法群 $\Gamma$ 内の $x_i$ を持つ線形方程式 $x_1 + \dots + x_k = 1$ の解の個数に対する新たな下限を提供する。
- 次数 $d$ の $\mathbb{R}^\times$ の部分群に対して、非退化解の個数は少なくとも $\exp((C^{-1}k \log k)d)$ であることが示され、Evertse–Schlickewei–Schmidt の上限における指数の次数 $d$ に対する線形依存性が最良であることが実証される。
- 数体における単数方程式について、著者らは十分に大きな $k$ に対して、少なくとも $C^d$ 個の解を持つ次数 $d$ の体が存在することを示し、 $k \ge 3$ に対する亜指数関数的成長の予想を反証する。
他の設定における変種：
この手法は、以下の設定での反例を生成するように適応されている：
- $p$ 進数 ( $\mathbb{Q}_p$ )： $p$ が完全に分解する体を用いる。
- 有限体 ( $\mathbb{F}_p$ )：代数的整数の構成を $p$ 法で簡約することにより、 $p^c < |A| < p^{1/2}$ のサイズを持ち、和積成長が小さい集合を生成する。
- 関数体 ( $\mathbb{F}_q((t))$ )：多くの有理点を持つ代数曲線上の線束（Drinfeld–Vlăduț–Zink 列）を用いて、正標数における反例を構成する。

意義と主張
本論文は、数十年にわたり加法組合せ論の中心的問題であった実数に対する和積予想を決定的に反証したと主張している。著者らは、有界次数の数体（ $\mathbb{Z}$ など）内の集合については予想が成り立つ可能性はあるが、高次数の代数的構造の利用可能性により、 $\mathbb{R}$ の一般的な設定では失敗すると強調している。

著者らは、証明が特定の算術的性質（有界な判別式とレギュレーター）を持つ数体の存在に依存しており、これらは構成が非自明であるが代数的数論において確立されていることを指摘している。彼らは明示的に、主要なアイデアを含む最終的な証明はほぼ完全に人間によって生成されたが、初期段階で「試行錯誤の相手」として AI を利用し、より複雑な結果を単純化する特定の初等的な補題（補題 3.4）にも利用したと述べている。

この研究は、和積現象の限界に関する新たな定量的洞察を提供し、基礎となる代数的構造が十分に豊富（高次数）であれば、積集合における「べき乗節約」を小さな和集合と同時に達成できることを示している。論文は、定数 $c$ の明示的かつ小規模な値（例： $c \ge 0.00000087$ ）を提供し、 $p$ 進数や関数体を含むさまざまな代数的設定で同様の現象が発生することを示すことで結論を閉じる。