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

Improved Bounds for the Index Conjecture in Zero-Sum Theory

基本信息

论文ID: 2510.11976
标题: Improved Bounds for the Index Conjecture in Zero-Sum Theory
作者: Andrew Pendleton
分类: math.NT (Number Theory), math.CO (Combinatorics)
发表时间: 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？
理论意义：该问题连接了整数分拆、原子幺半群理论、Heegard 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$ ，计算能力限制了验证范围
技术瓶颈：需要更精细的Fourier分析技术和更强的计算资源

核心贡献

显著改进理论界限：将指标猜想的理论证明上界从 $10^{20}$ 大幅降低到 $4.6\times10^{13}$
提供条件性更强界限：在额外互质条件下给出更小的上界（如 $n$ 仅被5的幂整除时降至 $1.4\times10^{13}$ ）
大规模计算验证：利用HPC资源将计算验证范围从 $n<1000$ 扩展到 $n<1.8\times10^6$
技术方法改进：优化了Fourier分析技术中的关键引理，改进了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. Fourier分析框架

利用周期指示函数 $\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$ 分解为三部分： $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}$