[論文レビュー] Minimal zero-sum sequences of length five over finite cyclic groups

Jiangtao Peng, Yuanlin Li|arXiv (Cornell University)|Mar 7, 2013

Finite Group Theory Research参考文献 5被引用数 3

ひとこと要約

本稿は、$ p \geq 31 $ の素数位数の有限巡回群上における長さ5の最小零和列のインデックスを決定する。このような列は、$ S = g^2\left(\frac{p-1}{2}g\right)\left(\frac{p+3}{2}g\right)((p-3)g) $ の形でない限りインデックスが1であることが示され、この場合に限りインデックスは2である。この結果により、要素の重複度が2以上の長さ5の最小零和列のインデックス値の分類が完全に完了する。

ABSTRACT

Let $G$ be a finite cyclic group. Every sequence $S$ of length $l$ over $G$ can be written in the form $S=(n_1g)\cdot\ldots\cdot(n_lg)$ where $g\in G$ and $n_1, \ldots, n_l\in[1, \ord(g)]$, and the index $\ind(S)$ of $S$ is defined to be the minimum of $(n_1+\cdots+n_l)/\ord(g)$ over all possible $g\in G$ such that $\langle g angle =G$. In this paper, we determine the index of any minimal zero-sum sequence $S$ of length 5 when $G=\langle g angle$ is a cyclic group of a prime order and $S$ has the form $S=g^2(n_2g)(n_3g)(n_4g)$. It is shown that if $G=\langle g angle$ is a cyclic group of prime order $p \geq 31$, then every minimal zero-sum sequence $S$ of the above mentioned form has index 1 except in the case that $S=g^2(\frac{p-1}{2}g)(\frac{p+3}{2}g)((p-3)g)$.

研究の動機と目的

• 素数位数 $ p \geq 31 $ の有限巡回群上における長さ5の最小零和列のインデックスを決定すること、特に最大要素の繰り返し回数が2以上である場合に注目する。
• 先行研究でインデックス1の列が同定されたのを踏まえ、インデックス2である列を特定するという未解決問題を解決すること。
• 要素の重複度 $ \mathsf{h}(S) \geq 2 $ の長さ5の最小零和列のインデックス値を完全に分類することにより、より高いまたは低い重複度に関する先行結果を補完すること。
• インデックスが2であるための明確な条件を確立することで、零和列理論におけるインデックス挙動の重要なギャップを埋めること。

提案手法

• 著者らは、群 $ G $ の生成元 $ g $ 全体にわたる $ \operatorname{ind}(S) = \min \left\{ \frac{n_1 + \cdots + n_l}{\operatorname{ord}(g)} \right\} $ を、列 $ S = (n_1 g) \cdots (n_l g) $ のインデックスとして定義する。
• 零和および最小性の条件に注目し、$ n_i \in [1, p-1] $ を満たす $ S = g^2 (n_2 g)(n_3 g)(n_4 g) $ の形の列を分析する。
• 証明は合同算術と $ n_2, n_3, n_4 $ の値に基づく場合分けを用い、$ p $ における最小正の剰余を分析することに帰着する。
• 不等式を用いて、$ p $、$ c = n_2 + n_3 + n_4 - 2 $、$ b = n_2 + n_3 $ に関連する比の上限を評価し、インデックス2となる配置を除外する。
• 特に $ a = \max(n_2, n_3, n_4) $ の値に基づく場合分けを行い、$ a = \ell + 1 $ および $ a = \ell + 2 $ の場合を重点的に分析し、$ p/c $ および $ p/b $ の上限を用いて、例外的な場合を除き矛盾を導く。
• 既知の結果（補題2.3–2.4、3.1–3.6）を応用し、インデックス2となるのは $ S = g^2\left(\frac{p-1}{2}g\right)\left(\frac{p+3}{2}g\right)((p-3)g) $ のみであることを除外し、これが唯一のインデックス2の列であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 巡回群 $ G $ の素数位数 $ p \geq 31 $ における長さ5の最小零和列 $ S $ に対して、$ \operatorname{ind}(S) = 2 $ となるのはいつか？
• RQ2 $ \mathbb{Z}_p $ 上で $ \mathsf{h}(S) \geq 2 $ かつインデックス2の長さ5の列の完全な集合は何か？
• RQ3 $ \mathbb{Z}_p $ 上で $ \mathsf{h}(S) \geq 2 $ であるすべての長さ5の最小零和列のインデックスを完全に分類できるか？
• RQ4 長さ5でインデックス2の列が一意に特定できるか？ もしそうなら、その正確な形は何か？

主な発見

• 素数位数 $ p \geq 31 $ の巡回群 $ G = \langle g \rangle $ に対して、$ \mathsf{h}(S) \geq 2 $ を満たす長さ5のすべての最小零和列 $ S $ は、インデックスが1または2のいずれかである。
• 列 $ S $ のインデックスが2であることは、$ S = g^2\left(\frac{p-1}{2}g\right)\left(\frac{p+3}{2}g\right)((p-3)g) $ であることに限り、この列が唯一のインデックス2の列である。
• それ以外の $ \mathbb{Z}_p $ 上で $ \mathsf{h}(S) \geq 2 $ を満たす長さ5の最小零和列は、すべてインデックス1である。
• この結果により、$ \mathsf{h}(S) \geq 2 $ を満たす長さ5の最小零和列のインデックス値の分類が完全に完了し、$ \mathsf{h}(S) = 1 $ の場合は未解決のまま残っている。