[論文レビュー] On Fredholm determinants in topology

Oliver Knill|arXiv (Cornell University)|Dec 25, 2016

Graph theory and applications参考文献 13被引用数 15

ひとこと要約

本稿は、単体複体の Möbius 関数から導かれる組合せ的不変量であるフェルミ特性と、グラフの接続グラフのフレドホルム行列式の間のユニモジュラリティ定理を確立する。単体複体の接続グラフを定義し、その隣接行列のフレドホルム行列式が、奇数次元単体の符号の積に等しいことを証明することで、フレドホルム行列の逆行列が整数成分を持つことを示し、有限幾何における深い代数的・位相的双対性を明らかにする。

ABSTRACT

Given an abstract simplicial complex G, the connection graph G' of G has as vertex set the faces of the complex and connects two if they intersect. If A is the adjacency matrix of that connection graph, we prove that the Fredholm characteristic det(1+A) takes values in {-1,1} and is equal to the Fermi characteristic, which is the product of the w(x), where w(x)=(-1)^dim(x). The Fredholm characteristic is a special value of the Bowen-Lanford zeta function and has various combinatorial interpretations. The unimodularity theorem proven here shows that it is a cousin of the Euler characteristic as the later is the sum of the w(x). Unimodularity implies that the matrix 1+A has an inverse which takes integer values. Experiments suggest the conjecture that the range of the Green function values, the union of the entries of the inverse of 1+A form a combinatorial invariant of the simplicial complex and do not change under Barycentric or edge refinements.

研究の動機と目的

• 有限単体複体における代数的不変量（フレドホルム行列式）と組合せ的不変量（フェルミ特性）の深い関係を確立すること。
• 有限単体複体 G の接続グラフ G′ に対するフレドホルム行列 1 + A(G′) の構造と性質を調査すること。
• フレドホルム行列の逆行列が整数成分を持つことを示し、隠れた組合せ的不変量が存在することを示すこと。
• ユニモジュラリティ定理を通じて、モービウス関数とオイラー＝ポワンカレ双対性が有限幾何に果たす役割を探索すること。

提案手法

• 有限単体複体 G の接続グラフ G′ を定義する。ここで頂点は単体であり、単体が交わる場合に辺が存在する。
• フレドホルム行列式 ζ(G) = det(1 + A(G)) とフェルミ特性 φ(G) = ∏ₓ ω(x) を導入する。ここで ω(x) = (−1)^dim(x) である。
• ユニモジュラリティ定理 ψ(G) = φ(G) を証明する。ここで ψ(G) = ζ(G′) は接続グラフのフレドホルム行列式である。
• 細胞の付加に関する帰納法を用い、ψ(G ∪ {x}) = i(x)ψ(G) を示す。ここで i(x) = 1 − χ(S(x)) はポincare-Hopf 指標である。
• 球面のオイラー特性が 0 または 2 であることに着目し、帰納的構成により ψ(G) ∈ {−1, 1} を示す。
• 乱雑グラフ、素数グラフ、Erdős–Rényi モデルに対して Mathematica コードを用いて数値的に結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限単体複体の接続グラフのフレドホルム行列式は、常にそのフェルミ特性に等しいか？
• RQ2 有限幾何におけるフレドホルム行列 1 + A(G′) の逆行列の代数的意義は何か？
• RQ3 バーチャル・リファインメントの下で、グリーン関数 g_ij = [(1 + A(G′))⁻¹]_ij の値の範囲が組合せ的不変量であるか？
• RQ4 整数のモービウス関数は、素数グラフにおけるフェルミ特性とどのように関係するか？
• RQ5 接続グラフのフレドホルム行列式は常に ±1 であり、その条件を満たす位相的条件は何か？

主な発見

• ユニモジュラリティ定理が成立する：ψ(G) = φ(G)。これにより、接続グラフのフレドホルム行列式がフェルミ特性に等しいことが証明された。
• 完全グラフ Kn に対しては、n > 1 のときフレドホルム行列式 det(1 + A) が 0 になる。これは常に非特異的ではないことを示している。
• サイクルグラフ Cn に対しては、フレドホルム行列式が 6 で周期的であり、n ≡ 0 mod 6 のとき 0 に等しい。
• ホイールグラフ Wn に対しては、n が 3 で割り切れないとき (n−3)(−1)^n に等しく、そうでない場合は 0 に等しい。
• 素数グラフでは、オイラー特性 χ(Gn) が k = 2 から M までの −μ(k) の和に等しく、素数接続グラフのフレドホルム行列式が −μ(k) の積に等しい。これにより、ユニモジュラリティ定理が数値的に確認された。
• フレドホルム行列 (1 + A(G′))⁻¹ のグリーン関数成分 g_ij は常に整数である。これは、隠れた組合せ的不変量が存在することを示唆している。