[論文レビュー] 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

ひとこと要約

本稿は、平面二重向き付き有向グラフと象限内のウォークの間の全単射を確立し、面の次数を追跡した refined enumeration を可能にする。この全単射により、面の次数が有界な場合の生成関数が 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.

研究の動機と目的

• 全辺数を超えて、すべての面の次数を追跡することで、平面二重向き付き有向グラフの列挙を refined すること。
• Kenyon らによる最近の全単射を活用し、二重向き付き有向グラフと第一象限内のウォークとの間の関係を確立すること。
• 面の次数が有界な場合の二重向き付き有向グラフの生成関数が D-有限であることを証明し、古典的な Baxter 数の結果を拡張すること。
• 局所極限定理や退出時間解析などの確率論的ツールを用いて、このような有向グラフの数に対する明確な漸近的推定値を導出すること。
• 平面マップに追加構造を導入した研究において、組合せ論的・代数的・確率論的技法を統合すること。

提案手法

• 平面二重向き付き有向グラフと第一象限内ウォークの間の最近の全単射を用い、列挙問題を格子ウォークの分野に移行する。
• 定数項法を適用し、次数制限付き有向グラフの生成関数を多変数有理関数として表現する。
• 生成関数技法を用い、$ H_a $, $ U_k $, および $ L_k $ を用いて記録列と高さ制約付きウォークをモデル化する。
• カーネル法と反射原理を適用し、特定の高さで終わるウォークの生成関数の閉形式表現を導出する。
• 全単射的議論と解析的組合せ論を組み合わせ、$ Y = W $ および $ K(y) = 1 - tS(y) $ の使用を通じて定数項恒等式を導出する。
• 退出時間分布や離散調和関数などの確率論的ツールを用い、漸近的推定値を導出する。

実験結果

リサーチクエスチョン

• RQ1 平面二重向き付き有向グラフの列挙を、すべての面の次数を考慮する形にどのように refined できるか？
• 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) $ は、正確な公式を導出するための重要な代数的道具である。
• refined 列挙が多項式再帰的であることが示され、古典的な Baxter 数の線形再帰関係が、面の次数重み付きの場合に一般化された。