Quenched invariance principle for a reflecting diffusion in a continuum percolation cluster (Q6610116)

The author consider a model for continuum percolation cluster and this model satisfies the conditions of Matsuura (see [\textit{K. Matsuura}, Potential Anal. 53, No. 1, 23--53 (2020; Zbl 1442.31006)]), and hence the reflecting Brownian motion has a density.\N\NThe main result of this paper is given in the Theorem 1.1 (quenched invariance principle). For the proof, the author haved mainly follow the argument that appeared in [\textit{A. Chiarini} and \textit{J.-D. Deuschel}, Ann. Inst. Henri Poincaré, Probab. Stat. 52, No. 4, 1535--1563 (2016; Zbl 1355.60037)] and he used an important result due to \textit{M. Fukushima} et al. [Lect. Notes Math. 1250, 87--97 (1987; Zbl 0629.60085)].