그래프의 세 번째 인접 고유값 상한 정밀 분석

초록

저자들은 모든 $n\ge 3$인 단순 그래프 $G$에 대해 세 번째 인접 고유값이 $\lambda_3(G)\le \frac{n}{3}-1$임을 증명한다. 이 결과는 $3\mid n$인 경우 완전하게 예각이며, 보다 일반적인 행렬 형태 $0\le a_{ij}\le1$(대각원소는 비음)인 실대칭행렬 $A$에 대해 최하위 두 고유값의 합이 $-\frac{2n}{3}$보다 작지 않다는 새로운 부등식을 도출한다. 이는 Leonida‑Li의 추측을 해결하고, 기존의 Nikiforov 문제에 대한 최적 해답을 제공한다.

상세 분석

본 논문은 그래프 스펙트럼 이론에서 오래된 열린 문제인 “세 번째 인접 고유값의 순수 상한”을 완전히 해결한다. 핵심 아이디어는 그래프의 인접 행렬 $A(G)$와 그 보완 그래프의 인접 행렬 $A(\overline G)$ 사이의 관계 $A(G)+A(\overline G)=J-I$를 이용해 두 행렬의 고유값을 연결시키는 Weyl 부등식을 적용하는 것이다. 이를 위해 저자들은 먼저 보다 일반적인 행렬 클래스 $S_n={A\in\mathbb R^{n\times n}\mid A=A^T,\ 0\le a_{ij}\le1\ (i\neq j),\ a_{ii}\ge0}$에 대해 $\lambda_{n-1}(A)+\lambda_n(A)\ge -\frac{2n}{3}$라는 강력한 하한을 증명한다. 이 증명은 Ky Fan 최소 원리와 “랭크‑2 직교 사영” $Q\in P_2$에 대한 트레이스 최소화 문제를 통해 전개된다. 구체적으로 $Q=RR^T$ 형태로 표현하고, 각 행벡터를 $r_i=c_i(\cos\theta_i,\sin\theta_i)$ 로 파라미터화한 뒤, 복소수 $z_i=c_i e^{i\theta_i}$ 를 도입한다. 이후 삼각함수 부등식 $\lvert\cos x\rvert\le\frac23+\frac7{18}\cos2x-\frac1{18}\cos4x$ 를 활용해 $\sum_{i,j}|q_{ij}|$ 를 $C^2+|S|^2$ 로 제한하고, 다시 $C^2+|S|^2\le 2n$ 를 보인다. 최종적으로 $\operatorname{tr}(AQ)\ge -\frac{2n}{3}$ 를 얻어 $\lambda_{n-1}(A)+\lambda_n(A)\ge -\frac{2n}{3}$ 를 확립한다.

이 행렬 부등식을 그래프에 적용하면, $A(G)+A(\overline G)=J-I$ 의 고유값 구조와 Weyl 부등식 $\lambda_3(G)+\lambda_{n-1}(G)\le\lambda_2(J-I)=-1$ 를 결합해 $\lambda_3(G)\le\frac{n}{3}-1$ 를 도출한다. 경계값의 예시로 $n$이 $3$의 배수일 때 $K_{n/3}\cup K_{n/3}\cup K_{n/3}$ 와 같은 완전 3-분할 그래프가 $\lambda_3=n/3-1$ 을 정확히 달성함을 보여, 결과가 최적임을 확인한다. 또한 $3\nmid n$ 인 경우의 정확한 상한을 아직 알 수 없으며, 이는 향후 연구 과제로 남는다.

이 논문은 기존에 제시된 여러 부분적 결과(예: Hong, Powers, Nikiforov 등)를 통합·강화하고, Leonida‑Li가 제시한 행렬 추측을 완전히 증명함으로써 스펙트럴 그래프 이론에서 중요한 진전을 이룬다. 특히, 랭크‑2 사영을 이용한 트레이스 최소화 기법과 삼각함수 부등식의 조합은 다른 고유값 경계 문제에도 적용 가능성이 높다.