sigma^+$ is obtained from $\sigma$ by flipping to $+$ the spin of all $\sigma$-components which interact with the boundary ${\partial}_e(\Delta^\circ)$ and also the spin of sites outside $\Delta^\circ$. Notice that $\sigma^+$ belongs to the support of $\mu^+_{\Delta^\circ}$ and that both $\sigma$ and $\sigma^+$ have the same energy in $\Delta^\circ$, i.e. $$\sum_{B: B \cap \Delta^\circ \neq \emptyset} \Phi_B(\sigma_B) = \sum_{B: B \cap \Delta^\circ \neq \emptyset} \Phi_B(\sigma^+_B).$$ Hence, since there are at most $2^{\# C_{\sigma^+}({\partial}_e (\Delta^\circ))}$ different configurations $\sigma'$ in which can be assigned the same configuration $\sigma^+$ and there exists $\tilde{c}_1 > 0$ such that for any configuration $\sigma$ there can be at most $\tilde{c}_1 (\# {\partial}_e(\Delta^\circ))$ $\sigma$-components in $C_\sigma({\partial}_e (\Delta^\circ))$, $$\sum_{\sigma \in A^0_+(\Delta^\circ)} e^{- \sum_{B: B \cap \Delta^\circ \neq \emptyset} \Phi_B(\sigma_B)} \leq 2^{\tilde{c}_1 (\# {\partial}_e (\Delta^\circ))} Z^+_{\Delta^\circ}$$ which implies that $$\frac{Z^0(\Delta)}{Z^+(\Delta)} \leq \frac{1+2^{\tilde{c}_1 (\# {\partial}_e (\Delta^\circ))}}{ \lambda^{|\Delta| - |\Delta^\circ|}}.$$ From here a straightforward calculation allows us to conclude the result.

It follows from the Peierls bound on the energy of contours and the previous lemma that for $\lambda > 0$ sufficiently large one has $\alpha_+(\lambda) < 1$. Thus, we obtain the following result.

\[teowrpt\]If $\lambda > 0$ is sufficiently large so as to satisfy $\alpha_{+}(\lambda) < 1$ then:

1.  The discrete Widom-Rowlinson model on ${{\mathbb{Z}}}^d$ with exclusion radius $r$ admits two distinct Gibbs measures, $\mu^+$ and $\mu^-$.

2.  The measures $\mu^{+}$ and
sigma^+$ is obtained from $ \sigma$ by flipping to $ + $ the spin of all $ \sigma$-components which interact with the boundary $ { \partial}_e(\Delta^\circ)$ and also the tailspin of web site outside $ \Delta^\circ$. Notice that $ \sigma^+$ belongs to the documentation of $ \mu^+_{\Delta^\circ}$ and that both $ \sigma$ and $ \sigma^+$ own the same energy in $ \Delta^\circ$, i.e. $ $ \sum_{B: bel \cap \Delta^\circ \neq \emptyset } \Phi_B(\sigma_B) = \sum_{B: bel \cap \Delta^\circ \neq \emptyset } \Phi_B(\sigma^+_B).$$ Hence, since there embody at most $ 2^{\ # C_{\sigma^+}({\partial}_e (\Delta^\circ))}$ different shape $ \sigma'$ in which can be assigned the same shape $ \sigma^+$ and there exists $ \tilde{c}_1 > 0 $ such that for any configuration $ \sigma$ there can be at most $ \tilde{c}_1 (\ # { \partial}_e(\Delta^\circ))$ $ \sigma$-components in $ C_\sigma({\partial}_e (\Delta^\circ))$, $ $ \sum_{\sigma \in A^0_+(\Delta^\circ) } e^{- \sum_{B: B \cap \Delta^\circ \neq \emptyset } \Phi_B(\sigma_B) } \leq 2^{\tilde{c}_1 (\ # { \partial}_e (\Delta^\circ) ) } Z^+_{\Delta^\circ}$$ which implies that $ $ \frac{Z^0(\Delta)}{Z^+(\Delta) } \leq \frac{1 + 2^{\tilde{c}_1 (\ # { \partial}_e (\Delta^\circ) ) } } { \lambda^{|\Delta| - |\Delta^\circ|}}.$$ From here a straightforward calculation allows us to reason the result. 

 It follows from the Peierls bound on the department of energy of contours and the previous lemma that for $ \lambda > 0 $ sufficiently large one has $ \alpha_+(\lambda) < 1$. Thus, we receive the following result. 

 \[teowrpt\]If $ \lambda > 0 $ is sufficiently large so as to satisfy $ \alpha_{+}(\lambda) < 1 $ then: 

 1.   The discrete Widom - Rowlinson model on $ { { \mathbb{Z}}}^d$ with exclusion spoke $ r$ admits two distinct Gibbs measures, $ \mu^+$ and $ \mu^-$. 

 2.   The measures $ \mu^{+}$ and
sigla^+$ is obtained from $\sigmx$ by flipping to $+$ the vpin or all $\siema$-components which interact wuth tye boundary ${\partial}_e(\Deuta^\circ)$ ajd also rhe wpin of sitxa outside $\Delfw^\cire$. Iotice that $\sigka^+$ belongs to the suppord uf $\mu^+_{\Delta^\circ}$ and that both $\sigma$ anq $\sigma^+$ hwve the same egergj yn $\Dslta^\circ$, i.e. $$\sum_{B: B \cap \Delta^\circ \nsq \emptjset} \Phi_B(\sigma_B) = \xum_{B: B \cap \Delta^\circ \neq \elptydet} \Phi_B(\sigma^+_B).$$ Henfe, since thgde wee at most $2^{\# Z_{\sigma^+}({\partpcl}_e (\Delta^\citc))}$ different configurations $\sigmx'$ in chich can bg zsdhgned the seme cogfiguration $\sigma^+$ ang there exists $\tilde{c}_1 > 0$ vucy that for any confignration $\sigma$ there san be at mkst $\tilde{c}_1 (\# {\partiql}_w(\Deltd^\cirw))$ $\siena$-cumpknxnta in $C_\digja({\partial}_e (\Delta^\circ))$, $$\wum_{\sigma \in A^0_+(\Delta^\cors)} e^{- \sum_{B: B \cap \Delta^\siwc \neq \emptyset} \Phi_B(\sigma_B)} \leq 2^{\tilde{c}_1 (\# {\kartizl}_e (\Delta^\circ))} Z^+_{\Delta^\cirx}$$ which implies that $$\vrac{Z^0(\Deltw)}{Z^+(\Delta)} \leq \frac{1+2^{\tilde{c}_1 (\# {\partial}_e (\Delta^\circ))}}{ \lambda^{|\Gelta| - |\Deotw^\zurf|}}.$$ From here a straightforward calculation alljss ux to conclude bhe result.

It folloes ftjm the Peierlr bounb oh the energy of cojtours wnd tye previots lrmma that for $\lambda > 0$ suffuciently larye ine has $\alpha_+(\lambdc) < 1$. Thus, we ubtaon thr following result.

\[teowr't\]If $\lzmbda > 0$ is dufficienfuy large so as tu ssthsfy $\alpha_{+}(\lambda) < 1$ then:

1.  Tre discreve Wibom-Rowlivson model on ${{\mathbb{X}}}^d$ wibv exclusion radius $r$ adlids two dishinct Gibbs measures, $\mu^+$ and $\mu^-$.

2.  The measures $\ku^{+}$ ang
sigma^+$ is obtained from $\sigma$ by flipping the of all which interact with the of sites outside Notice that $\sigma^+$ to the support of $\mu^+_{\Delta^\circ}$ and both $\sigma$ and $\sigma^+$ have the same energy in $\Delta^\circ$, i.e. $$\sum_{B: B \Delta^\circ \neq \emptyset} \Phi_B(\sigma_B) = \sum_{B: B \cap \Delta^\circ \neq \emptyset} \Phi_B(\sigma^+_B).$$ Hence, there at $2^{\# (\Delta^\circ))}$ different configurations $\sigma'$ in which can be assigned the same configuration $\sigma^+$ and there exists > 0$ such that for any configuration $\sigma$ can be at most (\# {\partial}_e(\Delta^\circ))$ $\sigma$-components in $C_\sigma({\partial}_e $$\sum_{\sigma A^0_+(\Delta^\circ)} e^{- B \Delta^\circ \emptyset} \Phi_B(\sigma_B)} \leq (\# {\partial}_e (\Delta^\circ))} Z^+_{\Delta^\circ}$$ which implies that $$\frac{Z^0(\Delta)}{Z^+(\Delta)} \leq \frac{1+2^{\tilde{c}_1 (\# {\partial}_e (\Delta^\circ))}}{ \lambda^{|\Delta| - |\Delta^\circ|}}.$$ From a straightforward us to the It from the Peierls the energy of contours and the for $\lambda > 0$ sufficiently large one has < 1$. we obtain the following result. \[teowrpt\]If > 0$ is sufficiently large so as to $\alpha_{+}(\lambda) < 1$ then: 1. The discrete Widom-Rowlinson model on ${{\mathbb{Z}}}^d$ with exclusion radius $r$ distinct Gibbs measures, $\mu^+$ $\mu^-$. 2. The $\mu^{+}$
sigma^+$ is obtained from $\sigma$ bY flipping tO $+$ the sPin Of aLl $\SigmA$-comPonents which inTEracT with the boundary ${\partiaL}_e(\DelTa^\CIrc)$ aND aLso thE spin of SItES OutSiDe $\delTa^\CIrC$. NotiCe tHat $\sigmA^+$ belongs to The SuPport of $\mu^+_{\DelTA^\cIrc}$ and that BotH $\sigma$ and $\sigMa^+$ hAve the SaMe eNErgy iN $\DeLta^\ciRc$, i.e. $$\suM_{b: B \cap \DElta^\circ \nEq \EMptyseT} \phi_B(\sigMA_b) = \sUm_{B: B \Cap \Delta^\circ \neq \emPTySEt} \Phi_B(\sigma^+_B).$$ HeNce, sinCe THeRE Are At mOst $2^{\# C_{\sigma^+}({\pArTial}_e (\dElta^\cirC))}$ DiFFERenT ConfigurationS $\sigma'$ in whiCH caN be assIgNed THe same ConfiGuRAtiOn $\sigma^+$ and tHere Exists $\tilDe{c}_1 > 0$ sucH That for ANy confiGuratiOn $\sIgmA$ theRE cAn Be aT mOSt $\tILdE{c}_1 (\# {\pARtiAl}_e(\Delta^\CiRc))$ $\Sigma$-CompONENTs in $c_\siGma({\pArtiaL}_e (\Delta^\circ))$, $$\suM_{\siGma \iN a^0_+(\DeLta^\ciRc)} e^{- \suM_{B: B \cAp \delta^\Circ \neQ \emptYsEt} \Phi_B(\sigma_B)} \leq 2^{\TildE{c}_1 (\# {\partial}_E (\DeLtA^\ciRc))} z^+_{\DeltA^\Circ}$$ whIch ImpLies thaT $$\frac{Z^0(\DELta)}{z^+(\DELTA)} \lEq \frac{1+2^{\tilde{c}_1 (\# {\partiaL}_e (\dELtA^\circ))}}{ \lamBda^{|\DelTA| - |\DElTA^\circ|}}.$$ FroM hEre A strAIGhtfoRwarD CaLculatioN allowS Us To ConcludE tHe resuLt.

it fOllOws frOM the peierlS bound on The enERgy of contours aND the previous lEMmA THaT For $\lAmbDa > 0$ sufficienTly lARge oNe haS $\AlPha_+(\LAmbda) < 1$. thus, wE oBTaIN the following result.

\[TeOwrpt\]IF $\lambDa > 0$ is sufficienTly large so AS TO satisfy $\AlphA_{+}(\LaMBda) < 1$ then:

1.  The discRete WIdom-RowlinSOn model oN ${{\mathBb{Z}}}^d$ with Exclusion RADius $r$ admIts Two DisTinCT giBbs measures, $\mu^+$ AND $\mu^-$.

2.  THe MeasureS $\mu^{+}$ And
sigma^+$ is obtained from$\sigma$ b y fli ppi ngto  $+$  the  spin of all $ \ sigm a$-components which in terac tw itht he  boun dary ${ \ pa r t ial }_ e( \De lt a ^\ circ) $ a nd also  the spinofsi tes outside$ \D elta^\circ $.Notice that$\s igma^+ $bel o ngs t o t he su pporto f $\mu ^+_{\Delt a^ \ circ}$ and tha t bo th $ \sigma$ and $\sig m a^ + $ have the sam e ener gy in $ \De lta ^\circ$, i .e . $$\ s um_{B:B  \ c a p  \D e lta^\circ \ne q \emptyset }  \P hi_B(\ si gma _ B) = \ sum_{ B: B \ cap \Delta^ \cir c \neq \e mptyse t } \Phi_ B (\sigma ^+_B). $$Hen ce,s in ce  th er e  ar e  a t m o st$2^{\# C _{ \s igma^ +}({ \ p a r tial }_e  (\D elta^ \circ))}$ dif fer entc onf igura tions  $\s ig ma'$in whi ch ca nbe assigned the  sam e configu rat io n $ \s igma^ + $ andthe reexists$\tilde { c}_ 1> 0 $such that for anyco n f ig uration$\sigm a $th e re can b eatmost $ \tild e{c} _ 1(\# {\pa rtial} _ e( \D elta^\c ir c))$ $ \s igm a$- compo n ents  in $C _\sigma( {\par t ial}_e (\Delta ^ \circ))$, $$\ s um _ { \s i gma\in  A^0_+(\Del ta^\ c irc) } e^ { -\su m _{B:B \ca p\ De l ta^\circ \neq \empt ys et} \P hi_B( \sigma_B)} \l eq 2^{\til d e { c}_1 (\#  {\p a rt i al}_e (\Delta^ \circ ))} Z^+_{\ D elta^\ci rc}$$  which i mplies th a t  $$\frac {Z^ 0(\ Del ta) } { Z^ +(\Delta)} \l e q  \fr ac {1+2^{\ til de{c}_1  (\ # { \pa rti al }_e (\Del ta^\circ )) }} {\l amb da^{| \ Delta| -  | \De lt a^\ circ| } }.$$ F rom h ereast r aig htforwa r dc a lcul at io n al low sus to  con c lud e the r esult.

I t f o llow sfr om thePeierls bound  o n the ener gy  of  conto u r s and th e previous lemma that f o r $\lam bda  > 0$  suf ficiently  la rge on e h a s $\al pha_+( \lamb da ) < 1 $. Th u s ,weob tain the f o l low ing r es ult. 

\[teo wrpt\]If $\lambda>  0$  is sufficien tly  lar g e  s o a s  t o  sa ti s fy$ \ alpha_{+}(\lamb da) < 1$ t he n :
1.  The d i scr et e Widom -Rowlin son m o del on${{\mathb b{Z}}}^d$  w ithe x clu sion radiu s $r$ ad mits twod istin c tGibbs  me asures ,$\m u^+$and $\ m u^- $.

2 .  The  m easure s $\m u^ {+}$ and 
sigma^+$ is_obtained from_$\sigma$ by flipping to_$+$ the_spin_of all_$\sigma$-components_which interact with_the boundary ${\partial}_e(\Delta^\circ)$_and also the spin_of sites outside_$\Delta^\circ$._Notice that $\sigma^+$ belongs to the support of $\mu^+_{\Delta^\circ}$ and that both $\sigma$ and_$\sigma^+$_have the_same_energy_in $\Delta^\circ$, i.e. $$\sum_{B: B_\cap \Delta^\circ \neq \emptyset} \Phi_B(\sigma_B)_= \sum_{B:_B \cap \Delta^\circ \neq \emptyset} \Phi_B(\sigma^+_B).$$ Hence, since_there_are at most_$2^{\# C_{\sigma^+}({\partial}_e (\Delta^\circ))}$ different configurations $\sigma'$ in which can_be assigned the same configuration $\sigma^+$_and there exists_$\tilde{c}_1_>_0$ such that for_any configuration $\sigma$ there can be_at most $\tilde{c}_1 (\# {\partial}_e(\Delta^\circ))$ $\sigma$-components_in $C_\sigma({\partial}_e (\Delta^\circ))$, $$\sum_{\sigma \in A^0_+(\Delta^\circ)} e^{-_\sum_{B: B \cap \Delta^\circ \neq \emptyset}_\Phi_B(\sigma_B)} \leq 2^{\tilde{c}_1 (\# {\partial}_e_(\Delta^\circ))} Z^+_{\Delta^\circ}$$_which implies that $$\frac{Z^0(\Delta)}{Z^+(\Delta)} \leq_\frac{1+2^{\tilde{c}_1 (\# {\partial}_e_(\Delta^\circ))}}{ \lambda^{|\Delta|_- |\Delta^\circ|}}.$$ From_here a straightforward calculation allows us_to conclude the_result.

It follows from the Peierls bound_on_the energy of_contours_and_the previous_lemma that for_$\lambda_> 0$_sufficiently_large one has $\alpha_+(\lambda) < 1$._Thus,_we obtain the following result.

\[teowrpt\]If $\lambda >_0$ is sufficiently large_so_as to satisfy $\alpha_{+}(\lambda)_< 1$ then:

1.  The_discrete Widom-Rowlinson model on ${{\mathbb{Z}}}^d$ with_exclusion radius_$r$ admits_two distinct Gibbs measures, $\mu^+$ and $\mu^-$.

2.  The measures $\mu^{+}$_and