[論文レビュー] Generalized Dumont-Foata polynomials and alternative tableaux

Matthieu Josuat-Vergès|arXiv (Cornell University)|May 21, 2010

Advanced Combinatorial Mathematics参考文献 4被引用数 9

ひとこと要約

本稿は、代替テーブルauxを用いて、六変数一般化Dumont-Foata多項式Γₙの新しい組合せ的解釈を提供する。このテーブルaux上で定義された六つの統計量を導入し、それらがΓₙを生成することを示す。行列アンザッツ法を用いて、生成関数∑ΓₙtⁿのDumontの予想されたJ連分数（連分数）展開の新しい証明が得られ、組合せ的構造と直交多項式の連分数の間の直接的な関係が確立される。

ABSTRACT

Dumont and Foata introduced in 1976 a three-variable symmetric refinement of Genocchi numbers, which satisfies a simple recurrence relation. A six-variable generalization with many similar properties was later considered by Dumont. They generalize a lot of known integer sequences, and their ordinary generating function can be expanded as a Jacobi continued fraction. We give here a new combinatorial interpretation of the six-variable polynomials in terms of the alternative tableaux introduced by Viennot. A powerful tool to enumerate alternative tableaux is the so-called "matrix Ansatz", and using this we show that our combinatorial interpretation naturally leads to a new proof of the continued fraction expansion.

研究の動機と目的

• 六変数一般化Dumont-Foata多項式Γₙを代替テーブルauxを用いて新しい組合せ的解釈を提供すること。
• Γₙを定義する再帰関係と代替テーブルaux上の統計量との間の関係を確立すること。
• 行列アンザッツ法を用いて、生成関数∑ΓₙtⁿのJ連分数（連分数）展開の新しい証明を導出すること。
• 代替テーブルauxとDumontの元々の「階段（escalier）」組合せ的対象との間の行列アンザッツ法の比較を行うこと。
• 代替テーブルauxと階段との間で六つの統計量を保存する直接的な双対写像（双子写像）が存在するかを検討すること。

提案手法

• 代替テーブルaux上の六つの統計量を定義する：mi（左矢印←を含まない行に属するセル数）、fd（フリーな行数）、snd（下矢印↓を含まない列に属するセル数）、mp（左矢印←を含まない行に属するセル数）、fnd（フリーな列数）、sd（下矢印↓を含まない列に属するセル数）。
• 行列アンザッツフレームワークを用いる：統計量を符号化するための特定の交換関係を満たす演算子A、Bおよびベクトル|V⟩、⟨W|を定義する。
• 六つの行列N₁からN₆を構成する。それぞれはテーブルauxのコニヤーやコーナーにおける局所的配置に対応し、六つの統計量から導かれる重みを有する。
• 行列N = ∑ᵢ₌₁⁶ Nᵢが、対角成分bᵢと非対角積λᵢ₊₁を有する三重対角行列であることを示し、DumontのJ連分数予想のパrameterと一致することを証明する。
• 生成関数が再帰関係と統計量と一致することを示すことにより、⟨W|Nⁿ|V⟩ = Γₙ₊₁を証明する。
• Dumontの階段のための類似する行列アンザッツを構築し、二つの組合せ的モデルを比較する。

実験結果

リサーチクエスチョン

• RQ1 一般化Dumont-Foata多項式Γₙは、明示的な統計量を伴う代替テーブルauxを用いて組合せ的に解釈可能か？
• RQ2 代替テーブルauxに適用した行列アンザッツ法は、Dumontが予想したJ連分数展開を再現するか？
• RQ3 代替テーブルauxとDumontの「階段」との間で、六つの統計量を保存する構造的または双対的関係が存在するか？
• RQ4 代替テーブルauxと階段の両者における行列アンザッツ法の代数的構造と得られる連分数導出の観点から、どのように比較できるか？
• RQ5 行列アンザッツフレームワークを用いて、代替テーブルaux上の統計量を用いてΓₙの再帰関係を直接的に検証可能か？

主な発見

• 一般化Dumont-Foata多項式Γₙは、mi、fd、snd、mp、fnd、sdという六つの特定の統計量による重み付けがなされた代替テーブルaux上の生成関数として組合せ的に解釈される。
• 行列アンザッツ法により、生成関数⟨W|Nⁿ|V⟩ = Γₙ₊₁が正しく得られ、行列NはDumontのJ連分数に現れるパrameter bᵢとλᵢ₊₁を有する三重対角行列である。
• 連分数展開∑Γₙtⁿ = t/(1−b₀t − λ₁t²/(1−b₁t − λ₂t²/⋯)) が、代替テーブルauxモデルを用いて組合せ的に再証明された。
• 代替テーブルauxアンザッツから導かれた行列Nは、対角成分bᵢと非対角積λᵢ₊₁を有し、Dumontの予想したパrameterと正確に一致する。
• Dumontの階段に対しても類似の行列アンザッツが構築され、類似した代数的構造が得られたが、両モデル間の直接的な双対写像は確立されなかった。
• 本手法により、同じ連分数が二つの異なる組合せ的モデル（代替テーブルauxと階段）から得られることを示し、直交多項式およびJ連分数の理論におけるより深い構造的関係が示唆された。