1: \begin{abstract}

2: We study level-set percolation for the harmonic crystal on $\bbZ^d$, $d \geq 3$, with uniformly elliptic random conductances. We prove that this model undergoes a non-trivial phase transition at a critical level that is almost surely constant under the environment measure. Moreover, we study the disconnection event that the level-set of this field below a level $\alpha$ disconnects the discrete blow-up of a compact set $A \subseteq \bbR^d$ from the boundary of an enclosing box. We obtain quenched asymptotic upper and lower bounds on its probability in terms of the homogenized capacity of $A$, utilizing %$\Gamma$-convergence%

3: results from Neukamm, Sch\"affner and Schl\"omerkemper, see~\cite{neukamm2017stochastic}.  Furthermore, we give upper bounds on the probability that a local average of the field deviates from some profile function depending on $A$, when disconnection occurs. The upper and lower bounds concerning disconnection that we derive are plausibly matching at leading order. %(depending on the identification of certain critical levels)

4: In this case, this work shows that conditioning on disconnection leads to an entropic push-down of the field. The results in this article generalize the findings of~\cite{nitzschner2018entropic} and~\cite{chiarini2019entropic} by the authors which treat the case of constant conductances. Our proofs involve novel ``solidification estimates'' for random walks, which are similar in nature to the corresponding estimates for Brownian motion derived by Sznitman and the second author in~\cite{nitzschner2017solidification}. 

5: \end{abstract}

6: