[論文レビュー] On walk-regular graphs and graphs with symmetric hitting times

Agelos Georgakopoulos|arXiv (Cornell University)|Nov 24, 2012

Graph theory and applications参考文献 6被引用数 10

ひとこと要約

この論文は、アールズが提起した問いを解決し、閉路ウォークの長さが固定されたときの始点にかかわらずその数が一定であるようなウォーク正則グラフ—つまり、任意の固定された長さの閉路ウォークの数が始点に依存しないグラフ—が、一般には頂点推移的でないことを示しており、アールズの問いに対する否定的解答を提供している。主な貢献は、ウォーク正則性が対称的ヒット時間（symmetric hitting times）を意味するが、推移性を意味しないことである。反例は距離正則グラフおよびゴッドセル＆マクケイによる構成から得られている。

ABSTRACT

Aldous [1] asked whether every graph in which the distribution of the return time of random is independent of the starting vertex must be transitive. We remark that this question can be reduced into a purely graph-theoretic one that had already been answered Godsil & McKay [6] and ask some questions motivated by this.

研究の動機と目的

• すべての頂点について帰還時間分布が同一であるようなグラフが、必ずしも頂点推移的であるかどうかを特定すること。
• ウォーク正則性、対称的ヒット時間、およびグラフの推移性の間の関係を調査すること。
• 可逆性（対称的ヒット時間）が正則性またはウォーク正則性を意味するかどうかを検討すること。
• 特に有効抵抗とグラフ不変量を通じて、可逆グラフの構造的およびスペクトル的性質を検討すること。

提案手法

• アールズの確率論的問題を、純粋なグラフ理論的条件であるウォーク正則性に還元すること。
• ウォーク正則性と、すべての頂点についてnステップ後の帰還確率が同一であるという事実の同値性の利用。
• ゴッドセル＆マクケイによる、推移的でないウォーク正則グラフに関する既知の結果の応用。
• 有効抵抗を用いたヒット時間の分析。Hxy = Hyx が成り立つのは、∑w d(w)r(v,w) がすべてのvについて一定であるとき、かつそのときに限る、という恒等式の利用。
• 有効抵抗と次数の和に基づくグラフ不変量 Rd(G) と Rπ(G) の定義。
• スペクトル的手法による可逆グラフの構築と、その拡張特性の探求。

実験結果

リサーチクエスチョン

• RQ1 すべての頂点について帰還時間分布が同一であるようなグラフは、必ずしも頂点推移的であるか？
• RQ2 対称的ヒット時間（Hxy = Hyx）が、グラフが正則またはウォーク正則であることを意味するか？
• RQ3 可逆グラフについて、Rπ(G)（正規化された有効抵抗和）として現れる可能性のある有理数はどのようなものか？
• RQ4 ランダムウォークの混合性の観点から、良い拡張性を持つ可逆グラフを構築できるか？
• RQ5 ウォーク正則でない可逆グラフは存在するか？もしあるならば、それらを特徴付ける構造的条件は何か？

主な発見

• ウォーク正則グラフは、頂点推移的であるとは限らない。これはアールズの問いに対する否定的解答を提供する。
• ゴッドセル＆マクケイによる構成により、推移的でも距離正則でもないウォーク正則グラフが存在する。
• すべてのウォーク正則グラフは、対称的ヒット時間を有する。つまり、すべてのx,yについてHxy = Hyxが成り立つ。
• すべての頂点vについて∑w d(w)r(v,w) が一定であることは、グラフが可逆（対称的ヒット時間）であることと同値である。
• 正規化不変量 Rπ(G) = Rd(G)/(2m) は有理数であり、K_nとC_nの例によって、任意に小さくも大きくもなることが示された。
• 本論文は、良い拡張性を持つ可逆グラフを構築する作業が、未解決でありながら価値のある研究分野であると示唆している。