스펙트럼으로 보는 색칠수의 새로운 통합 하한

초록

본 논문은 인접 행렬, 라플라시안, 부호 없는 라플라시안의 모든 고유값을 이용해 색칠수 χ에 대한 하한을 통합적으로 제시하고, 정규화 인접 행렬을 통해 기존의 여러 결과를 하나의 식으로 묶는다.

상세 분석

색칠수 χ는 그래프 이론에서 핵심적인 정수 파라미터이며, 스펙트럼을 이용한 하한은 구조적 정보를 정량화하는 강력한 도구이다. 가장 유명한 결과는 호프만(Hoffman)의 불평등 χ ≥ 1 + μ₁/(-μ_n)으로, 여기서 μ₁과 μ_n은 인접 행렬 A의 최대·최소 고유값이다. 이 불평등은 A가 정규화되지 않은 경우에도 적용 가능하지만, μ₁과 μ_n만을 사용하므로 그래프의 전체 스펙트럼 정보를 충분히 활용하지 못한다는 한계가 있다.

저자들은 이를 극복하기 위해 A의 전체 고유값 집합 {μ_i}를 포함하는 새로운 하한을 도입하였다. 구체적으로, 임의의 정수 k(1 ≤ k ≤ n)와 정수 r(1 ≤ r ≤ k) 에 대해
χ ≥ 1 + (∑{i=1}^k μ_i) / (−∑{i=n−r+1}^n μ_i)
와 같은 형태를 제시한다. 이는 주요한 대수적 도구인 주요화(majorization)와 행렬의 트레이스 부등식을 활용한 결과이며, k와 r를 자유롭게 선택함으로써 기존 호프만 하한을 포함하면서도 더 강력한 경우를 만들 수 있다.

또한, 라플라시안 L = D − A와 부호 없는 라플라시안 Q = D + A(여기서 D는 차수 행렬)에도 동일한 접근을 적용한다. L과 Q는 각각 0을 최소 고유값으로 갖고, 그 외의 고유값은 그래프의 연결성 및 이분성 정보를 반영한다. 저자들은 L과 Q의 고유값을 이용해
χ ≥ 1 + (∑{i=1}^k λ_i) / (∑{i=n−r+1}^n λ_i)
(λ_i는 L의 고유값)와
χ ≥ 1 + (∑{i=1}^k q_i) / (∑{i=n−r+1}^n q_i)
( q_i는 Q의 고유값) 형태의 일반화된 하한을 도출한다. 여기서 중요한 점은 라플라시안과 부호 없는 라플라시안이 비음이 아닌 스펙트럼을 가지므로, 부호에 대한 별도 고려 없이도 비대칭적인 그래프에 적용 가능하다는 것이다.

정규화 인접 행렬 𝔄 = D^{−1/2} A D^{−1/2} 를 도입함으로써, 저자들은 위의 세 종류의 행렬을 하나의 통합 프레임워크 안에 끌어들인다. 𝔄는 모든 고유값이