Fick's law in a random lattice Lorentz gas (Q2347188)

The goal of the author is a proof that the stationary macroscopic current of particles in a random lattice Lorentz gas satisfies Fik's law when connected to particles reservoirs. To this end the author considers the \(d\)-dimensional box: \[ \Lambda=\{1,\dots,N\}^d=\{i=(i_1,\dots,i_d),\,i_l\in \{1,\dots,N\},\;1\leq l\leq d \}. \] To each site \(i\in\Lambda\), the author attaches a ring \(R_i\) carrying \(N\) sites \(k\in\{1,\dots,N\}\). The model consists of particles moving on \[ C=\Pi_{i\in\Lambda}R_i=\{(k,i):k\in\{1,\dots,N\},\;i\in \Lambda\}. \] The author states his main result: {Theorem}. Let \(d>7\), \(\rho_l,\rho_+,\rho_-\in (0,1)\) and \(\xi\) be a family of Bernoulli random variables of parameter \(\mu\) and \(\{\sigma(x;0):x\in C\}\) be a set of independent Bernoulli random variables with \( E[\sigma(x;0)]=\rho_-\) if \(x\in B_-\), \(E[\sigma(x;0)]\rho_+\) if \(x\in B_+\) and \( E[\sigma(x;0)]=\rho_l\) if \(x\in B_-\cup B_+\).{\parindent=6mm \begin{itemize} \item[(1)] For any \(N\in N^*\) and any \(t\geq \bar{t}=N^{d+1}\), \(J(l,t)=J(l,\bar{t}):=\bar{J}(l),\) the equality holds in law.\item [(2)] For any \(\delta>0\) and any \(l\in\{1,\dots,N-1\}\) \[ \lim_{N\rightarrow\infty}P[|N\bar{J}(l)-k(\mu)\rho_--\rho_+|>\delta]=0, \] where \(k(\mu)=\mu(1-\mu)^{4d-2}\).\item [(3)] There exist random variables \( [L(l,t):l\in\{1,\dots,N-1\},t>0]\) such that for every \( \delta>0\), \(\varepsilon>0\), \(t>0 \) and \(l\in \{1,\dots,N-1\}\) \end{itemize}} \[ \lim_{N\rightarrow\infty}P[|N(J(ltN^2)+L(l,tN^2))-k(\mu)(\rho_--\rho_+)|>\delta]=0 \] and \(L(l,t)\) satisfies \[ P[|L(l,tN^2)|>\varepsilon]\leq C\varepsilon^{-1}\exp-k(\mu)t+O(\frac{1}{N^{\frac{5}{2}}}). \] Here \(B_-=\{(k,i)\in C;i_d=1\}\), \(B_+=\{(k,i)\in C;i_d=N\}\) and \(J(l,t)\) is the current of particles at time \(t\in N\) between hyperplanes \(C^l=\{x\in C:i-d=l\}\) and \(C^{d+1}\), \(l\in\{1,\dots,N-1\}\).