[論文レビュー] Lamplighter graphs do not admit harmonic functions of finite energy

Agelos Georgakopoulos|ArXiv.org|Jul 8, 2009

Graph theory and applications参考文献 12被引用数 3

ひとこと要約

本稿は、$G$ が局所的に有限なグラフであり、$H$ が少なくとも1本の辺をもつ有限で連結なグラフであるとき、ラムプライトグラフ $G wre H$ が、有限なディリクレエネルギーをもつ非定数の調和関数をもたないことを証明する。証明は、レイトに沿った辺に交わらないパスの構造的補題の強化版に依拠しており、このようなグラフが有限エネルギー調和関数が存在するための幾何的条件を満たさないことを示し、グリッドや木に関する既知の結果を拡張する。

ABSTRACT

We prove that a lamplighter graph of a locally finite graph over a finite graph does not admit a non-constant harmonic function of finite Dirichlet energy.

研究の動機と目的

• A. Karlsson が提起した、正則な木をベースとするラムプライトグラフが、有限なディリクレエネルギーをもつ非定数の調和関数をもつかどうかという問題を解決すること。
• 既知のグリッド ($\mathbb{Z}^d$, $d \geq 3$) に関する結果を、任意の局所的に有限なグラフ $G$ と有限グラフ $H$ に一般化すること。
• パスの成長と辺に交わらない性質に基づく、非定数の有限エネルギー調和関数をもたないグラフの十分条件を確立すること。
• Markvorsen, McGuinness, および Thomassen の結果の強化版を用いて、ラムプライトグラフにとどまらない一般の枠組みを提供すること。

提案手法

• 辺に交わらないパスがレイト間で存在するという結果を強化した新しい補題（補題 3.1）を考案し、パスの成長率と有限エネルギー調和関数の非存在を結びつける。
• ラムプライトグラフ $G \wr H$ の2つのレイト間で、長さが $i$ に対して線形的に増加するおそれがあるような、互いに辺に交わらないパス列 $P_i$ を構成する。この構成は、補題 3.1 の条件を満たす。
• 構成は、$G \wr H$ のブロー・アップ構造に依拠しており、$G$ の各頂点が $H$ のコピーに置き換えられ、スイッチング辺と $G$ のベースグラフにおける木に基づくナビゲーションを用いてパスを構築する。
• 有限部分グラフ $G$ の直径と辺数の上限を用い、$H$ の固定されたサイズによりスイッチングパスの長さを制御することで、各パス $P_i$ の長さを $i$ の線形関数で上から抑え込む。
• 調和関数のディリクレエネルギーが有限であるためには、このようなパス構成が存在してはならないという事実に依拠し、非定数の有限エネルギー調和関数が存在すると仮定すると矛盾が生じる。
• この手法は、群構造を必要とせず、カイリー群に限らず一般のグラフに適用可能であり、結果は広く適用可能である。

実験結果

リサーチクエスチョン

• RQ1 正則な木 $T$ に対して、ラムプライトグラフ $T \wr \mathbb{Z}_2$ は、有限なディリクレエネルギーをもつ非定数の調和関数をもつか。
• RQ2 無限グリッドから、$H$ が有限で連結な場合に、任意の局所的に有限なグラフ $G$ に対して、非定数の有限エネルギー調和関数の非存在が拡張可能か。
• RQ3 レイト構造とパスの成長に基づく、一般のグラフ理論的条件が、非定数の有限エネルギー調和関数の非存在を示唆するか。
• RQ4 問題 3.1 で提起されたように、$H$ が無限で局所的に有限な場合に、この結果を拡張可能か。

主な発見

• $G$ が局所的に有限で、$H$ が少なくとも1本の辺をもつ有限で連結なグラフであるとき、ラムプライトグラフ $G \wr H$ は、有限なディリクレエネルギーをもつ非定数の調和関数をもたない。
• 非定数の有限エネルギー調和関数の非存在は、$G$ がカイリー群でない場合にも成立し、純粋にグラフ論的障害であることを示している。
• 2つのレイト間で、長さが線形的に抑えられる辺に交わらないパス列が存在するならば、非定数の有限エネルギー調和関数は存在しない、という事実が証明で確立された。
• $G \wr H$ におけるこのようなパスの構成は、ブロー・アップ構造と $G$ の有限部分グラフにおける生成木の使用に依拠しており、ランプ状態の違いによってパスの互いに素性を保証する。
• 各構成パス $P_i$ の長さは $i$ に対して線形的に増加し、補題 3.1 の条件を満たす。この条件は、有限エネルギー調和関数の非存在を示すのに十分である。
• この結果は、グリッドに関する既知の結果を一般化し、積型グラフにおける調和関数の解析に新たなツールを提供する。