e8ef33ee27c5e098.tex
1: \begin{abstract}
2: For any $\mathbb{Z}^2$ nearest neighbor shift of finite type $X$ and any integer $n \geq 1$, one can define the horizontal strip shift $H_n(X)$ to be the set of configurations on $\mathbb{Z} \times \{1,\ldots,n\}$ which do not contain any forbidden transitions for $X$. Each $H_n(X)$ can be considered as a $\mathbb{Z}$ nearest neighbor shift of finite type, and it is always the case that $\lim_{n \rightarrow \infty} \frac{h^{top}(H_n(X))}{n} = h^{top}(X)$. In this paper, we combine ergodic theoretic techniques with methods from percolation theory and interacting particle systems to show that for the $\mathbb{Z}^2$ hard square shift $\mathcal{H}$, it is in fact the case that $\lim_{n \rightarrow \infty} h^{top}(H_{n+1}(\mathcal{H})) - h^{top}(H_n(\mathcal{H})) = h^{top}(\mathcal{H})$, and that the rate of convergence is at least exponential. A consequence of this is that $h^{top}(\mathcal{H})$ is computable to any tolerance $\frac{1}{n}$ in time polynomial in $n$. We also give an example of a $\mathbb{Z}^2$ block gluing nearest neighbor shift of finite type $Y$ for which $h^{top}(H_{n+1}(Y)) - h^{top}(H_n(Y))$ does not even approach a limit. 
3: \end{abstract}