In this paper we study the recurrence and transience of the $\mathbb{Z}^d$-valued branching random walk in random environment indexed by a critical Bienaymé-Galton-Watson tree, conditioned to survive. The environment is made either of random conductances or of random traps on each vertex. We show that when the offspring distribution is non degenerate with a finite third moment and the environment satisfies some suitable technical assumptions, then the process is recurrent up to dimension four, and transient otherwise. The proof is based on a truncated second moment method, which only requires to have good estimates on the quenched Green's function.
논문 ID : 2406.17622제목 : 무작위 전도도에서의 임계 무작위 보행 뱀의 재귀성과 일시성저자 : Alexandre Legrand, Christophe Sabot, Bruno Schapira분류 : math.PR (확률론)발표 시간 : 2024년 6월 (arXiv 사전인쇄본)논문 링크 : https://arxiv.org/abs/2406.17622 본 논문은 무작위 환경에서의 Z d \mathbb{Z}^d Z d 값 분지 무작위 보행의 재귀성과 일시성을 연구하며, 이 무작위 보행은 조건부 생존하는 임계 Bienaymé-Galton-Watson 트리에 의해 인덱싱됩니다. 환경은 각 정점에서의 무작위 전도도 또는 무작위 함정으로 구성됩니다. 연구 결과, 후손 분포가 비퇴화이고 유한한 3차 모멘트를 가지며 환경이 적절한 기술적 가정을 만족할 때, 이 과정은 4차원 이하에서는 재귀적이고 그 외의 경우에는 일시적임을 보여줍니다. 증명은 절단된 2차 모멘트 방법에 기반하며, 담금질된 Green 함수의 양호한 추정만 필요합니다.
연구 대상 : 임계 무작위 보행 뱀(critical random walk snake)으로, 임계 Bienaymé-Galton-Watson 트리에 의해 인덱싱되는 Z d \mathbb{Z}^d Z d 값 분지 무작위 보행 과정핵심 문제 : 무작위 환경 하에서 이 과정의 재귀성(recurrence)과 일시성(transience) 판정환경 유형 : 두 가지 무작위 환경 고려: 무작위 전도도(random conductances)와 무작위 함정(random traps)이론적 의의 : 무작위 환경에서의 임계 분지 과정 행동에 대한 이해 확대기술적 도전 : 임계 경우가 초임계 경우보다 분석이 더 어려우며, 기존 문헌에서 이에 대한 관심이 적음방법론적 기여 : 담금질된 Green 함수 추정에만 의존하는 절단된 2차 모멘트 방법 개발초임계 후손 분포의 일반적 준칙은 존재하지만, 임계 경우 연구는 부족 Benjamini와 Curien의 단모성(unimodality)과 질량 전달 기법 기반 방법은 기술적 경로가 복잡 무작위 환경에서의 Green 함수 추정에 대한 요구사항이 높음 차원 임계값 정리 수립 : 임계 무작위 보행 뱀이 d ≤ 4 d \leq 4 d ≤ 4 에서 재귀적이고 d ≥ 5 d \geq 5 d ≥ 5 에서 일시적임을 증명새로운 증명 방법 개발 : 절단된 2차 모멘트 방법 기반 증명 프레임워크 제시로, 담금질된 Green 함수 추정만 필요0-1 법칙 제공 : 적절한 가정 하에서 재귀성의 0-1 법칙 수립두 가지 환경 유형 처리 : 무작위 전도도와 무작위 함정 환경을 각각 분석하고 서로 다른 기술적 가정 제시입력 :
임계 후손 분포 q = ( q k ) k ≥ 0 q = (q_k)_{k \geq 0} q = ( q k ) k ≥ 0 로, ∑ k ≥ 0 k q k = 1 \sum_{k \geq 0} kq_k = 1 ∑ k ≥ 0 k q k = 1 과 ∑ k ≥ 0 k 3 q k < ∞ \sum_{k \geq 0} k^3q_k < \infty ∑ k ≥ 0 k 3 q k < ∞ 만족 무작위 환경 ω = ( ω x , y ) x , y ∈ Z d \omega = (\omega_{x,y})_{x,y \in \mathbb{Z}^d} ω = ( ω x , y ) x , y ∈ Z d 출력 : 임계 무작위 보행 뱀 S T ∞ : T ∞ → Z d S_{T_\infty}: T_\infty \to \mathbb{Z}^d S T ∞ : T ∞ → Z d 의 재귀성 또는 일시성 판정
제약 조건 :
Kesten 트리 T ∞ T_\infty T ∞ (조건부 생존하는 임계 BGW 트리) 환경이 정상성과 에르고딕성 가정 만족 논문은 두 가지 환경 클래스를 고려합니다:
무작위 전도도 : x ∼ y x \sim y x ∼ y 에 대해 ω x , y = ω y , x > 0 \omega_{x,y} = \omega_{y,x} > 0 ω x , y = ω y , x > 0 , 그 외의 경우 ω x , y = 0 \omega_{x,y} = 0 ω x , y = 0
무작위 함정 : ρ x ∈ [ 0 , 1 ) \rho_x \in [0,1) ρ x ∈ [ 0 , 1 ) 이 존재하여
ω x , y = { ρ x / ( 1 − ρ x ) if x = y 1 / ( 2 d ) if x ∼ y 0 otherwise \omega_{x,y} = \begin{cases}
\rho_x/(1-\rho_x) & \text{if } x = y \\
1/(2d) & \text{if } x \sim y \\
0 & \text{otherwise}
\end{cases} ω x , y = ⎩ ⎨ ⎧ ρ x / ( 1 − ρ x ) 1/ ( 2 d ) 0 if x = y if x ∼ y otherwise
입자 관점의 변측도 Q ∼ P Q \sim P Q ∼ P 를 통해:
d Q d P ( ω ) = π ω ( 0 ) E [ π ω ( 0 ) ] \frac{dQ}{dP}(\omega) = \frac{\pi_\omega(0)}{E[\pi_\omega(0)]} d P d Q ( ω ) = E [ π ω ( 0 )] π ω ( 0 )
에르고딕 동역학계 ( A , A , P ~ , R ) (A, \mathcal{A}, \tilde{P}, R) ( A , A , P ~ , R ) 를 구성하여 0-1 법칙 증명.
문헌 3 의 추정을 활용:
상한 : d ≥ 5 d \geq 5 d ≥ 5 에 대해, 1 / p + 1 / q < 2 / d 1/p + 1/q < 2/d 1/ p + 1/ q < 2/ d 일 때,
P n ω ( 0 , 0 ) ≤ c 2 n − d / 2 P_n^\omega(0,0) \leq c_2 n^{-d/2} P n ω ( 0 , 0 ) ≤ c 2 n − d /2
하한 : d ≥ 3 d \geq 3 d ≥ 3 에 대해,
g ω ( x , y ) ≥ c 5 ∣ x − y ∣ 2 − d g^\omega(x,y) \geq c_5|x-y|^{2-d} g ω ( x , y ) ≥ c 5 ∣ x − y ∣ 2 − d
절단된 2차 모멘트 방법 : 완전한 열핵 추정이 필요 없으며, Green 함수 추정만 의존상자 제약 기법 : 큰 상자 Λ m \Lambda_m Λ m 에서 과정을 제약하여 분산 제어함정 환경의 개선된 처리 : 무작위 함정에 대해 이중 절단(상자 경계 및 깊은 함정) 사용(i) 일시성 (d ≥ 5 d \geq 5 d ≥ 5 ): 1 / p + 1 / q < 2 / d 1/p + 1/q < 2/d 1/ p + 1/ q < 2/ d 이고 ω ∈ L p ( P ) , ω − 1 ∈ L q ( P ) \omega \in L^p(P), \omega^{-1} \in L^q(P) ω ∈ L p ( P ) , ω − 1 ∈ L q ( P ) 일 때, 임계 뱀은 거의 확실히 일시적입니다.
(ii) 재귀성 (d ≤ 4 d \leq 4 d ≤ 4 ): 상수 p ∈ [ 1 , ∞ ) p \in [1,\infty) p ∈ [ 1 , ∞ ) 가 존재하여, 환경이 가정 1.2, 1.4를 만족하고 ω , ω − 1 ∈ L p ( P ) \omega, \omega^{-1} \in L^p(P) ω , ω − 1 ∈ L p ( P ) 일 때, 임계 뱀은 거의 확실히 재귀적입니다.
(i) 일시성 (d ≥ 5 d \geq 5 d ≥ 5 ): sup x ∈ Z d E π ω ( x ) < ∞ \sup_{x \in \mathbb{Z}^d} E\pi_\omega(x) < \infty sup x ∈ Z d E π ω ( x ) < ∞ 일 때, 임계 뱀은 거의 확실히 일시적입니다.
(ii) 재귀성 (d ≤ 4 d \leq 4 d ≤ 4 ): 가정 1.2, 1.6 하에서 E π ω ( 0 ) < ∞ E\pi_\omega(0) < \infty E π ω ( 0 ) < ∞ 일 때, 임계 뱀은 거의 확실히 재귀적입니다.
정규화된 국소 시간을 통해:
L ∞ ( 0 ) : = # S T ∞ − 1 ( { 0 } ) π ω ( 0 ) L_\infty(0) := \frac{\#S_{T_\infty}^{-1}(\{0\})}{\pi_\omega(0)} L ∞ ( 0 ) := π ω ( 0 ) # S T ∞ − 1 ({ 0 })
E ω [ L ∞ ( 0 ) ] < ∞ E^\omega[L_\infty(0)] < \infty E ω [ L ∞ ( 0 )] < ∞ 를 증명하며, 다음을 활용합니다:
E ω [ L ∞ ( 0 ) ] = σ 2 ∑ n ≥ 0 ( n + 1 ) P n ω ( 0 , 0 ) E^\omega[L_\infty(0)] = \sigma^2 \sum_{n \geq 0} (n+1)P_n^\omega(0,0) E ω [ L ∞ ( 0 )] = σ 2 ∑ n ≥ 0 ( n + 1 ) P n ω ( 0 , 0 )
2차 모멘트 방법을 사용하여, 상자 Λ m \Lambda_m Λ m 에 제약된 과정 L m L_m L m 에 대해:
보조정리 4.3 : E [ L m ] ≍ { m if d = 3 log m if d = 4 E[L_m] \asymp \begin{cases}
m & \text{if } d=3 \\ \log m & \text{if } d=4
\end{cases} E [ L m ] ≍ { m log m if d = 3 if d = 4
보조정리 4.4 : E [ L m 2 ] ≤ c 2 E [ L m ] 2 E[L_m^2] \leq c_2 E[L_m]^2 E [ L m 2 ] ≤ c 2 E [ L m ] 2
Paley-Zygmund 부등식으로부터 P ( L ∞ ( 0 ) = ∞ ) > 0 P(L_\infty(0) = \infty) > 0 P ( L ∞ ( 0 ) = ∞ ) > 0 을 얻고, 0-1 법칙과 결합하여 재귀성을 도출합니다.
Andres-Halberstam 결과를 활용하여 무작위 전도도 환경에서의 상한 및 하한 추정 획득 무작위 함정 환경에 대해 g ω ( x , y ) = g ( x , y ) g^\omega(x,y) = g(x,y) g ω ( x , y ) = g ( x , y ) (균질한 경우) 증명 Many-to-two 공식을 통해 2차 모멘트 제어:
E ω [ ( L x , 0 1 , m ) 2 ] ≤ c ∑ y ∈ Λ m g m ( x , y ) g m ( y , 0 ) 2 π ω ( y ) π ω ( 0 ) 2 E^\omega[(L_{x,0}^{1,m})^2] \leq c \sum_{y \in \Lambda_m} g^m(x,y)g^m(y,0)^2\pi_\omega(y)\pi_\omega(0)^2 E ω [( L x , 0 1 , m ) 2 ] ≤ c ∑ y ∈ Λ m g m ( x , y ) g m ( y , 0 ) 2 π ω ( y ) π ω ( 0 ) 2
깊은 함정 집합 A ω = { x : π ω ( x ) ≥ R ∣ x ∣ 2 } A_\omega = \{x: \pi_\omega(x) \geq R|x|^2\} A ω = { x : π ω ( x ) ≥ R ∣ x ∣ 2 } 를 정의하고, 경계와 깊은 함정에서 동시에 과정을 절단합니다.
Benjamini-Curien (2012) : 단모성과 질량 전달 기법을 사용하여 균질 환경에서의 결과 증명Comets-Popov (2007), Gantert-Müller (2006) : 초임계 경우의 일반적 준칙Andres-Halberstam (2021) : 무작위 전도도 환경에서의 Green 함수 추정고전적 결과 : Kesten의 구 내 뱀 집중성 결과임계 무작위 보행 뱀 재귀성의 완전한 차원 임계값 수립: d ≤ 4 d \leq 4 d ≤ 4 에서 재귀적, d ≥ 5 d \geq 5 d ≥ 5 에서 일시적.
무작위 전도도 경우의 적분가능성 가정이 강하며, 최적의 p p p 값 미제시 유한 범위 의존성 가정을 완화할 수 있지만 기술이 더 복잡 혼합 환경(전도도+함정)의 완전한 처리에는 추가 작업 필요 열핵 감쇠 : 조건 ∑ n n P 0 ω ( X 2 n = 0 ) < ∞ \sum_n nP_0^\omega(X_{2n} = 0) < \infty ∑ n n P 0 ω ( X 2 n = 0 ) < ∞ 의 서로 다른 차원에서의 성립성 연구타격 확률 : 유한 BRWRE의 타격 확률 추정으로 확대더 일반적 환경 : 전도도와 함정의 조합 환경 처리이론적 완전성 : 임계 경우에서 완전한 차원 임계값 정리 수립방법론적 혁신 : 절단된 2차 모멘트 방법으로 복잡한 단모성 기법 회피기술적 깊이 : Green 함수 추정과 동역학계 방법의 결합으로 높은 기술 수준 체현결과의 정확성 : 두 가지 환경 유형에서 정확한 조건 제시강한 가정 : 특히 무작위 전도도 경우의 적분가능성 요구상수 비최적성 : 최적의 적분가능성 지표 추구 미흡응용 범위 : 주로 이론적 결과로, 실제 응용 가치 제한적이론적 기여 : 임계 분지 무작위 보행 이론의 중요한 공백 해소방법론적 가치 : 절단된 2차 모멘트 방법이 다른 관련 문제에 적용 가능기술적 영향 : 무작위 환경에서의 분지 과정 연구에 새로운 도구 제공주로 확률론의 분지 과정, 무작위 보행 및 무작위 환경 이론 연구에 적용되며, 통계물리의 상전이 현상에도 이론적 지도 가치가 있습니다.
논문은 24편의 중요 문헌을 인용하며, 분지 과정, 무작위 보행, 무작위 환경 등 여러 분야의 고전 및 최신 결과를 포함하여 저자의 관련 분야에 대한 깊은 이해를 반영합니다.