[論文レビュー] Subgroups of the upper-triangular matrix group with maximal derived length and a minimal number of generators

S. P. Glasby|arXiv (Cornell University)|Oct 19, 2014

graph theory and CDMA systems参考文献 3被引用数 3

ひとこと要約

本稿は、体 $\bbF$ 上の上三角ユニポテンツ行列群 $U_n(\bbF)$ の2および3生成部分群を明示的に構成し、最大の可能導出長 $d = \lceil \log_2 n \rceil$ を達成する。2生成部分群が存在するための必要十分条件は、$\frac{21}{32}2^d < n \leq 2^d$ であることを示し、二分木構造に基づく再帰的交換子構成と自由群における多項式恒等式を用いて、導出長 $d$ における非自明性を保証する。結果は構成的であり、再帰的公式により明示的な生成行列が与えられる。

ABSTRACT

The group U_n(F) of all nxn unipotent upper-triangular matrices over F has derived length d := Ceiling(log_2 (n)), equivalently 2^{d-1} &lt; n &lt;= 2^d. We prove that U_n(F) has a 3-generated subgroup of derived length d, and it has a 2-generated subgroup of derived length d if and only if (21/32)* 2^d &lt; n &lt;= 2^d.

研究の動機と目的

• 群 $U_n(\bbF)$ の部分群が最大導出長 $d = \lceil \log_2 n \rceil$ を達成するための最小生成数を特定すること。
• 群 $U_n(\bbF)$ が導出長 $d$ の2生成部分群をもつような $n$ を正確に同定すること。
• 交換子恒等式および自由群の語構成を用いて、このような生成行列の明示的かつ再帰的構成を提供すること。
• 群 $U_n(\bbF)$ が最大導出長の2生成部分群をもつような $n$ の漸近的密度を確立し、$\liminf \pi(N) = \frac{11}{21}$ および $\limsup \pi(N) = \frac{11}{16}$ を示すこと。

提案手法

• 群 $U_{2n-1} \to U_n \times U_n$ の上への準同型 $\pi$ を用いた再帰的リフトにより、より小さい群から3生成部分群を構成する。
• 層数 $d$ の二分木構造を用い、各層が導出系列の要素に対応する。層 $k$ の行列の交換子を用いて層 $k+1$ の要素を生成する。
• 各層間で生成子を巡回的に再利用することで、必要な生成子数を $n-1$ から3に削減し、ランク3の自由群 $F = \langle x_1,x_2,x_3 \rangle$ の語として定義する。
• 2生成部分群のためには、ネストされた交換子と多項式恒等式を用いて自由群（ランク2）の語を構成し、乗法の補題により、得られる行列成分の係数が $\pm 1$ であることを保証する。
• 群代数における単項式項の和分解を分析することで、最上位層の交換子の非自明性を検証し、異なる生成子タイプ間で項が互いに整除されないことを保証する。
• 数学的帰納法を $d$ について用い、$d=1$ から $d=5$ までの基本ケースを確認。$d \geq 5$ に対して $F^{(d-1)} \subseteq \gamma_{21 \cdot 2^{d-5}}(F)$ を示し、群の語長さと行列サイズの制約を結びつける。

実験結果

リサーチクエスチョン

• RQ1 どの $n$ に対して $U_n(\bbF)$ が導出長 $d = \lceil \log_2 n \rceil$ の2生成部分群をもつか？
• RQ2 群 $U_n(\bbF)$ の部分群が最大導出長に達するための最小生成数は何か？
• RQ3 交換子恒等式に基づく再帰的公式を用いて、このような部分群を明示的に構成できるか？
• RQ4 群 $U_n(\bbF)$ が最大導出長の2生成部分群をもつような $n$ の漸近的密度は何か？
• RQ5 導出系列の構造は、自由群の語における単項式項の組合せ論とどのように関係するか？

主な発見

• すべての $n$ に対して、$2^{d-1} < n \leq 2^d$ を満たすとき、$U_n(\bbF)$ は導出長 $d = \lceil \log_2 n \rceil$ の3生成部分群をもつ。
• 群 $U_n(\bbF)$ に導出長 $d$ の2生成部分群が存在するのは、$\frac{21}{32}2^d < n \leq 2^d$ のときに限る。
• $U_n(\bbF)$ が最大導出長の2生成部分群をもつような $n \leq N$ の割合 $\pi(N)$ は、$\frac{11}{21} < \pi(N) \leq 1$ を満たし、$\liminf \pi(N) = \frac{11}{21}$ および $\limsup \pi(N) = \frac{11}{16}$ である。
• $d \geq 5$ のとき、導出長 $d$ の部分群が存在するのは $n > 21 \cdot 2^{d-5}$ のときのみであり、これは自由群における包含関係 $F^{(d-1)} \subseteq \gamma_{21 \cdot 2^{d-5}}(F)$ に起因する。
• 構成は再帰的かつ明示的である：生成行列は $\pi: U_{2n-1} \to U_n \times U_n$ によるリフトと、自由群における再帰的語の定義により定義される。
• 最上位層の交換子の非自明性は、行列成分の単項式項の係数が $\pm 1$ であることを示すことにより検証され、乗法の補題と単項式における $\alpha$ の個数に関する合同条件が用いられる。