[论文解读] The Profile of relations

Maurice Pouzet|ArXiv.org|Mar 8, 2007

Advanced Topology and Set Theory参考文献 37被引用 13

一句话总结

本文研究了关系结构的谱系——即有限子结构同构类型的计数函数——表明在有界极性或有限核条件下，谱系要么多项式增长，要么快于任一多项式。一个关键结果指出：若一个关系结构的年龄不可穷尽且高度至多为 ω(k+1)，则其谱系上界由二项式系数 $\binom{n+k}{k}$ 给出，从而将组合数学、序理论与年龄代数的Hilbert级数联系起来。

ABSTRACT

The {\it profile} of a relational structure $R$ is the function $ϕ_R$ which counts for every integer $n$ the number of its $n$-element substructures up to an isomorphism. Many counting functions are profiles. Interesting examples come from permutation groups. Some salient facts about the behavior of the profile are presented. Techniques from ordered sets and combinatorics (notably the notion of well-quasi-order, the related notions of ordered algebras, Ramsey theorem) are illustrated. Ongoing resarch suggests to view the profile of a relational structure $R$ as the Hilbert function of some graded algebra associated with $R$. A hint at the solution of a conjecture of P.J.Cameron on the integrity of the ring of the orbit algebra is given. Recent progress made with Y.Boudabbous and N.Thiéry on the conjecture that the profile is a quasi-polynomial if its growth is polynomial (and the structure has a finite kernel) are presented.

研究动机与目标

• 分析关系结构中 n 元子结构同构类型计数函数 φ_R(n) 的增长行为。
• 在有界极性或有限核条件下，证明谱系要么多项式增长，要么快于任一多项式。
• 将谱系与Cameron引入的年龄代数的Hilbert级数联系起来，并解决其完整性的一个猜想。
• 利用组合与序理论工具，对具有多项式谱系的关系结构（特别是锦标赛）进行特征刻画。
• 研究当年龄在嵌入关系下为非常良好拟序时，谱系是否被指数函数有界。

提出的方法

• 使用关系结构的年龄及其在有限子结构良好拟序中的高度概念。
• 应用Ramsey理论与良好拟序（WQO）以控制子结构类型的复杂性。
• 采用多重链可化性与通过有限核的约化方法分析谱系增长。
• 利用Cameron提出的年龄代数构造，证明其Hilbert函数等于谱系 φ_R(n)。
• 使用归纳法与组合界（包括Pascal恒等式）证明不等式 $\varphi_R(n) \leq \binom{n+k}{k}$。
• 应用序理论结果，如当年龄不可穷尽且高度有界时，存在链分解。

实验结果

研究问题

• RQ1 在何种条件下，关系结构的谱系呈现多项式增长而非快于任一多项式？
• RQ2 当结构具有有限核时，能否证明其谱系生成函数为有理函数，特别是当谱系被多项式有界时？
• RQ3 Cameron关于年龄代数总是整性的猜想是否成立？
• RQ4 当年龄高度为 ω(k+1) 时，谱系的最大可能增长速率是什么？
• RQ5 年龄的非常良好拟序是否意味着谱系被指数函数有界？

主要发现

• 若关系结构的年龄不可穷尽且高度至多为 ω(k+1)，则对所有 n，其谱系满足 $\varphi_R(n) \leq \binom{n+k}{k}$。
• 具有有限核或有界极性的关系结构的谱系，其增长行为取决于其年龄的高度：要么多项式增长，要么快于任一多项式。
• 当谱系被多项式有界且结构可分解为有限个单性分量时，谱系的生成函数为有理函数。
• Cameron关于年龄代数整性的猜想得到肯定解决。
• 对于具有多项式谱系的锦标赛，通过谱系增长界与结构分解，获得了完整的特征刻画。
• 当年龄高度为 ω(k+1) 时，谱系至少以 k 次多项式速率增长，从而确立了紧致的下界。