[논문 리뷰] Conant's generalised metric spaces are Ramsey

Jan Hubička, Matěj Konečný외 1명|arXiv (Cornell University)|2017. 10. 12.

Advanced Topology and Set Theory인용 수 2

한 줄 요약

이 논문은 거리 모노이드(가환 모노이드이자 선형 순서와 단조 증가 연산을 갖춘 것) M에 대해, 모든 유한 M-거리 공간의 집합이 볼록 선형 순서가 부여된 경우 라미지 클래스가 된다고 증명한다. 저자들은 최단경로 완비화 기반의 완비화 절차와 모노이드 내 블록의 구조를 이용하여 라미지 확장을 구성하며, 모노이드가 반아르키메데스성 또는 아르키메데스성일 필요 없이도 라미지 성질을 증명함으로써, 이전의 S-거리 공간 결과를 일반화하고 콘란트의 부분자기동형사상의 확장 성질(EPPA) 연구를 확장한다.

ABSTRACT

We give Ramsey expansions of classes of generalised metric spaces where distances come from a linearly ordered commutative monoid. This complements results of Conant about the extension property for partial automorphisms and extends an earlier result of the first and the last author giving the Ramsey property of convexly ordered $S$-metric spaces. Unlike Conant's approach, our analysis does not require the monoid to be semi-archimedean.

연구 동기 및 목표

• 임의의 거리 모노이드 M에 대해, 볼록 선형 순서가 부여된 모든 유한 M-거리 공간의 집합이 라미지 클래스가 되도록 라미지 성질을 일반화한다.
• 모노이드가 반아르키메데스성이거나 아르키메데스성이 아님을 전제로 하지 않고 M-거리 공간에 대한 라미지 확장을 제공함으로써 이전 결과를 일반화한다.
• 모델 이론적 및 조합론적 기법을 사용하여 거리 구조의 더 넓은 클래스에 대해 라미지 성질을 수립한다.
• 거리 공간과 초거리 공간에 대한 이전의 라미지 클래스 결과를 단일 프레임워크 기반으로 통합하고 확장한다. 이 프레임워크는 거리 값이 모노이드에 속하는 방식을 기반으로 한다.
• 결론에서 제안된 lin을 바탕으로, 이러한 구조에서 EPPA와 정적 독립 관계를 증명하기 위한 기초를 마련한다.

제안 방법

• 거리 모노이드 (M, ⊕, ⪯, 0)를 가환 모노이드이자 ⊕에 대해 단조 증가하는 선형 순서를 갖는 것으로 정의한다.
• 거리에 대해 볼록 선형 순서가 부여된 유한 M-거리 공간의 집합 #»MM을 도입한다.
• 최단경로 완비화를 통해 구조를 순서화된 완비로 매핑하는 함자 L⋆를 사용하여 라미지 확장을 구성한다.
• 모노이드 내 블록 개념을 활용하여 일반적인 경우를 유한 블록 경우로 환원하며, 국소 유한성과 융합 성질을 이용한다.
• RM-다중융합 프레임워크와 국소 유한 완비화 성질을 이용하여, L⋆-구조의 집합 M⋆M가 라미지 클래스임을 증명한다.
• 헤르빅-라스카르 정리를 적용하고 완비화 알고리즘을 사용하여, 모든 유한 M-거리 공간이 라미지 성질을 갖는 부분집합에 속함을 보여, 주요 결과를 증명한다.

실험 결과

연구 질문

• RQ1 모든 유한 M-거리 공간이 볼록 선형 순서가 부여된 경우, 임의의 거리 모노이드 M에 대해 이들이 라미지 클래스가 되는가?
• RQ2 모노이드가 반아르키메데스성 또는 아르키메데스성이 아님을 전제로 하지 않고도 일반화된 거리 공간에 대해 라미지 성질을 확립할 수 있는가?
• RQ3 최단경로 완비화 절차는 어떻게 M-거리 공간에 대한 라미지 확장을 구성하는 데 사용될 수 있는가?
• RQ4 모노이드의 블록 분해는 라미지 성질을 증명하는 데 어떤 역할을 하는가?
• RQ5 이 결과는 Λ-초거리 공간이나 거리적으로 동질적인 그래프와 같은 다른 구조로 확장될 수 있는가?

주요 결과

• 모든 유한 M-거리 공간에 대해 볼록 선형 순서가 부여된 집합 #»MM는 임의의 거리 모노이드 M에 대해 라미지 클래스이다.
• 모노이드가 반아르키메데스성이 아님을 전제로 하지 않아도 라미지 성질이 성립하므로, 흐비cka와 네셰트릴의 정리 1.4를 일반화한다.
• 라미지 확장을 L⋆-함수를 통해 구성하고, RM-다중융합 프레임워크를 이용하여 M⋆M가 라미지 클래스임을 증명함으로써 증명에 기초한다.
• 임의의 유한 M-거리 공간 B에 대해, 그 거리 집합 ⟨S⟩가 생성하는 부분구조는 유한 블록 거리 모노이드이며, B는 #»MM의 라미지 부분집합에 속한다.
• 국소 유한 완비화 성질은 유한 구조 중 유한한 부분구조를 갖는 모든 구조가 M⋆M 내에서 완비화됨을 보장하며, 이는 라미지 추론을 가능하게 한다.
• 결론에서 언급된 lin을 바탕으로, 이러한 구조에서 EPPA와 정적 독립 관계를 증명할 수 있는 길이 열린다.