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

유한 아벨군의 2-계수에서 같은 길이의 영합 부분수열을 갖는 수열의 구조

기본 정보

논문 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$ 에 대한 해당 역문제를 해결했다. 본 논문은 $|S| = \mathrm{disc}(G) - 1$ 이고 $S$ 의 모든 공이 아닌 영합 부분수열이 같은 길이를 가질 때, 군 $G = C_n \oplus C_{nm}$ (단, $m \geq 2$ ) 위의 수열 $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}))$ 를 4대 범주로 분류:
- 경우 1-2: 기저 $\{e_1, e_2\}$ 에 기반한 두 가지 형태
- 경우 3: 생성집합이 $ng_1 \neq ng_2$ 를 만족
- 경우 4: 생성집합이 $ng_1 = ng_2$ 를 만족
세밀한 부경우 분석: 각 주요 경우를 더욱 세분화하고, 보조정리 3.1을 이용하여 모순 상황 배제