코그래프의 행렬 스펙트럼을 4개의 고유값으로 제한한다는 새로운 정리

초록

저자들은 모든 코그래프 G에 대해, G와 연결된 대칭 행렬 M을 선택하면 M의 고유값 종류가 최대 4개(−λ, 0, λ, 2λ)로 제한될 수 있음을 증명한다. 이는 기존의 임계 그래프 결과를 코그래프 전체로 일반화한 것이다.

상세 분석

본 논문은 그래프와 연관된 대칭 행렬 집합 S(G) 에서 고유값의 종류를 최소화하는 파라미터 q(G) 를 연구한다. 기존 연구에서는 트리와 임계 그래프에 대해 q(G) 의 상한이 알려졌으며, 특히 임계 그래프에 대해 q(G) ≤ 4 라는 결과가 있었다. 저자들은 이 결과를 코그래프(보완-축소 그래프) 전체로 확장한다. 코그래프는 P₄ (4-정점 경로)를 포함하지 않는 그래프군으로, cotree 라는 재귀적 트리 구조로 완전히 기술될 수 있다. 논문은 cotree의 정규형을 이용해 언제든지 두 쌍의 ‘쌍둥이’ 정점(거짓 쌍둥이 혹은 진짜 쌍둥이)을 찾을 수 있음을 보이고, 이를 기반으로 귀납적 증명을 전개한다.

귀납 단계에서는 기존에 n−1 개의 정점을 가진 코그래프 G* 에 대해 이미 원하는 형태의 행렬 M* 가 존재한다는 가정 하에, 새로운 정점 v′ (쌍둥이)와 기존 정점 v 을 추가하면서 행렬 M 을 구성한다. 핵심 아이디어는 M* 의 고유벡터들을 적절히 ‘반으로 나누어’ Rⁿ 에 새로운 정규 직교기저를 만들고, 이 기저에 대해 M 을 정의함으로써 기존 고유값을 그대로 유지하거나 0, λ, 2λ 중 하나를 추가하는 것이다.

네 가지 경우(거짓·진짜 쌍둥이 각각에 대해 M*{vv}=0 또는 λ)마다 행렬 원소 m{uw} 를 어떻게 정의해야 하는지를 상세히 제시한다. 예를 들어, 거짓 쌍둥이이며 M*{vv}=0 인 경우에는 v 와 v′ 사이의 비대각 원소를 0으로 두고, 두 정점에 대한 대각 원소도 0으로 설정한다. 반면, 진짜 쌍둥이이며 M*{vv}=λ 인 경우에는 v 와 v′ 사이에 ±λ 를 배치해 2λ 또는 −λ 같은 새로운 고유값을 만들어낸다. 각 경우에 대해 행렬‑벡터 곱을 직접 계산해 새로운 기저가 실제로 고유벡터임을 검증한다.

이러한 구성은 모든 코그래프에 대해 적용 가능함을 보이며, 결과적으로 q(G) ≤ 4 가 성립한다. 또한, 행렬 M 의 대각 원소는 0 또는 λ 만을 사용하도록 제한함으로써, 스펙트럼 구조를 더욱 단순화한다. 논문은 기존 임계 그래프 결과와 일치함을 확인하고, 상한이 실제로 예리함을 보이는 예시(문헌