[논문 리뷰] Gauss-Bonnet for multi-linear valuations

Oliver Knill|arXiv (Cornell University)|2016. 01. 18.

Topological and Geometric Data Analysis참고 문헌 108인용 수 17

한 줄 요약

이 논문은 유한 단순 그래프 위의 다중선형 측정량에 대해 가우스-보네 및 파oincaré-홉프 정리를 수립하며, 오일러 특성의 일반화인 고차원 우-특성들이 그래프 곱에서 곱셈적임을 증명하고 곡률 공식을 만족함을 보인다. 그라운바움의 1970년 추측을 확인하기 위해 경계가 없는 d-그래프에서 0이 되는 고차원 드레인-소머빌 측정량을 구성함으로써, 이러한 측정량이 바르센터릭 세분화에 대해 불변임을 보이고 정점별 곡률 분해를 갖는다.

ABSTRACT

We prove Gauss-Bonnet and Poincare-Hopf formulas for multi-linear valuations on finite simple graphs G=(V,E) and answer affirmatively a conjecture of Gruenbaum from 1970 by constructing higher order Dehn-Sommerville valuations which vanish for all d-graphs without boundary. An example of a quadratic valuation is the Wu characteristic w(G) which sums (-1)^(dim(x)+dim(y)) over all intersecting pairs of complete subgraphs x,y of a G. More generally, an intersection number w(A,B) sums (-1)^(dim(x)+dim(y)) over pairs x,y, where x is in A and y is in B and x,y intersect. w(G) is a quadratic Euler characteristic X(G), where X sums (-1)^dim(x) over all complete subgraphs x of G. We prove that w is multiplicative, like Euler characteristic: w(G x H) = w(G) w(H) for any two graphs and that w is invariant under Barycentric refinements. We construct a curvature K satisfying Gauss-Bonnet w(G) = sum K(a). We also prove w(G) = X(G)-X(dG) for Euler characteristic X which holds for any d-graph G with boundary dG. We also show higher order Poincare-Hopf formulas: there is for every multi-linear valuation X and function f an index i(a) such that sum i(a)=X(G). For d-graphs G and X=w it agrees with the Euler curvature. For the vanishing multi-valuations which were conjectured to exist, like for the quadratic valuation X(G) = (V X) Y with X=(1,-1,1,-1,1),Y=(0,-2,3,-4,5) on 4-graphs, discrete 4 manifolds, where V_{ij}(G) is the f-matrix counting the number of i and j-simplices in G intersecting, the curvature is constant zero. For all graphs and multi-linear Dehn-Sommerville relations, the Dehn-Sommerville curvature K(v) at a vertex is a Dehn-Sommerville valuation on the unit sphere S(v). We show X V(G) Y = v(G) Y for any linear valuation Y of a d-graph G with f-vector v(G). This provides examples for the Gruenbaum conjecture.

연구 동기 및 목표

• 유한 단순 그래프 위의 다중선형 측정량으로부터 선형 측정량으로부터의 가우스-보네 및 파oincaré-홉프 정리를 일반화하는 것.
• 그라운바움의 1970년 추측을 해결하기 위해 경계가 없는 d-그래프에서 0이 되는 고차원 드레인-소머빌 측정량을 구성하는 것.
• 우-특성, 즉 고차원 오일러 특성으로서의 성질이 그래프 곱에서 곱셈적임을 보이고 바르센터릭 세분화에 대해 불변임을 보이는 것.
• 다중선형 측정량에 대해 정점 곡률을 정의하고 그 합이 그래프의 측정량과 일치함을 보이는 것. 이는 선형 경우의 일반화이다.

제안 방법

• k-선형 측정량을 부분그래프 k-튜플 위의 다중선형 사상으로 정의하며, 비영이 되기 위해선 교차가 비어있지 않아야 함을 요구한다.
• 우-특성 ω(G)를 교차하는 단체 위의 자기교차 수로 정의하며, 오일러 특성의 일반화로 간주한다.
• 단체에서 성립함을 보이고 바르센터릭 불변성에 의해 확장함으로써 곱셈적 성질 ω(G×H) = ω(G)ω(H)를 증명한다.
• 각 정점 v에서의 곡률 K(v)를 정의하여 ∑K(v) = ω(G)가 성립함을 보이며, 교차하는 단체 쌍의 분할을 사용한다.
• 임의의 k-선형 측정량 X와 함수 f에 대해 Poincaré-Hopf 지수 i_{X,f}(v)를 정의하여 ∑i_{X,f}(v) = X(G)가 성립함을 보인다.
• f-행렬 V(G)와 선형 함수성 ψ를 사용하여 측정량를 ⟨χ, V(G), ψ⟩로 표현하고, 단위 구면에서의 선형대수학을 통해 곡률를 유도한다.

실험 결과

연구 질문

• RQ1 유한 단순 그래프 위의 다중선형 측정량으로부터 가우스-보네 및 파oincaré-홉프 정리를 선형 측정량에서 일반화할 수 있는가?
• RQ2 그라운바움이 1970년에 추측한 바와 같이, 경계가 없는 d-그래프에서 0이 되는 고차원 드레인-소머빌 측정량이 존재하는가?
• RQ3 우-특성은 그래프 곱에서 곱셈적이며, 바르센터릭 세분화에 대해 불변인가?
• RQ4 다중선형 측정량에 대해 정점 곡률를 정의할 수 있으며, 그 합이 그래프의 측정량과 일치하는가?
• RQ5 k-선형 드레인-소머빌 측정량의 공간의 차원은 얼마이며, 고전적 드레인-소머빌 공간과의 관계는 어떠한가?

주요 결과

• 우-특성 ω(G)는 ω(G) = ∑K(v)를 만족하며, 여기서 K(v)는 단체의 교차 구조로부터 유도된 정점 곡률이다. 이는 다중선형 측정량에 대한 가우스-보네 공식을 증명한다.
• 경계가 있는 d-그래프 G에 대해 항등식 ω(G) = χ(G) − χ(δG)가 성립하며, 이는 고차원 불변량으로서 오일러 특성 공식을 일반화한다.
• k-선형 측정량 X와 함수 f에 대해 Poincaré-Hopf 지수 i_{X,f}(v)는 ω(B⁻_f(v)) − ω(S⁻_f(v))로 정의되며, ∑i_{X,f}(v) = X(G)를 만족한다.
• 모든 우-특성은 바르센터릭 세분화에 대해 불변이며 곱셈적임: ω(G×H) = ω(G)ω(H)이며, 이는 스탠리-라이즈너 환 위의 곱셈 함수로 간주된다.
• k-선형 드레인-소머빌 측정량의 공간은 차원 [(d+1)/2]를 가지며, 고전 공간과 일치하며, 서로 다른 고유값의 고유벡터들에 의해 생성된다.
• 경계가 없는 d-그래프에서는 임의의 드레인-소머빌 측정량이 정점 곡률이 항상 0이며, 평탄함은 X(G) = 0과 동치이다.