[論文レビュー] Boundary of the action of Thompson group F on dyadic numbers

Pavlo Mishchenko|arXiv (Cornell University)|Dec 9, 2015

Mathematical Dynamics and Fractals参考文献 1被引用数 6

ひとこと要約

この論文は、単純なランダムウォークのシュライエル図形におけるポアソン境界が非自明であることを証明し、F群がリウヴィル性を有さないという新たな証明を与える。電気ネットワーク理論と測地的成長解析を用いて、著者は測地的成長関数を $ \frac{1}{1-2z} $ として計算し、指数的成長および非自明な調和関数の存在を確認する。

ABSTRACT

We prove that the Poisson boundary of a simple random walk on the Schreier graph of action of $F$ on $\mathbb{D}$, where $\mathbb{D}$ is the set of dyadic numbers in $[0, 1]$, is non-trivial. This gives a new proof of the result of Kaimanovich: Thompson's group $F$ doesn't have Liouville property. In addition, we compute growth function of the Schreier graph of the action of $F$ on $\mathbb{D}$.

研究の動機と目的

• Thompson群 F が区間 [0,1] 内のdyadic rationals に作用する際の、シュライエル図形におけるポアソン境界の非自明性を確立すること。
• F がリウヴィル性を有さない、すなわち非定数の有界調和関数を許容することを、代替的証明すること。
• F \curvearrowright \mathbb{D} という作用に関連するシュライエル図形の測地的成長関数を計算すること。ここで $ \mathbb{D} $ は [0,1] 内のdyadic数の集合である。
• 円錐型の構造を分析し、シュライエル図形における測地的数え上げの再帰的関係を導出すること。

提案手法

• シュライエル図形上のランダムウォークをモデル化するための電気ネットワーク形式主義を適用し、抵抗とディリクレエネルギーを用いて非再帰性および容量を分析する。
• 固定点からへの測地的経路数 $ \texttt{gd}(x,n) $ の数に基づく基準を用い、根における容量が正であることを示し、非再帰性を示す。
• 定理 2.3 を適用し、根の子の部分木が非再帰的であれば、全体の木におけるランダムウォークの境界が非自明であることを示す。
• 円錐型の再帰的関係（5種類）を導出し、遷移行列と母関数を用いて測地的成長をモデル化する。
• 行列 $ (I_5 - Az)^{-1} $ の逆行列を用いて、拡張された完全測地的成長関数 $ \tilde{L}(z) $ と軌道成長関数 $ \widehat{L}(z) $ を計算する。
• 閉形式解 $ \overline{l}(z) = \left( \frac{1}{1-2z}, \frac{1}{1-z}, \frac{1}{1-3z+2z^2}, \frac{1}{1-3z+2z^2}, \frac{1}{1-2z} \right) $ を用いて、測地的成長関数 $ l(z) = \frac{1}{1-2z} $ を抽出する。

実験結果

リサーチクエスチョン

• RQ1 シュライエル図形 $ F \curvearrowright \mathbb{D} $ 上の単純ランダムウォークのポアソン境界は非自明か？
• RQ2 Thompson群 F の非リウヴィル性は、シュライエル図形上で幾何的・確率的手法を用いて再証明可能か？
• RQ3 シュライエル図形 $ F \curvearrowright \mathbb{D} $ の測地的成長関数の正確な形は何か？
• RQ4 シュライエル図形の頂点の円錐型は、成長および調和関数の構造にどのように寄与するか？
• RQ5 基点からの距離 $ n $ における頂点数の漸近的成長率は何か？

主な発見

• シュライエル図形 $ F \curvearrowright \mathbb{D} $ 上のランダムウォークのポアソン境界は非自明であり、Thompson群 F がリウヴィル性を有さないことを示唆する。
• シュライエル図形の測地的成長関数は $ l(z) = \frac{1}{1-2z} $ であり、底が 2 の指数的成長を示している。
• 基点 $ 1/2 $ からのグラフ距離 $ n $ における頂点数は $ L_n = \frac{\varphi^{n+2} - \hat{\varphi}^{n+2}}{\sqrt{5}} $ で与えられ、ここで $ \varphi = \frac{1+\sqrt{5}}{2} $ であり、フィボナッチに類似した成長を示す。
• 軌道成長関数 $ \widehat{L}(z) $ は $ \left( \frac{1+z}{1-z-z^2}, \frac{1}{1-z}, \frac{1+z}{1-2z+z^3}, \frac{1}{1-2z+z^3}, \frac{1}{1-z} \right) $ として計算され、円錐型の構造を確認する。
• 基点からの距離 $ n $ までの頂点総数は $ |B(p,n)| = \frac{\varphi^{n+3} - \varphi^2}{\sqrt{5}(\varphi-1)} - \frac{\hat{\varphi}^{n+3} - \hat{\varphi}^2}{\sqrt{5}(\hat{\varphi}-1)} $ で与えられ、超指数的蓄積を反映している。
• 円錐型の再帰的関係および行列形式 $ (I_5 - Az)^{-1} \Lambda_0 $ は、測地的成長の完全な代数的記述を提供し、成長関数の正確な計算を可能にする。