[論文レビュー] 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$-彩色可能構造の特定のクラスへとゼロ-ワン法則を拡張すること。
• 一様測度と次元条件付き測度の2つの確率測度が、拡張公理の満たし方に関連してどのように振る舞うかを比較すること。
• 前幾何学的構造と閉包作用素が、論理的性質の漸近的確率に与える影響を分析すること。

提案手法

• ユニバースサイズが増加する $L$-構造のクラス $\mathbf{K} = \bigcup_{n\in\mathbb{N}} \mathbf{K}_n$ の枠組みを用いる。
• 2つの確率測度を適用する：一様測度 $\mu_n(\mathcal{M}) = 1/|\mathbf{K}_n|$ と、閉包作用素に基づく次元条件付き測度。
• 閉包制約の下での部分構造の埋め込みを表す論理的文として $k$-拡張公理を導入する。
• 多色付きタプルに関する組合せ的推定：$\overline{\mathrm{smult}}(n,\gamma,m)$ は、色分け $\gamma$ の下で異なる色を持つ $m$-タプルの数を数える。
• バランスの取れた色分け $\sigma_n$ とバランスの取れていない $\gamma_n$ の間で $\overline{\mathrm{smult}}(n,\sigma_n,m)$ を比較する不等式を用い、$\Omega(n^m)$ のオーダーで下界の差を示す。
• 確率的技法を用いて、$l$-彩色可能構造のうち、特定の拡張公理を満たさないものの割合が $n \to \infty$ のとき消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 ランダムな構造 $\mathbf{K}_n$ から選ばれた与えられた拡張公理が、$n \to \infty$ のとき確率1に近づく条件は何か？
• RQ2 禁止部分構造を有するクラスにおいて、拡張公理の確率が0に近づくのはいつか？特にその場合。
• RQ3 一様測度および次元条件付き測度の下で、ランダムな $l$-彩色可能構造に対してゼロ-ワン法則を確立できるか？
• RQ4 前幾何学的構造と閉包作用素は、拡張公理の漸近的挙動にどのように影響を与えるか？
• RQ5 色分けの豊かさ（例：$\frac{n}{a}$-豊かさ）は、拡張性質の実現可能性にどのように寄与するか？

主な発見

• 互いに分離可能な拡張性を持つ禁止部分構造を有するクラスでは、二分法が成立する：拡張公理がほとんど確実に成り立つのは、禁止部分構造に関する特定の条件を満たす場合に限る。
• 次元条件付き測度は、次元の高い構造を好むバイアスがあるため、一様測度よりも拡張公理の実現をより許容的である。
• ランダムな $l$-彩色可能構造では、制限された拡張公理の集合がほとんど確実に成り立ち、次元条件付き測度および一様測度の両方でゼロ-ワン法則が成立する。
• ある $\lambda_m > 0$ に対して、差 $\overline{\mathrm{smult}}(n,\sigma_n,m) - \overline{\mathrm{smult}}(n,\gamma_n,m)$ は $\lambda_m n^m$ で下から抑えられ、バランスの取れた色分けが多色付きタプルの数において支配的であることが保証される。
• 大きな $a$ に対して、ランダムな $l$-彩色可能構造が $\frac{n}{a}$-豊かでない確率は0に近づく。これはゼロ-ワン法則の証明において鍵となる。
• $2 \leq m \leq l$ に対して不等式 $\frac{1}{l^m}\binom{l}{m} > \frac{1}{(l-1)^m}\binom{l-1}{m}$ が成り立ち、多色付きタプルの数の漸近的差に正の下界を保証する。