[논문 리뷰] Sparse expanders have negative Ollivier-Ricci curvature

Justin Salez|arXiv (Cornell University)|2021. 01. 20.

Geometric Analysis and Curvature Flows인용 수 2

한 줄 요약

이 논문은 유계 차수의 확산 그래프가 비음성 Ollivier-Ricci 곡률을 가질 수 없음을 증명하며, 오랫동안 남아있던 열린 문제를 해결한다. Benjamini-Schramm 극한을 통해 정 stationarity를 가진 무작위 그래프를 분석하고, Liouville 성질의 엔트로피 기반 특성화를 활용함으로써, 스펙트럼 확산과 비음성 곡률은 무한에서 상호 배타적임을 보이며, 이는 약한 수렴과 상대적으로 컴acts한 성질을 통해 유한 그래프로 이전된다.

ABSTRACT

We prove that bounded-degree expanders with non-negative Ollivier-Ricci curvature do not exist, thereby solving a long-standing open problem suggested by Naor and Milman and publicized by Ollivier (2010). In fact, this remains true even if we allow for a vanishing proportion of large degrees, large eigenvalues, and negatively-curved edges. To prove this, we work directly the level of Benjamini-Schramm limits, and exploit the entropic characterization of the Liouville property on stationary random graphs to show that non-negative curvature and spectral expansion are incompatible at infinity. We then transfer this result to finite graphs via weak convergence and a relative compactness argument. We believe that this local weak limit approach to mixing properties of Markov chains will have many other applications.

연구 동기 및 목표

• 유계 차수의 확산 그래프가 비음성 Ollivier-Ricci 곡률을 가질 수 있는지 여부라는 열린 문제를 해결하기 위해.
• 정 stationarity를 가진 무작위 그래프의 극한에서 스펙트럼 확산과 비음성 곡률 간의 상호 배타성을 확립하기 위해.
• 약한 수렴과 상대적으로 컴acts한 성질을 통한 추론을 통해 이 상호 배타성을 유한 그래프로 확장하기 위해.
• 큰 차수, 큰 고유값, 또는 음성 곡률 간선의 비율이 점점 줄어들더라도, 확산 그래프에서 비음성 곡률이 허용되지 않는다는 것을 보여주기 위해.

제안 방법

• 무한에서 그래프 시퀀스를 분석하기 위해 Benjamini-Schramm 극한을 통해 문제를 다루기 위해.
• 정 stationarity를 가진 무작위 그래프에서 Liouville 성질의 엔트로피 기반 특성화를 사용하여 곡률과 혼합 행동을 연결하기 위해.
• 비음성 곡률이 비자명한 조화 함수를 암시함으로써 스펙트럼 확산와 모순됨을 증명하기 위해.
• 결과를 무한한 극한에서 유한 그래프로 이전하기 위해 약한 수렴을 적용하기 위해.
• 극한 행동이 유한 그래프 성질을 반영함을 보장하기 위해 상대적으로 컴acts한 성질을 활용하기 위해.
• 스펙트럼 갭 추정과 곡률 제약 조건을 결합하여, 비음성 곡률 가정 하에 모순을 도출하기 위해.

실험 결과

연구 질문

• RQ1 유계 차수의 확산 그래프가 비음성 Ollivier-Ricci 곡률을 유지할 수 있는가?
• RQ2 무작위 그래프 극한에서 스펙트럼 확산과 비음성 곡률 간에 본질적인 상호 배타성이 존재하는가?
• RQ3 큰 차수, 큰 고유값, 또는 음성 곡률 간선의 비율이 점점 줄어들게 허용해도, 확산 그래프에서 비음성 곡률이 불가능한 상태가 유지되는가?
• RQ4 정 stationarity를 가진 무작위 그래프에서 엔트로피 기반 특성화를 통해 Liouville 성질을 특성화할 수 있는가, 이를 통해 곡률 제약 조건을 탐지할 수 있는가?
• RQ5 무한 그래프 극한에서의 결과를 어떻게 유한 그래프로 이전하여 구조적 불가능성을 증명할 수 있는가?

주요 결과

• 유계 차수의 확산 그래프는 비음성 Ollivier-Ricci 곡률을 가질 수 없으며, 오랫동안 남아있던 열린 문제를 해결한다.
• 정 stationarity를 가진 무작위 그래프의 Benjamini-Schramm 극한에서 비음성 곡률과 스펙트럼 확산은 상호 배타적이다.
• 큰 차수, 큰 고유값, 또는 음성 곡률 간선의 비율이 점점 줄어들더라도 이 상호 배타성은 유지된다.
• Liouville 성질의 엔트로피 기반 특성화는 무작위 그래프 극한에서 곡률 제약 조건을 탐지하는 핵심 도구가 된다.
• 약한 수렴과 상대적으로 컴acts한 성질을 통해 무한 극한에서의 결과를 유한 그래프로 이전할 수 있다.
• 로컬 약한 극한 접근법은 그래프에서 마코프 체인의 혼합 성질을 연구하는 데 새로운 길을 제시한다.