[論文レビュー] Extremal product-one free sequences in $C_q times_s C_m$

Fabio Enrique Brochero Martínez, Sávio Ribas|arXiv (Cornell University)|Oct 31, 2016

Limits and Structures in Graph Theory被引用数 3

ひとこと要約

この論文は、$q$ が素数で、$m \geq 2$ が $q-1$ を割り、$ \mathrm{ord}_q(s) = m$ を満たすメタシクル群 $C_q \rtimes_s C_m$ におけるすべての極値的で積が1となる部分列を含まない系列を特徴づけている。長さ $q + m - 2$ のような系列は、正規部分群 $C_q$ のある単一の陪集合内にすべての要素を含み、その指数が特定の算術的構造を持つことが示され、また、恒等元の積を持つ部分列を避けるためには極めて構造的でなければならない。この結果により、非アーベル群のこのクラスにおける逆問題が解決された。

ABSTRACT

Let $G$ be a finite group, written multiplicatively. The Davenport constant of $G$ is the smallest positive integer $d$ such that every sequence of $G$ with $d$ elements has a non-empty subsequence with product $1$. Let $C_n \simeq \mathbb Z_n$ be the cyclic group of order $n$. Bass (2007) showed that the Davenport constant of the metacyclic group $C_q times_s C_m$, where $q$ is a prime number and $ ext{ord}_q(s) = m \ge 2$, is $m+q-1$. In this paper, we explicit the form of all sequences $S$ of $C_q times_s C_m$, with $q+m-2$ elements, that are free of product-$1$ subsequences.

研究の動機と目的

• 群 $C_q \rtimes_s C_m$ 内で、空でない部分列の積が1となるような部分列を含まない最大の系列の構造を特定すること。
• 非アーベルなメタシクル群 $C_q \rtimes_s C_m$ におけるDavenport定数の逆問題を解明すること。ここで $q$ は素数であり、$ \mathrm{ord}_q(s) = m \geq 2$ である。
• 特にランク2の非アーベル群において、アーベル群に限らない極値的系列の理解を拡張すること。
• このような極値的系列が、反復と陪集合内での分布に関して、巡回群の場合と類似した極めて構造的な性質を持つべきであることを示すこと。

提案手法

• 著者たちは、$G = C_q \rtimes_s C_m$ における長さ $q + m - 2 = D(G) - 1$ の系列を、正規部分群 $C_q \triangleleft G$ の陪集合への分布に注目して分析している。
• 彼らは群論的技法を用い、特に $x^{i_0}$ による共役作用 $x^{i_0} y^a x^{-i_0} = y^{a s^{i_0}}$ を用いて、陪集合 $x^{i_0} C_q$ 内の系列の構造を分析している。
• 部分列の積から得られる $\mathbb{Z}_q$-指数の集合 $X$ と $Y$ を定義し、加法的組合せ論を用いて $0 \in X + Y$ が成り立つかどうかを分析することで、積が1となる部分列の存在を検証している。
• 特に、$-1$ が平方剰余であることの必要十分条件が $q \equiv 1 \pmod{4}$ であることを利用し、積が1となる部分列が存在しないと仮定した場合に矛盾を導出している。
• 指数和に関する置換に基づく議論を用いて、積が1となる部分列を構成し、十分に大きくまたは多様な系列は、必ずそのような部分列を含むことを示している。
• $(m,q) = (2,3)$ や $(4,5)$ といった例外ケースについては、直接的検証と構造的解析を別個に実施している。

実験結果

リサーチクエスチョン

• RQ1 長さ $q + m - 2$ の $C_q \rtimes_s C_m$ 内の、空でない部分列の積が1となるような部分列を含まない系列の完全な構造は何か？
• RQ2 このような極値的系列は、$C_q$ の陪集合への分布の観点から特徴づけられるか？
• RQ3 $C_q \rtimes_s C_m$ における逆Davenport定数問題は、すべての要素が等しいという巡回群の場合と類似した構造を持つ系列をもたらすか？
• RQ4 どのような $q$, $m$, $s$ の条件下で、長さ $q + m - 2$ の系列が積が1となる部分列を避けることができるか？
• RQ5 非アーベル構造 $C_q \rtimes_s C_m$ は、極値的で積が1となる部分列を含まない系列の存在と形にどのような影響を与えるか？

主な発見

• 長さ $q + m - 2$ の $C_q \rtimes_s C_m$ 内のすべての極値的で積が1となる部分列を含まない系列は、ある $i_0 \in \{1, \dots, m-1\}$ に対して、単一の陪集合 $x^{i_0} C_q$ 内に含まれる。
• このような系列では、すべての $y$-指数が $\mathbb{Z}_q$ の部分集合 $A$ を形成し、特定の構造的制約の下で、和集合 $A + s^{i_0} A$ が $q$ を法として 0 を含まない必要がある。
• もし $q \equiv 1 \pmod{4}$ かつ $q \geq 13$ であれば、ある陪集合内に $m$ 個の異なる要素を持つ系列は、平方剰余分解の存在により、積が1となる部分列を含む。
• もし $q \equiv 3 \pmod{4}$ であれば、$-1$ が平方剰余でないため、$X + Y = \mathbb{Z}_q^*$ かつ $-\alpha \in X$ for $\alpha \in X$ であると仮定すると矛盾が生じ、結果として積が1となる部分列が存在する。
• 唯一の可能な極値的系列は、ある陪集合内に高々 $m-1$ 個の異なる要素を持つものであり、$m = q-1$ の場合には、積が1となる部分列を避けるために、同じ要素を $m-1$ 回繰り返した系列に限られる。
• 例外ケース $(m,q) = (2,3)$ は、群が $S_3$ と同型であるため除外され、$(4,5)$ のケースは直接計算により別個に処理されている。