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)}$。一种民间猜想（folklore conjecture）认为，该不等式中的指数可以任意接近 2，这意味着这两个集合不可能同时很小（即规模为 $O(|A|^{2-\epsilon})$）。然而，近期由 Bloom、Sawin、Schildkraut 和 Zhelezov (BSZ) 完成的工作反驳了关于实数域上的标准求和-积之和（sum-product）猜想，暗示指数 2 可能并不是正确的障碍。本文研究了关于 $AA$与$(A+1)(A+1)$ 同时变小的特定猜想是否成立。

方法论
作者改编了用于反驳 BSZ 关于一般求和-积之和猜想的构造。该方法论依赖于全实数域 $K$（其相对于 $\mathbb{Q}$ 的次数为 $d$）内的数论对象。构造过程如下：

1. 格构造（Lattice Construction）： 利用 Martinet 的定理，作者选择了一个判别式 $\Delta_K$ 被 $C^d$ 限制的全实数域 $K$。我们考虑代数整数环 $\mathcal{O}_K$ 及其单位群 $\mathcal{O}_K^*$。
2. 几何嵌入：
   • 加法结构： Minkowski 嵌入 $\phi: \mathcal{O}_K \to \mathbb{R}^d$ 将代数整数映射到格 $\Lambda$。作者定义了一个代数整数集合 $B^+(R)$，其嵌入位于边长为 $2R$ 的立方体内。该集合的加法集很小，因为它仍包含在一个稍大的立方体内。
   • 乘法结构： 对数嵌入 $\psi: \mathcal{O}_K^* \to \mathbb{R}^d$ 将单位映射到位于超平面上的秩为 $d-1$ 的格。作者定义了一个单位集合 $B^*(Y)$，其对数嵌入位于边长为 $2Y$ 的立方体内。由于单位的乘法对应于对数格中的加法，该集合的乘积集很小。
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|$。
   • 通过分析 $GG$和$PP$来限定乘积集$AA$。$GG$ 的小规模性源于单位的格性质。
   • 通过将元素重写为 $g(p+1) = g(p + g^{-1})$ 来分析平移乘积集 $(A+1)(A+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，从而反驳了上述民间猜想。

论文在定理 3 中进一步将此结果扩展到“多平移”（Many Translates）。它表明，对于任何有限整数集 $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)$ 的特定应用构成了本笔记的创新贡献。这项工作是对现有论证的修改，旨在反驳关于乘积与平移乘积集合最大值的特定猜想。