[논문 리뷰] A Sard theorem for graph theory

Oliver Knill|arXiv (Cornell University)|2015. 08. 23.

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

한 줄 요약

이 논문은 그래프 이론에서 이산 Sard 정리 수립하여, d-그래프와 함수 f에 대해 f−c의 영점집합이 f(V)에 속하지 않는 모든 c에 대해 (d−1)-그래프임을 증명한다. 임계값들은 유한한 집합을 이룬다. 이를 다중 함수로 확장하기 위해 반복적 수준집합 구성법을 적용하여 정규성 유지 및 대수적 집합의 명시적 삼등분 가능하게 하며, 고유함수의 노달 표면 및 이산 라그랑주 승수에 응용한다.

ABSTRACT

The zero locus of a function f on a graph G is defined as the graph with vertex set consisting of all complete subgraphs of G, on which f changes sign and where x,y are connected if one is contained in the other. For d-graphs, finite simple graphs for which every unit sphere is a d-sphere, the zero locus of (f-c) is a (d-1)-graph for all c different from the range of f. If this Sard lemma is inductively applied to an ordered list functions f_1,...,f_k in which the functions are extended on the level surfaces, the set of critical values (c_1,...,c_k) for which F-c=0 is not a (d-k)-graph is a finite set. This discrete Sard result allows to construct explicit graphs triangulating a given algebraic set. We also look at a second setup: for a function F from the vertex set to R^k, we give conditions for which the simultaneous discrete algebraic set { F=c } defined as the set of simplices of dimension in {k, k+1,...,n} on which all f_i change sign, is a (d-k)-graph in the barycentric refinement of G. This maximal rank condition is adapted from the continuum and the graph { F=c } is a (n-k)-graph. While now, the critical values can have positive measure, we are closer to calculus: for k=2 for example, extrema of functions f under a constraint {g=c} happen at points, where the gradients of f and g are parallel D f = L D g, the Lagrange equations on the discrete network. As for an application, we illustrate eigenfunctions of geometric graphs and especially the second eigenvector of 3-spheres, which by Courant-Fiedler has exactly two nodal regions. The separating nodal surface of the second eigenfunction f_2 belonging to the smallest nonzero eigenvalue always appears to be a 2-sphere in experiments if G is a 3-sphere.

연구 동기 및 목표

• d-그래프 위의 함수에 대해 고전적 Sard 정리의 이산적 유사체를 수립하여, 함수의 수준집합의 정규성을 보장한다.
• 반복적 수준집합 구성법을 통해 Sard 결과를 다중 함수로 확장하여, (d−k)-그래프의 구조를 유지한다.
• 특히 3-구면 그래프의 두 번째 고유함수에 대해 고유함수의 노달 표면을 연구하기 위한 이산적 프레임워크를 제공한다.
• 연속체와 유사한 제약 최적화를 모델링하기 위해 그래프 위에서 이산 라그랑주 승수를 체계화한다.
• 순수 조합론적 환경에서 대수적 집합과 고유함수의 위상수학적 및 기하학적 성질을 실험적으로 탐색할 수 있도록 한다.

제안 방법

• f−c의 영점집합을 정의: 정점은 f의 부호가 변화하는 완전부분그래프(단체)로 구성되며, 포함관계가 있는 부분그래프 사이에 간선을 부여한다.
• d-그래프와 c∉f(V)일 때, 이 영점집합이 (d−1)-그래프임을 귀납적 추론과 국소적인 구조를 이용해 증명한다.
• 함수를 반복적으로 수준집합으로 확장: 먼저 {f₁=c₁}을 정의하고, 이를 표면으로 삼아 f₂를 이 표면으로 확장한 후 {f₂=c₂}를 이 안에서 정의한다.
• 두 번째 설정에서는 최대질량 조건을 사용하며, F:V→ℝᵏ가 주어질 때 {F=c}는 모든 fᵢ가 부호를 변화시키는 차원 ≥k의 단체들의 집합으로 정의된다.
• 이산 Sard 정리를 d-그래프의 고유함수에 적용하여, 노달 표면이 (d−1)-그래프이며 노달 영역이 위상적으로 단순함을 보인다.
• 연속체에서 ∇f=λ∇g와 유사하게, f와 g의 기울기가 임계점에서 평행하도록 하여 이산 라그랑주 승수를 모델링한다.

실험 결과

연구 질문

• RQ1 d-그래프 위의 함수 f에 대해 f−c의 영점집합이 c가 f(V)에 속하지 않을 때 언제 (d−1)-그래프가 되는가?
• RQ2 다중 함수 f₁,…,fₖ를 어떻게 사용하여 반복적 수준집합 구성법을 통해 (d−k)-그래프를 구성할 수 있는가?
• RQ3 3-구면 그래프의 두 번째 고유함수에 대해 {f₁=0}의 위상적 구조는 어떠한가?
• RQ4 그래프 위에서 이산 라그랑주 승수를 어떻게 정의할 수 있으며, 임계점이 ∇f=λ∇g를 만족하는가?
• RQ5 반복적 구성에서 함수의 확장 순서가 최종 (d−k)-그래프의 구조에 영향을 미치는가?

주요 결과

• 모든 d-그래프와 f(V)에 속하지 않는 c에 대해 영점집합 {f=c}는 (d−1)-그래프이며, 위상은 오직 유한한 수의 c에서만 변화한다.
• 함수를 반복적으로 확장할 경우, {F=c}가 (d−k)-그래프가 되지 않는 임계값 (c₁,…,cₖ)의 집합은 유한하다.
• 3-구면 그래프의 두 번째 고유함수의 노달 표면은 항상 2-구면이며, 이는 두 노달 영역 모두 3-구반임을 시사한다.
• 이중 노달 곡선 {f₁=0,f₂=0}은 3-구면에서 뭉친 것이 아니며, 고전적 위상기하 기대와 일치한다.
• 반복적 설정에서 이산 Sard 정리는 성립한다: 유한한 수의 매개변수 선택 이외에는 정규성이 유지된다.
• 기울기의 평행성 조건을 통해 이산 라그랑주 승수를 정의할 수 있으며, 극값은 ∇f와 ∇g가 그래프 위에서 평행한 점에서 발생한다.