[논문 리뷰] Cutoff for Almost All Random Walks on Abelian Groups

Jonathan Hermon, Sam Olesker-Taylor|arXiv (Cornell University)|2021. 02. 04.

Stochastic processes and statistical mechanics참고 문헌 26인용 수 8

한 줄 요약

이 논문은 유한 아벨 군의 랜덤 카일리 그래프에서 단순 랜덤 워크의 커프트 현상이 거의 최적의 조건 하에 확립된다: 생성자 수 $k$가 $k - d(G) \gg 1$를 만족할 때이며, 여기서 $d(G)$는 최소 생성집합의 크기이다. 커프트 시간은 $\mathbb{Z}^k$에서 랜덤 워크의 엔트로피에 의해 결정되며, $d(G) \ll \log |G|$ 이고 $k - d(G) \asymp k$일 때는 오직 $k$와 $|G|$에 의존함을 보였다. 결과는 아르두스–디아코니스 커프트 추측을 $1 \ll k \lesssim \log |G|$ 영역으로 확장하며, 아벨 몫을 통한 비교를 통해 비아벨 군에 대한 커프트를 확립한다.

ABSTRACT

Consider the random Cayley graph of a finite group $G$ with respect to $k$ generators chosen uniformly at random, with $1 \ll \log k \ll \log |G|$; denote it $G_k$. A conjecture of Aldous and Diaconis (1985) asserts, for $k \gg \log |G|$, that the random walk on this graph exhibits cutoff. Further, the cutoff time should be a function only of $k$ and $|G|$, to sub-leading order. This was verified for all Abelian groups in the '90s. We extend the conjecture to $1 \ll k \lesssim \log |G|$. We establish cutoff for all Abelian groups under the condition $k - d(G) \gg 1$, where $d(G)$ is the minimal size of a generating subset of $G$, which is almost optimal. The cutoff time is described (abstractly) in terms of the entropy of random walk on $\mathbb Z^k$. This abstract definition allows us to deduce that the cutoff time can be written as a function only of $k$ and $|G|$ when $d(G) \ll \log |G|$ and $k - d(G) \asymp k \gg 1$; this is not the case when $d(G) \asymp \log |G| \asymp k$. For certain regimes of $k$, we find the limit profile of the convergence to equilibrium. Wilson (1997) conjectured that $\mathbb Z_2^d$ gives rise to the slowest mixing time for $G_k$ amongst all groups of size at most $2^d$. We give a partial answer, verifying the conjecture for nilpotent groups. This is obtained via a comparison result of independent interest between the mixing times of nilpotent $G$ and a corresponding Abelian group $\overline G$, namely the direct sum of the Abelian quotients in the lower central series of $G$. We use this to refine a celebrated result of Alon and Roichman (1994): we show for nilpotent $G$ that $G_k$ is an expander provided $k - d(\overline G) \gtrsim \log |G|$. As another consequence, we establish cutoff for nilpotent groups with relatively small commutators, including high-dimensional special groups, such as Heisenberg groups.

연구 동기 및 목표

• 아벨 군에 대해 $1 \ll k \lesssim \log |G|$ 영역에서 아르두스–디아코니스 커프트 추측을 확장하기 위해.
• 커프트 시간이 군의 대수적 구조에 독립적으로 $k$와 $|G|$에만 의존하는 조건을 규명하기 위해.
• 하향 중심 급수를 통해 비아벨 군의 혼합 시간을 아벨 군의 혼합 시간과 비교하여 비아벨 군에 대한 커프트를 확립하기 위해.
• 크기 $\leq 2^d$인 군들 중 $\mathbb{Z}_2^d$가 가장 느린 혼합 시간을 가진다는 윌슨의 추측에 부분적인 해결을 제공하기 위해.
• 특히 순환 군에 대해 엔트로피 시간 $\tau^*(k,G)$에서 커프트를 달성하는 명시적 생성자 집합을 구성할 수 있는지 조사하기 위해.

제안 방법

• 랜덤 워크의 엔트로피 기반 분석을 통해 $\mathbb{Z}^k$에서의 커프트 시간을 정의하며, 이는 엔트로피가 $\log |G|$에 도달할 때의 시간으로 한다.
• 총 변동 거리의 상한을 구하기 위해 두 가지 다른 접근법을 적용: 하나는 局소 typicality 기반, 다른 하나는 전역 typicality 기반으로, 겹치는 영역에서 통합한다.
• 하향 중심 급수를 통해 비아벨 군의 혼합 시간과 그 아벨 몫 간의 비교 정리를 도입하여 커프트 결과의 전이를 가능하게 한다.
• 국소 typicality는 엔트로피 추정을 통해 조건화하고, 전역 typicality는 생성자 겹침과 군의 구조에 대한 조합적 상한을 통해 다룬다.
• 스펙트럼 갭과 혼합 시간 추정을 활용하여 커프트가 곱 조건과 관련됨을 규명하며, 특히 비아벨 군의 맥락에서 이를 강조한다.
• $\mathbb{Z}_2^d$가 크기 $\leq 2^d$인 군들 중에서 가장 느린 혼합 시간을 가지는 사실을 활용하여, 교환자 부분군이 작은 비아벨 군에 대해 커프트를 유도한다.

실험 결과

연구 질문

• RQ1 아벨 군의 랜덤 카일리 그래프에서 랜덤 워크에 대해 $1 \ll k \lesssim \log |G|$ 이며 $k - d(G) \gg 1$일 때 커프트 현상이 발생하는가?
• RQ2 커프트 시간이 군의 대수적 구조에 독립적으로 $k$와 $|G|$에만 의존하는 조건은 무엇인가?
• RQ3 비아벨 군의 혼합 시간은 그 아벨 몫과 비교할 수 있으며, 이러한 비교가 비아벨 군에 대한 커프트를 암시하는가?
• RQ4 크기 $\leq 2^d$인 군들 중에서 $\mathbb{Z}_2^d$가 가장 느린 혼합 시간을 가진다는 윌슨의 추측은 비아벨 군에 대해서도 성립하는가?
• RQ5 명시적 생성자 집합을 구성하여 카일리 그래프에서의 랜덤 워크가 엔트로피 시간 $\tau^*(k,G)$에서 커프트를 보일 수 있는가?

주요 결과

• 모든 유한 아벨 군에서 $k - d(G) \gg 1$일 때 커프트가 발생하며, 아르두스–디아코니스 추측을 $1 \ll k \lesssim \log |G|$ 영역으로 확장한다.
• 커프트 시간은 $\mathbb{Z}^k$에서 랜덤 워크의 엔트로피가 $\log |G|$에 도달할 때의 시간과 점점 같아지며, 이는 $d(G) \ll \log |G|$ 이고 $k - d(G) \asymp k$일 때 군의 대수적 구조에 영향을 받지 않는다.
• 비아벨 군의 경우 $k - d(G) \gg 1$이면서 교환자 부분군이 작을 경우 커프트가 성립하며, 히젠베르크 군 및 기타 고차원 $p$-군을 포함한다.
• 비교 정리에 따르면, 비아벨 군 $G$의 혼합 시간은 하향 중심 급수를 통해 그 아벨화에 의해 확률적으로 지배되며, 이는 커프트 결과의 전이를 가능하게 한다.
• 윌슨의 추측은 비아벨 군에 대해 검증되었으며, $\mathbb{Z}_2^d$는 크기 $\leq 2^d$인 군들 중에서 가장 느린 혼합 시간을 가지며, 하위항목 항목을 제외한 낮은 차수의 항목까지 성립한다.
• 논문은 상대 엔트로피 거리에서의 커프트가 총 변동 거리에서의 커프트와 일치하는 조건을 제공하며, 이는 현상의 더 깊은 보편성 잠재력을 시사한다.