2025-11-18T03:07:12.924694

Improved Bounds for the Index Conjecture in Zero-Sum Theory

Pendleton

The Index Conjecture in zero-sum theory states that when $n$ is coprime to $6$ and $k$ equals $4$, every minimal zero-sum sequence of length $k$ modulo $n$ has index $1$. While other values of $(k,n)$ have been studied thoroughly in the last 30 years, it is only recently that the conjecture has been proven for $n>10^{20}$. In this paper, we prove that said upper bound can be reduced to $4.6\cdot10^{13}$, and lower under certain coprimality conditions. Further, we verify the conjecture for $n<1.8\cdot10^6$ through the application of High Performance Computing (HPC).

academic

ゼロ和理論における指標予想の改善された上界

基本情報

論文ID: 2510.11976
タイトル: Improved Bounds for the Index Conjecture in Zero-Sum Theory
著者: Andrew Pendleton
分類: math.NT（数論）、math.CO（組合論）
発表日時: 2025年10月13日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.11976

要旨

ゼロ和理論における指標予想（Index Conjecture）は、 $n$ と6が互いに素であり $k=4$ のとき、長さ $k$ のすべての法 $n$ 極小ゼロ和数列の指標が1であることを主張している。他の $(k,n)$ 値は過去30年間に十分に研究されてきたが、この予想は最近 $n>10^{20}$ に対して証明されたばかりである。本論文は、この上界を $4.6\times10^{13}$ に低減し、特定の互いに素条件下ではさらに低減する。さらに、高性能計算（HPC）により $n<1.8\times10^6$ のときに予想が成立することを検証した。

研究背景と動機

研究問題

本論文は、ゼロ和理論における指標予想を研究している。これは組合数論における重要な問題である。具体的には：

中核的問題：6と互いに素な正整数 $n$ に対して、長さ4のすべての極小ゼロ和数列は指標1を持つか？
理論的意義：この問題は整数分割、原子単位半群理論、Heegaard Floer ホモロジー、Dedekind 和など複数の数学分野を結びつけている
計算上の課題：極めて大きな数値範囲を扱う必要があり、従来の方法では対処が困難である

問題の重要性

理論的価値：指標研究は30年間続いており、複数の重要な数学分野と関連している
分類的意義：異なる $(k,n)$ 対に対して、 $k≤3$ のときすべての対は「良い」（指標が1）、 $5≤k≤n/2+1$ のときすべて「悪い」、 $k>n/2+1$ のときすべて「良い」ことが知られている
特殊性： $k=4$ の場合が最も複雑であり、単純な特性化がなく、この分野の中核的難題である

既存方法の限界

理論的限界：Ge は2021年に $n>10^{20}$ のとき予想が成立することを証明したが、限界が広すぎる
計算検証：Ponomarenko は2004年に $n<1000$ までしか検証できず、計算能力が検証範囲を制限している
技術的ボトルネック：より精密なフーリエ解析技術とより強力な計算資源が必要である

核心的貢献

理論的上界の大幅な改善：指標予想の理論的証明上界を $10^{20}$ から $4.6\times10^{13}$ に大幅に低減
より強い条件付き上界の提供：追加の互いに素条件下でより小さい上界を提供（例えば、 $n$ が5の冪でのみ割り切れるとき $1.4\times10^{13}$ に低減）
大規模計算検証：HPC資源を利用して計算検証範囲を $n<1000$ から $n<1.8\times10^6$ に拡張
技術的方法の改善：フーリエ解析における重要な補題を最適化し、Ramanujan 和の推定を改善

方法の詳細説明

タスク定義

入力：正整数 $n$ 、ただし $\gcd(n,6)=1$ を満たす出力：すべての長さ4の極小ゼロ和数列 $S=(a_1)(a_2)(a_3)(a_4)$ が $\text{ind}(S)=1$ を満たすかどうかを判定

ここで数列の指標は以下のように定義される： $\text{ind}(S) = \min\left\{\frac{\sum_{i=1}^4(ga_i)_n}{n} : g \in G^*\right\}$

理論的方法の枠組み

1. フーリエ解析の枠組み

周期指示関数 $\chi(t)$ およびその平滑化版 $f(t)$ を利用： $\chi(t) = \begin{cases} 1, & \text{if } 0 < \{t\} < 1/2 \\ 1/2, & \text{if } \{t\} = 1/2 \\ 0, & \text{if } \{t\} > 1/2 \end{cases}$

2. 重要な和式の分解

主要な和式 $S_1$ を3つの部分に分解： $S_1 = \phi(n) \cdot (f̂(0))^3 + f̂(0) \cdot \left(\sum_{h_2}\sum_{h_3} + \sum_{h_3}\sum_{h_1} + \sum_{h_1}\sum_{h_2}\right)$

さらに各二重和を以下のように分解： $\sum_{h_2}\sum_{h_3} = S_b^* + \tilde{T}_b + R_b$

3. 技術的革新点

改善された Ramanujan 和の推定（補題3.1）：

特定の線形関係を満たす場合、係数を従来の約0.05から0.079021に改善
重要な観察： $|c_n(3mb+(3m)^*)| ≤ \phi(n)/4$

最適化されたパラメータ選択：

比率 $H/c_1$ を最小化することで最適な $H≈7000$ を選択
異なる誤差項の寄与のバランスを取った

計算方法の枠組み

1. 高性能並列アルゴリズム

fn big_check(n: i64) {
    let coprimes: Vec<i64> = (1..n)
        .into_par_iter()
        .filter(|&i| i.gcd(&n) == 1)
        .collect();
    
    // すべての可能な数列を並列で検査
    coprimes_a.into_par_iter().for_each(|a| {
        for &b in coprimes_b.iter() {
            // 数列条件と指標計算の検証
        }
    });
}

2. 探索空間の最適化

補題3.7の構造的性質を利用：

最初の要素を1に固定（逆元による乗算）
探索範囲を制限： $2 ≤ a < n/2 < b$
さらなる制約： $n+2-a ≤ b ≤ (n-3)/2 - a/2$

実験設定

計算資源

プラットフォーム：William & Mary の Kuro 高性能計算クラスタ
規模：8～16ノード、約1024個の並列スレッド
ストレージ：分散ストレージ管理用 Lustre ファイルシステム

検証範囲

対象集合： $\gcd(n,6)=1$ かつ $5|n$ を満たすすべての $n < 1.8\times10^6$
数量推定：約 $\lfloor N/15 \rfloor$ 個のそのような $n$ 値

アルゴリズムの最適化

言語選択：Rust（コンパイル型言語、優れたマルチスレッド対応）
並列化：Rayon ライブラリを使用したデータ並列化
負荷分散：動的タスク割り当てによる競合状態の回避

実験結果

理論的改善結果

主定理1.4：予想1.3は $n > 4.6\times10^{13}$ に対して成立する

条件付き改善（備考4.1）：

互いに素条件 $P_n$	上界
$\{2,3\}$	$4.6\times10^{13}$
$\{2,3,7\}$	$3.4\times10^{13}$
$\{2,3,11\}$	$2.9\times10^{13}$
$\{2,3,13\}$	$2.6\times10^{13}$
$\{2,3,17\}$	$2.3\times10^{13}$
$\{2,3,19\}$	$2.2\times10^{13}$