볼보라스‑니키포로프 추측의 완전다중파트와 고밀도 K₄ 프리 그래프에 대한 증명

논문은 먼저 Bollobás–Nikiforov(BN) 추측을 소개한다. 이 추측은 임의의 비완전 그래프 G에 대해 λ₁²+λ₂² ≤ 2(1−1/ω(G))·m 이라는 부등식을 제시한다. 여기서 λ₁≥λ₂≥…≥λ_n은 인접 행렬의 고유값, m은 변의 개수, ω(G)는 최대 클리크의 크기이다. 기존에는 ω=2(삼각프리), 약하게 완전 그래프, 정규 그래프 등 몇몇 특수 경우에만 증명되었다. 논문은 두 주요 결과를 제시한다. **Theorem 1.2 (완전다중파트 그래프)** G = K_{n₁,…,n_r} (r≥2, n=n₁+…+n_r ≥ r+1)에 대해 λ₁²+λ₂² ≤ 2(1−1/r)·m 이며, 등호는 n₁=…=n_r인 균형 파트 그래프 T(n,r)에서만 성립한다. 증명은 다음 단계로 구성된다. 1. **스펙트럼 분해**: 각 파트 V_i에 대해 영 고유값을 (n_i−1) 차원씩 확보, 총 n−r 차원의 영 고유공간을 만든다(Lemma 3.1). 2. **세컨얼 방정식**: 영 고유공간에 수직인 고유벡터는 파트마다 상수값을 갖는다. 이를 이용해 ∑_{i=1}^r n_i/(λ+n_i)=1이라는 방정식을 도출(Lemma 3.2). 이 방정식은 정확히 하나의 양근 α₁과 나머지는 음근을 가진다. 3. **λ₂=0**: n>r이면 영 고유공간 차원이 최소 1이므로 두 번째 큰 고유값 λ₂는 0이다. 4. **Nikiforov의 스펙트럴 Turán 정리 적용**: λ₁ ≤ √{2(1−1/r)m}이므로 λ₁²+λ₂² ≤ 2(1−1/r)m이 된다. 등호 조건은 정규화된 Turán 그래프와 일치한다. **Theorem 1.3 (K₄‑프리 그래프의 안정성)** 임의 ε>0에 대해 δ(ε)>0가 존재해, K₄‑프리 그래프 G가 λ₁² > (4/3−δ)m 를 만족하면 G는 εn² 이하의 변형으로 완전 삼분 그래프 T₃에 가까워진다. 핵심 도구는: - **Zykov symmetrization**: 비인접 정점 u, v에 대해 u의 이웃을 v와 동일하게 바꾸는 연산. 이 연산은 K₄‑프리성을 보존하고, 스펙트럼을 감소시키지 않는다(Lemmas 4.2, 4.3). - **Nikiforov의 스펙트럴 안정성 정리**: λ₁²가 Turán 상한에 충분히 가깝다면 그래프는 작은 편집으로 Turán 그래프와 동형이다. - **Weyl 부등식**: 인접 행렬의 작은 차이가 고유값에 미치는 영향을 정량화한다. **Corollary 1.4 (밀도 높은 K₄‑프리 그래프)** c>0이 주어지면 충분히 큰 n에 대해, m≥c n²인 K₄‑프리 그래프 G (K₃가 아님)에서는 λ₁²+λ₂² ≤ 4m/3 가 항상 성립한다. 증명은 두 경우로 나뉜다. - λ₁²가 (4/3−δ)m 보다 크면 Theorem 1.3을 적용해 G를 삼분 그래프 H와 εn² 이하의 편집으로 연결하고, H에서 λ₂=0임을 이용해 λ₁²+λ₂² ≤ 4m/3+o(m) 를 얻는다. - λ₁²가 (4/3−δ)m 이하이면 단순히 λ₁²+λ₂² ≤ 4m/3이 바로 성립한다(λ₂²는 트레이스 식과 음이 고유값의 제한을 이용해 충분히 작음). **추가 논의** 마지막 섹션에서는 α(G)≥n/3인 경우 Hoffman‑bound가 λ₁·λ_n 관계를 이용해 BN 추측을 증명하려 할 때 발생하는 정확한 장애물을 식별한다. 즉, 독립집합이 너무 커서 λ_n이 충분히 음수가 되지 않아 λ₁·λ_n이 원하는 상한보다 크게 된다. 이는 기존 Hoffman‑bound 접근법이 이 경우에 한계가 있음을 보여준다. **결론 및 향후 과제** 논문은 BN 추측의 두 주요 미해결 영역을 해결함으로써 스펙트럴 그래프 이론과 조합적 구조 사이의 깊은 연관성을 강조한다. 남은 문제는 r≥4인 K_r‑프리 그래프에 대한 일반화와, 독립집합이 큰 경우에 대한 새로운 고유값 경계(예: 개선된 Hoffman‑bound) 개발이다.