[论文解读] Plane bipolar orientations and quadrant walks

Mireille Bousquet‐Mélou, Éric Fusy+1 more|arXiv (Cornell University)|May 10, 2019

Mathematics and Applications参考文献 88被引用 5

一句话总结

本文建立了平面双极定向图与象限行走之间的双射，实现了按面度数的精细计数。证明了具有有界面度数的此类定向图的生成函数是D-有限的，且可表示为多元有理函数的常数项，通过概率与组合方法得出了精确的渐近估计。

ABSTRACT

Bipolar orientations of planar maps have recently attracted some interest in combinatorics, probability theory and theoretical physics. Plane bipolar orientations with $n$ edges are known to be counted by the $n$th Baxter number $b(n)$, which can be defined by a linear recurrence relation with polynomial coefficients. Equivalently, the associated generating function $\sum_n b(n)t^n$ is D-finite. In this paper, we address a much refined enumeration problem, where we record for every $r$ the number of faces of degree $r$. When these degrees are bounded, we show that the associated generating function is given as the constant term of a multivariate rational series, and thus is still D-finite. We also provide detailed asymptotic estimates for the corresponding numbers. The methods used earlier to count all plane bipolar orientations, regardless of their face degrees, do not generalize easily to record face degrees. Instead, we start from a recent bijection, due to Kenyon et al., that sends bipolar orientations onto certain lattice walks confined to the first quadrant. Due to this bijection, the study of bipolar orientations meets the study of walks confined to a cone, which has been extremely active in the past 15 years. Some of our proofs rely on recent developments in this field, while others are purely bijective. Our asymptotic results also involve probabilistic arguments.

研究动机与目标

• 通过追踪所有面的度数，而非仅总边数，来细化平面双极定向图的计数。
• 建立双极定向图与第一象限行走之间的联系，利用Kenyon等人最近提出的双射。
• 证明具有有界面度数的双极定向图的生成函数是D-有限的，扩展了关于Baxter数的经典结果。
• 利用局部极限定理与首次通过时间分析等概率工具，推导出此类定向图数量的精确渐近估计。
• 在研究具有附加结构的平面图时，统一组合、代数与概率方法。

提出的方法

• 利用近期由平面双极定向图与第一象限行走之间的双射，将计数问题转化为格路问题的领域。
• 应用常数项方法，将面度数受限的定向图的生成函数表示为多元有理函数。
• 运用生成函数技巧，包括使用 $ H_a $、$ U_k $ 和 $ L_k $，来建模具有记录序列与高度约束的行走。
• 应用核法与反射原理，推导出在特定高度结束的行走的生成函数的闭式表达。
• 结合双射论证与解析组合学，包括使用 $ Y = W $ 与 $ K(y) = 1 - tS(y) $，推导常数项恒等式。
• 使用概率工具如首次通过时间分布与离散调和函数，获得渐近估计。

实验结果

研究问题

• RQ1 如何细化平面双极定向图的计数，以考虑所有面的度数？
• RQ2 当记录面度数时，其生成函数的代数性质（如D-有限性）是什么？
• RQ3 能否利用双极定向图与象限行走之间的双射，推导出面度数受限计数的精确与渐近公式？
• RQ4 随着边数的增加，此类定向图数量的精确渐近增长速率是什么？
• RQ5 概率方法如局部极限定理与首次通过时间分析，如何促进对这些组合对象的渐近分析？

主要发现

• 面度数有界于固定值 $ r $ 的平面双极定向图的生成函数是D-有限的，且可表示为多元有理函数的常数项。
• 具有 $ n $ 条边且面度数有界的此类定向图的数量，其渐近增长为 $ C imes ho^n n^{-4} $，其中 $ ho = 8 $，与Baxter数的增长率一致。
• 对于面度数受限的定向图，渐近常数 $ C $ 通过首次通过时间与局部极限定理的概率分析被显式确定。
• 与象限行走的双射使得可将锥体中随机行走这一活跃研究领域的结果，转移到具有结构的平面图计数中。
• 行走在高度 $ -k $ 结束的生成函数的常数项表达式 $ L_k = -t[y^0] y^{1+k} S'(y)/K(y) $，为推导精确公式提供了关键代数工具。
• 精细计数被证明是多项式递归的，将Baxter数的经典线性递推推广至面度数加权情形。