[論文レビュー] One can hear the Euler characteristic of a simplicial complex

Oliver Knill|arXiv (Cornell University)|Nov 27, 2017

Topological and Geometric Data Analysis参考文献 8被引用数 9

ひとこと要約

この論文は、有限の抽象的単体複体のオイラー乗数が、その接続ラプラシアン L の正負の固有値の個数の差として、スペクトル的に決定可能であることを証明している。主な結果は、正の固有値の個数が偶数次元単体の個数に等しく、負の固有値の個数が奇数次元単体の個数に等しいことである。したがって、χ(G) = p − n が成り立つ。これは、自己随伴ラプラシアンを用いたオイラー乗数の最初の既知のスペクトル的特徴付けを提供する。

ABSTRACT

We prove that that the number p of positive eigenvalues of the connection Laplacian L of a finite abstract simplicial complex G matches the number b of even dimensional simplices in G and that the number n of negative eigenvalues matches the number f of odd-dimensional simplices in G. The Euler characteristic X(G) of G therefore can be spectrally described as X(G)=p-n. This is in contrast to the more classical Hodge Laplacian H which acts on the same Hilbert space, where X(G) is not yet known to be accessible from the spectrum of H. Given an ordering of G coming from a build-up as a CW complex, every simplex x in G is now associated to a unique eigenvector of L and the correspondence is computable. The Euler characteristic is now not only the potential energy summing over all g(x,y) with g=L^{-1} but also agrees with a logarithmic energy tr(log(i L)) 2/(i pi) of the spectrum of L. We also give here examples of L-isospectral but non-isomorphic abstract finite simplicial complexes. One example shows that we can not hear the cohomology of the complex.

研究の動機と目的

• 単体複体のオイラー乗数が、自己随伴ラプラシアンのスペクトルから導けるかどうかを特定すること。
• コホノロジーもしくはホッジ理論に依存せずに、χ(G) = ∑(−1)^dim(x) を符号化するスペクトル不変量を確立すること。
• 接続ラプラシアン L の固有値および固有ベクトルが、χ(G) のような位相的不変量を完全にスペクトル的に記述できるかどうかを調査すること。
• L のスペクトルデータが、元の単体複体を同型を除いて決定する程度を調査すること、特に、同スペクトルだが同型でない複体の存在を検討すること。

提案手法

• 有限の抽象的単体複体 G の単体 x, y に対して、接続ラプラシアン L(x,y) = sign(|x ∩ y|) を定義する。
• L の正の固有値の個数が G の偶数次元単体の個数に等しく、負の固有値の個数が奇数次元単体の個数に等しいことを証明する。
• ユニモジュラリティ定理を用いて、χ(G) = (2/iπ) tr(log(iL)) という恒等式を導出し、オイラー乗数を L のスペクトルの対数的エネルギーとして表現する。
• 同スペクトルだが同型でない単体複体の具体例を構成し、L のスペクトルが複体を同型を除いて決定しないことを示す。
• G の単体（CW複体として順序付けられたもの）と L の固有ベクトルとの間に、自然な全単射を確立し、各単体に固有のエネルギー状態を割り当てる。
• スペクトル公式を単体複体の強い環へ拡張し、積や生成された対象に対しても χ(G) = p − n が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 単体複体のオイラー乗数は、自己随伴ラプラシアンのスペクトルから回復可能か？
• RQ2 接続ラプラシアン L のスペクトル不変量の中に、コホノロジーに依存せず、χ(G) = ∑(−1)^dim(x) を符号化するものがあるか？
• RQ3 L の固有値および固有ベクトルが、単体複体 G を一意に決定するか？
• RQ4 Wu乗数 ω_k(G) といった高次の位相的不変量が、L のスペクトルによって決定されるか？
• RQ5 Green関数 g = L⁻¹ は、経路積分またはエネルギー和として解釈可能であり、それがスペクトル的に χ(G) を回復できるか？

主な発見

• 接続ラプラシアン L の正の固有値の個数は、G の偶数次元単体の個数に等しく、負の固有値の個数は奇数次元単体の個数に等しい。
• オイラー乗数は χ(G) = p − n で与えられ、p と n はそれぞれ L の正および負の固有値の個数を表す。これは χ(G) のスペクトル的公式を提供する。
• オイラー乗数は χ(G) = (2/iπ) tr(log(iL)) とも表現可能であり、これは L のスペクトルの対数的エネルギーであることを示している。
• 同スペクトルだが同型でない単体複体が存在し、L のスペクトルが複体を同型を除いて決定しないことを示している。
• 同スペクトル例において、k = 2, 3, 4 の場合のWu乗数 ω_k(G) が一致しており、高次のWu不変量がスペクトル的に決定可能である可能性を示唆しているが、これは未解決のままである。
• 正の次元をもつ任意の有限単体複体に対して、接続ラプラシアン L は、偶数次元および奇数次元単体の両方を含むため、正定値または負定値でない。