[論文レビュー] Generating series of Periodic Parallelogram polyominoes

Jean Christophe Aval, Adrien Boussicault+2 more|arXiv (Cornell University)|Dec 12, 2016

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

ひとこと要約

本稿では、周期的平行四边形多ポリオミノ（PPPs）とデイクパス三角形の間の全単射を導入し、生成関数の最終的周期性を証明するとともに、内部厚さという概念を用いて原始的PPPを定義する。閉形式の生成関数と漸近的推定値を導出し、係数が $ \frac{4^n}{2n} \left[1 + O\left(\frac{1}{\log n}\right)\right] $ のように成長することを示し、原始的およびストリップ対象の主要な列挙結果を提示する。

ABSTRACT

The aim of this work is the study of the class of periodic parallelogram polyominoes, and two of its variantes. These objets are related to 321-avoiding affine permutations. We first provide a bijection with the set of triangles under Dyck paths. We then prove the ultimate periodicity of the generating series of our objects, and introduced a notion of primitive polyominoes, which we enumerate. We conclude by an asymptotic analysis.

研究の動機と目的

• 周期的平行四边形多ポリオミノ（PPPs）とデイクパスの下での三角形の間の全単射を確立すること。
• 先行研究で提起された疑問を解決するために、PPPsの生成関数の最終的周期性を証明すること。
• 内部厚さの概念を用いて原始的PPPを定義し、単純な列挙公式を提供すること。
• 半周長に関する回転によるPPPの軌道（ストリップ）の数に対する漸近的推定値を導出すること。
• 多ポリオミノ構造とデイクパス統計を用いて、数列A008549とA002457の組合せ的解釈を統一すること。

提案手法

• 各PPP $ P $ から根付きマップ $ \varphi(P) $ を構成し、列および行の頂点を2色の木構造的サイクルを持つ構造に写像する。
• 内部厚さを、$ \varphi(P) $ から葉を再帰的に刈り取って得られる幹PPPの接合サイズとして定義する。
• 写像 $ \varphi $ を用いて、内部厚さ1のPPPと単一の偶数長サイクルを持つ連結根付きマップとの間の全単射を確立する。
• 代数的変形を用いて生成関数 $ A(z) $ を操作し、$ \sqrt{1-4z} $ と幾何級数展開を含む生成関数 $ pPPP(x) $ を導出する。
• 解析的組合せ論の転送定理を適用し、$ z = 1/4 $ における主要な特異点を分析し、漸近的推定値を導出する。
• 対数特異点構造とフラジョレット・セドウィックの定理VI.6を用いて、ストリップ係数の漸近的挙動を抽出する。

実験結果

リサーチクエスチョン

• RQ1 周期的平行四边形多ポリオミノは、どのようにしてデイクパスの下での三角形と全単射的に関係づけられるか？
• RQ2 PPPsの生成関数の構造と周期性は何か？また、内部厚さはこれにどのように影響するか？
• RQ3 原始的PPPの正確な列挙公式は何か？また、既知の整数列とどのように関係するか？
• RQ4 半周長の関数として、ストリップ（PPPの回転による軌道）の数の漸近的成長率は何か？
• RQ5 $ n \times n $ ボックス内の分割の順序集合との間のPPPの関係を、全単射的または構造的に記述できるか？

主な発見

• 内部厚さ1のPPPと単一の偶数長サイクルを持つ連結根付きマップとの間の全単射が確立された。
• PPPsの生成関数は最終的周期性を示し、代数的・組合せ論的分析によって確認された。
• 原始的PPPは、$ A(z) $ から導かれた閉形式の生成関数により列挙可能であり、$ pPPP(x) = \frac{(\sqrt{1-4z}-1)^4}{16z^4\sqrt{1-4z}} \cdot \frac{z^2}{(1 - z^2 A(z)^4)^2} $ である。
• 内部厚さ1のストリップの数は $ b_n = \frac{4^n}{2n} \left[1 + O\left(\frac{1}{\log n}\right)\right] $ を満たし、主要な特異点は $ z = 1/4 $ に存在する。
• 内部厚さ1で1列がサイズ1の「スリムPPP」は、$ n \times n $ ボックス内の空でない分割を列挙しており、数列A030662と一致する。
• コンピュータ探索により、半周長8までで、マーク付き原始的PPPの数はマークなし原始的PPPの数の2倍であることが判明した。