[논문 리뷰] High Dimensional Expanders: Random Walks, Pseudorandomness, and Unique Games

Max Hopkins, Tali Kaufman외 1명|arXiv (Cornell University)|2020. 01. 01.

Stochastic processes and statistical mechanics인용 수 2

한 줄 요약

이 논문은 양측 국소 스펙트럴 확산자에 기반한 고차원 확산자에 대한 스펙트럴 프레임워크를 개발하여, 고차원 랜덤 워크의 고유값이 조합적 수준에 대응하는 작은 수의 스트립에 견고하게 집중됨을 보여준다. 이는 워크의 깊이에 따라 고유값이 지수적으로 감소함을 보여주며, 국소적 구조와 전반적 스펙트럴 감쇠를 통해 소집합 간선 확산을 특성화할 수 있게 하여, 고차원 임계 랭크에 연관된 사전 조건을 갖는 첫 번째 다항식 시간 알고리즘을 유도한다. 이 알고리즘은 존슨 체계에서의 애핀 유니크 게임에 적용된다.

ABSTRACT

Higher order random walks (HD-walks) on high dimensional expanders have played a crucial role in a number of recent breakthroughs in theoretical computer science, perhaps most famously in the recent resolution of the Mihail-Vazirani conjecture (Anari et al. STOC 2019), which focuses on HD-walks on one-sided local-spectral expanders. In this work we study the spectral structure of walks on the stronger two-sided variant, which capture wide generalizations of important objects like the Johnson and Grassmann graphs. We prove that the spectra of these walks are tightly concentrated in a small number of strips, each of which corresponds combinatorially to a level in the underlying complex. Moreover, the eigenvalues corresponding to these strips decay exponentially with a measure we term the depth of the walk. Using this spectral machinery, we characterize the edge-expansion of small sets based upon the interplay of their local combinatorial structure and the global decay of the walk's eigenvalues across strips. Variants of this result for the special cases of the Johnson and Grassmann graphs were recently crucial both for the resolution of the 2-2 Games Conjecture (Khot et al. FOCS 2018), and for efficient algorithms for affine unique games over the Johnson graphs (Bafna et al. Arxiv 2020). For the complete complex, our characterization admits a low-degree Sum of Squares proof. Building on the work of Bafna et al., we provide the first polynomial time algorithm for affine unique games over the Johnson scheme. The soundness and runtime of our algorithm depend upon the number of strips with large eigenvalues, a measure we call High-Dimensional Threshold Rank that calls back to the seminal work of Barak, Raghavendra, and Steurer (FOCS 2011) on unique games and threshold rank.

연구 동기 및 목표

• 두측 국소 스펙트럴 확산자에서의 고차원 랜덤 워크의 스펙트럴 구조를 이해하기 위해, 존슨 및 그라스만 그래프를 일반화하는 것을 목적으로 한다.
• 스펙트럴 스트립을 통해 국소 조합적 구조와 전반적 고유값 감쇠를 통합하여 소집합 간선 확산을 특성화하기 위해 목표를 설정한다.
• 특히 존슨 체계에서의 애핀 유니크 게임을 위한 효율적인 알고리즘을 지원하는 스펙트럴 프레임워크를 개발하기 위해 목표를 설정한다.
• 알고리즘의 타당성에 영향을 미치는 스펙트럴 복잡성의 척도로 작용하는 스펙트럴 복잡성의 일반화인 고차원 임계 랭크의 개념을 도입하고 분석한다.
• 스펙트럴 기반 기법을 사용하여 2-2 게임 추측 및 유니크 게임에 관한 이전 결과를 더 넓은 범위의 고차원 확산자로 확장한다.

제안 방법

• 기저 삼각형 복합체의 수준에 대응하는 작은 수의 스트립에 고유값이 집중됨을 도출하기 위해, 두측 국소 스펙트럴 확산자에서의 고차원 랜덤 워크의 스펙트럼 분석을 수행한다.
• 각 수준의 기여를 분리하는 스펙트럼 분해를 사용하여, 워크의 깊이에 따라 고유값이 지수적으로 감쇠함을 증명한다.
• 스펙트럴 스트립을 따라 고유값 감쇠율과 국소 조합적 구조 간의 상호작용을 통해 소집합 간선 확산을 연결한다.
• 완전한 복합체에 대해 저차수의 제곱합 증명을 구성하여 확산 성질을 효율적으로 검증할 수 있도록 한다.
• 스펙트럼 프레임워크를 활용하여 존슨 체계에서의 애핀 유니크 게임에 대한 다항식 시간 알고리즘을 설계하며, 타당성은 큰 고유값 스트립의 수에 따라 달라진다.
• 유니크 게임에서의 임계 랭크를 일반화한 고차원 임계 랭크의 개념을 정의하고 분석하여, 알고리즘 성능에 영향을 미치는 주요 스펙트럴 스트립의 수를 측정한다.

실험 결과

연구 질문

• RQ1 두측 국소 스펙트럴 확산자에서의 고차원 랜덤 워크의 스펙트럼은 기저 복합체의 조합적 수준에 어떻게 분포하는가?
• RQ2 워크의 깊이에 따라 고유값이 감쇠하는 정도가 고차원 확산자에서 소집합의 확산 성질에 얼마나 영향을 미치는가?
• RQ3 이러한 워크의 스펙트럼 구조를 이용하여 존슨 체계에서의 애핀 유니크 게임에 대한 효율적 알고리즘을 설계할 수 있는가?
• RQ4 고유값이 유의미한 스트립의 수—고차원 임계 랭크로 측정—는 유니크 게임 알고리즘의 타당성에 어떻게 영향을 미치는가?
• RQ5 소집합의 국소 조합적 구조와 전반적 스펙트럼 감쇠 간의 상호작용은 간선 확산을 결정하는 데 어떤 방식으로 작용하는가?

주요 결과

• 두측 국소 스펙트럴 확산자에서의 고차원 랜덤 워크의 스펙트럼은 기저 복합체의 수준에 대응하는 작은 수의 스펙트럴 스트립에 견고하게 집중되어 있다.
• 고유값은 워크의 깊이에 따라 지수적으로 감쇠함을 보여주며, 워크 깊이와 스펙트럼 감쇠 사이의 정량적 연관성을 확립한다.
• 소집합 간선 확산은 국소 조합적 구조와 스펙트럴 스트립을 따라 전반적 고유값 감쇠의 조합으로 특성화된다.
• 프레임워크는 완전한 복합체에 대해 저차수의 제곱합 증명을 수용하여 확산 성질을 효율적으로 검증할 수 있다.
• 논문은 존슨 체계에서의 애핀 유니크 게임에 대해 처음으로 다항식 시간 알고리즘을 제공하며, 타당성은 큰 고유값 스트립의 수에 따라 달라진다.
• 고차원 임계 랭크의 개념을 도입하고, Barak 등(2011)의 임계 랭크를 일반화함을 보여주며, 알고리즘 타당성의 핵심 매개변수로 기능한다.