밀도 높은 그래프에서 에르되시 소스 추측의 점근적 버전과 그 확장

논문은 먼저 에르되시‑소스 추측의 배경과 기존 연구 동향을 소개한다. 에르되시와 소스가 제안한 원래 형태는 평균 차수가 k‑1 보다 큰 모든 그래프가 k개의 간선을 가진 모든 트리를 포함한다는 것이었다. 그러나 이 조건만으로는 트리의 최대 차수에 대한 제한 없이 모든 경우를 포괄하기 어렵다. 특히, 최소 차수가 k/2 이면서 차수 k 인 정점이 하나뿐인 경우는 트리 삽입이 실패한다는 반례가 알려져 있다. 이를 보완하기 위해 Klimošová, Piguet, Rozhoň은 “최소 차수 k/2 와 차수 k 인 정점이 n/(2√k) 개 이상”이라는 조건을 제시했으며, 이는 아직 완전히 증명되지 않았다. 본 연구는 이 조건을 조밀 그래프(즉, 정점 수에 비례하는 간선 수를 가진 그래프)에서 점근적으로 증명한다. 구체적으로, 임의의 양수 η, q에 대해 n이 충분히 크고 k ≥ q n인 경우, 최소 차수가 (1+η)k/2 이고 차수가 (1+η)k 인 정점이 η n 개 이상 존재하면, 그 그래프는 k개의 간선을 가진 모든 트리를 포함한다는 정리(Theorem 1.3)를 제시한다. 이 정리는 기존의 평균 차수 > k‑1 조건을 완화하고, 트리의 최대 차수에 대한 제한을 없애는 점에서 중요한 진전이다. 정리의 증명은 Szemerédi 정규성 보조정리를 기반으로 한다. 먼저 호스트 그래프 G에 정규성 분해를 적용해 군집 집합을 얻고, 각 군집 사이의 간선 밀도를 이용해 “축소 그래프”를 만든다. 이때 군집의 크기는 n에 비례하므로, 정규쌍의 밀도와 정규성 오차를 이용해 충분히 큰 가중 차수를 보장한다. 다음으로 트리를 구조적으로 분해한다. 트리 T의 “컷 정점” 집합을 선택해 T를 여러 개의 작은 “관목”으로 나눈다. 각 관목은 크기가 상수 수준이거나, 최소 차수가 충분히 큰 군집에 매핑될 수 있도록 설계된다. 이때 핵심 아이디어는 “스큐 매칭 페어”를 도입하는 것이다. 기존 매칭은 양쪽 정점에 동일한 가중치를 부여했지만, 스큐 매칭은 한쪽 정점에 더 큰 가중치를 할당해 트리의 비대칭적인 구조를 정확히 반영한다. 이를 위해 fractional matching 이론, Gallai‑Edmonds 분해, 그리고 새로운 “c‑optimal” 매칭 개념을 활용한다. 구조적 명제(Prop 4.2)는 이러한 스큐 매칭이 존재함을 보이며, 이를 위해 여러 보조 정리(기본 매칭, 고급 매칭, 균형 매칭 등)를 차례로 증명한다. 특히, “fractional matching cover case”, “skew‑matching cover case”, “balanced case” 등을 구분해 각각에 맞는 매칭 구조를 구축한다. 그 후, 트리 코팅 레마(Lemma 4.1)를 이용해 트리의 구조를 군집 수준에서 “코팅”한다. 즉, 각 관목을 군집에 할당하고, 관목 사이의 연결을 스큐 매칭에 의해 정해진 두 군집 사이에 배치한다. 마지막으로 트리 임베딩 레마(Lemma 4.5)를 적용해 실제 정점에 매핑한다. 이 단계에서는 정규쌍의 균등성, 확률적 선택, 그리고 “시드”와 “뿌리” 정점의 배치를 통해 전체 트리를 완전하게 삽입한다. 정리 1.3으로부터 두 개의 중요한 추론을 얻는다. 첫 번째는 Corollary 1.4로, 평균 차수가 (1+η)k 인 조밀 그래프는 k개의 간선을 가진 모든 트리를 포함한다는 점근적 에르되시‑소스 추측이다. 이는 기존 결과에서 트리의 최대 차수가 o(k) 이어야 한다는 제한을 없애며, Ajtai‑Komlós‑Simonovits‑Szemerédi가 제시한 스케치와 비교해 평균 차수에 약간의 여유만 있으면 충분함을 보여준다. 두 번째는 Corollary 1.5로, 포크로프스키의 “하이퍼‑스테이빌리티” 정리와 결합해, 최소 차수가 (1+η)k/2 이고 차수가 (1+η)k 인 정점이 충분히 많은 희소 그래프에서도 제한 차수(Δ) 트리를 삽입할 수 있음을 보인다. 이는 희소 그래프에서의 트리 임베딩 문제를 조밀 그래프 결과에 귀착시킨다. 또한, Corollary 1.6을 통해 다중 색상 라마누잔 수에 대한 점근적 상한을 얻는다. r색상에서 각 색상에 대해 충분히 큰 트리들이 주어지면, 전체 라마누잔 수는 각 트리 정점 수의 합에 (1+ε)배 이하가 된다. 이는 Erdős‑Graham의 라마누잔 추측을 점근적으로 확인하는 결과이며, 기존에 두 색상 경우만 다루던 결과를 일반 r색상으로 확장한다. 마지막으로 논문은 향후 연구 방향을 제시한다. 스큐 매칭 기법을 다른 그래프 임베딩 문제에 적용하거나, 조밀 그래프가 아닌 일반 그래프에서도 최소 차수와 최대 차수 조건을 동시에 만족하는 새로운 임베딩 기준을 탐구할 수 있다. 또한, 현재 증명에서 사용된 정규성 파라미터와 스큐 매칭 가중치의 최적화를 통해 상수 수준의 개선을 기대한다.