하린 정상 스패닝 트리 추측 증명 보완: 지배 토르소의 증강 보조정리 정정

본 논문은 최근 맥스 피츠가 발표한 “Halin’s Normal Spanning Tree Conjecture” 증명의 핵심 단계인 지배 토르소(dominated torso) 구성의 신뢰성(faithfulness) 증명에 존재하는 오류를 지적하고, 이를 정정하는 새로운 증명을 제시한다. 논문의 흐름은 다음과 같다. 1. **배경 및 정의** - 정상 스패닝 트리(normal spanning tree)와 그래프의 색상수(countable coloring number)의 정의를 복습한다. - Halin의 추측을 정리하고, 피츠가 제시한 정리 1(무한 연결 그래프가 모든 마이너에 대해 색상수가 가산이면 정상 스패닝 트리를 가진다)와 그 증명에 사용된 분해 보조정리(Lemma 2)를 소개한다. - Lemma 2에 의해 얻어지는 무한 연속 증가 연합 \(G_i\)들의 특성(유한 부착, 무한하지만 크기 \(<\kappa\) 등)을 설명한다. 2. **핵심 주장과 기존 증명의 문제점** - Claim 3(각 \(V(G_i)\)는 \(G\)에서 분산 집합들의 가산 합)과 이를 보이기 위해 필요한 “지배 토르소 \(\hat G_i\)”의 특성(연결, 신뢰, 보존)을 언급한다. - 기존 증명에서는 텐드릴(tendril) \(S\)에 대해 \(K\)-투사 \(S'\)를 정의하고, \(F\subseteq V(K)\)가 \(U\)와 \(S'\)를 분리하면 \(X=(F\cap V(H))\cup\{N_G(D):D\in D',v_D\in F\}\)가 \(U\)와 원 텐드릴 \(S\)를 분리한다는 주장을 사용한다. - 예시 4를 통해 이 주장이 일반적으로 성립하지 않음을 보인다. 구체적으로, \(D''\)에 속하는 무한 성분이 텐드릴에 포함될 때, 기존의 \(X\)는 해당 성분에 연결된 정점들을 포함하지 못해 분리가 실패한다. 3. **수정된 증강 보조정리(Augmentation Lemma)의 제시** - 새로운 보조정리(Lemma 5)에서는 “지배 토르소 \(K\)”가 여전히 연결·보존·신뢰성을 갖지만, 신뢰성을 보장하기 위한 분리 집합을 새롭게 정의한다. - 두 종류의 보조 성분 집합을 도입한다: \(\hat D'=\{D\in D':v_D\in F\}\)와 \(\hat D''=\{D\in D'':\exists n\ (v'_n=D\ \text{and}\ v_{n+1}\in F)\}\). - 이를 합친 \(\hat D=\hat D'\cup\hat D''\)를 이용해 수정된 분리 집합을 \