[論文レビュー] The Euler characteristic of an even-dimensional graph

Oliver Knill|arXiv (Cornell University)|Jul 15, 2013

Geometric Analysis and Curvature Flows参考文献 5被引用数 13

ひとこと要約

本稿は、偶数次元の有限単純グラフにおけるオイラー乗数の新しい積分幾何的解釈を提案する。これは、2次元部分グラフ上の曲率の平均として表される。グラス-ボンネット型の関係を確立し、頂点におけるオイラー曲率が $1 - \mathbb{E}[K(x,f)]/2$ の期待値に等しいことを示し、ランダムな2次元断面を通じて離散的曲率とヒルベルト・アインスタイン作用に結びつける。また、関数に依存する表面曲率を用いて、変形可能なアインスタインテンソルをグラフに導入する。

ABSTRACT

We write the Euler characteristic X(G) of a four dimensional finite simple geometric graph G=(V,E) in terms of the Euler characteristic X(G(w)) of two-dimensional geometric subgraphs G(w). The Euler curvature K(x) of a four dimensional graph satisfying the Gauss-Bonnet relation sum_x K(x) = X(G) can so be rewritten as an average 1-E[K(x,f)]/2 over a collection two dimensional "sectional graph curvatures" K(x,f) through x. Since scalar curvature, the average of all these two dimensional curvatures through a point, is the integrand of the Hilbert action, the integer 2-2 X(G) becomes an integral-geometrically defined Hilbert action functional. The result has an interpretation in the continuum for compact 4-manifolds M: the Euler curvature K(x), the integrand in the classical Gauss-Bonnet-Chern theorem, can be seen as an average over a probability space W of 1-K(x,w)/2 with curvatures K(x,w) of compact 2-manifolds M(w). Also here, the Euler characteristic has an interpretation of an exotic Hilbert action, in which sectional curvatures are replaced by surface curvatures of integral geometrically defined random two-dimensional sub-manifolds M(w) of M.

研究の動機と目的

• 4次元の有限単純グラフのオイラー乗数を2次元断面曲率の平均として再定式化すること。
• ランダムな2次元部分グラフを用いた離散的ガウス-ボンネット＝チューリング定理の類似を確立すること。
• 関数に依存する表面曲率の平均を用いて、変形可能なグラフ用アインスタインテンソルを定義し、量子に適合可能な幾何的力学を可能にすること。
• 極値のオイラー乗数が、変更されたアインスタイン方程式を満たす可能性のある臨界幾何に対応するかどうかを検討すること。
• 曲率積分が、物理的または幾何学的に有意義なグラフの選択に果たす役割を調査すること。

提案手法

• 各頂点 $x$ において関数 $f$ の等高線集合によって2次元部分グラフ $G(f)$ を定義し、$x$ を通る2次元断面の離散的類似を形成する。
• 2次元表面 $B_f(x)$ の genus $1 - \chi(B_f(x))/2$ を局所的曲率測度 $K(x,f)$ として用いる。
• オイラー曲率 $K(x)$ をすべての関数 $f$ における期待値 $\mathbb{E}[1 - K(x,f)/2]$ として表現する。
• ホイールグラフ曲率の平均としてエッジおよび頂点におけるリッチ曲率とスカラー曲率を定義し、その後関数に依存する2次元曲率を用いて再定義する。
• 期待値をとった上で、新しいアインスタインテンソル $T(v,e) = R(e) - S(v)$ を構成し、保存則を保つ。
• ガウス-ボンネット定理を適用し、全リッチ曲率とオイラー乗数 $\chi(G)$ の関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 4次元幾何的グラフのオイラー乗数は、2次元表面曲率の平均として表現可能か？
• RQ2 ランダム関数 $f$ に対して、頂点におけるオイラー曲率が $1 - K(x,f)/2$ の期待値に一致するか？
• RQ3 微分幾何学におけるヒルベルト・アインスタイン作用は、離散グラフ上の積分幾何学によって再構成可能か？
• RQ4 極値のオイラー乗数を示すグラフは、新しいアインスタインテンソルによって定義される変分原理の臨界点か？
• RQ5 量子的変形は、離散幾何学における新しいアインスタインテンソルの保存則を保持するか？

主な発見

• 4次元幾何的グラフにおける頂点 $x$ におけるオイラー曲率 $K(x)$ は、すべての単射関数 $f$ における期待値 $\mathbb{E}[1 - K(x,f)/2]$ に等しく、2次元断面曲率と結びつく。
• イコサヘドロンでは、すべてのエッジおよび頂点に対して $R(e) = S(v) = 1/6$ であるため、アインスタインテンソル $T(v,e)$ は恒等的に0となり、これはアインスタイングラフであることを意味する。
• 完全二部グラフ $K_{n,n}$ はオイラー乗数 $\chi(K_{n,n}) = 2n - n^2$ を持ち、$n=6$ のとき、位数 $n$ の連結グラフの中で最小である。
• オクタヘドロンは位数6のグラフの中で最大のオイラー乗数 $\chi = 2$ を達成し、定数正の曲率 $1/3$ を持つ。
• エッジ確率 $p$ のランダムな Erdős–Rényi グラフの期待オイラー乗数は指数関数的に増加する：$\mathbb{E}[\chi(G)] \sim \pm e^{cn}$（$c > 0$ の定数）。$n=1000$ のとき、極値は $e^{50}$ を超える。
• 関数に依存する表面曲率を用いて定義された新しいアインスタインテンソルは、ユニタリ対称性の下で変形可能であり、保存則 $\sum_{e \in B(v)} T_v(e) = 0$ を保持する。