1: \begin{abstract}
2: We study homogenization properties of the discrete Laplace operator with random conductances on a large domain in $\Zd$.
3: More precisely, we prove almost-sure homogenization of the discrete Poisson equation and of the top of the Dirichlet spectrum.
4:
5: We assume that the conductances are stationary, ergodic and nearest-neighbor conductances are positive.
6: In contrast to earlier results, we do not require uniform ellipticity but certain integrability conditions on the lower and upper tails of the conductances.
7: We further allow jumps of arbitrary length.
8:
9: Without the long-range connections, the integrability condition on the lower tail is optimal for spectral homogenization.
10: It coincides with a necessary condition for the validity of a local central limit theorem for the random walk among random conductances.
11: As an application of spectral homogenization, we prove a quenched large deviation principle for the normalized and rescaled local times of the random walk in a growing box.
12:
13: Our proofs are based on a compactness result for the Laplacian's Dirichlet energy, Poincar\'e inequalities, Moser iteration and two-scale convergence.
14: \end{abstract}
15: