[论文解读] Overview of some general results in combinatorial enumeration

Martin Klazar|ArXiv.org|Mar 29, 2008

Advanced Combinatorial Mathematics参考文献 90被引用 19

一句话总结

本文对组合计数中的普遍结果进行了全面综述，重点关注排列、图和关系系统等组合结构中遗传性质的增长率。文章确立了若干关键结果，包括在划分偏序集中下集的计数函数的多项式-指数形式、许多计数问题中呈现的渐近行为 $ cn^{-3/2}r^n $，以及MSOL可定义结构的最终模周期性——证明此类序列对任意整数取模后均为周期序列。

ABSTRACT

This survey article is devoted to general results in combinatorial enumeration. The first part surveys results on growth of hereditary properties of combinatorial structures. These include permutations, ordered and unordered graphs and hypergraphs, relational structures, and others. The second part advertises five topics in general enumeration: 1. counting lattice points in lattice polytopes, 2. growth of context-free languages, 3. holonomicity (i.e., P-recursiveness) of numbers of labeled regular graphs, 4. frequent occurrence of the asymptotics cn^{-3/2}r^n and 5. ultimate modular periodicity of numbers of MSOL-definable structures.

研究动机与目标

• 系统化并总结组合计数中计数函数增长率的普遍规律。
• 研究各类组合类中遗传性质的计数函数的结构及其渐近行为。
• 探讨特定渐近形式 $ cn^{-3/2}r^n $ 的普遍性以及可定义组合族中最终模周期性的现象。
• 确立MSOL可定义结构的计数函数对任意整数取模后最终周期性的条件。
• 识别一般计数中的开放问题与研究方向，特别是关于三元关系和上下文无关语言增长的问题。

提出的方法

• 使用包含关系或子结构关系作为偏序，分析组合结构的偏序集中的下集。
• 应用遗传性质 $ P = \mathrm{Av}(F) $ 的框架，其中 $ F $ 是禁止子结构的有限或无限反链。
• 利用生成函数和指数的线性组合，描述划分偏序集中有界大小下集的计数函数。
• 采用一阶二阶逻辑（MSOL）定义关系结构，并证明其计数序列对任意整数取模后具有周期性。
• 应用递推关系与生成函数技术，分析多面体中的格点计数及上下文无关语言的增长。
• 利用Specker-Blatter定理，为仅含一元和二元关系的MSOL可定义结构建立最终模周期性。

实验结果

研究问题

• RQ1 在组合结构中，遗传性质的计数函数的一般形式是什么，特别是当禁止子结构的大小有界时？
• RQ2 为何渐近形式 $ cn^{-3/2}r^n $ 在组合计数中如此频繁地出现？
• RQ3 MSOL可定义结构的序列 $ f_P(n) \mod m $ 在何种条件下是最终周期的？
• RQ4 Specker-Blatter定理关于模周期性的结论能否推广到含三元关系的关系系统？
• RQ5 超几何性（P-递归性）与标记正则图的计数之间存在何种关系？

主要发现

• 对于划分偏序集中最大块大小为 $ k $ 的任意下集 $ P $，计数函数 $ f_P(n) $ 是形如 $ \sum_{i=1}^k p_i(n) i^n $ 的线性组合，其中 $ p_i(n) $ 为有理系数多项式。
• 集合 $ [n] $ 的非交叉划分数（即卡塔兰数 $ C_n = \frac{1}{n+1}\binom{2n}{n} $）满足 $ C_n \mod 2 = 1 $ 当且仅当 $ n = 2^m - 1 $，且模 2 下不具有最终周期性。
• Specker-Blatter定理表明，对于任意仅使用一元和二元关系的MSOL可定义关系系统，序列 $ f_P(n) \mod m $ 对每个 $ m \in \mathbb{N} $ 均为最终周期序列。
• 标记正则图的计数函数是超几何的（P-递归的），表明其计数具有深刻的结构性规律。
• 渐近形式 $ cn^{-3/2}r^n $ 在组合计数中频繁出现，尤其在格路计数和平面结构中。
• MSOL可定义结构的谱（即满足 $ f_P(n) > 0 $ 的大小集合）是最终周期的，该结果已扩展至CMSOL和有界度结构。