hase transitions for a class of gradient field



Introduction {#sec:introduction}
============

Gradient fields are a statistical mechanics model that can be used to model phase separation or, in the case of vector valued fields, solid materials. Formally they can be defined as a random field $({\varphi}_x)_{x\in {{\mathbb{Z}}}^d}\in {{\mathbb{R}}}^{{{\mathbb{Z}}}^d}$ with distribution $$\begin{aligned}
\label{eq:formal_grad_int_def}
\frac{\exp\left(-\sum_{x\sim y} V({\varphi}(x)-{\varphi}(y))\right)}{Z}\prod_{x\in{{\mathbb{Z}}}^d} {\mathrm{d}}{\varphi}(x).\end{aligned}$$ Here ${\mathrm{d}}{\varphi}(x)$ denotes the Lebesgue measure, $V:{{\mathbb{R}}}\to{{\mathbb{R}}}$ a measurable symmetric potential, and $\sim$ indicates the neighbourhood relation for ${{\mathbb{Z}}}^d$. We can give a meaning to the formal expression using the DLR-formalism. The DLR-formalism defines equilibrium distributions usually called Gibbs measure for this type of models as measures $\mu$ on ${{\mathbb{R}}}^{{{\mathbb{Z}}}^d}$ such that the conditional probability of the restriction to any finite set is as above. In the setting of gradient interface models no Gibbs measure exists in dimension $d\leq 2$. Therefore one often considers gradient Gibbs measures @MR1463032 [@MR0094682]. This means that attention is restricted to the $\sigma$-algebra generated by the gradient fields $$\begin{aligned}
\eta_{xy}={\varphi}(y)-{\varphi}(x) \quad \text{for $x\sim y$.}\end{aligned}$$ Then infinite volume measures exist if $V(s)$ grows sufficiently fast (linearly is sufficient) as $s\to\pm\infty$. Gradient Gibbs measures are also useful to model tilted surfaces. For a translation invariant gradient Gibbs measure $\mu$ the tilt vector $u\in {{\mathbb{R}}}^d$ is defined by $$\begin{aligned}
{{\mathbb{E}}}_\mu(\nabla {\varphi}(x))=u\end{aligned}$$ where $\nabla{\varphi}(x)\in{{\mathbb{R}}}^d$ denotes the discrete derivative, i.e., the vector with entries $\nabla_i{\varphi}(x)={\varphi}(x+e_i)-{\varphi}(x)$ with $e_i$ denoting the $i$-th standard unit vector. If the gradient Gibbs measure is ergodic the tilt corresponds to the asymptotic average inclination of almost every realisation of the gradient field.

Gradient interface models have been studied frequently in the past years. In particular the discrete Gaussian free field with $V(s)=s^2$ where the fields are Gaussian caught considerable attention. Many of the results obtained in this case were generalized to the class of strictly convex potentials satisfying $c_1\leq V''(s)\leq c_2$ for some $0<c_1<c_2$ and all $s\in {{\mathbb{R}}}$. Let us only mention two results for convex potentials and refer to the literature in particular the reviews @MR2228384 [@MR2251117] for all further results and references. Funaki and Spohn showed in @MR1463032 that for every tilt vector $u$ there exists a unique translation invariant gradient Gibbs measure. Moreover, the scaling limit of the model is a massless Gaussian field as shown by Naddaf and Spencer @MR1461951 for zero tilt and generalised to arbitrary tilt by Giacomin, Olla, and Spohn @MR1872740. In contrast for non-convex potentials far less is known because all the techniques seem to rely on convexity in an essential way. For potentials of the form $V=U+g$ where $U$ is strictly convex and $g''\in L^q$ for some $q\geq 1$ with sufficiently small norm the problem can be led back to the convex theory by integrating out some degrees of freedom. This way many results from the convex case can be proved in particular uniqueness and existence of the Gibbs measure for every tilt and that the scaling limit is Gaussian @MR2470934 [@MR2976565; @MR3913274]. This corresponds to a high temperature result. For low temperatures which correspond to non-convexities far away from the minimium of $V$ it was shown that the surface tension is strictly convex and the scaling limit is Gaussian @adams2016strict [@hilger2016scaling].

For intermediate temperatures that correspond to very non-convex potentials no robust techniques are known. All results to date are restricted to the special class of potentials introduced by Biskup and Kotecky in @MR2322690 that can be represented as $$\begin{aligned}
\label{eq:pot_general}
e^{-V(x)}=\int_{{{\mathbb{R}}}_+} e^{-\frac{\kappa x^2}{2}}\,\rho({\mathrm{d}}\kappa)\end{aligned}$$ where $\rho$ is a non-negative Borel measure on the positive real line. Biskup and Kotecky mostly considered the simplest nontrivial case, denoting the Dirac measure at $x\in {{\mathbb{R}}}$ by $\delta_x$, $$\begin{aligned}
\label{eq:def_rho}
\rho=p\delta_q+(1-p)\delta_1\end{aligned}$$ where $p\in [0,1]$ and $q\geq1$. They show that in dimension $d=2$ and for $q>1$ sufficiently large there exist two ergodic zero-tilt gradient Gibbs measures. Later, Biskup and Spohn showed in @MR2778801 that nevertheless the scaling limit of every zero-tilt gradient Gibbs measure is Gaussian if the measure $\rho$ is compactly supported in $(0,\infty)$. In @MR3982951 their result was recently extended by Ye to potentials of the form $V(s)=(1+s^2)^\alpha$ with $0<\alpha<\frac12$. Those potentials can be expressed as in but $\rho$ has unbounded support so that the results from @MR2778801 do not directly apply.

The main reason to study this class of potentials is that such potentials are much more tractable because the variable $\kappa$ can be considered as an additional degree of freedom using the representation . This leads to extended gradient Gibbs measures which are given by the joint law of $(\eta_{e},\kappa_{e})_{e\in{\mathbf{E}}({{\mathbb{Z}}}^d)}$. These extended gradient Gibbs measures can be represented as a mixture of non-homogeneous Gaussian fields with bond potential $\kappa_{e}\eta^2/2$ for every edge $e\in {\mathbf{E}}({{\mathbb{Z}}}^d)$ and $\kappa_{e}\in {{\mathbb{R}}}_+$. This implies that for a given $\kappa$ the distribution of the random field is Gaussian with covariance given by the inverse of the operator $\Delta_\kappa$ where $$\begin{aligned}
\Delta_\kappa f(x)=\sum_{y\sim x} \kappa_{\{x,y\}}(f(x)-f(y)).\end{aligned}$$ In all the works mentioned before this structure is frequently used, e.g. in @MR2778801 it is proved that the resulting $\kappa$-marginal of the extended gradient Gibbs measure is ergodic so that well known homogenization results for random walks in ergodic environments can be applied.

The main purpose of this note is to investigate the properties of the $\kappa$-marginal of extended gradient Gibbs measures in a bit more detail. The starting point is the observation that the $\kappa$-marginal of an extended gradient Gibbs measures with zero tilt is itself a Gibbs measure for a certain specification. This specification arises as the infinite volume of an infinite range random conductance model defined on finite graphs. On the other hand, we show that starting from a Gibbs measure for the random conductance model we can construct a zero tilt gradient Gibbs measure thus showing a one to one relation between the two notions of Gibbs measures. In particular, we can lift results about the random conductance model to results about gradient Gibbs measures. Note that one major drawback is the restriction to zero tilt that applies here and to all earlier results for this model. Let us mention that massive ${{\mathbb{R}}}$-valued random fields have been earlier connected to discrete percolation models to analyse the existence of phase transitions @MR1766352. For gradient models the setting is slightly different because we consider a random conductance model on the bonds with long ranged correlations while for massive models one typically considers some type of site percolation with quickly decaying correlations.

The main motivation for our analysis is that it provides a first step to the completion of the phase diagram for this potential and zero tilt and a better understanding of the two coexisting Gibbs states. Moreover, the random conductance model appears to be interesting in its own right. We could define the random conductance model and prove several of the results for arbitrary $\rho$ but we mostly restrict our analysis to the simplest case where $\rho$ is as in and the potential is of the form $$\begin{aligned}
\label{eq:pot_special}
e^{-V_{p,q}(x)}=pe^{-\frac{qx^2}{2}}+(1-p)e^{-\frac{x^2}{2}}.\end{aligned}$$ We prove several results about the random conductance model in particular correlation inequalities (that extend to arbitrary $\rho$). One helpful observation is that the random conductance model is closely related to determinantal processes because its definition involves a determinant weight. This simplifies several of the proofs because all correlation inequalities can be immediately led back to similar results for the weighted spanning tree. Using the correlation inequalities it is possible to show uniqueness of its Gibbs measure in certain regimes.

It was already observed in @MR2322690 that the gradient interface model with potential $V_{p,q}$ exhibits a duality property when defined on the torus. Moreover, there is a self dual point $p_{{\mathrm{sd}}}=p_{{\mathrm{sd}}}(q)\in (0,1)$ where the model agrees with its own dual. The self dual point satisfies the equation $$\begin{aligned}
\label{eq:self_dual_equation}
\left(\frac{p_{{\mathrm{sd}}}}{1-p_{{\mathrm{sd}}}}\right)^4=q.\end{aligned}$$ In @MR2322690 it is shown that the location of the phase transition in $d=2$ must be the self dual point.

We extend the duality to the random conductance model and arbitrary planar graphs. Using the fact that ${{\mathbb{Z}}}^2$ as a graph is self-dual we can use the duality to prove non-uniqueness of the Gibbs measure therefore reproving the result from @MR2322690 without the use of reflection positivity. Many of our techniques and results for the random conductance model originated in the study of the random cluster model and we conjecture further similarities.

This paper is structured as follows. In Section \[sec:model\] we give a precise definition of gradient Gibbs measures and state our main results. Then, in Section \[sec:model\_intro\] we introduce and motivate the random conductance model and its relation to extended gradient Gibbs measures. We prove properties of the random conductance model in Sections \[sec:percolation\] and \[sec:further\_prop\]. Finally, in Section \[sec:phase\_transition\] we use the duality of the model to reprove the phase transition result. Two technical proofs and some results about regularity properties of discrete elliptic equations are delegated to appendices.

Model and main results {#sec:model}
======================

#### Specifications.

Let us briefly recall the definition of a specification because the concept will be needed in full generality for the random conductance model (see Section \[sec:percolation\]). We consider a countable set $S$ (mostly ${{\mathbb{Z}}}^d$ or the edges of ${{\mathbb{Z}}}^d$) and a measurable state space $(F,{{\mathcal{F}}})$ (mostly either $|F|=2$ or $(F,{{\mathcal{F}}})=
({{\mathbb{R}}},\mathcal{B}({{\mathbb{R}}}))$). Random fields are probability measures on $(F^S,{{\mathcal{F}}}^S)$ where ${{\mathcal{F}}}^S$ denotes the product $\sigma$-algebra. The set of probability measures on a measurable space $(X,\mathcal{X})$ will be denoted by $\mathcal{P}(X,\mathcal{X})$. For any $\Lambda\subset S$ we denote by $\pi_\Lambda:F^S\to F^\Lambda$ the canonical projection. We often consider the $\sigma$-algebra ${{\mathcal{F}}}_\Lambda=\pi_\Lambda^{-1}({{\mathcal{F}}}^\Lambda)$ of events depending on the set $\Lambda$. Recall that a probability kernel $\gamma$ from $(X,\mathcal{B})$ to $(X,\mathcal{X})$, where $\mathcal{B}\subset \mathcal{X}$ is a sub-$\sigma$-algebra, is called proper if $\gamma(B,\cdot)=\mathbb{1}_B$ for $B\in \mathcal{B}$.

\[def:spec\] A specification is a family of proper probability kernels $\gamma_\Lambda$ from ${{\mathcal{F}}}_{\Lambda^{\mathrm{c}}}$ to ${{\mathcal{F}}}_{S}$ indexed by finite subsets $\Lambda\subset S$ such that $\gamma_{\Lambda_1}\gamma_{\Lambda_2} =\gamma_{\Lambda_1}$ if $\Lambda_2\subset \Lambda_1$. We define the set of random fields admitted to $\gamma$ by $$\begin{aligned}
\label{eq:def_admitted}
    \mathcal{G}(\gamma)=\{\mu\in \mathcal{P}(F^S,{{\mathcal{F}}}_S): \mu(A|{{\mathcal{F}}}_{\Lambda^c})(\cdot)=\gamma_{\Lambda}(A|\cdot) \text{ $\mu$-a.s. for all
    $A\in {{\mathcal{F}}}_S$ and $\Lambda\subset S$ finite}\}.
    \end{aligned}$$

\[remark:Gibbs\_specification\] There is a well known equivalent definition of Gibbs measures. A cofinal set $I$ is a subset of subsets of $S$ with the property that for any finite set $\Lambda_0\subset S$ there is $\Lambda\in I$ such that $\Lambda_0\subset \Lambda$. Then $\mu\in \mathcal{G}(\gamma)$ if and only if $\mu\gamma_{\Lambda}=\mu$ for $\Lambda\in I$ where $I$ is a cofinal subset of subsets of $S$. See Remark 1.24 in @MR2807681 for a proof.

#### Gradient Gibbs measures.

We introduce the relevant notation and the definition of Gibbs and gradient Gibbs measures to state our results. For a broader discussion see @MR2807681 [@MR2251117]. In this paragraph we consider real valued random fields indexed by a lattice $\Lambda \subset {{\mathbb{Z}}}^d$. We will denote the set of nearest neighbour bonds of ${{\mathbb{Z}}}^d$ by ${\mathbf{E}}({{\mathbb{Z}}}^d)$. More generally, we will write ${\mathbf{E}}(G)$ and ${\mathbf{V}}(G)$ for the edges and vertices of a graph $G$. To consider gradient fields it is useful to choose on orientation of the edges. We orient the edges $e=\{x,y\}\in {\mathbf{E}}({{\mathbb{Z}}}^d)$ from $x$ to $y$ iff $x\leq y$ (coordinate-wise), i.e., we can view the graph $({{\mathbb{Z}}}^d,{\mathbf{E}}({{\mathbb{Z}}}^d))$ as a directed graph but mostly we work with the undirected graph.

To any random field ${\varphi}:{{\mathbb{Z}}}^d\to {{\mathbb{R}}}$ we associate the gradient field $\eta=\nabla {\varphi}\in {{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ given by $\eta_{e}={\varphi}_y-{\varphi}_x$ if $\{x,y\}\in {\mathbf{E}}({{\mathbb{Z}}}^d)$ are nearest neighbours and $x\leq y$. We formally write $\eta_{x,y}=\eta_e={\varphi}_y-{\varphi}_x$ and $\eta_{y,x}=-\eta_e={\varphi}_x-{\varphi}_y$. The gradient field $\eta$ satisfies the plaquette condition $$\begin{aligned}
\label{eq:plaquette}
\eta_{x_1,x_2}+\eta_{x_2,x_3}+\eta_{x_3,x_4}+\eta_{x_4,x_1}=0\end{aligned}$$ for every plaquette, i.e., nearest neighbours $x_1,x_2,x_3,x_4,x_1$. Vice versa, given a field $\eta\in{{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ that satisfies the plaquette condition there is a up to constant shifts a unique field ${\varphi}$ such that $\eta=\nabla {\varphi}$ (the antisymmetry of the gradient field is contained in our definition). We will refer to those fields as gradient fields and denote them by ${{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}_g$. To simplify the notation we write ${\varphi}_\Lambda$ for $\Lambda\subset {{\mathbb{Z}}}^d$ and $\eta_{E}$ for $E\subset {\mathbf{E}}({{\mathbb{Z}}}^d)$ for the the restriction of fields and gradient fields. We usually identify a subset $\Lambda\subset {{\mathbb{Z}}}^d$ with the graph generated by it and as before we write ${\mathbf{E}}(\Lambda)$ for the bonds with both endpoints in $\Lambda$.

For a subgraph $H\subset G$ we write $\partial H$ for the (inner) boundary of $H$ consisting of all points $x\in {\mathbf{V}}(H)$ such that there is an edge $e=\{x,y\}\in {\mathbf{E}}(G)\setminus {\mathbf{E}}(H)$. In the case of a graph generated by $\Lambda\subset G$ we have $x\in \partial\Lambda$ if there is $y\in \Lambda^{{\mathrm{c}}}$ such that $\{x,y\}\in {\mathbf{E}}(G)$. We define $\accentset{\circ} \Lambda=\Lambda\setminus \partial\Lambda$. For a finite subset $\Lambda\subset {{\mathbb{Z}}}^d$ we denote by ${\mathrm{d}}{\varphi}_\Lambda$ the Lebesgue measure on ${{\mathbb{R}}}^\Lambda$. We define for $\omega\in {{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}_{g} $ and $\Lambda$ finite and simply connected (i.e., $\Lambda^{\mathrm{c}}$ connected) the following a priori measure on gradient configurations $$\begin{aligned}
\label{eq:apriori_measure}
\nu_{\Lambda}^{\omega_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}}({\mathrm{d}}\eta)
=\nabla_\ast\left(\prod_{x\in {\accentset{\circ}}\Lambda^{{\mathrm{c}}}} \delta_{\tilde{\varphi}(x)}(\cdot)\;{\mathrm{d}}{\varphi}_{{\accentset{\circ}}\Lambda}\right)\end{aligned}$$ where $\tilde{\varphi}$ is a configuration such that $\nabla\tilde{\varphi}=\omega$ and $\nabla_\ast$ the push-forward of this measure along the gradient map $\nabla:{{\mathbb{R}}}^{{{\mathbb{Z}}}^d}\to {{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}_g$. The shift invariance of the Lebesgue measure implies that this definition is independent of the choice of $\tilde{\varphi}$ and it only depends on the restriction $\omega_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}$ since $\Lambda^{\mathrm{c}}$ is connected. For a potential $V:{{\mathbb{R}}}\to{{\mathbb{R}}}$ satisfying some growth condition we define the specification $\gamma_\Lambda$ $$\begin{aligned}
\label{eq:def_Gibbs_specification}
\gamma_\Lambda({\mathrm{d}}\eta,\omega_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}})=
\frac{\exp\left(-\sum_{e\in {\mathbf{E}}(\Lambda)}V(\eta_e)\right)}{Z_\Lambda(\omega_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}})}\nu_\Lambda^{\omega_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}}({\mathrm{d}}\eta)\end{aligned}$$ where the constant $Z_\Lambda(\omega_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}})$ ensures the normalization of the measure. We introduce the notation ${\mathcal{E}}_{E}=\pi_E^{-1}({\mathcal}{B}({{\mathbb{R}}})^E)$ for $E\subset {\mathbf{E}}({{\mathbb{Z}}}^d)$ for the $\sigma$-algebra of events depending only on $E$. Measures that are admitted to the specification $\gamma$, i.e., measures $\mu$ that satisfy for simply connected $\Lambda\subset{{\mathbb{Z}}}^d$ $$\begin{aligned}
\mu(A\mid {\mathcal{E}}_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}})(\cdot)=\gamma_\Lambda(A,\cdot)\qquad \text{$\mu$ a.s.}\end{aligned}$$ will be called gradient Gibbs measures for the potential $V$.

For $a\in {{\mathbb{Z}}}^d$ we consider the shift $\tau_a:{{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}\to {{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ that is defined by $$\begin{aligned}
\label{eq:shift}
(\tau_a\eta)_{x,y}=\eta_{x+a,y+a}.\end{aligned}$$ A measure is translation invariant if $\mu (\tau_a^{-1}(A))=\mu(A)$ for all $a$ and $A\in \mathcal{B}({{\mathbb{R}}})^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. An event is translation invariant if $\tau_a(A)=A$ for all $a\in {{\mathbb{Z}}}^d$. A gradient measure is ergodic if $\mu(A)\in \{0,1\}$ for all translation invariant $A$.

#### Main results.

Our first main result is the following almost always uniqueness result for the gradient Gibbs measures for potentials as in .

\[th:main\_unique\] For every $q$ and $d\geq 2$ there is an at most countable set $N(q,d)\subset [0,1]$ such that for any $p\in [0,1]\setminus N(q,d)$ there is a unique shift invariant ergodic gradient Gibbs measure $\mu$ with zero tilt for the potential $V_{p,q}$.

This theorem is proved in Section \[sec:further\_prop\] below the proof of Theorem \[th:countable\_non\_uniqueness\]. Moreover, we reprove the non-uniqueness result originally shown in @MR2322690 for this type of potential.

\[th:main\_non\_unique\] There is $q_0\geq 1$ such that for $d=2$, $q\geq q_0$, and $p=p_{{\mathrm{sd}}}(q)$ the solution of , there are at least two shift invariant gradient Gibbs measures with 0 tilt.

The proof of this theorem is given at the end of Section \[sec:phase\_transition\]. Moreover we prove uniqueness for 'high temperatures' and dimension $d\geq 4$. This corresponds to the regime where the Dobrushin condition holds.

\[th:Dobrushin\] Let $d\geq 4$. For any $q\geq 1$ there exists $p_0=p_0(q,d)>0$ such that for all $p\in [0,p_0)\cup (1-p_0,1]$ there is a unique shift invariant ergodic gradient Gibbs measure with zero tilt for the potential $V_{p,q}$. Moreover, there exists $q_0=q_0(d)>1$ such that for any $q\in [1,q_0]$ and any $p\in [0,1]$ there is a unique shift invariant ergodic gradient Gibbs measure with zero tilt for the potential $V_{p,q}$.

The proof of this Theorem is given in Section \[sec:further\_prop\] below the proof of Theorem \[th:Dobrushin\_discrete\].

The main tool in the proofs of these theorems is the fact that the structure of the potentials $V$ in allows us to consider $\kappa$ as a further degree of freedom and we consider the joint distribution of the gradient field $\eta$ and $\kappa$. We show that the law of the $\kappa$-marginal can be related to a random conductance model. The analysis of this model then translates back into the theorems stated before. We will make those statements precise in the next section. Let us end this section with some remarks.

1.  For spin systems with finite state space and bounded interactions there are general results that show that phase transitions, i.e., non-uniqueness of the Gibbs measure are rare, see, e.g., @MR2807681. Theorem \[th:main\_unique\] establishes a similar result for a specific class of potentials for a unbounded spin space. As discussed in more detail at the end of Section \[sec:further\_prop\] we expect that for every $q\geq 1$ the Gibbs measure is unique for all $p\in [0,1]$ except possibly for $p=p_c$ for some critical value $p_c=p_c(q)$. Hence, Theorem \[th:main\_unique\] is far from optimal but we hope that the results provided in this paper prove useful to establish stronger results.

2.  Let us compare the results to earlier results in the literature. For $p/(1-p)<1/q$ the potential $V_{p,q}$ is strictly convex so that uniqueness of the Gibbs measure is well known and holds for every tilt. The two step integration used by Cotar and Deuschel extends the uniqueness result to the regime $p/(1-p)<C/\sqrt{q}$ (see Section 3.2 in @MR2976565). In particular the case $p\in [0,p_0)$ in Theorem \[th:Dobrushin\] is included in earlier results. However, the potential becomes very non-convex (has a very negative second derivative at some points) for $p$ close to $1$ and the uniqueness result for $p\in (1-p_0,1]$ and $d\geq 4$ appears to be new. In this regime the only known result seems to be convexity of the surface tension as a function of the tilt which was shown in @adams2016strict (see in particular Proposition 2.4 there). Their results apply to $p$ very close to one, $q-1$ very small, and $d\leq 3$.

3.  The restriction to dimension $d\geq 4$ arises from the fact that the Green's function for inhomogeneous elliptic operators in divergence form decays slower than in the homogeneous case.

Extended gradient Gibbs measures and random conductance model {#sec:model_intro}
=============================================================

#### Extended gradient Gibbs measure.

In this work we restrict to potentials of the form introduced in . As already discussed in more detail in @MR2322690 and @MR2778801 it is possible to use the special structure of $V$ to raise $\kappa$ to a degree of freedom. Let $\mu$ be a gradient Gibbs measure for $V$. For a finite set $E\subset {\mathbf{E}}({{\mathbb{Z}}}^d)$ and Borel sets $\mathbf{A}\subset {{\mathbb{R}}}^E$ and $\mathbf{B}\subset {{\mathbb{R}}}_+^E$ we define the extended gradient Gibbs measure $$\begin{aligned}
\label{eq:def_extended_Gibbs}
  \tilde{\mu}((\eta_b,\kappa_b)_{b\in E}\in \mathbf{A}\times \mathbf{B})
  =\int_{\mathbf{B}} \rho_{E}({\mathrm{d}}\kappa) \mathbb{E}_\mu\left(\mathbb{1}_{\mathbf{A}}\prod_{e\in E} e^{-\frac12 \kappa_e\eta_e^2+V(\eta_e)}\right).
  \end{aligned}$$ It can be checked that this is a consistent family of measures and thus we can extend ${{\tilde{\mu}}}$ to a measure on $({{\mathbb{R}}}\times {{\mathbb{R}}}_+)^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. It was explained in @MR2322690 that $\tilde{\mu}$ is itself a Gibbs measure for the specification $\tilde \gamma_\Lambda$ defined by $$\begin{aligned}
\label{eq:specification_gamma_tilde}
  \tilde{\gamma}_\Lambda(({\mathrm{d}}\bar\eta,{\mathrm{d}}\bar\kappa), (\eta,\kappa))
    =\frac{\exp\left(-\frac12 \sum_{e\in {\mathbf{E}}(\Lambda)}\bar\kappa_e\bar\eta_e^2\right)}{Z_\Lambda(\eta_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}})} \nu_\Lambda^{\eta_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}}({\mathrm{d}}\bar\eta)\prod_{e\in {\mathbf{E}}(\Lambda)}\rho({\mathrm{d}}\bar\kappa_e)
  \prod_{e\in {\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}\delta_{\kappa_e}({\mathrm{d}}\bar\kappa_e).
  \end{aligned}$$ Note that the distribution $({\mathrm{d}}\bar\eta,{\mathrm{d}}\bar\kappa)_{{\mathbf{E}}(\Lambda)}$ actually only depends on $\eta_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}$ and is independent of $\kappa$. Let us add one remark concerning the notation. In this work we essentially consider three strongly related viewpoints of one model. The first viewpoint are gradient Gibbs measures that are measures on ${{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}_g$. Thy will be denoted by $\mu$ and the corresponding specification is denoted by $\gamma$. Then there are extended gradient Gibbs measures for a specification ${{\tilde{\gamma}}}$. They are measures on ${{\mathbb{R}}}_g^{{\mathbf{E}}({{\mathbb{Z}}}^d)}\times {{\mathbb{R}}}_+^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ and will be denoted by ${{\tilde{\mu}}}$. The $\eta$-marginal of ${{\tilde{\mu}}}$ is a gradient Gibbs measure $\mu$. Finally there is also the $\kappa$-marginal of ${{\tilde{\mu}}}$ which is a measure on ${{\mathbb{R}}}_+^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ and will be denoted by ${{\bar{\mu}}}$. An important result here is that ${{\bar{\mu}}}$ is a Gibbs measure for a specification ${{\bar{\gamma}}}$ if $\rho$ is a measure as in . In this case ${{\bar{\mu}}}$ is a measure on the discrete space $\{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. We expect that this result can be extended to far more general measures $\rho$ but we do not pursue this matter here. To keep the notation consistent we denote objects with single spin space ${{\mathbb{R}}}$, e.g., gradient Gibbs measures without symbol modifier, objects with single spin space $\{1,q\}$, e.g., the $\kappa$-marginal with a bar, and objects with single spin space $\{1,q\}\times {{\mathbb{R}}}$, e.g., extended Gibbs with a tilde. Let us also fix a notation for the corresponding relevant $\sigma$-algebras. We write as before ${\mathcal{E}}_E$ for the $\sigma$-algebra on ${{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ generated by $(\eta_e)_{e\in E}$ and we define ${\mathcal{E}}={\mathcal{E}}_{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. For the $\kappa$-marginal we similarly consider the $\sigma$-algebra ${\mathcal{F}}_E$ on $\{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ generated by $(\kappa_e)_{e\in E}$ and we write again ${\mathcal{F}}={\mathcal{F}}_{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. For the extended space ${{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}\times \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ we use the product $\sigma$-algebra ${\mathcal{A}}_E=\pi_1^{-1}({\mathcal{E}}_E)\otimes \pi_2^{-1}({\mathcal{F}}_E)$.

It was already remarked in @MR2322690 that this setting resembles the situation for the Potts model that can be coupled to the random cluster model via the Edwards-Sokal coupling measure.

#### The random conductance model.

As explained before our strategy is to analyse the $\kappa$-marginal of extended gradient Gibbs measures and then use the results to deduce properties of the gradient Gibbs measures for $V_{p,q}$. The key observation is that the $\kappa$-marginal of extended gradient Gibbs measures is given by the infinite volume limit of a strongly coupled random conductance model. To motivate the definition of the random conductance model we consider the $\kappa$-marginal of the extended specification $\tilde{\gamma}$ defined in . For zero boundary value $\bar{0}\in {{\mathbb{R}}}_g^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ with $\bar{0}_e=0$ and $\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ we obtain $$\begin{aligned}
\tilde\gamma_{\Lambda}\big(\kappa_{{\mathbf{E}}(\Lambda)}=\lambda_{{\mathbf{E}}(\Lambda)} \, ,\, \bar{0}\big)
=\frac{1}{Z} \int \prod_{e\in {\mathbf{E}}(\Lambda)} p^{\mathbb{1}_{\lambda_e=q}}(1-p)^{\mathbb{1}_{\lambda_e=1}}
e^{-\frac12\lambda_e^2\omega_e^2} \,\nu^{\bar{0}_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}}_{\Lambda}({\mathrm{d}}\omega).\end{aligned}$$ We write $\Lambda^w=\bar{\Lambda}/\partial \Lambda$ for the graph where the entire boundary is collapsed to a single point (this is called wired boundary conditions and we will discuss this below in more detail). We denote the lattice Laplacian with conductances $\lambda$ and zero boundary condition outside of ${\accentset{\circ}}\Lambda$ by $\tilde{\Delta}_{\lambda}^{{\Lambda}^w}$, i.e., $\tilde{\Delta}_{\lambda}^{{\Lambda}^w}$ acts on functions $f:{\accentset{\circ}}{\Lambda}\to {{\mathbb{R}}}$ by $\tilde{\Delta}_{\lambda}^{{\Lambda}^w}f(x)
=\sum_{y\sim x} \lambda_{\{x,y\}}(f(x)-f(y))$ where we set $f(y)=0$ for $y\notin {\accentset{\circ}}\Lambda$. The definition and an integration by parts followed by Gaussian calculus imply then $$\begin{aligned}
\begin{split}\label{eq:motivation_rc_model}
\tilde\gamma_{\Lambda}\big(\kappa_{{\mathbf{E}}(\Lambda)}=\lambda_{{\mathbf{E}}(\Lambda)}\, ,\, \bar{0}\big)
&=\frac{1}{Z} p^{|\{e\in {\mathbf{E}}(\Lambda)\,:\, \lambda_e=q\}|}(1-p)^{|\{e\in {\mathbf{E}}(\Lambda)\,:\, \lambda_e=1\}|}\int e^{-\frac{1}{2}({\varphi},\tilde{\Delta}_{\lambda}^{\Lambda^w}{\varphi})}
\,{\mathrm{d}}{\varphi}_{{\accentset{\circ}}{\Lambda}}
\\
&=\frac{1}{Z}\frac{p^{|\{e\in {\mathbf{E}}(\Lambda)\,:\, \lambda_e=q\}|}(1-p)^{|\{e\in {\mathbf{E}}(\Lambda)\,:\, \lambda_e=1\}|}}{\sqrt{\det (2\pi)^{-1} \tilde{\Delta}_{\lambda}^{\Lambda^w}}}.
\end{split}\end{aligned}$$ It simplifies the presentation to introduce the random conductance model of interest in a slightly more general setting. We consider a finite and connected graph $G=(V,E)$. The combinatorial graph Laplacian $\Delta_c$ associated to set of conductances $c:E\to {{\mathbb{R}}}_+$ is defined by $$\begin{aligned}
\label{eq:def_weight_laplace}
 \Delta_c f(x)=\sum_{y\sim x} c_{\{x,y\}} (f(x)-f(y)) \end{aligned}$$ for any function $f:V\to {{\mathbb{R}}}$. Note that we defined the graph Laplacian as a non-negative operator which is convenient for our purposes and common in the context of graph theory. In the following we view the Laplacian $\Delta_c$ as a linear map on the space $H_0=\{f:V\to {{\mathbb{R}}}: \sum_{x\in V} f(x)=0\}$ of functions with vanishing average. We define $\det \Delta_c$ as the determinant of this linear map. By the maximum principle the Laplacian is injective on $H_0$, hence $\det \Delta_c>0$. Sometimes we clarify the underlying graph by writing $\Delta_c^G$.

In the general setting it is more natural to let the Laplacian act on $H_0$ instead of fixing a point to 0 as in the definition of $\tilde{\Delta}_{\lambda}^{{\Lambda}^w}$ above where this corresponds to Dirichlet boundary conditions. It would also be possible to fix a point $x\in {\mathbf{V}}(G)$ and consider $\tilde{\Delta}_c^G$ acting on functions $f:{\mathbf{V}}(G)\setminus \{x_0\}\to {{\mathbb{R}}}$ defined by $(\tilde\Delta_c^Gf)(x)=\sum_{y\sim x} c_{\{x,y\}} f(x)-f(y)$ for $x\in {\mathbf{V}}(G)\setminus \{x_0\}$ where we set $f(x_0)=0$. It is easy to see using, e.g., Gaussian calculus and a change of measure that the determinant of $\tilde\Delta_c^G$ is independent of $x_0$ and $$\begin{aligned}
\label{eq:relation_Laplacians}
|G|\det \tilde{\Delta}_c^G=\det \Delta_c^G.\end{aligned}$$

Motivated by we fix a real number $q\geq 1$ and consider the following probability measure on $\{1,q\}^E$ $$\begin{aligned}
\label{eq:def_perc_model}
{{\mathbb{P}}}^{G,p}(\kappa)=\frac{1}{Z}\frac{p^{|\{e\in E: \kappa_e=q\}|}(1-p)^{|\{e\in E:\kappa_e=1\}|}}{\sqrt{\det \Delta_\kappa}}\end{aligned}$$ where $Z=Z^{G,p}$ denotes a normalisation constant such that ${{\mathbb{P}}}^{G,p}$ is a probability measure. In the following we will often drop $G$ and $p$ from the notation and we will always suppress $q$. We restrict our attention to $q\geq 1$ because by scaling the model with conductances $\{1,q\}$ has the same distribution as a model with conductances $\{\alpha,\alpha q\}$ for $\alpha>0$ so that we can set the smaller conductance to 1. Let us state a remark concerning the relation to the random cluster model.

\[rem:sim\_random-cluster\]

1.  We chose the notation such that the similarity to the random cluster model is apparent. Both models have an a priori distribution given by independent Bernoulli distribution with parameter $p$ on the bonds that is then correlated by a complicated infinite range interaction depending on $q$. They reduce to Bernoulli percolation for $q=1$. At the end of Section \[sec:further\_prop\] we state a couple of conjectures about the behaviour of this model that show that we expect similarities with the random cluster model in many more aspects.

2.  While there are several close similarities to the random cluster model there is also one important difference that seems to pose additional difficulties in the analysis of this model. The conditional distribution in a finite set depends on the entire configuration of the conductances outside the finite set (not just a partition of the boundary as in the random cluster model). In particular the often used argument that the conditional distribution of a random cluster model in a set given that all boundary edges are closed is the free boundary random cluster distribution has no analogue in our setting.

3.  We refer to the model as a random conductance model since we will (not very surprisingly) use tools from the theory of electrical networks. Note that in the definition of the potential $V$ the parameters correspond to different (random) stiffness of the bonds.

Basic properties of the random conductance model {#sec:percolation}
================================================

#### Preliminaries.

As before we consider a connected graph $G=(V,E)$. To simplify the notation we introduce for $E'\subset E$ and $\kappa \in \{1,q\}^E$ the notation $$\begin{aligned}
\label{eq:def_h}
h(\kappa,E')&= {|\{e\in E': \kappa_e=q\}|}\\ \label{eq:def_s}
s(\kappa,E')&= {|\{e\in E': \kappa_e=1\}|}\end{aligned}$$ for the number of hard and soft edges respectively and we define $h(\kappa)=h(\kappa,E)$ and $s(\kappa)=s(\kappa,E)$. Let us introduce the weight of a subset of edges ${\boldsymbol{t}}\subset E$ by defining $$\begin{aligned}
\label{eq:def_weight}
w(\kappa,{\boldsymbol{t}})=\prod_{e\in {\boldsymbol{t}}} \kappa_e.\end{aligned}$$ We will denote the set of all spanning trees of a graph by ${\mathrm{ST}}(G)$. We identify spanning trees with their edge sets. In the following, we will frequently use the Kirchhoff formula $$\begin{aligned}
\label{eq:Kirchhoff}
    \det \Delta_c= |G| \sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G)} w(c,{\boldsymbol{t}}). 
 \end{aligned}$$ for the determinant of a weighted graph Laplacian (cf. @MR1813436 for a proof). Let us remark that the Kirchhoff formula is frequently used in statistical mechanics and has also been used in the context of gradient interface models for some potentials as in in @MR2905798.

\[rem:multiedges\] Note that equation remains true for graphs with multi-edges and loops. Indeed, loops have no contribution on both sides and multi-edges can be replaced by a single edge with the sum of the conductances as conductance.

#### Correlation inequalities

We will now show correlation inequalities for the measures ${{\mathbb{P}}}={{\mathbb{P}}}^{G,p}$. We start by recalling several of the well known correlation inequalities. To state our results we introduce some notation. Let $E$ be a finite or countable infinite set. Let $\Omega=\{1,q\}^E$ and $\mathcal{F}$ the $\sigma$-algebra generated by cylinder events. We consider the usual partial order on $\Omega$ given by $\omega^1\leq \omega^2$ iff $\omega^1_e\leq \omega^2_e$ for all $e\in E$. A function $X:\Omega\to {{\mathbb{R}}}$ is increasing if $X(\omega_1)\leq X(\omega_2)$ for $\omega_1\leq \omega_2$ and decreasing if $-X$ is increasing. An event $A\subset \Omega$ is increasing if its indicator function is increasing. We write ${{\bar{\mu}}}_1\succsim \bar \mu_2$ if ${{\bar{\mu}}}_1$ stochastically dominates ${{\bar{\mu}}}_2$ which is by Strassen's Theorem equivalent to the existence of a coupling $(\omega_1,\omega_2)$ such that $\omega^1\sim {{\bar{\mu}}}_1$ and $\omega^2\sim\bar \mu_2$ and $\omega^1\geq \omega^2$ (see @MR177430). We introduce the minimum $\omega^1 \wedge \omega^2$ and the maximum $\omega^1\vee \omega^2$ of two configurations given by $(\omega^1 \wedge \omega^2)_e=\min(\omega^1_e, \omega^2_e)$ and $(\omega^1 \vee \omega^2)_e=\max(\omega^1_e, \omega^2_e)$ for any $e\in E$. We call a measure ${{\bar{\mu}}}$ on $\Omega$ strictly positive if ${{\bar{\mu}}}(\omega)>0$ for all $\omega\in \Omega$. Finally we introduce for $f,g\in E$ and $\omega\in\Omega$ the notation $\omega_{fg}^{\pm \pm}\in \Omega$ for the configuration given by $(\omega_{fg}^{\pm\pm})_e=\omega_e$ for $e\notin \{f,g\}$ and $(\omega_{fg}^{\pm \ast})_f= 1+(q-1)_\pm$, $(\omega_{fg}^{\ast \pm})_g= 1+(q-1)_\pm$. We define $\omega_f^{\pm}$ similarly. We sometimes drop the edges $f$, $g$ from the notation. We write ${{\bar{\mu}}}(\omega)={{\bar{\mu}}}(\{\omega\})$ for $\omega\in\Omega$ and ${{\bar{\mu}}}(X)=\int_{\Omega}X\,{\mathrm{d}}{{\bar{\mu}}}$ for $X:\Omega\to {{\mathbb{R}}}$.

\[Holley inequality\]\[th:stoch\_dom\] Let $\Omega=\{1,q\}^E$ be finite and ${{\bar{\mu}}}_1$, ${{\bar{\mu}}}_2$ strictly positive measures on $\Omega$ that satisfy the Holley inequality $$\begin{aligned}
\label{eq:HolleyTheorem}
{{\bar{\mu}}}_2(\omega_1\vee \omega_2){{\bar{\mu}}}_1(\omega_1\wedge \omega_2)\geq {{\bar{\mu}}}_1(\omega_1){{\bar{\mu}}}_2(\omega_2) \quad\text{for $\omega_1,\omega_2\in \Omega$}.\end{aligned}$$ Then ${{\bar{\mu}}}_1\precsim {{\bar{\mu}}}_2$.

The original proof appeared in @MR0341552, a simpler proof can be found , e.g., in @MR2243761 [Theorem 2.1].

A strictly positive measure is called *strongly positively associated* if it satisfies the FKG lattice condition $$\begin{aligned}
\label{eq:lattice_FKG}
{{\bar{\mu}}}(\omega_1\vee\omega_2) {{\bar{\mu}}}(\omega_1\wedge \omega_2)\geq {{\bar{\mu}}}(\omega_1){{\bar{\mu}}}(\omega_2) \quad\text{ for $\omega_1,\omega_2\in \Omega$}.\end{aligned}$$

\[th:FKG\] A strongly positively associated measure ${{\bar{\mu}}}$ satisfies the FKG inequality, i.e., for increasing functions $X,Y:\Omega\to {{\mathbb{R}}}$ $$\begin{aligned}
\label{eq:FKG}
{{\bar{\mu}}}(XY)\geq {{\bar{\mu}}}(X){{\bar{\mu}}}(Y).\end{aligned}$$

A proof can be found in @MR2243761 [Theorem 2.16].

The next theorem provides a simple way to verify the assumptions of Theorem \[th:stoch\_dom\] and Theorem \[th:FKG\]. Basically it states that it is sufficient to check the conditions when varying at most two edges.

\[th:stoch\_dom\_crit\] Let $\Omega=\{1,q\}^E$ be finite and ${{\bar{\mu}}}_1$, ${{\bar{\mu}}}_2$ strictly positive measures on $\Omega$. Then ${{\bar{\mu}}}_1$ and ${{\bar{\mu}}}_2$ satisfy iff the following two inequalities hold $$\begin{aligned}
{{\bar{\mu}}}_2(\omega_f^+){{\bar{\mu}}}_1(\omega_f^-)&\geq 
{{\bar{\mu}}}_1(\omega_f^+){{\bar{\mu}}}_2(\omega_f^-),\quad \text{for $\omega\in \Omega$, $f\in E$,} \label{eq:stoch_dom_crit1}\\
{{\bar{\mu}}}_2(\omega_{fg}^{++})\bar{\mu}_1(\omega_{fg}^{--})
&\geq {{\bar{\mu}}}_1(\omega_{fg}^{+-}){{\bar{\mu}}}_2(\omega_{fg}^{-+}),\quad \text{for $\omega\in \Omega$, $f,g\in E$}. \label{eq:stoch_dom_crit2}.\end{aligned}$$ In particular, and together imply ${{\bar{\mu}}}_1\precsim{{\bar{\mu}}}_2$.

See @MR2243761 [Theorem 2.3].

We state one simple corollary of the previous results.

\[co:stoch\_dom\] Let ${{\bar{\mu}}}_1$, ${{\bar{\mu}}}_2$ be strictly positive measures on $\Omega=\{1,q\}^E$ such that one of the measure ${{\bar{\mu}}}_1$, ${{\bar{\mu}}}_2$ is strongly positively associated. Then $$\begin{aligned}
\label{eq:stoch_dom_crit1_repeated}
{{\bar{\mu}}}_2(\omega_f^+){{\bar{\mu}}}_1(\omega_f^-)&\geq 
{{\bar{\mu}}}_1(\omega_f^+){{\bar{\mu}}}_2(\omega_f^-),\quad \text{for $\omega\in \Omega$, $f\in E$}\end{aligned}$$ implies ${{\bar{\mu}}}_1\precsim {{\bar{\mu}}}_2$.

Assuming that ${{\bar{\mu}}}_1$ is strongly positively associated we find using first the assumption and then $$\begin{aligned}
{{\bar{\mu}}}_2(\omega_{fg}^{++}){{\bar{\mu}}}_1(\omega_{fg}^{--})
\geq \frac{{{\bar{\mu}}}_1(\omega_{fg}^{++}){{\bar{\mu}}}_2(\omega_{fg}^{-+})}{{{\bar{\mu}}}_1(\omega_{fg}^{-+})}{{\bar{\mu}}}_1(\omega_{fg}^{--})\geq {{\bar{\mu}}}_2(\omega_{fg}^{-+}){{\bar{\mu}}}_1(\omega_{fg}^{+-}).\end{aligned}$$ Now Theorem \[th:stoch\_dom\_crit\] implies the claim. The proof if ${{\bar{\mu}}}_2$ is strictly positively associated is similar.

It is convenient to derive the following correlation results for the measures ${{\mathbb{P}}}^{G,p}$ from corresponding results for the weighted spanning tree measure. The weighted spanning tree measure on a connected weighted graph $(G,\kappa)$ is a measure on ${\mathrm{ST}}(G)$ with distribution $$\begin{aligned}
\label{eq:weighted_spanning}
\mathbb{Q}_\kappa^G({\boldsymbol{t}})=\frac{w(\kappa,{\boldsymbol{t}})}{\sum_{{\boldsymbol{t}}'\in {\mathrm{ST}}(G)}w(\kappa,{\boldsymbol{t}}')}.\end{aligned}$$ This model has been studied extensively, see @MR1825141 for a survey. An important special case is the uniform spanning tree corresponding to constant conductances $\kappa$ that assigns equal probability to every spanning tree.

The following lemma provides the basic estimate to check the condition for the measures ${{\mathbb{P}}}^{G,p}$. Recall the notation $\kappa^{\pm\pm}_{fg}$ introduced before Theorem \[th:stoch\_dom\] and also the shorthand $\kappa^{\pm\pm}$.

\[le:lattice\_2\_edges\] For a finite graph $G$ and $\kappa\in \{1,q\}^E$ as above $$\begin{aligned}
\label{eq:lattice_2_edges}
 \det \Delta_{\kappa^{++}} \, \det \Delta_{\kappa^{--}}
 \leq\det \Delta_{\kappa^{+-}} \, \det \Delta_{\kappa^{-+}}.
 \end{aligned}$$

The proof in fact extends to any $\kappa \in {{\mathbb{R}}}_+^E$ and $(\kappa^{\pm\pm}_{fg})_f=c_f^{\pm}$, $(\kappa^{\pm\pm}_{fg})_g=c_g^{\pm}$ with $c_f^-\leq c_f^+$ and $c_g^-\leq c_g^+$.

The lemma can be derived from the fact that the weighted spanning tree has negative correlations. It is well known (see, e.g., @MR1825141) that for all positive weights $\kappa$ on a finite graph $G$ the measure $\mathbb{Q}_\kappa^G$ has negative edge correlations $$\begin{aligned}
\label{eq:neg_correlations_ST}
 \mathbb{Q}^G_\kappa(e\in {\boldsymbol{t}}|f\in {\boldsymbol{t}})\leq \mathbb{Q}^G_\kappa(e\in {\boldsymbol{t}}).
 \end{aligned}$$ Simple algebraic manipulations show that this is equivalent to $$\begin{aligned}
\label{eq:consequence_neg_correlation_UST}
{{\mathbb{Q}}}_\kappa^G(e \in {\boldsymbol{t}}, f\in {\boldsymbol{t}}) {{\mathbb{Q}}}^G_\kappa( e\notin {\boldsymbol{t}}, f\notin {\boldsymbol{t}})
\leq {{\mathbb{Q}}}^G_\kappa(e\in {\boldsymbol{t}}, f\notin {\boldsymbol{t}}){{\mathbb{Q}}}^G_\kappa(e\notin {\boldsymbol{t}},f\in {\boldsymbol{t}}).\end{aligned}$$ We introduce the following sums $$\begin{aligned}
\begin{alignedat}{2}
A_{fg}&=\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), \, f,g\in {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}}),\qquad
&A_{f}&=\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), \, f\in {\boldsymbol{t}}, \, g\notin {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}}),\\
A_{g}&=\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), \, g\in {\boldsymbol{t}},\, f\notin {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}}),\qquad
&A&=\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), \, f,g\notin {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}}).
\end{alignedat}\end{aligned}$$ With this notation multiplication by $(A_{fg}+A_f+A_g+A)^2$ shows that is equivalent to $$\begin{aligned}
\label{eq:neg_corr_in_A}
A_{fg} A\leq A_fA_g.\end{aligned}$$ It remains to show that the statement in the lemma can be deduced from (actually the statements are equivalent). Clearly we can assume $\kappa=\kappa^{--}$, i.e., $\kappa_f=\kappa_g=1$. Using the Kirchhoff formula we find the following expression $$\begin{aligned}
\label{eq:Delta_A}
|G|^{-1}\det \Delta_{\kappa^{\pm\pm}}
=\!\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G)} w(\kappa^{\pm\pm},{\boldsymbol{t}})
=(\kappa^{\pm\pm})_f(\kappa^{\pm\pm})_g A_{fg}+(\kappa^{\pm\pm})_f A_f+
(\kappa^{\pm\pm})_g A_g+A.
$$ Hence we obtain $$\begin{aligned}
\begin{split}\label{eq:Delta_A2}
|G|^{-2}\det \Delta_{\kappa^{+-}} \, \det \Delta_{\kappa^{-+}} &=
\left( q A_{fg} + q A_f + A_g + A\right)
\left( q A_{fg} +  A_f + q A_g + A\right),
 \\
|G|^{-2}\det \Delta_{\kappa^{++}} \, \det \Delta_{\kappa^{--}} &=\left( q^2 A_{fg} + q A_f + q A_g + A\right)
\left(  A_{fg} + A_f +  A_g + A\right).
\end{split}\end{aligned}$$ Subtracting those two identities we find that only the cross-terms between $A_f,A_g$ and between $A_{fg}, A$ do not cancel and we get $$\begin{aligned}
\begin{split}\label{eq:Delta_A3}
|G|^{-2}\left(\det \Delta_{\kappa^{+-}} \, \det \Delta_{\kappa^{-+}}
-\det \Delta_{\kappa^{++}} \, \det \Delta_{\kappa^{--}}\right)
&=(q^2+1-2q)(A_fA_g-A_{fg}A)
\\
&=(q-1)^2(A_fA_g-A_{fg}A).
\end{split}\end{aligned}$$ We can conclude using .

The previous lemma directly implies that the measures ${{\mathbb{P}}}^{G,p}$ are strongly positively associated.

\[co:Holley1\] The measure ${{\mathbb{P}}}^{G,p}$ satisfies the FKG lattice condition for any $\kappa_1,\kappa_2\in \{1,q\}^E$ $$\begin{aligned}
\label{eq:HolleyCondition}
{{\mathbb{P}}}^{G,p}(\kappa_1 \wedge \kappa_2){{\mathbb{P}}}^{G,p}(\kappa_1 \vee \kappa_2)\geq {{\mathbb{P}}}^{G,p}(\kappa_1){{\mathbb{P}}}^{G,p}(\kappa_2)\end{aligned}$$ and the FKG inequality $$\begin{aligned}
\label{eq:FKG_measure}
\mathbb{E}^{G,p}(XY)\geq \mathbb{E}^{G,p}(X)\, \mathbb{E}^{G,p}(Y)\end{aligned}$$ for any increasing functions $X,Y:\{1,q\}^E\to {{\mathbb{R}}}$.

Lemma \[le:lattice\_2\_edges\] and the trivial observation that $h(\kappa^{++})+h(\kappa^{--})=h(\kappa^{+-})+h(\kappa^{-+})$ imply for any $\kappa\in \{1,q\}^E$ and $f,g\in E$ the lattice inequality $$\begin{aligned}
\label{eq:Lattice_Condition_final_measure}
{{\mathbb{P}}}^{G,p}(\kappa^{++}){{\mathbb{P}}}^{G,p}(\kappa^{--})\geq {{\mathbb{P}}}^{G,p}(\kappa^{+-})
{{\mathbb{P}}}^{G,p}(\kappa^{-+}).\end{aligned}$$ Then Theorem \[th:stoch\_dom\_crit\] applied to ${{\bar{\mu}}}_1={{\bar{\mu}}}_2={{\mathbb{P}}}^{G,p}$ implies that the FKG lattice condition holds and therefore by Theorem \[th:FKG\] also the FKG-inequality .

Let us first state a trivial consequence of this corollary.

\[le:mon\_p\] The measures ${{\mathbb{P}}}^{G,p}$ and ${{\mathbb{P}}}^{G,p'}$ satisfy for $p\leq p'$ $$\begin{aligned}
\label{eq:dom_p}
{{\mathbb{P}}}^{G,p'}\succsim {{\mathbb{P}}}^{G,p}.\end{aligned}$$

Using Corollary \[co:Holley1\] and Corollary \[co:stoch\_dom\] we only need to check whether holds for ${{\bar{\mu}}}_1={{\mathbb{P}}}^{G,p}$ and ${{\bar{\mu}}}_2={{\mathbb{P}}}^{G,p'}$. This is clearly the case if $p\leq p'$.

The next step is to show correlation inequalities with respect to the size of the graph. More specifically we show statements for subgraphs and contracted graphs. This will later easily imply the existence of infinite volume limits. Moreover, we can bound infinite volume states by finite volume measures in the sense of stochastic domination. Let $F\subset E$ be a set of edges. We define the contracted graph $G/F$ by identifying for every edge $f\in F$ the endpoints of $f$. Similarly for a set $W\subset V$ of vertices we define the contracted graph $G/W$ by identifying all vertices in $W$. The resulting graphs may have multi-edges. We also consider connected subgraphs $G'=(V',E')$ of $G$. Recall the notation $\kappa^{\pm}=\kappa_f^\pm$ for $f\in E$. We use the notation $\Delta_\kappa^{G'}$ for the graph Laplacian on $G'$ where we restrict the conductances $\kappa$ to $E'$ and we denote by $\Delta_\kappa^{G/F}$ the graph Laplacian on $G/F$. The following lemma relates the determinants of the different graph Laplacians.

\[le:det\_incl\] With the notation introduced above we have for $\kappa\in \{1,q\}^E$ $$\begin{aligned}
\label{eq:det_inequality_diff_sizes}
\frac{\det \Delta^{G'}_{\kappa^+}}{\det \Delta^{G'}_{\kappa^-}}\geq 
\frac{\det \Delta^G_{\kappa^+}}{\det \Delta^G_{\kappa^-}}\geq
\frac{\det \Delta^{G/F}_{\kappa^+}}{\det \Delta^{G/F}_{\kappa^-}}.\end{aligned}$$

The lemma again extends to $\kappa\in {{\mathbb{R}}}_+^E$ and $\kappa^\pm_f$ with $(\kappa_f^+)_f=c_+>c_-=(\kappa_f^-)_f$.

The proof is similar to the proof of Lemma \[le:lattice\_2\_edges\]. We derive the statement from a property of the weighted spanning tree model. For graphs as above and $e\in E'$ the estimate $$\begin{aligned}
\label{eq:proba_inequality_diff_sizes}
{{\mathbb{Q}}}_\kappa^{G'}(e\in {\boldsymbol{t}})\geq {{\mathbb{Q}}}_\kappa^{G}(e\in {\boldsymbol{t}})\geq {{\mathbb{Q}}}_\kappa^{G/F}(e\in {\boldsymbol{t}})\end{aligned}$$ holds (see Corollary 4.3 in @MR1825141 for a proof). We can rewrite (assuming again $\kappa_f=1$, i.e., $\kappa=\kappa^-$) $$\begin{aligned}
\begin{split}\label{eq:quotient_det_restricted}
\frac{\det \Delta^{G}_{\kappa^+}}{\det \Delta^{G}_{\kappa^-}}
=\frac{\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), f\notin {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}})+q
\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), f\in {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}})}{
\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), f\notin {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}})+
\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), f\in {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}})}.
\end{split}\end{aligned}$$ Note that $$\begin{aligned}
\label{eq:quotient_det_restricted2}
\frac{\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), f\in {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}})}{\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G), f\notin {\boldsymbol{t}}} w(\kappa,{\boldsymbol{t}})}
=\frac{{{\mathbb{Q}}}_\kappa^{G}(f\in {\boldsymbol{t}})}{{{\mathbb{Q}}}^{G}_\kappa(f\notin {\boldsymbol{t}})}\end{aligned}$$ and therefore (using $\kappa=\kappa^-$) $$\begin{aligned}
\label{eq:quotient_det}
\frac{\det \Delta^{G}_{\kappa^+}}{\det \Delta^{G}_{\kappa^-}}
=\frac{1+q \frac{{{\mathbb{Q}}}^{G}_{\kappa^{-}}(f\in {\boldsymbol{t}})}{{{\mathbb{Q}}}^{G}_{\kappa^-}(f\notin {\boldsymbol{t}})}}{1+ \frac{{{\mathbb{Q}}}_{\kappa^-}^{G}(f\in {\boldsymbol{t}})}{{{\mathbb{Q}}}^{G}_{\kappa^-}(f\notin {\boldsymbol{t}})}}
=1+(q-1){{\mathbb{Q}}}^{G}_{\kappa^-}(f\in {\boldsymbol{t}}).\end{aligned}$$ Similar statements hold for the graphs $G/F$ and $G'$. Hence implies .

Let us remark that the probability ${{\mathbb{Q}}}^G_\kappa(f\in {\boldsymbol{t}})$ can also be expressed as a current in a certain electrical network. In order to avoid unnecessary notation at this point we kept the weighted spanning tree measure and we will only exploit this connection when necessary below.

Again, the previous estimates implies correlation inequalities for the measures ${{\mathbb{P}}}^{G,p}$. In the following we consider a fixed value of $p$ but different graphs so that we drop only $p$ from the notation but we keep the graph $G$. We introduce the distribution under boundary conditions for a connected subgraph $G'=(V',E')$ of $G$. For $\lambda\in \{1,q\}^E$ we define the measure ${{\mathbb{P}}}^{G,E',\lambda}$ on $\{1,q\}^{E'}$ by $$\begin{aligned}
\label{eq:def_boundary_condition}
{{\mathbb{P}}}^{G,E',\lambda}(\kappa)=\frac{1}{Z} \frac{p^{h(\kappa)}(1-p)^{s(\kappa)}}{\sqrt{\det \Delta^G_{(\lambda,\kappa)}}}\end{aligned}$$ where $(\lambda,\kappa)\in \{1,q\}^E$ denotes the conductances given by $\kappa$ on $E'$ and by $\lambda$ on $E\setminus E'$. This definition implies that we have the following domain Markov property for $\omega\in \{1,q\}^{E'}$ $$\begin{aligned}
\label{eq:DMP}
{{\mathbb{P}}}^{G}(\kappa{_{E'}} = \omega \mid \kappa{_{E\setminus E'}}=\lambda_{E\setminus E'})
={{\mathbb{P}}}^{G,E',\lambda}(\omega).\end{aligned}$$ Since the measure ${{\mathbb{P}}}^G$ is strongly positively associated, and Theorem 2.24 in @MR2243761 implies that the measure ${{\mathbb{P}}}^{G,E',\lambda}$ is strongly positively associated. We now state the consequences of Lemma \[le:det\_incl\] on stochastic ordering.

\[co:boundary\_conditions\] For a finite graph $G=(V,E)$, a connected subgraph $G'=(V',E')$, an edge subset $F\subset E$, and configurations $\lambda_1, \lambda_2\in \{1,q\}^E$ such that $\lambda_1\leq \lambda_2$ the following holds $$\begin{aligned}
\label{eq:stoch_dom_incl}
{{\mathbb{P}}}^{G'}\precsim {{\mathbb{P}}}^{G,E',\lambda_1},\qquad  {{\mathbb{P}}}^{G,E',\lambda_1}\precsim {{\mathbb{P}}}^{G,E',\lambda_2},\qquad
P^{G,E\setminus F, \lambda_2}\precsim  {{\mathbb{P}}}^{G/F}.\end{aligned}$$ More generally, we have for $\lambda\in \{1,q\}^E$ and $E''\subset E'$ or $E''\cap F=\emptyset$ respectively $$\begin{aligned}
\label{eq:stoch_dom_incl2}
{{\mathbb{P}}}^{G',E'',\lambda_{E'}}\precsim {{\mathbb{P}}}^{G,E'',\lambda}, \qquad {{\mathbb{P}}}^{G,E'',\lambda}\precsim {{\mathbb{P}}}^{G/F,E'',\lambda_{E\setminus F}}.\end{aligned}$$

From Lemma \[le:det\_incl\] we obtain for $f\in E'$ and any $\kappa\in \{1,q\}^{E'}$ $$\begin{aligned}
\label{eq:lattice_incl1}
\frac{{{\mathbb{P}}}^{G,E',\lambda}(\kappa^+)}{{{\mathbb{P}}}^{G,E',\lambda}(\kappa^-)}
&\geq 
\frac{{{\mathbb{P}}}^{G'}(\kappa^+)}{
{{\mathbb{P}}}^{G'}(\kappa^-)}.\end{aligned}$$ Similarly, Lemma \[le:det\_incl\] implies for $f\in E\setminus F$ and $\kappa \in \{1,q\}^{E\setminus F}$ $$\begin{aligned}
\label{eq:lattice_incl2}
\frac{{{\mathbb{P}}}^{G/F}(\kappa^+)}{ 
{{\mathbb{P}}}^{G/F}(\kappa^-)}
&\geq
\frac{{{\mathbb{P}}}^{G,E\setminus F,\lambda}(\kappa^+)}{{{\mathbb{P}}}^{G,E\setminus F,\lambda}(\kappa^-)}.\end{aligned}$$ Then the the strong positive association of ${{\mathbb{P}}}^G$ and Corollary \[co:stoch\_dom\] imply the first and the last stochastic ordering claimed in . The stochastic domination result in the middle of follows from and a general result for strictly positive associated measures (see @MR2243761 [Theorem 2.24]). The proof of is similar.

#### Infinite volume measures.

The definition of the measure ${{\mathbb{P}}}$ shows that it is a finite volume Gibbs measure for the energy $E(\kappa)=\ln(\det \Delta_\kappa)/2$ and a homogeneous Bernoulli a priori measure. We would like to define infinite volume limits for the measures ${{\mathbb{P}}}^G$ and define a notion of Gibbs measures in infinite volume. This requires some additional definitions. Recall the definition of the $\sigma$-algebras ${\mathcal{F}}_E$ for $E\subset{\mathbf{E}}({{\mathbb{Z}}}^d)$ and note that there is a similar definition for general graphs which will be used in the following. An event $A\subset {\mathcal{F}}$ is called local if it measurable with respect to ${\mathcal{F}}_E$ for some finite set $E$, i.e., $A$ depends only on finitely many edges. Similarly we define a local function as a function that is measurable with respect to ${\mathcal{F}}_E$ for a finite set $E$. We say that a sequence of measures $\mu_n$ on $\{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ converges in the topology of local convergence to a measure $\mu$ if $\mu_n(A)\to \mu(A)$ for all local events $A$. For a background on the choice of topologies in the context of Gibbs measures we refer to @MR2807681. The construction of the infinite volume states proceeds similarly to the construction for the random cluster model by defining a specification and introducing the notion of free and wired boundary conditions. For simplicity we restrict the analysis to ${{\mathbb{Z}}}^d$ but the generalisation to more general graphs is straightforward. First, we define infinite volume limits of the finite volume distributions with wired and free boundary conditions. Let us denote by $\Lambda_n=[-n,n]\cap {{\mathbb{Z}}}^d$ the ball with radius $n$ in the maximum norm around the origin and we denote by $E_n={\mathbf{E}}(\Lambda_n)$ the edges in $\Lambda_n$. We introduce the shorthand $\Lambda_n^w=\Lambda_n/\partial\Lambda_n$ for the box with wired boundary conditions. We define $$\begin{aligned}
\label{eq:def_Gibbs_Lambda_n}
{{\bar{\mu}}}^{0}_{n, p}={{\mathbb{P}}}^{\Lambda_n,p},\quad \qquad  {{\bar{\mu}}}^{1}_{n, p}={{\mathbb{P}}}^{\Lambda_n^w, p}\end{aligned}$$ for the measure ${{\mathbb{P}}}$ on $\Lambda_n$ with free and wired boundary conditions respectively. From Corollary \[co:boundary\_conditions\] and equation we conclude that for any increasing event $A$ depending only on edges in $E_n$ $$\begin{aligned}
\label{eq:compare_bc_n_n+1}
{{\bar{\mu}}}_{n+1}^0(A)={{\mathbb{P}}}^{\Lambda_{n+1}}(A)={{\mathbb{P}}}^{\Lambda_{n+1}}( {{\mathbb{P}}}^{\Lambda_{n+1},E_n, \kappa}(A))\geq  {{\mathbb{P}}}^{\Lambda_n}(A)={{\bar{\mu}}}_n^0(A).\end{aligned}$$ We conclude that for any increasing event $A$ depending only on finitely many edges the limits $\lim_{n\to \infty} {{\bar{\mu}}}_{n,p}^0(A)$ and similarly $\lim_{n\to \infty} {{\bar{\mu}}}_{n,p}^1(A)$ exist. Using standard arguments we can write every local event $A$ as a union and difference of increasing local events and we conclude that $\lim_{n\to\infty} {{\bar{\mu}}}_{n,p}^{0}(A)$ and $\lim_{n\to\infty} {{\bar{\mu}}}_{n,p}^{1}(A)$ exist. It is well known (see @MR1700749) that this implies convergence of ${{\bar{\mu}}}_{n,p}^{0}$ and ${{\bar{\mu}}}_{n,p}^1$ to a measure on $\{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ in the topology of local convergence. We denote the infinite volume measures by ${{\bar{\mu}}}_p^{0}$ and ${{\bar{\mu}}}_p^1$.

\[le:inf\_volume\_measures\] The measure ${{\bar{\mu}}}_p^0$ and ${{\bar{\mu}}}_p^1$ satisfy the FKG-inequality and for $0\leq p\leq p'\leq 1$ the relations $$\begin{aligned}
{{\bar{\mu}}}_p^0\precsim {{\bar{\mu}}}_p^1, \quad {{\bar{\mu}}}_p^0\precsim {{\bar{\mu}}}_{p'}^0, \quad {{\bar{\mu}}}_p^1\precsim {{\bar{\mu}}}_{p'}^1.\end{aligned}$$ Moreover they are invariant under symmetries of the lattice and ergodic with respect to translations.

This is a consequence of Corollary \[co:Holley1\] and Corollary \[co:boundary\_conditions\] and a limiting argument. See the proof of Theorem 4.17 and Corollary 4.23 in @MR2243761 for a detailed proof for the random cluster model which also applies to the model considered here. Ergodicity is proved by showing that the measures are even mixing.

#### Infinite volume specifications.

We now introduce the concept of infinite volume Gibbs measures for this model. We first consider the case of a finite connected graph $G$. For $E\subset {\mathbf{E}}(G)$ we consider the finite volume specifications ${{\bar{\gamma}}}^G_{E}:{\mathcal{F}}\times \{1,q\}^{{\mathbf{E}}(G)}\to {{\mathbb{R}}}$ $$\begin{aligned}
\label{eq:def_discgamma}
{{\bar{\gamma}}}^G_{E}(A,\lambda)
=\frac{1}{Z_\lambda}\sum_{\kappa\in A} \mathbb{1}_{\kappa{_{E^{{\mathrm{c}}}}}=\lambda{_{E^{{\mathrm{c}}}}}}
\frac{p^{h(\kappa)}(1-p)^{s(\kappa)}}{\sqrt{\det \Delta_\kappa}}\end{aligned}$$ where the normalisation $Z_\lambda$ ensures that ${{\bar{\gamma}}}^G_{E}(\cdot,\lambda)$ is a probability measure. A simple calculation shows that ${{\bar{\gamma}}}^G$ is indeed a specification, i.e., ${{\bar{\gamma}}}^G_{E}$ are proper probability kernels that satisfy for $E\subset E'$ $$\begin{aligned}
{{\bar{\gamma}}}_{E'}^G{{\bar{\gamma}}}_{E}^G={{\bar{\gamma}}}_{E'}^G.\end{aligned}$$ Since ${{\bar{\gamma}}}_{E}(\cdot, \lambda)$ is concentrated on a finite set it is helpful to use the notation ${{\bar{\gamma}}}_{E}(\kappa,\lambda)={{\bar{\gamma}}}_{E}(\{\kappa\},\lambda)$. The measure ${{\mathbb{P}}}^{G}$ is a finite volume Gibbs measure, i.e., it satisfies $$\begin{aligned}
\label{eq:Gibbs_finite_volume}
{{\mathbb{P}}}^G{{\bar{\gamma}}}^{G}_{E}={{\mathbb{P}}}^G\end{aligned}$$ or put differently for $\kappa,\lambda\in \{1,q\}^{E}$ $$\begin{aligned}
\label{eq:discgamma_and_bc}
{{\bar{\gamma}}}_{E}^G(\kappa,\lambda)={{\mathbb{P}}}^{G,E,\lambda}(\kappa_{E}) \mathbb{1}_{\kappa_{{\mathbf{E}}(G)\setminus E}=\lambda_{{\mathbf{E}}(G)\setminus E}}.\end{aligned}$$

We would like to call $\mu$ a Gibbs measure on $\{1,q\}^{{{\mathbb{Z}}}^d}$ for the random conductance model if $$\begin{aligned}
\label{eq:defGibbsMorally}
{{\bar{\mu}}}{{\bar{\gamma}}}^{{{\mathbb{Z}}}^d}_E={{\bar{\mu}}}\end{aligned}$$ holds for all $E\subset {\mathbf{E}}({{\mathbb{Z}}}^d)$ finite. However, ${{\bar{\gamma}}}^{G}_E$ is a priori only well defined for finite graphs so that we use an approximation procedure for infinite graphs. Let $G$ be an connected infinite graph. We are a bit sloppy with the notation and do not distinguish between ${{\bar{\gamma}}}^H_{E}$ for a subgraph $H$ of $G$ and its proper extension to ${\mathcal{F}}\times \{1,q\}^{{\mathbf{E}}(G)}$, i.e., we define for $\kappa,\lambda\in \{1,q\}^{{\mathbf{E}}(G)}$ $$\begin{aligned}
{{\bar{\gamma}}}^{H}_{E}(\kappa,\lambda)=\mathbb{1}_{\kappa_{E^{{\mathrm{c}}}}=\lambda_{E^{{\mathrm{c}}}}} {{\bar{\gamma}}}^H_{E}(\kappa_{{\mathbf{E}}(H)},\lambda_{{\mathbf{E}}(H)}).\end{aligned}$$ We denote for $f\in {\mathbf{E}}(G)$ and $\kappa\in \{1,q\}^{{\mathbf{E}}(G)}$ by $\kappa^+$ and $\kappa^-$ as before the configurations such that $\kappa_e^+=\kappa^-_e$ for $e\neq f$ and $\kappa_f^-=1$, $\kappa^+_f=q$.

In the following we assume $p\in (0,1)$. For $p\in \{0,1\}$ the measures ${{\mathbb{P}}}^{G,p}$ agree with the Dirac measure on the constant 1 or constant $q$ configuration. Since we assume that $E$ is finite the specification ${{\bar{\gamma}}}^H_{E}$ is uniquely characterized by the fact that it is proper and it satisfies for $\kappa,\lambda\in \{1,q\}^{{\mathbf{E}}(H)}$ such that $\kappa_{E^{{\mathrm{c}}}}=\lambda_{E^{{\mathrm{c}}}}$ $$\begin{aligned}
\label{eq:characterization_specification}
\frac{{{\bar{\gamma}}}^{H}_{E'}(\kappa^-,\lambda)}{
{{\bar{\gamma}}}^{H}_{E'}(\kappa^+,\lambda)}
=
\frac{1-p}{p} \sqrt{\frac{\det \Delta^{H}_{\kappa^+} }{ \det \Delta^{H}_{\kappa^-}}}
=\frac{1-p}{p} \sqrt{
1+(q-1)\mathbb{Q}^{H}_{\kappa^-}(f\in {\boldsymbol{t}})}\end{aligned}$$ where we used in the second step. We show that we can give meaning to this expression in infinite volume. For this we sketch the definition of spanning trees in infinite volume but we refer to the literature for details (see @MR1825141). A monotone exhaustion of an infinite graph $G$ is a sequence of subgraphs $G_n$ such that $G_n\subset G_{n+1}$ and $G=\bigcup_{n\geq 1} G_n$. It can be shown that for any finite sets $E_1\subset E_2\subset {\mathbf{E}}(G)$ the limit $\lim_{n\to \infty} {{\mathbb{Q}}}^{G_n}_\kappa({\boldsymbol{t}}\cap E_2=E_1)$ exists. In fact this is a consequence of and the arguments we used for ${{\bar{\mu}}}_n^0$ above. Hence it is possible to define a measure ${{\mathbb{Q}}}_\kappa^{G,0}$ on $2^{{\mathbf{E}}(G)}$, the power set of ${\mathbf{E}}(G)$ which will be called the weighted free spanning forest on $G$ (as the name suggest the measure is supported on forests but not necessarily on trees, i.e., on connected subsets of edges). Similarly, we can define the wired spanning forest ${{\mathbb{Q}}}_\kappa^{G,1}$ replacing the subgraphs $G_n$ by the contracted graphs $G_n/\partial G_n$. By definition those measures satisfy $$\begin{aligned}
\label{eq:convergence_edge_UST}
\lim_{n\to \infty}{{\mathbb{Q}}}_\kappa^{G_n}(f\in {\boldsymbol{t}})&={{\mathbb{Q}}}^{G,0}_\kappa(f\in {\boldsymbol{t}})\\
\label{eq:convergence_edge_UST2}
\lim_{n\to \infty}{{\mathbb{Q}}}_\kappa^{G_n/\partial G_n}(f\in {\boldsymbol{t}})&={{\mathbb{Q}}}^{G,1}_\kappa(f\in {\boldsymbol{t}})\end{aligned}$$ for any $f\in E$. Then it is possible to define two families of proper probability kernels ${{\bar{\gamma}}}^{G,0}_{E}$ and ${{\bar{\gamma}}}^{G,1}_{E}$ for $E\subset({\mathbf{E}}(G))$ finite by the property that for $f\in E$ and $\kappa,\lambda\in \{1,q\}^{{\mathbf{E}}(G)}$ such that $\kappa_{E^{{\mathrm{c}}}}=\lambda_{E^{{\mathrm{c}}}}$ $$\begin{aligned}
\frac{{{\bar{\gamma}}}^{G,0}_{E}(\kappa^-,\lambda)}{
{{\bar{\gamma}}}^{G,0}_{E}(\kappa^+,\lambda)}
&=\frac{1-p}{p} \sqrt{
1+(q-1)\mathbb{Q}^{G,0}_{\kappa^-}(f\in {\boldsymbol{t}})}
\\
\frac{{{\bar{\gamma}}}^{G,1}_{E}(\kappa^-,\lambda)}{
{{\bar{\gamma}}}^{G,1}_{E}(\kappa^+,\lambda)}
&=\frac{1-p}{p} \sqrt{
1+(q-1)\mathbb{Q}^{G,1}_{\kappa^-}(f\in {\boldsymbol{t}})}.\end{aligned}$$ From and and we conclude that ${{\bar{\gamma}}}^{G,0}$ and ${{\bar{\gamma}}}^{G,1}$ are well defined. Moreover we obtain that this family of probability kernels satisfy for $\lambda,\kappa\in \{1,q\}^{{\mathbf{E}}(G)}$ $$\begin{aligned}
\label{eq:conv_spec_1}
{{\bar{\gamma}}}^{G,0}_{E}(\kappa,\lambda)&=
\lim_{n\to \infty}
{{\bar{\gamma}}}^{G_n}_{E}(\kappa,\lambda),
\\
\label{eq:conv_spec_2}
{{\bar{\gamma}}}^{G,1}_{E}(\kappa,\lambda)&=
\lim_{n\to \infty}
{{\bar{\gamma}}}^{G_n/\partial G_n}_{E}(\kappa,\lambda).\end{aligned}$$ Note that the concatenation for ${{\bar{\gamma}}}^{G,0}$ for $E',E\subset{\mathbf{E}}({{\mathbb{Z}}}^d)$ is given by $$\begin{aligned}
{{\bar{\gamma}}}^{G,0}_{E}{{\bar{\gamma}}}^{G,0}_{E'}(\kappa,\lambda)
=\sum_{\sigma: \sigma_{E^{\mathrm{c}}}=\lambda_{E^{\mathrm{c}}}} {{\bar{\gamma}}}^{G,0}_{E}(\sigma,\lambda){{\bar{\gamma}}}^{G,0}_{E'}(\kappa,\sigma),\end{aligned}$$ in particular it only involves a finite sum in the case of a finite spin space. We conclude using and that ${{\bar{\gamma}}}^{G,0}_E$ and ${{\bar{\gamma}}}^{G,1}_E$ define two specifications on $G$.

Suppose the wired and the free uniform spanning forest on $G$ agree. This implies that also the weighted wired and free spanning forest ${{\mathbb{Q}}}^{G,0}_\kappa$ and ${{\mathbb{Q}}}^{G,1}_\kappa$ on $G$ agree if the conductances $\kappa_e$ are contained in a compact subset of $(0,\infty)$ (see Theorem 7.3 and Theorem 7.7 in @MR1825141). Thus ${{\bar{\gamma}}}^{G,1}_{E}={{\bar{\gamma}}}^{G,0}_{E}$ in this case. In particular we obtain that ${{\bar{\gamma}}}^{{{\mathbb{Z}}}^d,0}_{E}={{\bar{\gamma}}}^{{{\mathbb{Z}}}^d,1}_{E}$ because the free and the wired uniform spanning forest on ${{\mathbb{Z}}}^d$ agree (Corollary 6.3 in @MR1825141). In the following we will denote this specification by ${{\bar{\gamma}}}_{E}$. To ensure consistency with the earlier definition of ${{\tilde{\gamma}}}$ we define for a connected subset $\Lambda\subset {{\mathbb{Z}}}^d$ that ${{\bar{\gamma}}}_{\Lambda}={{\bar{\gamma}}}_{{\mathbf{E}}(\Lambda)}$. We can now give a formal definition of Gibbs measures for the random conductance model.

\[def:kappa\_Gibbs\] A measure ${{\bar{\mu}}}\in \mathcal{P}(\{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)})$ is a Gibbs measure if it is admitted to the specification ${{\bar{\gamma}}}_E$.

As one would expect the infinite volume measures ${{\bar{\mu}}}_p^0$ and ${{\bar{\mu}}}_p^1$ are Gibbs measures.

The measures ${{\bar{\mu}}}_p^0$ and ${{\bar{\mu}}}_p^1$ are Gibbs measures as defined in Definition \[def:kappa\_Gibbs\]. Moreover any Gibbs measure ${{\bar{\mu}}}$ satisfies ${{\bar{\mu}}}_p^0\precsim {{\bar{\mu}}}\precsim {{\bar{\mu}}}_p^1$.

By equation we have for $E\subset E_n$ $$\begin{aligned}
\label{eq:discmu_Gibbs}
{{\bar{\mu}}}_{n}^0{{\bar{\gamma}}}^{\Lambda_n}_{E}={{\bar{\mu}}}_{n}^0.\end{aligned}$$ We show that both sides converge in the topology of local convergence as $n\to \infty$. Let $A$ be an increasing event depending on a finite number of edges. We have seen in that $\mu_n^0(A)$ is an increasing sequence and converges by definition to $\mu^0(A)$. We derive the convergence of the left hand side of equation from the following three observations. First, we conclude from and that ${{\bar{\gamma}}}^{\Lambda_n}_E(A,\cdot)$ is an increasing function. Second, using and we obtain ${{\bar{\gamma}}}^{\Lambda_{n+1}}_E(A,\kappa)\geq {{\bar{\gamma}}}^{\Lambda_n}_E(A,\kappa_{E_n})$ for all $\kappa\in \{1,q\}^{E_{n+1}}$. The third observation is that can also be applied to an increasing function instead of an increasing event. These three facts imply $$\begin{aligned}
{{\bar{\mu}}}_n^0({{\bar{\gamma}}}^{\Lambda_n}_E(A,\cdot))\leq {{\bar{\mu}}}^0({{\bar{\gamma}}}_E^{\Lambda_n}(A,\cdot))
\leq {{\bar{\mu}}}^0({{\bar{\gamma}}}_E(A,\cdot)).\end{aligned}$$ On the other hand, we obtain for any $m\in \mathbb{N}$ $$\begin{aligned}
\lim_{n\to \infty} {{\bar{\mu}}}_n^0({{\bar{\gamma}}}^{\Lambda_n}_E(A,\cdot))
\geq \lim_{n\to \infty}{{\bar{\mu}}}_n^0({{\bar{\gamma}}}^{\Lambda_m}_E(A,\cdot))={{\bar{\mu}}}^0({{\bar{\gamma}}}^{\Lambda_m}_E(A,\cdot)).\end{aligned}$$ Sending $m\to \infty $ we get $$\begin{aligned}
\lim_{n\to \infty} ({{\bar{\mu}}}_n^0{{\bar{\gamma}}}^{\Lambda_n}_E)(A)\geq  ({{\bar{\mu}}}^0{{\bar{\gamma}}}_E)(A).\end{aligned}$$ Hence, we have shown that $$\begin{aligned}
\label{eq:limit_Gibbs_Spec}
{{\bar{\mu}}}^0{{\bar{\gamma}}}_E(A)=\lim_{n\to \infty} {{\bar{\mu}}}_{n}^0{{\bar{\gamma}}}^{\Lambda_n}_{E}(A)=\lim_{n\to \infty}{{\bar{\mu}}}_{n}^0(A)={{\bar{\mu}}}^0(A)\end{aligned}$$ holds for any increasing and local event $A$. Using standard arguments holds for all local events. Therefore $\mu^0$ is a Gibbs measure. The proof for $\mu^1$ is similar based on the identity $$\begin{aligned}
{{\bar{\mu}}}_n^1{{\bar{\gamma}}}_E^{\Lambda_n^w} ={{\bar{\mu}}}_n^1.\end{aligned}$$ Finally, a limiting argument and the comparison of boundary conditions show that ${{\bar{\mu}}}_p^0\precsim {{\bar{\mu}}}\precsim {{\bar{\mu}}}_p^1$ for any Gibbs measure $\mu$ (see @MR2243761 [Proposition 4.10]).

Let us briefly introduce the class of quasilocal specifications which is a natural and useful condition for a specification. For an extensive discussion we refer to the literature @MR2807681. A quasilocal function on a general state space is a bounded function $X:F^S\to {{\mathbb{R}}}$ that can be approximated arbitrarily well by local functions, i.e., $$\begin{aligned}
\inf_{Y\text{ local}} \sup_{\omega\in F^S} |X(\omega)-Y(\omega)|=0. \end{aligned}$$ A specification $\gamma$ is called quasilocal if $\gamma_{\Lambda} X$ is a quasilocal function for every local function $X$. We will show that the specification ${{\bar{\gamma}}}_{E}$ is quasilocal. This will be a direct consequence of the following result that shows uniform convergence of ${{\bar{\gamma}}}^{\Lambda_n^w}_E$ to ${{\bar{\gamma}}}_E$. This convergence will be of independent use later.

\[le:uniform\_specification\] The specifications ${{\bar{\gamma}}}_{E_n}$ and ${{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}$ satisfy $$\begin{aligned}
\label{eq:uniform_specification}
\limsup_{N\to \infty} \sup_{\kappa, \lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}} |{{\bar{\gamma}}}_{E_n}(\kappa,\lambda)-
{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}(\kappa,\lambda)|=0.\end{aligned}$$

First, we claim that it is sufficient to show that $$\begin{aligned}
\label{eq:uniform_specification2}
\limsup_{N\to \infty} \sup_{\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}}\sup_{f\in E_n}
|\mathbb{Q}_\kappa^{{{\mathbb{Z}}}^d}(f\in {\boldsymbol{t}})-\mathbb{Q}_\kappa^{\Lambda_N^w}(f\in {\boldsymbol{t}})|=0.\end{aligned}$$ Indeed, using in we obtain $$\begin{aligned}
\label{eq:uniform_specification3}
\limsup_{N\to \infty} \sup_{\substack{\kappa,\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}\\
\kappa_{E_n^{{\mathrm{c}}}}=\lambda_{E_n^{{\mathrm{c}}}}}}\sup_{f\in E_n}
\frac{{{\bar{\gamma}}}_{E_n}(\kappa^-_f,\lambda)}{
{{\bar{\gamma}}}_{E_n}(\kappa^+_f,\lambda)}/
\frac{{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}(\kappa^-_f,\lambda)}{
{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}(\kappa^+_f,\lambda)}=1.\end{aligned}$$ Since $E_n$ is finite this implies the claim.

It remains to prove . This is a consequence of the transfer current theorem (see Theorem 4.1 in @MR1825141) that states in the special case of the occupation property that for $f=\{x,y\}\in {\mathbf{E}}(G)$ $$\begin{aligned}
\label{eq:uniform_specification4}
\mathbb{Q}_\kappa^{G}(f\in {\boldsymbol{t}})=I_f(f)=\kappa_f(\delta_x-\delta_y)(\Delta^G_\kappa)^{-1}(\delta_x-\delta_y)\end{aligned}$$ where the expression $I_f(f)$ denotes the current through the edge $f$ when 1 unit of current is induced respectively removed at the two ends of $f$. In the last step we used that $I_f(f)$ can be calculated by applying the inverse Laplacian to the sources to obtain the potential which can be used to calculate the current through $f$. Now follows from the display and Lemma \[le:uniform\_Laplace\_inverse\].

\[co:quasilocal\] The specification ${{\bar{\gamma}}}_E$ is quasilocal.

Let $X$ be a local functions. We need to show that ${{\bar{\gamma}}}_EX$ is quasilocal. Lemma \[le:uniform\_specification\] implies that the local functions ${{\bar{\gamma}}}^{\Lambda_N^w}_EX$ satisfy $$\begin{aligned}
\lim_{N\to \infty}\sup_{\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}} |{{\bar{\gamma}}}_EX(\kappa)-{{\bar{\gamma}}}^{\Lambda_N^w}_EX(\kappa)|
\leq\lim_{N\to\infty} \sup_{\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}} \sum_{
\substack{\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)} \\
\lambda_{E^{\mathrm{c}}}=\kappa_{E^{\mathrm{c}}}}} \left|\left({{\bar{\gamma}}}_E(\lambda,\kappa)-{{\bar{\gamma}}}_E^{\Lambda_N^w}\right) X(\lambda)\right|=0.\end{aligned}$$

#### Relation to extended gradient Gibbs measures

In this paragraph we state the results that relate the random conductance model to extended gradient Gibbs measure. This is finally the justification to consider this model. The proofs of the results in this paragraph are deferred to Section \[sec:proofs\_of\_propositions\]. The first Proposition establishes that the $\kappa$-marginal of extended gradient Gibbs measures are Gibbs states for the random conductance model.

\[prop:discmu\_Gibbs\] Let $\tilde{\mu}$ be an extended gradient Gibbs measure associated to a translation invariant and ergodic gradient Gibbs measure $\mu$ with zero tilt. Then the $\kappa$-marginal $\bar{\mu}$ of $\tilde{\mu}$ is a Gibbs measure in the sense of definition \[def:kappa\_Gibbs\].

The second main result in this paragraph is a reverse of Proposition \[prop:discmu\_Gibbs\], namely that it is possible to obtain an extended Gibbs measure with zero tilt for the potential $V_{p,q}$, given a Gibbs measure ${{\bar{\mu}}}$ for the random conductance model with parameters $p,q$.

\[prop:discmu\_to\_extmu\] Let ${{\bar{\mu}}}$ be a Gibbs measure in the sense of Definition \[def:kappa\_Gibbs\] for parameters $p$ and $q$ and $\kappa\sim {{\bar{\mu}}}$. Let ${\varphi}^\kappa$ be the random field that for given $\kappa$ is a Gaussian field with zero average, ${\varphi}^\kappa(0)=0$, and covariance $(\Delta_\kappa)^{-1}$, i.e., ${\varphi}^\kappa$ satisfies for $f:{{\mathbb{Z}}}^d\to {{\mathbb{R}}}$ with finite support and $\sum_{x} f(x)=0$ $$\begin{aligned}
\label{eq:Var_extmu}
\mathrm{Var} \left( (f,{\varphi}^\kappa)_{{{\mathbb{Z}}}^d}\right)=(f,(\Delta_\kappa)^{-1}f).\end{aligned}$$ Let ${{\tilde{\mu}}}$ be the joint law of $(\kappa,\nabla{\varphi}^\kappa)$. Then ${{\tilde{\mu}}}$ is an extended Gibbs measure for the potential $V_{p,q}$ with zero tilt, in particular its $\eta$-marginal is a gradient Gibbs measure with zero tilt.

As a last result in this direction we state a very useful result from @MR2778801 that characterizes the law of ${\varphi}$ given $\kappa$ for extended gradient Gibbs measures if ${\varphi}$ is distributed according to a gradient Gibbs measure.

\[prop:phi\_given\_kappa\] Let $\mu$ be a translation invariant, ergodic gradient Gibbs measure with zero tilt and ${{\tilde{\mu}}}$ the corresponding extended gradient Gibbs measure. Then the conditional law of ${\varphi}$ given $\kappa$ is ${{\tilde{\mu}}}$-almost surely Gaussian. It is determined by its expectation $$\begin{aligned}
\label{eq:Ephi_given_kappa}
{{\mathbb{E}}}\big({\varphi}_x\mid{\mathcal{F}}\big)(\kappa)=0\end{aligned}$$ and the covariance given by $(\Delta_\kappa)^{-1}$, i.e., for $f:{{\mathbb{Z}}}^d\to {{\mathbb{R}}}$ with finite support and $\sum_{x} f(x)=0$ $$\begin{aligned}
\label{eq:Varphi_given_kappa}
\mathrm{Var}_{{{\tilde{\mu}}}} \left( (f,{\varphi})_{{{\mathbb{Z}}}^d}\mid{\mathcal{F}}\right)(\kappa)=(f,(\Delta_\kappa)^{-1}f).\end{aligned}$$

This is Lemma 3.4 in @MR2778801.

In particular those results establish the following. Assume that $\mu$ is an ergodic zero tilt gradient Gibbs measure. Let ${{\bar{\mu}}}$ be the $\kappa$-marginal of the corresponding extended gradient Gibbs measure ${{\tilde{\mu}}}$ (which by Proposition \[prop:discmu\_Gibbs\] is Gibbs for the random conductance model). We can use Proposition \[prop:discmu\_to\_extmu\] to construct an extended gradient Gibbs measure ${{\tilde{\mu}}}'$. Using the definition of ${{\tilde{\mu}}}'$ in Proposition \[prop:discmu\_to\_extmu\] and Proposition \[prop:phi\_given\_kappa\] we conclude that we get back the extended gradient Gibbs measure we started from, i.e., ${{\tilde{\mu}}}={{\tilde{\mu}}}'$.

Further properties of the random conductance model {#sec:further_prop}
==================================================

In this section we state and prove more results about the random conductance model considered in this work and use the results from the previous section to derive corresponding results for the associated gradient interface model. We end this section with some conjectures and open questions. We start by proving ${{\bar{\mu}}}_p^0={{\bar{\mu}}}_p^1$ for $d\geq 2$ and almost all values of $p$ which will in particular implies uniqueness of the Gibbs measure for those $p$.

\[th:countable\_non\_uniqueness\] For every $q\geq 1$ there are at most countably many $p\in [0,1]$ such that ${{\bar{\mu}}}_p^1\neq {{\bar{\mu}}}_p^0$.

It is a standard consequence of the invariance under lattice symmetries and ${{\bar{\mu}}}_{p}^0\precsim {{\bar{\mu}}}_{p}^1$ that ${{\bar{\mu}}}_p^1={{\bar{\mu}}}_p^0$ is equivalent to ${{\bar{\mu}}}_p^1(\kappa_e=q)={{\bar{\mu}}}_p^0(\kappa_e=q)$ for one and therefore any $e\in {\mathbf{E}}({{\mathbb{Z}}}^d)$ (see, e.g, Proposition 4.6 in @MR2243761). Lemma \[le:monotonicity\_in\_p\] below implies for $e\in {\mathbf{E}}({{\mathbb{Z}}}^d)$ $$\begin{aligned}
\label{eq:discmu_monotone}
{{\bar{\mu}}}_p^0(\kappa_e=q)\leq{{\bar{\mu}}}_p^1(\kappa_e=q)\leq {{\bar{\mu}}}_{p'}^0(\kappa_e=q)\end{aligned}$$ for any $p'>p$. In particular, we can conclude that ${{\bar{\mu}}}_p^0={{\bar{\mu}}}_p^1$ holds for all points of continuity of the map $p\mapsto {{\bar{\mu}}}^0_p(\kappa_e=q)$. Since this map is increasing by Lemma \[le:mon\_p\] it has only countably many points of discontinuity.

We are now in the position to prove Theorem \[th:main\_unique\].

\[Proof of Theorem \[th:main\_unique\]\] We note that a translation invariant zero tilt Gibbs measure exists for any $p$ and $q$, e.g., as a limit of torus Gibbs states (see the proof of Theorem 2.2 in @MR2322690). It remains to show uniqueness. Consider $p$ such that $\bar{\mu}^1_p=\bar{\mu}^0_p$ which is true for all but a countable number of $p\in [0,1]$ by Theorem \[th:countable\_non\_uniqueness\] above. Let $\mu_1$ and $\mu_2$ be ergodic zero tilt gradient Gibbs measures for $V=V_{p,q}$. By Proposition \[prop:discmu\_Gibbs\] the corresponding $\kappa$-marginals ${{\bar{\mu}}}_1$ and ${{\bar{\mu}}}_2$ of the extended Gibbs measures ${{\tilde{\mu}}}_1$ and ${{\tilde{\mu}}}_2$ are Gibbs measures in the sense of Definition \[def:kappa\_Gibbs\] and therefore equal. Using Proposition \[prop:phi\_given\_kappa\] we conclude that since $\mu_1$ and $\mu_2$ are ergodic zero tilt gradient Gibbs measures their laws are determined by ${{\bar{\mu}}}_1$ and ${{\bar{\mu}}}_2$, hence $\mu_1=\mu_2$.

\[rem:conv\_pressure\] Similar arguments for this model appeared already in the proof of Theorem 2.4 in @MR2322690 where they use the convexity of the pressure to show that the number of $q$-bonds on the torus is concentrated around its expectation in the thermodynamic limit. However, this is not sufficient to conclude uniqueness.

The key ingredient in the proof of Theorem \[th:countable\_non\_uniqueness\] is the following lemma that compares ${{\bar{\mu}}}_p^1(\kappa_e=q)$ with ${{\bar{\mu}}}_{p'}^0(\kappa_e=q)$ for $p<p'$. Intuitively the reason for this result is that a change of $p$ is a bulk effect of order $|\Lambda|$ while the effect of the boundary conditions is of order $|\partial\Lambda|$.

\[le:monotonicity\_in\_p\] For any $p<p'$ we have $$\begin{aligned}
\label{eq:monotonicity_in_p}
 \mu_{p'}^0(\kappa_e=q)\geq \mu_{p}^1(\kappa_e=q).\end{aligned}$$

The proof follows the proof of Theorem 1.12 in @duminil2017lectures where a similar result for the random cluster model is shown. The only difference is that the comparison between free and wired boundary conditions is slightly less direct. We define $a= {{\bar{\mu}}}_{p'}^0(\kappa_e=q)$ and $b= {{\bar{\mu}}}_{p}^1(\kappa_e=q)$. Comparison between boundary condition implies ${{\bar{\mu}}}_{n,p'}^0(\kappa_e=q)\leq {{\bar{\mu}}}_{p'}^0(\kappa_e=q)=a$ for any $e\in E_n$. Recall that $h(\kappa)=| \{e\in {\mathbf{E}}(G):\kappa_e=q\} |$ denotes the number of $q$-bonds and $s(\kappa)$ similarly the number of 1-bonds. The definition of $a$ and $b$ implies for $0<\varepsilon<1-a$ $$\begin{aligned}
\label{eq:monoton_p_1}
{{\bar{\mu}}}_{n, p'}^0\Big(h(\kappa)\Big)\leq a|E_n| \;\Rightarrow
{{\bar{\mu}}}_{n, p'}^0\Big(h(\kappa)\leq (a+\varepsilon)|E_n|\Big)\geq \varepsilon.\end{aligned}$$ Similarly for $0<\varepsilon<b$ $$\begin{aligned}
\label{eq:monoton_p_2}
{{\bar{\mu}}}_{n, p}^1\Big(h(\kappa)\Big)\geq b|E_n| \;\Rightarrow
{{\bar{\mu}}}_{n, p}^1\Big(h(\kappa)\geq (b-\varepsilon)|E_n|\Big)\geq \varepsilon.\end{aligned}$$ Our goal is to show that $b-\varepsilon\leq a+\varepsilon$. We denote by $\Delta^0$ and $\Delta^1$ the graph Laplacian on $\Lambda_n$ with free and wired boundary conditions respectively. To compare the boundary conditions we denote by $T_1={\mathrm{ST}}(\Lambda_n^w)$ the set of wired spanning trees on $\Lambda_n$ and by $T_0={\mathrm{ST}}(\Lambda_n)$ the set of spanning trees on $ \Lambda_n$ with free boundary conditions. There is a map $\Phi:T_0 \to T_1$ such that $\Phi({\boldsymbol{t}}){\restriction_{\Lambda_{n-1}}}={\boldsymbol{t}}{\restriction_{\Lambda_{n-1}}}$. Indeed, removing all edges in $E_n\subset E_{n-1}$ from ${\boldsymbol{t}}$ we obtain an acyclic subtree of $\Lambda_n^w$, hence we can find a tree $\Phi({\boldsymbol{t}})$ such that ${\boldsymbol{t}}{\restriction_{\Lambda_{n-1}}}\subset \Phi({\boldsymbol{t}})\subset {\boldsymbol{t}}$. The observation $|{\boldsymbol{t}}\setminus \Phi({\boldsymbol{t}})|=|\partial \Lambda_n|-1$ implies that $w(\kappa,{\boldsymbol{t}})\leq
w(\kappa,\Phi({\boldsymbol{t}}))q^{|\partial\Lambda_n|-1}$. Since $\Phi$ does not change the edges in $E_{n-1}$ each tree ${\boldsymbol{t}}\in T_1$ has at most $2^{|E_n\setminus E_{n-1}|}$ preimages. We obtain that $$\begin{aligned}
\label{eq:compare_Det}
\begin{split}
|\Lambda_n|^{-1}\det \Delta_\kappa^0=\!\sum_{{\boldsymbol{t}}\in T_0}w(\kappa,{\boldsymbol{t}})
\leq \sum_{{\boldsymbol{t}}\in T_0} w({\kappa},\Phi({\boldsymbol{t}})) q^{|\partial\Lambda_n|-1}
&\leq 2^{|E_n\setminus E_{n-1}|}q^{|\partial\Lambda_n|}\sum_{{\boldsymbol{t}}\in T_1} w({\kappa},{\boldsymbol{t}})
\\
&=2^{|E_n\setminus E_{n-1}|}q^{|\partial\Lambda_n|}|\Lambda_n^w|^{-1} \det \Delta_\kappa^1.
\end{split}\end{aligned}$$ Similarly, there is an injective mapping $\Psi:T_1\to T_0$ such that ${\boldsymbol{t}}\subset \Psi({\boldsymbol{t}})$. Indeed, we fix a tree ${\boldsymbol{t}}_b$ in the graph $(\Lambda_n\setminus \Lambda_{n-1}, {\mathbf{E}}(\Lambda_n\setminus \Lambda_{n-1})$ and define $\Psi({\boldsymbol{t}})={\boldsymbol{t}}\cup {\boldsymbol{t}}_b\in T_0$. We get $$\begin{aligned}
\begin{split}\label{eq:compare_Det2}
|\Lambda_n^w|^{-1}\det \Delta_\kappa^1=\sum_{{\boldsymbol{t}}\in T_1}w(\kappa,{\boldsymbol{t}})
\leq \sum_{{\boldsymbol{t}}\in T_1} w({\kappa},\Psi({\boldsymbol{t}}))
&\leq  \sum_{{\boldsymbol{t}}\in T_0} w({\kappa},{\boldsymbol{t}})
= |\Lambda_n|^{-1}\det \Delta_\kappa^0.
\end{split}\end{aligned}$$ Inserting the bound $|E_n\setminus E_{n-1}|\leq 2d|\partial \Lambda_n|$ we infer from the definition for any $\kappa\in \{1,q\}^{E_n}$ $$\begin{aligned}
\label{eq:monoton_p_3}
\left({2^{2d} q}\right)^{-|\partial\Lambda_n|/2}{{\bar{\mu}}}_{n,p}^0(\kappa)\leq {{\bar{\mu}}}_{n,p}^1(\kappa)
\leq \left({2^{2d} q}\right)^{|\partial\Lambda_n|/2} {{\bar{\mu}}}_{n,p}^0(\kappa).\end{aligned}$$ We define the constant $\alpha=p'(1-p)/(p(1-p'))>1$. Simple manipulation show that for any function $X:\{1,q\}^{E_n}\to {{\mathbb{R}}}$ $$\begin{aligned}
\label{eq:monoton_p_4}
{{\bar{\mu}}}_{\Lambda_n,p'}^0(X)=\frac{{{\bar{\mu}}}_{\Lambda_n,p}^0(\alpha^{h(\kappa)}X)}{{{\bar{\mu}}}_{\Lambda_n,p}^0(\alpha^{h(\kappa)})}.\end{aligned}$$ Therefore we obtain $$\begin{aligned}
\begin{split}\label{eq:monoton_p_5}
{{\bar{\mu}}}_{\Lambda_n, p'}^0\Big(h(\kappa)\leq (a+\varepsilon)|E_n|\Big)
&=\frac{{{\bar{\mu}}}_{\Lambda_n,p}^0\Big(\alpha^{h(\kappa)}
\mathds{1}_{h(\kappa)\leq (a+\varepsilon)|E_n|}\Big)}{\mu_{\Lambda_n,p}^0\Big(\alpha^{h(\kappa)}\Big)}
\\
&\leq 
\frac{{{\bar{\mu}}}_{\Lambda_n,p}^0\Big(\alpha^{h(\kappa)}
\mathds{1}_{h(\kappa)\leq (a+\varepsilon)|E_n|}\Big)}{{{\bar{\mu}}}_{\Lambda_n,p}^0\Big(\alpha^{h(\kappa)}\mathds{1}_{h(\kappa)\geq (b-\varepsilon)|E_n|}\Big)}
\\
&\leq 
\frac{\alpha^{(a+\varepsilon)|E_n|}}{
\left(2^{2d} q\right)^{-|\partial\Lambda_n|/2}
\alpha^{(b-\varepsilon)|E_n|} {{\bar{\mu}}}_{\Lambda_n, p}^1\Big(h(\kappa)\geq (b-\varepsilon)|E_n|\Big)}.
\end{split}\end{aligned}$$ From and we conclude $$\begin{aligned}
\label{eq:monotone_p_6}
\varepsilon^2\leq \left({2^{2d} q}\right)^{|\partial\Lambda_n|/2}\alpha^{(a-b+2\varepsilon)|E_n|}\end{aligned}$$ which implies $a-b+2\varepsilon\geq 0$ as $n\to \infty$ since $\alpha>1$ and $|E_n|/|\partial \Lambda_n|\to \infty$. The lemma follows as $\varepsilon\to 0$.

The next result is a non-uniqueness result for the random conductance model.

\[th:randomconductance\_non\_unique\] In dimension $d=2$ and for $q>1$ sufficiently large there are two distinct Gibbs measures ${{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^1\neq {{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^0$ at the self-dual point defined by equation .

The proof uses duality of the random conductance model and can be found in Section \[sec:phase\_transition\]. This result easily implies Theorem \[th:main\_non\_unique\].

\[Proof of Theorem \[th:main\_non\_unique\]\] Using Proposition \[prop:discmu\_to\_extmu\] we infer from Theorem \[th:randomconductance\_non\_unique\] the existence of two translation invariant extended gradient Gibbs measures $\tilde{\mu}_0$ and $\tilde{\mu}_1$ constructed from ${{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^0\neq{{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^1$. Their $\eta$-marginals $\mu_0$ and $\mu_1$ are not equal since then the $\kappa$-marginals ${{\bar{\mu}}}_1$ and ${{\bar{\mu}}}_2$ would agree. They both have zero tilt by Proposition \[prop:discmu\_to\_extmu\] and the definition of ${{\tilde{\mu}}}$ shows that ${{\tilde{\mu}}}$ is translation invariant if ${{\bar{\mu}}}$ is translation invariant.

A proof similar to Lemma 3.2 in @MR2778801 shows that ergodicity of ${{\bar{\mu}}}_1$ and ${{\bar{\mu}}}_2$ implies that $\mu_0$ and $\mu_1$ are itself ergodic. The only difference is that $\eta$ given $\kappa$ is not independent (which $\kappa$ given $\eta$ is). Instead one has to rely on the decay of correlations for Gaussian fields stated in Appendix \[app:1\].

\[th:Dobrushin\_discrete\] For $d\geq 4$ there is $q_0>1$ such that for $p\in [0,1]$ and $q\in [1,q_0)$ the Gibbs measure for the random conductance model is unique. Similarly, for $d\geq 4$ and $q\geq 1$ there is a $p_0=p_0(q,d)>0$ such that the Gibbs measure is unique for $p\in [0,p_0)\cup (1-p_0,1]$.

We are going to apply Dobrushin's criterion (see, e.g., @MR2807681 [Theorem 8.7]. The necessary estimate is basically a refined version of the proof of Lemma \[le:lattice\_2\_edges\]. Fix two edges $f,g\in {\mathbf{E}}({{\mathbb{Z}}}^d)$. Recall the notation $\lambda^{\pm\pm}=\lambda^{\pm\pm}_{fg}$ and $\lambda^\pm=\lambda^\pm_f$ introduced above Theorem \[th:stoch\_dom\]. We will write ${{\bar{\gamma}}}_f={{\bar{\gamma}}}_{\{f\}}$ in the following. Note that and ${{\bar{\gamma}}}_{f}(\lambda^{+},\lambda)+{{\bar{\gamma}}}_{f}(\lambda^{-},\lambda)=1$ imply that $$\begin{aligned}
{{\bar{\gamma}}}_{f}(\lambda^{+},\lambda)=
\frac{{{\bar{\gamma}}}_{f}(\lambda^{+},\lambda)}{{{\bar{\gamma}}}_{f}(\lambda^{+},\lambda)+{{\bar{\gamma}}}_{f}(\lambda^{-},\lambda)}=\frac{p}{p+(1-p)\sqrt{1+(q-1)\mathbb{Q}_{\lambda^-}(f\in {\boldsymbol{t}})}}\end{aligned}$$ where ${{\mathbb{Q}}}_{\lambda^-}$ denotes the weighted spanning forest measure on ${{\mathbb{Z}}}^d$ with conductances $\lambda^-$. We need to bound the entries of the Dobrushin interdependence matrix given by $$\begin{aligned}
\begin{split}
&C_{fg}=\sup_{\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}}|{{\bar{\gamma}}}_{f}(\lambda^{++}_{fg},\lambda^{++}_{fg})-{{\bar{\gamma}}}_{f}(\lambda^{+-}_{fg}, \lambda^{+-}_{fg})|
\\
&=\sup_{\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}}
\left|\frac{p}{p+(1-p)\sqrt{1+(q-1)\mathbb{Q}_{\lambda^{-+}}(f\in {\boldsymbol{t}})}}-
\frac{p}{p+(1-p)\sqrt{1+(q-1)\mathbb{Q}_{\lambda^{--}}(f\in {\boldsymbol{t}})}}\right|.
\end{split}\end{aligned}$$ Since the derivative of the map $x\mapsto p/(p+(1-p)\sqrt{x})$ is bounded by $p(1-p)$ for $x\geq 1$ we conclude that $$\begin{aligned}
\sup_{\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}}|{{\bar{\gamma}}}_{f}(\lambda^{++},\lambda^{++})-{{\bar{\gamma}}}_{f}(\lambda^{+-}, \lambda^{+-})|
\leq p(1-p)(q-1)\left|\mathbb{Q}_{\lambda^{-+}}(f\in {\boldsymbol{t}})-\mathbb{Q}_{\lambda^{--}}(f\in {\boldsymbol{t}})\right|.\end{aligned}$$ To simplify the notation we assume $\lambda=\lambda^{--}$. We can express $\mathbb{Q}_{\lambda^{-+}}(f\in {\boldsymbol{t}})$ through the measure $\mathbb{Q}_{\lambda^{--}}=\mathbb{Q}_\lambda$ as follows $$\begin{aligned}
\mathbb{Q}_{\lambda^{-+}}(f\in {\boldsymbol{t}})
=\frac{\mathbb{Q}_{\lambda}(f\in {\boldsymbol{t}}, g\notin {\boldsymbol{t}})+q\mathbb{Q}_{\lambda}(f\in {\boldsymbol{t}}, g\in {\boldsymbol{t}})}{
q\mathbb{Q}_{\lambda}(g\in {\boldsymbol{t}})+\mathbb{Q}_{\lambda}(g\notin {\boldsymbol{t}})}.\end{aligned}$$ A sequence of manipulations then shows that $$\begin{aligned}
\mathbb{Q}_{\lambda^{-+}}(f\in {\boldsymbol{t}})-\mathbb{Q}_{\lambda^{--}}(f\in {\boldsymbol{t}})
=\frac{(q-1)\big(\mathbb{Q}_{\lambda}(f\in {\boldsymbol{t}},g\in {\boldsymbol{t}})-\mathbb{Q}_{\lambda}(f\in {\boldsymbol{t}})\mathbb{Q}_{\lambda}(g\in {\boldsymbol{t}})\big)}{q\mathbb{Q}_{\lambda}(g\in {\boldsymbol{t}})+\mathbb{Q}_{\lambda}(g\notin {\boldsymbol{t}})}.\end{aligned}$$ The numerator can be rewritten using the transfer-current Theorem for two edges (see @MR1825141 [Page 10] and equation below 4.3 in @MR3616205) $$\begin{aligned}
{{\mathbb{Q}}}_{\lambda}(f\in {\boldsymbol{t}}, g\in {\boldsymbol{t}})-{{\mathbb{Q}}}_{\lambda}(f\in {\boldsymbol{t}}){{\mathbb{Q}}}_{\lambda}(g\in {\boldsymbol{t}})=-I^{\lambda}_f(g)I^{\lambda}_g(f).\end{aligned}$$ where $I_f^\kappa(g)$ denotes the current through $g$ in a resistor network with conductances $\kappa$ when 1 unit of current is inserted (respectively removed) at the ends of $f$ (using a fixed orientation of the edges here, e.g., lexicographic). All together we have shown that $$\begin{aligned}
\label{eq:dob1}
C_{fg}\leq \sup_{\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}} p(1-p)(q-1)^2 I^\kappa_f(g)I^\kappa_{g}(f).\end{aligned}$$ Using electrical network theory we can express for $f=(x,x+e_i)$ and $g=(y,y+e_j)$ $$\begin{aligned}
\label{eq:dob2}
I^\kappa_f(g)=\kappa_g\big(\delta_{y+e_i}-\delta_y,(\Delta_\kappa)^{-1}(\delta_{x+e_i}-\delta_x)\big)_{{{\mathbb{Z}}}^d}=\kappa_g\nabla_{x,i}\nabla_{y,j} G_\kappa(y,x)\end{aligned}$$ where $G_\kappa$ denotes the inverse of the operator $\Delta_\kappa$ which exists in dimension $d\geq 3$ and whose derivative exists in dimension $d\geq 2$. Combining the bound in Lemma \[le:GreensBound\], , and we conclude for $f\in {\mathbf{E}}({{\mathbb{Z}}}^d)$ that $$\begin{aligned}
\sum_{g\in {\mathbf{E}}({{\mathbb{Z}}}^d)} C_{fg}\leq C(q,d)p(1-p)(q-1)^2
\sum_{x\in {{\mathbb{Z}}}^d} (1+|x|)^{2(2-d-2\alpha)}.\end{aligned}$$ In dimension $d\geq 4$ the sum is finite. Now, for fixed $q$, the sum becomes smaller 1 for $p$ sufficiently close to 0 or 1. Therefore there is $p_0=p_0(q,d)$ such that the Gibbs measure is unique for $p\in [0,p_0)\cup(1-p_0,1]$. On the other hand, the constant $C(q,d)$ from Lemma \[le:elliptic\_Nash\_Moser\] is decreasing in $q$. Therefore we can estimate uniformly for $p\in [0,1]$ and for $q\leq 2$ $$\begin{aligned}
\sum_{g\in {\mathbf{E}}({{\mathbb{Z}}}^d)} C_{fg}\leq \frac{C(2,d)}{4}(q-1)^2
\sum_{x\in {{\mathbb{Z}}}^d} (1+|x|)^{2(2-d-2\alpha)}.\end{aligned}$$ Hence the Dobrushin criterion is satisfied for $q$ sufficiently close to 1 and all $p\in [0,1]$.

1.  Note that the gradient-gradient correlations in gradient models at best only decay critically with $|x|^{-d}$ (which is the decay rate for the discrete Gaussian free field). In particular, the sum of the covariance $\sum_{g\in {\mathbf{E}}({{\mathbb{Z}}}^d)} \mathop{Cov}(\eta_f,\eta_g)$ diverges in this type of model. We use crucially in the previous theorem that the decay of correlations is better for the discrete model: They decay with the square of the gradient-gradient correlations.

2.  The averaged (annealed) second order derivative of the Greens functions decays with the optimal decay rate $|x|^{-d}$ as shown in @MR2198017. For the application of the Dobrushin criterion we, however need deterministic bounds which are weaker.

3.  To extend the uniqueness result for $q$ close to 1 to dimensions $d=3$ and $d=2$ one would need estimates for the optimal Hölder exponent $\alpha$ depending on the ellipticity contrast of discrete elliptic operators. Here the ellipticity contrast can be bounded by $q$. There do not seem to be any results in this direction in the discrete setting. In the continuum setting the problem is open for $d\geq 3$, but has been solved for $d=2$ in @MR0361422. In this case $\alpha\to 1$ as the ellipticity contrast converges to 1. A similar result in the discrete setting would imply uniqueness of the Gibbs measure for small $q$ in dimension 2.

Note that we can again lift the uniqueness result for the Gibbs measure of the random conductance model to a uniqueness result for the ergodic gradient Gibbs measures with zero tilt.

\[Proof of Theorem \[th:Dobrushin\]\] The proof follows from the uniqueness of the discrete Gibbs measure proven in Theorem \[th:Dobrushin\_discrete\] in the same way as the proof of Theorem \[th:main\_unique\] which can be found above Remark \[rem:conv\_pressure\].

#### Open questions

Let us end this section by stating one further result and two conjectures regarding the phase transitions of this model. They are most easily expressed in terms of percolation properties of the model even though the interpretation as open and closed bonds is somehow misleading in this context. We write $x\leftrightarrow y$ for $x,y\in {{\mathbb{Z}}}^d$ and $\kappa$ if there is a path of $q$-bonds in $\kappa$ connecting $x$ and $y$ and similarly for sets. Observe that the results of @MR3898174 can be applied to the model introduced here and we obtain the existence of a sharp phase transition.

\[th:sharpness\] For every $q$ the model undergoes a sharp phase transition in $p$, i.e., there is $p_c(q,d)$ such that the following two properties hold. On the one hand there is a constant $c_1>0$ such that for $p>p_c$ sufficiently close to $p_c$ $$\begin{aligned}
\label{eq:sharpness_lower}
{{\bar{\mu}}}^1(0\leftrightarrow \infty)\geq c_1(p-p_c).\end{aligned}$$ On the other hand, for $p<p_c$ there is a constant $c_p$ such that $$\begin{aligned}
\label{eq:sharpness_upper}
{{\bar{\mu}}}^1_n(0\leftrightarrow \partial\Lambda_n)\leq e^{-c_pn}.\end{aligned}$$

The proof of Theorem 1.2 in @MR3898174 for the random cluster model applies to this model. Indeed, it only relies on $\mu_{n,p}^1$ being strongly positively associated and a certain relation for the $p$ derivative of events stated in Theorem 3.12 in @MR2243761 which is still true since the $p$-dependence is the same as for the random cluster model.

For $d=2$ the self dual point defined in and the critical point agree: $p_c=p_{{\mathrm{sd}}}$. This can be seen based on Theorem 1.5 and the arguments used in the proof of Theorem 1.4 in @MR3898174 for the random cluster model .

In the random cluster model the most interesting phenomena happen for $p=p_c$ and the subcritical and supercritical phase are much simpler to understand (in particular in $d=2$). Due to the differences explained in Remark \[rem:sim\_random-cluster\] those questions seem to be harder for our random conductance model. Nevertheless we conjecture the following stronger version of Theorem \[th:countable\_non\_uniqueness\] and Theorem \[th:Dobrushin\_discrete\]

\[con:uniqueness\] For $p\neq p_c$ there is a unique Gibbs measure.

Note that the sharpness result Theorem \[th:sharpness\] shows that the probability of subcritical $q$-clusters to be large is exponentially small. Nevertheless it is not clear how this can be used to show uniqueness of the Gibbs measure in our setting.

The behaviour at $p_c$ is also very interesting. A phase transition is called continuous if $\mu_{p_c}^1(0\leftrightarrow \infty)=0$ and otherwise it is discontinuous. For the random cluster model in dimensions $d=2$ the phase transition is continuous for $q\leq 4$ and otherwise discontinuous. Moreover, the uniqueness of the Gibbs measure at $p_c$ is equivalent to a continuous phase transition. We do not know whether the same is true for the random conductance model considered here. But we expect the general picture to be true also for the random conductance and we make this precise in a second conjecture.

\[con:cont\_discont\] There is a $q_0=q_0(d)$ such that for $q> q_0$ there is non-uniqueness of Gibbs measures ${{\bar{\mu}}}_{p_c,q}^1\neq {{\bar{\mu}}}_{p_c,q}^0$ at the critical point while for $q<q_0$ the Gibbs measures agree, i.e., ${{\bar{\mu}}}_{p_c,q}^1={{\bar{\mu}}}_{p_c,q}^0$.

A partial result in the direction of this conjecture is Theorem \[th:randomconductance\_non\_unique\] that states non-uniqueness for large $q$ in dimension $d=2$ and Theorem \[th:Dobrushin\_discrete\] that shows uniqueness for $q$ close to 1 and $d\geq 4$.

Duality and coexistence of Gibbs measures {#sec:phase_transition}
=========================================

In this section we are going to prove that $\mu^0_{p_{{\mathrm{sd}}}}\neq\mu^1_{p_{{\mathrm{sd}}}}$ for large $q$ which implies the non-uniqueness of gradient Gibbs measures stated in Theorem \[th:main\_non\_unique\]. This is a new proof for the result in @MR2322690. They consider conductances $q_1$, $q_2$ with $q_1q_2=1$ which makes the presentation slightly more symmetric.

In contrast to their work we do not rely on reflection positivity but instead we exploit the planar duality that is already used in @MR2322690 to find the location of the phase transition. Therefore it is not possible to extend the argument given here to $d\geq 3$ while the proof using reflection positivity is in principle independent of the dimension (note that the spin wave calculations in @MR2322690 can be simplified substantially and generalised to $d\geq 3$ using the Kirchhoff formula cf. @myphd [Section 5.7]). In addition to planar duality we rely on the properties proved in Section \[sec:percolation\], in particular on the Kirchhoff formula. Similar arguments were developed in the context of the random cluster model and we refer to @MR2243761 [Section 6 and 7].

We proceed now by stating the duality property in our setting. For a planar graph $G=(V,E)$ we denote its dual graph by $G^\ast=(V^\ast,E^\ast)$. The dual graph has the faces of $G$ as vertices and the vertices of $G$ as faces and each edge has a corresponding dual edge. For a formal definition of the dual of a graph and the necessary background we refer to the literature, e.g., @MR1813436.

For any configuration $\kappa:E\to \{1,q\}$ we define its dual configuration $\kappa^\ast\in \{1, q\}^{E^\ast}$ by $\kappa^\ast_{e^\ast}=1+q-\kappa_e$ where $e^\ast\in E^\ast$ denotes the dual edge of an edge $e\in E$. More generally we denote for $E_1\subset E$ by $E_1^\ast=\{e^\ast\,:e\in E_1\}$ the dual edges of the edges $E_1$. We also introduce the notation $E_1^{{\mathrm{d}}}=\{e^\ast \in E^\ast: e\notin E_1\}=(E_1^{\mathrm{c}})^\ast$ for $E_1\subset E$ for the dual set of an edge subset. Note that $E_1$ is acyclic if and only if $E_1^{{\mathrm{d}}}$ is spanning, i.e., every two points $x^\ast, y^\ast\in V^\ast$ are connected by a path in $E_1^{{\mathrm{d}}}$. In particular, ${\boldsymbol{t}}\subset E$ is a spanning tree in $G$ if and only if ${\boldsymbol{t}}^{{\mathrm{d}}}$ is a spanning tree in $G^\ast$ and the map ${\boldsymbol{t}}\mapsto {\boldsymbol{t}}^d$ is an involution and in particular bijective from ${\mathrm{ST}}(G)$ to ${\mathrm{ST}}(G^\ast)$.

Recall that $h(\kappa,{\boldsymbol{t}})=| \{e\in {\boldsymbol{t}}: \kappa_e=q\} |$ denotes the number of $q$-bonds in the set $t\subset {\mathbf{E}}(G)$ of $\kappa$ and the similar definition of $s(\kappa,{\boldsymbol{t}})$ for the number of soft $1$-bonds in ${\boldsymbol{t}}$. The definitions imply that $$\begin{aligned}
{2}\label{eq:duality_h_s}
h(\kappa) &= s(\kappa^\ast),
&s(\kappa)&=h ({\kappa}^\ast),
\\ \label{eq:duality_h_s_s}
h({\kappa}, {\boldsymbol{t}})&= s({\kappa}^\ast)-s({\kappa}^\ast,{\boldsymbol{t}}^{{\mathrm{d}}}),\qquad
 &\qquad s({\kappa},{\boldsymbol{t}})&= h({\kappa}^\ast)-h({\kappa}^\ast,{\boldsymbol{t}}^{{\mathrm{d}}}).\end{aligned}$$ The last two identities follow from the observation that $s({\kappa}^\ast,{\boldsymbol{t}}^{{\mathrm{d}}})=h(\kappa, E\setminus {\boldsymbol{t}})$ and similarly for $s$ and $h$ interchanged. We calculate the distribution of $\kappa^\ast$ if $\kappa$ is distributed according to ${{\mathbb{P}}}^{G,p}$ $$\begin{aligned}
\label{eq:proba_duality}
\begin{split}
{{\mathbb{P}}}({\kappa}^\ast)={{\mathbb{P}}}({\kappa})
\propto \!\frac{p^{h({\kappa})}(1-p)^{s({\kappa})}}{
\sqrt{\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G)} q^{h({\kappa},{\boldsymbol{t}})}}}
&=\!
\frac{p^{s({\kappa}^\ast)}(1-p)^{h({\kappa}^\ast)}}{
\sqrt{\sum_{{\boldsymbol{t}}^{{\mathrm{d}}}\in {\mathrm{ST}}(G^\ast)} q^{s({\kappa}^\ast)-s({\kappa}^\ast,{\boldsymbol{t}}^{{\mathrm{d}}})}}}
=\! \frac{ \left(\frac{p}{\sqrt{q}}\right)^{s({\kappa}^\ast)}
(1-p)^{h({\kappa}^\ast)}}
{\sqrt{\sum_{{\boldsymbol{t}}^{{\mathrm{d}}} \in {\mathrm{ST}}(G^\ast)} q^{h({\kappa}^\ast,{\boldsymbol{t}}^{{\mathrm{d}}})-|{\boldsymbol{t}}^{{\mathrm{d}}}|}}}.
\end{split}\end{aligned}$$ This implies that if $\kappa$ is distributed according to ${{\mathbb{P}}}^{G,p}$ the dual configuration $\kappa^\ast$ is distributed according to ${{\mathbb{P}}}^{G^\ast, p^\ast}$ where $q^\ast=q$ and $$\begin{aligned}
\label{eq:p_ast}
\frac{p^\ast}{1-p^\ast}=\frac{(1-p)}{{p}/{\sqrt{q}}}.\end{aligned}$$ Note that the self dual point $p_{{\mathrm{sd}}}$ defined by $p_{{\mathrm{sd}}}^\ast=p_{{\mathrm{sd}}}$ is given by the solution of $$\begin{aligned}
\label{eq:self_dual_point}
 \frac{p^4}{(1-p)^4}=q.\end{aligned}$$ We will now restrict our attention to ${{\mathbb{Z}}}^2$. Let us mention that detailed proofs of the topological statements we use can be found in @MR692943.

We can identify the dual of the graph $({{\mathbb{Z}}}^2,{\mathbf{E}}({{\mathbb{Z}}}^2))$, which will be denoted by $(({{\mathbb{Z}}}^2)^\ast,{\mathbf{E}}({{\mathbb{Z}}}^2)^\ast)$, with ${{\mathbb{Z}}}^2$ shifted by the vector $w=(\tfrac12,\tfrac12)$. We also consider the set of directed bonds $\vec{{\mathbf{E}}}({{\mathbb{Z}}}^2)$ and $\vec{{\mathbf{E}}}({{\mathbb{Z}}}^2)^\ast$. For a directed bond $\vec{e}=(x,y)\in{\mathbf{E}}({{\mathbb{Z}}}^2)$ we define its dual bond as the directed bond $\vec{e}^\ast=(\tfrac12(x+y+(x-y)^\perp),\tfrac12 (x+y+(y-x)^\perp)$ where $\perp$ denotes counter-clockwise rotation by $90^\circ$, i.e., the linear map that satisfies $e_1^\perp=e_2$, $e_2^\perp=-e_1$. In other words, the dual of a directed bond $\vec{e}$ is the bond whose orientation is rotated by $90^\circ$ counter-clockwise and crosses $\vec{e}$.

Every point $x\in {{\mathbb{Z}}}^2$ determines a plaquette with corners $z_1,z_2,z_3,z_4\in ({{\mathbb{Z}}}^2)^\ast$ where $z_i$ are the four nearest neighbours of $x$ in $({{\mathbb{Z}}}^2)^\ast$ and the plaquette has faces $e_1^\ast,e_2^\ast, e_3^\ast, e_4^\ast\in {\mathbf{E}}({{\mathbb{Z}}}^2)^\ast$ where $e_i^\ast$ are the dual bonds of the four bonds $e_i$ that are incident to $x$. Vice versa every point $z\in ({{\mathbb{Z}}}^2)^\ast$ determines a plaquette in ${{\mathbb{Z}}}^2$. We write ${\mathbf{P}}({{\mathbb{Z}}}^2)$ for the set of plaquettes of ${{\mathbb{Z}}}^2$.

For a bond $e=\{x,y\}$ we define the shifted dual bond $e+w=\{x+w,y+w\}$. Similarly, we define $E+w=\{e+w\in {\mathbf{E}}({{\mathbb{Z}}}^2)^\ast\,: \,e\in E\}$ for a set $E\subset {\mathbf{E}}({{\mathbb{Z}}}^2)$. For a subgraph $G\subset {{\mathbb{Z}}}^2$ we denote by ${\mathbf{P}}(G)=\{P\in {\mathbf{P}}({{\mathbb{Z}}}^2): \text{all faces of $P$ are in ${\mathbf{E}}(G)$}\}$ the plaquettes of $G$. A subgraph $G\subset {{\mathbb{Z}}}^2$ is called simply connected if the union of all vertices $v\in {\mathbf{V}}(G)$, all edges $\{x,y\}\in {\mathbf{E}}(G)$ which are identified with the line segment from $x$ to $y$ in ${{\mathbb{R}}}^2$ and all plaquettes ${\mathbf{P}}(G)$ is a simply connected subset of ${{\mathbb{R}}}^2$.

<span>0.4</span>

<span>0.5</span>

An important tool in the analysis of planar models from statistical mechanics is the use of contours. Let us provide a notion of contours that is useful for our purposes. Our definition is slightly more complicated than the definition of contours for the random cluster model. We consider closed paths $\gamma=(x_1^\ast,\ldots,x_n^\ast,x_1^\ast)$ with $x_i^\ast\in ({{\mathbb{Z}}}^2)^\ast$ (not necessarily all distinct) along pairwise distinct directed dual bonds $\vec{b}_1^\ast=(x_1^\ast,x_2^\ast),\ldots, \vec{b}_n^\ast=(x_n^\ast,x_1^\ast)$. We denote the vertices in the contour by ${\mathbf{V}}(\gamma)^\ast=\{ x_i^\ast\, :\, 1\leq i\leq n\}$ and the bonds by $\vec{{\mathbf{E}}}(\gamma)^\ast=\{\vec{b}_i^\ast\,:\, 1\leq i\leq n\}$. Similarly we write $\vec{{\mathbf{E}}}(\gamma)=\{\vec{b}_i\,:\, 1\leq i\leq n\}$ for the corresponding primal bonds. We also consider the underlying sets of undirected bonds ${\mathbf{E}}(\gamma)$ and ${\mathbf{E}}(\gamma)^\ast$. Finally, we denote the heads and tails of $\vec{b}_i$ by $y_i$ and $z_i$, i.e., $\vec{b}_i=(z_i,y_i)$.

\[def:contour\] A contour $\gamma$ is a closed path in the dual lattice without self-crossings in the sense that there is a bounded connected component ${\mathrm{int}}(\gamma)$ of the graph $({{\mathbb{Z}}}^2,{\mathbf{E}}({{\mathbb{Z}}}^2)\setminus {\mathbf{E}}(\gamma))$ such that $\partial ({\mathrm{int}}(\gamma))=\{z_i\,:\, 1\leq i\leq n\}$. We denote the union of the remaining connected components by ${\mathrm{ext}}(\gamma)$ and we define the length $|\gamma|$ of the contour as the number of (directed) bonds it contains, i.e., $|\gamma|=|\vec{{\mathbf{E}}}(\gamma)|=n$.

Note that ${\mathrm{ext}}(\gamma)$ is not necessarily connected and that $\{x,y\}\in {\mathbf{E}}(\gamma)$ if $x\in {\mathrm{int}}(\gamma)$ and $y\in {\mathrm{ext}}(\gamma)$ (see Figure \[fig1\]).

Contours are a suitable notion to define interfaces between hard and soft bonds.

\[def:q\_contour\] A contour $\gamma$ is a $q$-contour for $\kappa$ if the following two conditions hold. First, the primal bonds $b\in {\mathbf{E}}(\gamma)$ are soft, i.e., $\kappa_{b}=1$. Moreover, for every plaquette with center $x^\ast \in {\mathbf{V}}(\gamma)^\ast$ all its faces $b$ such that $b\in {\mathbf{E}}({\mathrm{int}}(\gamma))$ are hard, i.e., satisfy $\kappa_b=q$.

Our goal is to show that $q$-contours are unlikely for large values of $q$ and $p\leq p_{{\mathrm{sd}}}$. We now fix a contour $\gamma$ and introduce some useful notation and helpful observations for the proof of the following theorem. We use the shorthand $G_i={\mathrm{int}}(\gamma)$ and $E_i={\mathbf{E}}({\mathrm{int}}(\gamma))$. We observe that $G_i$ is simply connected because $\gamma$ is connected and without self-crossings. Therefore the faces of $G_i$ consist of plaquettes in ${{\mathbb{Z}}}^2$ and one infinite face. We also consider the graph $G$ with edges $E=E_i\cup {\mathbf{E}}(\gamma)$ and endpoints of edges as vertices. Let $\bar{1}\in \{1,q\}^{E}$ denote the configuration given by $\bar{1}_e=1$ for all $e\in E$. We write $G^w=G/\partial G=G/ {\mathrm{ext}}(\gamma)$ for the graph $G$ with wired boundary conditions. Moreover we introduce the graph $H^\ast$ with edges $E_i^\ast$ and their endpoints as vertices. We claim that $H^\ast/\partial H^\ast$ agrees with the graph theoretic dual of $G_i$. To show this we need to prove that we identify all vertices that lie in the same face of $G_i$. First we note that every point in ${\accentset{\circ}}{H}^\ast=H^\ast\setminus \partial H^\ast$ determines a plaquette in $\mathbf{P}(G_i)$ and this is a bijection. Then it remains to show that all vertices in $\partial H^\ast$ lie in the infinite face of $G_i$. This follows from the observation $$\begin{aligned}
\label{eq:obs1}
\partial H^\ast = {\mathbf{V}}(\gamma)^\ast\cap {\mathbf{V}}(H^\ast).\end{aligned}$$ To show the observation we note that if $x^\ast\in \partial H^\ast$ then there are edges $e^\ast_1 \notin {\mathbf{E}}(H^\ast)$ and $e^\ast_2\in {\mathbf{E}}(H^\ast)$ incident to $x^\ast$. This implies that there is a face $e'=\{z_1,z_2\}$ of the plaquette with center $x^\ast$ such that $z_1\in {\mathbf{V}}(G_i)$ but $e'\notin {\mathbf{E}}(G_i)$. Then $e\in {\mathbf{E}}(\gamma)$ and therefore $x^\ast\in {\mathbf{V}}(\gamma)^\ast$ because $x^\ast$ is an endpoint of $e^\ast\in {\mathbf{E}}(\gamma)^\ast$. This ends the proof of the inclusion '$\subset$'. Now we note that if $x^\ast\in  {\mathbf{V}}(H^\ast)\cap {\mathbf{V}}(\gamma)^\ast$ there is an edge $e^\ast\in {\mathbf{E}}(\gamma)^\ast$ incident to $x^\ast$ which is not contained in ${\mathbf{E}}(H^\ast)$ and therefore $x^\ast\in \partial H^\ast$.

Finally we remark that if $\gamma$ is a $q$-contour for $\kappa$ then $$\begin{aligned}
\label{eq:observation_partialH}
\kappa^\ast_{e^\ast}=1+q-\kappa_e=1 \qquad \text{if $e^\ast\in {\mathbf{E}}(H^\ast)$ is incident to $ \partial H^\ast.$} \end{aligned}$$ Indeed, we argued above that if $e^\ast\in {\mathbf{E}}(H^\ast)$ is incident to $ \partial H^\ast$ then $x^\ast\in {\mathbf{V}}(\gamma)^\ast$. Thus $e\in E_i$ is a face of the plaquette with center $x^\ast$ so that the definition of $q$-contours implies that $\kappa_{e}=q$.

\[th:contour\] Let $\gamma$ be a contour. The probability that $\gamma$ is a $q$-contour under the measure ${{\mathbb{P}}}^{G^w, E_i,\bar{1}}$ for $p=p_{{\mathrm{sd}}}$ is bounded by $$\begin{aligned}
\label{eq:contour_probability}
{{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\text{$\gamma$ is a $q$-contour})\leq \left(\frac{4}{q^{\frac18}}\right)^{|\gamma|} q^{\frac{1}{2}}.\end{aligned}$$

The general idea of the proof is the same as when proving similar estimates for the Ising model. One tries to find a map from configurations where the contour is present to configurations where this is not the case and then estimates the corresponding probabilities. The more similar argument for the random cluster model can be found, e.g., in Theorem 6.35 in @MR2243761. For an illustrated version see @duminil2017lectures.

<span>0.48</span>

<span>0.48</span>

We denote the set of all $\kappa\in \{1,q\}^{E}$ such that $\gamma$ is a $q$-contour for $\kappa$ by $\Omega_\gamma$.

**Step 1.** We define a map $\Phi:\Omega_\gamma\to \{1,q\}^{E}$ with $\Phi(\kappa)=\kappa^\#$ as follows. Recall the definition of the dual configuration $\kappa^\ast$ on $E^\ast\subset {\mathbf{E}}({{\mathbb{Z}}}^2)^\ast$ and define for $e\in E$ $$\begin{aligned}
\kappa^{\#}_e=\begin{cases}
\kappa^\ast_{e-w} \quad&\text{if $e-w\in {E_i}^\ast$,}
\\
1\quad &\text{otherwise}.
\end{cases} \end{aligned}$$ We claim that $$\begin{aligned}
\label{eq:kappa_sharp_bc1}
\kappa^{\#}_e=1 \qquad \text{if $e\in E\setminus E_i$}.\end{aligned}$$ By definition of $\kappa^{\#}$, we only need to consider the case $e-w\in {E_i}^\ast={\mathbf{E}}(H^\ast)$. We will show a slightly more general statement. Let us introduce the set $\tilde{E}={\mathbf{E}}(H^\ast)+w=E_i^\ast+w\subset E$ and the graph $\tilde G $ consisting of the edges $\tilde E$ and their endpoints as vertices. See Figure \[fig2\] for an illustration of this construction. We remark that $\tilde{G}$ agrees with $H^\ast$ shifted by $w$, which we denote by $\tilde{G}=H^\ast+w$. Equation implies that $$\begin{aligned}
\label{eq:kappa_sharp_bc2}
\kappa^{\#}_e=\kappa^\ast_{e-w}=1\qquad \text{for $e\in \tilde{G}$ incident to $\partial \tilde{G}$}\end{aligned}$$ because then $e-w\in {\mathbf{E}}(H^\ast)$ is incident to $\partial H^\ast$. It remains to show that all edges $e\in E\cap \tilde{E}\setminus E_i$ are incident to $\partial\tilde{G}$. From $e\in E\setminus E_i$ we conclude that $e\in {\mathbf{E}}(\gamma)$. The edge $e-w$ has a common endpoint with $e^\ast\in {\mathbf{E}}(\gamma)^\ast$ and is therefore incident to ${\mathbf{V}}(\gamma)^\ast$ in this case. Using the observation this implies that $e-w\in {\mathbf{E}}(H^\ast)$ is incident to $\partial H^\ast$.

<span>0.33</span>

<span>0.33</span>

<span>0.33</span>

Our goal is to compare the probabilities of ${{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\kappa_{E_i})$ and ${{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\kappa^{\#}_{E_i})$. To achieve this we use a strategy similar to the proof of Lemma \[le:monotonicity\_in\_p\].

**Step 2.** We define a map $\Psi:{\mathrm{ST}}(G^w)\to {\mathrm{ST}}(G^w)$ with $\Psi({\boldsymbol{t}}^{\#})= {\boldsymbol{t}}$ in the following steps

1.  We choose deterministically a subset $\tilde {\boldsymbol{t}}\subset {\boldsymbol{t}}^{\#}{\restriction}_{\tilde{E}}$ such that $\tilde {\boldsymbol{t}}$ is a spanning tree on $\tilde{G}/\partial\tilde G$ and all edges in ${\boldsymbol{t}}^\#{\restriction}_{\tilde{E}}\setminus \tilde {\boldsymbol{t}}$ are incident to $\partial\tilde{G}$.

2.  We set $\Psi({\boldsymbol{t}}^\#){\restriction}_{E_i}=\{e\in E_i\, :\, e^\ast\notin \tilde {\boldsymbol{t}}-w\}= (\tilde{{\boldsymbol{t}}}-w)^d$ (as a subset of $E_i^\ast$).

3.  We consider a fixed $b\in {\mathbf{E}}(\gamma)$ that is incident to ${\mathrm{int}}(\gamma)$ and ${\mathrm{ext}}(\gamma)$ and we define ${\boldsymbol{t}}=\Psi({\boldsymbol{t}}^\#)=\Psi({\boldsymbol{t}}^\#){\restriction}_{E_i}\cup b$

See Figure \[fig3\] for an illustration of the construction.

We have to show that this construction is possible, in particular that $t\in {\mathrm{ST}}(G^w)$. We start with the first step. The relation $\tilde{G}\subset G$ implies $$\begin{aligned}
\label{eq:boundary_incl}
\partial G\cap \tilde{G}\subset \partial\tilde{G}.\end{aligned}$$ Hence $\tilde{G}/\partial\tilde{G}$ agrees with $(G/\partial G)/({\tilde{G}}^{{\mathrm{c}}}\cup \partial\tilde{G})$ up to self loops. This implies that ${\boldsymbol{t}}^{\#}{\restriction}_{\tilde{E}}$ is spanning in $\tilde G/\partial \tilde G$ if ${\boldsymbol{t}}^{\#}\in {\mathrm{ST}}(G^w)$. We consider the subset ${\boldsymbol{t}}'\subset {\boldsymbol{t}}^{\#}{\restriction}_{\tilde{E}}$ consisting of all edges $e\in  {\boldsymbol{t}}^{\#}{\restriction}_{\tilde{E}}$ that are not incident to $\partial \tilde G$. The set ${\boldsymbol{t}}'$ contains no cycles because ${\boldsymbol{t}}^{\#}\in {\mathrm{ST}}(G^w)$ and no edge in ${\boldsymbol{t}}'$ is incident to $\partial G$ by . Therefore we can select a spanning tree $\tilde {\boldsymbol{t}}$ in $\tilde{G}/\partial{\tilde{G}}$ with ${\boldsymbol{t}}'\subset \tilde {\boldsymbol{t}}\subset
{\boldsymbol{t}}^{\#}{\restriction}_{\tilde{E}}$ deterministically, e.g., using Kruskal's algorithm.

We now argue that the second and third step yield a spanning tree in $G^w$. Clearly it is sufficient to show that $\Psi({\boldsymbol{t}}^\#){\restriction}_{E_i}\in {\mathrm{ST}}(G_i)$. We note that the relation between $\tilde{G}$ and $H^\ast$ implies that $\tilde{{\boldsymbol{t}}}-w$ is a spanning tree on $H^\ast/\partial H^\ast$. As shown before the theorem $H^\ast/\partial H^\ast$ agrees with the dual of $G_i$ and thus $(\tilde{{\boldsymbol{t}}}-w)^d \in {\mathrm{ST}}(G_i)$.

**Step 3.** The next step is to consider $\kappa^\#=\Phi(\kappa)$ and ${\boldsymbol{t}}=\Psi({\boldsymbol{t}}^\#)$ and compare the weights $w(\kappa^\#,{\boldsymbol{t}}^\#)$ and $w(\kappa,{\boldsymbol{t}})$. First we argue that $$\begin{aligned}
w(\kappa^\#,{\boldsymbol{t}}^\#)=w(\kappa^\#,\tilde{{\boldsymbol{t}}}).\end{aligned}$$ Since $\tilde{{\boldsymbol{t}}}\subset {\boldsymbol{t}}^\#$ it is sufficient to show that ${\boldsymbol{t}}^\#\setminus \tilde {\boldsymbol{t}}$ contains only edges $e$ such that $\kappa^\#_e=1$. Indeed, let $e$ be an edge in ${\boldsymbol{t}}^\#\setminus \tilde {\boldsymbol{t}}$. For $e\notin \tilde E$ we have $\kappa^\#_e=1$ by definition. Let us now consider $$\begin{aligned}
 e\in \tilde E\cap ({\boldsymbol{t}}^\#\setminus \tilde {\boldsymbol{t}}).
 \end{aligned}$$ By construction of $\tilde {\boldsymbol{t}}$ the edge $e$ is incident to a vertex $v\in \partial \tilde{G}$. This implies that $e-w\in {\mathbf{E}}(H^\ast)$ is incident to $v-w\in \partial H^\ast\subset {\mathbf{V}}(\gamma)^\ast$. Using we conclude that $$\begin{aligned}
 \kappa^{\#}_e=\kappa^\ast_{e-w}=1.
 \end{aligned}$$ For the trees $\tilde{{\boldsymbol{t}}}$ and $\Psi( {\boldsymbol{t}}^\#){\restriction}_E$ we can apply the usual duality relations stated before. Using and as before $\kappa^\#=\Phi(\kappa)$ and ${\boldsymbol{t}}=\Psi({\boldsymbol{t}}^\#)$ we obtain $$\begin{aligned}
\label{eq:h_and_s_for_dual_trees}
h(\kappa^\#, {\boldsymbol{t}}^\#)=h(\kappa^\#, \tilde {\boldsymbol{t}})
=h(\kappa^\ast, \tilde {\boldsymbol{t}}-w)=s(\kappa, E_i)-s(\kappa,E_i\cap {\boldsymbol{t}}).\end{aligned}$$ We compute $$\begin{aligned}
\label{eq:weight_compare_prov}
\frac{w(\kappa^\#, {\boldsymbol{t}}^\#)}{w(\kappa,{\boldsymbol{t}})}
=\frac{q^{h(\kappa^\#,{\boldsymbol{t}}^\#)}}{q^{h(\kappa,{\boldsymbol{t}})}}
=q^{s(\kappa,E_i)-s(\kappa,{\boldsymbol{t}}\cap{E_i})-h(\kappa,{\boldsymbol{t}}\cap E_i)}
=q^{s(\kappa,E_i)-|{\boldsymbol{t}}\cap E_i|}
=q^{s(\kappa,E_i)-|{\mathbf{V}}(G_i)|+1}.\end{aligned}$$ In the last step we used that ${\boldsymbol{t}}\cap E_i$ is a free spanning tree on $G_i$ and therefore has $|{\mathbf{V}}(G_i)|-1$ edges.

**Step 4.** We bound the number of preimages of a tree ${\boldsymbol{t}}$ under $\Psi$. Note that $\Psi$ factorizes into two maps ${\boldsymbol{t}}^\#\to \tilde {\boldsymbol{t}}\to {\boldsymbol{t}}$. The second map is injective since we only pass to the dual tree which is an injective map and we add one additional edge. For the first map we observe that we only delete edges $e$ incident to $\partial \tilde G$. However, for $x\in \partial\tilde G$ the point $x-w\in \partial H^\ast$ is contained in the contour by . Therefore there are at most $4|\gamma|$ such edges. We conclude that $$\begin{aligned}
\label{eq:number_preimages_tree}
|\{{\boldsymbol{t}}^\#\in {\mathrm{ST}}(G^w) : \Psi({\boldsymbol{t}}^\#)={\boldsymbol{t}}\}| \leq 2^{4|\gamma|}\end{aligned}$$ for every ${\boldsymbol{t}}\in {\mathrm{ST}}(G^w)$. The displays and imply $$\begin{aligned}
\label{eq:comparison_sum_spanning}
\sum_{{\boldsymbol{t}}^\#\in {\mathrm{ST}}(G^w)}\hspace{-0.2cm}w(\kappa^\#,{\boldsymbol{t}}^\#)
\leq \!\!\!
\sum_{{\boldsymbol{t}}^\#\in {\mathrm{ST}}(G^w)}\hspace{-0.2cm} w(\kappa, \Psi({\boldsymbol{t}}^\#)) q^{ s(\kappa,E_i)-|{\mathbf{V}}(G_i)|+1}
\leq q^{ s(\kappa,E_i)-|{\mathbf{V}}(G_i)|+1} 2^{4|\gamma|}\!\!
\!\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G^w)}\hspace{-0.2cm} w(\kappa, {\boldsymbol{t}}).\end{aligned}$$

**Step 5.** We can now estimate the probabilities of the patterns $\kappa$ and $\kappa^\#=\Psi(\kappa)$ under ${{\mathbb{P}}}^{G^w,E_i,\bar{1}}$ using and $\kappa^\#_e=1=\bar{1}_e$ for $e\in E\setminus E_i$ $$\begin{aligned}
\begin{split}\label{eq:probability_pattern}
\frac{{{\mathbb{P}}}^{G^w,E_i,\bar{1}}_{p_{{\mathrm{sd}}}}(\kappa_{E_i})}{{{\mathbb{P}}}^{G^w,E_i,\bar{1}}_{p_{{\mathrm{sd}}}}(\kappa^\#_{E_i})}
&=
\frac{{{\mathbb{P}}}^{G^w}_{p_{{\mathrm{sd}}}}(\kappa)}{{{\mathbb{P}}}^{G^w}_{p_{{\mathrm{sd}}}}(\kappa^\#)}
=\frac{p_{{\mathrm{sd}}}^{h(\kappa,E_i)}(1-p_{{\mathrm{sd}}})^{s(\kappa,E_i)}}
{p_{{\mathrm{sd}}}^{h(\kappa^\#,E_i)}(1-p_{{\mathrm{sd}}})^{s(\kappa^\#,E_i)}}
\sqrt{\frac{\sum_{{\boldsymbol{t}}^\#\in {\mathrm{ST}}(G^w)}w(\kappa^\#,{\boldsymbol{t}}^\#)}{\sum_{{\boldsymbol{t}}\in {\mathrm{ST}}(G^w)}w(\kappa,{\boldsymbol{t}})}}
\\
&\leq 
\frac{\left(\frac{p_{{\mathrm{sd}}}}{1-p_{{\mathrm{sd}}}}\right)^{h(\kappa,E_i)}}
{\left(\frac{p_{{\mathrm{sd}}}}{1-p_{{\mathrm{sd}}}}\right)^{h(\kappa^\#,E_i)}}
q^{\frac{s(\kappa,E_i)-|{\mathbf{V}}(G_i)|+1}{2}}2^{2|\gamma|}
=2^{2|\gamma|}q^{\frac{1}{4}(h(\kappa,E_i)-h(\kappa^\#,E_i))}q^{\frac{s(\kappa,E_i)-|{\mathbf{V}}(G)|+1}{2}}
\end{split}\end{aligned}$$ where we used equation of $p_{{\mathrm{sd}}}$ in the last step. The definition of $\kappa^\#$ implies that $h(\kappa^\#,E_i)=h(\kappa^\#,\tilde{E})=s(\kappa,E_i)$ and we get $$\begin{aligned}
\label{eq:probability_pattern2}
\frac{{{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\kappa_{E_i})}{{{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\kappa^\#_{E_i})}
\leq 2^{2|\gamma|}q^{\frac{1}{4}(h(\kappa,E_i)+s(\kappa,E_i)-2|{\mathbf{V}}(G_i)|+2)}
=2^{2|\gamma|}q^{\frac{1}{4}(|E_i|-2|{\mathbf{V}}(G_i)|+2)}\end{aligned}$$ Now we observe that $4|{\mathbf{V}}(G_i)|-2|{\mathbf{E}}(G_i)|=|\vec{{\mathbf{E}}}(\gamma)\}| =|\gamma|$. We end up with the estimate $$\begin{aligned}
\label{eq:probability_pattern3}
\frac{{{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\kappa_{E_i})}{{{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\kappa^\#_{E_i})}
\leq 2^{2|\gamma|}q^{-\frac{1}{8}|\gamma|} q^\frac12
= \left(4q^{-\frac18}\right)^{|\gamma|} q^{\frac12}.\end{aligned}$$

**Conclusion.** Note that the map $\Phi$ is injective, hence $$\begin{aligned}
\label{eq:probability_pattern4}
{{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\text{$\gamma$ is a $q$-contour})
\leq 
\frac{\sum_{\kappa \in \Omega_\gamma} {{\mathbb{P}}}^{G^w ,E_i,\bar{1}}(\kappa_{E_i})}
{\sum_{\kappa \in \Omega_\gamma} {{\mathbb{P}}}^{G^w,E_i,\bar{1}}(\Phi(\kappa)_{E_i})}
\leq \left(4q^{-\frac18}\right)^{|\gamma|} q^{\frac12}.\end{aligned}$$

Using correlation inequalities we can derive the following stronger version of the previous theorem. For a simply connected subgraph $H\subset {{\mathbb{Z}}}^2$ we say that $\gamma$ is contained in $H$ if all faces of plaquettes with center $x^\ast$ for $x^\ast\in {\mathbf{V}}(\gamma)^\ast$ are contained in ${\mathbf{E}}(H)$.

\[co:contours\] For any $p\leq p_{{\mathrm{sd}}}$, any simply connected subgraph $H\subset {{\mathbb{Z}}}^2$, and a contour $\gamma$ that is contained in $H$ the probability that $\gamma$ is a $q$-contour can be estimated by $$\begin{aligned}
\label{eq:contour_general}
{{\mathbb{P}}}^H_p\Big(\text{$\gamma$ is a $q$-contour}\Big)\leq  \left(4q^{-\frac18}\right)^{|\gamma|} q^{\frac12}.\end{aligned}$$

We estimate $$\begin{aligned}
\label{eq:contour_general2}
\begin{split}
{{\mathbb{P}}}^H_p\Big(\text{$\gamma$ is a $q$-contour}\Big)
&
={{\mathbb{P}}}^H_p\Big(\text{$\gamma$ is a $q$-contour}, \text{$\kappa_{b}=1$ for $b\in {\mathbf{E}}(\gamma)$ }\Big)
\\
&
\leq 
{{\mathbb{P}}}^H_p\Big(\text{$\gamma$ is a $q$-contour}\mid \text{$\kappa_{b}=1$ for $b\in {\mathbf{E}}(\gamma)$ }\Big)
\\
&
={{\mathbb{P}}}^{H,{\mathbf{E}}(H)\setminus {\mathbf{E}}(\gamma), \bar{1}}_p\Big(\text{$\gamma$ is $q$-contour}\Big).
\end{split}\end{aligned}$$

For the measure ${{\mathbb{P}}}^{H,{\mathbf{E}}(H)\setminus  {\mathbf{V}}(\gamma),\bar{1}}$ the bonds crossing the contour are fixed to the correct value. Hence the event that $\gamma$ is a $q$-contour for $\kappa$ is increasing under this event, such that the stochastic domination results proved in Lemma \[le:mon\_p\] and Corollary \[co:boundary\_conditions\] imply that $$\begin{aligned}
\label{eq:contour_general3}
{{\mathbb{P}}}^{H,{\mathbf{E}}(H)\setminus {\mathbf{V}}(\gamma),\bar{1}}_p(\text{$\gamma$ is a $q$-contour})
\leq 
{{\mathbb{P}}}^{G^w,{\mathbf{E}}(G),\bar{1}}_{p_{{\mathrm{sd}}}}(\text{$\gamma$ is $q$-contour})\end{aligned}$$ where $G$ denotes the graph corresponding to $\gamma$ as introduced above Theorem \[th:contour\]. Theorem \[th:contour\] implies the claim.

We can now give a new proof for the coexistence result stated in Theorem \[th:main\_non\_unique\].

\[Proof of Theorem \[th:randomconductance\_non\_unique\]\] First we note that the duality between free and wired boundary conditions in finite volume implies that $\mu^0_{p_{{\mathrm{sd}}}}$ and $\mu^1_{p_{{\mathrm{sd}}}}$ are dual to each other in the sense that if $\kappa\sim \mu^0_{p_{{\mathrm{sd}}}}$ then $\kappa^\ast\sim \mu^1_{p_{{\mathrm{sd}}}}$ (on $({{\mathbb{Z}}}^2)^\ast)$). The proof is the same as for the random cluster model, see, e.g., @MR2243761 [Chapter 6]. Hence, it is sufficient to show that $\mu^0_{p_{{\mathrm{sd}}}}(\kappa_e=q)<1/2$ because then we can conclude that $$\begin{aligned}
{{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^1(\kappa_e=q)= {{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^0(\kappa_e=1) > 1/2\end{aligned}$$ whence ${{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^1\neq {{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^0$.

Note that if $\kappa_e=q$ and there is any contour $\gamma$ such that $e\in {\mathbf{E}}({\mathrm{int}}(\gamma))$ and $\kappa_b=1$ for $b\in {\mathbf{E}}(\gamma)$ then there is a $q$-contour surrounding $e$. We can thus estimate for $e\in E_n$ $$\begin{aligned}
\label{eq:Peierls_estimate_prep}
{{\mathbb{P}}}^{\Lambda_{n+1},E_n,\bar{1}}(\kappa_e=q)\leq
{{\mathbb{P}}}^{\Lambda_{n+1},E_n,\bar{1}}(\text{there is a $q$-contour around $e$})\end{aligned}$$ where as before $\bar{1}_e=1$ for all $e$. The shortest contour $\gamma$ that surrounds the edge $e$ has length 6 so the bound in Corollary \[co:contours\] implies that ${{\mathbb{P}}}^{\Lambda_{n+1},E_n,\bar{1}}(\text{$\gamma$ is a $q$-contour})\leq C/q^{\frac14}$ for any $\gamma$ surrounding $e$. Using Corollary \[co:boundary\_conditions\] we can compare boundary conditions to obtain the relation ${{\bar{\mu}}}_n^0\precsim {{\mathbb{P}}}^{\Lambda_{n+1},E_n,\bar{1}}$. This and a standard Peierls argument imply for $q$ sufficiently large $$\begin{aligned}
\label{eq:Peierls_estimate}
{{\bar{\mu}}}_{n,p_{{\mathrm{sd}}}}^0(\kappa_e=q)\leq {{\mathbb{P}}}^{\Lambda_{n+1},E_n,\bar{1}}(\kappa_e=q)
\leq \frac{C}{q^\frac14}\leq\frac14.\end{aligned}$$ Taking the limit $n\to \infty$ we obtain ${{\bar{\mu}}}_{p_{{\mathrm{sd}}}}^0(\kappa_e=q)\leq \tfrac{1}{4}$.

Proofs of Proposition \[prop:discmu\_Gibbs\] and Proposition \[prop:discmu\_to\_extmu\] {#sec:proofs_of_propositions}
=======================================================================================

In this section we pay the last remaining debt of proving two propositions from Section \[sec:model\].

\[Proof of Proposition \[prop:discmu\_Gibbs\]\] For $\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ and $E\subset {\mathbf{E}}({{\mathbb{Z}}}^d)$ finite we define the cylinder event $$\begin{aligned}
\mathbf{A}(\lambda_E)=\{\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}: \kappa_E=\lambda_E\}\in {\mathcal{F}}_E.\end{aligned}$$ With a slight abuse of notation we drop the pullback from the notation when we consider the set $\pi_2^{-1}(\mathbf{A}(\lambda_E))\subset
{{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}\times \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. Since all local cylinder events in ${\mathcal{F}}$ can be written as a union of events of the form $\mathbf{A}(\lambda_{E_L})$ it is by Remark \[remark:Gibbs\_specification\] sufficient to show $$\begin{aligned}
\label{eq:discmu_Gibbs1}
{{\bar{\mu}}}(\mathbf{A}(\lambda_{E_L}))={{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}(\mathbf{A}(\lambda_{E_L}))\end{aligned}$$ for all $L,n\geq 0$ and all $\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. Using the quasilocality of ${{\bar{\gamma}}}$ stated in Corollary \[co:quasilocal\] and Remark 4.21 in @MR2807681 it is sufficient to consider $L=n$ and we will do this in the following. We are going to show the claim in a series of steps.

**Step 1.** We investigate the distribution of the $\kappa$-marginal conditioned on $\omega{_{E_N^{{\mathrm{c}}}}}$.

Since ${{\tilde{\mu}}}$ is a gradient Gibbs measure we know by that for $\omega\in{{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}_g$ and $\kappa \in \{1,q\}^{{\mathbf{E}}(\Lambda)}$ $$\begin{aligned}
\label{eq:discmu_Gibbs2}
{{\tilde{\mu}}}(\mathbf{A}(\kappa_{{\mathbf{E}}(\Lambda)}) \mid {\mathcal{E}}_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}})(\omega) 
=\frac{1}{Z} \int 
p^{h(\kappa)} (1-p)^{s(\kappa)} \prod_{e\in {\mathbf{E}}(\Lambda)} e^{-\kappa_e \eta_e^2}\;\nu_\Lambda^{\omega_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}} ({\mathrm{d}}\eta)
=\frac{Z(\kappa,\omega)}{Z}\end{aligned}$$ where $Z$ is the normalisation and $$\begin{aligned}
\label{eq:discmu_Gibbs3}
Z(\kappa,\omega)=\int p^{h(\kappa)} (1-p)^{s(\kappa)} \prod_{e\in {\mathbf{E}}(\Lambda)} e^{-\frac12\kappa_e \eta_e^2}\;\nu_\Lambda^{\omega_{{\mathbf{E}}(\Lambda)^{{\mathrm{c}}}}} ({\mathrm{d}}\eta)\end{aligned}$$ denotes the partition function corresponding to the configuration $\kappa$. Let ${\varphi}\in {{\mathbb{R}}}^{{{\mathbb{Z}}}^d}$ be the configuration such that $\nabla {\varphi}=\omega$ and ${\varphi}(0)=0$. We denote by $\chi_\kappa$ the corrector of $\kappa$, i.e., the solution of $\nabla^\ast\kappa\nabla \chi_\kappa=0$ with boundary values ${\varphi}_{\Lambda^{{\mathrm{c}}}}$. A shift of the integration variables and Gaussian calculus implies (see also ) $$\begin{aligned}
\label{eq:discmu_Gibbs4}
 Z(\kappa,\omega)=Z(\kappa, \bar{0})e^{-\frac12(\nabla\chi_\kappa,\kappa\nabla \chi_\kappa)_{{\mathbf{E}}(\Lambda)}}
 = e^{-\frac12(\nabla\chi_\kappa,\kappa\nabla \chi_\kappa)_{{\mathbf{E}}(\Lambda)}}\frac{p^{h(\kappa)}(1-p)^{s(\kappa)}}{\sqrt{\det 2\pi (\tilde{\Delta}_\kappa^{\Lambda^w})^{-1}}}\end{aligned}$$ where $\bar{0}$ is the configuration with vanishing gradients, i.e., $\bar{0}_e=0$ for $e\in {\mathbf{E}}({{\mathbb{Z}}}^d)$. The necessary calculation to obtain basically agrees with the calculation that shows that the discrete Gaussian free field can be decomposed in a zero boundary discrete Gaussian free field and a harmonic extension. We now restrict our attention to $\Lambda=\Lambda_N=[-N,N]^d\cap {{\mathbb{Z}}}^d$ for $N\in \mathbb{N}$. We introduce the law of the $\kappa$-marginal for wired non-constant boundary conditions for $\kappa\in \{1,q\}^{E_N}$ by $$\begin{aligned}
\label{eq:discmu_Gibbs5}
{{\bar{\mu}}}^{1,\omega}_N(\kappa)=\frac{Z(\kappa,\omega)}{Z}.\end{aligned}$$ Note that ${{\bar{\mu}}}^{1,\bar{0}}_N={{\bar{\mu}}}^{1}_N$ where ${{\bar{\mu}}}^{1}_N$ was defined in . **Step 2.** In this step we are going to show that there is $N_0\in \mathbb{N}$ depending on $n$ such that for $N\geq N_0$ and uniformly in $\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ $$\begin{aligned}
\label{eq:result_step2}
\bigg|{{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)-{{\bar{\mu}}}^1_N
\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)\bigg|\leq 4\varepsilon. ,\end{aligned}$$ i.e., the boundary effect is negligible. We start by showing that typically the difference between the corrector energies for configurations $\kappa$ and $\tilde\kappa$ that only differ in $E_n$ will be small. This will allow us to estimate the difference between ${{\bar{\mu}}}^1_N$ and ${{\bar{\mu}}}^{1,\omega}_N$ conditioned to agree close to the boundary.

Recall that we consider the case that $\Lambda=\Lambda_N$ is a box. The Nash-Moser estimate stated in Lemma \[le:elliptic\_Nash\_Moser\] combined with the maximum principle for the equation $\nabla^\ast\kappa\nabla \chi_\kappa=0$ imply for $b\in E_n$ and some $\alpha=\alpha(q)>0$ $$\begin{aligned}
\label{eq:use_of_NashMoser}
|\nabla\chi_\kappa(b)|\leq \frac{C\left( \max_{x\in \partial \Lambda_N}{\varphi}(x)-\min_{y\in \partial \Lambda_N}{\varphi}(y)\right)}{|N-n|^\alpha}.\end{aligned}$$ We introduce the event ${\boldsymbol}{M}(N)=\{\omega:  \max_{x\in \partial \Lambda_N}{\varphi}(x)-\min_{y\in \partial \Lambda_N}{\varphi}(y)\leq (\ln N)^3\}$. Consider configurations $\kappa, \tilde\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ such that $\kappa_e=\tilde\kappa_e$ for $e\notin E_n$. Using the fact that the corrector is the minimizer of the quadratic form $(\nabla \chi_\kappa,\kappa\nabla \chi_\kappa)_{E_N}$ with given boundary condition we can estimate $$\begin{aligned}
\label{eq:discmu_Gibbs6}
(\nabla\chi_\kappa,\kappa\nabla\chi_\kappa)_{E_N}\leq 
(\nabla\chi_{\tilde\kappa},\kappa\nabla\chi_{\tilde\kappa})_{E_N}\leq
(\nabla\chi_{\tilde\kappa},\tilde\kappa\nabla\chi_{\tilde\kappa})_{E_N}
+|E_n|q\sup_{b\in E_n} |\nabla\chi_{\tilde\kappa}|^2.\end{aligned}$$ From we infer that for $N\geq 2n$ and ${\varphi}\in \mathbf{M}(N)$ $$\begin{aligned}
\label{eq:discmu_Gibbs7}
|(\nabla \chi_\kappa,\kappa\nabla\chi_\kappa)_{E_N}
-(\nabla \chi_{\tilde\kappa},\tilde\kappa\nabla\chi_{\tilde\kappa})_{E_N}|
\leq C|E_n|q \frac{(\ln N)^3}{N^\alpha}. \end{aligned}$$ By choosing $N_1\geq 2n$ sufficiently large we can ensure that for $N\geq N_1$, ${\varphi}\in \mathbf{M}(N)$, and uniformly in $\kappa, \tilde\kappa$ as before $$\begin{aligned}
\label{eq:discmu_Gibbs8}
1-\varepsilon\leq e^{\frac12(\nabla \chi_\kappa,\kappa\nabla\chi_\kappa)_{E_N}
-\frac12(\nabla \chi_{\tilde\kappa},\tilde\kappa\nabla\chi_{\tilde\kappa})_{E_N}}\leq 1+\varepsilon.\end{aligned}$$ Using this in we conclude that for $N\geq N_1\vee 2n$, $\omega\in \mathbf{M}(N)$, $\varepsilon<1/3$, and $\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ $$\begin{aligned}
\label{eq:bar_mu_omega_vs_bar_mu}
\bigg|{{\bar{\mu}}}^{1,\omega}_N\Big(\mathbf{A}(\lambda_{E_n})\mid \mathbf{A}(\lambda_{E_N \setminus E_n})\Big)
-\bar{\mu}^1_N\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)\bigg|\leq
\frac{2\varepsilon}{1-\varepsilon}\leq  3\varepsilon.\end{aligned}$$ This implies $$\begin{aligned}
\label{eq:bar_mu_omega_vs_bar_mu2}
\left|{{\tilde{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid \mathbf{A}(\lambda_{E_N-E_n})\cap \mathbf{M}(N)\Big)
-\bar{\mu}^1_N\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)\right|\leq  3\varepsilon.\end{aligned}$$ From Lemma \[le:boundaryGaussian\] below and Proposition \[prop:phi\_given\_kappa\] we infer that for an extended gradient Gibbs measure $\tilde\mu$ associated to an ergodic zero tilt Gibbs measure $\mu$ and any $\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ $$\begin{aligned}
  \tilde\mu\Big(M(N)^{{\mathrm{c}}} \mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)\leq \frac{C}{\ln(N)}\leq \varepsilon
  \end{aligned}$$ for all $N\geq N_2$ and $N_2$ sufficiently large. We conclude that for $N\geq N_0\coloneqq N_1\vee N_2\vee 2n$ $$\begin{aligned}
\begin{split}\label{eq:bar_mu_omega_vs_bar_mu3}
&\bigg|{{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)-{{\bar{\mu}}}^1_N
\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)\bigg|\\
&\quad
\leq 
\tilde{\mu}\Big(\mathbf{M}(N)\mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)\;
\bigg|\tilde{\mu}\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N\setminus E_n}), \mathbf{M}(N)\Big)-{{\bar{\mu}}}^1_N
\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N \setminus E_n}\Big) \bigg|
\\
&\quad\;+
\tilde{\mu}\Big(\mathbf{M}(N)^{{\mathrm{c}}}\mid\mathbf{A}(\lambda_{E_N \setminus E_n})\Big)\;
\bigg|\tilde{\mu}\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N\setminus E_n}), \mathbf{M}(N)^{{\mathrm{c}}}\Big)-{{\bar{\mu}}}^1_N
\Big(\mathbf{A}(\lambda_{E_n})\mid\mathbf{A}(\lambda_{E_N \setminus E_n}\Big)\bigg|
\\
&\quad\leq 3\varepsilon+\varepsilon=4\varepsilon.
\end{split}\end{aligned}$$

**Step 3.** Using the previous results we can now finish the proof. We rewrite $$\begin{aligned}
\begin{split}
{{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\Big)
&=\sum_{{\sigma'\in \{1,q\}^{E_N\setminus{E_n}}}}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma'_{E_N\setminus E_n})\Big){{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid
\mathbf{A}(\sigma'_{E_N\setminus E_n})\Big)
\\
&=
\sum_{\sigma'\in \{1,q\}^{E_N\setminus E_n}}
\sum_{\sigma\in \{1,q\}^{E_N}}{{\bar{\mu}}}\Big(\mathbf{A}(\sigma'_{E_N\setminus E_n})\cap  \mathbf{A}(\sigma_{E_N})\Big){{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid
\mathbf{A}(\sigma'_{E_N\setminus E_n})\Big)
\\
&=
\sum_{\sigma\in \{1,q\}^{E_N}}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big){{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid
\mathbf{A}(\sigma_{E_N\setminus E_n})\Big).
\end{split}\end{aligned}$$ The identity above and the fact that ${{\bar{\gamma}}}_{E_n}$ is proper imply adding and subtracting the same term $$\begin{aligned}
\begin{split}\label{eq:discmu_Gibbs12}
&\bigg|{{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\Big)- {{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}\Big(\mathbf{A}(\lambda_{E_n})\Big)
\bigg|
\\
&\; =
\bigg|\hspace{-0.cm}
\sum_{\sigma\in \{1,q\}^{E_N}}
\hspace{-0.2cm}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big){{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid
\mathbf{A}(\sigma_{E_N\setminus E_n})\Big)
-
\int {{\bar{\mu}}}({\mathrm{d}}\kappa) \mathbb{1}_{\mathbf{A}(\sigma_{E_N})}(\kappa)\; {{\bar{\gamma}}}_{E_n}\Big(\mathbf{A}(\lambda_{E_n}),\kappa\Big)
\bigg|
\\
&\;\leq 
\bigg|\hspace{-0.cm}
\sum_{\sigma\in \{1,q\}^{E_N}}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big){{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid
\mathbf{A}(\sigma_{E_N\setminus E_n})\Big)
-{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big)
{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}\Big(\mathbf{A}(\lambda_{E_L}), \sigma_{E_N}\Big)\bigg|
\\ 
&\;\quad +\bigg|
\sum_{\sigma\in \{1,q\}^{E_N}}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big)
{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}\Big(\mathbf{A}(\lambda_{E_n}), \sigma_{E_N}\Big)-
\int {{\bar{\mu}}}({\mathrm{d}}\kappa) \mathbb{1}_{\mathbf{A}(\sigma_{E_N})}(\kappa)\; {{\bar{\gamma}}}_{E_n}\Big(\mathbf{A}(\lambda_{E_n}),\kappa\Big)\bigg|.
\end{split}\end{aligned}$$ We continue to estimate the right hand side of this expression. We start with the first term. Since ${{\bar{\mu}}}^1_{\Lambda_N}$ is a finite volume Gibbs measure (see ) we have for $\mathbf{A}\in {\mathcal{F}}_{E_N}$ $$\begin{aligned}
\label{eq:discmu_Gibbs11}
{{\bar{\mu}}}^1_{\Lambda_N}\Big(\mathbf{A}\mid\mathbf{A}(\sigma_{E_N\setminus E_n})\Big)=
{{\bar{\mu}}}_{\Lambda_N}^1\Big(\mathbf{A}\mid {\mathcal{F}}_{E_n^{\mathrm{c}}}\Big)(\sigma_{E_N})=
{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}(\mathbf{A},\sigma_{E_N}).\end{aligned}$$ Using this and the bound we obtain for $N\geq N_0$ $$\begin{aligned}
\begin{split}\label{eq:discmu_Gibbs41}
\bigg|\hspace{-0.cm}
&\sum_{\sigma\in \{1,q\}^{E_N}}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big){{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\mid
\mathbf{A}(\sigma_{E_N\setminus E_n})\Big)
-{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big)
{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}\Big(\mathbf{A}(\lambda_{E_n}), \sigma_{E_N}\Big)\bigg|
\\
&\qquad\leq 
\sum_{\sigma\in \{1,q\}^{E_N}}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big)
\bigg|{{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_L})\mid
\mathbf{A}(\sigma_{E_N\setminus E_n})\Big)
-
{{\bar{\mu}}}^1_{\Lambda_N}\Big(\mathbf{A}(\lambda_{E_N})\mid\mathbf{A}(\sigma_{E_N\setminus E_n})\Big)\bigg|
\\
&\qquad\leq
4\varepsilon \sum_{\sigma\in \{1,q\}^{E_N}}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big)\leq 4\varepsilon.
\end{split}\end{aligned}$$

We now address the second term on the right hand side of . By Lemma \[le:uniform\_specification\] there is $N_3$ such that for $N\geq N_3$ and any $\lambda,\sigma\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ $$\begin{aligned}
\label{eq:discmu_Gibbs10}
|{{\bar{\gamma}}}_{E_n}(\sigma,\lambda)-{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}(\sigma,\lambda)|<\varepsilon.\end{aligned}$$ This implies for $N\geq N_3$ $$\begin{aligned}
\begin{split}\label{eq:discmu_Gibbs42}
&\bigg|
\sum_{\sigma\in \{1,q\}^{E_N}}
{{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big)
{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}\Big(\mathbf{A}(\lambda_{E_n}), \kappa\Big)-
\int {{\bar{\mu}}}({\mathrm{d}}\kappa) \mathbb{1}_{\mathbf{A}(\sigma_{E_N})}(\kappa)\; {{\bar{\gamma}}}_{E_n}\Big(\mathbf{A}(\lambda_{E_n}),\kappa\Big)\bigg|
\\
&\qquad
\leq
\sum_{\sigma\in \{1,q\}^{E_N}}
\int {{\bar{\mu}}}({\mathrm{d}}\kappa) \mathbb{1}_{\mathbf{A}(\sigma_{E_N})}(\kappa)\;
\left|{{\bar{\gamma}}}^{\Lambda_N^w}_{E_n}\Big(\mathbf{A}(\lambda_{E_n}), \sigma_{E_N}\Big)-
 {{\bar{\gamma}}}_{E_n}\Big(\mathbf{A}(\lambda_{E_n}),\kappa\Big)\right|
 \\
&\qquad \leq
  \varepsilon
  \sum_{\sigma\in \{1,q\}^{E_N}} {{\bar{\mu}}}\Big(\mathbf{A}(\sigma_{E_N})\Big)
\leq \varepsilon.
\end{split}\end{aligned}$$ Using , , and we conclude that for any $\varepsilon>0$ $$\begin{aligned}
\bigg|{{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_n})\Big)- {{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}\Big(\mathbf{A}(\lambda_{E_n})\Big)
\bigg|\leq 5\varepsilon.\end{aligned}$$ This ends the proof.

The following simple Lemma was used in the proof of Proposition \[prop:discmu\_Gibbs\].

\[le:boundaryGaussian\] Let $\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ and denote by ${\varphi}^\lambda$ the centred Gaussian field on ${{\mathbb{Z}}}^d$ with ${\varphi}(0)=0$ and covariance $\Delta_\lambda^{-1}$. Then ${\varphi}^\lambda$ satisfies $$\begin{aligned}
{{\mathbb{P}}}\Big(\max_{x\in \partial\Lambda_N}{\varphi}^\lambda(x)-\min_{y\in \partial\Lambda_N} {\varphi}^\lambda(y)\geq (\ln N)^3\Big)\leq C(\ln N)^{-1}.\end{aligned}$$

We use the notation $\bar{1}\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ for the configuration given by $\bar{1}_e=1$ for $e\in {\mathbf{E}}({{\mathbb{Z}}}^d)$. The Brascamp-Lieb inequality (see @MR0450480 [Theorem 5.1]) implies for the centred Gaussian fields ${\varphi}^\lambda$ and ${\varphi}^{\bar{1}}$ that $$\begin{aligned}
{{\mathbb{E}}}\left( ({\varphi}^\lambda(x)-{\varphi}^\lambda(0))^2\right)\leq {{\mathbb{E}}}\left( ({\varphi}^{\bar{1}}(x)-{\varphi}^{\bar{1}}(0))^2\right)\leq 
\begin{cases}
C\ln(|x|) \quad &\text{for $d=2$}\\
C \quad &\text{for $d\geq 3$}.
\end{cases}\end{aligned}$$ It is well known that for a centred Gaussian random vector $X\in {\mathcal{P}}({{\mathbb{R}}}^m)$ with $\mathbb{E}(X_i^2)\leq \sigma^2$ the expectation of the maximum is bounded by $$\begin{aligned}
\mathbb{E}(\max_i X_i)\leq \sigma\sqrt{2\ln m}.\end{aligned}$$ We use this for the Gaussian field ${\varphi}^\lambda$ and conclude that $$\begin{aligned}
{{\mathbb{E}}}\left(\max_{x\in \partial \Lambda_N} {\varphi}^\lambda(x)-{\varphi}^\lambda(0)\right)\leq 
\begin{cases}
C\ln(N)^2 \quad \text{for $d=2$}\\
C \ln(N^{d-1})\quad \text{for $d\geq 3$}.
\end{cases}\end{aligned}$$ A simple Markov bound implies that there is $C=C(d)>0$ such that $$\begin{aligned}
{{\mathbb{P}}}\left(\max_{x\in \partial\Lambda_N}{\varphi}^\lambda(x)-\min_{y\in \partial\Lambda_N} {\varphi}^\lambda(y)\geq (\ln N)^3\right)\leq C(\ln N)^{-1}.\end{aligned}$$

It remains to provide a proof of Proposition \[prop:discmu\_to\_extmu\]. We will only sketch the argument.

\[Proof of Proposition \[prop:discmu\_to\_extmu\]\] First we remark that the law of $(\kappa, \nabla{\varphi}^\kappa)$ is a Borel-measure on $\{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}\times {{\mathbb{R}}}_g^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. This follows from Carathéodory's extension theorem and the observation that for a local event $\mathbf{A}\in {\mathcal{E}}_E$ with $E\subset {\mathbf{E}}({{\mathbb{Z}}}^d)$ finite the function $\kappa\mapsto \mu_{{\varphi}^\kappa}(\mathbf{A})$ is continuous (this can be shown using Lemma \[le:uniform\_Laplace\_inverse\]). By Remark \[remark:Gibbs\_specification\] it is sufficient to prove that ${{\tilde{\mu}}}{{\tilde{\gamma}}}_{\Lambda_n}={{\tilde{\mu}}}$ for all $n$. To prove this we use an approximation procedure. We fix $n$ and define for $N>n$ a measure ${{\tilde{\mu}}}_N$ on ${{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}_g\times \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ as follows. The $\kappa$-marginal of ${{\tilde{\mu}}}_N$ is given by ${{\bar{\mu}}}_N={{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}$ where as before we extended ${{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}$ to a proper probability kernel on $\{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. For given $\kappa$, let ${\varphi}^\kappa$ be the centred Gaussian field with zero boundary data outside of $\accentset{\circ}\Lambda_N$ and covariance $(\tilde{\Delta}_{\kappa_{E_N}}^{\Lambda_N^w})^{-1}$ where $\tilde{\Delta}_{\kappa_{E_N}}^{\Lambda_N^w}$ was defined in Section \[sec:model\_intro\]. The measure ${{\tilde{\mu}}}_N$ is the joint law of $(\kappa,{\varphi}^\kappa)$ where $\kappa$ has law ${{\bar{\mu}}}_N$. We claim that for $N>n$ $$\begin{aligned}
\label{eq:Gibbs_mu_N}
{{\tilde{\mu}}}_N {{\tilde{\gamma}}}_{\Lambda_n}={{\tilde{\mu}}}_N.\end{aligned}$$ We prove this by showing the statement for the measures ${{\tilde{\mu}}}_N\big(\cdot|\mathbf{A}(\lambda_{E_N\setminus E_n})\big)$ for every configuration $\lambda\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. To shorten the notation we write ${{\tilde{\mu}}}_N^{\lambda}={{\tilde{\mu}}}_N\big(\cdot|\mathbf{A}(\lambda_{E_N\setminus E_n})\big)$. By definition of ${{\tilde{\mu}}}_N$ the ${\varphi}$-field conditioned on $\kappa$ has density $\exp(-\frac12 ({\varphi},\tilde{\Delta}_{\kappa}^{\Lambda_N^w}{\varphi}))/\sqrt{\det 2\pi (\tilde{\Delta}_\kappa^{\Lambda_N^w}})^{-1}\,{\mathrm{d}}{\varphi}_{\accentset{\circ}\Lambda_N}$ where ${\mathrm{d}}{\varphi}_\Lambda=\prod_{x\in \Lambda}{\mathrm{d}}{\varphi}_x$ denotes the Lebesgue measure. This implies for $\mathbf{B}\in {\mathcal}{B}({{\mathbb{R}}}^{\Lambda_N})$ and $\sigma\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ such that $\sigma_{E_N\setminus E_n}=\lambda_{E_N\setminus E_n}$ $$\begin{aligned}
\label{eq:extmu_claim2}
\begin{split}
{{\tilde{\mu}}}_N^\lambda\Big({\varphi}\in \mathbf{B}, \kappa\in \mathbf{A}(\sigma_{E_N})\Big)
=
{{\tilde{\mu}}}_N^\lambda\Big(\mathbf{A}(\sigma_{E_N})\Big)
\int_{\mathbf{B}}\frac{\exp(-\frac12 ({\varphi},\tilde\Delta_{\sigma}^{\Lambda_N^w}{\varphi}))}{\sqrt{\det 2\pi (\tilde\Delta_\sigma^{\Lambda_N^w})^{-1}}}\,{\mathrm{d}}{\varphi}_{\accentset{\circ}\Lambda_N}
\end{split}\end{aligned}$$ We use the definition of ${{\tilde{\mu}}}_N$ and the fact that specifications are proper to rewrite $$\begin{aligned}
\label{eq:extmu_claim3}
\begin{split}
{{\tilde{\mu}}}_N^\lambda\Big(\mathbf{A}(\sigma_{E_N})\Big)
&=
\frac{{{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}\Big(\mathbf{A}(\sigma_{E_N})\cap \mathbf{A}(\lambda_{E_N\setminus E_n})\Big)}{{{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}\Big(\mathbf{A}(\lambda_{E_N\setminus E_n})\Big)}
=\frac{{{\bar{\mu}}}\Big(\mathbb{1}_{\mathbf{A}(\lambda_{E_N\setminus E_n})}(\kappa){{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}(\mathbf{A}(\sigma_{E_N},\kappa)\Big)}{{{\bar{\mu}}}\Big(\mathbf{A}(\lambda_{E_N\setminus E_n})\Big)}
\\
&={{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}(\sigma_{E_N},\lambda_{E_N})
=\mathbb{1}_{\sigma_{E_N\setminus E_n}=\lambda_{E_N\setminus E_n}} \frac{1}{Z_\lambda} \frac{p^{h(\sigma,E_N)}(1-p)^{s(\sigma,E_N)}}{\sqrt{\det \Delta_\sigma^{\Lambda_N^w}}}.
\end{split}\end{aligned}$$ Note that $$\begin{aligned}
p^{h(\sigma,\{e\})}(1-p)^{s(\sigma,\{e\})}e^{-\frac{\sigma_e\eta_e^2}{2}}=\int_{\{\sigma_e\}}
\rho({\mathrm{d}}\kappa_e)\, e^{-\frac{\kappa_e\eta_e^2}{2}}.\end{aligned}$$ The last three displays, a summation by parts, and lead us to $$\begin{aligned}
\begin{split}\label{eq:extmu_claim4}
{{\tilde{\mu}}}_N^\lambda({\varphi}\in \mathbf{B}, \kappa\in \mathbf{A}(\sigma_{E_N}))
&=\frac{1}{(2\pi)^{|\Lambda_N|}|\Lambda_N^w|Z_\lambda} 
\int_{\mathbf{B}}
p^{h(\sigma,E_N)}(1-p)^{s(\sigma,E_N)}\prod_{e\in E_N} e^{-\frac{\sigma_e\eta_e^2}{2}}\,{\mathrm{d}}{\varphi}_{{\accentset{\circ}}\Lambda_N}
\\
&=\frac{1}{Z'_\lambda} 
\int_{\mathbf{B}}{\mathrm{d}}{\varphi}_{{\accentset{\circ}}\Lambda_N}
\int_{\mathbf{A}(\sigma_{E_N})} \prod_{e\in E_N} \rho({\mathrm{d}}\kappa_e) 
\,e^{-\frac{\kappa_e\eta_e^2}{2}}.
\end{split}\end{aligned}$$ Combining this with the definition we conclude that for $\sigma'\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ such that $\sigma'_{E_N\setminus E_n}=\lambda_{E_N\setminus E_n}$ and $\omega\in {{\mathbb{R}}}_g^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ such that $\omega_{E_N^{\mathrm{c}}}=0$ $$\begin{aligned}
\begin{split}
{{\tilde{\mu}}}^\lambda_N\Big(\mathbf{B}\times \mathbf{A}(\sigma_{E_N}) \mid &{\mathcal{A}}_{E_n^c}\Big)
((\omega,\sigma'))
\\
&=
\frac{1}{Z_{\lambda,\omega}} \int_{\mathbf{B}}\,\nu_{\Lambda_n}^{\omega_{E_n^{{\mathrm{c}}}}}({\mathrm{d}}\eta) \int_{\mathbf{A}(\sigma_{E_N})}
\prod_{e\in E_n} \rho({\mathrm{d}}\kappa_e) \prod_{e\notin E_n} \delta_{\sigma'_e}({\mathrm{d}}\kappa_e) 
 \prod_{e\in E_N} e^{-\frac{\kappa_e\eta_e^2}{2}}
 \\
&={{\tilde{\gamma}}}_{\Lambda_n}\Big(\mathbf{B}\times \mathbf{A}(\sigma_{E_N}),(\omega,\sigma')\Big).
\end{split}\end{aligned}$$ This implies ${{\tilde{\mu}}}_N^\lambda{{\tilde{\gamma}}}_{\Lambda_n}={{\tilde{\mu}}}_N^\lambda$ and follows directly.

It remains to pass to the limit in equation , i.e., we show that the right hand side converges in the topology of local convergence to ${{\tilde{\mu}}}$ and the left hand side to ${{\tilde{\mu}}}{{\tilde{\gamma}}}_{\Lambda_n}$ thus finishing the proof. We only sketch the argument. Since ${{\tilde{\gamma}}}(A,\cdot)$ is a measurable, local, and bounded function if $A$ is a local event it is sufficient to show that ${{\tilde{\mu}}}_N$ converges to ${{\tilde{\mu}}}$ locally in total variation, that is for every $\Lambda\subset\subset {{\mathbb{Z}}}^d$ $$\begin{aligned}
\lim_{N\to \infty}\sup_{A\in {\mathcal{A}}_{{\mathbf{E}}(\Lambda)}} |{{\tilde{\mu}}}_N(A)-{{\tilde{\mu}}}(A)|=0.\end{aligned}$$ Where we used the $\sigma$-algebra ${\mathcal{A}}_E$ on ${{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}_g\times \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ defined in Section \[sec:model\_intro\] as the product of the pullbacks of ${\mathcal{E}}_E$ and ${\mathcal{F}}_E$. We first consider the $\kappa$-marginals of $\tilde\mu_N$ and $\tilde\mu$. They are given by ${{\bar{\mu}}}_N={{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}$ and ${{\bar{\mu}}}={{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}$ where we use that ${{\bar{\mu}}}$ is a Gibbs measure. We can estimate the total variation of those two measures by $$\begin{aligned}
\begin{split}
\lVert {{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}-{{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}\rVert_{\mathrm{TV}}
&\leq \sup_{\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}}\sup_{A\subset \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}} 
|{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}(A,\kappa)-{{\bar{\gamma}}}_{E_n}(A,\kappa)|
\\
&\leq 2^{|E_n|} \sup_{\sigma,\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}}|{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}(\sigma,\kappa)-{{\bar{\gamma}}}_{E_n}(\sigma,\kappa)|.
\end{split}\end{aligned}$$ In the second step we used that the specifications are proper thus we can assume $A\subset \mathbf{A}(\kappa_{E_n^{{\mathrm{c}}}})$ and use that $|\mathbf{A}(\kappa_{E_n^{{\mathrm{c}}}})|\leq 2^{|E_n|}$. Using Lemma \[le:uniform\_specification\] we conclude $$\begin{aligned}
\begin{split}\label{eq:TV1}
\lim_{N\to\infty}\lVert {{\bar{\mu}}}_N-{{\bar{\mu}}}\rVert_{\mathrm{TV}}
=
\lim_{N\to\infty}\lVert {{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}^{\Lambda_N^w}-{{\bar{\mu}}}{{\bar{\gamma}}}_{E_n}\rVert_{\mathrm{TV}}
=0.
\end{split}\end{aligned}$$ We address the $\eta$-marginals of the measures ${{\tilde{\mu}}}$ and ${{\tilde{\mu}}}_N$. We write ${{\tilde{\mu}}}(\cdot\mid \kappa), {{\tilde{\mu}}}_N(\cdot\mid \kappa)\in {\mathcal}{P}({{\mathbb{R}}}_g^{{\mathbf{E}}({{\mathbb{Z}}}^d)})$ for the conditional distribution of the $\eta$-field for a given $\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$. From the construction this is well defined for every $\kappa$. We define the centred Gaussian field ${\varphi}^\kappa$ by ${\varphi}^\kappa(0)=0$ and its covariance $(\Delta_\kappa)^{-1}$ and the centred fields ${\varphi}_N^\kappa$ pinned to 0 outside of $\accentset{\circ}\Lambda_N$ with covariance $(\tilde{\Delta}_\kappa^{\Lambda_N^w})^{-1}$ and we denote their gradients by $\eta^\kappa=\nabla{\varphi}^\kappa$ and $\eta_N^\kappa=\nabla{\varphi}_N^\kappa$. Note that by definition of ${{\tilde{\mu}}}$ and ${{\tilde{\mu}}}_N$ the law of $\eta^\kappa$ and $\eta_N^\kappa$ coincides with ${{\tilde{\mu}}}(\cdot\mid\kappa)$ and ${{\tilde{\mu}}}_N(\cdot \mid \kappa)$. Fix an integer $L$. We introduce the Gaussian vectors $X^\kappa=({\varphi}^\kappa(x)-{\varphi}^\kappa(0))_{x\in \Lambda_L}$ and $X_N^\kappa=({\varphi}^\kappa_N(x)-{\varphi}_N^\kappa(0))_{x\in \Lambda_L}$. Note that given $X^\kappa$, $X_N^\kappa$ the gradient field $\eta^\kappa{\restriction_{{\mathbf{E}}(\Lambda_{L})}}$ respectively $\eta_N^\kappa{\restriction_{{\mathbf{E}}(\Lambda_{L})}}$ can be expressed as a function of $X^\kappa$ and $X^\kappa_N$ respectively. This implies that $$\begin{aligned}
\sup_{B\in {\mathcal{E}}_{{\mathbf{E}}(\Lambda_{L})}} \big|{{\tilde{\mu}}}_N( B\mid\kappa)-{{\tilde{\mu}}}(B \mid\kappa)\big|\leq \lVert X^\kappa-X_N^\kappa\rVert_{\mathrm{TV}}.\end{aligned}$$ Theorem 1.1 in @devroye2018total states that the total variation distance between two centred Gaussian vectors $Z_1$, $Z_2$ with covariance matrices $\Sigma_1$ and $\Sigma_2$ can be bounded by $\tfrac{3}{2}|\Sigma_1^{-1}\Sigma_2-\mathbb{1}|_F$ where $|\cdot|_F$ denotes the Frobenius norm. Using this theorem and the uniform convergence of the covariance of $\eta_N^\kappa$ to the covariance of $\eta^\kappa$ stated in Lemma \[le:uniform\_Laplace\_inverse\] we conclude that $$\begin{aligned}
\label{eq:TV2}
\lim_{N\to\infty}\sup_{B\in {\mathcal{E}}_{{\mathbf{E}}(\Lambda_{L})}} \big| {{\tilde{\mu}}}_N(B\mid\kappa)-{{\tilde{\mu}}}(B\mid\kappa)\big|\leq \lim_{N\to \infty}\lVert X^\kappa-X_N^\kappa\rVert_{\mathrm{TV}}=0.\end{aligned}$$ We denote for a set $A\in {\mathcal{A}}$ and $\kappa\in \{1,q\}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$ by $A_\kappa$ the intersection of $A$ and the line through $\kappa$, i.e., $A_\kappa=\{\eta\in {{\mathbb{R}}}^{{\mathbf{E}}({{\mathbb{Z}}}^d)}\,:\, (\eta,\kappa)\in A\}$. Using disintegration, , , and the dominated convergence theorem we estimate $$\begin{aligned}
\begin{split}
&\lim_{N\to \infty}\sup_{A\in {\mathcal{A}}_{{\mathbf{E}}(\Lambda_{L})}} |{{\tilde{\mu}}}_N(A)-{{\tilde{\mu}}}(A)|
\\
&\quad=
\lim_{N\to \infty}\sup_{A\in {\mathcal{A}}_{{\mathbf{E}}(\Lambda_{L})}} 
\left|\int{{\bar{\mu}}}({\mathrm{d}}\kappa)\, {{\tilde{\mu}}}( A_\kappa\mid \kappa)
-\int {{\bar{\mu}}}_N({\mathrm{d}}\kappa)\, {{\tilde{\mu}}}_N(A_\kappa\mid \kappa)
\right|
\\
&\quad\leq
\lim_{N\to \infty}\sup_{A\in {\mathcal{A}}_{{\mathbf{E}}(\Lambda_{L})}} 
\int{{\bar{\mu}}}({\mathrm{d}}\kappa)\, \Big|{{\tilde{\mu}}}( A_\kappa\mid \kappa)-{{\tilde{\mu}}}_N( A_\kappa\mid \kappa)\Big|
\\
&\qquad+\lim_{N\to \infty}\sup_{A\in {\mathcal{A}}_{{\mathbf{E}}(\Lambda_{L})}} \left|\int {{\bar{\mu}}}({\mathrm{d}}\kappa)\, {{\tilde{\mu}}}_N( A_\kappa\mid \kappa)
-\int {{\bar{\mu}}}_N({\mathrm{d}}\kappa)\, {{\tilde{\mu}}}_N( A_\kappa \mid \kappa)\right|
\\
&\quad \leq\lim_{N\to \infty}
\int{{\bar{\mu}}}({\mathrm{d}}\kappa)\, \lVert X^\kappa-X^\kappa_N\rVert_{\mathrm{TV}}
+\lim_{N\to \infty}\lVert {{\bar{\mu}}}-{{\bar{\mu}}}_N\rVert_{\mathrm{TV}}=0.
\end{split}\end{aligned}$$ We conclude that for any local event $A$ $$\begin{aligned}
{{\tilde{\mu}}}(A)=\lim_{N\to\infty} {{\tilde{\mu}}}_N(A)=\lim_{N\to \infty} {{\tilde{\mu}}}_N{{\tilde{\gamma}}}_{\Lambda_n}(A)
={{\tilde{\mu}}}{{\tilde{\gamma}}}_{\Lambda_n}(A).\end{aligned}$$

Estimates for discrete elliptic equations {#app:1}
=========================================

In this appendix we collect some regularity estimates for discrete elliptic equations. We consider as before uniformly elliptic $\kappa:{\mathbf{E}}({{\mathbb{Z}}}^d)\to {{\mathbb{R}}}_+$ with $0<c_-\leq \kappa_e\leq c_+<\infty$ for all $e\in {\mathbf{E}}({{\mathbb{Z}}}^d)$. We denote corresponding set of conductances by $M(c_-,c_+)=[c_-,c_+]^{{\mathbf{E}}({{\mathbb{Z}}}^d)}$.

Next we state a discrete version of the well known Nash-Moser estimates for scalar elliptic partial differential equations with $L^\infty$ coefficients.

\[le:elliptic\_Nash\_Moser\] Let $0<c_-<c_+<\infty$, $\Lambda\subset {{\mathbb{Z}}}^d$, and $\kappa\in M(c_-,c_+)$. Let $u:\Lambda\to {{\mathbb{R}}}$ be a solution of $$\begin{aligned}
-\nabla^\ast \kappa\nabla u=0\quad \text{in ${\accentset{\circ}}{\Lambda}$}\end{aligned}$$ Then there are constants $\alpha=\alpha(c_-,c_+,d)$ and $C=C(c_-,c_+,d)$ such that the following estimate holds for $x,y\in \Lambda$ $$\begin{aligned}
|u(x)-u(y)|\leq C\lVert u\rVert_{L^\infty(\Lambda)} \left(\frac{|x-y|}{d(x,\partial\Lambda) \wedge d(y,\partial\Lambda)} \right)^\alpha.\end{aligned}$$

This is Proposition 6.2 in @MR1425544.

Moreover, we state some consequences for the Green's function of uniformly elliptic operators in divergence form. We define the Green's function $G_\kappa:{{\mathbb{Z}}}^d\times {{\mathbb{Z}}}^d\to {{\mathbb{R}}}$ as the inverse of $\Delta_\kappa$, i.e., $G_\kappa$ satisfies for $d\geq 3$ $$\begin{aligned}
 \Delta_\kappa G_\kappa(\cdot, y)=\delta_y,\quad \lim_{x\to \infty}G_\kappa(x,y)= 0. \end{aligned}$$ It is well known that such a Green's function does not exist in dimension 2, however the derivative $\nabla_{x,i}G_\kappa$ does exist in dimension 2, in particular one can make sense of expressions as $G_\kappa(x_1,y)-G_\kappa(x_2,y)$. Formally one can define $\nabla G_\kappa$ by adding a mass $m^2$ to the Laplace operator, i.e., consider the Green's function of $\Delta_\kappa+m^2$ and then send $m^2\to 0$. The following estimates hold for the Green's function.

\[le:GreensBound\] For any $d\geq 3$ and $\kappa\in M(c_-,c_+)$ the estimate $$\begin{aligned}
\label{eq:Greens_direct}
0\leq G_\kappa(x,y)\leq \frac{C}{|x-y|^{d-2}} \end{aligned}$$ holds where the constant $C$ depends only on $c_-$, $c_+$, and $d$. Moreover there exist $\alpha>0$ depending on $c_+/c_-$,and $d$ and $C$ depending on $c_-$, $c_+$, and $d$ such that for $d\geq 2$ $$\begin{aligned}
\label{eq:Greens_Hoelder}
|\nabla_x G_\kappa(x,y)|&\leq \frac{C}{|x-y|^{d-2+\alpha}},
\\
\label{eq:Greens_Hoelder2}
|\nabla_x\nabla_y G_\kappa(x,y)|&\leq \frac{C}{|x-y|^{d-2+2\alpha}}.\end{aligned}$$

These estimates are well known. Estimates for the corresponding parabolic Green's function are called Nash-Aronson estimates and they can be found, e.g., in Proposition B.3 in @MR1872740. Integrating the bound for the parabolic Green's function implies . The estimates and follow for $d> 2$ from and Lemma \[le:elliptic\_Nash\_Moser\]. For $d=2$ one can bound the oscillation of the Green's function using Nash-Aronson estimates and the parabolic Nash-Moser estimate. In particular as shown, e.g., in @MR3932093 [Chapter 8] there is a constant $C=C(c_-,c_+)$ such that for all $r>0$ $$\begin{aligned}
\label{eq:bound_osc}
\sup_{x,y\in B_{2r}(0)\setminus B_r(0)}|G_\kappa(x,0)-G_{\kappa}(y,0)|\leq C.\end{aligned}$$ Lemma \[le:elliptic\_Nash\_Moser\] then implies and .

The previous results allow us to bound the difference between the Green's function in a set with Dirichlet boundary conditions and the Green's function on whole space. We define the Green's function $G^{\Lambda^w}_\kappa:\Lambda\times \Lambda\to {{\mathbb{R}}}$ with Dirichlet boundary values in finite volume by $$\begin{aligned}
\begin{split}
\Delta_\kappa G^{\Lambda^w}_\kappa(\cdot, y)&=\delta_y \quad \text{in ${\accentset{\circ}}{\Lambda}$},\\
  G^{\Lambda^w}_\kappa(x, y)&=0\quad \text{for $x\in \partial\Lambda$}.
  \end{split}\end{aligned}$$ For clarity we write $G^{{{\mathbb{Z}}}^d}_\kappa=G_\kappa$ in the following.

\[le:uniform\_Laplace\_inverse\] Let $0<c_-<c_+<\infty$ and $R>0$, then $$\begin{aligned}
\label{eq:uniformGreens}
\lim_{n\to \infty} \sup_{\substack{x,y \in B_R(0)\\ 1\leq i,j\leq d}}\sup_{\kappa\in M(c_-,c_+)} 
\left|\left(\delta_{x+e_i}-\delta_x,G^{\Lambda_n^w}_\kappa(\delta_{y+e_j}-\delta_y)\right)
-\left(\delta_{x+e_i}-\delta_x,G^{{{\mathbb{Z}}}^d}_\kappa(\delta_{y+e_j}-\delta_y)\right)
\right|=0.\end{aligned}$$

Note that the two scalar products can be equivalently written as $\nabla_{x,i}\nabla_{y,j}G_\kappa^{\Lambda_n^w }(x,y)$ and $\nabla_{x,i}\nabla_{y,j}G_\kappa^{{{\mathbb{Z}}}^d }(x,y)$. This expression agrees with the gradient correlations of a Gaussian field: $$\begin{aligned}
\mathbb{E}_{(\Delta_\kappa^{\Lambda_n^w })^{-1}}\left(\eta_{x,x+e_i}\eta_{y,y+e_j}\right)
=\nabla_{x,i}\nabla_{y,j}G_\kappa^{\Lambda_n^w }(x,y).\end{aligned}$$ A similar equation holds when $\Lambda_n^w$ is replaced by ${{\mathbb{Z}}}^d$. Thus the lemma implies local uniform convergence of the covariance matrix of those two gradient Gaussian fields.

In $d>2$ the difference of the Green's functions can be expressed through the corrector function ${\varphi}_{\kappa,n,y}:\Lambda_n\to {{\mathbb{R}}}$ that is defined by $$\begin{aligned}
G^{\Lambda_n}_\kappa(\cdot,y)=G^{{{\mathbb{Z}}}^d}_\kappa(\cdot,y)-{\varphi}_{\kappa,n,y}(\cdot).\end{aligned}$$ Using the definition of the Green's function we obtain that the corrector satisfies $$\begin{aligned}
\begin{split}
\Delta_\kappa{\varphi}_{\kappa,n,y}&=0 \quad \text{ in ${\accentset{\circ}}{\Lambda}_n$}\\
{\varphi}_{\kappa,n,y}(x)&=G^{{{\mathbb{Z}}}^d}_\kappa(x,y)\quad \text{for  $x\in\partial\Lambda_n$}.
\end{split}\end{aligned}$$ The estimate in Lemma \[le:GreensBound\] now implies $$\begin{aligned}
\label{eq:sufficient}
|{\varphi}_{k,n,y}(z)|\leq \frac{C}{|\mathrm{dist}(y,\partial\Lambda_n)|^{d-2}}\end{aligned}$$ for $z\in \partial \Lambda_n$. By the maximum principle for $\Delta_\kappa$ the bound extends to all $z\in \Lambda_n$. The claim then follows from $$\begin{aligned}
\begin{split}\label{eq:rewrite_corrector}
&\left(\delta_{x+e_i}-\delta_x,G^{{{\mathbb{Z}}}^d}_\kappa(\delta_{y+e_j}-\delta_y)\right)-\left(\delta_{x+e_i}-\delta_x,G^{\Lambda_n^w}_\kappa(\delta_{y+e_j}-\delta_y)\right)\\
&\quad ={\varphi}_{\kappa,n,y}(x)+{\varphi}_{\kappa,n,y+e_j}(x+e_i)-{\varphi}_{\kappa,n,y}(x+e_i)-{\varphi}_{\kappa,n,y+e_j}(x)
\\
&\quad =\nabla_i{\varphi}_{\kappa,n,y+e_j}(x)-\nabla_i{\varphi}_{\kappa,n,y}(x).
\end{split}\end{aligned}$$ The extension to dimension $d=2$ is again slightly technical. We can define $$\begin{aligned}
{\varphi}_{\kappa,n,y}(\cdot)=\Big(G^{{{\mathbb{Z}}}^d}_\kappa(\cdot,y)-G^{{{\mathbb{Z}}}^d}_\kappa(y,y)\Big)-G^{\Lambda_n}_\kappa(\cdot,y).\end{aligned}$$ The corrector satisfies $$\begin{aligned}
\begin{split}
\Delta_\kappa{\varphi}_{\kappa,n,y}&=0 \quad \text{ in ${\accentset{\circ}}{\Lambda}_n$}\\
{\varphi}_{\kappa,n,y}(x)&=G^{{{\mathbb{Z}}}^d}_\kappa(x,y)-G^{{{\mathbb{Z}}}^d}_\kappa(y,y)\quad \text{for  $x\in\partial\Lambda_n$}.
\end{split}\end{aligned}$$ Using we can bound for $y\in B_{n/2}(0)$ $$\begin{aligned}
   \max_{x\in \partial \Lambda_n} {\varphi}_{k,n,y}(x)-
   \min_{x\in \partial\Lambda_n} {\varphi}_{k,n,y}(x)\leq C.
   \end{aligned}$$ Lemma \[le:elliptic\_Nash\_Moser\] implies $\nabla{\varphi}_{\kappa,n,y}(x)\leq Cn^{-\alpha}$ for $x\in \Lambda_{n/2}$ and we can conclude using .

#### Acknowledgements

This work was supported by the CRC 1060 <span>*The mathematics of emergent effects*</span> and by the Hausdorff Center for Mathematics (GZ 2047/1, Projekt-ID 390685813) through the Bonn International Graduate School of Mathematics. The author would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme <span>*Scaling limits, rough paths, quantum field theory*</span> where work on this paper was undertaken. This work was supported by EPSRC grant no EP/K032208/1. \[2\]<span> [\#2](http://www.ams.org/mathscinet-getitem?mr=#1) </span> \[2\]<span>\#2</span>

<span>10</span>

Stefan Adams, Roman Koteck<span>ý</span>, and Stefan M<span>ü</span>ller, *Strict convexity of the surface tension for non-convex potentials*, arXiv preprint arXiv:1606.09541 (2016).

Scott Armstrong, Tuomo Kuusi, and Jean-Christophe Mourrat, *Quantitative stochastic homogenization and large-scale regularity*, Grundlehren der Mathematischen Wissenschaften \[Fundamental Principles of Mathematical Sciences\], vol. 352, Springer, Cham, 2019.

Itai Benjamini, Russell Lyons, Yuval Peres, and Oded Schramm, *Uniform spanning forests*, Ann. Probab. **29** (2001), no. 1, 1–65.

Patrick Billingsley, *Convergence of probability measures*, second ed., Wiley Series in Probability and Statistics: Probability and Statistics, John Wiley & Sons, Inc., New York, 1999, A Wiley-Interscience Publication.

Marek Biskup and Roman Koteck<span>ý</span>, *<span>Phase coexistence of gradient <span>G</span>ibbs states</span>*, Probab. Theory Related Fields **139** (2007), no. 1-2, 1–39.

Marek Biskup and Herbert Spohn, *<span>Scaling limit for a class of gradient fields with nonconvex potentials</span>*, Ann. Probab. **39** (2011), no. 1, 224–251.

Herm Jan Brascamp and Elliott H. Lieb, *On extensions of the <span>B</span>runn-<span>M</span>inkowski and <span>P</span>rékopa-<span>L</span>eindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation*, J. Functional Analysis **22** (1976), no. 4, 366–389.

David C. Brydges and Thomas Spencer, *Fluctuation estimates for sub-quadratic gradient field actions*, J. Math. Phys. **53** (2012), no. 9, 095216, 5.

Simon Buchholz, *Renormalisation in discrete elasticity*, Dissertation, University of Bonn, 2019.

Codina Cotar and Jean-Dominique Deuschel, *<span>Decay of covariances, uniqueness of ergodic component and scaling limit for a class of <span>$\nabla\phi$</span> systems with non-convex potential</span>*, Ann. Inst. Henri Poincar<span>é</span> Probab. Stat. **48** (2012), no. 3, 819–853.

Codina Cotar, Jean-Dominique Deuschel, and Stefan M<span>ü</span>ller, *<span>Strict convexity of the free energy for a class of non-convex gradient models</span>*, Comm. Math. Phys. **286** (2009), no. 1, 359–376.

Thierry Delmotte, *Inégalité de <span>H</span>arnack elliptique sur les graphes*, Colloq. Math. **72** (1997), no. 1, 19–37.

Thierry Delmotte and Jean-Dominique Deuschel, *On estimating the derivatives of symmetric diffusions in stationary random environment, with applications to <span>$\nabla\phi$</span> interface model*, Probab. Theory Related Fields **133** (2005), no. 3, 358–390.

Jean-Dominique Deuschel, Takao Nishikawa, and Yvon Vignaud, *Hydrodynamic limit for the <span>G</span>inzburg-<span>L</span>andau <span>$\nabla\varphi$</span> interface model with non-convex potential*, Stochastic Process. Appl. **129** (2019), no. 3, 924–953.

Luc Devroye, Abbas Mehrabian, and Tommy Reddad, *The total variation distance between high-dimensional gaussians*, arXiv preprint arXiv:1810.08693 (2018).

Hugo Duminil-Copin, *Lectures on the ising and potts models on the hypercubic lattice*, arXiv preprint arXiv:1707.00520 (2017).

Hugo Duminil-Copin, Aran Raoufi, and Vincent Tassion, *Sharp phase transition for the random-cluster and <span>P</span>otts models via decision trees*, Ann. of Math. (2) **189** (2019), no. 1, 75–99.

Tadahisa Funaki, *<span>Stochastic interface models</span>*, <span>Lectures on probability theory and statistics</span>, <span>Lecture Notes in Math.</span>, vol. 1869, Springer, Berlin, 2005, pp. 103–274.

Tadahisa Funaki and Herbert Spohn, *<span>Motion by mean curvature from the <span>G</span>inzburg-<span>L</span>andau <span>$\nabla \phi$</span> interface model</span>*, Comm. Math. Phys. **185** (1997), no. 1, 1–36.

Hans-Otto Georgii, *<span>Gibbs measures and phase transitions</span>*, second ed., <span>de Gruyter Studies in Mathematics</span>, vol. 9, Walter de Gruyter & Co., Berlin, 2011.

Giambattista Giacomin, Stefano Olla, and Herbert Spohn, *<span>Equilibrium fluctuations for <span>$\nabla\phi$</span> interface model</span>*, Ann. Probab. **29** (2001), no. 3, 1138–1172.

Geoffrey Grimmett, *The random-cluster model*, Grundlehren der Mathematischen Wissenschaften \[Fundamental Principles of Mathematical Sciences\], vol. 333, Springer-Verlag, Berlin, 2006.

Alexander Grothendieck, *Résumé de la théorie métrique des produits tensoriels topologiques*, Bol. Soc. Mat. São Paulo **8** (1953), 1–79.

Susanne Hilger, *Scaling limit and convergence of smoothed covariance for gradient models with non-convex potential*, arXiv preprint arXiv:1603.04703 (2016).

Richard Holley, *Remarks on the <span>${\rm FKG}$</span> inequalities*, Comm. Math. Phys. **36** (1974), 227–231.

Harry Kesten, *Percolation theory for mathematicians*, Progress in Probability and Statistics, vol. 2, Birkhäuser, Boston, Mass., 1982.

Russell Lyons and Yuval Peres, *Probability on trees and networks*, Cambridge Series in Statistical and Probabilistic Mathematics, vol. 42, Cambridge University Press, New York, 2016.

Ali Naddaf and Thomas Spencer, *<span>On homogenization and scaling limit of some gradient perturbations of a massless free field</span>*, Comm. Math. Phys. **183** (1997), no. 1, 55–84.

Livio C. Piccinini and Sergio Spagnolo, *On the <span>H</span>ölder continuity of solutions of second order elliptic equations in two variables*, Ann. Scuola Norm. Sup. Pisa (3) **26** (1972), 391–402.

Scott Sheffield, *<span>Random surfaces</span>*, Ast<span>é</span>risque (2005), no. 304, vi+175.

Volker Strassen, *The existence of probability measures with given marginals*, Ann. Math. Statist. **36** (1965), 423–439.

William T. Tutte, *Graph theory*, Encyclopedia of Mathematics and its Applications, vol. 21, Cambridge University Press, Cambridge, 2001, With a foreword by Crispin St. J. A. Nash-Williams, Reprint of the 1984 original.

Zichun Ye, *Models of gradient type with sub-quadratic actions*, J. Math. Phys. **60** (2019), no. 7, 073304, 26.

Miloš Zahradník, *Contour methods and <span>P</span>irogov-<span>S</span>inai theory for continuous spin lattice models*, On <span>D</span>obrushin's way. <span>F</span>rom probability theory to statistical physics, Amer. Math. Soc. Transl. Ser. 2, vol. 198, Amer. Math. Soc., Providence, RI, 2000, pp. 197–220.

[^1]: Institute for Applied Mathematics, University of Bonn, Endenicher Allee 60, 53115 BonnE-mail: cleonard@example.net

{'source': 'arXiv_out/1909'}