[論文レビュー] Graphical Condensation Generalizations Involving Pfaffians and Determinants

Eric Kuo|ArXiv.org|May 5, 2006

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

ひとこと要約

本稿では、平面グラフにおける完全マッチングの数を、部分グラフ内のマッチング数を成分とする行列のペフィアンおよび行列式として表現するように、グラフィカル・コンデンセーションを一般化する。循環的頂点集合上のマッチングに関する組み合わせ的恒等式を拡張することで、先行研究を一般化するペフィアン恒等式を導出し、特定の構造的条件（たとえば部分グラフに唯一の完全マッチングが存在する場合）の下で、これらのペフィアンが行列式に簡約されることを示し、完全マッチング数の新しい行列式恒等式を導く。

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.

研究の動機と目的

• 双対グラフに限らない非双対および重み付き平面グラフへ、グラフィカル・コンデンセーションの恒等式を拡張すること。
• 楊、葉、張の先行結果を一般化し、固定された頂点ペアの代わりに面上の任意の頂点部分集合を用いること。
• 平面グラフにおける完全マッチングの数を、部分グラフ内のマッチング数を成分とするペフィアンとして表現すること。
• ペフィアン表現が行列式に簡約される条件を同定し、完全マッチング数の列挙に新たな行列式恒等式を導くこと。

提案手法

• 頂点 A と B を結ぶサイクル、二重辺、およびパスからなるマルチグラフ H のモデルを導入し、次数制約および偶数長のサイクルを満たす。
• 各マルチグラフ H に対して重み関数 w(H) を定義し、ペフィアン展開におけるサイクルに基づく符号キャンセレーションを 2^{k(H)} で補正する。
• 一般化されたコンデンセーション恒等式の両辺が、S = Σ_{H∈H} 2^{k(H)}w(H) に等しいことを証明し、マルチグラフ分解を用いて等価性を確立する。
• リンストローム–ゲゼル–ビアンノの補題を適用し、交差しないパス系と行列式との関係を確立することで、ペフィアンから行列式への移行を可能にする。
• 交差するパス系に対する符号反転の対合を用い、非恒等置換の寄与をキャンセルし、交差しないパス系（恒等置換に対応）の寄与のみを残す。
• 部分グラフに唯一の完全マッチングが存在する場合、マッチング数のペフィアンが行列式に簡約されることを示し、新たな行列式恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 頂点集合 A が任意の互いに素な部分集合に分割される場合、グラフィカル・コンデンセーション恒等式はどのように一般化できるか？
• RQ2 循環的頂点集合上のマッチング数のペフィアンが行列式に簡約される条件は何か？
• RQ3 平面グラフのどのような構造的性質が、完全マッチングの数が部分グラフのマッチング数の行列式に等しいことを保証するか？
• RQ4 符号反転の対合を用いて、完全マッチング数の行列式展開における交差するパス系をどのようにキャンセルできるか？
• RQ5 特定の部分グラフ構造を持つ非双対グラフへ、マッチング数のペフィアンと行列式の関係をどのように拡張できるか？

主な発見

• 一般化されたコンデンセーション恒等式 (4) は、A を任意の互いに素な部分集合 A₁ と A₂ に分割する場合にも成り立つ。これにより、定理 1.2 が任意の部分集合へ拡張される。
• 完全マッチング数 M(G) は、A を偶数サイズの循環的頂点集合とし、i,j ∈ A に対して M(G−{i,j}) を成分とする行列のペフィアンに等しい。
• 部分グラフ K にちょうど一つの完全マッチングが存在する場合、行列 [M(L_{ij})]_{1≤i,j≤n} の行列式は M(K) に等しくなる。これは補題 4.3 で示されている。
• L に唯一の完全マッチングが存在する場合、行列式恒等式 (14) が成り立つ：M(G) = det[M(L_{ij})]_{1}^{n}。これにより、完全マッチングの新しい行列式公式が証明される。
• 交差するパス系に対する符号反転の対合により、行列式和に寄与するのは、恒等置換に対応する交差しないパス系のみであることが保証される。
• ペフィアンが行列式に簡約されるのは、基礎となる部分グラフに唯一の完全マッチングが存在する場合に限られ、非交差パスによる組み合わせ的解釈が可能になる。