[論文レビュー] Probabilistic proofs of hook length formulas involving trees

Bruce E. Sagan|ArXiv.org|May 7, 2008

Advanced Combinatorial Mathematics参考文献 8被引用数 12

ひとこと要約

本稿では、二分木におけるハンのフック長の公式の確率的証明を提示する。フック長は木の頂点上の積において指数として現れる。グリーン＝ニエンフイース＝ウィルフのフックウォークに類似した確率的アルゴリズムを用いて、サイズnのすべての二分木について、1/(h_v * 2^{h_v - 1})の積の和が1/n!に等しいことを確立し、パラメータmを用いた順序付き木へとその手法を拡張。m=2のときハンの公式に還元される重み付き恒等式を証明する。

ABSTRACT

Recently, Han discovered two formulas involving binary trees which have the interestig property that hooklengths appear as exponents. The purpose of this note is to give a probabilistic proof of one of Han's formulas. Yang has generalized Han's results to ordered trees. We show how the probabilistic approach can also be used in Yang's setting, as well as for a generalization of Han's formula in terms of certain infinite trees.

研究の動機と目的

• 二分木におけるハンのフック長の公式の確率的証明を提供すること。フック長は指数として現れる。
• 確率的手法をパラメータmを用いた順序付き木へと拡張し、ハンの結果を一般化すること。
• 無限木および重み付き木族へのこの手法の適用可能性を示すこと。
• 代数的または母関数的手法によって以前に証明されたフック長の恒等式に対して、新しいアルゴリズム的視点を提供すること。

提案手法

• フック長に基づく重みに比例する確率で葉を逐次追加することにより、木のランダムな増加ラベリングを定義する確率的アルゴリズムを定義する。
• 任意の特定の木が生成される確率が、すべての頂点vについて1/(h_v * 2^{h_v - 1})の積に比例することを示す。
• 順序付き木への適用のために、重みw(T) = ∏_{v∈T} (m choose c_v)を導入し、mを含む一般化された恒等式を導出する。
• 帰納法と木の成長段階における全確率の不変性に依拠し、頂点の拡張において一貫性を保つ。
• 無限木に対しては、フック長と頂点の次数に基づく極限確率測度を定義することで、手法を拡張する。
• 再帰的確率保存を通じて、フック長確率と正規化係数1/n!との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 ハンの二分木におけるフック長の公式は、代数的変形ではなく確率的アルゴリズムを用いて証明可能か？
• RQ2 パラメータmを用いた順序付き木へと確率的手法を一般化し、重み付き恒等式を得ることは可能か？
• RQ3 確率的枠組みは無限木へ適用可能か？その収束性および正規化性の性質は何か？
• RQ4 この手法を、分母に(2h_v + 1)、指数に2^{2h_v - 1}を含むハンの第二の公式を証明するために適合可能か？
• RQ5 完全二分木の増加ラベリングにおけるどの確率分布が、積∏_v 1/2^{2h_v - 1}を正規化係数として与えるだろうか？

主な発見

• サイズnのすべての二分木について、∏_{v∈T} 1/(h_v * 2^{h_v - 1})の和が1/n!に等しい。これはハンの恒等式の確率的解釈を提供する。
• パラメータmを用いた順序付き木に対して、サイズnのすべての木について、w(T) * ∏_{v∈T} 1/(h_v * m^{h_v - 1})の和が1/n!に等しい。ここでw(T) = ∏_{v∈T} (m choose c_v)である。
• 確率的アルゴリズムは木の成長段階において全確率を保存し、最終的な確率分布がすべてのn!個の増加ラベリングに一様に分布することを保証する。
• この手法は無限木へも成功裏に一般化され、有限部分木の確率が逆フック長および頂点次数の積によって決定される。
• m=2のとき、順序付き木の証明はハンの公式に還元され、元の結果と整合性が確認される。
• 未解決の問題として、完全二分木の増加ラベリングにおける確率分布を、積∏_v 1/2^{2h_v - 1}と一致させるものとして特定する。この分布が存在すれば、ハンの第二の公式が証明される。