Title:Subadditivity in models of interacting lattice clusters

Abstract:Subadditivity is an important tool for proving the existence of thermodynamic limits in the statistical mechanics of models of lattice clusters (such as the self-avoiding walk and percolation clusters). The partition functions of these models may satisfy a variety of super- or submultiplicative inequalities, and these may be reduced to a subadditive relation by taking logarithms, and changing signs, if necessary. In this manuscript, the function $p_n^\#(m)$ into $\mathbb N$, with $(n,m)\in {\mathbb N}^2$, is assumed to satisfy the supermultiplicative inequality $ p_{n_1} ^\# (m_1) p_{n_2} ^\# (m_2) \leq p_{n_1+n_2} ^\# (m_1+ m_2)$. Inequalities of these types are frequently encountered in models of interacting lattice clusters; see for example reference [10]. Several results on $p_n^\#(m)$ in reference [9] are reviewed here, and in particular, a proof is given that the limit $ \log {\cal P}(\epsilon) = \lim_{n\to\infty} \frac{1}{n} \log p_n^\#(\lfloor \epsilon n \rfloor)$ exists and is a concave function of $\epsilon$ under very mild assumptions. In addition, it is shown that for a convergent sequence $\langle \delta_n \rangle$ in $\mathbb N$, such that $\lim_{n\to\infty} \frac{1}{n} \delta_n = \delta$, the limit $ \lim_{n\to\infty} \frac{1}{n} \log p_n^\#(\delta_n) = \log {\cal P}_\# (\delta) $ exists. This corrects an unrecoverable flaw in the proof of theorem 3.6 in reference [9].