[論文レビュー] Self avoiding walk on the seven regular triangulation

Itaï Benjamini|arXiv (Cornell University)|Dec 13, 2016

Mathematics and Applications参考文献 9被引用数 4

ひとこと要約

この論文は、7-正則な無限平面三角形分割上の自己回避的ウォーク（SAW）が、期待値において線形的移動距離を示すことを証明しており、期待値におけるボールスティック行動を確立している。証明は、双曲空間におけるグロモフ双曲性と反射対称性を活用し、ウォークの頂点の定数割合が一様な逆三角不等式を満たすことを示しており、原点からの期待距離の線形成長を強制している。

ABSTRACT

It is shown that self avoiding walk on the seven regular infinite planar triangulation has linear expected displacement.

研究の動機と目的

• 7-正則な三角形分割という高い対称性と負の曲率を持つグラフ上で、自己回避的ウォークの期待値におけるボールスティック行動を確立すること。
• スペクトルギャップの境界に依存する従来の数え上げ的議論の失敗を克服するため、幾何学的および対称性に基づく手法を用いること。
• スペクトルギャップ推定値を必要としないで、双曲格子やより一般的なグロモフ双曲グラフへの期待ボールスティック性の概念を拡張すること。
• 非可換かつ負の曲率を持つグラフ上でのSAWの解析のための幾何的フレームワークを提供すること。凸包境界と反射不変性を用いる。

提案手法

• 7-正則な三角形分割のグロモフ双曲性を用いる。これは双曲平面 $\mathbb{H}^2$ にクアイアイソメトリックである。
• 自己回避的性質が有界な摂動まで保存されるように、SAWパスの凸包に接する測地線における反射対称性を適用する。
• 補題2.1を用いて、任意の有限集合 $A$ において、その凸包の境界上にある頂点の定数割合 $c|A|$ が存在することを示す。
• 定数割合のインデックス $i$ において、$\mathcal{C}$ に依存する逆三角不等式 $\text{dist}(\gamma(1),\gamma(i)) + \text{dist}(\gamma(i),\gamma(n)) \leq \text{dist}(\gamma(1),\gamma(n)) + \mathcal{C}$ が成り立つことを示す。ここで $\mathcal{C}$ は格子にのみ依存する定数である。
• SAW上の計数測度の反射不変性を適用する：逆三角不等式を満たす確率は、境界点における反射に関して不変である。
• 逆三角不等式と $\delta$-双曲空間の細い三角形性を組み合わせることで、$\gamma(1)$ から $\gamma(n)$ への測地線の有界近傍に存在する頂点の数が線形であることを示し、期待移動距離の線形性を強制する。

実験結果

リサーチクエスチョン

• RQ1 高次元格子で用いられる数え上げ的議論が失敗するにもかかわらず、7-正則な三角形分割上での自己回避的ウォークは線形期待移動距離を示すか？
• RQ2 スペクトルギャップ推定値に依存せず、反射対称性と凸包幾何学を用いて、グロモフ双曲グラフにおけるボールスティック行動を確立できるか？
• RQ3 典型的なSAWの経路に沿って、双曲格子上での逆三角不等式が正の密度の頂点で満たされるか？
• RQ4 期待ボールスティック性の結果を他の双曲格子や $\mathbb{H}^n$ 内の反射生成格子の $1$-スケルトンに拡張できるか？
• RQ5 凸包の境界と、負の曲率を持つ空間における自己回避的パスの幾何的構造との関係は何か？

主な発見

• 7-正則な三角形分割上での $n$ ステップ自己回避的ウォークの期待移動距離は $n$ に対して線形に増加する。すなわち、ある $c > 0$ に対して $\mathbb{E}[\text{dist}(\gamma(1),\gamma(n))] \geq cn$ が成り立つ。
• 典型的なSAWに沿って、インデックス $i$ において、定数 $\mathcal{C}$-逆三角不等式を満たす頂点の数は $cn$ に比例する。ここで $\mathcal{C}$ は格子にのみ依存する普遍定数である。
• $\gamma(1)$ から $\gamma(n)$ への測地線の有界近傍に存在するウォークの頂点数は、逆三角不等式とグロモフ双曲性のおかげで期待値において少なくとも $cn$ に達する。
• この議論は、$\mathbb{H}^n$ 内の反射によって生成される任意の双曲格子の $1$-スケルトンに一般化可能であり、これらの設定において期待ボールスティック性が確立される。
• 自己回避的ウォークの数の境界やスペクトルギャップ推定値を必要とせず、幾何的対称性と凸包構造に依存している。
• この手法は、凸包に境界上に存在する頂点の密度が正である非可換かつ双曲的グラフ上でのSAWが、期待値においてボールスティックである可能性を示唆している。