research
这是 边权的局部变分 的第 3 篇。
归一化之后,正特征值的延拓落在一个仿射空间里:边界和为零,并且在指定的边界点取值 1。这个空间的维数是 \(|V|-2\)。再加上特征值本身,目标的维数是 \(|V|-1\)。
若一棵生成树的每条边对当前延拓都不平坦,其余边权固定,则这棵树上的边权到 \((\lambda,u)\) 是局部解析微分同胚,像是目标里的一个邻域。逆映射是有理的。得到的边权仍然为正,特征值仍然是单的,序号不变。
少于 \(|V|-1\) 条可变边,微分不可能满秩地映到这个目标上。所以生成树的边数是局部坐标的最少条数。
在核上,通有的非平坦性意味着核的任意一棵生成树都能当这组坐标。非平坦性本身用割上的和来造,不靠多项式回避:先挂上一些悬挂边,使每条树边都带非零的跃度,再用逐边的结式把例外集收成一个多项式的零点。秩公式的证明用这棵树;多项式回避的证明用秩公式。顺序不能反。
下一篇是整体实现,不再是局部坐标:正权。