[논문 리뷰] Spectral gap of sparse bistochastic matrices with exchangeable rows with application to shuffle-and-fold maps

Charles Bordenave, Yanqi Qiu외 1명|arXiv (Cornell University)|2018. 05. 16.

Random Matrices and Applications참고 문헌 36인용 수 6

한 줄 요약

이 논문은 고정된 이중확립행렬 $ Q $ 를 균일한 랜덤 순열행렬 $ M $ 와 공액시켜 만든 랜덤 희박 이중확립행렬의 두 번째로 큰 고유값의 절댓값에 대한 날카운 상계를 확립한다. $ Q $ 에 대한 희박성 및 정규성 조건 하에서, 높은 확률로 $ |λ_2(MQ)| \leq (1+\varepsilon)\rho $ 를 유도하며, 여기서 $ \rho = \|Q\|_{\mathrm{HS}} \vee \|Q\|_{1\to\infty}^{(\delta)} $ 이고, $ \varepsilon = c_1 \frac{\log d}{\sqrt{\log n}} $, $ d = \|Q^\top Q\|_{1\to 0} $ 이다. 이 결과는 랜덤 정규 방향 그래프에서의 랜덤 워크 및 가역 체인에 대한 스펙트럼 경계를 향상시킨다.

ABSTRACT

We consider a random bistochastic matrix of size $n$ of the form $M Q$ where $M$ is a uniformly distributed permutation matrix and $Q$ is a given bistochastic matrix. Under mild sparsity and regularity assumptions on $Q$, we prove that the second largest eigenvalue of $MQ$ is essentially bounded by the normalized Hilbert-Schmidt norm of $Q$ when $n$ grows large. We apply this result to random walks on random regular digraphs and to shuffle-and-fold maps of the unit interval popularized in fluid mixing protocols.

연구 동기 및 목표

• 고정된 이중확립행렬 $ Q $ 와 균일한 랜덤 순열행렬 $ M $ 를 공액시켜 만든 랜덤 행렬의 두 번째로 큰 고유값 절댓값에 대한 높은 확률 상계를 유도하는 것.
• 행렬 $ P = MQ $ 의 스펙트럼 간격이 $ Q $ 의 내재된 매개변수, 특히 정규화된 힐베르트-스미트 노름과 완화된 $ \ell^{1} \to \ell^{\infty} $ 노름에 어떻게 의존하는지 정량화하는 것.
• 특히 $ Q $ 가 희박하고 정규일 경우, $ P $ 의 스펙트럼 간격이 $ Q $ 의 것보다 상당히 향상되는 조건을 확립하는 것.
• 결과를 랜덤 정규 방향 그래프에서의 랜덤 워크 및 동역계에서의 셔플 앤 폴드 맵 분석에 적용하는 것.
• 균일한 순열을 초월하여 매칭과 같은 다른 랜덤 순열 모델로 결과를 일반화하는 것, 이 때 동일한 구조적 가정이 유지되어야 한다.

제안 방법

• 저자들은 $ M \in \mathbb{S}_n $ 이 균일한 랜덤 순열의 순열행렬이고 $ Q $ 가 고정된 이중확립행렬인 랜덤 행렬 $ P = MQ $ 를 분석한다.
• 핵심 매개변수를 정의한다: $ \rho = \|Q\|_{\mathrm{HS}} \vee \|Q\|_{1\to\infty}^{(\delta)} $ 와 $ d = \|Q^\top Q\|_{1\to 0} $ 로, 이는 $ Q $ 의 희박성과 정규성을 나타낸다.
• 확률론적 및 스펙트럼 그래프 이론적 기법을 사용하여, 불일치하는 간선과 특이값에 대한 경계를 적용하여 $ |\lambda_2(P)| $ 에 대한 높은 확률 상계를 도출한다.
• 증명은 농도 부등식과 랜덤 순열의 구조적 성질에 기반하며, 특히 불일치하는 간선의 수가 $ c(g + m) $ 로 확률적으로 유계임을 이용한다. 여기서 $ g $ 와 $ m $ 은 그래프 매개변수이다.
• 특히 $ \|P\|_{\mathrm{HS}} = \|Q\|_{\mathrm{HS}} $, $ \|P^\top P\|_{1\to 0} = \|Q^\top Q\|_{1\to 0} $ 이고, $ P $ 와 $ Q $ 의 특이값이 동일함을 보이며, 이는 경계의 이행을 가능하게 한다.
• 매칭의 균일한 측도와 같은 $ \mathbb{S}_n $ 상의 비균일 측도로 결과를 확장하기 위해, 간선 불일치에 관한 핵심 보조정리를 적응시켰다.

실험 결과

연구 질문

• RQ1 고정된 이중확립행렬 $ Q $ 와 랜덤 순열행렬 $ M $ 를 공액시켜 만든 랜덤 행렬 $ P = MQ $ 의 스펙트럼 간격이 $ Q $ 의 구조에 따라 어떻게 달라지는가?
• RQ2 희박성 및 정규성과 같은 $ Q $ 에 대한 조건 하에서, 높은 확률로 두 번째로 큰 고유값 절댓값 $ |\lambda_2(P)| $ 가 날카롭게 유계가 되는 조건은 무엇인가?
• RQ3 특히 $ Q $ 가 가역적이고 희박할 경우, $ P $ 의 스펙트럼 간격이 $ Q $ 의 것보다 상당히 개선될 수 있는가?
• RQ4 결과는 균일한 순열을 초월하여 매칭과 같은 다른 랜덤 순열 모델로 얼마나 일반화할 수 있는가?
• RQ5 정규화된 힐베르트-스미트 노름과 완화된 $ \ell^{1} \to \ell^{\infty} $ 노름이 $ Q $ 의 스펙트럼 행동을 어떻게 제어하는가?

주요 결과

• 높은 확률로 $ \mathbb{P}(|\lambda_2(MQ)| \geq (1+\varepsilon)\rho) \leq n^{-c_0} $ 이며, 여기서 $ \varepsilon = c_1 \frac{\log d}{\sqrt{\log n}} $, $ \rho = \|Q\|_{\mathrm{HS}} \vee \|Q\|_{1\to\infty}^{(\delta)} $, 임의의 $ 0 < c_0 < \delta \leq 1 $ 이다.
• $ P = MQ $ 의 스펙트럼 간격은 본질적으로 $ \rho $ 로 유계이며, 이는 일반적으로 $ Q $ 의 두 번째로 큰 고유값보다 훨씬 작다. 특히 $ Q $ 가 희박하고 가역적일 경우 더욱 그렇다.
• 출력 차수 $ r $ 인 랜덤 정규 방향 그래프의 경우, 관련 마코프 체인의 스펙트럼 간격은 높은 확률로 $ |\lambda_2| \leq (1+\varepsilon) \cdot \max(1/\sqrt{r}, 1/r) $ 를 만족하며, 난이도 없는 경계보다 향상된다.
• 결과는 $ Q $ 가 대칭이 아닐 경우에도 성립한다: 경계는 $ Q $ 의 고유값 구조에 의존하지 않고, 오직 $ \|Q\|_{\mathrm{HS}} $ 와 $ \|Q\|_{1\to\infty}^{(\delta)} $ 에 의존한다.
• 불일치하는 간선의 수가 여전히 확률적으로 유계이면, 결과는 매칭과 같은 다른 랜덤 순열 모델로도 확장 가능하다.
• 셔플 앤 폴드 맵의 맥락에서, 관련 전이 연산자의 스펙트럼 간격은 $ \rho $ 로 유계이며, $ \rho \sim 1/\sqrt{r} $ 이고, 이 결과는 온화한 조건 하에서 지수 혼합을 암시한다.