금지된 전이 토너먼트 블로업 그래프의 전형적 구조

논문은 먼저 전이 토너먼트 \(T_k\) 와 그 \(t\)-블로업 \(T_{r+1}^t\) 의 정의를 소개한다. \(T_{r+1}^t\) 는 각 정점이 크기 \(t\) 인 독립 집합으로 대체되고, 원래 토너먼트의 방향을 그대로 유지하는 구조이며, \(t=1\)일 때는 기존 전이 토너먼트와 동일하다. 서론에서는 Cherlin의 두 가지 추측을 언급하고, Kuhn‑Osthus‑Townsend‑Zhao(KOTZ)의 결과가 전이 토너먼트 자체에 대해 ‘거의 모든’ \(T_{k}\)-프리 방향 그래프가 \(k-1\)‑파트ite임을 증명했음을 정리한다. 이어서 저자는 이 결과를 블로업까지 일반화하고, 가중 파라미터 \(a\) 를 도입해 방향 그래프(\(a=\log 3\))와 일반 유향 그래프(\(a=2\))를 동시에 다루는 목표를 제시한다. **주요 정리** - **정리 1.1 (간략형)**: 모든 정수 \(r\ge2, t\ge1\) 에 대해, 거의 모든 \(T_{r+1}^t\)-프리 방향 그래프와 유향 그래프는 \(r\)-파트ite이다. - **정리 1.2 (정밀형)**: 임의의 \(\alpha>0\) 에 대해 충분히 큰 \(n\) 에선, 예외 그래프 수가 \(f(n,T_{r+1}^t)\cdot2^{-\varepsilon n^2}\) 이하이며, 남은 그래프는 \(\alpha n^2\) 이하의 아크 수정으로 정확히 \(r\)-파트ite 구조가 된다. 여기서 \(f\)와 \(f^*\)는 각각 라벨된 \(r\)-파트ite 방향 그래프와 유향 그래프의 개수이다. **증명 개요** 1. **컨테이너 방법**: Liu(2023)의 하이퍼그래프 컨테이너 정리(정리 2.3)를 적용해, 모든 \(T_{r+1}^t\)-프리 그래프를 ‘컨테이너’ 집합 \(\mathcal C\) 에 포함한다. 각 컨테이너는 복사본이 거의 없고, 가중 크기가 \(ex_a(n,T_{r+1}^t)+\epsilon n^2\) 에 가깝다. 2. **컨테이너 정제**: 제거 보조정리(Lemma 2.4)를 사용해, 컨테이너에서 소수의 아크를 삭제해 실제 \(T_{r+1}^t\)-프리 그래프를 만든다. 이 과정에서도 가중 크기는 크게 감소하지 않는다. 3. **가중 Erdős–Stone 정리**: 정리 3.1을 증명하여, 가중 크기가 \(a\cdot t_r(n)+\gamma n^2\) 이상이면 반드시 \(T_{r+1}^t\) 가 포함된다는 역방향 결과를 얻는다. 이때 방향 정규성 보조정리와 임베딩 보조정리를 활용한다. 4. **안정성 분석**: 정리 4.1과 보조 Lemma 4.2를 통해, 가중 크기가 \(a\cdot t_r(n)-\gamma n^2\) 이하인 \(T_{r+1}^t\)-프리 그래프는 구조적으로 \(DT_r(n)\) 에 매우 가깝다는 것을 보인다. 구체적으로, 축소 그래프 \(R\) 가 거의 완전 \(r\)-파트ite이며, 이를 원 그래프에 ‘리프팅’하면 전체 그래프가 \(\beta n^2\) 이하의 아크 수정으로 \(r\)-파트ite가 된다. 5. **예외 그래프의 수 세기**: 섹션 5.2에서 컨테이너 수와 정제 단계에서 발생한 예외를 정밀히 계산해, 전체 예외 비율이 \(2^{-\varepsilon n^2}\) 정도 이하임을 보인다. **부록 및 향후 과제** 마지막 섹션에서는 결과의 한계와 가능한 확장 방향을 논의한다. 예를 들어, \(T_{r+1}^t\) 외의 다른 블로업 구조(예: 사이클 블로업)나, 가중 파라미터 \(a\) 를 \((1,3/2]\) 구간까지 확장하는 문제 등이 제시된다. 전반적으로, 이 논문은 하이퍼그래프 컨테이너, 가중된 extremal 이론, 그리고 정규성‑임베딩 기법을 결합해, 금지된 복합 구조에 대한 전형적 그래프 이론을 크게 진전시켰다.