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

Basic Information

• Paper ID: 2510.14215
• Title: The structure of sequences with zero-sum subsequences of the same length on finite abelian groups of rank two
• Authors: Wanzhen Hui, Xue Li
• Classification: math.CO (Combinatorics)
• Publication Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2510.14215

Abstract

Let $G$ be an additive finite abelian group, and let $\mathrm{disc}(G)$ denote the smallest positive integer $t$ such that every sequence $S$ of length $|S| \geq t$ on $G$ contains two distinct nonempty zero-sum subsequences of different lengths. Recently, Gao et al. determined the exact values of $\mathrm{disc}(G)$ for all finite abelian groups of rank two and resolved the corresponding inverse problem for the group $C_n \oplus C_n$. This paper characterizes the structure of sequences $S$ on the group $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.

Research Background and Motivation

Problem Background

1. Generalization of Graham's Conjecture: In 1976, Graham proposed a conjecture concerning sequences on cyclic groups $C_p$, which was later proved by Erdős-Szemerédi and Gao-Hamidoune-Wang, among others. This inspired research into zero-sum problems on more general finite abelian groups.
2. Study of the Discriminant Constant disc(G): In 2012, B. Girard introduced the discriminant constant $\mathrm{disc}(G)$, defined as the smallest positive integer $t$ such that every sequence of length at least $t$ on $G$ contains two nonempty zero-sum subsequences of different lengths.
3. Importance of Inverse Problems: Understanding the structure of extremal sequences is crucial for gaining deeper insight into the nature of zero-sum problems.

Research Motivation

1. Filling Theoretical Gaps: Although the values of $\mathrm{disc}(G)$ have been determined, the structure of sequences of length $\mathrm{disc}(G) - 1$ with all zero-sum subsequences of equal length remains insufficiently studied.
2. Extending Applicability: Existing results are primarily limited to specific group structures (such as $C_n \oplus C_n$) and need to be generalized to more general rank-2 groups.
3. Methodological Innovation: New techniques are needed to characterize extremal sequences on more complex group structures.

Core Contributions

1. Complete characterization of extremal sequence structures on $C_n \oplus C_{nm}$: Provides a complete classification of all possible sequence forms.
2. Development of new analytical techniques: Establishes an effective analytical framework by combining Davenport constant theory and properties of zero-sum-free sequences.
3. Generalization of existing theory: Extends previous results that applied only to $C_n \oplus C_n$ to the more general group $C_n \oplus C_{nm}$.
4. Provision of five standard forms: Completely enumerates all possible extremal sequence structures.

Detailed Methodology

Task Definition

Input: A sequence $S$ of length $\mathrm{disc}(G) - 1$ on the group $G = C_n \oplus C_{nm}$ ($n, m \geq 2$) Constraint: All nonempty zero-sum subsequences of $S$ have the same length Output: Structural classification of $S$

Core Technical Framework

1. Foundational Theoretical Tools

• Davenport constant: $D(C_n \oplus C_{nm}) = n + nm - 1$
• Discriminant constant: $\mathrm{disc}(G) = D(G) + \exp(G) = n + 2nm - 1$
• Zero-sum subsequence length: By Lemma 2.3, all zero-sum subsequences have length $\exp(G) = nm$

2. Key Lemmas

Lemma 3.1: Let $S$ be a sequence of length $\mathrm{disc}(G) - 1$ with all zero-sum subsequences of equal length, and let $T$ be a zero-sum subsequence of $S$. Then: $\mathrm{supp}(T) \cap \Sigma_{\geq 2}(ST^{-1}) = \emptyset$

This lemma ensures that the support of the zero-sum subsequence is disjoint from the multiple subsequence sums of the remaining sequence.

3. Analysis Strategy

1. Sequence Decomposition: Decompose sequence $S$ into a zero-sum part $T$ and a zero-sum-free part $ST^{-1}$
2. Minimal Zero-Sum Sequence Analysis: Classify $ST^{-1}(-\sigma(ST^{-1}))$ using Lemma 2.5
3. Case Analysis: Conduct detailed case discussions based on different choices of generating sets

Main Theorem

Theorem 1.1: Let $G = C_n \oplus C_{nm}$ ($n, m \geq 2$), and let $S$ be a sequence on $G$ of length $\mathrm{disc}(G) - 1$ with all zero-sum subsequences of equal length. Then there exists a generating set $\{g_1, g_2\}$ such that $S$ has one of the following forms:

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

Proof Strategy

Main Proof Steps

1. Establishing Basic Parameter Relations:
   • Sequence length: $|S| = n + 2nm - 2$
   • Zero-sum subsequence length: $nm$
   • Zero-sum-free part length: $|ST^{-1}| = n + nm - 2$
2. Utilizing Zero-Sum-Free Sequence Properties:
   • $ST^{-1}$ is zero-sum-free
   • $\Sigma(ST^{-1}) = G \setminus \{0\}$
   • $ST^{-1}(-\sigma(ST^{-1}))$ is a minimal zero-sum sequence
3. Classification Discussion: According to Lemma 2.5, classify $ST^{-1}(-\sigma(ST^{-1}))$ into four major categories:
   • Cases 1-2: Two forms based on the basis $\{e_1, e_2\}$
   • Case 3: Generating set satisfies $ng_1 \neq ng_2$
   • Case 4: Generating set satisfies $ng_1 = ng_2$
4. Detailed Subcases Analysis: Each major case is further subdivided, using Lemma 3.1 to eliminate contradictory cases

Technical Innovations

1. New Constraint Propagation Technique: Lemma 3.1 establishes strong constraint relationships between zero-sum subsequences and the remaining sequence.
2. Systematic Case Analysis Framework: Complete classification discussion based on the generating set properties of the group.
3. Precise Parameter Control: Utilizes the order and exponent of the group to precisely control sequence length and structure.

Related Work

Historical Development

1. Graham's Conjecture (1976): Initially concerning cyclic groups of prime order
2. Erdős-Szemerédi Results (1976): Proof for large primes
3. Gao-Hamidoune-Wang (2010): Complete proof of Graham's conjecture
4. Girard (2012): Introduction of the discriminant constant concept

Recent Progress

1. Gao et al. (2020): Determination of $\mathrm{disc}(G)$ values for groups of rank ≤ 2
2. Li-Yin (2024): Extension to certain rank-3 groups
3. This Paper: Completion of structural characterization for $C_n \oplus C_{nm}$

Conclusions and Discussion

Main Conclusions

The paper completely resolves the structural problem of extremal sequences on the group $C_n \oplus C_{nm}$, providing five possible standard forms, each with explicit parameter constraints and geometric interpretations.

Theoretical Significance

1. Perfecting Rank-2 Group Theory: Forms a complete system with existing results for $C_n \oplus C_n$
2. Methodological Contribution: Developed techniques can be generalized to other group structures
3. Deepening Understanding of Zero-Sum Problems: Reveals the intrinsic structural patterns of extremal sequences

Limitations

1. Group Structure Restrictions: Applies only to specific forms of rank-2 groups
2. Parameter Constraints: Requires $m \geq 2$, excluding the case $m = 1$
3. Computational Complexity: Verification in certain cases requires complex case analysis

Future Directions

1. Generalization to Higher-Rank Groups: Extend methods to groups of rank ≥ 3
2. Algorithmic Implementation: Develop effective algorithms to determine the structural type of given sequences
3. Application Exploration: Apply results to coding theory and cryptography

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete structural classification without omissions
2. Proof Rigor: Case analysis is exhaustive with clear logical flow
3. Technical Innovation: Key techniques such as Lemma 3.1 demonstrate originality
4. Clarity of Exposition: Mathematical statements are precise with well-organized structure

Weaknesses

1. Proof Length: Extensive case analysis makes the proof process somewhat tedious
2. Insufficient Geometric Intuition: Lacks geometric or combinatorial interpretation of results
3. Limited Computational Verification: No concrete numerical examples provided for verification

Impact

1. Theoretical Contribution: Provides important structural results for zero-sum sequence theory
2. Methodological Value: Developed techniques applicable to related problems
3. Completeness Value: Fills important theoretical gaps in the field

Applicable Scenarios

1. Theoretical Research: Zero-sum problems and additive combinatorics research
2. Coding Theory: Applications in error-correcting code design
3. Number Theory Applications: Problems related to Davenport constants

References

The paper cites important literature in the field, including:

• Classical works by Erdős-Szemerédi
• Series of studies by Gao et al. on discriminant constants
• Monographs by Geroldinger-Halter-Koch
• Recent related developments

Summary: This is a high-quality theoretical mathematics paper that completely resolves an important structural problem with rigorous methods and complete results, making substantial contributions to zero-sum sequence theory.