[论文解读] Asymptotic probabilities of extension properties and random $l$-colourable structures

Vera Koponen|arXiv (Cornell University)|Apr 11, 2012

Advanced Topology and Set Theory被引用 4

一句话总结

该论文确立了在随机有限 $l$-可着色结构中，扩展公理由几乎必然成立的条件，证明了在均匀分布和维度条件概率测度下，此类结构的零一律。论文识别出具有禁止子结构类的渐近概率的二分性，并利用组合与概率技术将这些结果扩展至 $l$-可着色结构。

ABSTRACT

We consider a set $\\mbK = \\bigcup_{n \\in \\mbbN}\\mbK_n$ of {\\em finite} structures such that all members of $\\mbK_n$ have the same universe, the cardinality of which approaches $\\infty$ as $n\ o\\infty$. Each structure in $\\mbK$ may have a nontrivial underlying pregeometry and on each $\\mbK_n$ we consider a probability measure, either the uniform measure, or what we call the {\\em dimension conditional measure}. The main questions are: What conditions imply that for every extension axiom $\\varphi$, compatible with the defining properties of $\\mbK$, the probability that $\\varphi$ is true in a member of $\\mbK_n$ approaches 1 as $n \ o \\infty$? And what conditions imply that this is not the case, possibly in the strong sense that the mentioned probability approaches 0 for some $\\varphi$? If each $\\mbK_n$ is the set of structures with universe ${1, ..., n}$, in a fixed relational language, in which certain "forbidden" structures cannot be weakly embedded and $\\mbK$ has the disjoint amalgamation property, then there is a condition (concerning the set of forbidden structures) which, if we consider the uniform measure, gives a dichotomy; i.e. the condition holds if and only if the answer to the first question is `yes'. In general, we do not obtain a dichotomy, but we do obtain a condition guaranteeing that the answer is `yes' for the first question, as well as a condition guaranteeing that the answer is `no'; and we give examples showing that in the gap between these conditions the answer may be either `yes' or `no'. This analysis is made for both the uniform measure and for the dimension conditional measure. The later measure has closer relation to random generation of structures and is more "generous" with respect to satisfiability of extension axioms.

研究动机与目标

• 确定当结构大小增长时，扩展公理由几乎必然在有限 $l$-可着色结构中成立的条件。
• 识别出区分扩展公理由概率趋于 1 或 0 的分界条件。
• 将零一律从一般有限结构扩展至 $l$-可着色结构这一特定类。
• 比较均匀测度与维度条件测度在扩展公理满足性方面的行为差异。
• 分析预几何与闭包算子在决定逻辑性质渐近概率中的作用。

提出的方法

• 采用有限 $L$-结构类 $\mathbf{K} = \bigcup_{n\in\mathbb{N}} \mathbf{K}_n$ 的框架，其论域大小随 $n$ 增加。
• 应用两种概率测度：均匀测度 $\mu_n(\mathcal{M}) = 1/|\mathbf{K}_n|$ 和基于闭包算子的维度条件测度。
• 引入 $k$-扩展公理作为表达在闭包约束下子结构可嵌入性的逻辑命题。
• 使用对多色元组的组合估计：$\overline{\mathrm{smult}}(n,\gamma,m)$ 表示在着色 $\gamma$ 下具有 $m$ 种不同颜色的 $m$-元组数量。
• 利用不等式比较平衡着色 $\sigma_n$ 与非平衡着色 $\gamma_n$ 下的 $\overline{\mathrm{smult}}(n,\sigma_n,m)$，证明其差值的下界为 $\Omega(n^m)$ 阶。
• 应用概率方法证明：在 $n \to \infty$ 时，不满足特定扩展公理的 $l$-可着色结构的比例趋于零。

实验结果

研究问题

• RQ1 在 $\mathbf{K}_n$ 中随机选取的结构中，给定扩展公理由成立的概率在 $n \to \infty$ 时趋于 1 的条件是什么？
• RQ2 在具有禁止子结构的类中，扩展公理由概率趋于 0 的条件是什么，尤其在这些情况下？
• RQ3 能否在均匀测度和维度条件测度下，为随机 $l$-可着色结构建立零一律？
• RQ4 预几何与闭包算子如何影响扩展公理的渐近行为？
• RQ5 着色丰富度（例如 $\frac{n}{a}$-丰富）在决定扩展性质实现可能性方面起什么作用？

主要发现

• 对于具有不相交并合性质且具有禁止子结构的类，存在二分性：当且仅当满足关于禁止子结构的特定条件时，扩展公理由几乎必然成立。
• 由于维度条件测度偏向于维度更高的结构，其在实现扩展公理方面比均匀测度更具包容性。
• 在随机 $l$-可着色结构中，一组受限的扩展公理由几乎必然成立，从而在维度条件测度和均匀测度下均能建立零一律。
• 差值 $\overline{\mathrm{smult}}(n,\sigma_n,m) - \overline{\mathrm{smult}}(n,\gamma_n,m)$ 的下界为 $\lambda_m n^m$，其中 $\lambda_m > 0$，确保了在多色元组计数中平衡着色占主导地位。
• 随机 $l$-可着色结构在大 $a$ 下不满足 $\frac{n}{a}$-丰富的概率趋于零，这是证明零一律的关键。
• 对于 $2 \leq m \leq l$，不等式 $\frac{1}{l^m}\binom{l}{m} > \frac{1}{(l-1)^m}\binom{l-1}{m}$ 成立，确保了多色元组计数渐近差值的正下界。