[論文レビュー] 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)|Mar 19, 2016

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$）との不一致を解消すること。
• 有限可換半群の直和による生成物である、このクラスの半群におけるダベンポート定数を計算する修正された一般枠組みを提供すること。

提案手法

• Greenの順序とGreenの $\mathcal{H}$-関係を用いて、環 $R = \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$ の乗法的半群 $\mathcal{S}_R$ の構造を分析する。
• ユニット群 $\mathrm{U}(\mathcal{S}_R)$ の作用における各要素 $c$ の安定化部分群 $\mathrm{St}(c)$ を定義し、可約性の分析に不可欠な役割を果たす。
• 中国剰余定理を用いて、$n_i$ の素数べきに関する合同条件を満たす特定のユニット $\tilde{a}_i \in \mathbb{Z}_{n_i}$ を構成し、$\tilde{a}_i$ がユニットであることを保証する。
• 半群 $\mathcal{S}_R$ 内の要素の列 $T$ を構成し、その可約性を分析する。単位元の持ち上げ $\tilde{a}$ を用いて和を保存するように、$\sigma(T) = \sigma(TW^{-1})$ を満たす適切な部分列 $W$ を特定する。
• 問題をユニット群の設定に還元するために、商群 $\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進付値に基づいて有界にできるか？
• 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\}$ である。
• 上界 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta$ は、特定のケース（例：$R = \mathbb{Z}_8^{r_1} \oplus \mathbb{Z}_4^{r_2} \oplus \mathbb{Z}_2^{r_3}$）で達成される。このとき $\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進付値に基づくより深い構造的制約を示唆している。