Large Sets of Integers with No Harmonic Triples

技术摘要：无调和三元组的大规模整数集

问题陈述
本文研究了不包含满足调和三元组条件以下性质的不同元素 $a, b, c$ 的子集 $A \subseteq [N] = \{1, \dots, N\}$ 的最大规模，记作 $f(N)$：
$$\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$$
该问题被视为经典问题 $r_3(N)$ 的倒数类比，其中 $r_3(N)$ 是指不包含非平凡三项等差数列（3-AP）的集合 $[N]$ 的最大规模。虽然对于 $r_3(N)$ 的上界和下界已有广泛研究（参考了 Behrend, Roth, Salem, Spencer, Elkin, Green, Wolf, Bloom, Sisask, Kelley, Meka 等人的工作），但倒数映射 $x \mapsto 1/x$ 并不是整数区间上的加法映射。因此，现有的关于 $r_3(N)$ 的上界不能直接应用于调和情形。

方法论与构造
作者利用概率方法结合调和三元组的特定参数化方法，构造了一个不含调和三元组的大规模 $[N]$ 子集。构造过程如下：

1. 素数域选择： 选择一个素数 $q$，使得 $q \asymp \log N$。
2. 无等差数列集： 选择一个稠密的、不含三项等差数列的集合 $R \subseteq \mathbb{F}_q$。该集合的密度依赖于 Elsholtz, Hunter, Proske, 和 Sauermann 建立的改进型 Behrend 类下界 $r_3(X)$。具体而言，$|R|/q \ge \exp\left(-(C_{AP} + o(1))\sqrt{\log q}\right)$，其中 $C_{AP} = 2\sqrt{\log(24/7)}$。
3. 随机仿射过滤： 使用随机仿射像 $R_{\lambda, \mu} = \lambda R + \mu$（其中 $\lambda \in \mathbb{F}_q^\times, \mu \in \mathbb{F}_q$）来过滤满足 $n \not\equiv 0 \pmod q$ 且 $n^{-1} \pmod q \in R_{\lambda, \mu}$ 的奇数 $n \le N$。这个初始随机集 $B_0$ 的期望规模为 $\gg \delta N$，其中 $\delta = |R|/q$。
4. 处理退化三元组： 核心难点在于，整数中的一个调和三元组在 $\mathbb{F}_q$ 中可能会映射为一个常数等差数列（所有余数相等），而非一个非平凡等差数列。本文利用调和三元组的参数化（引理 2.2）来证明，如果一个三元组 $b < a < c$ 满足调和条件且 $a \equiv b \equiv c \pmod q$，那么参数化中的差值参数 $d$ 必须能被 $q$ 整除。
5. 删除策略： 删除任何幸存调和三元组中的最大元素。研究表明，这类“退化”三元组（即 $q \mid d$ 的情况）的数量为 $O(N \log N / q)$。由于特定三元组在随机过滤器中幸存的概率为 $\delta$，只要选择足够大的常数使得 $q \asymp \log N$，则删除元素的期望数量相对于初始集合规模是较小的。

主要结果
主定理确立了 $f(N)$ 的一个下界，该下界镜像了改进后的 Behrend 类 $r_3(N)$ 界限，但带有对数偏移：

定理 1.1： 当 $N \to \infty$ 时，
$$f(N) \gg N \exp\left( -(C_{AP} + o(1))\sqrt{\log \log N} \right)$$
其中 $C_{AP} = 2\sqrt{\log(24/7)}$。

证明表明，通过选择 $q \asymp \log N$，等差数列无项集合指数中的 $\sqrt{\log q}$ 项在最终的调和集界限中转化为 $\sqrt{\log \log N}$。

意义与开放问题
本文声称成功地将无等差数列集的最新下界转移到了调和三元组自由的设定中。该构造被描述为是“直接的”，依赖于素数域中无等差数列集的密度与模素数下调和三元组的算术结构之间的相互作用。

作者指出，互补的上界问题仍是一个开放问题。具体而言，本文提出了问题 1.2：当 $N \to \infty$ 时，$f(N) = o(N)$ 是否成立？换句话说，是否存在一个不含调和三元组的正密度集合是不可能的？本文并未解决这一问题，但将其强调为研究该问题的自然下一步。