[논문 리뷰] On a Dehn-Sommerville functional for simplicial complexes

Oliver Knill|arXiv (Cornell University)|2017. 05. 30.

Topological and Geometric Data Analysis참고 문헌 13인용 수 8

한 줄 요약

이 논문은 단체 복합체 G의 연결 라플라시안 L에서 유도된 새로운 함수 η(G) = tr(L − L⁻¹)를 제안하며, 이는 G의 바르티션 리파인먼트 G₁의 생성 함수의 도함수와 연결된다. 주요 결과로는 가우스-볼로네타 유형의 공식 η(G) = ∑ₓ∈V(G₁) χ(S(x))를 증명하며, 여기서 χ(S(x))는 정점 x에서의 단위 구면의 오일러 특성수이다. 이는 단체 복합체의 기하적 성질을 기호적으로 기술하는 조합적 불변량을 제공한다.

ABSTRACT

Assume G is a finite abstract simplicial complex with f-vector (v0,v1, ...), and generating function f(x) = sum(k=1 v(k-1) x^k = v0 x + v1 x^2+ v2 x^3 + ..., the Euler characteristic of G can be written as chi(G)=f(0)-f(-1). We study here the functional f1'(0)-f1'(-1), where f1' is the derivative of the generating function f1 of G1. The Barycentric refinement G1 of G is the Whitney complex of the finite simple graph for which the faces of G are the vertices and where two faces are connected if one is a subset of the other. Let L is the connection Laplacian of G, which is L=1+A, where A is the adjacency matrix of the connection graph G', which has the same vertex set than G1 but where two faces are connected they intersect. We have f1'(0)=tr(L) and for the Green function g L^(-1) also f1'(-1)=tr(g) so that eta1(G) = f1'(0)-f1'(-1) is equal to eta(G)=tr(L-L^(-1). The established formula tr(g)=f1'(-1) for the generating function of G1 complements the determinant expression det(L)=det(g)=zeta(-1) for the Bowen-Lanford zeta function zeta(z)=1/det(1-z A) of the connection graph G' of G. We also establish a Gauss-Bonnet formula eta1(G) = sum(x in V(G1) chi(S(x)), where S(x) is the unit sphere of x the graph generated by all vertices in G1 directly connected to x. Finally, we point out that the functional eta0(G) = sum(x in V(G) chi(S(x)) on graphs takes arbitrary small and arbitrary large values on every homotopy type of graphs.

연구 동기 및 목표

• 단체 복합체 G의 바르티션 리파인먼트 G₁의 생성 함수로부터 유도된 새로운 함수 η(G) = f₁′(0) − f₁′(−1)를 정의하고 연구하기.
• η(G)를 G₁의 단위 구면들의 오일러 특성수의 합으로 표현하는 가우스-볼로네타 유형의 공식을 수립하기.
• 연결 라플라시안 L = 1 + A와 그 역행렬 g = L⁻¹이 G의 위상수학적 및 기하학적 불변량을 어떻게 코딩하는지 탐구하기.
• η(G) 또는 관련 함수 기능이 이산 매니폴드 또는 기하 복합체를 식별하는 변분 기준으로 사용될 수 있는지 조사하기.

제안 방법

• 바르티션 리파인먼트 G₁의 f-벡터에 대한 생성 함수 f₁(x)를 정의하고, 그 도함수 f₁′(x)를 계산하여 f₁′(0) = tr(L) 및 f₁′(−1) = tr(g)를 추출하며, 여기서 g = L⁻¹은 녹색 함수이다.
• 유일모듈러리티 정리에 의해 L이 정수 성분을 가진 역행렬 g = L⁻¹을 가짐을 보장한다.
• 함수 기능 η(G) = f₁′(0) − f₁′(−1)을 H = L − L⁻¹로 불리는 수소 연산자의 추적과 연결한다.
• G₁에서의 단위 구면 S(x)의 국소적 구조를 분석함으로써 가우스-볼로네타 공식 η(G) = ∑ₓ∈V(G₁) χ(S(x))를 수립한다.
• G의 연결 그래프 G′에서 정점은 면이며, 간선은 비공백 교차를 나타내므로 인접행렬 A를 정의하고, 이를 통해 연결 라플라시안 L = 1 + A를 유도한다.
• 이중 피라미드 및 옥타에드론과 같은 구체적 예를 분석하여 함수 기능의 타당성을 검증하고, 호모토피 및 위상적 변형에 대한 행동을 시각화한다.

실험 결과

연구 질문

• RQ1 함수 기능 η(G) = tr(L − L⁻¹)는 이산 매니폴드 또는 기하 복합체를 특징짓는 변분 불변량으로서 기능할 수 있는가?
• RQ2 가우스-볼로네타 공식 η(G) = ∑ₓ∈V(G₁) χ(S(x))는 모든 유한한 단체 복합체에 대해 일반적으로 성립하는가?
• RQ3 호모토피 동치에 대해 η(G)는 어떻게 행동하며, 고정된 호모토피 유형 내에서 임의로 크게 또는 작게 만들 수 있는가?
• RQ4 연결 라플라시안 L의 스펙트럼과 함수 기능 η(G) = tr(L − L⁻¹) 사이의 관계는 무엇인가?
• RQ5 함수 기능 η(G)는 비기하학적 또는 특이한 단체 복합체(예: 비구면 단위 구면을 가진 복합체)를 탐지하거나 분류하는 데 사용될 수 있는가?

주요 결과

• 함수 기능 η(G) = f₁′(0) − f₁′(−1)은 연결 라플라시안 L과 연결 그래프 G′의 녹색 함수 L⁻¹에 대해 tr(L − L⁻¹)과 동일하다.
• 이중 피라미드 G = P₃ + C₄의 경우, η(G) = −8이며, tr(L) = 35, tr(g) = 43으로 확인되어 η(G) = 35 − 43 = −8임을 확인한다.
• 가우스-볼로네타 공식 η(G) = ∑ₓ∈V(G₁) χ(S(x))는 성립하며, G₁의 8개 정점에서 χ(S(x)) = −1이며, 합은 −8이다.
• 고정된 호모토피 유형 내에서 함수 기능 η₀(G) = ∑ₓ∈V(G) χ(S(x))는 구멍 뚫기 조작을 통해 임의로 크게 또는 작게 만들 수 있다.
• 이중 피라미드의 L 스펙트럼은 16개의 음성 및 19개의 양성 고유값을 가지며, 볼록 hull은 [−3.30278, 20.0327]이며, g = L⁻¹의 성분은 {−2, −1, 0, 1, 2}에 속한다.
• 원주 Cₙ 위의 삼중 스투니션에 대해, η(G) = −2n 이고 η₀(G) = −n 이며, 이는 호모토피 유형 내에서 η를 임의로 음수로 만들 수 있음을 보여준다.