[논문 리뷰] Sums of squares of eigenvalues and the vector chromatic number

Gabriel Coutinho, Thomás Jung Spier|arXiv (Cornell University)|2023. 08. 08.

Graph theory and applicationsMathematics인용 수 3

한 줄 요약

이 논문은 Wocjan, Elphick, 및 Anekstein의 추측을 증명하며, 그래프의 인cidency 행렬의 양수 또는 음수 고유값의 제곱합의 최솟값이 간선 수의 두 배를 벡터 색수로 나눈 값으로 아래에서 유계임을 확립한다. 증명은 벡터 색수의 새로운 정수형 프로그래밍(SDP) 공식화를 활용하고, 행렬 분해 및 코시-슈바르츠 부등식을 적용하여 이 bound를 유도한다.

ABSTRACT

In this short paper we prove that the sum of the squares of negative (or positive) eigenvalues of the adjacency matrix of a graph is lower bounded by the sum of the degrees divided by the vector chromatic number, resolving a conjecture by Wocjan, Elphick and Anekstein (2018).

연구 동기 및 목표

• Wocjan, Elphick, 및 Anekstein(2018)의 추측을 해결함: 벡터 색수에 따라 고유값 제곱합의 하한을 규명함.
• Ando 및 Lin(2018) 및 Guo와 Spiro(2020)의 이전 결과를 강화함: 그래프 이론에서 스펙트럼 경계에 대한 보다 강력한 제약을 제공함.
• 호모모르피즘을 엣지-전이성 그래프로의 가정 없이, 벡터 색수의 SDP 공식화의 구조적 성질을 이용하여 간접적인 증명을 피한 새로운 직접적 증명을 제공함.
• 양수 또는 음수 고유값의 제곱합을 벡터 색수와 간선 수와 연결하는 날카로운 스펙트럼 부등식을 확립함.

제안 방법

• A̅가 보완 행렬의 인cidency 행렬임을 고려하여, 제약 ⟨I + A̅, Z⟩ = 1을 갖는 새로운 정수형 프로그래밍(SDP)을 사용해 벡터 색수를 공식화함.
• SDP 공식화에서 유도된 핵심 부등식: 모든 Z ≥ 0 및 Z ⪰ 0에 대해 ⟨J, Z⟩ ≤ χ_vec(G)⟨J - A, Z⟩.
• 정리 3(행렬 분해 부등식)을 적용하여, 정규직교성 및 간선-보완 조건 하에서 A⁺와 A⁻의 제곱 노름 간의 관계를 규명함.
• A = A⁺ - A⁻의 스펙트럼 분해를 사용함. 여기서 A⁺와 A⁻는 양의 고유공간과 음의 고유공간에 대한 양의 준정부호 사영임.
• A⁺와 A⁻의 비대각성 항목에 대해 코시-슈바르츠 부등식을 적용하여, 제곱합과 벡터 색수 간의 연결 고리를 확립함.
• 대칭성에 기반하여 A⁺와 A⁻의 역할을 교환 가능하게 하여, min{s⁺, s⁻} ≥ 2m / χ_vec(G)의 bound를 확립함.

실험 결과

연구 질문

• RQ1 Wocjan, Elphick, 및 Anekstein의 추측에 따르면, 그래프의 인cidency 행렬 고유값의 제곱합은 2m / χ_vec(G)로 아래에서 유계인가?
• RQ2 스펙트럼 경계에 관여하는 고유값 합을 단순화하기 위해, 새로운 SDP 공식화를 통해 벡터 색수를 재정의할 수 있는가?
• RQ3 증명에서 호모모르피즘의 가정이 없이도, 스펙트럼 그래프 불변량에 대해 더 일반적이거나 강건한 부등식을 도출할 수 있는가?
• RQ4 양의 고유공간과 음의 고유공간 간의 상호작용을 행렬 분해와 SDP 이중성으로 형식화하여 날카로운 스펙트럼 경계를 도출할 수 있는가?
• RQ5 부등식 min{s⁺, s⁻} ≥ 2m / χ_vec(G)는 모든 그래프 계열에서 타당한가? 그리고 그 극한 사례는 무엇인가?

주요 결과

• 양의 고유값 제곱합 s⁺과 음의 고유값 제곱합 s⁻는 min{s⁺, s⁻} ≥ 2m / χ_vec(G)를 만족하며, 여기서 m은 간선 수임.
• 이 bound는 벡터 색수의 새로운 SDP 공식화를 통해 증명되었으며, 이는 그래프 호모모르피즘에 의존하지 않고 직접 유도 가능함.
• 증명 과정에서 s⁺ ≤ (χ_vec(G) - 1)s⁻ 및 s⁻ ≤ (χ_vec(G) - 1)s⁺가 성립함을 보였으며, 이는 주 부등식을 유도함.
• 이전의 Ando 및 Lin(2018) 및 Guo와 Spiro(2020)의 결과를 강화하여 더 날카로운 스펙트럼 제약 조건을 제공함.
• 핵심 기술적 통찰은 A⁺와 A⁻의 제곱 노름 간의 관계를 비대각성 항목에 대해 행렬 분해와 코시-슈바르츠 부등식을 적용함.
• 이 부등식은 대칭적이며, 특히 강력 정규 그래프와 같은 특정 그래프에서 스펙트럼 및 색수 구조가 일치할 경우 등호가 성립하므로 타당성이 높음.