Large sum-free sets in finite vector spaces II

이 논문은 유한 벡터 공간 $F_5^n$ (5 개의 원소를 갖는 유한체 위의 $n$ 차원 벡터 공간) 에서 정의된 **합집합이 없는 집합 (sum-free sets)**의 구조와 크기에 관한 연구의 두 번째 부분입니다. Christian Reiher 와 Sofia Zotova 가 저자이며, Leo Versteegen 의 질문에 답하고, $p=5$인 경우의 마지막 미해결 문제를 해결하는 것을 목표로 합니다.

다음은 논문의 기술적 요약입니다.

1. 연구 배경 및 문제 정의

• 합집합이 없는 집합 (Sum-free set): 아벨 군 $G$의 부분집합 $A$가 $x+y=z$를 만족하는 $x, y, z \in A$가 존재하지 않을 때, $A$를 합집합이 없는 집합이라고 합니다.
• 최대 크기 ($sf_0(G)$): $G$ 내 최대 합집합이 없는 집합의 크기를 $sf_0(G)$로 정의합니다. $G=F_5^n$인 경우, $sf_0(F_5^n) = 2 \cdot 5^{n-1}$임이 알려져 있으며, 최대 집합은 원점을 포함하지 않는 아핀 초평면 (affine hyperplane) $H$와 그 부집 $-H$의 합집합 ($H \cup -H$) 형태입니다. 이를 정규 (normal) 집합이라고 부릅니다.
• 연구 질문: 최대 크기의 합집합이 없는 집합에 포함되지 않는, 가장 큰 크기의 합집합이 없는 집합의 크기를 구하는 문제입니다. 이를 $sf_1(G)$라고 정의합니다.
  • $p=2, 3$인 경우와 $p \ge 7$인 경우 $sf_1(F_p^n)$은 이미 결정되었습니다.
  • 미해결 문제: $p=5$인 경우, $sf_1(F_5^n)$의 정확한 값과 그 극단적인 예시 (extremal examples) 의 분류가 필요했습니다.

2. 주요 결과 (Main Results)

논문의 핵심 정리는 다음과 같습니다.

정리 1.3 (Theorem 1.3):
$n \ge 3$인 모든 자연수 $n$에 대해, $F_5^n$ 내 합집합이 없는 집합 $A$의 크기가 $|A| \ge 28 \cdot 5^{n-3}$일 때, 다음 두 가지 경우 중 하나입니다:

1. 정규 (Normal): $A$가 원점을 포함하지 않는 아핀 초평면 $H$에 대해 $A \subseteq H \cup -H$인 경우.
2. VL-셋 (VL-set): $A$가 특정 구조를 가진 집합 $\Lambda \times F_5^{n-3}$와 동형 (isomorphic) 인 경우. 여기서 $\Lambda \subset F_5^3$은 Vsevolod Lev 와 Leo Versteegen 이 발견한 크기가 28 인 특정 합집합이 없는 집합입니다.

즉, $sf_1(F_5^n) = 28 \cdot 5^{n-3}$이며, 이 크기에 도달하는 모든 집합은 위 두 가지 형태 중 하나임을 증명했습니다.

3. 방법론 (Methodology)

논문은 다음과 같은 단계적 접근 방식을 취했습니다.

3.1. 함수적 접근 및 "Fishy" 함수

합집합이 없는 집합 $A$의 구조를 분석하기 위해 선형 전사 사상 (linear epimorphism) $\phi: F_5^n \to F_5^2$를 도입하고, 이에 따른 밀도 함수 $f_A^\phi: F_5^2 \to \mathbb{R}_{\ge 0}$를 정의했습니다.
$$f_A^\phi(x) = \frac{|A \cap \phi^{-1}(x)|}{5^{n-3}}$$
이 함수가 만족해야 하는 조건들을 정의하여 **"Fishy 함수"**를 도입했습니다.

• (F1) $L_1$-노름과 $L_\infty$-노름의 하한/상한 조건.
• (F2) 부분집합의 합이 홀수 정수의 절반이 될 수 없음 (정수성 조건).
• (F3) 합집합 조건에 따른 부등식 ($f(P) + f(Q) + \lfloor f(P+Q) \rfloor \le 6$).

3.2. Fishy 함수의 분류 (Proposition 2.6)

$F_5^2$ 위의 Fishy 함수 $f$가 $L_\infty$-노름이 3 보다 크고, 그 지지집합 (support) 이 세 개의 평행선으로 덮일 수 없을 때, $f$는 자동사상 (automorphism) 하에서 세 가지 특수 함수 ($f_\alpha, f_\beta, f_\gamma$) 중 하나와 동형임을 증명했습니다. 이 중 $f_\alpha, f_\beta, f_\gamma$는 각각 극단적인 구성 (VL-셋) 에 대응됩니다.

3.3. Kneser 의 정리 활용

Kneser 의 정리 (합집합의 크기에 대한 하한) 를 반복적으로 적용하여, 집합 $A$가 특정 아핀 부분공간에 얼마나 많이 분포하는지 분석했습니다. 이를 통해 $A$가 "비정규"일 경우, 그 구조가 매우 제한적임을 보였습니다.

3.4. "Acceptable" 함수 및 3 차원 분석

3 차원 공간 $F_5^3$에서의 함수 $f$를 "Acceptable"하다고 정의하고, 이 함수가 특정 조건을 만족할 때 반드시 어떤 직선에서 3 보다 큰 값을 가진다는 것을 증명했습니다 (Proposition 2.9). 이는 고차원 문제로 귀결되는 핵심 단계입니다.

3.5. 귀납적 증명

$n=2$인 경우 (Theorem 1.1) 를 베이스 케이스로 하고, $n$에서 $n+1$로 귀납하는 과정을 통해 $n \ge 3$인 경우의 정리를 증명했습니다. 귀납 단계에서는 평균화 논증 (averaging argument) 을 사용하여 $A$가 어떤 2 차원 부분공간이나 초평면과 교차할 때의 크기를 추정하고, 이를 통해 전체 구조를 규명했습니다.

4. 핵심 기여 (Key Contributions)

1. $p=5$ 경우의 완전한 해결: 유한체 위 합집합이 없는 집합 연구에서 오랫동안 남아있던 $p=5$인 경우의 $sf_1(F_5^n)$ 문제를 완전히 해결했습니다.
2. VL-셋의 발견 및 분류: $n=3$에서 발견된 크기가 28 인 특수한 합집합이 없는 집합 $\Lambda$를 기반으로 한 VL-셋이 $n \ge 3$에서 유일한 비정규 극단적 예시임을 증명했습니다.
3. 구조적 분류: 크기가 $28 \cdot 5^{n-3}$ 이상인 모든 합집합이 없는 집합이要么是 정규 집합 (초평면 기반) 이要么是 VL-셋임을 명확히 분류했습니다.
4. 새로운 기법 개발: Fishy 함수와 Acceptable 함수라는 새로운 개념을 도입하고, 이를 Kneser 의 정리와 결합하여 고차원 벡터 공간의 조합론적 구조를 분석하는 강력한 기법을 제시했습니다.

5. 의의 및 결론

• 이론적 완성: 이 연구는 유한 아벨 군, 특히 유한체 위의 벡터 공간에서 합집합이 없는 집합의 계층 구조 (hierarchy) 연구에 있어 중요한 이정표가 되었습니다. $p=5$는 소수 중 유일하게 $p \equiv 1 \pmod 3$이면서 $p \ge 5$인 경우로, 다른 소수들과는 다른 복잡한 구조를 보였으나, 이 논문을 통해 그 구조가 완전히 규명되었습니다.
• 향후 연구 방향: 저자는 $sf_2(F_5^n)$ (두 번째로 큰 합집합이 없는 집합) 연구나, $p=5$인 경우의 "aperiodic" 합집합이 없는 집합의 최대 크기 $t(F_5^n)$ 결정 등 향후 연구 과제를 제시했습니다. 특히 $\Lambda$의 구조가 $F_5^3$ 전체를 덮는 성질 등을 통해 $n \ge 4$인 경우의 $t(F_5^n)$ 연구가 새로운 통찰을 줄 것으로 기대됩니다.

요약하자면, 이 논문은 조합론적 수론 (Combinatorial Number Theory) 의 고전적인 문제인 합집합이 없는 집합의 최대 크기와 구조에 대한 심층적인 분석을 통해, $F_5^n$ 공간에서의 극단적인 예시를 완전히 분류하고 그 크기를 정확히 계산한 획기적인 연구입니다.