[논문 리뷰] An index formula for simple graphs

Oliver Knill|arXiv (Cornell University)|2012. 05. 02.

Geometric Analysis and Curvature Flows참고 문헌 68인용 수 21

한 줄 요약

이 논문은 삽입 함수에 대한 기대값을 통해 그래프의 오일러 특성과 이산 곡률을 연결하는 위상수학적 지표 공식을 수립한다. 모든 홀수 차원 기하학적 그래프가 곡률이 곳곳에서 0임을 증명하며, 이는 유도된 그래프 $B_f(x)$의 오일러 특성에 관한 지표 공식에서 유도된다. 이는 Poincaré-Hopf 및 Gauss-Bonnet 정리의 이산 그래프와 컴act 리만 다양체로의 일반화이다.

ABSTRACT

Gauss-Bonnet for simple graphs G assures that the sum of curvatures K(x) over the vertex set V of G is the Euler characteristic X(G). Poincare-Hopf tells that for any injective function f on V the sum of i(f,x) is X(G). We also know that averaging the indices E[i(f,x)] over all functions gives curvature K(x). We explore here the situation when G is geometric of dimension d: that is if each unit sphere S(x) is geometric of dimension d-1 and that X(S(x))=0 for even d and X(S(x))=2 for odd d. The dimension of G is inductively defined as the average of 1+dim(S(x)) over all S(x) assuming the empty graph has dimension -1. We prove that any odd dimensional geometric graph G has zero curvature. This is done with the help of an index formula j(f,x) = 1-X(S(x))/2-X(B(f,x))/2, where j(x)=[i(f,x)+i(-f,x)]/2. The graph B(f,x) is the discrete level surface {y | f(y) = f(x)} intersected with S(x). It is a subgraph of the line graph of G and geometric if G is geometric. The index formula simplifies for geometric graphs: for even d it is j(f,x) = 1-X(B(f,x))/2, where B(f,x) is a (d-2)-dimensional graph. For odd d it becomes j(f,x) =-X(B(f,x))/2, where B(f,x) is an odd dimensional graph. Because by induction with respect to d, the X(B(f,x))=0 we know now that that j(f,x) is zero for all x and so, by taking expectation over f that curvature K(x) is zero for all x. We also point out that all these results hold almost verbatim for compact Riemannian manifolds and actually are much simpler there. The same integral geometric index formula is valid if f is a Morse function, i(f,x) is the index of the gradient vector field and if S(x) is a sufficiently small geodesic sphere around x and B(f,x) which is S(x) intersected with the level surface {y | f(y)=f(x)}. Also in the continuum, the symmetric index j(f,x) is constant zero everywhere if d is odd.

연구 동기 및 목표

• 유한 단순 그래프에 대해 Poincaré-Hopf 및 Gauss-Bonnet 정리를 일반화하는 이산 지표 공식을 수립하는 것.
• 모든 홀수 차원 기하학적 그래프가 곳곳에서 곡률이 0임을 증명하여 연속 다양체에서 알려진 결과를 이산 그래프로 확장하는 것.
• 정점 $x$와 단사 함수 $f$로부터 유도된 기하 하위그래프인 그래프 $B_f(x)$를 정의하고 분석하여 지표 공식의 핵심 구성 요소로 삼는 것.
• 모르스 함수 하에서 컴팩트 리만 다양체에 대해 동일한 지표 공식이 성립함을 보여 이산 및 연속 곡률 이론을 통합하는 것.
• 단위 구 성질과 완성 과정을 통해 기하학적 그래프의 개념을 형식화하여 차원과 오일러 특성에서 위상적 일관성을 확보하는 것.

제안 방법

• 지표 공식 $j_f(x) = \frac{1}{2}[2 - \chi(S(x)) - \chi(B_f(x))]$을 유도하며, 여기서 $j_f(x)$는 정점 $x$에서의 이산 곡률, $S(x)$는 단위 구, $B_f(x)$는 함수 $f$로부터 유도된 그래프이다.
• 적분 기하학적 접근을 사용하여, 정점 집합 위의 모든 단사 함수 $f$에 대한 지표 $i_f(x) = 1 - \chi(S_f^-(x))$의 기대값으로 곡률을 표현한다.
• 차원에 대한 귀납법을 적용하여, 홀수 차원 기하학적 그래프에서 $B_f(x)$가 오일러 특성이 0인 $(d-2)$차원 기하학적 그래프임을 보이며, 이는 $j_f(x) = 0$을 암시한다.
• 그래프 $G$의 완성(completion)을 정의하여, 모든 단위 구와 부분그래프가 기하학적임을 보장하기 위해 정점과 간선을 추가하는 과정을 정의한다. 이는 위상적 불변성을 보장한다.
• 완성된 그래프 $G'$의 오일러 특성을 다각형 오일러 특성으로 정의하며, 이는 완성 과정에 대해 불변임을 보인다.
• 곱 그래프 $G \times H$에 공식을 적용하여, $G$와 $H$가 모두 양의 차원의 기하학적 그래프이면 $G \times H$는 잘 정의된 오일러 특성을 가진 다각형임을 보인다.

실험 결과

연구 질문

• RQ1 관측된 예시들에서처럼, 유한 단순 그래프의 곡률이 홀수 차원에서 0이 되는가?
• RQ2 이산 곡률이 정점 집합 위의 단사 함수에 대한 지표의 기대값으로 표현될 수 있는가?
• RQ3 지표 공식이 기하학적 그래프에서 성립하기 위해 유도된 그래프 $B_f(x)$가 만족해야 할 위상적 성질은 무엇인가?
• RQ4 이산 설정에서의 지표 공식은 연속 영역의 고전적 Poincaré-Hopf 및 Gauss-Bonnet 정리와 어떻게 관련이 있는가?
• RQ5 기하학적 그래프의 완성이 어떤 조건에서 유일하고 완성 과정에 대해 불변인가?

주요 결과

• 모든 홀수 차원 기하학적 그래프에서 정점 $x$마다 곡률 $K(x)$는 정확히 0이다. 이는 $j_f(x) = -\chi(B_f(x))/2 = 0$이기 때문이다.
• 지표 공식 $j_f(x) = \frac{1}{2}[2 - \chi(S(x)) - \chi(B_f(x))]$는 기하학적 그래프가 아니어도 모든 유한 단순 그래프에서 성립한다.
• 홀수 차원에서 $B_f(x)$는 오일러 특성이 0인 $(d-2)$차원 기하학적 그래프이므로 $j_f(x) = 0$임이 보장된다.
• 짝수 차원 기하학적 그래프에서는 공식이 $j_f(x) = 1 - \chi(B_f(x))/2$로 단순화되며, 이는 그래프 $G$의 오일러 특성을 더 낮은 차원의 그래프들의 합으로 계산할 수 있음을 허용한다.
• 함수 $f$가 모르스 함수일 때, 컴팩트 리만 다양체에서도 동일한 지표 공식이 성립하며, 이 경우 $S(x)$는 작은 지오데식 구이고 $B_f(x) = S(x) \cap \{y \mid f(y) = f(x)\}$이다.
• 그래프의 다각형 오일러 특성은 완성 과정에 대해 불변이며, 예를 들어 정육면체의 완성 그래프는 오일러 특성이 2이고, 초입방체의 완성 그래프는 오일러 특성이 0이다.