[論文レビュー] Isoperimetric profiles and random walks on some permutation wreath products

Laurent Saloff‐Coste, Tianyi Zheng|arXiv (Cornell University)|Oct 29, 2015

Limits and Structures in Graph Theory参考文献 17被引用数 8

ひとこと要約

本稿は、大規模な1次元構造を持つシュライエル図形上での置換ワイヤード積を用いて構成される特定の可解群について、$L^1$および$L^2$の等周的プロファイルの鋭い上限を確立する。これらのプロファイルを用いて、単純な無向ランダムウォークの帰還確率について、$Φ_G(n) \simeq \exp\left(-n^{\gamma}(\log n)^{1-\gamma}\right)$（$γ \in [1/3,1)$）および$Φ_G(n) \simeq \exp\left(-n^{1/3}("log n)^{2(1+\kappa)/3}\right)$（$κ > 0$）といった、新たな挙動を示す、正確な漸近的推定値を導出する。これにより、多様な部分拡散的減衰率が実現されることを示している。

ABSTRACT

We study the isoperimetric profiles of certain families of finitely generated groups defined via marked Schreier graphs and permutation wreath products. The groups we study are among the "simplest" examples within a much larger class of groups, all defined via marked Schreier graphs and/or action on rooted trees, which includes such examples as the long range group, Grigorchuck group and the basillica group. The highly non-linear structure of these groups make them both interesting and difficult to study. Because of the relative simplicity of the Schreier graphs that define the groups we study here (the key fact is that they contained very large regions that are "one dimensional"), we are able to obtain sharp explicit bounds on the $L^1$ and $L^2$ isoperimetric profiles of these groups. As usual, these sharp isoperimetric profile estimates provide sharp bounds on the probability of return of simple random walk. Nevertheless, within each of the families of groups we study there are also many cases for which the existing techniques appear inadequate and this leads to a variety of open problems.

研究の動機と目的

• 置換ワイヤード積とマーク付きシュライエル図形を用いて定義される可解群のクラスにおける等周的プロファイルとランダムウォークの挙動を分析すること。
• シュライエル図形の幾何的構造、特に大規模な1次元領域が、得られる群の$L^1$および$L^2$等周的プロファイルに与える影響を理解すること。
• これらの群における$L^1$および$L^2$等周的プロファイルの鋭い、明示的な上限を導出し、それらが単純なランダムウォークの帰還確率に与える正確な推定値をもたらすこと。
• 古典的な多項式的または指数的モデルでは捉えきれない、新たなランダムウォーク減衰のクラスが、中間成長の群において実現可能かどうかを特定すること。
• 現在の技術が失敗する可能性がある、複雑なシュライエル図形構造を有する群の族における、根本的な限界と、それらに起因する未解決問題を強調すること。

提案手法

• 著者たちは、大規模な1次元領域を有するシュライエル図形の構造を活用し、群の等周的挙動を捉える明示的なテスト関数を構築する。
• 彼らは、測度$v$の集合に台を持つ関数の$L^2$ノルムの下界を、ディリクレエネルギーで正規化することにより、$L^1$および$L^2$等周的プロファイル$\Lambda_{1,G}(v)$および$\Lambda_{2,G}(v)$を定義する。
• 重要な技術的手法として、軌道上の積構造を用いて、有限部分集合の空間上に適切な関数$F_n$を構成し、小さなレイリー商を得ることを可能にする。
• レイリー商$\mathcal{Q}_{\mathcal{P}_f(\mathcal{S}),\mu}(F_n)$は、三角恒等式および小$x$に対する余弦不等式$\cos(x) \geq e^{-x^2}$を用いて評価され、これにより有効抵抗$\mathcal{R}_{\mathcal{S},\mu}(J_n \leftrightarrow B_n^c)$と関連づけられる。
• この手法は、$\|s \cdot h - h\|_{L^2(X)}^2 \leq 1/2$を満たす関数$h$の存在に依存しており、これにより群作用がテスト関数に与える$L^2$ノルムを制御できる。
• この構成は、「バブル群」と「巡回ネイマン＝セガル群」の2つの族に適用され、そのシュライエル図形はすべてのスケールで自己同様性と1次元的特徴を示す。

実験結果

リサーチクエスチョン

• RQ1 置換ワイヤード積を用いて構成されるシュライエル図形に大規模な1次元的成分を有する群について、$L^1$および$L^2$等周的プロファイルの正確な漸近的挙動は何か？
• RQ2 このような群の等周的プロファイルは、それらの上での単純なランダムウォークの帰還確率$\Phi_G(n)$にどのように影響を与えるか？
• RQ3 古典的な多項式的または指数的モデルを超えて、可解群において新たなランダムウォーク減衰のクラスを実現可能か？
• RQ4 シュライエル図形の構造的特徴、特にその1次元的性質が、これらの群における鋭い等周的推定値を可能にする要因は何か？
• RQ5 より複雑なシュライエル図形構造を分析する際、現在の技術に根本的な限界があるか、そのような場合に生じる未解決問題は何か？

主な発見

• 本稿は、連続的パラメータ$\gamma > 1$に依存する群の族について、帰還確率が$\Phi_G(n) \simeq \exp\left(-n \cdot 2^{-2((1+\gamma)\log_2 n)^{\gamma/(1+\gamma)}}\right)$を満たすことを確立し、これは新たな部分拡散的減衰率を表している。
• 各$\gamma \in [1/3,1)$に対して、帰還確率が$\Phi_G(n) \simeq \exp\left(-n^\gamma (\log n)^{1-\gamma}\right)$を満たす群の構成がなされ、既知の減衰挙動の範囲が拡張されている。
• 任意の$\kappa > 0$に対して、$\Phi_G(n) \simeq \exp\left(-n^{1/3} (\log n)^{2(1+\kappa)/3}\right)$を満たす明示的な例が提供され、対数的補正を独立に調整可能であることが示された。
• 任意の$\gamma \in (1/3,1)$に対して、$\exp\left(-n^{\frac{\gamma+1}{3-\gamma}} (\log n)^{\frac{2(1-\gamma)}{3-\gamma}}\right) \lesssim \Phi_G(n) \lesssim \exp\left(-n^{\gamma} (\log n)^{1-\gamma}\right)$を満たす群$G$が存在することを証明し、連続的な中間減衰率の族が実現されることを示した。
• 研究対象の族について、等周的プロファイル$\Lambda_{1,G}$および$\Lambda_{2,G}$の鋭い上限が導出され、$\Lambda_{1,G}(v)^2 \simeq \Lambda_{2,G}(v)$が成り立つことが示された。さらに、レイリー商法を介して、これらがスぺクトルギャップおよびランダムウォークの減衰と関連づけられている。