2025-11-10T02:57:00.203621

The structure of sequences with zero-sum subsequences of the same length on finite abelian groups of rank two

Hui, Li

Let $G$ be an additive finite abelian group, and let $\mathrm{disc}(G)$ denote the smallest positive integer $t$ with the property that every sequence $S$ over $G$ with length $|S|\geq t $ contains two nonempty zero-sum subsequences of distinct lengths. In recent years, Gao et al. established the exact value of $\mathrm{disc}(G)$ for all finite abelian groups of rank $2$ and resolved the corresponding inverse problem for the group $C_n \oplus C_n$. In this paper, we characterize the structure of sequences $S$ over $G = C_n \oplus C_{nm}$ (where $m\geq 2$) when $|S| = \mathrm{disc}(G)- 1$ and all nonempty zero-sum subsequences of $S$ have the same length.

academic

The structure of sequences with zero-sum subsequences of the same length on finite abelian groups of rank two

基本信息

论文ID: 2510.14215
标题: The structure of sequences with zero-sum subsequences of the same length on finite abelian groups of rank two
作者: Wanzhen Hui, Xue Li
分类: math.CO (组合数学)
发表时间: 2025年10月16日
论文链接: https://arxiv.org/abs/2510.14215

摘要

设 $G$ 是一个加法有限阿贝尔群， $\mathrm{disc}(G)$ 表示最小正整数 $t$ ，使得 $G$ 上每个长度 $|S| \geq t$ 的序列 $S$ 都包含两个不同长度的非空零和子序列。近年来，Gao等人确定了所有秩为2的有限阿贝尔群的 $\mathrm{disc}(G)$ 的精确值，并解决了群 $C_n \oplus C_n$ 的相应逆问题。本文刻画了群 $G = C_n \oplus C_{nm}$ （其中 $m \geq 2$ ）上序列 $S$ 的结构，当 $|S| = \mathrm{disc}(G) - 1$ 且 $S$ 的所有非空零和子序列具有相同长度时。

研究背景与动机

问题背景

Graham猜想的推广：1976年，Graham提出了一个关于循环群 $C_p$ 上序列的猜想，该猜想后来被Erdős-Szemerédi和Gao-Hamidoune-Wang等人证明。这激发了对更一般有限阿贝尔群上零和问题的研究。
判别常数disc(G)的研究：2012年，B. Girard引入了判别常数 $\mathrm{disc}(G)$ ，定义为使得 $G$ 上每个长度至少为 $t$ 的序列都包含两个不同长度的非空零和子序列的最小正整数 $t$ 。
逆问题的重要性：理解极值序列的结构对于深入认识零和问题的本质具有重要意义。

研究动机

填补理论空白：虽然 $\mathrm{disc}(G)$ 的值已经确定，但对于长度为 $\mathrm{disc}(G) - 1$ 且所有零和子序列等长的序列结构研究仍不充分。
扩展适用范围：现有结果主要局限于特定群结构（如 $C_n \oplus C_n$ ），需要推广到更一般的秩2群。
方法论创新：需要开发新的技术来刻画更复杂群结构上的极值序列。

核心贡献

完全刻画了群 $C_n \oplus C_{nm}$ 上的极值序列结构：给出了所有可能的序列形式的完整分类。
发展了新的分析技术：通过结合Davenport常数理论和零和自由序列的性质，建立了有效的分析框架。
推广了现有理论：将之前仅适用于 $C_n \oplus C_n$ 的结果扩展到更一般的 $C_n \oplus C_{nm}$ 群。
提供了5种标准形式：完整列举了所有可能的极值序列结构。

方法详解

任务定义

输入：群 $G = C_n \oplus C_{nm}$ （ $n, m \geq 2$ ）上长度为 $\mathrm{disc}(G) - 1$ 的序列 $S$ 约束： $S$ 的所有非空零和子序列具有相同长度输出： $S$ 的结构分类

核心技术框架

1. 基础理论工具

Davenport常数： $D(C_n \oplus C_{nm}) = n + nm - 1$
判别常数： $\mathrm{disc}(G) = D(G) + \exp(G) = n + 2nm - 1$
零和子序列长度：由引理2.3，所有零和子序列长度为 $\exp(G) = nm$

2. 关键引理

引理3.1：设 $S$ 是长度为 $\mathrm{disc}(G) - 1$ 的序列，所有零和子序列等长， $T$ 是 $S$ 的零和子序列，则： $\mathrm{supp}(T) \cap \Sigma_{\geq 2}(ST^{-1}) = \emptyset$

这个引理确保了零和子序列的支撑与剩余序列的多项子和不相交。

3. 分析策略

序列分解：将序列 $S$ 分解为零和部分 $T$ 和零和自由部分 $ST^{-1}$
最小零和序列分析：利用引理2.5对 $ST^{-1}(-\sigma(ST^{-1}))$ 进行分类
案例分析：根据生成集的不同选择进行详细的案例讨论

主要定理

定理1.1：设 $G = C_n \oplus C_{nm}$ （ $n, m \geq 2$ ）， $S$ 是 $G$ 上长度为 $\mathrm{disc}(G) - 1$ 且所有零和子序列等长的序列，则存在生成集 $\{g_1, g_2\}$ 使得 $S$ 具有以下形式之一：

$S = g_2^{nm-1} \prod_{i=1}^{n-1}(x_i g_2 + g_1)$ ，其中 $\mathrm{ord}(g_1) = n$ ， $x_i \in [0, nm-1]$
$S = g_1^{n-2} g_2^{nm-1}(-(n-1)g_1 + g_2)$
$S = g_1^{n-1} g_2^{nm-1}$
$S = g_1^{2nm-1} \prod_{i=1}^{n-1}(-y_i g_1 + g_2)$ ，其中 $\mathrm{ord}(g_1) = nm$ ， $\sum y_i \in [0, n-1]$
$S = g_1^{sn+tn-1} g_2^{2nm+n(1-s)-tn-1}$ ，其中 $\mathrm{ord}(g_1) = nm$ ， $s \in [1,m]$ ， $t \in [0,m]$

证明思路

主要证明步骤

建立基本参数关系：
- 序列长度： $|S| = n + 2nm - 2$
- 零和子序列长度： $nm$
- 零和自由部分长度： $|ST^{-1}| = n + nm - 2$
利用零和自由序列性质：
- $ST^{-1}$ 是零和自由的
- $\Sigma(ST^{-1}) = G \setminus \{0\}$
- $ST^{-1}(-\sigma(ST^{-1}))$ 是最小零和序列
分类讨论：根据引理2.5，将 $ST^{-1}(-\sigma(ST^{-1}))$ $S T^{- 1} (- σ (S T^{- 1}))$ 分为四大类：
- Case 1-2：基于基 $\{e_1, e_2\}$ 的两种形式
- Case 3：生成集满足 $ng_1 \neq ng_2$
- Case 4：生成集满足 $ng_1 = ng_2$
细致的子案例分析：每个主要案例进一步细分，利用引理3.1排除矛盾情况