[논문 리뷰] The $h$-critical number of finite abelian groups

Béla Bajnok|arXiv (Cornell University)|2014. 12. 12.

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

한 줄 요약

이 논문은 모든 유한 아벨 군 $G$와 모든 $h$에 대해 비제한 $h$-비판 수 $χ(G,h)$를 정확히 결정하고, 제한 $h$-비판 수 $χ\hat{}(G,h)$에 대해 몇 가지 핵심 결과를 수립한다. 특히 $h=2$, 큰 $h$, 그리고 짝수 차수의 순환군 $χ_n$에 대해 정확한 값을 제공한다. 또한 Gallardo, Grekos 등 이전에 제안한 추측을 일반화한 $χ\hat{}(χ_n,3)$에 대한 추측된 정확한 하한을 제시하고, 특정 조건 하에서 이를 증명한다.

ABSTRACT

For a finite abelian group $G$ and a positive integer $h$, the unrestricted (resp.~restricted) $h$-critical number $χ(G,h)$ (resp.~$χ\hat{\;}(G,h)$) of $G$ is defined to be the minimum value of $m$, if exists, for which the $h$-fold unrestricted (resp.~restricted) sumset of every $m$-subset of $G$ equals $G$ itself. Here we determine $χ(G,h)$ for all $G$ and $h$; and prove several results for $χ\hat{\;}(G,h)$, including the cases of any $G$ and $h = 2$, any $G$ and large $h$, and any $h$ for the cyclic group $\mathbb{Z}_n$ of even order. We also provide a lower bound for $χ\hat{\;}(\mathbb{Z}_n,3)$ that we believe is exact for every $n$---this conjecture is a generalization of the one made by Gallardo, Grekos, et al.~that was proved (for large $n$) by Lev.

연구 동기 및 목표

• 모든 유한 아벨 군 $G$와 모든 $h$에 대해 비제한 $h$-비판 수 $\chi(G,h)$의 정확한 값을 결정하는 것.
• 제한 $h$-비판 수 $\chi\hat{}(G,h)$가 잘 정의되는 조건을 규명하는 것.
• $h=2$, 큰 $h$, 그리고 짝수 차수의 순환군 $χ_n$에 대해 $\chi\hat{}(G,h)$의 정확한 값을 확립하는 것.
• Gallardo, Grekos 등 이전에 제안한 추측을 일반화한 $χ\hat{}(χ_n,3)$에 대한 추측된 하한을 제공하는 것.
• 특정 조건 하에서 $χ\hat{}(χ_n,3)$에 대한 추측된 하한이 참임을 증명하는 것 — 특히 $n \geq 7p$ 이거나 $n$이 2 mod 3인 소인수를 가지지 않을 경우.

제안 방법

• 모든 $m$-부분집합 $A \subseteq G$에 대해 $hA$의 최소 크기를 주는 함수 $u(n,m,h) = \min\{ f_d : d \in D(n) \}$를 사용하여 $h$-중복 합집합의 최소 크기를 계산한다. 여기서 $f_d = (h\lceil m/d \rceil - h + 1) \cdot d$이다.
• Plagne의 정리 2를 적용하여 $\rho(G,m,h) = u(n,m,h)$를 도출한다. 이는 모든 $m$-부분집합 $A \subseteq G$에 대해 $hA$의 최소 크기를 주는 것이다.
• 비판 수 분석을 위해 함수 $v_g(n,h) = \max\left\{ \left( \left\lfloor \frac{d-1 - \gcd(d,g)}{h} \right\rfloor + 1 \right) \cdot \frac{n}{d} : d \in D(n) \right\}$를 도입한다.
• 나눗셈, 최대공약수, 모듈로 조건을 포함한 조합론적 및 수론적 추론을 사용하여 제한된 합집합의 구조를 분석한다.
• 특히 $n$의 소인수 분해에 기반한 귀납법과 케이스 분석을 수행하며, $n$이 2 mod 3인 소인수를 가지는지 여부에 중점을 둔다.
• Lev, Gao, Hamidoune 등의 이전 결과를 활용하여 $χ\hat{}(χ_n,3)$에 대한 추측된 하한을 뒷받침한다.

실험 결과

연구 질문

• RQ1 모든 유한 아벨 군 $G$와 모든 $h$에 대해 비제한 $h$-비판 수 $\chi(G,h)$의 정확한 값은 무엇인가?
• RQ2 어떤 군 $G$와 정수 $h$에 대해 제한 $h$-비판 수 $\chi\hat{}(G,h)$가 잘 정의되는가?
• RQ3 $h=2$, 큰 $h$, 그리고 짝수 차수의 순환군 $χ_n$에 대해 $\chi\hat{}(G,h)$의 정확한 값은 무엇인가?
• RQ4 Gallardo, Grekos 등 이전에 제안한 추측을 일반화한 $χ\hat{}(χ_n,3)$에 대한 추측된 하한이 모든 $n$에 대해 정확한가?
• RQ5 $\rho\hat{}(\u03c7_n,m,3) = n$이 성립하는 조건은 무엇이며, $\rho\hat{}(\u03c7_n,m,3) < n$이면 $n$이 반드시 9의 배수여야 하는가?

주요 결과

• 모든 유한 아벨 군 $G$와 모든 $h$에 대해 비제한 $h$-비판 수 $\chi(G,h)$가 정확히 결정되었으며, 이 값은 $u(n,m,h) = n$이 되는 최소 $m$과 같다.
• 제한 $h$-비판 수 $\chi\hat{}(G,h)$는 $h \in \{1, n-1\}$, $h \in \{2, n-2\}$ 이며 $G$가 원자적 아벨 2군이 아닐 때, 또는 $3 \leq h \leq n-3$일 때에만 잘 정의된다.
• $h=2$일 때, 모든 순서 $n \geq 4$인 유한 아벨 군 $G$에 대해 $\chi\hat{}(G,2) = \left\lfloor \frac{n}{2} \right\rfloor + 1$임을 증명한다.
• 큰 $h$에 대해, 모든 순서 $n$인 유한 아벨 군 $G$에 대해 $\chi\hat{}(G,h) = n - h + 1$임을 확립한다.
• 짝수 차수의 순환군 $χ_n$에 대해, 특정 조건 하에서 $\chi\hat{}(\u03c7_n,3) = \left\lfloor \frac{n}{3} \right\rfloor + 3$임을 증명한다.
• 추측된 하한 $χ\hat{}(\u03c7_n,3) \geq \left\lfloor \frac{n}{3} \right\rfloor + 3$이 $n \geq 7p$ 이거나 $n$이 2 mod 3인 소인수를 가지지 않을 경우 정확히 성립하며, 이 경우 $ρ\hat{}(\u03c7_n,m,3) < n$이면 반드시 $n$이 9의 배수여야 한다.