[论文解读] Graphical Condensation Generalizations Involving Pfaffians and Determinants

Eric Kuo|ArXiv.org|May 5, 2006

Advanced Combinatorial Mathematics参考文献 6被引用 32

一句话总结

本文将图形凝聚推广至 Pfaffian 和子图匹配计数的行列式，以表达平面图中完美匹配数。通过扩展关于循环顶点集上匹配的组合恒等式，作者推导出广义的 Pfaffian 恒等式，推广了早期结果；并表明在特定结构条件下（如子图中存在唯一完美匹配），这些 Pfaffian 可约化为行列式，从而得到完美匹配计数的新行列式恒等式。

ABSTRACT

Graphical condensation is a technique used to prove combinatorial identities among numbers of perfect matchings of plane graphs. Propp and Kuo first applied this technique to prove identities for bipartite graphs. Yan, Yeh, and Zhang later applied graphical condensation to nonbipartite graphs to prove more complex identities. Here we generalize some of the identities of Yan, Yeh, and Zhang. We also describe the latest generalization of graphical condensation in which the number of perfect matchings of a plane graph is expressed as a Pfaffian or a determinant where the entries are also numbers of perfect matchings of subgraphs.

研究动机与目标

• 将图形凝聚恒等式从二分图推广至非二分图及加权平面图。
• 通过将固定顶点对替换为面边界上任意顶点子集，推广 Yan、Yeh 和 Zhang 的先前结果。
• 将平面图中完美匹配数表示为 Pfaffian，其元素为子图匹配计数。
• 识别 Pfaffian 表达式约化为行列式的条件，从而为完美匹配计数提供新的行列式恒等式。

提出的方法

• 引入一个由环、重边以及连接 A 和 B 中顶点的路径构成的多重图模型 H，满足度数约束且环长为偶数。
• 为每个多重图 H 定义权函数 w(H)，并使用 2^{k(H)} 来处理 Pfaffian 展开中的基于环的符号抵消。
• 证明广义凝聚恒等式两边均等于和 S = Σ_{H∈H} 2^{k(H)}w(H)，通过多重图分解建立等价性。
• 应用 Lindström–Gessel–Viennot 引理，将不相交路径系与行列式关联，实现从 Pfaffian 到行列式的转换。
• 在相交路径系上使用符号相反的对合，抵消非恒等排列的贡献，仅保留不相交路径系的贡献。
• 证明当子图具有唯一完美匹配时，匹配计数的 Pfaffian 可约化为行列式，从而导出新的行列式恒等式。

实验结果

研究问题

• RQ1 当顶点集 A 被划分为任意不相交子集时，图形凝聚恒等式如何推广？
• RQ2 在何种条件下，循环顶点集上匹配计数的 Pfaffian 会约化为行列式？
• RQ3 平面图的何种结构特性可保证完美匹配数等于子图匹配计数矩阵的行列式？
• RQ4 如何利用符号相反的对合来抵消行列式展开中相交路径系的贡献？
• RQ5 Pfaffian 与行列式在匹配计数中的关系能否推广至具有特定子图结构的非二分图？

主要发现

• 广义凝聚恒等式 (4) 对 A 的任意不相交子集划分 A₁ 和 A₂ 均成立，将定理 1.2 推广至任意子集。
• 完美匹配数 M(G) 等于一个矩阵的 Pfaffian，其元素为 M(G−{i,j})，其中 i,j 属于大小为偶数的循环顶点集 A。
• 当子图 K 恰好有一个完美匹配时，矩阵 [M(L_{ij})]_{1≤i,j≤n} 的行列式等于 M(K)，如推论 4.3 所示。
• 当 L 具有唯一完美匹配时，行列式恒等式 (14) 成立：M(G) = det[M(L_{ij})]_{1}^{n}，证明了完美匹配的新行列式公式。
• 对相交路径系的符号相反对合确保仅不相交路径系（对应恒等排列）对行列式和有贡献。
• Pfaffian 约化为行列式的条件恰好出现在底层子图具有唯一完美匹配时，从而可通过不相交路径实现组合解释。