Almost Affine Invariance Over Prime Fields: Green Problem 90

技術的サマリー：素数体におけるほぼアフィン不変性

問題の定義
本論文は、ベン・グリーンが提示した 100 の未解決問題リストの「問題 90」に取り組む。この問題は、密度 $1/2$ を持つ部分集合 $A \subset \mathbb{F}_p$ が、アフィン変換の族 $\phi(x) = ax + b$ に対して「ほぼ不変」であるかどうかの存在性に関するものである。具体的には、集合 $A$ が $\phi$ に対してほぼ不変であるとは、$p \to \infty$ において対称差 $|A \triangle \phi(A)| = o(p)$ となることを意味する。中心的な問いは、$1 \le |a| \le K$ かつ $|b| \le K$ を満たすすべてのアフィン写像に対して、このほぼ不変条件を同時に満たす集合 $A$ が存在するような、パラメータ $K = K(p)$ の閾値範囲を決定することである。

手法
著者は、$K$ の鋭い閾値を決定するために、解析的上界と確率的な下界という二つのアプローチを採用している。

1. 上界（フーリエ解析と付値理論）：
   $K$ が大きくならないことを証明するために、著者はフーリエ解析的な道具を用いる。関数 $f = 1_A - \alpha$（ここで $\alpha \approx 1/2$）を定義し、そのフーリエ変換 $\hat{f}$ を解析する。

   • 並進不変性： 並進（$b$）に対するほぼ不変性の条件は、$f$ のフーリエ質量が低周波数、具体的には $|r| \ll p/K$ に集中することを意味する。
   • 乗法的不変性： 拡大（$a$）に対するほぼ不変性の条件は、$|\hat{f}(r)|^2$ に比例する周波数上の確率測度 $\mu$ を考慮することで解析される。拡大不変性は、$\mu$ が素数 $q \le K$ に対する写像 $r \mapsto qr$ に対してほぼ不変であることを意味する。
   • 付値の議論： $\mu$ を整数 $\{1, \dots, N\}$（ここで $N \approx p/K$）上の確率測度 $\lambda$ に制限することで、著者は、すべての素数 $q \le K$ に対して、$\lambda$ の下でほとんどすべての $n$ について $q$ 進付値 $v_q(n)$ が大きくなければならないことを示す。これは、$K$ 以下の素数の対数の和が小さくない限り矛盾を招く。具体的には $\sum_{q \le K} \log q = o(\log p)$ となり、これは $K = o(\log p)$ を意味する。

2. 下界（確率的構成と集中）：
   $K = o(\log p)$ が達成可能であることを証明するために、著者は確率的構成法を用いてそのような集合を構築する。

   • Følner 列： 構成の核心は、小さなアフィン変換の族 $S_p$ に対して、対称差の小さい大きな「Følner 列」（群作用の下で対称差の小さい集合 $A$）の存在を確立する補題 3.3 に依存している。
   • 有理モデル： 著者は、小さな素数の積によってパラメータ付けられた $\mathbb{Q}$ 上の有理アフィン写像の族を構築し、これらを $p$ 法で簡約化する。これにより、確率的議論に必要な単射性と非衝突性が保証される。
   • 集中不等式： 対合 $x \mapsto -x$ の軌道に割り当てられたランダムな符号の多数決に基づいて、ランダムな集合 $A$ が定義される。$A$ の期待サイズと期待対称差は望ましい値を持つが、著者は有界差不等式（マクディアミッドの不等式）を用いて、これらの量がその平均値の周りで鋭く集中することを示し、条件を満たす特定の集合 $A$ が正の確率で存在することを保証する。

主要な貢献と結果
本論文は、パラメータ $K$ に対する鋭い閾値を確立する。

• 定理 1.2： $p$ を素数とし、$K = K(p)$ を正の整数とする。
  • $1 \le |a| \le K$ かつ $|b| \le K$ を満たすすべての $\phi(x) = ax+b$ に対してほぼ不変な、密度 $1/2 + o(1)$ を持つ集合 $A \subset \mathbb{F}_p$ が存在する場合、$K = o(\log p)$ である。
  • 逆に、$K = o(\log p)$ ならば、そのような集合 $A$ が存在する。

この結果は、閾値が実際には $p$ に対して対数的であることを確認することで、グリーンの未解決問題 90 を解決する。これは、Eberhard、Mrazović、およびグリーンによる以前の未発表の研究（$K$ は $(\log p)^c$ のようにゆっくりと成長し得るが、$p^{1/100}$ のように急速には成長しないことを示唆していたもの）を精緻化したものである。現在の研究は、これを $o(\log p)$ へと絞り込んだ。

重要性
本論文は、アフィン変換に対する集合の剛性に関する付加組合せ論における特定の構造的問いに対して決定的な答えを提供する。フーリエ解析と確率的構成を組み合わせることで、著者は、大きなアフィン写像の族に対するほぼ不変性の同時満たしが、その族のサイズに対して厳密な対数制限を課すことを示している。また、この研究は、アフィン群におけるアミナビリティの議論の有用性と、有限体上で特定の不変性を持つ集合を構築する際の確率的手法の有効性を浮き彫りにしている。

AI 開示
著者は、本論文の作成において AI（ChatGPT 5.4）が使用されたことを付記する。具体的には、$q$ 進付値を用いて問題を定式化するアイデア（補題 2.4）と、アフィン群のアミナビリティの初期適用は、AI によって提案された。しかし、著者は、AI の初期の議論には論理的な欠陥が含まれており、厳密な証明と最終的な鋭い境界は、人間の洗練と検証の結果であることを強調している。また、著者は、アミナビリティのアプローチは、未発表の研究やオンラインフォーラム（MathOverflow）で以前に議論されていたことを認めている。