[論文レビュー] On the spanning trees of the hypercube and other products of graphs

Olivier Bernardi|arXiv (Cornell University)|Jul 4, 2012

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

ひとこと要約

本稿は、$n$次元超立方体の全域木の数について、2つの組合せ的証明を提供し、ランダムな根付き森におけるエッジスピンの予期しない独立性の性質を通じて積型公式を確立する。主な貢献は、根付き森の生成関数が、平行なエッジのスピンが独立的かつ一様に分布することを明らかにし、『キリングインボリューション』と行列-木定理を用いて、完全グラフのカルテシアン積および対角線を含む拡張超立方体へと拡張することである。

ABSTRACT

We give two combinatorial proofs of an elegant product formula for the number of spanning trees of the $n$-dimensional hypercube. The first proof is based on the assertion that if one chooses a uniformly random rooted spanning tree of the hypercube and orient each edge from parent to child, then the parallel edges of the hypercube get orientations which are independent of one another. This independence property actually holds in a more general context and has intriguing consequences. The second proof uses some "killing involutions" in order to identify the factors in the product formula. It leads to an enumerative formula for the spanning trees of the $n$-dimensional hypercube augmented with diagonals edges, counted according to the number of edges of each type. We also discuss more general formulas, obtained using a matrix-tree approach, for the number of spanning trees of the Cartesian product of complete graphs.

研究の動機と目的

• 超立方体 $C_n$ における全域木の数についての組合せ的証明を提供し、[5, p.62] における未解決問題を解決すること。
• 超立方体 $C_n$ の根付き森の生成関数 $F_{C_n}(t;\mathbf{x})$ を確立し、エッジの方向とスピンを追跡することで、全域木の数を精緻化すること。
• 超立方体のランダムな根付き森におけるエッジスピンの驚くべき独立性を調査し、バンクベッドグラフおよびカルテシアン積へと一般化すること。
• 対角線エッジを追加した超立方体に対する公式を、組合せ的インボリューション技法を用いて拡張すること。
• 完全グラフのカルテシアン積における根付き森の一般スピン独立性の性質を予想すること。

提案手法

• 超立方体 $C_n$ の根付き森における木の数とエッジスピンを追跡する生成関数 $F_{C_n}(t;\mathbf{x})$ を導入する。
• 一様にランダムな根付き森において、同じ方向の平行エッジのスピンが独立的かつ一様に分布することを証明する。この性質は、さまざまな条件付き分布のもとでも成立する。
• 'キリングインボリューション'（森上の符号反転インボリューション）を用い、対角線エッジを含む超立方体の生成関数の根を特定する。
• 行列-木定理を適用し、完全グラフのカルテシアン積における全域木の数の一般公式を導出する。
• 生成関数における単項式と森の構造との間の双対性を確立し、座標の部分集合ごとの積構造を導く。
• グラフ $G$ と $K_p$ のカルテシアン積 $G \times K_p$ に対して、$G$-射影を条件とした一様サンプリングのもとで、各頂点 $u$ におけるマルチスピンが独立であるという予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 なぜ一様にランダムな超立方体の根付き森において、同じ方向のエッジスピンが独立的かつ一様に分布するのか？
• RQ2 固有値計算を用いずに、超立方体における全域木の数の積型公式を組合せ的に導出可能か？
• RQ3 超立方体に主対角線エッジを追加した場合、根付き森の構造と列挙にどのような影響を与えるか？
• RQ4 拡張超立方体 $D_n$ の生成関数 $F_{D_n}(t;\mathbf{x},y)$ の組合せ的意味は何か？
• RQ5 超立方体の事例が示唆するように、完全グラフのカルテシアン積における根付き森に一般スピン独立性の性質が存在するか？

主な発見

• $n$次元超立方体における全域木の数は、初めて組合せ的に証明された積型公式 $|T(C_n)| = \frac{1}{2^n} \prod_{i=1}^n (2i)^{\binom{n}{i}}$ で与えられる。
• 超立方体 $C_n$ の根付き森の生成関数は $F_{C_n}(t;\mathbf{x}) = \prod_{S \subseteq [n]} \left(t + \sum_{i \in S} (x_{i,0} + x_{i,1}) \right)$ であり、エッジの種別に応じて全域木の数を精緻化する。
• 一様にランダムな超立方体 $C_n$ の根付き森において、同じ方向のエッジスピンは独立的かつ一様に分布しており、エッジ数の条件付き分布のもとでも同様に成り立つ。
• 主対角線エッジを追加した超立方体 $D_n$ に対しては、キリングインボリューションを用いて生成関数 $F_{D_n}(t;\mathbf{x},y)$ が導出され、$y$ は対角線エッジの使用状況を追跡する。
• 行列-木定理を用いて、完全グラフのカルテシアン積への公式の一般化がなされ、頂点の部分集合ごとの積構造が得られる。
• $G \times K_p$ に対して、$G$-射影を条件とした一様サンプリングのもとで、各頂点 $u$ におけるマルチスピンが独立であるという予想が提示され、超立方体の結果を一般化する。