[논문 리뷰] Long $n$-zero-free sequences in finite cyclic groups

Svetoslav Savchev, Fang Chen|ArXiv.org|2006. 04. 16.

Limits and Structures in Graph Theory인용 수 6

한 줄 요약

이 논문은 순환군 $\mathbb{Z}_n$ 내에서 길이가 $3n/2 - 1$를 초과하는 $n$-zero-free 시퀀스를 특성화하며, 이러한 시퀀스는 정확히 $L(\alpha) < n$ 및 $L(1 - \beta) < n$를 만족하는 두 시퀀스 $\alpha$와 $\beta$의 합집합과 유사한 형태임을 보여준다. 이 특성화는 항의 다중도에 대한 최적의 하한을 도출하고, 에르되시–긴즈버그–지브 정리와 관련된 함수의 다양한 매개변수 범위에서의 값을 결정한다.

ABSTRACT

A sequence in the additive group ${\mathbb Z}_n$ of integers modulo $n$ is called $n$-zero-free if it does not contain subsequences with length $n$ and sum zero. The article characterizes the $n$-zero-free sequences in ${\mathbb Z}_n$ of length greater than $3n/2-1$. The structure of these sequences is completely determined, which generalizes a number of previously known facts. The characterization cannot be extended in the same form to shorter sequence lengths. Consequences of the main result are best possible lower bounds for the maximum multiplicity of a term in an $n$-zero-free sequence of any given length greater than $3n/2-1$ in ${\mathbb Z}_n$, and also for the combined multiplicity of the two most repeated terms. Yet another application is finding the values in a certain range of a function related to the classic theorem of Erdős, Ginzburg and Ziv.

연구 동기 및 목표

• 길이가 $3n/2 - 1$를 초과하는 $\mathbb{Z}_n$ 내의 $n$-zero-free 시퀀스를 애핀 동치 관계에 대해 특성화하는 것.
• 이전에 길이 $2n-2$ 및 $2n-3$인 $n$-zero-free 시퀀스에 대한 결과를 더 넓은 길이 범위로 일반화하는 것.
• 이러한 시퀀스에서 항의 최대 다중도 및 두 번째로 자주 나타나는 항의 다중도 합에 대한 최적의 하한을 도출하는 것.
• 서로 다른 항이 $k$개인 시퀀스에서 $n$개 항의 합이 0이 되는 부분시퀀스를 보장하는 최소 길이를 보장하는 함수 $g(n,k)$의 값이 $4 \leq k \leq \sqrt{2n-1}+1$ 범위에서 결정되는 것.

제안 방법

• 특성화는 [10]에서 제시한 $\mathbb{Z}_n$ 내에서 길이가 $n/2$를 초과하는 zero-free 시퀀스에 대한 핵심 구조적 결과에 기반한다.
• 시퀀스는 애핀 변환과 재정렬에 대해 불변인 유사성 관계에 따라 분석되어, $n$-zero-free 시퀀스를 분류한다.
• 시퀀스의 표준형을 정의하기 위해 최소 양의 대표자 합인 $L(\alpha)$와 $L(1 - \beta)$를 사용한다.
• 항 $x^2/2$와 $y^2/2$를 포함하는 부등식은 $L(\alpha)$와 $L(1 - \beta)$의 한계로부터 유도되며, 이는 서로 다른 항의 수에 대한 이차 상한을 이끌어낸다.
• 포크홀드 원리와 극단적 조합론을 적용하여, 길이가 $n - 1 + \ell$이고 $\ell > n/2$인 시퀀스는 $k$가 임계값을 초과할 경우 $k$개의 서로 다른 항을 가질 수 없다는 것을 보인다.
• 함수 $g(n,k)$는 서로 다른 항이 $k$개인 $n$-zero-free 시퀀스를 구성하고, 그보다 더 긴 시퀀스는 반드시 $n$개 항의 합이 0이 되는 부분시퀀스를 포함해야 한다는 것을 증명함으로써 분석된다.

실험 결과

연구 질문

• RQ1 길이가 $3n/2 - 1$를 초과하는 $\mathbb{Z}_n$ 내의 $n$-zero-free 시퀀스의 완전한 구조는 무엇인가?
• RQ2 길이가 더 짧은 경우에도 길이가 긴 경우와 동일한 형태로 $n$-zero-free 시퀀스의 특성화를 확장할 수 있는가?
• RQ3 길이가 $n - 1 + k$이고 $n/2 < k < n$인 $n$-zero-free 시퀀스에서 단일 항의 최대 다중도에 대한 최적의 하한은 무엇인가?
• RQ4 서로 다른 항이 $k$개인 시퀀스에서 $n$개 항의 합이 0이 되는 부분시퀀스를 보장하는 최소 길이를 주는 함수 $g(n,k)$의 값은 $k \leq \sqrt{2n - 1} + 1$ 범위에서 어떻게 되는가?

주요 결과

• 길이가 $3n/2 - 1$를 초과하는 $\mathbb{Z}_n$ 내의 모든 $n$-zero-free 시퀀스는 $L(\alpha) < n$ 및 $L(1 - \beta) < n$를 만족하는 $\alpha \cup \beta$와 유사하며, 이 특성화는 최적이며 더 짧은 길이로는 확장될 수 없다.
• 길이가 $n - 1 + k$이고 $n/2 < k < n$인 시퀀스에서 어떤 항의 최대 다중도는 최소 $k + 1$이며, 이 하한은 최적이다.
• 이러한 시퀀스에서 두 번째로 자주 나타나는 항의 다중도 합은 최소 $2k$이며, 이 하한 역시 최적이다.
• 서로 다른 항이 $k$개인 시퀀스에서 $n$개 항의 합이 0이 되는 부분시퀀스를 보장하는 최소 길이를 나타내는 함수 $g(n,k)$는 $4 \leq k \leq \sqrt{2n - 1} + 1$ 범위에서 $g(n,k) = 2n - 1 - \left\lfloor \left(\frac{k-1}{2}\right)^2 \right\rfloor$를 만족하며, 이는 이전 결과를 더 넓은 범위로 확장한다.
• $g(n,k)$의 하한 구성은 0을 중심으로 대칭적인 항 분포를 가진 시퀀스를 사용하며, $L(\alpha)$와 $L(1 - \beta)$의 합 조건을 통해 이러한 시퀀스가 $n$-zero-free임이 증명된다.
• 증명은 길이가 $n - 1 + \ell$이고 $\ell > n/2$인 모든 $n$-zero-free 시퀀스는 $\ell = n - \left\lfloor \left(\frac{k-1}{2}\right)^2 \right\rfloor$일 경우 최대 $k - 1$개의 서로 다른 항만 가질 수 있음을 보여주며, 이는 $g(n,k)$에 대한 상한을 이끌어낸다.