[논문 리뷰] Supplementary Material for Random Cayley Graphs Project

Jonathan Hermon, Sam Olesker-Taylor|arXiv (Cornell University)|2018. 10. 11.

Cellular Automata and Applications참고 문헌 6인용 수 4

한 줄 요약

이 보충 논문은 정수와 순환군에서의 무작위 보행에 대한 정밀한 분석 결과를 제공하며, 샤논 엔트로피, 대 deviations, 탈출 시간, 일반적인 Lq 노름 하에서의 격자 공 크기 등을 다룬다. 특히 대칭 및 비대칭 무작위 보행에 대해 무작위 카일리 그래프에서 엔트로피 시간과 커팅 오프 창의 정밀한 점근적 추정을 유도하며, 엔트로피 집중 및 수론적 맥락에서 국소 시간과 약수 함수에 대한 확률적 경계에 있어 핵심 기여를 한다.

ABSTRACT

This document contains supplementary material for the main articles in our Random Cayley Graphs project. We prove refined results about simple random walks on the integers and on the cycle. We are primarily interested in the entropy of these random walks at certain times and how this entropy changes when the time changes slightly. Additionally, we prove some large deviation and exit time estimates. We prove some results on the size of discrete lattice balls and how this size changes when the radius changes slightly. We do this in a general $L_q$ norm, with $q \in [1,\infty]$. We also prove some other technical results deferred from the main papers. We hope that some of the results, particularly the simple random walk estimates, will be useful in their own right for other researchers.

연구 동기 및 목표

• 무작위 카일리 그래프에 관한 주요 논문들에 대한 엄밀한 분석적 보완을 제공함으로써, 특히 엔트로피 역학과 혼합 시간에 중점을 둔다.
• 정수 Z와 Z_L에서 대칭 및 비대칭 무작위 보행에 대해 엔트로피 시간과 커팅 오프 창의 정밀한 점근적 추정을 도출한다.
• 정수 직선과 순환군에서 단순 무작위 보행에 대한 대 deviations 경계와 탈출 시간 추정을 수립한다.
• 일반적인 Lq 노름 하에서 이산 격자 공의 크기를 분석하고 반경의 미세한 변화에 대한 민감도를 평가한다.
• 노일레망 군에서의 균일 측도, 국소 시간 분포, 약수 함수 경계에 관한 연기된 기술적 증명을 제공한다.

제안 방법

• 단순 무작위 보행에서의 위치 분포와 엔트로피를 분석하기 위해 국소 중심극한정리(LCLT)를 적용한다.
• 체르노프 유사 경계와 교행 시간 분석을 사용하여 랜덤 브릿지에서 국소 시간의 尾 확률를 제어한다.
• 모멘트 생성 함수와 지수적 모멘트 경계를 활용하여 Z에서의 무작위 보행에 대한 대 deviations 추정을 도출한다.
• 유니온 바운드와 조건부 기대값을 활용하여 브릿지 국소 시간과 조건부가 아닌 무작위 보행의 국소 시간을 연결한다.
• 재귀적 분해와 군론적 기법을 사용하여, 노일레망 군에서 독립적인 균일 변수의 곱의 균일성을 증명한다.
• 마르코프 부등식과 이진 분해를 적용하여, 밀도-1 집합에서 정수의 약수 개수를 유계로 제한하며, 로그 및 거듭제곱 항에 대한 명시적 의존성을 포함한다.

실험 결과

연구 질문

• RQ1 정수 Z에서의 단순 무작위 보행의 샤논 엔트로피는 시간이 지남에 따라 어떻게 변화하며, 엔트로피 시간과 커팅 오프 창의 정밀한 점근적 성질은 무엇인가?
• RQ2 특히 중간 변동 영역에서, 정수 Z에서의 단순 무작위 보행의 위치에 대한 대 deviations 확률은 어떻게 되는가?
• RQ3 정수 Z에서의 단순 무작위 보행이 구간에서 탈출하는 탈출 시간은 어떻게 행동하며, 이러한 탈출 시간의 날카운 尾 확률 추정은 무엇인가?
• RQ4 Lq 노름 하에서의 이산 격자 공 크기는 반경에 따라 어떻게 스케일링되며, 반경의 미세한 변화에 대해 얼마나 민감한가?
• RQ5 랜덤 브릿지에서의 국소 시간의 꼬리 행동은 어떻게 되며, 교행 시간과 지수적 모멘트 기법을 통해 어떻게 유계로 제어할 수 있는가?

주요 결과

• Z에서의 대칭 무작위 보행에 대해, entropic time t₀는 k ≪ log n 인 경우 k · n²ᵏ / (2πe) 비례하며, 커팅 오프 창은 √(2αt₀/√k) 정도의 순서를 가진다.
• k ≈ λ log n 인 경우, entropic time t₀ ≈ k·f(λ)이며 커팅 오프 창은 g(λ)·αt₀/√k 비례하며, f와 g는 연속 함수이다.
• k ≫ log n 인 경우, entropic time t₀ ≈ k/(κ log κ)이며 κ = k/log n 이고, 커팅 오프 창은 √(κ log κ)·αt₀/√k 비례한다.
• Z에서 길이 L인 브릿지에 대해, 최대 국소 시간 L(r, L)은 max_r P(L(r, L) > √(2(C+2)L log L)) ≲ L⁻C 를 만족하며, 이는 E[L(r, L)^C] ≲ C^C L^{3C/5} 를 암시한다.
• Z에서의 무작위 보행에 대한 대 deviations 추정은, x ≲ s 일 때 P(|X(s) − s| > x) ≤ exp(−x²/(2s)) 를 만족하며, 지수적 모멘트 경계를 통해 유도된다.
• 밀도-1 집합 A_ε ⊆ ℕ 이 존재하여, 모든 n ∈ A_ε 및 m ≥ 2 에 대해 ∑_{i≤m} i·1(i∤n) ≤ 40(λε)⁻¹ m (log m)² 이 고려 확률로 성립하며, m 에 대해 균일하다.