[논문 리뷰] More on the $h$-critical numbers of finite abelian groups

Béla Bajnok|arXiv (Cornell University)|2016. 11. 22.

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

한 줄 요약

이 논문은 유한 아벨 군 $G$에 대해 $\widehat{\chi}(G,h)$ 및 $\widehat{\chi}(G,[0,s])$ 불변량을 완전히 규명하며, 덧셈수학에서 두 개방 문제를 해결한다. 논문은 $\widehat{\chi}(G,h) = v(n,h) + 1$ 및 $\widehat{\chi}(G,[0,s]) = v(n,s) + 1$을 증명하며, 여기서 $v(n,h)$는 $n$의 약수 $d$에 대해 $f_d(n,h) = \left(\left\lfloor\frac{d-2}{h}\right\rfloor + 1\right)\cdot\frac{n}{d}$ 의 최댓값으로 정의되며, 생성집합에 대한 기존의 임계수 이론을 확장한다.

ABSTRACT

For a finite abelian group $G$, a nonempty subset $A$ of $G$, and a positive integer $h$, we let $hA$ denote the $h$-fold sumset of $A$; that is, $hA$ is the collection of sums of $h$ not-necessarily-distinct elements of $A$. Furthermore, for a positive integer $s$, we set $[0,s] A=\cup_{h=0}^s h A$. We say that $A$ is a generating set of $G$ if there is a positive integer $s$ for which $[0,s] A=G$. The $h$-critical number $χ(G,h)$ of $G$ is defined as the smallest positive integer $m$ for which $hA=G$ holds for every $m$-subset $A$ of $G$; similarly, $χ(G,[0,s])$ is the smallest positive integer $m$ for which $[0,s]A=G$ holds for every $m$-subset $A$ of $G$. We define $\widehatχ (G, h)$ as the smallest positive integer $m$ for which $hA=G$ holds for every generating $m$-subset $A$ of $G$; $\widehatχ (G, [0,s])$ is defined similarly. The value of $χ(G,h)$ has been determined by this author for all $G$ and $h$, and $\widehatχ (G, [0,s])$ was introduced and resolved for some special cases by Klopsch and Lev. Here we determine the remaining two quantities in all cases.

연구 동기 및 목표

• 모든 유한 아벨 군 $G$에 대해 $\widehat{\chi}(G,h)$ 및 $\widehat{\chi}(G,[0,s])$ 불변량을 결정함으로써, $hA = G$ 또는 $[0,s]A = G$를 만족하는 생성 부분집합 $A$의 최소 크기를 측정한다.
• 생성 부분집합에 국한된 경우 $h$-임계수에 관한 이전에 열려 있던 두 문제를 해결한다.
• 이전에 임의의 부분집합에 대해 확립된 임계수 이론을 더 정교한 생성 부분집합의 설정으로 확장하여, 군 생성의 맥락에서 합집합 커버리지에 필요한 최소 크기를 포괄한다.
• 군의 순서 $n$의 약수로부터 유도된 함수 $v(n,h)$를 사용하여 이러한 불변량을 완전히 특성화함으로써, 모든 아벨 군에 대해 균일한 결과를 확보한다.

제안 방법

• 모든 $n$의 약수 $d$에 대해 $v(n,h) = \max_{d \mid n} \left\{ \left(\left\lfloor\frac{d-2}{h}\right\rfloor + 1\right) \cdot \frac{n}{d} \right\}$ 를 정의하여, 순서 $n$의 군에서 $h$-완전하지 않은 부분집합의 최대 크기를 기록한다.
• 군의 순서 $n$에 대한 귀납법을 사용하며, $v(n,h)$의 최댓값이 진부분군 $d_0 < n$에서 또는 $d = n$에서 도달되는지에 따라 경우를 나눈다.
• 최댓값이 진부분군 $d_0$에서 도달되는 경우, 순서 $d_0$인 몫군 $G/H$에서의 부분집합 $B$에 대한 역상 $A = \pi^{-1}(B)$를 구성한다. 여기서 $B$는 $h$-완전하지만 $G/H$를 생성하며, $A$는 $G$를 생성하지만 $hA \neq G$임을 보장한다.
• 최댓값이 $d = n$에서 도달되는 경우, $G$가 소수 순서 $p$를 가진 순환군임을 고려하고, $A = \{1, 2, \dots, \left\lfloor\frac{p-2}{h}\right\rfloor + 1\}$ 를 구성하여 $hA \neq \mathbb{Z}_p$ 이지만 $\langle A \rangle = \mathbb{Z}_p$ 임을 보인다.
• 복합수 $n$에 대해, $v(n,h) = f_n(n,h)$ 이면 모든 소수 약수 $p$는 $p \equiv 1 \pmod{h}$ 를 만족하므로 $n \equiv 1 \pmod{h}$ 가 되며, 군의 불변 인자 분해의 각 구성요소에서 집합 $A_i$의 합집합으로서 $A$를 구성한다.
• 모든 $h$-합에서의 최대 인덱스 $k$를 분석하여, 어떤 $h$-합에서도 항등원이 포함되지 않음을 보여, $0 \notin hA$ 를 증명한다.

실험 결과

연구 질문

• RQ1 유한 아벨 군 $G$의 생성 $m$-부분집합 $A$가 항상 $hA = G$를 만족하기 위한 최소 크기 $m$은 무엇인가?
• RQ2 생성 부분집합으로 제한되었을 때 $h$-임계수 $\chi(G,h)$는 어떻게 변화하며, $\widehat{\chi}(G,h)$의 정확한 값은 무엇인가?
• RQ3 유한 아벨 군 $G$의 생성 $m$-부분집합 $A$가 항상 $[0,s]A = G$를 만족하기 위한 최소 크기 $m$은 무엇인가?
• RQ4 $h$-완전하지 않은 부분집합의 크기를 제한하는 함수 $v(n,h)$가 모든 유한 아벨 군에 대해 $\widehat{\chi}(G,h)$를 완전히 특성화하는 데 사용될 수 있는가?
• RQ5 군 이론적 조건(예: 지수 또는 랭크 등)이 $\widehat{\chi}(G,h)$ 가 $\chi(G,h)$ 와 다를 수 있는가?

주요 결과

• $\widehat{\chi}(G,h)$ 의 값은 정확히 $v(n,h) + 1$ 이며, 여기서 $v(n,h) = \max_{d \mid n} \left\{ \left(\left\lfloor\frac{d-2}{h}\right\rfloor + 1\right) \cdot \frac{n}{d} \right\}$ 이다. 이는 모든 유한 아벨 군에 대해 $\widehat{\chi}(G,h)$ 문제를 해결한다.
• $\widehat{\chi}(G,[0,s])$ 에 대해서는 결과가 $v(n,s) + 1$ 이며, 이는 기존의 $\chi(G,s)$ 결과를 생성 부분집합으로 확장한다.
• $n$ 이 소수일 경우, $\widehat{\chi}(\mathbb{Z}_n,h) = \left\lfloor\frac{n-2}{h}\right\rfloor + 2$ 이며, 이는 집합 $\{1, 2, \dots, \left\lfloor\frac{n-2}{h}\right\rfloor + 1\}$ 에 의해 달성되며, 이 집합은 $\mathbb{Z}_n$ 을 생성하지만 $h$-합집합은 $h-1$ 을 생략한다.
• 복합수 $n$ 에 대해, $v(n,h) = f_n(n,h) = \left\lfloor\frac{n-2}{h}\right\rfloor + 1$ 이면 $n \equiv 1 \pmod{h}$ 이며, $\widehat{\chi}(G,h) = \frac{n-1}{h} + 1$ 이다.
• $G$에 속한 생성 부분집합 $A$를 $G$의 불변 인자 분해의 각 구성요소에서의 집합 $A_i$의 합집합을 통해 크기 $v(n,h)$로 구성하며, $0 \notin hA$ 가 되도록 최대 비영인 좌표 인덱스를 추적함으로써 $hA \neq G$ 를 보장하는 구성이 제공된다.
• 증명은 $\widehat{\chi}(G,h) = \chi(G,h)$ 이다. 즉, $v(n,h) + 1 = \chi(G,h)$ 일 때 성립하며, 이는 최대값 $f_d(n,h)$ 가 $d=n$ 에서 도달될 때 성립하며, 그 외의 경우 $\widehat{\chi}(G,h) < \chi(G,h)$ 이다.