1: \begin{abstract}

2: We are given a uniformly elliptic coefficient field 

3: that we regard as a realization of a stationary and finite-range (say, range unity) ensemble of coefficient fields.

4: Given a (deterministic) right-hand-side supported in a ball of size $\ell\gg 1$ and of vanishing average, 

5: we are interested in an algorithm to compute the (gradient of the) solution near the origin, 

6: just using the knowledge of the (given realization of the) coefficient field in some large box of size $L\gg\ell$. 

7: More precisely, we are interested in the most seamless (artificial) boundary condition

8: on the boundary of the computational domain of size $L$. 

9: 

10: \smallskip

11: 

12: Motivated by the recently introduced multipole expansion in random media, we propose an algorithm. 

13: We rigorously establish an error estimate (on the level of the gradient) in terms of $L\gg\ell\gg 1$, 

14: using recent results in quantitative stochastic homogenization. More precisely,

15: our error estimate has an a priori and an a posteriori aspect: With a priori overwhelming probability,

16: the (random) prefactor can be bounded by a constant that is computable without much further effort, 

17: on the basis of the given realization in the box of size $L$.

18: 

19: \smallskip

20: 

21: We also rigorously establish that the order of the error estimate in both $L$ and $\ell$ is optimal,

22: %so that the proposed algorithm is optimal in terms of scaling

23: where in this paper we focus on the case of $d=2$.

24: This amounts to a lower bound on the variance of the quantity of interest when conditioned on

25: the coefficients inside the computational domain, 

26: and relies on the deterministic insight that a sensitivity analysis wrt a defect 

27: commutes with (stochastic) homogenization.

28: Finally, we carry out numerical experiments that show that this optimal convergence rate already sets in at only moderately large $L$,

29: and that more naive boundary conditions perform worse both in terms of rate and prefactor.

30: 

31: \end{abstract}