Both $AA$ and $(A+1)(A+1)$ can be small

技術要約：「$AA$と$(A+1)(A+1)$ は共に小さくなり得る」

問題提起
本論文は、実数（$\mathbb{R}$）の部分集合における加法的構造と乗法的構造の相互作用に関する、加法的組合せ論における中心的な問いに取り組んでいる。和積理論の基本原則は、加法的シフトが乗法的構造を破壊することを提唱している。具体的には、有限集合 $A \subset \mathbb{R}$ に対して、積集合 $AA$またはシフトされた積集合$(A+1)(A+1)$ の少なくとも一方は大きくなることが一般に予想されている。

この最大値に対する既知の最良の下界は、StevensとWarrenによって確立されており、$\max\{|AA|, |(A+1)(A+1)|\} \geq |A|^{1 + \frac{11}{38} - o(1)}$ となっている。あるフォークロア的予想では、この不等式の指数は2に任意に近づくことが可能であり、すなわち、これら両方の集合が同時に小さくなる（すなわち、サイズが $O(|A|^{2-\epsilon})$ である）ことは不可能であると示唆されていた。しかし、Bloom、Sawin、Schildkraut、およびZhelezovによる最近の研究（BSZ）は、実数上の一般的な和積予想を論破し、指数2が正しい障壁ではない可能性を示唆した。本論文は、 $AA$と$(A+1)(A+1)$ の同時的な小ささに関する特定の予想が成立するかどうかを調査している。

手法
著者らは、BSZによる和積予想を論破するための構成法を適応させている。その手法は、有理数体 $\mathbb{Q}$ 上の次数 $d$ の全実数体 $K$ 内の数論的対象に基づいている。構成は以下の通りである：

1. 格子構成： Martinetの定理を利用して、判別式 $\Delta_K$ が $C^d$ で抑えられた全実数体 $K$ を選択する。著者らは代数的整数の環 $\mathcal{O}_K$ とその単数群 $\mathcal{O}_K^*$ を検討する。
2. 幾何学的埋め込み：
   • 加法的構造： ミンコフスキー埋め込み $\phi: \mathcal{O}_K \to \mathbb{R}^d$ は、代数的整数を格子 $\Lambda$ へ写す。著者らは、その埋め込みが辺の長さ $2R$ のボックス内に位置する代数的整数の集合 $B^+(R)$ を定義する。この集合の和集合は、わずかに大きなボックス内に収まるため、小さくなる。
   • 乗法的構造： 対数埋め込み $\psi: \mathcal{O}_K^* \to \mathbb{R}^d$ は、単数を、超平面上に位置するランク $d-1$ の格子の格子へと写す。著者らは、その対数埋め込みが辺の長さ $2Y$ のボックス内に位置する単数の集合 $B^*(Y)$ を定義する。単数の積集合は、単数の掛け算が対数格子における加算に対応するため、小さくなる。
3. 集合の定義： ターゲットとなる集合 $A$ は、積集合 $A = GP$として構成される。ここで$G = B^*(Y)$（単数）であり、$P = R + B^+(\epsilon R)$（シフトされた代数的整数）である。パラメータ$R$と$Y$は、$R$が$Y$に対して十分に大きい（具体的には$e^Y \leq \epsilon R$）ように選択され、単数格子と加法的構造の分離を確実にする。
4. サイズの解析：
   • 集合 $A$ のサイズは、近似的に $|G||P|$ である。
   • 積集合 $AA$は、$GG$と$PP$を分析することによって抑えられる。$GG$ の小ささは、単数の格子特性から導かれる。
   • シフトされた積集合 $(A+1)(A+1)$ は、要素を $g(p+1) = g(p + g^{-1})$ と書き換えることで分析される。これにより、著者らは集合を和集合 $P + G$ を用いて抑えることができる。$R$ を十分に大きく取ることで、$P+G$ が $P$ と同等のサイズの集合 $P'$ に含まれることが示される。

主な貢献と結果
主要な結果は定理1であり、これは絶対定数 $c > 0$ と、以下の条件を満たす任意の大きな有限集合 $A \subseteq \mathbb{R}$ の存在を確立している：
$$\max\{|AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$$
この結果は、これら2つの集合の最大値における指数が2に任意に近づくことはできないことを示しており、上述のフォークロア的予想を論破している。

さらに、本論文は定理3において「多くの平行移動」へとこの結果を拡張している。これは、任意の有限整数集合 $S \subseteq \mathbb{Z}$ に対して、定数 $c > 0$ （$S$ に依存する）が存在し、以下の条件を満たす任意の大きな集合 $A$ が存在することを示している：
$$\max_{\lambda \in S} \{|(A+\lambda)(A+\lambda)|\} \ll |A|^{2-c}$$
加えて、著者らは、彼らの構成が、集合 $A$ が $\max\{|A+A|, |AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$ および $|A(A+1)| \ll |A|^{2-c}$ も満たすことを含意していると述べている。

意義
本論文は、加法的シフトが必然的に乗法的構造に重大な拡大を強いるという、加法的組合座論における広く信じられてきた仮定に対する反例を提供することで、その意義を主張している。BSZの構成を適応させることで、著者らは、積集合とシフトされた積集合の両方が、自明な境界である $|A|^2$ よりも有意に小さくなるような集合を構成できることを示した。本研究は、実数上のこのような和積型の不等式において、指数2が自然な限界であるという直観に異議を唱えるものである。

著者らは、構築において用いた集合はBSZの論文と同じものであるが、シフトされた積集合 $(A+1)(A+1)$ への具体的な適用が、このノートの新規の貢献であると明示している。本研究は、積集合とシフトされた積集合の最大値に関する特定の予想を論破するための、既存の議論の修正として機能している。