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

ひとこと要約

本稿では、サイズ $n$ の木根付きマップと、二分木および非交差分割からなるペアの間の直接的で再帰的でない全単射を提示し、長年の組合せ的公式 $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$ の木とサイズ $n+1$ の非交差分割からなるペアの間の直接的で再帰的でない全単射を提供し、公式 $C_n C_{n+1}$ の幾何的説明を提示すること。
• 木根付きマップの数え上げに関するムリンの長年の要請である全単射的解釈を満たすこと。
• 本稿で提示する新しい全卂射と、Cori, Dulucq, および Viennot が括弧記号系に導入した再帰的シャッフル構成との同型性を確立すること。
• 木根付きマップ、括弧記号系のシャッフル、および第四象限格子道との間の関係を明確にすること。

提案手法

• スパニングツリーのツアーに基づく符号化を用いて、サイズ $n$ の木根付きマップと、サイズ $n$ の木とサイズ $n+1$ の非交差分割からなるペアとの間の全単射を定義する。
• 先行シャッフルの括弧記号系から、アクティブ／非アクティブ頂点と辺の挿入を介して、分割木への再帰的写像を構築する。
• 二分木符号化 $\lambda_1$ を用いてシャッフルを二分木に写像し、その後変換 $\theta$ を適用して最終的な木構造を取得する。
• 先行シャッフルに関する帰納法を用いて、得られた分割木が $\theta \circ \lambda_1$ 木と一致することを証明し、アクティブ／非アクティブ頂点の対応を維持する。
• 分割木における頂点の順序および親子関係が、$\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$ 木と一致することを示した。