The small Davenport constant of the Heisenberg group of order 125

기술 요약: 하이젠베르크 군 $H_5^3$의 작은 다벤포트 상수(Small Davenport Constant)

문제 정의
본 논문은 유한체 $\mathbb{F}_p$ 위의 차수가 $p^3$인 하이젠베르크 군 $H_p^3$에 대한 작은 다벤포트 상수 $d(G)$를 결정하는 문제를 다룬다. 상수 $d(G)$는 $G$ 상의 곱-원(product-one)이 없는 수열(공집합이 아닌 부분 수열의 순서가 항등원이 되는 순서가 존재하지 않는 수열)의 최대 길이로 정의된다. Godara와 Sarkar가 $p=3$일 때 $d(H_{27}) = 6$임을 밝히고 모든 홀수 소수에 대해 $d(H_p^3) = 3p - 3$이라는 추측을 제기했으나, $p \ge 5$인 경우는 미해결 상태로 남아 있었다. 본 연구는 첫 번째 미해결 사례인 $p=5$, 즉 $d(H_{125})$를 결정함으로써 이 문제를 해결한다.

방법론
증명은 구조적 군론과 철저한 계산적 검증을 결합하여, 비가환 문제를 $\mathbb{F}_p$ 상의 가법 조합론(additive combinatorics) 문제로 환원한다.

1. 곱-원 판정 기준 (Product-One Criterion): 저자들은 수열이 곱-원 순서를 갖기 위한 필요충분조건을 확립한다. 요소 $g_i = M(a_i, b_i, c_i)$를 갖는 수열 $I$에 대하여, 곱-원 순서가 존재할 필요충분조건은 다음과 같다:

   • 몫 벡터의 합이 영벡터이다: $\sum (a_i, b_i) = (0, 0)$.
   • 중심 좌표의 음의 합 $-\sum c_i$가 "교차 합 집합(cross-sum set)" $\Omega(I)$ 내에 존재한다. 이 집합은 수열의 모든 치환 $\sigma$에 대한 $\sum_{s<t} a_{\sigma(s)}b_{\sigma(t)}$의 가능한 값들의 집합으로 정의된다.
   • 이 기준은 비가환 문제를 $\mathbb{F}_p^2$ 상의 몫 벡터의 기하학과 중심 좌표의 산술 문제로 환원시킨다.

2. 가법 조합론으로의 환원:

   • 라인 캡 (Line Caps): $C_p^2$의 다벤포트 상수에 관한 Olson의 결과를 사용하여, 저자들은 원점을 지나는 직선 $L$에 대한 "라인 캡" 경계 조건을 도출한다. 즉, $L$ 위에 있는 비중심 항의 개수와 중심 항의 개수의 합은 $2p-2$로 제한된다.
   • 중심 강제성 (Central Forcing): 만약 수열이 중심 항들의 영-합-무(zero-sum-free) 집합 $Z$와 서로소인 영-몫-합 블록(zero-quotient-sum blocks) $B_j$들의 모임을 포함한다면, $|\Sigma_0(Z)| + \sum (|\Omega(B_j)| - 1) \ge p$일 때 곱-원 부분 수열이 강제된다는 보조 정리를 증명한다. 여기서 $\Sigma_0(Z)$는 중심 좌표들의 부분 집합 합의 집합이다.

3. 확산 경계(Spread Bound) 및 전수 조사:

   • 상한(upper bound) 증명의 핵심은 몫 멀티셋 $Q$의 서로소인 영-합 블록들에 대한 최대값 $\sum (|\Omega(B_j)| - 1)$로 정의되는 "확산(spread)" 파라미터 $\sigma(Q)$에 의존한다.
   • $p=5$의 경우, 저자들은 $d(H_{125}) \le 12$를 증명하는 문제를 단 하나의 유한한 명제를 검증하는 것으로 환원한다: 명제 2. 이 명제는 선 캡 제약 조건을 만족하는 $z$개의 중심 항을 가진 길이 $13-z$의 임의의 멀티셋 $Q$에 대하여, $\sigma(Q) \ge 4-z$임을 주장한다.
   • 이 명제는 C 언어를 이용한 메모리 효율적인 깊이 우선 탐색(depth-first search)을 통해 검증되었다. 탐색은 $\mathbb{F}_5^2$의 24개 nonzero 벡터에 대한 모든 유효한 멀티셋을 열거하며, 확산 요구 사항을 충족하지 못하는 가지를 가지치기(pruning)한다. 결과(zero "bad leaves")는 다른 가지치기 전략을 가진 두 번째 구현을 통해 독립적으로 재현되었다.

4. 검증의 엄밀성: 군 곱셈 로직, 곱-원 판정 기준, 보조 정리들을 포함한 모든 수치적 주장은 기계적으로 체크되었다. 저자들은 결과가 증명 보조 도구(proof assistant)에 의해 형식적으로 검증된 것은 아니지만, 로드 베어링(load-bearing) 탐색의 독립적 재현과 기계 체크된 보조 정리들이 재현성을 보장한다고 명시적으로 언급한다.

주요 결과

• 정리 1: $d(H_{125}) = 12$.
  • 하한 (Lower Bound): 수열 $x^4 y^4 v^4$ (길이 12)가 곱-원-무(product-one-free)임을 명시적으로 보여준다.
  • 상한 (Upper Bound): $H_{125}$ 상의 길이가 13인 모든 수열은 곱-원 부분 수열을 포함한다. 이는 검증된 확산 경계(명제 2)에 의해 보장되는 중심 강제성 보조 정리의 조건을 반드시 만족해야 함을 보임으로써 증명된다.
• $p \ge 7$에 대한 한계: 저자들은 이 방법이 $p=7$로 직접 일반화되지 않음을 보여준다. 특정 반례 멀티셋 $Q_0$가 식별되었는데, 여기서 Chevalley–Warning 정리는 영-합 블록을 강제하지만, 그 블록은 "넓은(wide)" 블록($|\Omega|=p$)이 아니라 "공선형(collinear)" 블록($|\Omega|=1$)이다. 결과적으로, 다항식 방법만으로는 확산을 강제할 수 없으며, 전수 조사 공간은 계산적으로 다루기 힘든 수준($\sim 10^{16}$ 개의 멀티셋)이 된다. 이로 인해 $18 \le d(H_{343}) \le 24$ 범위는 미해결 상태로 남는다.

의의 및 주장
본 논문은 $p=3$ 이후 하이젠베르크 군 다벤포트 추측($d(H_p^3) = 3p-3$)의 첫 번째 해결 사례라고 주장한다.

• 독창성: 기여는 새로운 정리(Cauchy–Davenport, Chevalley–Warning, Olson의 결과 등은 표준적임)의 도입이 아니라, 비가환 대상을 다루기 위해 이들을 구체적으로 조합하고 $p=5$에 대한 간극을 메우는 엄밀한 유한 검증을 수행한 데 있다.
• 특수성: 논의는 "진정으로 $p$에 특화된(genuinely $p$-specific)" 것임을 강조한다. 저자들은 Chevalley–Warning이 넓은(wide) 비공선형 블록을 강제하지 못하는 지점에서 논리가 실패함을 식별함으로써, 방법론의 한계를 정직하게 평가하였다.
• 재현성: 저자들은 계산적 검증의 역할을 강조하며, 상한의 "판결"은 독립적으로 재현되어 정확성이 확보된 경험적 사실임을 명시한다.
• 기여 명시: 본 논문은 결과가 AI 연구 협업을 통해 얻어졌음을 명시적으로 공개한다. 구체적인 작업(문제 프레이밍, 검증 체계, 최종 작성)은 인간의 지시 하에 AI 시스템에 할당되었으며, 논리적 환원과 초기 가설의 교정은 "도구 없는(tool-free)" 추론 모델에 의해 수행되었다.