[논문 리뷰] Davenport constant of the multiplicative semigroup of the ring $\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$

Guoqing Wang, Weidong Gao|arXiv (Cornell University)|2016. 03. 19.

semigroups and automata theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 다항식 반군 $\mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$의 다베크 상수에 대해 이전에 발표된 잘못된 공식을 수정한다. 엄밀한 경계를 확립한다: $\mathrm{D}(\mathcal{S}_R) \in \left[\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2, \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta\right]$, 여기서 $P_2$는 $2 \parallel n_i$를 만족하는 인덱스의 수를 세며, $\delta$는 $2 \mid n_i$를 만족하는 인덱스의 수를 세는 것이다. 이 결과는 오랫동안 지속된 오류를 해결하고 이 클래스의 링크에서 다베크 상수에 대한 정확한 범위를 제공한다.

ABSTRACT

Given a finite commutative semigroup $\mathcal{S}$ (written additively), denoted by ${ m D}(\mathcal{S})$ the Davenport constant of $\mathcal{S}$, namely the least positive integer $\ell$ such that for any $\ell$ elements $s_1,\ldots,s_{\ell}\in \mathcal{S}$ there exists a set $I\subsetneq [1,\ell]$ for which $\sum_{i\in I} s_i=\sum_{i=1}^{\ell} s_i$. Then, for any integers $r\geq 1, n_1,\ldots,n_r>1$, let $R=\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$ be the direct sum of these $r$ residue class rings $\mathbb{Z}_{n_1}, \ldots,\mathbb{Z}_{n_r}$. Moreover, let $\mathcal{S}_R$ be the multiplicative semigroup of the ring $R$, and ${ m U}(\mathcal{S}_R)$ the group of units of $\mathcal{S}_R$. In this paper, we prove that $${ m D}({ m U}(\mathcal{S}_R))+P_2\leq { m D}(\mathcal{S}_R)\leq { m D}({ m U}(\mathcal{S}_R))+δ,$$ where $P_2=\sharp\{i\in [1,r]: 2 \parallel n_i\}$ and $δ=\sharp\{i\in [1,r]: 2\mid n_i\}.$ This corrects our previous published wrong result on this problem.

연구 동기 및 목표

• 다항식 반군 $\mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$의 다베크 상수에 대해 이전에 발표된 잘못된 공식을 수정하기 위해.
• 반군 $R = \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$의 다항식 반군 $\mathcal{S}_R$의 다베크 상수 $\mathrm{D}(\mathcal{S}_R)$에 대해 단위군 $\mathrm{U}(\mathcal{S}_R)$를 기반으로 엄밀한 경계를 도출하기 위해.
• 이전의 주장인 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2$와 알려진 반례(예: $\mathbb{Z}_4$) 사이의 괴리 문제를 해결하기 위해.
• 유한 가환 반군의 직접합으로 유도되는 다항식 반군에서 다베크 상수를 계산하는 데 있어 수정된 일반적 프레임워크를 제공하기 위해.

제안 방법

• 반군 $R = \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$의 다항식 반군 $\mathcal{S}_R$의 구조를 분석하기 위해 그린의 전순서와 그린의 $\mathcal{H}$-관계를 활용하였다.
• 각 원소 $c$에 대해 단위군 $\mathrm{U}(\mathcal{S}_R)$ 작용 하에서의 안정자 $\mathrm{St}(c)$를 정의하였으며, 이는 분해 가능성 분석에 핵심적인 역할을 하였다.
• 중국인의 나머지 정리를 사용하여 소수 거듭제곱에 대한 합동 조건을 만족하는 특정 단위 $\tilde{a}_i \in \mathbb{Z}_{n_i}$를 구성하였으며, 이로써 $\tilde{a}_i$가 단위임을 보장하였다.
• 반군 $\mathcal{S}_R$에 속한 원소들의 수열 $T$를 구성하고, 합을 유지하는 단위 업그레이드 $\tilde{a}$를 사용하여 $\sigma(T) = \sigma(TW^{-1})$를 만족하는 적절한 부분수열 $W$를 식별함으로써 $T$의 분해 가능성에 대해 분석하였다.
• 문제를 단위군 설정으로 단순화하기 위해 몫군 $\mathrm{U}(\mathcal{S}_R)/K_t$를 도입하였으며, 이 몫군의 다베크 상수를 활용하였다.
• 단위군의 경계와 짝수 차수를 가진 성분의 수를 조합하여 최종 부등식을 도출하였다: $\mathrm{D}(\mathcal{S}_R) \in [\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2, \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta]$.

실험 결과

연구 질문

• RQ1 반군 $R = \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$의 다항식 반군에 대한 다베크 상수 $\mathrm{D}(\mathcal{S}_R)$의 정확한 값은 무엇인가요?
• RQ2 왜 이전에 주장된 공식 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2$는 잘못되었으며, $\mathrm{D}(\mathcal{S}_R)$의 정확한 경계는 무엇인가요?
• RQ3 $\mathrm{D}(\mathcal{S}_R) - \mathrm{D}(\mathrm{U}(\mathcal{S}_R))$는 $n_i$의 2-adic 값에 따라 경계를 두를 수 있을까요?
• RQ4 어떤 조건에서 상한 $\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta$가 날카로워지나요?

주요 결과

• 반례(예: $\mathbb{Z}_4$)를 통해 이전에 발표된 공식 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2$는 잘못되었음을 입증하였다.
• 다베크 상수의 정확한 경계는 $\mathrm{D}(\mathcal{S}_R) \in \left[\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2, \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta\right]$이며, 여기서 $P_2 = \sharp\{i \in [1,r] : 2 \parallel n_i\}$이고 $\delta = \sharp\{i \in [1,r] : 2 \mid n_i\}$이다.
• 특정 경우, 예를 들어 $R = \mathbb{Z}_8^{r_1} \oplus \mathbb{Z}_4^{r_2} \oplus \mathbb{Z}_2^{r_3}$일 때 상한 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta$가 달성된다. 이 경우 $\mathrm{U}(\mathcal{S}_R) \cong C_2^{2r_1 + r_2}$이고 $\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) = 2r_1 + r_2 + 1$이다.
• 길이 $3r_1 + 2r_2 + r_3$인 명시적인 기약 수열 $T$를 구성함으로써 $\mathrm{D}(\mathcal{S}_R) \geq |T| + 1 = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta$임을 보여주었으며, 이는 상한이 이 경우에 날카로움을 증명한다.
• 논문은 $\mathrm{D}(\mathcal{S}_R) - \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) \leq \sharp\{i \in [1,r] : \mathrm{pot}_2(n_i) \in \{1,2,3\}\}$라는 추측을 제시하며, 2-adic 값에 기반한 더 깊은 구조적 제약 조건을 시사한다.