[論文レビュー] Triangulations of $\Delta_{n-1} imes \Delta_{d-1}$ and Matching Ensembles

Suho Oh, Hwanchul Yoo|arXiv (Cornell University)|Nov 26, 2013

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

ひとこと要約

本稿は、閉包性および連結性の性質を満たす [n] と [d] の部分集合間のマッチングとして定義される (n,d)-マッチングエンsemblesと、単体の積 ∆n−1 × ∆d−1 の三角形分割との間の全単射を確立する。この手法では、完全二部グラフ Kn,d の全域木を用いて三角形分割内の単体を符号化し、これらの全域木の整合性（それらの和集合に有効なサイクルがないこと）が適切な面の交わりに対応することを証明する。主な貢献は、マッチングエンsemblesによるこのような三角形分割の完全な組合せ的特徴付けである。

ABSTRACT

We suggest an axiom system for a collection of matchings that describes the triangulation of product of simplices.

研究の動機と目的

• ∆n−1 × ∆d−1 の積単体の三角形分割を記述する新しい組合せ的モデルの構築。
• 閉包性および連結性の性質を満たす [n] と [d] の部分集合間のマッチングの集まりとして定義される (n,d)-マッチングエンsemblesの定義と特徴付け。
• これらのエンsemblesと積単体の三角形分割との間の一対一対応の確立。
• トロピカル向き付きマトロイドを用いた、このような三角形分割の組合せ的構造とアルゴリズム的枠組みの提供。

提案手法

• 閉包性（部分マッチングの取り扱い）およびマトロイド基底交換に類似した連結性の性質を満たす [n] と [d] の部分集合間のマッチングの集まりとして (n,d)-マッチングエンsemblesを定義する。
• ∆n−1 × ∆d−1 の三角形分割内の各単体を、完全二部グラフ Kn,d の全域木 T に属する辺 (i, ¯j) に対応するベクトル ei − e¯j の凸包として表現する。
• 二つの全域木 T と T′ の整合性条件（U(T,T′) に長さ 4 以上の有効なサイクルが存在しないこと）を用いて、それらに対応する単体の適切な面の交わりを保証する。
• 全域木の右次数ベクトルと集合 Hn−1,d = {(a1,…,ad) : ∑ai = n, ai ∈ ℤ≥0} の間の全単射を確立し、三角形分割内の単体の数を数える。
• トロピカル向き付きマトロイドを用いて三角形分割の整合性および細分構造をモデル化し、マトロイドのトポスが全域木に対応することを示す。
• 右次数ベクトルが Hn−1,d と一対一対応し、かつ互いに整合性を持つ全域木の集合が、有効な三角形分割を生成することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ∆n−1 × ∆d−1 の三角形分割を完全に特徴付ける組合せ的構造は存在するか？
• RQ2 閉包性および連結性の公理によって定義されるマッチングエンsemblesは、このような三角形分割の完全不変量として機能するか？
• RQ3 全域木間の整合性条件は、三角形分割における適切な面の交わりとどのように関係するか？
• RQ4 トロピカル向き付きマトロイドは、これらの三角形分割の構造をどのように符号化するか？
• RQ5 三角形分割の構成単体のマッチングエンsembleから、全体の三角形分割を再構成できるか？

主な発見

• (n,d)-マッチングエンsemblesと ∆n−1 × ∆d−1 の三角形分割との間には全単射が存在し、完全な組合せ的モデルが確立される。
• 三角形分割内の各単体は Kn,d の全域木に対応し、その体積は 1/(n+d−2)! に等しい。
• 任意の ∆n−1 × ∆d−1 の三角形分割における単体の数は、正確に |Hn−1,d| に等しく、これは n を d 個の非負整数に分割する方法の数に一致する。
• 二つの全域木 T と T′ が単体を共通の面で交わるための必要十分条件は、それらが整合的であること、すなわち U(T,T′) に長さ 4 以上の有効なサイクルを含まないことである。
• 任意の有効な三角形分割において、全域木から Hn−1,d への右次数ベクトル写像は全単射であり、これにより二つの単体が同じ右次数ベクトルを持たないことが保証される。
• 任意のマッチングエンsembleは、あるトロピカル向き付きマトロイドのトポスとして現れ、逆に、与えられたエンsemble を拡張として持つような任意のマトロイドは、一意に三角形分割を生成する。