[论文解读] 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，提供一个简洁的计数公式。
• 根据半周长推导出条带（PPPs在旋转下的轨道）数量的渐近估计。
• 通过多格骨牌结构与迪克路径统计，统一解释序列A008549与A002457的组合意义。

提出的方法

• 为每个PPP $ P $ 构造一个根映射 $ \varphi(P) $，将列顶点和行顶点映射到具有环的双色树状结构。
• 将内在厚度定义为从 $ \varphi(P) $ 递归剪枝叶子后得到的主干PPP的粘合尺寸。
• 利用映射 $ \varphi $ 建立内在厚度为1的PPP与具有唯一偶数长度环的连通根图之间的双射。
• 通过代数运算处理生成函数 $ A(z) $，涉及 $ \sqrt{1-4z} $ 和几何级数展开，推导出生成函数 $ pPPP(x) $。
• 应用解析组合学中的转移定理，分析 $ z = 1/4 $ 处的主要奇点，得出渐近估计。
• 利用对数奇点结构和Flajolet与Sedgewick的定理VI.6，提取条带系数的渐近行为。

实验结果

研究问题

• RQ1 如何将周期性平行四边形多格骨牌与迪克路径下的三角形进行双射关联？
• RQ2 PPPs的生成函数结构与周期性是怎样的？内在厚度如何影响这一性质？
• RQ3 原始PPP的精确计数公式是什么？它与已知整数序列有何关联？
• RQ4 作为半周长函数，条带数量（PPPs在旋转下的轨道）的渐近增长速率是多少？
• RQ5 能否使PPPs与 $ n \times n $ 方框中分划偏序集之间的联系成为双射或结构性的？

主要发现

• 建立了内在厚度为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 $。
• 薄PPP（内在厚度为1且含一个大小为1的列）被证明枚举了 $ n \times n $ 方框中的非空分划，与序列A030662一致。
• 计算机探索显示，在半周长8以内，标记原始PPP的数量是未标记原始PPP数量的两倍。