대규모 클리크 수를 가진 토너먼트의 구조적 특징

초록

**
Aboulker·Aubian·Charbit·Lopes가 정의한 토너먼트의 클리크 수 → ω(T)를 연구한다. 저자들은 ω(T)가 충분히 클 경우, T가 두 가지 기본 토너먼트 패밀리 Aₙ, Dₙ 중 하나의 큰 클리크 수를 가진 부분토너먼트를 반드시 포함함을 보인다. 따라서 큰 클리크 수는 일정 크기의 정점 집합으로 인증될 수 있다. 이는 앞선 질문에 대한 해답이며, 큰 이분색 수와 관련된 불가피한 부분토너먼트 연구에도 새로운 통찰을 제공한다.

**

상세 분석

**
본 논문은 토너먼트 T에 대해 정의된 새로운 정수값 → ω(T) — 즉, T의 모든 가능한 백에지 그래프 중 최소 클리크 수 — 를 중심으로 전개된다. 먼저 저자들은 클리크 수가 서브어드디션(정점 분할) 아래에서 가법적이라는 기본 보조정리(Lemma 1)를 제시한다. 이를 통해 ω(T)=n이면, 임의의 i<n에 대해 정확히 i개의 클리크를 갖는 부분토너먼트를 만들 수 있음을 보인다.

핵심은 두 무한 패밀리 Aₙ과 Dₙ이다. Aₙ은 Kim·Kim이 정의한 “산” 구조를 기반으로 하며, Dₙ은 Berger·et al.이 제시한 ∆-구조(세 부분 토너먼트가 순환적으로 완전 연결되는 형태)이다. 두 패밀리 모두 → ω이 무한히 커지는 예시를 제공한다(Lemma 2). 특히 Dₙ은 2ⁿ⁻¹개의 정점을 가지며, Aₙ은 n!에 비례하는 정점 수를 갖는다.

주요 정리(Theorem 3)는 “{Aₙ, Dₙ}-free 토너먼트는 클리크 수가 상수 cₙ 이하”라는 강력한 제한을 제시한다. 이는 Aₙ과 Dₙ이 각각 큰 → ω을 만들 수 있는 최소 구조임을 의미한다. Corollary 4는 이를 일반화해, 어떤 유한한 토너먼트 집합 H가 → ω을 제한하려면 반드시 어느 n에 대해 Aₙ와 Dₙ를 모두 포함해야 함을 밝힌다.

증명 전략은 크게 세 단계로 나뉜다.

1. 산(mountain) 구축: r‑mountain이라는 재귀적 구조를 정의하고, Lemma 9에 의해 그 크기가 (r!)² 이하임을 보인다. Lemma 10·11을 통해 r‑mountain이 존재하면 → ω(T)≥⌊log₂ r⌋임을 얻는다. 이는 큰 → ω이 존재하면 어떤 정점의 아웃‑이웃도 큰 → ω을 가져야 함을 암시한다.
2. bag‑chain 탐색: Dₙ을 점진적으로 확장하려다 실패하면, “bag‑chain”이라 불리는 아크 방향이 대부분 일관된 큰 부분토너먼트가 나타난다. 이 단계에서는 Dₙ을 성장시키는 과정과 bag‑chain이 동시에 존재할 수 없음을 보이며, 결국 bag‑chain이 최대가 되면 남은 정점들은 네 개의 bag‑chain에 잘 제어된 방식으로 붙어 있음을 확인한다.
3. Aₙ 이용한 최종 바인딩: 최대 bag‑chain에 남은 정점들을 Aₙ 구조와 결합해 전체 토너먼트의 → ω을 제한한다. 여기서 Aₙ은 bag‑chain 내부의 클리크 수를 상한시키는 역할을 한다.

결과적으로 Theorem 8은 ω_A(T)와 ω_D(T)라는 두 파라미터(각각 Aₙ, Dₙ가 포함된 최대 n)를 이용해 → ω(T) < f(ω_A(T)+ω_D(T))라는 함수적 상한을 제공한다. 이는 “큰 → ω은 작은 Aₙ·Dₙ 조합으로 인증된다”는 직관을 정량화한 것이다.

또한 Corollary 6은 기존의 이분색 수 결과(Harutyunyan·et al.)와 유사하게, 전체 → ω이 정점별 아웃‑이웃의 → ω의 최대값에 의해 제한된다는 함수를 존재함을 보인다. 마지막으로 Conjecture 5.8(Aboulker·et al.)을 증명해, → ω이 충분히 크면 크기 ℓ(k) 이하의 작은 부분토너먼트가 k 이상의 → ω을 가짐을 보인다. 이는 이분색 수와는 달리 “작은 인증”이 가능한 점을 강조한다.

전체적으로 논문은 토너먼트의 클리크 수라는 새로운 측정값에 대해 구조적 불가피성(inevitability)과 제한성을 동시에 밝혀, 기존의 이분색 수 연구와는 차별화된 새로운 방향을 제시한다.

**