[論文レビュー] Minimal growth harmonic functions on lamplighter groups

Itaï Benjamini, Hugo Duminil‐Copin+2 more|arXiv (Cornell University)|Jul 4, 2016

Advanced Mathematical Modeling in Engineering参考文献 18被引用数 5

ひとこと要約

この論文は、ランプライト群における非定数調和関数の最小成長を調査し、$(\mathbb{Z}/2)\wr\mathbb{Z}$ は非線形調和関数をもたず、$(\mathbb{Z}/2)\wr\mathbb{Z}^2$ は非対数的調和関数をもたず、繰り返し $ \mathbb{Z}^2 $ とのワルフィング積をとった群に対しても同様の関数が存在しないことを証明している。カップリング手法とエントロピーに基づく境界を用いて、Derriennic-Kaimanovich-Vershik定理から得られる $ \sqrt{n/H_n} $ の成長境界が、これらの群ではタイトでないことが示され、従来の知見よりも強い調和関数成長制限が存在することが明らかになった。

ABSTRACT

We study the minimal possible growth of harmonic functions on lamplighters. We find that $(\mathbb{Z}/2)\wr \mathbb{Z}$ has no sublinear harmonic functions, $(\mathbb{Z}/2)\wr \mathbb{Z}^2$ has no sublogarithmic harmonic functions, and neither has the repeated wreath product $(\dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2$. These results have implications on attempts to quantify the Derriennic-Kaimanovich-Vershik theorem.

研究の動機と目的

• ランプライト群における非定数調和関数の最小成長率を特定すること。
• Derriennic-Kaimanovich-Vershik定理から導かれる $ \sqrt{n/H_n} $ の調和関数成長に対する境界が、ランプライト群においてタイトかどうかを調査すること。
• 特定のランプライト群において、$ \sqrt{n/H_n} $ の境界がどれほど失敗するかを定量化し、より強い成長制限が存在することを示すこと。
• 再帰的である $ \mathbb{Z}^2 $ との繰り返しワルフィング積に対しても、調和関数成長に関する結果を拡張すること。

提案手法

• 位置 0 のランプの状態のみが異なる隣接する群元から出発する、$ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上の2つのランダムウォークのカップリング構成を用いる。
• 2つのウォークが $ \pm r $ に到達する最初の時刻で関数値の差をバインドするために、オプショナル停車定理を調和関数に適用する。カップリングを用いることで、関数値の差を制御する。
• 単純なランダムウォーク $ \mathbb{Z} $ の再帰性と非再帰性の性質を用いて、$ T_r $ までにグルーピングが起こらない確率を $ C/r $ でバインドする。
• エントロピーに基づく不等式を用い、特に、インクリメンタルエントロピー $ H(X_n) - H(X_{n-1}) $ と調和関数の分散との間の相互情報量およびフィッシャー情報量を関係付ける。
• 相互情報量によるCramér-Rao不等式のバージョンを適用し、次の主要な不等式を導出する: $ (\mathbb{E}_z |h(X_1)-h(z)|)^2 \leq 4 \mathbb{E}_z[|h(X_n)-h(z)|^2] \cdot (H(X_n) - H(X_{n-1})) $。
• 多項式的成長を示す群では $ H(X_n) = O(\log n) $ であり、無限に多くの $ n $ に対して $ H(X_n) - H(X_{n-1}) = O(n^{-1}) $ であることを用いて、非線形調和関数が定数でなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 $ \sqrt{n/H_n} $ の調和関数成長に対する境界が、$ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上の調和関数に対して真の最小成長率を表しているか。
• RQ2 非線形調和関数が $ (\mathbb{Z}/2)\wr\mathbb{Z} $ に存在する可能性はあるか、$ \sqrt{n/H_n} $ の境界がそれらの存在を示唆しているにもかかわらず。
• RQ3 $ (\mathbb{Z}/2)\wr\mathbb{Z}^2 $ および $ \mathbb{Z}^2 $ との繰り返しワルフィング積は、対数的成長より遅い非定数調和関数を許容するか。
• RQ4 $ \sqrt{n/H_n} $ の境界はすべての有限生成群に対してタイトか、それとも調和関数成長に対するより強い制限が存在する群は存在するか。
• RQ5 エントロピーに基づく調和関数成長の境界は、例えばランプライト群のようにエントロピーがより高い群に対して定量的に改善可能か。

主な発見

• ランプライト群 $ (\mathbb{Z}/2)\wr\mathbb{Z} $ には、非定数の非線形成長調和関数が存在しない。つまり、$ h(x) = o(|x|) $ となる関数は存在しない。これは、$ \sqrt{n/H_n} $ の境界が $ n^{1/4} $ の成長を許容すると示唆しているが、実際にはよりタイトな境界が存在する。
• $ (\mathbb{Z}/2)\wr\mathbb{Z}^2 $ に対しては、非定数の非対数的成長調和関数が存在しない。つまり、$ h(x) = o(\log |x|) $ となる関数は不可能である。
• 繰り返しワルフィング積 $ \dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2 $（$ k $ 回）に対しても、非定数の非対数的成長調和関数は存在しない。
• ランプライト群 $ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上のランダムウォークのエントロピーは $ \sqrt{n} $ であるため、$ \sqrt{n/H_n} $ の境界は $ n^{1/4} $ の成長しか与えないが、実際の境界ははるかにタイトである：非線形関数は存在しない。
• 証明手法により、$ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上の調和関数が線形より遅い速度で成長するならば、すべてのランプ状態からの独立性が強制され、定数関数でなければならないことが示された。
• この結果は、$ \sqrt{n/H_n} $ の境界がランプライト群ではタイトでないことを示しており、エントロピーのみから示唆されるよりも、調和関数に強い構造的制約が存在することを示している。