[논문 리뷰] A Weighted Generalization of Two Theorems of Gao

David J. Grynkiewicz, Luz Elimar Marchan외 1명|ArXiv.org|2009. 03. 16.

Analytic and geometric function theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 유한 아벨 군에서 제로섬 수열에 대한 고의 고전적 결과를 가중치로 일반화하여, 임의의 공집합이 아닌 부분집합 $A \subseteq \mathbb{Z}$에 대해 가중치가 부여된 에르되시–긴즈버그–자브 불변량 $\mathsf{E}_A(G)$ 가 $|G| + \mathsf{D}_A(G) - 1$ 와 같음을 증명함으로써 오랫동안 남아있던 추측을 확인한다. 증명은 군의 구조에 대한 귀납적 추론, 부분군 분해 및 가중치가 부여된 부분수열 합 기법을 사용하여 이전 결과를 일반적인 가중치 집합과 더 높은 $n$-합으로 확장한다.

ABSTRACT

Let $G$ be a finite abelian group and let $A\subseteq \mathbb{Z}$ be nonempty. Let $D_A(G)$ denote the minimal integer such that any sequence over $G$ of length $D_A(G)$ must contain a nontrivial subsequence $s_1... s_r$ such that $\sum_{i=1}^{r}w_is_i=0$ for some $w_i\in A$. Let $E_A(G)$ denote the minimal integer such that any sequence over $G$ of length $E_A(G)$ must contain a subsequence of length $|G|$, $s_1... s_{|G|}$, such that $\sum_{i=1}^{|G|}w_is_i=0$ for some $w_i\in A$. In this paper, we show that $$E_A(G)=|G|+D_A(G)-1,$$ confirming a conjecture of Thangadurai and the expectations of Adhikari, et al. The case $A=\{1\}$ is an older result of Gao, and our result extends much partial work done by Adhikari, Rath, Chen, David, Urroz, Xia, Yuan, Zeng and Thangadurai. Moreover, under a suitable multiplicity restriction, we show that not only can zero be represented in this manner, but an entire nontrivial subgroup, and if this subgroup is not the full group $G$, we obtain structural information for the sequence generalizing another non-weighted result of Gao. Our full theorem is valid for more general $n$-sums with $n\geq |G|$, in addition to the case $n=|G|$.

연구 동기 및 목표

• 탐가두라이와 아드히카리 등이 제기한 가중치가 부여된 다바르틴 상수와 에르되시–긴즈버그–자브 상수 간의 관계에 대한 추측을 해결하기 위해.
• 모든 공집합이 아닌 가중치 집합 $A \subseteq \mathbb{Z}$ 에 대해 고의 고전적 항등식 $\mathsf{E}(G) = |G| + \mathsf{D}(G) - 1$ 이 가중치가 부여된 설정으로 일반화되도록 하기 위해.
• 가중치가 부여된 제로섬 표현에 대한 구조적 결과를 확립하여, 다중도 제약 조건 하에서 전체 비자명한 부분군이 가중치 합으로 표현될 수 있음을 보이기 위해.
• 결과를 $n = |G|$ 를 초과하여 임의의 $n \geq |G|$ 로 일반화하여 $n$-합 문제에 대한 적용 범위를 넓히기 위해.

제안 방법

• 군의 순서 $|G|$ 에 대한 귀납법을 사용하여, 몫과 부분군 분해를 통해 문제를 더 작은 부분군으로 환원한다.
• 군 $G$ 위의 수열 $S$ 의 집합분할 $\mathscr{A}$ 를 적용하며, 각 집합 $A_i$ 는 가중치 합 $\sum a_i s_i$ 와 대응된다.
• 가중치가 부여된 부분수열 합 집합 $\Sigma_n^\cup(\mathscr{B})$ 를 사용하여 표현 가능한 군 원소를 분석하며, 특히 $n = |G|$ 와 $n \geq |G|$ 의 경우에 집중한다.
• 합집합 성장도를 제어하기 위해, $L$ 이 최대 주기 부분군일 때, $\delta' + L$ 이라는 여부에 속하는 중요한 부분집합분할 $\mathcal{C}$ 를 도입한다.
• 크기가 2 이상인 부분집합분할 $\mathscr{A}_2$ 에 Lemma 3.5 를 적용하여, $H \leq d \cdot G$ 를 만족하는 비자명한 부분군 $H$ 를 도출함으로써 구조적 환원을 이룬다.
• 몫 사상 $\phi_H$ 를 사용하여 문제를 더 작은 군으로 환원하며, $|\mathscr{D}|$ 가 충분히 크면 $\phi_H(\mathscr{D})$ 에 대해 귀납 가정을 적용한다.

실험 결과

연구 질문

• RQ1 모든 공집합이 아닌 부분집합 $A \subseteq \mathbb{Z}$ 와 유한 아벨 군 $G$ 에 대해 항등식 $\mathsf{E}_A(G) = |G| + \mathsf{D}_A(G) - 1$ 이 성립하는가?
• RQ2 다중도 제약 조건 하에서, 항등원 외에도 전체 비자명한 부분군이 가중치 합으로 표현될 수 있는가?
• RQ3 가중치 합의 길이가 $|G|$ 일 때, 특히 생성된 부분군이 진부분군일 경우 수열의 구조에서 어떤 구조적 성질이 드러나는가?
• RQ4 가중치가 부여된 $n$-합의 맥락에서 결과가 $n = |G|$ 에서 임의의 $n \geq |G|$ 로 어떻게 일반화되는가?

주요 결과

• 모든 공집합이 아닌 $A \subseteq \mathbb{Z}$ 와 유한 아벨 군 $G$ 에 대해 항등식 $\mathsf{E}_A(G) = |G| + \mathsf{D}_A(G) - 1$ 가 성립함을 확인하였으며, 이는 탐가두라이 등이 제기한 추측을 확인한다.
• 적절한 다중도 제약 조건 하에서, 가중치 합은 항등원 외에도 전체 비자명한 부분군 $H \leq G$ 를 표현할 수 있다.
• 표현 가능한 부분군 $H$ 가 진부분군일 경우, 수열의 구조는 고의 비가중치 부분군 결과를 일반화하는 방식으로 제약을 받는다.
• $n$-합에 대해 $n \geq |G|$ 로 결과를 확장하였으며, 크기가 $|G| + \mathsf{D}_A(G) - 1$ 인 부분집합분할 $\mathcal{C}'$ 에 대해 $\Sigma_n^\cup(\mathcal{C}') = |G|$ 를 보였다.
• 증명은 특히 $\phi_H$ 와 $H \leq d \cdot G$ 를 사용하여 합집합 성장도를 제어하는 방식으로, 몫 군과 부분군 분해를 통한 귀납적 환원에 의존한다.
• 합집합 $\Sigma^\cup_{|G|}(\mathscr{B})$ 의 최대 주기 $L$ 을 사용하여, 대부분의 집합이 포함된 코셋 $\delta' + L$ 을 식별함으로써 귀납적 적용을 가능하게 하였다.