[論文レビュー] Counting self-avoiding walks

Geoffrey Grimmett, Zhongyang Li|arXiv (Cornell University)|Apr 26, 2013

Complex Network Analysis Techniques参考文献 31被引用数 19

ひとこと要約

本稿は、無限グラフ上の自己回避歩行（SAWs）の接続定数 µ(G) について、グラフ構造への依存性に焦点を当て、その分析を行う。立方体グラフにおけるファイザー変換の影響を検討し、∆-正則グラフに対する普遍的な上限・下限を確立するとともに、頂点推移的グラフに対して厳密な不等式を証明する。特に、カイリー・グラフに関係式を追加すると µ(G) が厳密に減少し、新しい生成元を追加すると厳密に増加することを示す。主たる貢献は、正則および推移的グラフ全体にわたる接続定数の理解を体系的に行うフレームワークの構築であり、有限生成群のカイリー・グラフへの応用および SLE8/3 への収束や接続定数の局所性に関する未解決問題を含む。

ABSTRACT

The connective constant $μ(G)$ of a graph $G$ is the asymptotic growth rate of the number of self-avoiding walks on $G$ from a given starting vertex. We survey three aspects of the dependence of the connective constant on the underlying graph $G$. Firstly, when $G$ is cubic, we study the effect on $μ(G)$ of the Fisher transformation (that is, the replacement of vertices by triangles). Secondly, we discuss upper and lower bounds for $μ(G)$ when $G$ is regular. Thirdly, we present strict inequalities for the connective constants $μ(G)$ of vertex-transitive graphs $G$, as $G$ varies. As a consequence of the last, the connective constant of a Cayley graph of a finitely generated group decreases strictly when a new relator is added, and increases strictly when a non-trivial group element is declared to be a generator. Special prominence is given to open problems.

研究の動機と目的

• 自己回避歩行の接続定数 µ(G) が、グラフ G の構造的変更にどのように変化するかを分析すること。
• ∆-正則グラフの接続定数に対する普遍的な上限および下限を確立すること。
• G が頂点推移的である場合の µ(G) に対する厳密な不等式を証明すること、特に有限生成群のカイリー・グラフの文脈において。
• カイリー・グラフに関係式や生成元を追加した場合の接続定数への影響を調査すること。
• 未解決問題を強調すること、特に SAW が SLE8/3 に収束するか、および接続定数の局所性に関する問題。

提案手法

• ハマーソンの定理を用いて、SAW の指数的増加率として接続定数 µ(G) の存在を確立する。
• ファイザー変換（頂点を三角形に置き換える変換）を適用し、立方体グラフにおける µ(G) への影響を検討する。
• 組合せ論的およびグラフ理論的技法を用いて、∆-正則グラフにおける µ(G) の境界を導出する。
• 特に有限コセット性を持つ部分群を用いた群論的メソッドを用い、頂点推移的グラフにおける厳密な不等式を証明する。
• 群の商（関係式の追加）や生成集合の拡大（新しい生成元の追加）による影響を分析することで、カイリー・グラフに応用する。
• Duminil-Copin および Smirnov の µ(H) = √(2+√2) の証明で用いられた離散的正則性およびブリッジ分解技法を用い、理論的境界を支持する。

実験結果

リサーチクエスチョン

• RQ1 有限生成群の提示に非自明な関係式を追加した場合、これにより得られるカイリー・グラフ Gρ において、接続定数 µ(G) は厳密に減少するか？
• RQ2 カイリー・グラフの生成集合に新しい非自明な群元（およびその逆元）を追加した場合、接続定数 µ(G) は厳密に増加するか？
• RQ3 すべての単純で立方体かつ頂点推移的なグラフ G に対して、µ(G) ≥ φ が成り立つか？ここで φ = (1+√5)/2 は黄金比である。
• RQ4 有限コセット性を持つ quasi-transitive エッジ追加によって得られる G′ に対して、µ(G′) − µ(G) > ϵ を満たす正の下界 ϵ を計算可能か？
• RQ5 頂点推移的グラフの接続定数は、頂点を中心とする大きな有限球の構造によってどの程度決定されるか？

主な発見

• 六角格子 H の接続定数は正確に µ(H) = √(2+√2) であり、離散的正則性およびブリッジ分解により確認された。
• ラッダー・グラフ L の接続定数は µ(L) = (1+√5)/2 = φ であり、SAW の個数にフィボナッチ再帰関係が現れるためである。
• 正方形／八角形格子（アーチメデスの (4,8²) 格子）の接続定数は φ より厳密に大きく、下限として µ > 1.804 が得られた。
• カイリー・グラフに非自明な関係式を追加すると、接続定数は厳密に減少する：ρ ≠ ι に対して Gρ = G(Γρ, S) では µ(Gρ) < µ(G) が成り立つ。
• カイリー・グラフの生成集合に新しい生成元（およびその逆元）を追加すると、接続定数は厳密に増加する：µ(G) < µ(Gw) が成り立つ。
• 三角格子 T の接続定数は µ(Z²) < µ(T) を満たす。これは、T が周期的かつ quasi-transitive な補完により Z² を含むためである。