[논문 리뷰] Graphs and Hermitian matrices: discrepancy and singular values

Béla Bollobás, Vladimir Nikiforov|ArXiv.org|2004. 04. 30.

Graph theory and applications참고 문헌 8인용 수 5

한 줄 요약

이 논문은 헤르미트 행렬의 두 번째 특이값과 그 불일치도 사이의 날것 같은 경계를 확립하며, 어떤 절대 상수 $C_1$에 대해 $\sigma_2(A) \leq C_1 \cdot \text{disc}(A) \log n$임을 보이고, 이 경계가 상수 인자에 대해 최적임을 증명한다. 또한, 밀도 높은 정규 그래프를 구성하여 창의 추측을 반박하며, $\sigma_2(G) \geq C_2 \cdot \text{disc}_2(G) \log |G|$임을 보여, 정규 그래프에서 두 번째 특이값과 불일치도 사이의 관계에 대한 그녀의 추측을 반박한다.

ABSTRACT

We introduce a measure of discrepancy of Hermitian matrices and establish an inequality between the second singular value of a Hermitian matrix and its discrepancy. These results are applied to answer two questions of Fan Chung about graph eigenvalues.

연구 동기 및 목표

• 헤르미트 행렬 $A$의 두 번째 특이값 $\sigma_2(A)$와 그 불일치도 $\text{disc}(A)$ 사이의 관계를 조사하여, 그래프의 불일치도 개념을 행렬으로 확장함.
• 팬 창이 제기한 추측을 해결함: 모든 정규 그래프 $G$에 대해 $\sigma_2(G) < C \cdot \text{disc}_2(G)$임을 증명하기 위해 반례를 구성함.
• 희박한 그래프에서 낮은 불일치도가 작은 두 번째 특이값을 암시하는지 여부를 조사하여, 창과 그레고리가 희박한 설정에서 준임의성 성질에 대해 제기한 질문에 답함.
• 불일치도가 작더라도 두 번째 특이값이 작지 않을 수 있음을 보여주는 일반적 구성법을 제공함.

제안 방법

• 모든 비어 있지 않은 부분집합 $X,Y \subset [n]$에 대해 부분행렬 합의 전체 평균 $\rho(A)$로부터의 최대 정규화된 이탈을 정의하여, 행렬의 불일치도 함수 $\text{disc}(A)$를 정의함.
• 스펙트럼 분해와 특이값 분석을 사용하여 $\sigma_2(A)$를 $\text{disc}(A)$로 경계함. 조합적 및 확률적 추론을 통해 로그 인자를 활용함.
• 특성값과 간선 분포를 제어할 수 있는 대수적 구성법(예: 강한 정규 그래프 또는 카일리 그래프)을 사용하여 밀도 높은 정규 그래프 $G_p$의 명시적 가족을 구성함.
• 이 그래프들에 대해, 절대 상수 $C_2 > 0$에 대해 $\sigma_2(G) \geq C_2 \cdot \text{disc}_2(G) \log |G|$임을 증명함으로써 창의 추측을 직접적으로 반박함.
• 서로소 합집합 $G(n) \cup K_{\lfloor pn \rfloor}$의 일반적 구성법을 사용하여, $p = o(1)$이어도 DISC(1)이 EIG를 암시하지는 않음을 보임. 불일치도는 유지되지만 작은 두 번째 고유값 성질는 파괴됨.

실험 결과

연구 질문

• RQ1 모든 정규 그래프 $G$에 대해 $\sigma_2(G) < C \cdot \text{disc}_2(G)$를 만족하는 전연 상수 $C$가 존재하는가?
• RQ2 헤르미트 행렬의 두 번째 특이값은 그 불일치도로 경계될 수 있으며, 그 경계는 얼마나 날것인가?
• RQ3 희박한 그래프에서 낮은 불일치도가 밀도 높은 경우와 마찬가지로 작은 두 번째 특이값을 암시하는가?
• RQ4 불일치도는 작지만 두 번째 특이값은 여전히 큰 그래프의 가정이 존재하는가? 이는 준임의성에 대한 추측을 반박함.

주요 결과

• 절대 상수 $C_1$이 존재하여 $\sigma_2(A) \leq C_1 \cdot \text{disc}(A) \log n$임을 만족하며, 이 경계는 곱셈 상수에 대해 최적임이 입증됨.
• 무한히 많은 밀도 높은 정규 그래프 $G$가 존재하여, 절대 상수 $C_2 > 0$에 대해 $\sigma_2(A(G)) \geq C_2 \cdot \text{disc}_2(A(G)) \log |G|$임을 만족함. 이는 창의 추측을 반박함.
• 구성된 그래프 $G_p$는 어떤 절대 상수 $C$에 대해 $\left|e(X,Y) - \frac{1}{2}|X||Y|\right| \leq \frac{C}{k}\sqrt{|X||Y|(n-|X|)(n-|Y|)}$를 만족함으로써 제어된 불일치도를 보임.
• 구성된 그래프의 두 번째 고유값 $\mu_2(G)$는 $\mu_2(G) \geq \frac{\log k}{2k} \cdot \mu_1(G)$를 만족함으로써, 불일치도 대비 상당한 스펙트럼 간격을 나타냄.
• 서로소 합집합 $G(n) \cup K_{\lfloor pn \rfloor}$의 가정 $\mathcal{G}_p^*$는 DISC(1)를 만족하지만 EIG를 만족하지 않음. 이는 희박한 그래프에서 낮은 불일치도가 작은 두 번째 특이값을 암시하지는 않음을 보여 줌.