[논문 리뷰] Homomorphism and embedding universal structures for restricted classes

Jan Hubička, Jaroslav Nešetřil|arXiv (Cornell University)|2009. 09. 27.

Advanced Topology and Set Theory참고 문헌 20인용 수 13

한 줄 요약

이 논문은 유비쿼터스 초월성과 임bedding-유비쿼터스 성질을 갖는 구조의 새로운 조합적 구성법을 제시한다. 이는 일반화된 초등동형성 구조의 리프트와 샤프트를 이용하여 이루어지며, 유한한 연결 그래프에서의 호모모르피즘을 금지하는 클래스에서, 모델 이론적 방법을 사용한 명시적 증명을 통해 유비쿼터스 객체의 존재를 보이고, 짝수-홀수 거리 측도를 사용한 이중성과 새로운 유형의 유르소프 공간의 존재를 입증한다.

ABSTRACT

This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of structures (thus reproving a result of Cherlin, Shelah and Shi) and on the other side this leads to the new proof of the existence of dual objects (established by Nešetřil and Tardif). Our explicite approach has further applications to special structures such as variants of the rational Urysohn space. We also solve a related extremal problem which shows the optimality (of the used lifted arities) of our construction (and a related problem of A. Atserias).

연구 동기 및 목표

• 유한한 연결 그래프에서의 호모모르피즘을 금지하는 클래스에서, 호모모르피즘-유비쿼터스 구조의 존재에 대한 새로운 명시적이고 조합적인 증명을 제공한다.
• 모든 금지된 구조가 관계적 트리인 클래스에서 이중성(유한한 호모모르피즘-유비쿼터스 구조)의 존재를 재증명하고 확장한다.
• 일반화된(초등동형성) 구조의 리프트와 샤프트 프레임워크를 통해 유비쿼터스 및 호모모르피즘-유비쿼터스 구조의 연구를 통합한다.
• 리프트된 아리티와 관련된 극값 문제를 해결하여, 이 구성 방법의 최적성을 보인다.
• 짝수-홀수 거리 측도를 사용한 새로운 유형의 유르소프 공간을 도입하고 구성한다. 이는 고전적인 유리수 유르소프 공간을 일반화한다.

제안 방법

• 일반화된 초등동형성 구조에서 리프트(확장)와 샤프트(환원)를 사용하여 유비쿼터스 객체를 구성한다.
• Fraïssé 극한 구성법을 적용하여, 거리가 짝수 길이와 홀수 길이의 산책 길이 쌍으로 표현되는 짝수-홀수 거리 측도 공간을 정의한다.
• 정점이 유한한 정의역을 가진 함수 $ f $인 거리 공간 $ \mathbf{U} $를 정의하며, 이는 닫힘 조건과 거리 일致 조건을 만족한다.
• 요소별 최소값을 사용하여 공통 확장을 통한 최소값을 통해 거리 $ d_{\mathcal{U}}(f,g) $를 구성한다.
• 짝수-홀수 거리 측도 공간의 클래스가 합성 성질을 만족함을 증명하여, 일반화된 구조의 존재를 보장한다.
• 길이 $ l $ 이하의 홀수 사이클을 금지하는 그래프 클래스를, 거리 쌍으로부터 유도된 그래프 구성법을 통해 일반화된 짝수-홀수 거리 측도 공간 $ \mathbf{U}_l $의 부분공간으로 환원한다.

실험 결과

연구 질문

• RQ1 유한한 연결 그래프 $ \mathbf{F}_1,\dots,\mathbf{F}_t $에서의 호모모르피즘을 금지하는 클래스 $ \mathop{\mathrm{Forb}}_h(\mathbf{F}_1,\dots,\mathbf{F}_t) $에서, 모델 이론적 도구 없이도 호모모르피즘-유비쿼터스 구조의 존재를 조합적으로 증명할 수 있는가?
• RQ2 호모모르피즘-유비쿼터스와 임베딩-유비쿼터스 구조 사이의 관계는, 금지된 호모모르피즘으로 정의된 클래스에서 어떻게 되는가?
• RQ3 모든 금지된 구조가 관계적 트리인 클래스에서 이중성(유한한 호모모르피즘-유비쿼터스 구조)을 명시적으로 구성할 수 있는가?
• RQ4 리프트와 샤프트를 통한 유비쿼터스 구조의 구성이 아리티와 복잡도 측면에서 최적인가?
• RQ5 짝수-홀수 거리 측도를 사용한 유르소프 공간의 변종을 구성할 수 있으며, 그 구조적 성질은 무엇인가?

주요 결과

• 유한한 연결 그래프 $ \mathbf{F}_i $에서의 호모모르피즘을 금지하는 클래스 $ \mathop{\mathrm{Forb}}_h(\mathbf{F}_1,\dots,\mathbf{F}_t) $에서 호모모르피즘-유비쿼터스 구조의 존재에 대한 새로운 조합적 증명이 제시되며, 이는 Cherlin, Shelah, 및 Shi의 결과를 재확인한다.
• 이중성(유한한 호모모르피즘-유비쿼터스 구조)의 구성이 명시적으로 제공되며, 이는 Theorem 1.2를 새로운 방식으로 증명한다.
• 일반화된 짝수-홀수 거리 측도 공간 $ \mathbf{U} $가 짝수-홀수 거리 측도 공간의 Fraïssé 극한으로 구성되며, 합성 성질을 만족한다.
• 모든 쌍 $ d(x,y) = (a,b) $에 대해 $ a+b \leq l $ 인 경우가 없는 짝수-홀수 거리 측도 공간의 클래스 $ \mathcal{K}_l $은 유비쿼터스이자 균일한 구조 $ \mathbf{U}_l $를 갖는다.
• 거리 쌍 $ (a,1) $을 가진 정점들을 연결하여 정의된 그래프 $ \mathbf{G}_l $은 모든 가산 그래프 중에서 길이가 $ l $ 이하인 홀수 사이클을 금지하는 클래스에 대해 유비쿼터스이다.
• 유한한 정의역과 짝수-홀수 거리 값이 있는 함수 $ f $를 통한 $ \mathbf{U} $의 명시적 구성은, 케테보프 함수와 유사한 일반화된 짝수-홀수 거리 측도 공간을 유도한다.