[论文解读] Sur l'énumération de structures discrètes, une approche par la théorie des relations

Djamila Oudrar|arXiv (Cornell University)|Apr 20, 2016

semigroups and automata theory被引用 5

一句话总结

本文提出一种关系理论方法，用于枚举阶数为3和4的离散可分结构，推导出二元关系结构类的闭式生成函数。该文建立了生成级数 $ S_k $ 的二次函数方程，证明 $ S_k $ 满足 $ (4^k - 1)S_k^2 + (2^k x - 1)S_k + 2^k x = 0 $，并得出显式解，从而得到精确计数：阶数1至4分别对应2、16、224和3904种结构。

ABSTRACT

Theory of relations is the framework of this thesis. It is about enumeration of finite structures. Let $\mathscr C$ be a class of finite combinatorial structures, the \emph{profile} of $\mathscr C$ is the function $φ_{\mathscr C}$ which count, for every $n$, the number of members of $\mathscr{C}$ defined on $n$ elements, isomorphic structures been identified. The generating function for $\mathscr C$ is $\mathcal H_{\mathscr C}(X):=\sum_{n\geqq 0}φ_{\mathscr C}(n)X^n$. Many results about the behavior of the function $φ_{\mathscr C}$ have been obtained. Albert and Atkinson have shown that the generating series of the profile of some classes of permutations are algebraic. we show how this result extends to classes of ordered binary structures using the notions of theory of relations. This is the subject of the first part of this thesis. The second part is concerned with the notion of minimality. An hereditary class of finite structures is minimal if it is infinite and every proper hereditary subclass is finite. We show, in particular, that ind-minimal classes are wqo ages and their number is the continuum. The last part is motivated by the surprising phenomenon of the \emph{jump} observed in the behavior of the profile of hereditary classes of finite structures. We show that the profile of an hereditary classe made of ordered structures which have finite monomorphic decomposition is a polynomial. We also show that if the profile of a hereditary class of finite ordered binary structures is not bounded by a polynomial then it is at least exponential. This result generalizes the result obtained by Balogh, Bollobás and Morris (2006) for ordered graphs.

研究动机与目标

• 开发一种关系理论框架，用于枚举有限阶的离散可分结构。
• 刻画类型 $ k $ 的二元关系结构类 $ \mathscr{S}_k $ 的生成级数 $ S_k $。
• 推导 $ S_k $ 的闭式表达式，并通过组合分解与递推推理加以验证。
• 利用可分分解的概念，将置换类的代数结构推广至更广泛的关系系统。
• 将枚举结果与二维临界偏序集及置换图（特别是Schmerl–Trotter的临界阶数）联系起来。

提出的方法

• 基于 $ r_i $-不可约结构的分解框架，其中 $ r_i $ 遍历类型 $ k $ 的 $ 4^k $ 种基关系。
• 应用可分结构的并集与和集封闭性质，推导生成函数之间的递归关系。
• 使用生成函数恒等式：$ S_k = 2^k x + S_k \sum_{i=1}^{4^k} S^i_k $，其中 $ S^i_k = 2^k x + S_k \sum_{j \neq i} S^j_k $。
• 求解所得方程组，导出关于 $ S_k $ 的二次方程，进而通过二次公式获得闭式解。
• 通过展开生成函数并匹配系数来验证解的正确性（例如，阶数3的精确计数为224）。
• 利用Schmerl–Trotter二分图 $ G_1 $ 的子图的图论表示，通过二进制字串建模结构表示。

实验结果

研究问题

• RQ1 阶 $ n $ 与类型 $ k $ 的可分二元关系结构的数量的生成函数是什么？
• RQ2 可分关系的结构如何分解，以导出其生成函数的递归函数方程？
• RQ3 对于小阶数（如3和4）的可分结构的确切计数是多少？它们如何由更小的组件组合而成？
• RQ4 二维临界偏序集及其关联的置换图与可分结构的枚举有何关联？
• RQ5 可继承的贝尔德性（hereditary belordedness）概念能否用于将置换类的代数性推广至更广泛的关系系统？

主要发现

• 类型 $ k=1 $ 的生成级数 $ S_1 $ 满足 $ 3S_1^2 + (2x - 1)S_1 + 2x = 0 $，解为 $ S_1 = \frac{1 - 2x - \sqrt{1 - 28x + 4x^2}}{6} $。
• 对于 $ k=1 $，级数展开得到精确计数：阶数1有2种结构，阶数2有16种，阶数3有224种，阶数4有3904种。
• 对于一般 $ k \geq 1 $，生成函数 $ S_k $ 满足 $ (4^k - 1)S_k^2 + (2^k x - 1)S_k + 2^k x = 0 $，其闭式解包含平方根。
• $ S_k $ 的解为 $ S_k = \frac{1 - 2^k x - \sqrt{1 - 2^{k+1}(2 \cdot 4^k - 1)x + 2^{2k}x^2}}{2(4^k - 1)} $，确认其代数性。
• $ r_i $-不可约结构的数量随 $ 4^k $ 种基关系增长，且分解规则排除同构重复，避免重复计数。
• 本文建立了Schmerl–Trotter图 $ G_1 $ 的子图与二进制字串之间的双射，从而实现通过字串序列对结构进行表示与枚举。