[論文レビュー] Groups of Intermediate Growth: an Introduction for Beginners

Rostislav Grigorchuk, Igor Pak|ArXiv.org|Jul 17, 2006

Markov Chains and Monte Carlo Methods参考文献 7被引用数 16

ひとこと要約

この論文は、ロスティスラーヴ・グリゴルチキンによって最初に構成された群の例に焦点を当て、中間成長群の理解を初心者向けにわかりやすく提供する。木の自己同型と再帰的置換規則を用いて、群 𝔾 が中間成長（多項式的超えだが指数的未満）であることを証明するとともに、周期的であることを示し、ほぼ線形時間で単語問題を解けることを確立する。

ABSTRACT

We present an accessible introduction to basic results on groups of intermediate growth.

研究の動機と目的

• 基本的な代数的知識しか持たない初心者にも、中間成長群の理論を理解できるようにすること。
• 高度な専門文献に依存せずに、最初の群 𝔾 の中間成長を自己完結的かつ簡略化された証明で示すこと。
• 群 𝔾 が周期的（すべての元が有限位数をもつ）であること、およびその単語問題がほぼ線形時間で解けることを示すこと。
• 成長関数を制御するための基礎的な道具を提示し、それが今後の研究においても再利用可能であるようにすること。

提案手法

• 無限の根付き2分木の自己同型群 Aut(T) を基礎構造として用いる。
• 木の各レベルにおける再帰的関係を用いて、Aut(T) の有限生成部分群として群 𝔾 を定義する。
• 群の元を分解し、木の各レベルにおける語長を束縛するために再帰的置換規則を適用する。
• 長さの階層的束縛を用いる：ℓ(g₀₀₀) + ⋯ + ℓ(g₁₁₁) ≤ (5/6)ℓ(h) + 8 は、語表現におけるキャンセルパターンから導かれる。
• 部分乗法性と成長同値性を用いて、生成集合ごとの成長関数を比較する。
• 成長率を再帰的不等式で制御するための技術的補題（上界補題および下界補題）を導入する。

実験結果

リサーチクエスチョン

• RQ1 中間成長群の最初の例の成長が、初心者にも理解可能な初等的手法で証明可能か？
• RQ2 群 𝔾 は周期的か、すなわちすべての元が有限位数をもつか？
• RQ3 再帰的構造を活用して、𝔾 における単語問題をほぼ線形時間で解けるか？
• RQ4 成長関数 γ のための普遍的な成長率 α が存在し、limₙ→∞ logₙ log γ(n) = α を満たすか？
• RQ5 すべての中間成長群が、ある α > 0 に対して γ(n) ≽ exp(n^α) を満たすか？

主な発見

• 群 𝔾 は中間成長を示す：任意の多項式より速く、任意の指数関数より遅い。
• 成長関数 γ_𝔾(n) は γ_𝔾(n) ≼ exp(n / log n) を満たし、これは指数的でない振る舞いを示す。
• 群 𝔾 は周期的である：すべての元が有限位数をもつ。これは、有限生成かつ無限である群にとって非自明な性質である。
• 再帰的木レベル分解に基づいて、𝔾 における単語問題をほぼ線形時間で解けるアルゴリズムが存在する。
• 𝔾 の成長関数が asymptotically に exp(n^α) の形をとることはないが、そのような極限 α の存在は予想されている。
• 群 𝔾 は有限生成表示をもたず、また、中間成長をもつ有限生成表示可能な群が存在するか否かは未解決の問題のままである。