Table of Contents
Fetching ...

An Invariance Principle for a Random Walk Among Moving Traps via Thermodynamic Formalism

Siva Athreya, Alexander Drewitz, Rongfeng Sun

TL;DR

The paper analyzes a simple random walk on ${\mathbb Z}^d$ interacting with a Poisson cloud of mobile traps, where the walker is killed at a rate $\gamma$ times the local trap count. By recasting the trapping problem in thermodynamic formalism on an uncountable, non-compact alphabet and proving a Ruelle–Perron–Frobenius-type result with summable variation, the authors construct an $h$-transformed ergodic Markov process and derive a mixing bound in $L^2$. This framework yields a functional central limit theorem for the annealed path conditioned on survival in dimensions $d\ge 6$, with a diffusion coefficient $\sigma^2>0$ for sufficiently small $\gamma$. In contrast to the subdiffusive behavior known in one dimension, the results show diffusive fluctuations in high dimensions and highlight the utility of extending thermodynamic-formalism to uncountable alphabets; the analysis also provides tools that may apply to other non-compact settings in statistical mechanics and probability.

Abstract

We consider a random walk among a Poisson cloud of moving traps on ${\mathbb Z}^d$, where the walk is killed at a rate proportional to the number of traps occupying the same position. In dimension $d=1$, we have previously shown that under the annealed law of the random walk conditioned on survival up to time $t$, the walk is sub-diffusive. Here we show that in $d\geq 6$ and under diffusive scaling, this annealed law satisfies an invariance principle with a positive diffusion constant if the killing rate is small. Our proof is based on the theory of thermodynamic formalism, where we extend some classic results for Markov shifts with a finite alphabet and a potential of summable variation to the case of an uncountable non-compact alphabet.

An Invariance Principle for a Random Walk Among Moving Traps via Thermodynamic Formalism

TL;DR

The paper analyzes a simple random walk on interacting with a Poisson cloud of mobile traps, where the walker is killed at a rate times the local trap count. By recasting the trapping problem in thermodynamic formalism on an uncountable, non-compact alphabet and proving a Ruelle–Perron–Frobenius-type result with summable variation, the authors construct an -transformed ergodic Markov process and derive a mixing bound in . This framework yields a functional central limit theorem for the annealed path conditioned on survival in dimensions , with a diffusion coefficient for sufficiently small . In contrast to the subdiffusive behavior known in one dimension, the results show diffusive fluctuations in high dimensions and highlight the utility of extending thermodynamic-formalism to uncountable alphabets; the analysis also provides tools that may apply to other non-compact settings in statistical mechanics and probability.

Abstract

We consider a random walk among a Poisson cloud of moving traps on , where the walk is killed at a rate proportional to the number of traps occupying the same position. In dimension , we have previously shown that under the annealed law of the random walk conditioned on survival up to time , the walk is sub-diffusive. Here we show that in and under diffusive scaling, this annealed law satisfies an invariance principle with a positive diffusion constant if the killing rate is small. Our proof is based on the theory of thermodynamic formalism, where we extend some classic results for Markov shifts with a finite alphabet and a potential of summable variation to the case of an uncountable non-compact alphabet.
Paper Structure (13 sections, 14 theorems, 163 equations)

This paper contains 13 sections, 14 theorems, 163 equations.

Key Result

Theorem 1.1

Let $d \ge 6$, and let $P^\gamma_t$ be the path measure defined in eq:Gibbs, where the reference walk $X$ is a simple symmetric random walk on $\mathbb{Z}^d$ with jump rate $\kappa>0$. Furthermore, assume the traps evolve as a Poisson system of independent simple symmetric random walks with density

Theorems & Definitions (43)

  • Theorem 1.1: Invariance Principle
  • Lemma 2.1: Feller Property
  • proof
  • Theorem 2.2: Ruelle-Perron-Frobenius
  • Remark 2.3
  • proof : Proof of Theorem \ref{['thm:nuex']} \ref{['item:fixedPoint']}
  • Claim 2.4
  • Claim 2.5
  • proof : Proof of Theorem \ref{['thm:nuex']} \ref{['item:harmonic']}
  • Claim 2.6
  • ...and 33 more