research
这是 通有性质 的第 1 篇。
流形上的 Steklov 特征函数有密度引理,Wang 用它得到通有的正则性。图上这条路断了:内部的叶子,以及挂在核外面的块,对每一个正边权都是常数。调和函数可以在一块正面积上是平的,弱唯一延拓不成立。
核 \(G^B\) 是端点都在边界上的简单路的并。删掉内部的一度点、再删掉只碰到边界一个点的块,并不能把这些悬挂块都删干净。一个挂在内部顶点上的三角形,两个内部点都不在任何简单的边界到边界的路上,所以在核外面。延拓在这种块上恒为常数。
Chen–Hua–Shi 已经证明:通有正边权下谱是单的,特征函数在边界上处处非零。常数特征函数在 \(|B|\ge 2\) 时在边界上取同一个值,所以处处非零还不给出单射。
进一步,通有正边权下,非常值特征函数在边界上单射,延拓在核上单射并且处处非零。核外面仍是常数,等于它挂靠的那个顶点上的值。若存在一棵生成树,叶子全在边界上,则核就是整张图,单射推广到所有顶点。反过来不对:\(C_4\) 上取一对对径点当边界,核仍是整张圈,但每棵生成树都有叶子落在边界外。
同一条压缩还可以排除有限个系数的线性关系:只要系数向量不平行于全 1,通有地 \(\alpha^\top f\neq 0\)。特别地,\(2f(i)\neq f(j)\),\(|B|\ge 3\) 时 \(f(i)+f(j)\neq 0\),\(|B|\ge 4\) 时 \(2f(j)\neq f(i)+f(k)\)。\(|B|=2\) 时 \(f(i)+f(j)=0\) 就是和为零,那是被迫的。
下一篇把单射翻译成指标:顶点 Morse。