[論文レビュー] A Polyhedral Proof of the Matrix Tree Theorem

Aaron Dall, Julián Pfeifle|arXiv (Cornell University)|Apr 15, 2014

Graph theory and applications参考文献 12被引用数 4

ひとこと要約

本稿では、ユニモジュラー行列 M とそのラプラシアン L = MMᵀ が生成するゾノトープの体積が、組合せ的構造が異なるにもかかわらず等しいことを示すことにより、正則マトロイドにおけるマトリックスツリー定理の新しい多面体的証明を与える。主な貢献は、コーシー＝ビネの定理や除数論に依存せずに、体積の等価性を確立するための「切断・再配置」論法であり、重み付き正則マトロイドへと一般化され、固有値積の公式に幾何的基盤を提供する。

ABSTRACT

The classical matrix tree theorem relates the number of spanning trees of a connected graph with the product of the nonzero eigenvalues of its Laplacian matrix. The class of regular matroids generalizes that of graphical matroids, and a generalization of the matrix tree theorem holds for this wider class. We give a new, geometric proof of this fact by showing via a dissect-and-rearrange argument that two combinatorially distinct zonotopes associated to a regular matroid have the same volume. Along the way we prove that for a regular oriented matroid represented by a unimodular matrix, the lattice spanned by its cocircuits coincides with the lattice spanned by the rows of the representation matrix. Finally, by extending our setup to the weighted case we give new proofs of recent results of An et al. on weighted graphs, and extend them to cover regular matroids. No use is made of the Cauchy-Binet Theorem nor divisor theory on graphs.

研究の動機と目的

• 正則マトロイドにおけるマトリックスツリー定理を、従来の代数的手法を避けて、幾何的・多面体的証明で与えること。
• ユニモジュラー行列 M とそのラプラシアン L = MMᵀ が生成するゾノトープの体積が、組合せ的型が異なっていても等しいことを確立すること。
• ゾノトープ体積の議論を用いて、マトリックスツリー定理を重み付き正則マトロイドへ一般化すること。
• ユニモジュラー行列によって表される正則向き付きマトロイドに対して、コサイクル格子が行列の行が張る格子と一致することを示すこと。
• 最近の重み付きグラフに関する結果を、幾何的体積論的推論を通じて、より広範な正則マトロイドの枠組みへと拡張すること。

提案手法

• 著者らは、ゾノトープ Z(M) を、各符号ベクトル ε ∈ {+,−}ⁿ に結びついた細胞 Pε に分解する「切断・再配置」論法を用いる。
• 各細胞 Pε は、vε = ∑_{i:εi=−} Mi で平行移動され、Pε + vε の和集合が Z(L) に等しいことが示される。
• 証明は、任意の点 q ∈ Z(B) が、q = vε + p (p ∈ P, ε ∈ {+,−}ⁿ) の形に表せることに依拠し、基底 B における係数比較を用いる。
• 基底ベクトルの線形独立性により、平行移動された細胞同士の交わりが測度ゼロの集合でのみ発生することを証明することで、体積保存が保証される。
• 重み付きの場合への拡張は、ゾノトープの生成プロセスを辺の重みを組み込む形に変更することで実現される。
• 著者らは、L の非ゼロ固有値の積が Z(L) の体積に等しく、体積の等価性により、Z(M) の体積にも等しいことを確立し、これによりマトリックスツリー定理を幾何的に証明する。

実験結果

リサーチクエスチョン

• RQ1 正則マトロイドにおけるマトリックスツリー定理を、代数的手法を避けて多面体的幾何学を用いて証明できるか？
• RQ2 ユニモジュラー行列 M とそのラプラシアン L = MMᵀ が生成するゾノトープの体積は、組合せ的構造が異なっていても等しいか？
• RQ3 コーシー＝ビネの定理を援用せずに、「切断・再配置」技法を用いて体積の等価性を証明できるか？
• RQ4 ゾノトープ体積の議論を用いて、マトリックスツリー定理を重み付き正則マトロイドへ一般化できるか？
• RQ5 ゼロ固有値を非ゼロ値に置き換えつつ、非ゼロ固有値の積を保存する幾何的構成は存在するか？

主な発見

• L = MMᵀ で定義されるユニモジュラー行列 M に対して、ゾノトープ Z(M) と Z(L) の体積は等しい。
• L の非ゼロ固有値の積は Z(L) の体積に等しく、したがって Z(M) の体積にも等しくなるため、マトリックスツリー定理が幾何的に証明される。
• ユニモジュラー行列によって表される正則向き付きマトロイドのコサイクル格子は、行列の行が張る格子と一致する。
• 「切断・再配置」論法により、平行移動された細胞 Pε + vε の和集合が Z(L) を正確に被覆し、細胞間の重なりは測度ゼロの集合に限られる。
• 本手法は重み付きの場合へも拡張可能であり、An らの結果の新証明を提供するとともに、正則マトロイドへと拡張する。
• 著者らは、体積の等価性構成を、任意の余階数を持つ正則マトロイドのユニモジュラー表現へ一般化可能であると予想しており、ゼロ固有値を、環境次元にのみ依存する値に置き換えることで実現可能であるとしている。