[論文レビュー] Counting the spanning trees of the 3-cube using edge slides

Christopher Tuffley|arXiv (Cornell University)|Sep 29, 2011

Advanced Combinatorial Mathematics参考文献 3被引用数 3

ひとこと要約

本稿は、3次元超立方体の全域木が384個あることを、全域木に対する'辺スライド'操作を用いた直接的な組合せ的証明により提示する。辺スライドを定義し、任意の全域木を独立な下方スライドの系列により上向き木に変換できることを示すことにより、全域木と{1,2,3}の冪集合の符号付き断片の間の全単射を確立し、MartinとReinerの重み付き全域木公式のn=3の場合に対する組合せ的証明を提供する。

ABSTRACT

We give a direct combinatorial proof of the known fact that the 3-cube has 384 spanning trees, using an "edge slide" operation on spanning trees. This gives an answer in the case n=3 to a question implicitly raised by Stanley. Our argument also gives a bijective proof of the n=3 case of a weighted count of the spanning trees of the n-cube due to Martin and Reiner.

研究の動機と目的

• 3次元超立方体の全域木の数について、マトリックス・ツリー定理による既知の公式とは対照的に、直接的な組合せ的証明を提供すること。
• スターリングの暗黙的な挑戦に応えること：3次元超立方体の全域木の数を、代数的メソッドに代わる組合せ的証明、特に双方向または構成的証明で与えること。
• 3次元超立方体の全域木と{1,2,3}の冪集合の符号付き断片との間の重みを保全する全単射を確立することにより、MartinとReinerのn=3における重み付き全域木公式に組合せ的解釈を与えること。
• 辺スライド（特に空集合を根とする下方スライド）を用いて、任意の全域木を体系的に上向き木に還元できることを示し、n=3の場合にスライドの独立性を活用して数え上げを可能にすること。

提案手法

• 本稿は、3次元超立方体の全域木に対する'辺スライド'操作を定義し、方向iの辺が、同じ方向iの2つの辺の間の経路上にある場合にスライド可能であると定義する。
• n次元超立方体の辺に、基数が増加する方向への標準的な向きを定義し、各辺eに対して、その木に沿った向きが立方体の向きと一致するかどうかに基づいて符号μ(e)を定義する。
• 本手法は、順次下方辺スライドを適用することで、すべての全域木の集合から上向き木の集合へのリトラクションπを実現する。
• 著者らは、3次元超立方体において、方向iにki本の辺を含む任意の全域木は、ちょうどki−1個のi方向スライド可能な辺を持ち、これらのスライドは独立であることを証明し、木の集合の明確な分解を可能にする。
• P≥1³（|S|≥1を満たす{1,2,3}の冪集合）の断片の数が24に等しく、それが符号付き断片の数に一致することを示し、これにより全単射を構成する。
• 重みを保全するための代替的表現として、各辺のx_dir(e)^±1の積としてのデカップルド次数単項式を用い、向きの一致によって符号を決定することで、全単射における重みの保存を実現する。

実験結果

リサーチクエスチョン

• RQ1 マトリックス・ツリー定理に依存せずに、3次元超立方体の全域木の数について直接的な組合せ的証明を与えることは可能か？
• RQ2 局所的な辺操作を用いて、3次元超立方体の全域木を構成的かつ双方向的に数え上げる方法は存在するか？
• RQ3 辺スライド操作を用いて、任意の全域木を体系的に標準形（例えば上向き木）に還元でき、かつ3次元超立方体においてそのスライドが独立であるか？
• RQ4 3次元超立方体における辺スライドの構造は、MartinとReinerのn=3における重み付き全域木公式の項との間で重みを保全する全単射を可能にするか？
• RQ5 3次元超立方体で用いられる辺スライド手法が、n≥4の高次元超立方体に一般化できないのはなぜか？その背後にある構造的差異は何か？

主な発見

• 3次元超立方体には正確に384個の全域木が存在し、辺スライドを用いた直接的な組合せ的構成により確認された。
• 3次元超立方体における上向き全域木の数は24であり、これはP≥1³の断片の数に等しく、1^3 × 2^3 × 3^1 = 24と一致する。
• 3次元超立方体の任意の全域木は、下方スライドの系列により上向き木に変換可能であり、n=3の場合にこれらのスライドは独立である。
• 辺スライド操作により、3次元超立方体の全域木とP≥2³の符号付き断片との間の重みを保全する全単射が得られ、これによりMartinとReinerのn=3公式に対する組合せ的証明が成立する。
• この手法はn≥4に拡張できない。なぜなら、辺スライドが独立でないためであり、1つの辺をスライドすると他のスライド可能な辺の可動性が失われるためである。4次元超立方体や5次元超立方体の反例により、この問題が示された。
• 4次元超立方体では、垂直方向の辺が2本だけの木であっても、それらの間の経路上に5本の垂直方向スライド可能な辺を持つことがあり、1つのスライドが他のスライドの可動性を破壊するため、独立性が成立しない。