스펙트럴 로바시‑시모노비츠 정리와 삼각형 초과포화

초록

본 논문은 전통적인 에지 기반 로바시‑시모노비츠 정리의 스펙트럴 대응을 제시한다. 그래프 $Y_{n,2,q}$와 $T_{n,2,q}$를 이용해, 스펙트럴 반경이 $\lambda(Y_{n,2,q})$ 이상이면 최소 $q\lfloor n/2\rfloor$개의 삼각형을 포함함을 보이며, $q=O(\sqrt n)$ 한계가 최적임을 증명한다. 또한 $T_{n,2,q}$가 같은 삼각형 수 제한 하에 스펙트럴 반경을 최대로 하는 유일한 극값 그래프임을 확인하고, 삼각형 커버링 수에 대한 스펙트럴 안정성 결과도 제시한다.

상세 분석

논문은 먼저 고전적인 로바시‑시모노비츠 정리(Theorem 1.2)의 스펙트럴 버전을 정의한다. 기존 정리는 “에지 수 $e(G)\ge \lfloor n^2/4\rfloor+q$이면 최소 $q\lfloor n/2\rfloor$개의 삼각형을 포함한다”는 초과포화 현상을 말한다. 스펙트럴 버전에서는 그래프의 스펙트럴 반경 $\lambda(G)$를 기준으로 삼는다. 저자들은 두 종류의 기준 그래프를 만든다.

1. $Y_{n,2,q}$: 완전 이분 그래프 $T_{n,2}$(Turán $K_{⌈n/2⌉,⌊n/2⌋}$)의 큰 파트에 $q$개의 서로 독립적인 매칭을 삽입한 그래프.
2. $T_{n,2,q}$: 같은 $T_{n,2}$에 $q$개의 별 $K_{1,q}$를 삽입한 그래프.

두 그래프는 스펙트럴 반경 순서가 $\lambda(Y_{n,2,q})<\lambda(T_{n,2,q})$임을 보이며, 이는 스펙트럴 초과포화 조건을 완화시키는 역할을 한다.

주요 정리 2.2는 $q\le \frac{1}{11}\sqrt n$ 범위에서 $\lambda(G)\ge\lambda(Y_{n,2,q})$이면 $t(G)\ge q\lfloor n/2\rfloor$임을 증명한다. 여기서 $t(G)$는 삼각형 개수이다. 증명은 (i) 스펙트럴 반경과 에지 수 사이의 기본 부등식 $\lambda(G)\ge 2e(G)/n$을 이용해 $Y_{n,2,q}$의 정확한 스펙트럴 값을 근사하고, (ii) “이중 고유벡터” 기법을 통해 $\lambda(G)$가 충분히 크면 그래프 구조가 $Y_{n,2,q}$와 거의 동일함을 보인다.

정리 2.3은 같은 $q$ 범위에서 $\lambda(G)\ge\lambda(T_{n,2,q})$이면 $t(G)\ge q\lfloor n/2\rfloor$이며, 등호가 성립하는 경우는 오직 $G\cong T_{n,2,q}$ 뿐임을 보여준다. 이는 스펙트럴 반경이 최대인 그래프가 구조적으로 별을 삽입한 형태라는 강력한 유일성 결과다.

정리 2.5는 삼각형 커버링 수 $\tau_3(G)$(모든 삼각형을 최소한 하나씩 포함하는 정점 집합의 최소 크기)에 대한 스펙트럴 안정성을 다룬다. $\lambda(G)\ge\lambda(T_{n,2})$와 $\tau_3(G)\ge s$이면 $t(G)\ge \frac12sn-5s^2$를 만족한다. 이는 기존 에지 기반 안정성 정리(Balogh‑Clemen, Liu‑Mubayi)의 스펙트럴 버전이며, $s$가 고정된 경우 $n\to\infty$일 때 삼각형 수가 선형적으로 성장함을 보인다.

기술적인 핵심은 (1) $Y_{n,2,q}$와 $T_{n,2,q}$의 스펙트럴 반경을 정확히 추정하기 위해 고유값 방정식을 풀고, (2) 스펙트럴 반경이 일정 수준 이상이면 그래프가 “거의 이분” 구조를 갖는다는 구조적 정리를 이용해 삼각형 개수를 하한한다는 점이다. 또한 $q=O(\sqrt n)$ 한계가 최적임을 보이기 위해, $q\gg\sqrt n$일 때 $\lambda(Y_{n,2,q})$와 $\lambda(T_{n,2,q})$가 거의 동일해지면서 삼각형 수 하한이 깨지는 구성을 제시한다. 이는 에지 초과포화와 달리 스펙트럴 초과포화에서는 $q$가 $\sqrt n$ 수준까지 허용될 수 있음을 의미한다.

전반적으로 논문은 스펙트럴 그래프 이론과 전통적인 초과포화 기법을 결합해, 삼각형 개수와 스펙트럴 반경 사이의 새로운 정량적 관계를 확립하고, 극값 그래프의 구조적 유일성을 밝힘으로써 스펙트럴 극값 이론에 중요한 진전을 제공한다.