2 수축 가능 하이퍼트리의 자유 하이퍼그래프 수와 무작위 Turán 문제

초록

이 논문은 2-수축 가능(k‑트리) 하이퍼그래프 H에 대해 자유 하이퍼그래프의 개수 forb(n,H)가 2^{(σ(H)−1+o(1))·\binom{n}{k‑1}}와 정확히 일치함을 보이며, 이를 통해 k≥5인 경우 선형 ℓ‑사이클 C^{(k)}_ℓ에 대한 forb(n,C^{(k)}_ℓ)=2^{(⌊(ℓ−1)/2⌋+o(1))·\binom{n}{k‑1}}를 얻는다. 핵심은 델타‑시스템 방법의 초과포화 변형과 컨테이너 기법이다. 또한 무작위 Turán 문제에 대한 최적 상한도 도출한다.

상세 분석

논문은 먼저 기존의 비‑k‑파트리트(k‑비퇴화) 하이퍼그래프에 대해 알려진 “forb(n,H)=2^{(1+o(1))ex(n,H)}” 결과와 달리, k‑파트리트(퇴화) 하이퍼그래프에 대한 정확한 상한을 찾는 것이 얼마나 어려운지를 서술한다. 특히, Ferber‑McKinley‑Samotij이 제시한 “forb(n,H)=2^{O(ex(n,H))}”는 상수 계수만을 제어할 뿐, (1+o(1)) 수준의 정밀도는 부족했다. 저자들은 이러한 격차를 메우기 위해 2‑수축 가능(k‑트리)라는 새로운 구조적 클래스를 정의한다. 여기서 σ(H)는 H의 최소 교차절단 크기로, k‑파트리트 하이퍼그래프는 언제나 교차절단을 갖는다. 핵심 정리는 모든 2‑수축 가능 k‑트리 H에 대해 \