Abstract:In this work we extend the quenched local limit theorem obtained by the authors in [BBDS23]. More precisely, we consider a directed random walk on the backbone of the supercritical oriented percolation cluster in dimensions $d+1$ with $d\geq 1$ being the spatial dimension. In [BBDS23] an annealed local central limit theorem was proven for all $d\geq 1$ and a quenched local limit theorem under the assumption $d\geq 3$. Here we show that the latter result also holds for all $d \ge 1$.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
The main objective of this paper is to extend the previous quenched local limit theorem of directed random walk on the backbone of supercritical oriented percolation cluster. Specifically, the authors have addressed the following problems:
1. **Extension of dimension limitations**:
- In previous literature, the quenched local limit theorem was only valid for spatial dimensions \(d \geq 3\). This paper extends this result to all dimensions \(d \geq 1\), that is, it proves that the quenched local limit theorem also holds for \(d = 1\) and \(d = 2\).
2. **Overcoming technical difficulties**:
- To achieve this extension, the authors need to overcome some technical difficulties. In particular, they need to handle the different characteristics of the influence of the environment on the random walk in low dimensions. To this end, they introduce some new estimates and lemmas, such as the boundary estimate of the number of encounters between two independent random walks in the same environment.
### Main results
The main results of the paper include two aspects:
1. **Existence of invariant measures**:
- Theorem 2.1: For \(d \geq 1\) and \(p\in(p_c, 1]\), there exists a unique measure \(Q\) that is invariant with respect to the particle perspective, satisfies certain concentration properties, and is absolutely continuous with respect to the environmental measure \(P\).
2. **Quenched local limit theorem**:
- Theorem 2.2: For \(d \geq 1\) and \(p\in(p_c, 1]\), in almost all environments, the quenched local limit theorem holds. Specifically, as time \(n\) approaches infinity, the difference between the quenched probability and the annealed probability approaches zero.
### Technical means
To prove these results, the authors use a variety of technical means, including but not limited to:
- **Extension of quenched - annealed comparison results**: By extending the quenched - annealed comparison results (Theorem 3.24) of Steif et al. from \(d \geq 3\) to \(d \geq 1\).
- **Application of regeneration construction**: Using the regeneration construction of random walks, so that under the annealed law, the random walk can be regarded as a centered random walk.
- **Intersection estimates**: Estimates of the number of encounters between two independent random walks in the same environment, especially the improvement in low dimensions.
Through these technical means, the authors successfully prove the validity of the quenched local limit theorem for all dimensions \(d \geq 1\), filling the theoretical gap in low - dimension cases.