[논문 리뷰] Asymptotic probabilities of extension properties and random $l$-colourable structures

Vera Koponen|arXiv (Cornell University)|2012. 04. 11.

Advanced Topology and Set Theory인용 수 4

한 줄 요약

이 논문은 랜덤 유한 $l$-색칠 가능한 구조에서 확장 공리가 거의 확실히 성립하는 조건을 규명하며, 균일 및 차원 조건부 확률 측도 하에서 이러한 구조에 대해 0-1 법칙을 증명한다. 금지된 부분구조를 가진 클래스에서 점근적 확률의 이분법을 규명하고, 조합적 및 확률적 기법을 사용하여 이러한 결과를 $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으로 수렴하는지를 구분하는 경계 조건(분할선)을 규명하는 것.
• 일반적인 유한 구조에서의 0-1 법칙을 특정한 $l$-색칠 가능한 구조 클래스로 확장하는 것.
• 균일 측도와 차원 조건부 측도 간의 행동을 비교하여 확장 공리 만족도에 영향을 미치는 것.
• 전기하학과 폐쇄 연산자가 점근적 논리적 성질의 확률에 미치는 영향을 분석하는 것.

제안 방법

• 유니버스 크기가 증가하는 유한 $L$-구조의 클래스 $\mathbf{K} = \bigcup_{n\in\mathbb{N}} \mathbf{K}_n$의 프레임워크를 사용한다.
• 두 가지 확률 측도를 적용한다: 균일 측도 $\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$ 일 때 0으로 수렴함을 보인다.

실험 결과

연구 질문

• RQ1 랜덤 구조 $\mathbf{K}_n$ 에서 주어진 확장 공리의 성립 확률이 $n \to \infty$ 일 때 1에 수렴하는 조건은 무엇인가?
• RQ2 특히 금지된 부분구조를 가진 클래스에서 확장 공리의 성립 확률이 0으로 수렴하는 조건은 언제인가?
• RQ3 균일 측도와 차원 조건부 측도 하에서 랜덤 $l$-색칠 가능한 구조에 대해 0-1 법칙을 설정할 수 있는가?
• RQ4 전기하학과 폐쇄 연산자는 확장 공리의 점근적 행동에 어떻게 영향을 미치는가?
• RQ5 색칠의 풍부함(예: $\frac{n}{a}$-풍부함)은 확장 성질을 실현할 가능성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 서로 다른 융합 성질을 가지며 금지된 부분구조를 가진 클래스에서는 이분법이 존재한다: 특정한 금지된 부분구조에 대한 조건을 만족할 때에만 확장 공리가 거의 확실히 성립한다.
• 차원 조건부 측도는 균일 측도보다 확장 공리를 더 쉽게 실현한다. 이는 높은 차원을 가진 구조를 더 선호하기 때문이다.
• 랜덤 $l$-색칠 가능한 구조에서 제한된 확장 공리 집합이 거의 확실히 성립하며, 이는 차원 조건부 측도와 균일 측도 모두에서 0-1 법칙을 가능하게 한다.
• $\overline{\mathrm{smult}}(n,\sigma_n,m) - \overline{\mathrm{smult}}(n,\gamma_n,m)$ 의 차이는 어떤 $\lambda_m > 0$ 에 대해 $\lambda_m n^m$ 이하로 하한이 둔다. 이는 균형 잡힌 색칠이 다색 튜플 수 계수에서 지배적임을 보장한다.
• 큰 $a$ 에 대해 랜덤 $l$-색칠 가능한 구조가 $\frac{n}{a}$-풍부하지 않은 확률은 0으로 수렴한다. 이는 0-1 법칙을 증명하는 데 핵심적인 요소이다.
• $2 \leq m \leq l$ 에 대해 부등식 $\frac{1}{l^m}\binom{l}{m} > \frac{1}{(l-1)^m}\binom{l-1}{m}$ 이 성립하며, 이는 다색 튜플 수 계수의 점근적 차이에 양의 하한을 보장한다.