[論文レビュー] About the speed of random walks on solvable groups

Jérémie Brieussel|arXiv (Cornell University)|May 13, 2015

Geometric and Algebraic Topology参考文献 17被引用数 5

ひとこと要約

本稿は、[1/2, 1] の任意の値に正確に調整可能な上側速度指数をもつ、有限生成で可解な群を構成する。有限および無限の二面体群上のランプライトウラー群の間を対角積構成を用いて補間することで、任意の非線形速度行動、特に累乗関数の間の振動を示し、可解群が、これまでに知られていた例をはるかに超える豊富で非可算な種類の速度指数を支持することを示している。

ABSTRACT

We show that for each $λ\in [\frac{1}{2}, 1]$, there exists a solvable group and a finitely supported measure such that the associated random walk has upper speed exponent $λ$.

研究の動機と目的

• 可解群上のランダムウォークの可能な上側速度指数の全範囲を特定すること。
• 任意の値 λ ∈ [1/2, 1] をとる有限生成可解群の明示的例を構成すること。
• 可解群における速度行動が、異なるべき関数の間で振動しうることを示し、それらの幾何的制約に関する従来の仮定に挑戦すること。
• 可解群が非可算個の互いに比較不能な速度行動を許容することを示し、ノルム群や多可解群の既知のクラスを越えて拡張すること。

提案手法

• Z/mZ を以前の段階と繰り返しワルフィング積して得られる群 Γ_i(k,l,m) の族を構成し、Z wr D_l から出発する。
• パラメータ列 (k_s, l_s, m_s) における対角積構成を用いて、異なる漸近的スピード行動を示す群を結合する。
• パラメータ l における中間値定理を用いて、任意の所望の指数 λ ∈ [1/2, 1] を通過するスピード関数を持つ群を同定する。
• Lemma 3.3 を用いてパラメータ l におけるスピード関数の連続性を保証し、拡散的（λ = 1/2）から n^{3/4} 行動への補間を可能にする。
• 対称性と有限サポートを保つために、スイッチ・ウォーク・スイッチのステップ分布を用いる。これにより幾何的制御が維持される。
• Lemma 2.1 および 3.1 の一様な境界と、有限球内でのスピード関数の収束を用いて、上界および下界のスピード推定値を制御する。

実験結果

リサーチクエスチョン

• RQ1 可解群上のランダムウォークの上側速度指数は、区間 [1/2, 1] の任意の値を取り得るか？
• RQ2 可解群は、√n と n^λ (λ < 1) の間で振動するような速度行動を支持するか？
• RQ3 有限および無限の基底を持つランプライトウラー群の間を、有限生成可解群の任意の非線形速度指数を得るために、体系的に補間する方法は存在するか？
• RQ4 可解群において、既知の値 1 - 1/2^i 以外の値に速度指数を指定することは可能か？
• RQ5 可解性は、ランダムウォークにおけるスピード関数の可能な形態に、何らかの制約を課えるか？

主な発見

• 任意の λ ∈ [1/2, 1] に対して、有限生成可解群および有限サポート対称測度が存在し、関連するランダムウォークの上側速度指数が正確に λ に等しい。
• スピード関数は、任意の λ ∈ [1 - 1/2^i, 1 - 1/2^{i+1}] に対して、n^{1 - 1/2^i} と n^λ の間を振動し、ゆっくりと増加する ε(n) 要素によって制御される。
• パラメータ l における中間値定理を用いて選ばれた Γ_i(k_s, l_s, m_s) の対角積を用いた構成により、任意の所望の λ を通過するスピード関数が保証される。
• 群は i+2-可解であるため、可解性がスピード指数行動を制限しないことが示され、可解群には非可算個の比較不能なスピード行動が存在することが判明する。
• 本研究は、アミールとヴェラグの予想を、n^λ に対してすべての λ ∈ [1/2, 3/4] を実現することで裏付け、繰り返しワルフィング積を用いてすべての λ ∈ [1/2, 1] に拡張した。
• 本稿は、可解群の可能な上側速度指数の集合が、{0} ∪ [1/2, 1] に正確に一致することを確立した。非自明なウォークでは 0 は除外される。