Turán 극값 그래프와 부호라플라시안 스펙트럼 Turán 극값 그래프의 일치성

초록

본 논문은 색깔수 r ≥ 3인 그래프 F에 대해 Turán 수가 t_r(n)+O(1)인 경우, 충분히 큰 n에 대해 부호라플라시안 스펙트럼 최댓값을 갖는 F‑free 그래프 집합 Ex_ssp(n,F)가 전통적인 Turán 극값 그래프 집합 Ex(n,F)와 동일함을 증명한다. 정규성 정리와 Füredi의 안정성 정리를 핵심 도구로 사용한다.

상세 분석

논문은 먼저 기존 연구에서 r = 2인 경우, 즉 삼각형, 홀사이클, 책(Book) 등에서 부호라플라시안 스펙트럼 최적 그래프가 Turán 그래프와 다를 수 있음을 보여준 사례들을 정리한다. 그런 뒤 r ≥ 3이고 ex(n,F)=t_r(n)+O(1)인 모든 그래프 F에 대해, “정규성 방법”과 “Füredi 안정성 정리”를 결합한 새로운 구조 정리를 제시한다. 핵심은 최소 차수가 (1−1/r−ε)n을 초과하는 F‑free 그래프 G를 고려했을 때, 정규성 분할을 적용하면 거의 완전한 r‑partite 구조가 드러난다. 정규성 파트 사이의 밀도가 충분히 높고, 비정규 파트와의 에지는 ε·n² 수준으로 제한될 수 있다. 이를 통해 G는 K_{r+1}를 포함하지 않으며, Lemma 2.3을 이용해 r‑chromatic 부분그래프 H를 추출한다. H의 각 파트 크기는 (1/r±O(√ε))·n 범위에 머물고, 내부 에지는 상수 c₀ 이하로 제한된다. 이후 정밀한 계수 계산을 통해, 만약 G가 Turán 그래프와 차이가 있다면 F가 H 안에 삽입될 수 있음을 보이며 모순을 얻는다. 따라서 최적 부호라플라시안 스펙트럼을 갖는 그래프는 반드시 Turán 그래프 T_r(n)이어야 한다. 논문은 이 구조 정리를 바탕으로 Theorem 1.4를 증명하고, 기존에 제시된 Desai 등(2022)의 “팬 그래프에 대한 부호라플라시안 Turán 문제”에 대한 부정적 답변도 제공한다. 전체 증명 과정은 ε, η, k₀ 등 여러 작은 파라미터를 적절히 선택해 정규성 정리와 안정성 정리의 가정을 만족시키는 방식으로 진행된다. 결과적으로 r ≥ 3인 경우, Turán 수가 t_r(n)+O(1)인 모든 그래프 F에 대해 부호라플라시안 스펙트럼 최적 그래프와 전통적인 Turán 극값 그래프가 완전히 일치한다는 강력한 일반화가 얻어진다.