Large Sets of Integers with No Harmonic Triples

技術要約：調和三項組を持たない整数の大きな集合

問題設定
本論文は、$[N] = \{1, \dots, N\}$ の部分集合 $A \subseteq [N]$ において、以下の調和三項組の条件を満たす相異なる要素 $a, b, c$ を含まないような集合の最大サイズ $f(N)$ を調査するものである：
$$\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$$
この問題は、3項等差数列（3-AP）を含まない部分集合の最大サイズ $r_3(N)$ を推定する古典的な問題に対する、逆数による類似物として提示されている。$r_3(N)$ の上界および下界については、（Behrend, Roth, Salem, Spencer, Elkin, Green, Wolf, Bloom, Sisask, Kelley, Meka らの研究を引用して）広範に研究されてきたが、逆写像 $x \mapsto 1/x$ は整数区間上の加法的な写像ではない。したがって、既存の $r_3(N)$ に対する上界を、調和的な設定に直接適用することはできない。

手法と構成
著者は、確率的手法と調和三項組の特定のパラメータ化を組み合わせることで、調和三項組を持たない $[N]$ の大きな部分集合を構成する。構成手順は以下の通りである：

1. 素体（Prime Field）の選択： $q \asymp \log N$ となる素数 $q$ を選択する。
2. 等差数列を含まない集合： $\mathbb{F}_q$ における高密度な3項等差数列フリーの集合 $R$ を選択する。この集合の密度は、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$ の定数が十分に大きく選ばれている限り、削除される要素の期待値は初期集合のサイズに対して十分に小さくなる。

主要な結果
主定理は、$r_3(N)$ の改良されたBehrend型の下界を反映した、対数的なシフトを伴う $f(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}$ へと変換されることを示している。

意義と未解決問題
本論文は、等差数列フリー集合の最先端の下限を、調和三項組フリーの設定へと転送することに成功したと主張している。その構成は「直接的」であり、素体における等差数列フリー集合の密度と、素数 $\pmod q$ における調和三項組の算術構造との相互作用に依拠している。

著者は、補完的な上界の問題が未解決であることを述べている。具体的には、本論文は 問い 1.2 を提起している：$N \to \infty$ のとき $f(N) = o(N)$ は真か？ つまり、正の密度を持つ集合が調和三項組を持たないことは不可能か？ 本論文はこの問いを解決していないが、この問題の研究における自然な次のステップであることを強調している。