[논문 리뷰] Random walks and isoperimetric profiles under moment conditions

Laurent Saloff‐Coste, Tianyi Zheng|arXiv (Cornell University)|2015. 01. 23.

Geometric and Algebraic Topology참고 문헌 19인용 수 9

한 줄 요약

이 논문은 이sovolumetric 프로파일과 움직임 기반 기법을 사용하여 유한 생성된 군에서 대칭 랜덤 워크의 복귀 확률에 대한 날카운 경계를 설정한다. moment 조건 하에서, 감쇠률을 특징짓기 위해 $\widetilde{\Phi}_{G,\rho}$ 및 $\Phi_{G,\rho}$를 도입하였으며, 다항체적 체적 성장이 있는 군의 경우, $L^2$-감쇠가 moment 차수 $\alpha$에 따라 거듭제곱 또는 로그 행동을 보이며, $\alpha < p$일 때 정확한 점근적 등가 $\Lambda_{p,\phi_\alpha}(v) \simeq v^{-\alpha/D}$를 증명하였다.

ABSTRACT

Let $G$ be a finitely generated group equipped with a finite symmetric generating set and the associated word length function $|\cdot |$. We study the behavior of the probability of return for random walks driven by symmetric measures $μ$ that are such that $\sum ρ(|x|)μ(x)0$. For this purpose we develop new relations between the isoperimetric profiles associated with different symmetric probability measures. These techniques allow us to obtain a sharp $L^2$-version of Erschler's inequality concerning the Følner functions of wreath products. Examples and assorted applications are included.

연구 동기 및 목표

• 유한 생성 군에서 대칭 측도의 반복 커플링 $L^2$-노름 감쇠율을 moment 조건 하에서 특징짓기.
• 다른 대칭 측도에 관련된 등산 프로파일 간의 새로운 관계를 개발하여 랜덤 워크 행동을 비교할 수 있도록 하기.
• moment 기반 불변량을 사용하여 wreath 곱에서 Følner 함수에 대한 Erschler의 부등식의 날카운 $L^2$-버전을 수립하기.
• 정규적으로 또는 천천히 변화하는 moment를 갖는 측도에 대해 스펙트럼 간격과 등산 프로파일의 정확한 점근적 행동 분석하기.
• moment 제약 조건 하에서 $\widetilde{\Phi}_{G,\rho}$ 및 $\Phi_{G,\rho}$를 quasi-isometry 불변량으로서 통합하고 정교화하여 기존의 복귀 확률 경계를 개선하기.

제안 방법

• $\Phi_{G,\rho}(n)$ 및 $\widetilde{\Phi}_{G,\rho}(n)$을 유한한 $\rho$-moment 또는 약한-$\rho$-moment를 갖는 대칭 측도에 대해 $\phi^{(2n)}(e)$의 하한으로 정의한다.
• $\Phi_{G,\rho}$ 및 $\widetilde{\Phi}_{G,\rho}$의 감쇠율을 비교하기 위해 $\simeq$ 등가 관계를 사용하며, $\rho(s) = (1+s)^\alpha$ 또는 $\rho(s) = (1+\log(1+s))^\epsilon$인 함수에 집중한다.
• Abel 합산을 통한 핵심 부등식을 수립: 거듭제곱 꼬리를 갖는 측도 $\phi_\alpha$에 대해 $\phi_\alpha(x) \asymp (1+|x|)^{-\alpha-D}$.
• 반경 $s'$인 구를 사용한 경로 분해 방법을 적용하여 $f(xy)-f(x)$의 $L^p$-노름을 유계화하며, 다음 부등식을 이끌어냄: $\|f - f * \mathbf{u}_r\|_p^p \lesssim Q_{p,\alpha}(r) \sum |f(xy)-f(x)|^p \phi_\alpha(z)$.
• 스케일 매개변수에 대한 최적화를 통해 스펙트럼 간격 $\Lambda_{p,\phi_\alpha}(v)$의 점근적 행동을 도출하며, $\Lambda_{1,\phi_1}(v) \lesssim v^{-1/D}\log(e+v)$.
• 등급 $L^p$-노름 비교 및 등산 프로파일 기법을 사용하여 $\Lambda_{p,\phi_\alpha}(v) \simeq v^{-\alpha/D}$ ($\alpha < p$), $\Lambda_{p,\phi_\alpha}(v) \simeq v^{-p/D}\log(e+v)$ ($\alpha = p$), $\Lambda_{p,\phi_\alpha}(v) \simeq v^{-p/D}$ ($\alpha > p$)를 증명한다.

실험 결과

연구 질문

• RQ1 대칭 측도의 moment 조건이 $L^2$-노름 감쇠율 $\phi^{(2n)}(e)$에 어떤 영향을 미치는가?
• RQ2 측도 $\phi_\alpha$에 대해 $\rho(|x|) = (1+|x|)^\alpha$일 때, 스펙트럼 간격 $\Lambda_{p,\phi_\alpha}(v)$의 정확한 점근적 행동은 무엇인가?
• RQ3 두 번째 moment가 무한대일 경우, 약한-moment 변형 $\widetilde{\Phi}_{G,\rho}$를 사용하여 복귀 확률에 대한 날카운 경계를 확보할 수 있는가?
• RQ4 moment 제약 조건 하에서, 다른 대칭 측도에 대한 등산 프로파일 간의 관계는 어떻게 되며, 어떤 불변량이 도출되는가?
• RQ5 moment 조건 하에서 wreath 곱에서 Følner 함수에 대한 Erschler의 부등식의 날카운 $L^2$-버전은 무엇인가?

주요 결과

• 다항체적 체적 성장도 $D$를 갖는 군의 경우, $\alpha < p$일 때 스펙트럼 간격은 $\Lambda_{p,\phi_\alpha}(v) \simeq v^{-\alpha/D}$를 만족하며, 이는 moment 차수 $\alpha$가 감쇠에 미치는 영향을 반영한다.
• $\alpha = p$일 때, 스펙트럼 간격은 $\Lambda_{p,\phi_p}(v) \simeq v^{-p/D}\log(e+v)$로 행동하며, 이는 임계 moment 차수에 의해 유도된 로그 보정을 나타낸다.
• $\alpha > p$일 경우 감쇠는 $\Lambda_{p,\phi_\alpha}(v) \simeq v^{-p/D}$로 나타나며, 이는 더 높은 moment가 $L^p$-임계 속도를 초과하여 스펙트럼 간격을 향상시키지 못함을 보여준다.
• $\widetilde{\Phi}_{G,\rho}$는 약한-$\rho$-moment 조건 하에서 복귀 확률에 대한 날카운 하한을 제공하며, 많은 상황에서 $\Phi_{G,\rho}$보다 더 자연스럽다.
• $\|f - f * \mathbf{u}_r\|_p^p \lesssim Q_{p,\alpha}(r) \sum |f(xy)-f(x)|^p \phi_\alpha(z)$ 부등식은 $Q_{p,\alpha}(r)$가 정의된 그대로 성립하며, 이는 $L^p$-노름의 정밀한 제어를 가능하게 한다.
• wreath 곱에서 Følner 함수에 대한 Erschler의 부등식의 $L^2$-버전은 $\widetilde{\Phi}_{G,\rho}$ 프레임워크를 통해 날카럽게 개선되었으며, moment 조건에서 유도된 명시적 감쇠율이 도출되었다.