색비판 그래프의 초과계수와 스펙트럼 안정성

초록

본 논문은 Nikiforov의 스펙트럼 조건 ρ(G) > √{(1‑1/r)·2m} 하에서 색비판 그래프 F(χ(F)≥4)의 복사본 수를 정확한 상수와 함께 하한을 제시한다. 또한 복사본이 거의 없는 경우 그래프의 스펙트럼 반경이 Turán 그래프와 거의 일치함을 보이는 새로운 안정성 정리를 증명한다.

상세 분석

논문은 먼저 기존의 Nikiforov 정리를 색비판 그래프 전반으로 확장한다. 핵심 아이디어는 “진보적 귀납법(progressive induction)”을 이용해, 복사본 수 N_F(G)=o(m^{|F|/2})인 그래프 G에 대해 스펙트럼 반경 ρ(G)의 상한을 정확히 추정하는 것이다. r≥3인 경우 ρ(G)≤√{(1‑1/r+o(1))·2m}, r∈{1,2}인 경우 ρ(G)≤√{(1+o(1))·m}임을 보이며, 이는 기존 결과와 일치하면서도 최적임을 증명한다.

다음 단계에서는 “ε‑dense” 서브그래프 개념을 도입해, Nikiforov 조건을 만족하는 그래프가 반드시 많은 F‑복사본을 포함한다는 정량적 초과계수(N_F(G)≥(γ_F‑o(1))·m^{(|F|‑2)/2})를 얻는다. 여기서 γ_F는 색비판 그래프 F에 대한 정확한 상수이며, c(F)라 불리는 Turán 그래프에 한 변을 추가했을 때 얻어지는 복사본 수의 주계수 α_F와 직접 연결된다. 특히, 정리 1.6은 ρ(G)≥√{(1‑1/r)·2m}이면 N_F(G)≥(2r/(r‑1)·α_F+o(1))·m^{|F|/2‑1}임을 보여, 기존의 K_{r+1}에 대한 하한을 일반 F로 일반화한다.

안정성 측면에서는 두 가지 주요 결과가 있다. 첫째, “에지‑스펙트럼 초과계수 안정성”(Theorem 1.3)에서는 ρ(G)가 임계값에 가깝다면 G는 r‑partite Turán 그래프와 o(m)개의 에지만 차이 나는 구조임을 보인다. 둘째, 이를 이용해 전통적인 Erdős–Simonovits 안정성 정리를 복사본이 거의 없는 경우에도 확장한다(정리 1.4, 1.5). 이러한 결과는 기존의 F‑free 그래프에 대한 안정성 정리를 포함하면서도, 복사본 수가 o(n^{|F|}) 수준인 희소한 경우까지 포괄한다.

기술적인 핵심은 (i) 색비판 그래프의 “좋은(edge‑good)” 색칠을 이용한 c(F)의 정확한 추정, (ii) 스펙트럼 반경과 복사본 수 사이의 불등식을 정밀하게 연결하는 새로운 불변량(α_F, γ_F) 도입, (iii) 그래프 제거 보조정리와 정규화 기법을 결합한 진보적 귀납법이다. 논문은 또한 기존 결과인 Bollobás–Nikiforov의 완전 그래프 카운팅 부등식, Li–Liu–Zhang의 K_{r+1} 초과계수 등을 특별한 경우로 복원한다. 마지막으로 몇 가지 개방문제(예: 색비판 그래프의 정확한 상수 γ_F를 구하는 문제, 희소 그래프에서의 스펙트럼‑복사본 관계 등)를 제시하며 향후 연구 방향을 제시한다.