[논문 리뷰] Representation of Finite Abelian Group Elements by Subsequence Sums

David J. Grynkiewicz, E. Marchan외 1명|ArXiv.org|2008. 06. 02.

Limits and Structures in Graph Theory참고 문헌 13인용 수 3

한 줄 요약

이 논문은 유한 아벨 군에서 가중 부분수열 합을 조사하며, 하미두네의 부분수열 합을 통한 부분군 표현에 대한 추측을 반증하고, 큰 가중치 수열에 대한 반례를 특성화한다. 이는 조건을 완화한 $σ^*(G)$를 사용하여 가오의 정리에 대한 가중치 버전을 수립하며, 특정 다중도 및 최대공약수 조건 하에서 $Σ_{|W|}(W,S) = Σ(W,S)$임을 증명하여, 제로섬 조합론에서 이전의 기준을 향상시킨다.

ABSTRACT

Let $G\cong C_{n_1}\oplus ... \oplus C_{n_r}$ be a finite and nontrivial abelian group with $n_1|n_2|...|n_r$. A conjecture of Hamidoune says that if $W=w_1... w_n$ is a sequence of integers, all but at most one relatively prime to $|G|$, and $S$ is a sequence over $G$ with $|S|\geq |W|+|G|-1\geq |G|+1$, the maximum multiplicity of $S$ at most $|W|$, and $σ(W)\equiv 0\mod |G|$, then there exists a nontrivial subgroup $H$ such that every element $g\in H$ can be represented as a weighted subsequence sum of the form $g=\sum_{i=1}^{n}w_is_i$, with $s_1... s_n$ a subsequence of $S$. We give two examples showing this does not hold in general, and characterize the counterexamples for large $|W|\geq {1/2}|G|$. A theorem of Gao, generalizing an older result of Olson, says that if $G$ is a finite abelian group, and $S$ is a sequence over $G$ with $|S|\geq |G|+D(G)-1$, then either every element of $G$ can be represented as a $|G|$-term subsequence sum from $S$, or there exists a coset $g+H$ such that all but at most $|G/H|-2$ terms of $S$ are from $g+H$. We establish some very special cases in a weighted analog of this theorem conjectured by Ordaz and Quiroz, and some partial conclusions in the remaining cases, which imply a recent result of Ordaz and Quiroz. This is done, in part, by extending a weighted setpartition theorem of Grynkiewicz, which we then use to also improve the previously mentioned result of Gao by showing that the hypothesis $|S|\geq |G|+D(G)-1$ can be relaxed to $|S|\geq |G|+d^*(G)$, where $d^*(G)=\Sum_{i=1}^{r}(n_i-1)$. We also use this method to derive a variation on Hamidoune's conjecture valid when at least $d^*(G)$ of the $w_i$ are relatively prime to $|G|$.

연구 동기 및 목표

• 유한 아벨 군에서 군 원소가 가중 부분수열 합으로 표현되는지 조사하는 것.
• 하미두네의 특정 조건 하에서 이러한 합으로 생성된 비자명한 부분군의 존재성에 대한 추측을 검증하고 반증하는 것.
• 가오의 고전적 제로섬 정리를 가중치 설정으로 확장하여 필요로 하는 수열 길이 조건을 개선하는 것.
• 특히 큰 가중치 수열에 대해 추측된 표현 성질을 위반하는 수열 $S$의 구조를 특성화하는 것.
• 가중 제로섬 정리에서 $σ^*(G)$를 $σ(G)$의 대체로 사용하여 불변량을 정밀화하는 것.

제안 방법

• 그린키에비치의 가중 집합분할 정리를 사용하여 정수 가중치 하의 부분수열 합을 분석한다.
• $\mathsf{d}^*(G) = \sum_{i=1}^r (n_i - 1)$를 사용하여 $\mathsf{D}(G)$의 대체로 더 정교한 군 복잡도 측정치로 활용한다.
• $\Sigma_n(W,S)$를 수열 $W$와 $S$에서의 모든 $n$항 가중 부분수열 합의 집합으로 표기한다.
• $\sigma(W) \equiv 0 \pmod{|G|}$ 조건을 도입하여 가중 합의 전역 제로섬 행동을 보장한다.
• 합집합의 안정자 및 주기성 구조를 활용하여 가중 합의 이미지 내 부분군 구조를 분석한다.
• 문헌 [7]의 결과를 수정하여, $S$의 최대 다중도가 $\mathsf{D}(G) - 1$ 이상일 경우 $\Sigma(W,S) = \Sigma_{|W|}(W,S)$임을 보여준다.

실험 결과

연구 질문

• RQ1 유한 아벨 군 $G$의 비자명한 부분군 $H$의 모든 원소가, 하미두네의 조건 하에서 수열 $S$의 부분수열 $s_i$에 대해 가중 부분수열 합 $\sum w_i s_i$로 표현될 수 있는가?
• RQ2 하미두네의 추측에서 표현 성질을 위반하는 수열 $S$의 구조적 성질은 무엇인가?
• RQ3 가오의 고전적 제로섬 정리는 가중치 설정으로 확장될 수 있는가? 그리고 길이 조건을 완화할 수 있는가?
• RQ4 $\Sigma(W,S) = \Sigma_{|W|}(W,S)$가 성립하는 조건은 무엇인가? 특히 $\mathsf{h}(S) \geq \mathsf{D}(G) - 1$일 경우에 대해.
• RQ5 $\mathsf{d}^*(G)$는 $\mathsf{D}(G)$와 비교해 가중 부분수열 합 커버리지의 임계 길이를 결정하는 데 어떻게 기여하는가?

주요 결과

• 논문은 하미두네의 추측에 대한 두 개의 반례를 제시하여, 이 추측이 일반적으로 성립하지 않음을 보였다.
• $|W| \geq \frac{1}{2}|G|$일 경우, 논문은 하미두네의 추측에 대한 반례를 완전히 특성화하였다.
• 조건 $\sigma(W) \equiv 0 \pmod{|G|}$ 하에서 $\mathsf{h}(S) \geq \mathsf{D}(G) - 1$이면 $\Sigma(W,S) = \Sigma_{|W|}(W,S)$임을 증명하였다.
• 가오의 정리에서 $|S| \geq |G| + \mathsf{D}(G) - 1$ 조건은 $|S| \geq |G| + \mathsf{d}^*(G)$로 개선되었으며, 여기서 $\mathsf{d}^*(G) = \sum_{i=1}^r (n_i - 1)$이다.
• 최소 $\mathsf{d}^*(G)$개의 가중치 $w_i$가 $|G|$와 서로소일 조건 하에서 가오의 정리에 대한 가중치 버전을 수립하였다.
• 최소 $\mathsf{d}^*(G)$개의 $w_i$가 $|G|$와 서로소일 경우 성립하는 하미두네의 추측의 변형을 유도하였다.