[论文解读] 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 公式提供一个直接的双射证明，该公式用于计数具有 i 个非极点顶点和 j 个内面对的平面双极定向。
• 建立平面双极定向与具有指定端点的非交叉三元上行格路之间的构造性对应关系。
• 证明所提出的双射自然推广了已知的 Schnyder 木与非交叉 Dyck 路径对之间的双射关系。
• 统一并推广与平面图相关的现有组合结构，包括分离分解与 Baxter 置换。
• 通过 Dyck 路径对为三角剖分上 Schnyder 木的数量公式提供组合解释。

提出的方法

• 构造一个双射 Φ，将具有 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 引理推导得出，确认了行列式表达式。
• 该双射限制为 Bernardi–Bonichon 双射的自然推广，即 Schnyder 木与非交叉 Dyck 路径对之间的对应关系。
• 具有 n 个内顶点的 Schnyder 木与长度为 2n 的非交叉 Dyck 路径对之间存在双射，从而恢复公式 Sn = CnCn+2 − Cn+1²。
• 该构造表明，Schnyder 木中的蓝色树对应于三元组中第一条路径的 Dyck 路径编码，第二条路径则通过对称性和平移操作导出。