[論文レビュー] Minimal volume entropy on graphs

Seonhee Lim|arXiv (Cornell University)|Jun 11, 2005

Mathematical Dynamics and Fractals参考文献 7被引用数 9

ひとこと要約

本稿は、頂点の次数が3以上である有限連結グラフに、体積エントロピーを最小化する正規化された計量の存在と一意性を確立する。最小エントロピーおよびエントロピー最小化エッジ長に対する明示的公式を導出し、正則グラフではすべての辺が等長であるときに最小エントロピーが達成されることを示す。さらに、リーマン幾何におけるBCG定理の被覆空間への類似を含む、グラフの群への一般化を展開する。

ABSTRACT

Among the normalized metrics on a graph, we show the existence and the uniqueness of an entropy-minimizing metric, and give explicit formulas for the minimal volume entropy and the metric realizing it.

研究の動機と目的

• 有限連結グラフに、体積エントロピーを最小化する正規化された計量の存在と一意性を確立すること。
• 最小体積エントロピーおよびそれを達成するエッジ長に対する明示的閉形式の式を導出すること。
• 結果をグラフの群に一般化し、リーマン多様体におけるBCG定理の類似を、計量グラフの文脈で確立すること。
• 被覆グラフの群におけるエントロピー・ボリューム不等式の等号が成立する条件を特定し、計量被覆写像と関連付けること。

提案手法

• ユニバーサル被覆空間における球の体積の指数的増加率として体積エントロピーを定義する：$ h_{\mathrm{vol}}(d) = \lim_{r\to\infty} \frac{1}{r} \log \ell(B(x_0,r)) $。
• 体積を1に正規化するため、$ h_{\mathrm{vol}}(d_{\alpha\ell}) = \frac{1}{\alpha} h_{\mathrm{vol}}(d_\ell) $ の同次性を適用する。
• 最適化を用いてエントロピー最小化エッジ長を導出し、各辺 $ e $ に対して $ \ell(e) = \frac{\log(k_{i(e)}k_{t(e)})}{\sum_{x\in VX}(k_x+1)\log k_x} $ を得る。
• Bass-Serre理論を用いて結果をグラフの群に拡張し、頂点およびエッジ群の安定化部分群を用いて被覆空間上のエントロピーを計算する。
• 体積エントロピーの同値な特徴づけとして、基本群のユニバーサル被覆木への作用の臨界指数を用いる。
• グラフの群に対して一般化されたBCG不等式を適用し、$ n $-シート被覆に対して $ h_{\mathrm{vol}}(Y,H_\bullet,d)\mathrm{vol}(Y,H_\bullet,d) \geq n\, h_{\mathrm{vol}}(X,G_\bullet,d_0)\mathrm{vol}(X,G_\bullet,d_0) $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限グラフに、体積エントロピーを最小化する一意な正規化計量が存在するか？
• RQ2 エントロピー最小化計量およびそれに対応する最小体積エントロピーを特徴付ける明示的公式は何か？
• RQ3 正則グラフではエントロピー最小化計量はどのように振る舞い、すべての辺が等長であると一致するか？
• RQ4 リーマン多様体におけるBCG定理は、計量グラフおよびグラフの群の文脈に拡張可能か？
• RQ5 被覆グラフの群におけるエントロピー・ボリューム不等式の等号が成立する条件は何か？

主な発見

• 最小体積エントロピーは $ h_{\min} = \frac{1}{2} \sum_{x\in VX} (k_x+1) \log k_x $ で与えられ、ここで $ k_x $ は頂点 $ x $ における次数から1を引いたものである。
• エッジ $ e $ のエントロピー最小化エッジ長は $ \ell(e) = \frac{\log(k_{i(e)}k_{t(e)})}{\sum_{x\in VX}(k_x+1)\log k_x} $ であり、全体積が1になるように保証される。
• 正則グラフでは、すべての辺が等長であるときに最小エントロピーが達成され、KapovichおよびNagnibedaの結果を確認する。
• $ n $-シート被覆のグラフの群において、不等式 $ h_{\mathrm{vol}}(Y,H_\bullet,d)\mathrm{vol}(Y,H_\bullet,d) \geq n\, h_{\mathrm{vol}}(X,G_\bullet,d_0)\mathrm{vol}(X,G_\bullet,d_0) $ が成り立つ。
• 被覆不等式の等号が成り立つのは、被覆空間上の計量がエントロピー最小化計量であり、かつ被覆写像がベース空間のスケーリング版への計量被覆であるときに限る。
• 正規化計量のうち、エントロピー最小化計量は一意であり、基本群が非巡回である限りエントロピーは正である。