[논문 리뷰] Refined estimates for some basic random walks on the symmetric and alternating groups

Laurent Saloff‐Coste, J. Zúñiga|ArXiv.org|2008. 09. 03.

Geometric and Algebraic Topology참고 문헌 25인용 수 14

한 줄 요약

이 논문은 대칭군과 교환군에서 이산 및 연속시간 랜덤 워크에 대한 추정치를 정교화하며, 랜덤 전치, 상단을 무작위로 전치하는 것, 그리고 공轭류에 의해 생성된 워크를 중심으로 다룬다. 연속시간 Aₙ에서 홀수 길이 순환에 대한 균일 측도에 의해 유도되는 워크에 대해 ℓ²-컷오프가 (n/2)log n 에서 발생함을 입증하며, 이는 이산시간 대비 혼합 시간이 상당히 지연됨을 보여주며, 스펙트럼 분석과 특성 이론을 통해 날카로운 경계를 제공한다.

ABSTRACT

We give refined estimates for the discrete time and continuous time versions of some basic random walks on the symmetric and alternating groups $S_n$ and $A_n$. We consider the following models: random transposition, transpose top with random, random insertion, and walks generated by the uniform measure on a conjugacy class. In the case of random walks on $S_n$ and $A_n$ generated by the uniform measure on a conjugacy class, we show that in continuous time the $\ell^2$-cuttoff has a lower bound of $(n/2)\log n$. This result, along with the results of Müller, Schlage-Puchta and Roichman, demonstrates that the continuous time version of these walks may take much longer to reach stationarity than its discrete time counterpart.

연구 동기 및 목표

• 대칭군과 교환군에서 기본적인 랜덤 워크에 대한 기존 ℓ² 수렴 추정치를 향상시키기 위해.
• 공轭류에 의해 생성된 워크의 이산시간과 연속시간 혼합 시간 사이의 괴리 원인을 명확히 하기 위해.
• 이산시간 및 연속시간에서 정상 상태에 대한 ℓ² 거리에 대해 날카롭고 명시적인 경계를 제공하기 위해.
• 유사 과정인 랜덤 삽입과 반-랜덤 전치의 수렴 경계를 향상시키기 위해 정밀한 추정치를 적용하기 위해.
• 홀수 길이 순환에 대한 균일 측도에 의해 생성되는 Aₙ에서의 연속시간 ℓ²-컷오프가 (n/2)log n 에서 발생함을 입증하기 위해.

제안 방법

• Sₙ 및 Aₙ의 기약 특성에 의한 마코프 커널의 스펙트럼 분해를 사용한다.
• 특성 이론과 표현 이론을 적용하여 공轭류 워크의 고유값과 중복도를 계산한다.
• ℓ² 거리 공식을 사용한다: d₂(q⁽ⁿ⁾, u)² = |G|∑ₓ|q⁽ⁿ⁾(x) - u(x)|², 여기서 u는 균일 분포이다.
• 생성 함수를 통해 연속시간 과정을 분석한다: hₜ(x) = e⁻ᵗ∑ₙ tⁿ/n! q⁽ⁿ⁾(x).
• 핵심적인 스펙트럼 갭 추정을 위해, 불확실한 표현 λ에 대해 r₄(λ) = M₄(λ)/(2(2n−3)M₂(λ)) 의 경계를 유도한다.
• M₂(λ) 및 M₄(λ) 에 대한 조합론적 경계를 사용하여 ℓ² 노름에서의 지수 감쇠를 제어한다.

실험 결과

연구 질문

• RQ1 Sₙ에서 연속시간 랜덤 전치의 정확한 ℓ² 수렴 시간은 무엇인가?
• RQ2 Sₙ 및 Aₙ에서 공轭류에 의해 생성된 워크의 이산시간과 연속시간 버전은 혼합 시간에서 어떻게 비교되는가?
• RQ3 홀수 길이 순환에 대한 균일 측도에 의해 생성되는 Aₙ에서의 연속시간 워크에 대해 ℓ² 거리에 대한 날카로운 경계를 도출할 수 있는가?
• RQ4 왜 연속시간 워크는 이산시간 버전보다 혼합 시간이 상당히 지연되는가?
• RQ5 정밀한 스펙트럼 추정치는 유사 과정인 랜덤 삽입의 수렴 경계를 어떻게 향상시키는가?

주요 결과

• Sₙ에서 연속시간 랜덤 전치에 대해, t ≥ (n/2)(log n + c) 일 때 d₂(hₜ, u) ≤ 2e⁻ᶜ 이며, Diaconis와 Shahshahani의 경계를 향상시킨다.
• 상단을 무작위로 전치하는 워크에 대해, t ≥ n(log n + c) 일 때 d₂(q⁽ⁿ⁾, u) ≤ √2 e⁻ᶜ 이며, 이는 이산시간에서 날카로운 ℓ² 경계이다.
• 홀수 길이 kₙ-순환에 대해 균일 측도에 의해 생성되는 Aₙ에서의 연속시간 워크에 대해, kₙ → ∞ 이면 ℓ²-컷오프가 (n/2)log n 에서 발생한다.
• kₙ → ∞ 일 때, 이산시간 혼합 시간 (n/kₙ)log n 는 연속시간 컷오프 시간 (n/2)log n 보다 훨씬 작아진다.
• 연속시간 과정은 날카로운 ℓ²-컷오프를 보이며, tₙ = (n/2)log n 이고 t = (1+ε)tₙ 일 때 n → ∞ 에서 d₂(hₜ, uₙ) → 0 이 되고, t = (1−ε)tₙ 일 때 → ∞ 가 된다.
• 분석을 통해 (n−1,1) 표현과 尾部 추정을 정교하게 분리함으로써, 순환 워크의 ℓ² 경계에 상수 e⁻²⁽ᶜ⁻²⁾ 이 도달한다.