동질성의 여정과 그 유산

이 논문은 ‘로버트 우드로우와의 인연’이라는 개인적 서사를 시작점으로, 동질성 이론, 프라세 이론, 그리고 무한 랜덤 그래프에 이르는 현대 조합·논리학의 주요 흐름을 포괄적으로 정리한다. 첫 장에서는 동질(relational) 구조의 기본 정의를 제시한다. 관계 언어는 상수·함수 기호가 없으며, 도메인 위에 여러 관계만을 둔다. 동질성은 ‘유한 유도 부분구조 사이의 동형이 전체 자동사상으로 확장될 수 있음’으로 정의한다. 저자는 초기 문헌에서 ‘ultrahomogeneous’와 ‘homogeneous’가 혼용된 점을 지적하고, 이를 구분하기 위해 ‘강동질(strongly homogeneous)’과 ‘약동질(weakly homogeneous)’이라는 용어를 도입한다. 특히 모든 유한 부분구조가 강체(rigid)인 경우 두 개념이 일치한다는 점을 강조한다. 이어서 HH‑속성(동형사상-동질성)이라는 변형을 소개하지만, 본 논문에서는 주된 논의 대상이 아니다. 두 번째 장에서는 유한 동질 그래프의 완전한 분류를 제시한다. 가드너(1970)의 정리(정리 2.1)에 따라 동질 그래프는 네 종류(동일 크기의 완전 그래프들의 이산합, 그 보완, 5‑사이클, K₃,₃의 선그래프)만 존재한다. 저자는 t‑동질성(t‑homogeneity)과 t‑튜플 정규성(t‑tuple regularity)을 정의하고, t‑튜플 정규성이 t‑동질성을 함축한다는 사실을 정리한다(정리 2.2). 특히 5‑튜플 정규인 유한 그래프는 자동으로 동질함을 증명함으로써, 강체 구조에서의 동질성 검증을 간소화한다. 슐라플리 그래프와 맥라플린 그래프를 사례로 들어, 4‑동질성은 존재하지만 5‑동질성은 실패하는 구체적 예시를 제공한다. 여기서 제시된 질문 2.1·2.2는 아직 해결되지 않은 문제로, 4‑튜플 정규 그래프의 존재 여부와 스펙트럼이 3‑튜플 정규성을 결정하는지 여부를 묻는다. 세 번째 장은 프라세 이론으로 전환한다. 프라세 클래스는 ‘연령(age)’이라 불리는 유한 구조들의 집합이 합동성(JEP)과 결합성(AP)을 만족할 때, 유일한 가산 동질 구조(프라세 한계)를 생성한다는 정리(정리 3.1)를 제시한다. 저자는 이 이론이 무한 동질 구조를 구축하는 기본 틀임을 강조하고, 특히 모든 유한 그래프의 연령이 프라세 클래스가 되므로 그 한계가 바로 카운터블 랜덤 그래프(R)임을 설명한다. 또한 올리고모픽 군과 ℵ₀‑범주성 사이의 관계를 논의하며, 강체 구조가 올리고모픽 군을 가질 필요는 없지만, 반대로 올리고모픽 군이 반드시 강체 구조를 유도하지는 않는 예시(2‑원소 체 위의 무한 차원 벡터공간)를 제시한다. 질문 3.1은 이러한 차이를 구별할 수 있는 성질을 찾는 것이 목표이다. 네 번째 장에서는 에르되시‑레니 랜덤 그래프와 라도의 명시적 구성법을 소개한다. 무작위 그래프가 거의 확률적으로 ‘확장 성질(extension property)’을 만족함을 보이고, 백앤포스(back‑and‑forth) 논증을 통해 이 성질을 가진 모든 가산 그래프가 동형임을 증명한다. 이는 프라세 한계가 바로 이 랜덤 그래프임을 다시 한 번 확인시킨다. 저자는 이 그래프를 R이라 명명하고, 그 특성(무한 자동사상, 동질성, 모든 유한 그래프를 연령으로 가짐)을 정리한다. 또한 라무식(Ramsey) 이론과의 연관성을 언급하며, 라무식 클래스는 색칠-동형성 조건을 만족하는 반면, 프라세 클래스는 보다 약한 ‘부분 자동사상 연장’ 조건만을 요구한다는 점을 강조한다. 마지막으로, 강체 구조의 프라세 클래스를 라무식 클래스를 일반화하는 새로운 연구 방향으로 제시한다. 이는 라무식 이론에서 요구되는 강한 동형성·색칠 조건을 완화하면서도 구조적 풍부함을 유지할 수 있는 가능성을 열어준다. 논문은 개인적인 서사를 통해 동질성 이론의 발전 과정을 서술하면서, 현대 조합·논리학의 핵심 개념들을 통합적으로 조명하고, 향후 연구에 중요한 질문들을 제시한다.