AI 中文总结
研究有限简单图\(G\)的完美匹配，通过两种观点得到奇圈缺陷\(\delta_{\mathrm{odd}}(G)\)，结合不等式细化度序列界，证明缺陷多种解释，研究界中近似等式，包括对极值图扰动分类及提出有界度差距问题。
AI 中文摘要
设\(G\)为有限简单图。我们通过两种互补观点研究完美匹配：简化为二分图的永久项以及由普通邻接永久项计数的有向圈覆盖。主要恒等式是经典圈覆盖展开的显式奇圈索引形式：它将\(\perfmat(G)^2\)（来自叠加两个完美匹配的偶圈覆盖贡献）与包含奇圈的圈覆盖贡献分开，得到非负奇圈缺陷\(\delta_{\mathrm{odd}}(G)\)。将该恒等式与布雷格曼 - 明克不等式结合，对阿隆 - 弗里德兰德度序列界进行了结构细化。我们证明了缺陷的乘积、正性和分数完美匹配解释；表明对于\(K_{2n}\)，缺陷渐近地几乎占了布雷格曼 - 明克目标的全部；并由此导出一个错排恒等式。我们还研究了阿隆 - 弗里德兰德界中的近似等式：对极值图的所有单边扰动进行分类，记录来自\(K_4\)的均匀障碍，并提出一个尖锐的有界度差距问题，其两个自然候选极值图在最大度\(9\)和\(10\)之间交叉。
英文摘要
Let \(G\) be a finite simple graph. We study perfect matchings through two complementary viewpoints: reductions to bipartite permanent terms and the directed cycle covers counted by the ordinary adjacency permanent. The main identity is an explicit odd-cycle-indexed form of the classical cycle-cover expansion: it separates \(\perfmat(G)^2\), the even-cycle-cover contribution coming from superposing two perfect matchings, from the contribution of cycle covers containing odd cycles. This gives a nonnegative odd-cycle defect \(δ_{\mathrm{odd}}(G)\). Combining the identity with the Bregman--Minc inequality yields a structural refinement of the Alon--Friedland degree-sequence bound. We prove product, positivity, and fractional-perfect-matching interpretations for the defect; show that for \(K_{2n}\) the defect asymptotically accounts for almost the entire Bregman--Minc target; and derive from this a derangement identity. We also study near equality in the Alon--Friedland bound: we classify all one-edge perturbations of the extremal graphs, record the uniform obstruction coming from \(K_4\), and formulate a sharp bounded-degree gap problem whose two natural candidate extremal graphs cross between maximum degrees \(9\) and \(10\).
CommentsComments welcome!
