論文「LARGE SUM-FREE SETS IN FINITE VECTOR SPACES II」の技術的サマリー

著者: Christian Reiher, Sofia Zotova
対象: 有限体 $\mathbb{F}_5$ 上のベクトル空間における和集合フリー集合（sum-free sets）の構造と最大サイズ

1. 問題の背景と定義

1.1 和集合フリー集合

アブエル群 $G$ の部分集合 $A$ が**和集合フリー（sum-free）**であるとは、方程式 $x + y = z$ を満たす $x, y, z \in A$ が存在しないことを意味する。

1.2 研究の文脈

• $sf_0(G)$: 群 $G$ における最大和集合フリー集合のサイズ。
• $\mathcal{SF}_0(G)$: 最大サイズを持つ和集合フリー集合の族。
• $sf_1(G)$: $\mathcal{SF}_0(G)$ のいずれの集合にも含まれない和集合フリー集合の最大サイズ。
  • 直感的には、「最大集合に属さない、次点の大きな和集合フリー集合」のサイズである。

これまでに、$p=2, 3$ および $p \ge 7$ の素数 $p$ に対する $sf_1(\mathbb{F}_p^n)$ の値は決定されていた。しかし、$p=5$ の場合は長らく未解決であり、本論文はこの最後の未解決ケースを解決することを目的としている。

2. 主要な結果（定理）

本論文の中心的な成果は、$n \ge 3$ に対する $sf_1(\mathbb{F}_5^n)$ の正確な値と、その極値構造の分類である。

定理 1.3 (Main Theorem)

$n \ge 3$ に対して、
$$sf_1(\mathbb{F}_5^n) = 28 \cdot 5^{n-3}$$
が成り立つ。さらに、サイズ $|A| \ge 28 \cdot 5^{n-3}$ を持つ任意の和集合フリー集合 $A \subset \mathbb{F}_5^n$ は、以下のいずれかである：

1. 正規（Normal）: ある原点を含まないアフィン超平面 $H$ に対して、$A \subset H \cup (-H)$ となるもの。
2. VL-セット（VL-set）: 特定の構造 $\Lambda \times \mathbb{F}_5^{n-3}$ に同型なもの。ここで $\Lambda \subset \mathbb{F}_5^3$ は Vsevolod Lev と Leo Versteegen によって発見されたサイズ 28 の特殊な和集合フリー集合である。

補足

• $n=2$ の場合、$sf_1(\mathbb{F}_5^2) = 5$ であり、その極値集合は図 1.1 に示される 2 種類の非正規集合に分類される（定理 1.1）。
• $p=5$ は、$sf_1$ の値が最大集合のサイズ（$2 \cdot 5^{n-1}$）の半分以下になる最初のケースであり、構造が複雑である。

3. 手法と証明の概要

証明は、組合せ論的な構造解析と、Kneser の定理（和集合のサイズに関する下限定理）の応用を組み合わせて行われる。証明は 3 つの主要なステップに分解される。

ステップ 1: 「Fishy 関数」の分類（Proposition 2.6）

和集合フリー集合 $A$ の構造を調べるため、線形写像 $\phi: \mathbb{F}_5^n \to \mathbb{F}_5^2$ を用いて、各点 $P \in \mathbb{F}_5^2$ における $A$ の切片の密度を定義した関数 $f_A^\phi$ を考える。

• 定義: $f_A^\phi(P) = |A \cap \phi^{-1}(P)| / 5^{n-3}$。
• Fishy 関数: 特定の条件（(F1)-(F3)）を満たす関数。これらは $A$ が和集合フリーであることから導かれる。
• 結果: Fishy 関数で最大値が 3 を超えるものは、そのサポート（値が 0 ではない点の集合）が「3 本の平行線」で覆われるか、あるいは図 2.2 に示される 3 つの特殊な関数（$f_\alpha, f_\beta, f_\gamma$）のいずれかに同型であることが示された。

ステップ 2: 許容関数（Acceptable Functions）の解析（Proposition 2.9）

$\mathbb{F}_5^3$ 上の関数 $f$ に対して、その標準射影 $g$ が Fishy であり、特定の条件（(A1)-(A6)）を満たす「許容関数」を定義する。

• 結果: 許容関数 $f$ に対して、ある直線 $L$ 上で $f(L) > 3$ となることを示した。これは、高次元の構造が低次元の特殊な構造（$\Lambda$）に帰着されることを意味する。

ステップ 3: Kneser の定理と帰納法による統合

• Kneser の定理の応用: 和集合のサイズと対称性（symmetry set）の関係を利用し、集合が特定の超平面の並進で覆われることを示す。
• 帰納的証明:
  1. $n=2$ の場合（定理 1.1）を基底とする。
  2. $n \ge 3$ において、任意の 2 次元部分空間 $E$ に対する切片 $A \cap E$ が正規であることを示す。
  3. 平均化の議論（averaging argument）を用いて、$A$ が大きな切片を持つ超平面 $H$ を含むことを示す。
  4. $H$ 内の部分集合が正規または VL-セットであることを仮定し、Proposition 2.10 を用いて $A$ 全体の構造を決定する。

4. 重要な概念と構成

VL-セット (VL-set)

$\Lambda \subset \mathbb{F}_5^3$ は以下の集合である：
$$\Lambda = \{(1,0), (-1,0), (0,1), (0,-1)\} \times \mathbb{F}_5 \cup \{ \text{特定の 8 点} \}$$
この集合はサイズ 28 を持ち、正規ではない（原点を含まない超平面の和で覆えない）。
$n$ 次元空間における VL-セットは、$\Lambda \times \mathbb{F}_5^{n-3}$ の形を取る。これが $sf_1(\mathbb{F}_5^n)$ の下限 $28 \cdot 5^{n-3}$ を達成する。

Fishy 関数の役割

Fishy 関数の分類（Proposition 2.6）は、本論文の技術的核心である。

• $f_\alpha, f_\beta, f_\gamma$ は、それぞれ $\Lambda$ の異なる射影に対応する。
• これらの関数が「3 本の平行線」で覆えない場合のみ、非自明な構造（VL-セット）が現れる。

5. 意義と貢献

1. 未解決問題の解決: 有限体上の和集合フリー集合の階層構造における、$p=5$ のケースという最後の未解決問題を完全に解決した。
2. 構造の完全分類: 最大サイズの非正規和集合フリー集合が、$n \ge 3$ において「VL-セット」にのみ同型であることを示し、その構造を完全に記述した。
3. 手法の発展: Kneser の定理を、関数の分類（Fishy 関数）と組み合わせることで、高次元の組合せ構造を低次元の極値問題に帰着させる強力な手法を確立した。
4. 今後の展望: 著者は、$sf_2(\mathbb{F}_5^n)$（正規集合にも、VL-セットにも含まれない最大集合）や、$p=5$ における非周期的（aperiodic）最大和集合フリー集合のサイズ $t(\mathbb{F}_5^n)$ などのさらなる研究課題を提起している。

結論

本論文は、有限ベクトル空間 $\mathbb{F}_5^n$ における和集合フリー集合の理論において、$n \ge 3$ の場合の最大非正規集合のサイズを $28 \cdot 5^{n-3}$ と決定し、その極値構造が Vsevolod Lev と Leo Versteegen によって発見された特殊な構成 $\Lambda$ に基づくものであることを証明した。これは、和集合フリー集合の極値組合せ論における重要なマイルストーンである。