[논문 리뷰] High Dimensional Random Walks and Colorful Expansion

Tali Kaufman, David Mass|arXiv (Cornell University)|2016. 04. 11.

Limits and Structures in Graph Theory참고 문헌 23인용 수 22

한 줄 요약

이 논문은 단체 복합체 위에서의 고차원 랜덤 워크를 도입하며, 고전적인 그래프 위의 랜덤 워크를 고차원 면으로 일반화한다. 모든 고차원 랜덤 워크의 빠른 혼합을 보장하는 국소-전역 조건—모든 1차원 링크에서의 스펙트럼 확장—을 수립하고, 라마누잔 복합체가 이 기준을 충족함을 증명함으로써, 빠르게 수렴하는 모든 고차원 워크를 갖는 유한 차수의 복합체의 명시적 가족을 제공한다.

ABSTRACT

Random walks on bounded degree expander graphs have numerous applications, both in theoretical and practical computational problems. A key property of these walks is that they converge rapidly to their stationary distribution. In this work we {\em define high order random walks}: These are generalizations of random walks on graphs to high dimensional simplicial complexes, which are the high dimensional analogues of graphs. A simplicial complex of dimension $d$ has vertices, edges, triangles, pyramids, up to $d$-dimensional cells. For any $0 \leq i < d$, a high order random walk on dimension $i$ moves between neighboring $i$-faces (e.g., edges) of the complex, where two $i$-faces are considered neighbors if they share a common $(i+1)$-face (e.g., a triangle). The case of $i=0$ recovers the well studied random walk on graphs. We provide a {\em local-to-global criterion} on a complex which implies {\em rapid convergence of all high order random walks} on it. Specifically, we prove that if the $1$-dimensional skeletons of all the links of a complex are spectral expanders, then for {\em all} $0 \le i < d$ the high order random walk on dimension $i$ converges rapidly to its stationary distribution. We derive our result through a new notion of high dimensional combinatorial expansion of complexes which we term {\em colorful expansion}. This notion is a natural generalization of combinatorial expansion of graphs and is strongly related to the convergence rate of the high order random walks. We further show an explicit family of {\em bounded degree} complexes which satisfy this criterion. Specifically, we show that Ramanujan complexes meet this criterion, and thus form an explicit family of bounded degree high dimensional simplicial complexes in which all of the high order random walks converge rapidly to their stationary distribution.

연구 동기 및 목표

• 고차원 단체 복합체 위에서의 고차원 랜덤 워크를 정의하고 연구함으로써, 고전적인 그래프 위의 랜덤 워크를 일반화한다.
• 모든 차원에서 고차원 랜덤 워크가 빠르게 혼합하는 것을 보장하는 복합체의 국소 조건을 규명한다.
• 모든 고차원 랜덤 워크가 정적 분포로 빠르게 수렴하는, 유한 차수의 명시적 단체 복합체 가족을 구성한다.
• 새로운 개념인 '색다른 확장'(colorful expansion)과 고차원 랜덤 워크의 수렴 속도 사이의 연결 고리를 설정한다.

제안 방법

• 모든 $ d $차원 단체 복합체에서 $ i $-면 간의 전이를 정의하며, 이는 공통의 $ (i+1) $-면을 공유하는 $ i $-면들 사이에서 일어난다. 여기서 $ 0 \leq i < d $이다.
• 전이 역학을 모델링하기 위해, $ i $-면 간의 인cidenc에 따라 인덱싱된 인접 행렬 $ A_i $를 도입한다.
• 국소-전역 기준을 수립한다: 만약 복합체의 모든 링크의 1차원 스켈레톤이 스펙트럼 확장자라면, 모든 고차원 랜덤 워크는 빠르게 혼합된다.
• 스펙트럼 확장과 직접적으로 연결된 조합론적 일반화인 '색다른 확장'을 정의한다.
• 링크의 1차원 스켈레톤에서의 스펙트럼 확장이 고차원 워크의 빠른 혼합을 유도함을 증명하며, 스펙트럼 갭과 워크의 수렴 속도를 연결한다.
• 라마누잔 복합체가 스펙트럼 링크 조건을 충족함을 보여주며, 이는 빠르게 혼합되는 고차원 랜덤 워크를 갖는 명시적 유한 차수의 복합체 가족을 제공한다.

실험 결과

연구 질문

• RQ1 유한 차수의 단체 복합체 위에서, 고전적인 그래프 랜덤 워크의 고차원 일반화로 정의된 워크가 빠르게 혼합할 수 있는가?
• RQ2 단체 복합체에 대한 어떤 국소 조건이 모든 차원에서 고차원 랜덤 워크의 빠른 혼합을 보장하는가?
• RQ3 링크 복합체의 스펙트럼 확장이 고차원 랜덤 워크의 수렴 속도와 어떻게 관련되는가?
• RQ4 모든 고차원 워크가 빠르게 혼합하는, 명시적이고 유한 차수의 고차원 복합체 가족이 존재하는가?
• RQ5 새로운 조합론적 확장 개념인 '색다른 확장'이 고차원 랜덤 워크의 혼합 행동을 특성화할 수 있는가?

주요 결과

• 만약 단체 복합체의 모든 링크의 1차원 스켈레톤이 스펙트럼 확장자라면, 그 복합체 위의 모든 고차원 랜덤 워크는 정적 분포로 빠르게 혼합된다.
• 고차원 랜덤 워크의 혼합 속도는 $ \sqrt{\frac{d_{\text{max}}}{d_{\text{min}}}} \lambda^t $로 유계된다. 여기서 $ \lambda = \max\{ |\lambda_2|, |\lambda_n| \} $는 정규화된 인접 행렬의 두 번째로 큰 스펙트럼 크기의 절댓값이다.
• 색다른 확장은 그래프에서의 조합론적 확장의 자연스러운 일반화로 도입되었으며, 고차원 워크의 빠른 혼합과 동치임을 보였다.
• 라마누잔 복합체는 스펙트럼 링크 조건을 충족하므로, 빠르게 혼합되는 고차원 랜덤 워크를 갖는 명시적이고 유한 차수의 단체 복합체 가족이 된다.
• 이 결과는 국소 조건(링크에서의 스펙트럼 확장)이 전역적인 빠른 혼합을 유도함을 보여주며, 고차원 확장에 대한 국소-전역 원칙을 수립한다.
• 이 프레임워크는 고전적인 그래프 위의 랜덤 워크 이론을 고차원으로 확장하며, 코드 이론, 성질 테스팅, PCP 구성 등 응용 분야에 새로운 도구를 제공한다.