[논문 리뷰] One can hear the Euler characteristic of a simplicial complex

Oliver Knill|arXiv (Cornell University)|2017. 11. 27.

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.

연구 동기 및 목표

• 심플렉스 복합체의 올리어 수치가 자기수반 라플라스 연산자의 스펙트럼으로부터 유도될 수 있는지 여부를 규명하는 것.
• 코homology나 호드지 이론에 의존하지 않고 χ(G) = ∑(−1)^dim(x)를 표현하는 스펙트럼 불변량을 확립하는 것.
• 연결 라플라스 연산자 L의 고유값과 고유벡터가 올리어 수치 χ(G)와 같은 위상적 불변량을 완전히 스펙트럼적으로 기술하는지 탐구하는 것.
• L의 스펙트럼 데이터가 기저 심플렉스 복합체를 동형사상까지 결정하는 정도를 조사하는 것.

제안 방법

• 유한한 추상 심플렉스 복합체 G의 심플렉스 x, y에 대해 연결 라플라스 연산자 L(x,y) = sign(|x ∩ y|)를 정의한다.
• L의 양성 고유값의 수가 G 내의 짝수 차원 심플렉스의 수와 같고, 음성 고유값의 수가 홀수 차원 심플렉스의 수와 같다는 것을 증명한다.
• 무질서 정리(unimodularity theorem)를 사용하여 χ(G) = (2/iπ) tr(log(iL))라는 항등식을 유도함으로써, 올리어 수치를 L의 스펙트럼의 로그 에너지로 표현한다.
• 스펙트럼은 같지만 서로 동형이 아닌 심플렉스 복합체의 구체적 예를 구성하여, L의 스펙트럼이 복합체를 동형사상까지 결정하지는 않음을 보여준다.
• G의 심플렉스(CW 복합체로 순서를 정한 경우)와 L의 고유벡터 사이에 자연스러운 전단사 사상(비둘기집 원리)을 설정하여 각 심플렉스에 고유한 에너지 상태를 할당한다.
• 심플렉스 복합체의 강한 링(stong ring)으로 스펙트럼 공식을 확장하여, 곱과 생성된 객체에 대해서도 χ(G) = p − n 가 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 심플렉스 복합체의 올리어 수치가 자기수반 라플라스 연산자의 스펙트럼으로 복원될 수 있는가?
• RQ2 연결 라플라스 연산자 L의 스펙트럼 불변량 중에서 코homology에 의존하지 않고 χ(G) = ∑(−1)^dim(x)를 표현할 수 있는가?
• RQ3 L의 고유값과 고유벡터가 심플렉스 복합체 G를 유일하게 결정하는가?
• RQ4 올리어 수치보다 더 높은 차수의 위상 불변량인 유프 특성수 ω_k(G)가 L의 스펙트럼에 의해 결정되는가?
• RQ5 L⁻¹ = g 인 그린 함수 g가 경로 적분 또는 에너지 합으로 해석되어 스펙트럼적으로 χ(G)를 복원할 수 있는가?

주요 결과

• 연결 라플라스 연산자 L의 양성 고유값의 수는 G 내의 짝수 차원 심플렉스의 수와 같고, 음성 고유값의 수는 홀수 차원 심플렉스의 수와 같다.
• 올리어 수치는 χ(G) = p − n 로 주어지며, 여기서 p와 n은 L의 양성 및 음성 고유값의 개수이다. 이는 χ(G)에 대한 스펙트럼 공식을 제공한다.
• 올리어 수치는 χ(G) = (2/iπ) tr(log(iL)) 로도 표현될 수 있으며, 이는 L의 스펙트럼의 로그 에너지임을 보여준다.
• 스펙트럼은 같지만 서로 동형이 아닌 심플렉스 복합체가 존재함을 보여, L의 스펙트럼이 복합체를 동형사상까지 결정하지는 않음을 입증한다.
• 이소스펙트럴 예제에서 k = 2, 3, 4 인 유프 특성수 ω_k(G)가 일치함을 관찰하여, 더 높은 차수의 유프 불변량이 스펙트럼에 의해 결정될 수 있음을 시사하지만, 이는 아직 미해결 상태이다.
• 양성 또는 음성 정부가 아닌 유한한 양성 차원의 심플렉스 복합체에서는 항상 L이 정부가 되지 않으며, 짝수 및 홀수 차원 심플렉스가 동시에 존재하기 때문이다.