[论文解读] Polyominoes with nearly convex columns: A semidirected model

Svjetlan Feretić|arXiv (Cornell University)|Oct 23, 2009

Point processes and geometric inequalities参考文献 12被引用 6

一句话总结

本文将六边形格点上的层级-$m$ 芝士多格形（cheesy polyominoes）作为列凸多格形的推广，允许列中最多存在两个由大小至多为$m$的间隙分隔的连通分量。通过半定向约束与Temperley方法，作者推导出有理面积生成函数，并表明增长常数随$m$增加而上升，层级3时达到4.2886，超过列凸多格形但仍未达到多向动物的水平。

ABSTRACT

Column-convex polyominoes are by now a well-explored model. So far, however, no attention has been given to polyominoes whose columns can have either one or two connected components. This little known kind of polyominoes seems not to be manageable as a whole. To obtain solvable models, one needs to introduce some restrictions. This paper is focused on polyominoes with hexagonal cells. The restrictions just mentioned are semidirectedness and an upper bound on the size of the gap within a column. The solvable models so obtained have rational area generating functions, as column-convex polyominoes do. However, the growth constants of the new models are 4.114908 and more, whereas the growth constant of column-convex polyominoes is 3.863131.

研究动机与目标

• 通过允许列中最多存在两个连通分量并限制间隙大小，推广列凸多格形。
• 构建一个可解模型，其面积生成函数为有理函数，避免不受限的近乎凸列多格形模型的不可解性。
• 探究与已知可解模型（如列凸或多向多格形）相比，是否能获得更高的增长常数。
• 为未来模型（如含芝士块或多列子凸多格形）奠定基础。
• 将这些模型的渐近增长与已知类（包括多向动物和所有多格形）进行比较。

提出的方法

• 将层级-$m$ 芝士多格形定义为右向半定向多格形，其中每列最多包含两个连通分量，且分量之间的间隙不超过$m$个格子。
• 应用Bousquet-Mélou与Svrtan开发的Temperley方法的‘涡轮’版本，推导面积生成函数。
• 基于列结构与半定向约束，采用递归分解方法，逐步建模多格形的增长。
• 通过符号计算，对$m = 1, 2, 3$的层级，利用小规模情况的精确计数，推导出有理生成函数。
• 通过将计算出的计数与小规模$n$下的已知值对比，验证结果，确保与列凸多格形及其他多格形类的一致性。
• 通过提取有理生成函数的主奇点，分析渐近行为，获得增长常数。

实验结果

研究问题

• RQ1 能否对列凸多格形进行推广，允许列中存在有界间隙，从而实现具有有理面积生成函数的精确可解模型？
• RQ2 此类推广多格形的增长率是多少？与列凸或多向动物等已知模型相比如何？
• RQ3 增大间隙大小上限$m$是否会导致增长常数单调增加？当$m \to \infty$时，其极限行为如何？
• RQ4 半定向约束是否对实现有理生成函数至关重要？该模型能否进一步推广而不损失可解性？
• RQ5 能否计算层级-1芝士多格形的周长生成函数？其收敛半径是否为正？

主要发现

• 层级-1芝士多格形的面积生成函数为有理函数，增长常数约为4.1149。
• 对于层级-2芝士多格形，增长常数增至约4.2318；层级-3时达到4.2886。
• 层级-$m$ 芝士多格形中$n$格子的渐近数量为$c_m \times \lambda_m^n$，其中$\lambda_m$随$m$增加而增大，且$c_1 \approx 0.1441$，$c_2 \approx 0.1210$，$c_3 \approx 0.1082$。
• 所有层级的芝士多格形增长常数均超过列凸多格形（3.8631），表明其增长速率更快。
• 根据观察到的一阶差分，芝士多格形的增长常数似乎趋近于约4.346的极限值，当$m \to \infty$时。
• 该模型预计无法通过周长进行枚举，因其周长生成函数的收敛半径被推测为零。