[論文レビュー] Bijective counting of plane bipolar orientations and Schnyder woods

Éric Fusy, Dominique Poulalhon+1 more|ArXiv.org|Mar 4, 2008

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

ひとこと要約

本稿では、i個の非極頂点とj個の内部面をもつ平面双極的向き付けの数え上げ公式に対して、双対的証明を提示する。この証明は、このような向きけと交差しない上向きラティスパスの三つ組の間の直接的な一対一対応を確立する。主な貢献は、Gessel–Viennotの補題を用いて閉形式の公式を導出する構成的双対写像を提供することであり、同時に既知のSchnyder木と交差しないDyckパスの間の双対写像を一般化する。

ABSTRACT

A bijection $Φ$ is presented between plane bipolar orientations with prescribed numbers of vertices and faces, and non-intersecting triples of upright lattice paths with prescribed extremities. This yields a combinatorial proof of the following formula due to R. Baxter for the number $Θ_{ij}$ of plane bipolar orientations with $i$ non-polar vertices and $j$ inner faces: $Θ_{ij}=2\frac{(i+j)!(i+j+1)!(i+j+2)!}{i!(i+1)!(i+2)!j!(j+1)!(j+2)!}$. In addition, it is shown that $Φ$ specializes into the bijection of Bernardi and Bonichon between Schnyder woods and non-crossing pairs of Dyck words.

研究の動機と目的

• 平面双極的向きけの数え上げ公式（Baxterの公式）を、生成関数や代数的核法に依存せずに直接的双対的証明すること。
• 平面双極的向きけと指定された出発点および到達点をもつ交差しない上向きラティスパスの三つ組との間の構成的対応を確立すること。
• 提案された双対写像が、既知のSchnyder木と交差しないDyckパスのペアの間の双対写像を自然に一般化することを示すこと。
• 分離分解やBaxter順列を含む、既存の平面マップ関連の組合せ的構造を統一・一般化すること。
• 三角形分割におけるSchnyder木の数の公式をDyckパスのペアによる組合せ的解釈を提供すること。

提案手法

• i個の非極頂点とj個の内部面をもつ平面双極的向きけから、交差しない上向きラティスパスの三つ組への双対写像Φを構成する。
• ラティスパスの出発点をそれぞれ(−1,1)、(0,0)、(1,−1)とし、到達点をそれぞれ(i−1,j+1)、(i,j)、(i+1,j−1)とする。
• Gessel–Viennotの補題を適用し、パス三つ組の数を二項係数行列の行列式として計算する。
• 行列式の公式を用いて、Θijの閉形式表現を導出し、Baxterの公式と一致させることを確認する。
• 双対写像が、Bernardi–Bonichonが提唱したSchnyder木と交差しないDyckパスペアの間の双対写像に制限されることを示す。
• ラティスパス三つ組から直接的にSchnyder木における青木のDyckパス符号化を再構成し、組合せ的構造を保持すること。

実験結果

リサーチクエスチョン

• RQ1 平面双極的向きけの数え上げ公式を、母関数や代数的核法に依存せずに、双対的証明可能か？
• RQ2 平面双極的向きけとラティスパス配置との間の明示的な組合せ的対応は何か？
• RQ3 提案された双対写像は、既知のSchnyder木および交差しないDyckパスの双対写像とどのように関係するか？
• RQ4 双対写像を特殊化することで、三角形分割におけるSchnyder木の数の公式を回復できるか？
• RQ5 既知の組合せ的モデルを一般化するパス系を用いて、平面双極的向きけの構造を自然に符号化できるか？

主な発見

• i個の非極頂点とj個の内部面をもつ平面双極的向きけの数は、閉形式の公式で与えられる：Θij = 2(i+j)!(i+j+1)!(i+j+2)! / [i!(i+1)!(i+2)! j!(j+1)!(j+2)!]。
• 双対写像Φは、各平面双極的向きけを指定された出発点および到達点をもつ一意な交差しない上向きラティスパス三つ組に写像する。
• Θijの公式は、パス三つ組系にGessel–Viennotの補題を適用することで直接導出され、行列式表現が確認される。
• 双対写像は、Schnyder木と交差しないDyckパスペアの間のBernardi–Bonichon双対写像の自然な一般化に制限される。
• n個の内部頂点をもつSchnyder木は、長さ2nの交差しないDyckパスペアと双対的である。これにより、Sn = CnCn+2 − Cn+1²の公式が回復される。
• 構成により、Schnyder木における青木の構造が三つ組の最初のパスのDyckパス符号化に対応し、第二のパスは対称性およびシフト操作から得られることを明らかにする。