[논문 리뷰] Exponential Bounds for the Erd\H{o}s-Ginzburg-Ziv Constant

Eric Naslund|arXiv (Cornell University)|2017. 01. 18.

Limits and Structures in Graph Theory참고 문헌 14인용 수 9

한 줄 요약

이 논문은 분할 랭크 방법(슬라이스 랭크의 일반화)을 사용하여 에르되시-긴스부르크-자이브 상수 $ s((\mathbb{Z}/p\mathbb{Z})^n) $ 에 대한 지수적 상계를 확립한다. $ 0.8414 < J(p) < 0.91837 $ 이며, $ s((\mathbb{Z}/p\mathbb{Z})^n) \leq (p-1)2p \cdot (pJ(p))^n $ 를 증명한다. 이는 큰 $ n $ 에서 기하급수적 상한에 대한 첫 번째 개선이며, 일반적인 $ k $ 에 대해 성질 D 추측 하에 조건부 결과를 제공한다.

ABSTRACT

The Erd\H{o}s-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this paper, we use the partition rank, which generalizes the slice rank, to prove that for any odd prime $p$, \[ \mathfrak{s}\left(\mathbb{F}_{p}^{n} ight)\leq(p-1)2^{p}\left(J(p)\cdot p ight)^{n} \] where $0.8414<J(p)<0.91837$ is the constant appearing in Ellenberg and Gijswijt's bound on arithmetic progression-free subsets of $\mathbb{F}_{p}^{n}$. For large $n$, and $p>3$, this is the first exponential improvement to the trivial bound. We also provide a near optimal result conditional on the conjecture that $\left(\mathbb{Z}/k\mathbb{Z} ight)^{n}$ satisfies property $D$, showing that in this case \[ \mathfrak{s}\left(\left(\mathbb{Z}/k\mathbb{Z} ight)^{n} ight)\leq(k-1)4^{n}+k. \]

연구 동기 및 목표

• 큰 $ n $ 에 대해 $ s((\mathbb{Z}/k\mathbb{Z})^n) $ 의 상계를 구하는 오랜 동안 미해결된 문제를 다루며, 특히 소수 거듭제곱에 대해.
• $ p > 3 $ 이고 $ n $ 이 크기 때문에 $ s((\mathbb{Z}/p\mathbb{Z})^n) $ 에 대해 기하급수적 상한에 대한 첫 번째 개선을 제공한다.
• 최대의 0-합 자유 수열을 특징짓는 성질 D를 만족한다고 추측할 때, 그에 기반한 조건부 상계를 확립한다.
• 포크와 사우에르만의 감소 추론을 활용하여 소수 체에서의 결과를 일반적인 유한 아벨 군으로 확장한다.
• 텐서 기반 조합 문제에서의 서로 다른 원소 조건을 다루기 위해 분할 랭크 방법을 개발하고 적용한다.

제안 방법

• 논문은 저자가 도입한 슬라이스 랭크의 일반화인 분할 랭크 방법을 사용하여, $ \mathbb{F}_p^n $ 의 부분집합 중에서 $ p $ 개의 서로 다른 원소가 0으로 합해지는 경우가 없는 집합의 크기를 상계한다.
• $ p $ 개의 서로 다른 원소가 0으로 합해지는 조건을 코딩하기 위해 지표 텐서 $ I_p $ 를 구성하고, 단항식 차수와 델타 함수 그룹화를 통해 그 분할 랭크를 상한한다.
• 분해된 $ I_p $ 의 단항식 차수를 분석하고, 가장 낮은 차수의 델타 함수에 따라 항을 그룹화하며, 저차수 단항식의 수를 세는 방식으로 핵심 부등식을 유도한다.
• $ 0 < x < 1 $ 에서 $ \frac{1 - x^p}{1 - x} x^{-(p-1)/3} $ 의 표현을 최소화하여 $ |A| \leq (2p - p - 2)(pJ(p))^n $ 의 상한을 도출하며, 이때 $ J(p) $ 가 정의된다.
• 성질 D 추측 하에 조건부 결과를 도출한다. 이 추측은 최대의 0-합 자유 수열이 균일한 다중집합임을 제안하며, 더 강력한 상한을 가능하게 한다.
• $ p \mid k $ 일 때 $ s((\mathbb{Z}/k\mathbb{Z})^n) $ 에서 $ s((\mathbb{Z}/p\mathbb{Z})^n) $ 으로의 감소를 활용하여 일반적인 $ k $ 에 대해 상한을 확장한다. 포크와 사우에르만의 결과를 활용한다.

실험 결과

연구 질문

• RQ1 최적의 지수적 상한은 무엇이며, 기하급수적 상한을 초과할 수 있는가?
• RQ2 분할 랭크 방법은 0-합 문제에서 서로 다른 원소 조건을 다룰 때 슬라이스 랭크보다 어떻게 개선되는가?
• RQ3 어떤 조건에서 에르되시-긴스부르크-자이브 상수는 더 엄격하게 상한을 가질 수 있으며, 특히 군이 성질 D를 만족할 경우?
• RQ4 $ (0,1) $ 에서의 최소화를 통해 정의된 함수 $ J(p) $ 는 $ s((\mathbb{Z}/p\mathbb{Z})^n) $ 의 지수적 성장률을 결정하는 데 어떤 역할을 하는가?
• RQ5 성질 D를 가정하고 소수 거듭제곱 사례로 감소시키면, $ s((\mathbb{Z}/k\mathbb{Z})^n) $ 의 상한을 거의 최적화할 수 있는가?

주요 결과

• 논문은 $ s((\mathbb{Z}/p\mathbb{Z})^n) $ 에 대해 기하급수적 상한에 대한 첫 번째 개선을 확립하며, $ 0.8414 < J(p) < 0.91837 $ 이고 $ s((\mathbb{Z}/p\mathbb{Z})^n) \leq (p-1)2p \cdot (pJ(p))^n $ 이라고 보여준다.
• 모든 홀수 소수 $ p $ 에 대해, $ \mathbb{F}_p^n $ 의 부분집합 $ A $ 중에서 $ p $ 개의 서로 다른 원소가 0으로 합해지는 경우가 없는 집합의 크기는 $ (2p - p - 2)(pJ(p))^n $ 이하이다.
• 성질 D 추측이 참이라면, $ s((\mathbb{Z}/k\mathbb{Z})^n) \leq (k-1)4^n + k $ 를 증명하며, 이는 거의 최적이다.
• $ q $ 가 $ k $ 를 나누는 가장 큰 소수 거듭제곱일 때, 조건부 상한 $ s((\mathbb{Z}/k\mathbb{Z})^n) \leq (J(q)q + o(1))^n $ 이 확립되며, $ n \to \infty $ 일 때 $ o(1) \to 0 $ 이다.
• $ q $-튜플이 0으로 합해지는 조건을 코딩하는 텐서 $ E_q $ 에 슬라이스 랭크 방법을 적용하여 $ \text{slice-rank}(E_q) \leq q \cdot \gamma_q^n $ 를 얻으며, 여기서 $ \gamma_q $ 는 $ (0,1) $ 에서의 최소화를 통해 정의된다.
• 확대 기법을 통해 슬라이스 랭크 상한의 $ q $ 계수를 감소시켜 $ |A| \leq \gamma_q^n $ 를 도출하며, 이는 성질 D 하에 $ s((\mathbb{Z}/q\mathbb{Z})^n) $ 에 대한 조건부 상한을 암시한다.