Hi all,

I am doing a work in collaboration with other mathematicians about phase transition in the Ising model and we need to know if exponential upper bounds exist for the number of lattice animals with boundary of size $n$.

To be precise, consider the square lattice $\mathbb{Z}^2$ as graph where the edges are pairs of points in the lattice having distance one from each other, where the distance is induced by the norm $\|(z_1,z_2)\|=|z_1|+|z_2|$.

We call a lattice animal the set of vertices of any connected subgraph of the square lattice. Given an animal $A$, we denote the boundary of $A$ by $\partial A$, that is, the set of vertices of distance one from $A$.

Fix a site $z\in \mathbb{Z}^2$ and let be

$$
f(n)=\sharp \{A\ \text{is lattice animal}; A\ni z\ \text{and}\ |\partial A|=n\}
$$

Is it known if $f(n)=O(e^{k n})$ ?

I learned from google that this problem is also known in the combinatorics community as enumeration of polyominoes with a given site-perimeter.

All the papers I found about the upper bounds at some point have to impose some geometric hypotheses on the polyominoes such as convexity, starcase shape or bargraph shape.

I don't know yet if those hypotheses are being used in order to get sharp upper bounds or if they are the only ones available.

If the question about exponential upper bound is not yet solved, is there a specialist in this area who could tell me what they think about the upper bound for this problem.