[论文解读] A Sard theorem for graph theory

Oliver Knill|arXiv (Cornell University)|Aug 23, 2015

Topological and Geometric Data Analysis参考文献 16被引用 8

一句话总结

本文在图论中建立了离散的Sard定理，证明对于d-图和函数f，当c∉f(V)时，f−c的零点集是一个(d−1)-图，且临界值构成一个有限集。该结果通过递归构造水平集的方法推广至多个函数，保持正则性并实现代数集的显式三角剖分，应用于特征函数的节点曲面及离散Lagrange乘子。

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.

研究动机与目标

• 建立图论中经典Sard定理的离散类比，确保d-图上函数的水平集具有正则性。
• 通过递归构造水平集，将Sard结果推广至多个函数，保持(d−k)-图结构。
• 为研究特征函数的节点曲面（特别是3-球面上的第二特征函数）提供离散框架。
• 在图上形式化离散Lagrange乘子，模拟连续情形下的约束优化。
• 在纯组合设定下，实现对代数集与特征函数的拓扑及几何性质的实验探索。

提出的方法

• 将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，从而定义离散Lagrange乘子。

实验结果

研究问题

• RQ1 在何种条件下，d-图上函数f的f−c零点集为(d−1)-图？
• RQ2 如何通过递归水平集构造，利用多个函数f₁,…,fₖ构造出(d−k)-图？
• RQ3 3-球面图上第二特征函数的节点曲面{f₁=0}具有何种拓扑结构？
• RQ4 是否可在图上定义离散Lagrange乘子，使得临界点满足∇f=λ∇g？
• RQ5 在递归构造中，函数扩展的顺序是否影响所得(d−k)-图结构？

主要发现

• 对任意d-图及c∉f(V)，零点集{f=c}为(d−1)-图，且仅对有限多个c值拓扑发生变化。
• 当函数递归扩展时，使{F=c}非(d−k)-图的临界值(c₁,…,cₖ)集合为有限集。
• 3-球面图上第二特征函数的节点曲面恒为2-球面，表明两个节点区域均为3-球体。
• 双节点曲线{f₁=0,f₂=0}在3-球面中为无纽结，与经典拓扑预期一致。
• 在递归设定中，离散Sard定理成立：除有限多个参数选择外，正则性得以保持。
• 可通过梯度平行性定义离散Lagrange乘子，极值点出现在∇f与∇g在图上平行的位置。