The small Davenport constant of the Heisenberg group of order 125

技術要約：位数125のハイゼンベルク群における小ダベンポート定数

問題提起
本論文は、有限体 $\mathbb{F}_p$ 上の位数 $p^3$ のハイゼンベルク群 $H_p^3$ に対する小ダベンポート定数 $d(G)$ の決定を扱う。定数 $d(G)$ は、$G$ 上の積が単位元にならない（空でない部分列の順序付けにおいて、その積が単位元となるような順序が存在しない）ような積なし列の最大長として定義される。GodaraとSarkarが $p=3$ の場合に $d(H_{27}) = 6$ であることを確立し、すべての奇素数 $p$ に対して $d(H_p^3) = 3p - 3$ となることを予想していたが、$p \ge 5$ のケースは未解決のままであった。本研究は、この最初の未解決ケースである $p=5$、すなわち $d(H_{125})$ を具体的に解決したものである。

手法
証明は、構造的群論と徹底的な計算検証を組み合わせ、非可換な問題を $\mathbb{F}_p$ 上の加法組合せ論へと還元している。

1. 積ワン基準（Product-One Criterion）： 著者らは、ある列が積ワンとなる順序を持つための必要十分条件を確立した。要素 $g_i = M(a_i, b_i, c_i)$ を持つ列 $I$ について、積ワンとなる順序が存在するための条件は以下の通りである：

   • 商ベクトル（quotient vectors）の和がゼロであること：$\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）： 中心項のゼロ和フリーな集合 $Z$ と、互いに素なゼロ商和ブロック $B_j$ の集まりが存在する場合、もし $|\Sigma_0(Z)| + \sum (|\Omega(B_j)| - 1) \ge p$ ならば、積ワンの部分列が強制されるという補題を証明した。ここで、$\Sigma_0(Z)$ は中心座標の部分和集合である。

3. スプレッド境界と全探索：

   • 上界の証明の核心は、「スプレッド（spread）」パラメータ $\sigma(Q)$ に依存している。これは、商マルチセット $Q$ の互いに素なゼロ和ブロックにわたる $\sum (|\Omega(B_j)| - 1)$ の最大値として定義される。
   • $p=5$ の場合、著者らは $d(H_{125}) \le 12$ を証明する問題を、単一の有限な命題の検証へと還元した：命題2。この命題は、ラインキャップの制約を満たす長さ $13-z$（$z$ は中心項の数）の任意のマルチセット $Q$ に対して、$\sigma(Q) \ge 4-z$ が成立することを主張している。
   • この命題は、C言語によるメモリ効率の高い深さ優先探索を用いて検証された。探索は $\mathbb{F}_5^2$ の24個の非ゼロベクトル上のすべての有効なマルチセットを列挙し、スプレッド要件を満たさない分岐を枝刈りする。得られた結果（「不良な葉」はゼロであった）は、異なる枝刈り戦略を用いた第2の実装によって独立して再現された。

4. 検証の厳密性： 群乗法のロジック、積ワン基準、および補助的な補題を含むすべての数値的主張は、マシンチェックされている。著者らは、結果が形式的検証器（proof assistant）によって形式的に検証されたわけではないものの、負荷のかかる探索の独立した再現とマシンチェックされた補題が、再現性の保証として機能していることを明記している。

主要な結果

• 定理1： $d(H_{125}) = 12$。
  • 下界： 長さ12の列 $x^4 y^4 v^4$ が積ワンフリーであることを明示的に示した。
  • 上界： $H_{125}$ 上の長さ13の任意の列は、積ワンの部分列を含む。これは、そのような列が必ず「中心的強制」補題の条件を満たすことを示すことで証明される。このことは、検証済みのスプレッド境界（命題2）によって保証されている。
• $p \ge 7$ に対する限界： 著者らは、この手法が $p=7$ に直接一般化できないことを示している。特定の反例マルチセット $Q_0$ が特定されており、そこではChevalley–Warningの定理によってゼロ和ブロックが強制されるものの、そのブロックは「ワイド（wide）」ではなく「共線的（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$ 特有（$p$-specific）」であることを強調している。著者らは、Chevalley–Warningが「ワイド」かつ非共線的なブロックを強制できないために、ロジックが失敗する正確なステップを特定しており、手法の限界について誠実な評価を行っている。
• 再現性： 計算による検証の役割を強調しており、上界の「判定」は、正確性を確保するために独立して再現された、探索から得られた経験的事実であると述べている。
• 帰属： 本論文は、結果がAIとの共同研究によって得られたものであることを明示的に開示している。具体的には、問題の定式化、検証装置、および最終的な執筆といったタスクは、人間の指示の下でAIシステムに割り当てられ、論理的な還元および初期仮説の修正は、「ツールを用いない（cold, tool-free）」推論器によって行われたとしている。