두 갈래 의사트리에서 사슬의 큰 라므시 차수는 유한하다

초록

본 논문은 두 갈래를 갖는 가산 초동형 의사트리 Ψ에서 모든 유한 사슬이 유한한 큰 라므시 차수를 갖는다는 것을 증명한다. 특히 길이 2 인 사슬의 차수가 정확히 7임을 보이며, 이는 같은 구조에서 반사이즈(antichain) 2 이 무한 차수를 갖는 기존 결과와 대비되는 새로운 현상이다.

상세 분석

논문은 먼저 라므시 이론과 큰 라므시 차수(Big Ramsey degree)의 기본 개념을 정리하고, 초동형 구조 S 에 대한 색칠 문제를 “임의의 색칠에 대해 동형 사본 S₁ 을 찾을 수 있는가”라는 형태로 재구성한다. 두 갈래 의사트리 Ψ는 언어 L ={≤, ∧} 에 의해 정의되며, 각 노드의 하위 집합 D(p) 가 유리수 순서와 동형인 특수한 트리 구조이다. 저자는 기존 연구에서 반사이즈(antichain) 2 가 무한 차수를 갖는 반면, 사슬(chain)은 전혀 다른 거동을 보인다는 점에 주목한다.

핵심 기술은 다음과 같다.

1. 합성 보조정리(Amalgamation Lemmas) – Ψ의 유한 부분구조들 사이에 강한 합성성을 확보하여, 코딩 트리 형태로 구조를 확장할 수 있게 한다.
2. Halpern–Läuchli 변형(Theorem 3.4) – 전통적인 Halpern–Läuchli 정리를 사슬에 맞게 변형시켜, 색칠된 사슬들의 무한 부분집합을 찾는 강력한 파티션 정리를 얻는다. 이는 코딩 트리의 레벨을 이용해 사슬을 “거의 사슬(almost antichain)” 형태로 재구성하는 데 핵심이다.
3. 거의 사슬(almost antichain) 구조 – Ψ의 복제본을 선택하면서도 사슬의 순서를 보존하는 ‘거의 사슬’을 정의하고, 이를 통해 사슬의 색칠을 제한된 경우의 수로 압축한다.
4. 상한과 하한의 일치 – Chodounský·Eskew·Weinert가 제시한 사슬 길이 2 에 대한 하한 ≥7 을 이용하고, 논문에서는 7가지 확장 유형을 구체적으로 기술해 상한을 ≤7 으로 제한한다. 따라서 정확히 7 이라는 값을 얻는다.

이러한 단계들을 통해 저자는 ‘모든 유한 사슬은 유한한 큰 라므시 차수를 가진다’는 일반 명제를 증명하고, 특히 사슬 길이 2 에 대해 차수가 정확히 7임을 확정한다. 이는 초동형 구조에서 부분구조마다 차수가 다르게 나타날 수 있음을 최초로 보여주는 사례이며, 라므시 확장과 동형군의 위상역학 사이의 연결 고리를 새롭게 제시한다.