[논문 리뷰] All reducts of the random graph are model-complete

Manuel Bodirsky, Michael Pinsker|arXiv (Cornell University)|2009. 03. 14.

Advanced Topology and Set Theory참고 문헌 18인용 수 5

한 줄 요약

이 논문은 무작위 그래프의 모든 재구성(reduct)이 모형완전(model-complete)임을 증명한다. 즉, 모든 일阶논리 공식이 모형의 임bedding에 대해 보존된다는 뜻이다. 무작위 그래프의 자기동형사상군을 포함하는 국소적으로 닫힌 변환 모노이드에 대해 램지 이론적 기법을 적용함으로써, 저자들은 이러한 모노이드를 분류하고, 무작위 그래프에서 일阶논리적으로 정의 가능한 모든 구조가 모형완전임을 도출한다. 이는 존재적 상호정의성에 대해 더욱 정교한 분류를 제공한다.

ABSTRACT

We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or contains an operation that maps the random graph injectively to an induced subgraph which is a clique or an independent set. As a corollary, our techniques yield a new proof of Simon Thomas' classification of the five closed supergroups of the automorphism group of the random graph; our proof uses different Ramsey-theoretic tools than the one given by Thomas, and is perhaps more straightforward. Since the monoids under consideration are endomorphism monoids of relational structures definable in the random graph, we are able to draw several model-theoretic corollaries: One consequence of our result is that all structures with a first-order definition in the random graph are model-complete. Moreover, we obtain a classification of these structures up to existential interdefinability.

연구 동기 및 목표

• 무작위 그래프의 자기동형사상군을 포함하는 국소적으로 닫힌 변환 모노이드를 분류하는 것.
• 무작위 그래프의 모든 재구성(reduct)이 모형완전임을 증명하는 것. 이는 강력한 모형이론적 성질이다.
• 시몬 토머스의 무작위 그래프의 자기동형사상군의 닫힌 상위군에 대한 분류에 대해 새로운, 보다 직접적인 증명을 제공하는 것.
• 존재적 상호정의성에 대해 재구성을 분류함으로써, 기존의 일阶논리적 상호정의성 분류를 정교화하는 것.
• 무작위 그래프의 재구성에서 모노이드의 구조, 자기동형사상, 제약만족 문제 사이의 관계를 탐색하는 것.

제안 방법

• 무작위 그래프의 자기동형사상군을 포함하는 국소적으로 닫힌 변환 모노이드를 램지 이론적 기법을 사용하여 분석한다.
• 무작위 그래프의 유한 분할에 대한 정규 함수(정규 함수) 개념을 적용하여 자기동형사상의 행동을 연구한다.
• 스위치 연산(switch, sw)과 부정 연산(negation, −)을 핵심 도구로 사용하여 특정 자기동형사상을 생성하거나 배제한다.
• 국소 생성의 개념을 활용한다: 모노이드가 국소적으로 닫혀 있음은, 모든 유한 집합에서 어떤 원소와 일치하는 함수가 실제로 모노이드에 속해 있음을 의미한다.
• 무작위 그래프의 확장 성질을 활용하여 유한 부분구조에서 임베딩과 자기동형사상을 구성하고 분석한다.
• 치환군과 자기동형사상 모노이드에 관한 결과를 적용하여, 구조적 이분법을 도출한다: 즉, 모노이드가 그 치환으로 생성되거나, 상수 함수를 포함하거나, 간선 또는 비간선을 삭제하는 연산을 포함한다.

실험 결과

연구 질문

• RQ1 무작위 그래프의 자기동형사상군을 포함하는 가능한 국소적으로 닫힌 변환 모노이드는 무엇인가?
• RQ2 무작위 그래프의 재구성의 자기동형사상 모노이드가 그 자기동형사상들에 의해 국소적으로 생성되는 조건은 무엇인가?
• RQ3 무작위 그래프의 재구성이 언제 모형완전이 아니며, 어떤 구조적 특성이 이를 방해하는가?
• RQ4 스위치(switch, sw)와 부정(negation, −) 연산은 재구성의 자기동형사상 모노이드의 구조에 어떻게 영향을 미치는가?
• RQ5 무작위 그래프의 재구성 맥락에서 일阶논리적 상호정의성과 존재적 상호정의성 간의 관계는 무엇인가?

주요 결과

• 무작위 그래프의 모든 재구성은 모형완전하다. 즉, 어떤 재구성의 이론에 속하는 모형 간의 임베딩이 모두 일阶논리 공식을 보존한다.
• 무작위 그래프의 어떤 재구성의 자기동형사상 모노이드도 다음 중 하나이다: 그 자기동형사상들에 의해 국소적으로 생성되거나, 상수 함수를 포함하거나, 모든 간선 또는 모든 비간선을 삭제하는 단사 자기동형사상을 포함한다.
• 시몬 토머스의 무작위 그래프의 자기동형사상군의 닫힌 상위군 다섯 종류에 대한 분류에 대해, 램지 이론적 도구를 사용하여 새로운 증명을 얻는다.
• 존재적 상호정의성에 대해 재구성을 분류하는 것이 확립되었으며, 이는 기존의 일阶논리적 상호정의성 분류를 정교화한다.
• 결과적으로, 무작위 그래프의 재구성에 대한 제약만족 문제(CSP)는 존재적 양의 정의 가능성에 대해 보존되며, 이는 복잡도 분류 가능성을 열어준다.
• 만약 어떤 재구성이 sw와 −에 의해 보존되지만 e_N이나 e_E에 의해 보존되지 않는다면, 그 자기동형사상들은 sw, − 및 무작위 그래프의 자기동형사상들에 의해 국소적으로 생성되거나, 모든 치환에 의해 보존된다 (이는 e_N과 e_E를 포함함을 의미하므로 모순이다).