원형 호 그래프의 터란형 한계와 최적 구조

초록

본 논문은 n개의 원형 호 집합에 대해 최소·최대 겹침 수 m, M이 주어졌을 때, 그 교차 그래프가 가질 수 있는 최대 간선 수를 정확히 규정한다. 핵심은 “러닝 카운트”와 “LR‑시퀀스”를 이용한 정량적 분석이며, 이를 통해 경계가 샤프함을 보이는 구성과, 충분히 많은 간선을 가질 경우 반드시 M개의 호가 한 점을 공유한다는 Turán‑형 정리를 제시한다. 또한 m=0인 경우 기존 구간 그래프 결과와 일치함을 확인하고, 정치적 스펙트럼을 원형으로 보는 투표 모델에 적용 가능함을 논한다.

상세 분석

이 논문은 원형 호 그래프(원 위에 놓인 연결된 호들의 교차 그래프)라는 특수한 교차 그래프 클래스에 대해 Turán‑형 문제를 새롭게 정의하고 해결한다. 기존 Turán 정리는 일반 그래프에서 “충분히 많은 간선 ⇒ K_r 존재”를 보였지만, 원형 호 그래프는 Helly 성질이 일반적으로 성립하지 않으므로 클리크와 실제 겹침 점 사이의 관계가 복잡하다. 저자들은 이를 극복하기 위해 호 자체의 combinatorial 구조를 직접 다루는 방법을 도입한다.

핵심 도구는 LR‑시퀀스와 러닝 카운트이다. 원을 시계방향으로 돌며 각 호의 왼쪽 끝(L)과 오른쪽 끝(R)을 기록한 문자열이 LR‑시퀀스이며, 각 기호 바로 오른쪽에서의 겹침 수를 러닝 카운트라 정의한다. 러닝 카운트는 최소 m에서 최대 M까지 변동하고, 연속된 기호 사이에서는 ±1만 변한다는 제약을 갖는다.

정리 7(Edge Formula)은 이 러닝 카운트 합 C와 호의 수 n, 그리고 이중 교차(두 호가 서로의 양 끝점을 모두 포함하는 경우) 수 d 사이에
\