[논문 리뷰] Infinite limits of finite-dimensional permutation structures, and their automorphism groups

Samuel Braunfeld|arXiv (Cornell University)|2018. 01. 01.

Advanced Topology and Set Theory참고 문헌 16인용 수 6

한 줄 요약

이 논문은 유한한 선형 순서를 가진 동차 유한차원 순열 구조—즉, 유한한 선형 순서를 가진 구조—를 다루며, 이러한 모든 구조를 생성할 것으로 추측되는 구성 방법을 제안하고, 그들의 융합 클래스에 대해 구조적 라모지 정리를 증명하며, 모형 이론적 도구를 사용해 자동자기군을 분석한다. 또한 그래프 이론적 결론 문제로의 감소를 통해, 유한으로 제약된 순열 회피 클래스에서의 공동 통합 성질과 공동 호모모르피 성질의 결정 불가능성을 입증한다.

ABSTRACT

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders [7], and this structural viewpoint is taken up here. The majority of this thesis is concerned with Cameron's problem of classifying the homogeneous structures in a language of finitely many linear orders, which we call finite-dimensional permutation structures. Towards this problem, we present a construction that we conjecture produces all such structures. Some evidence for this conjecture is given, including the classification of the homogeneous 3-dimensional permutation structures. We next consider the topological dynamics, in the style of Kechris, Pestov, and Todorčević, of the automorphism groups of the homogeneous finite-dimensional permutation structures we have constructed, which requires proving a structural Ramsey theorem for all the associated amalgamation classes. Because the 0-definable equivalence relations in these homogeneous finite-dimensional permutation structures may form arbitrary finite distributive lattices, the model-theoretic algebraic closure operation may become quite complex, and so we require the framework recently introduced by Hubička and Nešetril [16]. Finally, we turn to the interaction of model theory with more classical topics in the theory of permutation avoidance classes. We consider the decision problem for whether a finitely-constrained permutation avoidance class is atomic, or equivalently, has the joint embedding property. As a first approximation to this problem, we prove the undecidability of the corresponding decision problem in the category of graphs. Modifying this proof also gives the undecidability, in the category of graphs, of the corresponding decision problem for the joint homomorphism property, which is of interest in infinite-domain constraint satisfaction problems. The results in the first 8 chapters of this thesis largely appeared in the previous articles [4], [5], and [6]. In many places the arguments and context have been expanded upon, and in the case of some arguments from [4], they have been simplified.

연구 동기 및 목표

• 유한한 선형 순서 언어에서의 모든 동차 구조—즉, 유한차원 순열 구조로 알려진 구조—를 분류하는 것.
• 모든 이러한 동차 구조를 생성할 것으로 추측되는 구성 방법을 제안하고, 이를 뒷받침하는 증거를 제공하는 것.
• 구조적 라모지 정리를 활용해 자동자기군의 위상적 동역학을 분석하는 것.
• 0-정의 가능한 동치 관계가 임의의 유한 분배 격자로 구성될 경우 발생하는 모형 이론적 복잡성의 정도를 조사하는 것.
• 유한으로 제약된 순열 회피 클래스에서 원자성과 공동 통합 성질의 결정 가능성을 다루는 것.

제안 방법

• 순열을 두 개의 순서로 구성된 구조로 보는 캐머런의 구조적 시각을 다수의 선형 순서로 확장하는 것.
• 모든 동차 유한차원 순열 구조를 생성할 것으로 추측되는 구성 메커니즘을 도입하는 것.
• 복잡한 모형 이론적 대수적 폐쇄를 다루기 위해 Hubička와 Nešetril의 프레임워크를 사용하여, 관련 융합 클래스에 대해 구조적 라모지 정리를 증명하는 것.
• Kechris, Pestov, 및 Todorčević의 접근 방식을 따르며, 자동자기군을 위상적 동역학의 관점에서 분석하는 것.
• 순열 회피 클래스에서의 결정 문제를 그래프 이론의 동등한 문제로 감소시켜 결정 불가능성을 입증하는 것.
• 기존의 모형 이론 및 제약 만족 문제 결과를 활용하여, 그래프에서의 결정 불가능성을 순열 클래스로 이행하는 것.

실험 결과

연구 질문

• RQ1 완전한 동차 유한차원 순열 구조의 집합은 무엇이며, 이를 통일적으로 구성할 수 있는가?
• RQ2 이 구조들의 자동자기군은 위상적 동역학 측면에서 어떻게 행동하는가?
• RQ3 0-정의 가능한 동치 관계의 복잡성이 이러한 구조의 모형 이론적 성질에 얼마나 영향을 미치는가?
• RQ4 유한으로 제약된 순열 회피 클래스에서 공동 통합 성질은 결정 가능한가?
• RQ5 무한 도main 순열 클래스에서 공동 호모모르피 성질과 제약 만족 문제 사이의 관계는 무엇인가?

주요 결과

• 모든 동차 유한차원 순열 구조를 생성할 것으로 추측되는 구성 방법이 제안되었으며, 3차원 경우의 분류 결과 등 뒷받침되는 증거가 포함되어 있다.
• 제안된 동차 구조와 관련된 모든 융합 클래스에 대해 구조적 라모지 정리가 확립되었다.
• Hubička와 Nešetril의 프레임워크가 성공적으로 적용되어, 0-정의 가능한 동치 관계가 임의의 유한 분배 격자로 구성되는 복잡한 모형 이론적 대수적 폐쇄를 다룰 수 있었다.
• 유한으로 제약된 순열 회피 클래스가 원자적(즉, 공동 통합 성질를 가짐)인지 여부를 판단하는 결정 문제가 불가능함을 증명하였다.
• 이러한 결정 불가능성 결과는 그래프 범주에서의 공동 호모모르피 성질로까지 확장되었으며, 이는 순열 설정에서의 결정 불가능성을 암시한다.
• 이전 연구들 [4], [5], 및 [6]의 결과들이 확장되고 단순화되었으며, 특히 모형 이론적 추론 부분에서 그러한 개선이 두드러졌다.