방향 그래프에서 스팬닝 트리의 최소 반정도 임계값: 3/8 + γ

초록

이 논문은 충분히 큰 정점 수 n을 갖는 방향 그래프 G가 최소 반정도 δ⁰(G) ≥ (3/8 + γ)n이면, 최대 차수가 Δ인 모든 방향 트리 T (|V(T)| = n)를 G에 포함시킬 수 있음을 보인다. 이 임계값은 기존의 방향 해밀턴 사이클 결과와 일치하며, asymptotically 최적임을 기존 구성으로 증명한다.

상세 분석

본 연구는 방향 그래프에서 스팬닝 트리(전정점 트리)의 포함 문제를 다루며, 특히 최소 반정도(semidegree) 조건이 해밀턴 사이클 임계값과 동일하게 작용한다는 점을 밝혀냈다. 기존에는 무방향 그래프에서 최소 차수 ≥ (1/2 + γ)n이면 모든 최대 차수 Δ인 스팬닝 트리를 포함한다는 Komlós‑Sárközy‑Szemerédi 정리가 알려져 있었다. 방향 그래프에 대한 대응 결과는 Ghouila‑Houri의 강연결 조건(δ⁰≥n/2)과 그 후속 연구들에서 해밀턴 사이클에 대한 3/8 + γ 임계값이 제시되었으나, 트리 포함에 대한 결과는 부재했다.

저자들은 먼저 강건한 외확장(robust (ν,τ)-out‑expander) 개념을 도입한다. 이는 임의의 중간 크기 집합 S에 대해 S로부터 적어도 νn개의 아크가 들어오는 정점이 |S|+νn개 이상 존재함을 의미한다. 기존 연구(Kühn‑Osthus‑Treglown)에서 이러한 그래프는 해밀턴 사이클을 포함한다는 것이 알려져 있었으며, 논문은 이를 확장해 동일한 조건 하에 모든 최대 차수 Δ인 방향 스팬닝 트리도 포함한다는 정리를 증명한다(정리 1.4).

핵심 기술은 디그라프 정규성 정리와 Blow‑up 정리를 결합한 복합적인 임베딩 전략이다. 정규성 정리를 통해 그래프를 ε‑정규 파티션으로 나누고, 축소 그래프 R을 만든 뒤, R이 원래 그래프의 최소 반정도와 확장성을 보존함을 보인다. 이후 무작위 워크를 이용해 트리의 정점을 R의 클러스터에 균등하게 배정한다. 여기서 ‘체리 속성(cherry property)’이라 불리는 정규 디그라프가 필요하며, 이는 랜덤 워크가 충분히 섞여 균등 분포에 근접하도록 보장한다.

스팬닝 트리의 경우, 클러스터 내 남은 정점 수가 ε|V_i|보다 작아지는 문제를 해결하기 위해 Blow‑up 정리를 적용한다. 이를 위해 R에서 방향 해밀턴 사이클 C를 찾아 해당 아크를 초정규(super‑regular)하게 만든 뒤, 트리의 특정 ‘특수 아크’를 C에 매핑하는 흡수(absorbing) 속성을 설계한다. 트리 구조에 따라 잎이 많거나, 일정 길이의 베어 패스가 다수 존재하거나, 전환점(switch)이 많은 경우를 구분해 각각에 맞는 특수 아크 집합을 선택한다.

예외 정점(V₀) 처리는 ‘스큐드‑트래버스(skewed‑traverses)’ 기법을 활용한다. V₀의 각 정점에 대해 충분히 많은 아웃·인 아크를 갖는 두 클러스터 V_i⁺, V_i⁻를 찾아, 특수 패스의 시작점을 조정함으로써 예외 정점을 트리 임베딩에 끌어들인다. 이 과정에서 클러스터 크기와 특수 아크 배분이 크게 변하지 않도록 정밀한 균형 조정이 필요하다.

마지막으로, 전체 임베딩을 완성하기 위해 트리를 두 부분 T_A, T_B로 분할하고, 각각을 별도의 강건 확장 서브그래프 D_A, D_B에 매핑한다. D_B는 작은 예외 집합만을 포함하도록 설계해 스큐드‑트래버스로 예외 정점을 처리하고, D_A는 예외 정점이 없도록 만든다. 두 부분을 각각 Blow‑up 정리를 통해 임베딩한 뒤, 특수 아크를 통해 연결함으로써 전체 트리를 완전하게 삽입한다.

이러한 일련의 과정은 최소 반정도 (3/8 + γ)n이라는 임계값이 충분히 강력함을 보여준다. 또한, Kelly‑Kühn‑Osthus가 제시한 (3/8 + γ)n 임계값이 해밀턴 사이클에 대해 정확히 최적임을 증명한 구성(정규 토너먼트와 파티션 구조)을 그대로 이용해, 트리 포함 문제에서도 동일한 하한이 존재함을 확인한다. 논문은 마지막에 두 개의 개방 문제를 제시한다: (1) 정확한 (정수) 임계값을 구하는 문제와 (2) 최대 차수가 n/ log n 수준까지 성장하는 트리의 포함 임계값을 찾는 문제이다.