[论文解读] Bijective counting of tree-rooted maps and shuffles of parenthesis systems

Olivier Bernardi|arXiv (Cornell University)|Jan 27, 2006

Stochastic processes and statistical mechanics参考文献 5被引用 79

一句话总结

本文提出了一种树根地图与二叉树及非交叉划分对之间的直接、非递归双射，解释了长期存在的计数公式 $C_n C_{n+1}$，其中 $C_n$ 为第 $n$ 个卡塔兰数。该双射被证明与 Cori、Dulucq 和 Viennot 关于括号系统的递归洗牌构造同构，从而为他们的代数结果提供了自然的、几何化的解释，涉及平面地图与格路。

ABSTRACT

The number of tree-rooted maps, that is, rooted planar maps with a distinguished spanning tree, of size $n$ is C(n)C(n+1) where C(n)=binomial(2n,n)/(n+1) is the nth Catalan number. We present a (long awaited) simple bijection which explains this result. We prove that our bijection is isomorphic to a former recursive construction on shuffles of parenthesis systems due to Cori, Dulucq and Viennot.

研究动机与目标

• 提供树根地图与大小为 $n$ 的树及大小为 $n+1$ 的非交叉划分对之间的直接、非递归双射，为公式 $C_n C_{n+1}$ 提供几何解释。
• 回应 Mullin 长期以来对树根地图计数的双射解释的请求。
• 建立新双射与 Cori、Dulucq 和 Viennot 在括号系统上提出的递归洗牌构造之间的同构关系。
• 阐明树根地图、括号系统洗牌与四分之一平面格路之间的联系。

提出的方法

• 通过生成树的基于巡回的编码，定义大小为 $n$ 的树根地图与大小为 $n$ 的树及大小为 $n+1$ 的非交叉划分对之间的双射。
• 通过活动/非活动顶点与边插入，构建从括号系统前缀洗牌到划分-树的递归映射。
• 使用二叉树编码 $\lambda_1$ 将洗牌映射到二叉树，然后应用变换 $\theta$ 得到最终的树结构。
• 通过前缀洗牌的归纳法证明，所得的划分-树与双射中得到的树一致，保持活动/非活动顶点的对应关系。
• 证明划分-树中的顶点顺序与父子关系与 $\theta \circ \lambda_1$ 树中的完全一致，从而确立同构关系。
• 利用括号洗牌与四分之一平面行走之间的对应关系，将结果解释为对这类行走的计数机制。

实验结果

研究问题

• RQ1 能否在大小为 $n$ 的树与大小为 $n+1$ 的树对之间，构造出树根地图的直接、非递归双射？
• RQ2 Cori、Dulucq 和 Viennot 所知的递归洗牌构造是否与一种几何化的、基于地图的双射同构？
• RQ3 树根地图的计数公式 $C_n C_{n+1}$ 如何通过平面地图与非交叉结构自然解释？
• RQ4 递归洗牌构造与树根地图的几何结构之间的确切对应关系是什么？

主要发现

• 成功构造了大小为 $n$ 的树根地图与大小为 $n$ 的树及大小为 $n+1$ 的非交叉划分对之间的直接、非递归双射，解释了公式 $C_n C_{n+1}$。
• 通过将树根地图编码为两个括号系统洗牌的方式，证明该双射与 Cori、Dulucq 和 Viennot 的递归洗牌构造同构。
• 该构造在双射过程中保持了顶点活动性、顺序与父子关系，确保与递归树生长过程的一致性。
• 该方法为洗牌构造提供了几何解释，使组合结果在平面地图的语境下更加直观自然。
• 明确建立了树根地图与四分之一平面行走之间的对应关系，该双射为计数此类行走提供了新方法。
• 证明依赖于前缀洗牌的归纳构造，表明在每一步中，划分-树结构均与 $\theta \circ \lambda_1$ 树一致。