Let $\mathbb Z^2$ denote the two-dimensional integer lattice with norm of $i=(i\_1,i\_2)$ given by $\|i\|=|i\_1|+|i\_2|$. 


For each $x\in\mathbb Z^2$, we assign a uniform random variable, $\sigma\_x$ taking values on the set $\{-1,1\}$.


Fix $\omega\in\{-1,0,1\}^{\mathbb{Z}^2}$ and $\beta>0$. For each finite $\Lambda\subset\mathbb{Z}^d$, define a probability measure on the sigma algebra generated by the cylinder sets of $\{-1,1\}^{\mathbb{Z}^2}$, such that for each 
$\sigma\in\{-1,1\}^{\mathbb{Z}^2}$ the probability of this configuration is given by
$$
\mu\_{\Lambda}^{\beta,\omega}(\sigma)=
\left\{
\begin{array}{rl}
\frac{\exp(-\beta H\_{\Lambda}^{\omega}(\sigma))}{Z\_{\Lambda}^{\omega}},&\text{if}\ \ \sigma\_i=\omega\_i\ \forall i\in\Lambda^c;\\ \\ \\ 
0,& \text{otherwise},
\end{array}
\right.
$$
where 
$$
H\_{\Lambda}^{\omega}(\sigma)=-\sum\_{i,j\in\Lambda}J\_{ij}\sigma\_i\sigma\_j-\sum\_{i\in\Lambda, j\in\Lambda^c}J\_{ij}\sigma\_i\omega\_j
$$
with $J\_{ij}\equiv J(\|i-j\|)\geq 0$ and $J\_{ij}=0$ if $\|i-j\|\geq R$, for some positive $R$ and $Z\_{\Lambda}^{\omega}$ is a normalizing constant so that 
$\mu\_{\Lambda}^{\beta,\omega}$ is a probability measure.


**Question 1:**  If $\Lambda\_n\uparrow\mathbb{Z}^2$ and $\omega\_i=0$ for all $i\in\mathbb{Z}^2$, sounds reasonable that any accumulation point of the sequence $\mu\_{\Lambda\_n}^{\beta,\omega}$, in the weak\* topology, is translation invariant. Is this true for any finite $R$ ?


**Question 2:** Suppose $R$ finite and bigger than one, keeping the setting of Question 1 but $\omega\_i=1$ (or $\omega\_i=-1$) for all $i\in\mathbb{Z}^2$ is the weak\* limit 
$$w-\lim\_{n\to\infty} \mu\_{\Lambda\_n}^{\beta,\omega}$$  

translational invariant ? 


**Question 3:**  For finite $R$ bigger than one is it true the Aizenman-Higuchi Theorem  

$$w-\lim\_{n\to\infty} \mu\_{\Lambda\_n}^{\beta,\omega}\in [\mu^{\beta,+},\mu^{\beta,-}] ?$$



On generalisation of Aizenman-Higuchi Theorem
Concerning questions 1 and 2, if I understand it correctly (i.e., you're simply looking at the finite-range ferromagnetic Ising model with free, resp + or -, b.c.), then the sequences actually converge and the limits are translation invariant. This follows from monotonicity in the volume (GKS for free, GKS of FKG for + or -).


(In all these cases, just fix a local function and take two different increasing sequences of boxes. Show using correlation inequalities that the expectation in both cases necessarily converge to the same limit by sandwiching those in one sequence by those in the other. You can find a version of this classical argument in my lecture notes (in french), see my homepage.)


Concerning 3, the answer is certainly yes, but no proof is known (both the original proofs and the improved one we devised recently with Loren Coquille rely in an essential way on the n.n. nature of the interaction). (There might be some results at very large beta, of course.)


