Abstract
A polyiamond is an edge-connected set of cells on the triangular lattice. In this paper we provide an improved lower bound on the asymptotic growth constant of polyiamonds, proving that it is at least 2.8424. The proof of the new bound is based on a concatenation argument and on elementary calculus. We also suggest a nontrivial extension of this method for improving the bound further. However, the proposed extension is based on an unproven (yet very reasonable) assumption.
Work on this paper by all authors has been supported in part by ISF Grant 575/15.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that in this reference the lattice is called “honeycomb” (hexagonal) and the terms should be doubled. The reason for this is that the authors actually count clusters of vertices on the hexagonal lattice, whose connectivity is the same as that of cells on the triangular lattice, with no distinction between the two possible orientations of the latter cells. This is why polyiamonds are often regarded in the literature as site animals on the hexagonal lattice, and polyhexes (cell animals on the hexagonal lattice) are regarded as site animals on the triangular lattice, which sometimes causes confusion.
- 2.
This easy upper bound, based on an idea of Eden [7] was described by Lunnon [15, p. 98]. Every polyiamond P can be built according to a set of \(n{-}1\) “instructions” taken from a superset of size \(2(n-1)\). Each instruction tells us how to choose a lattice cell c, neighboring a cell already in P, and add c to P. (Some of these instruction sets are illegal, and some other sets produce the same polyiamonds, but this only helps.) Hence, \(\lambda _T \le \lim _{n \rightarrow \infty } \left( {\begin{array}{c}2(n-1)\\ n-1\end{array}}\right) ^{1/n} = 4\).
- 3.
We wonder why Rands and Welsh did not use \(T(22) = 1,456,891,547\) (which was also available in their reference [19]) to show that \(\lambda _T \ge (T(22)/10)^{1/22} \approx 2.3500\).
- 4.
\(T(75)=15,936,363,137,225,733,301,433,441,827,683,823\).
- 5.
In fact, it is widely believed (but not proven) that the constant \(\theta \) is common to all lattices in the same dimension. In particular, there is evidence that \(\theta = 1\) for all lattices in two dimensions.
- 6.
Madras [16, Proposition 4.2] proved “almost monotonicity” for all lattices, namely, that \(L(n+2)/L(n) \ge (L(n+1)/L(n))^2 - \varGamma _\mathcal{L}/n\) for all sufficiently large values of n, where \(\varGamma _\mathcal{L}\) is a constant which depends on \(\mathcal{L}\). Note that if \(\varGamma _\mathcal{L}= 0\), then we have \(L(n+2)/L(n+1) \ge L(n+1)/L(n)\), i.e., that the ratio sequence of \(\mathcal{L}\) is monotone increasing.
References
The On-Line Encyclopedia of Integer Sequences. http://oeis.org
The Open Problems Project. http://cs.smith.edu/~orourke/TOPP/
Aleksandrowicz, G., Barequet, G.: Counting \(d\)-dimensional polycubes and nonrectangular planar polyominoes. Int. J. Comput. Geometry Appl. 19, 215–229 (2009)
Barequet, G., Rote, G., Shalah, M.: \(\lambda \, > \, 4\): an improved lower bound on the growth constant of polyominoes. Comm. ACM 59, 88–95 (2016)
Barequet, G., Shalah, M.: Improved bounds on the growth constant of polyiamonds. In: Proceedings of the 32nd European Workshop on Computational Geometry, Lugano, Switzerland, pp. 67–70, March-April 2016
Broadbent, S.R., Hammersley, J.M.: Percolation processes: I. Crystals and mazes. Proc. Camb. Philosophical Soc. 53, 629–641 (1957)
Eden, M.: A two-dimensional growth process. In: Proceedings of the 4th Berkeley Symposium on Mathematical Statistics and Probability, IV, Berkeley, CA, pp. 223–239 (1961)
Gaunt, D.S.: The critical dimension for lattice animals. J. Phys. A Math. General 13, L97–L101 (1980)
Gaunt, D.S., Sykes, M.F., Ruskin, H.: Percolation processes in \(d\)-dimensions. J. Phys. A Math. General 9, 1899–1911 (1976)
Guttmann, A.J.: Polygons, Polyominoes, and Polycubes. Lecture Notes in Physics, vol. 775. Springer and Canopus Academic Publishing Ltd., Dordrecht (2009)
Harary, F.: Unsolved problems in the enumeration of graphs. Pub. Math. Inst. Hungarian Academy Sci. 5, 1–20 (1960)
Jensen, I.: Counting polyominoes: a parallel implementation for cluster computing. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J.J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol. 2659, pp. 203–212. Springer, Heidelberg (2003). doi:10.1007/3-540-44863-2_21
Klarner, D.A.: Cell growth problems. Canadian J. Math. 19, 851–863 (1967)
Klarner, D.A., Rivest, R.L.: A procedure for improving the upper bound for the number of \(n\)-ominoes. Canadian J. Math. 25, 585–602 (1973)
Lunnon, W.F.: Counting hexagonal and triangular polyominoes. In: Read, R.C. (ed.) Graph Theory and Computing, pp. 87–100. Academic Press, New York (1972)
Madras, N.: A pattern theorem for lattice clusters. Ann. Comb. 3, 357–384 (1999)
Rands, B.M.I., Welsh, D.J.A.: Animals, trees and renewal sequences. IMA J. Appl. Math. 27, 1–17 (1981). Corrigendum 28, 107 (1982)
Redelmeier, D.H.: Counting polyominoes: yet another attack. Discrete Math. 36, 191–203 (1981)
Sykes, M.F., Glen, M.: Percolation processes in two dimensions: I. Low-density series expansions. J. Phys. A Math. General 9, 87–95 (1976)
Temperley, H.N.V.: Combinatorial problems suggested by the statistical mechanics of domains and of rubber-like molecules. Phys. Rev. 2(103), 1–16 (1956)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Barequet, G., Shalah, M., Zheng, Y. (2017). An Improved Lower Bound on the Growth Constant of Polyiamonds. In: Cao, Y., Chen, J. (eds) Computing and Combinatorics. COCOON 2017. Lecture Notes in Computer Science(), vol 10392. Springer, Cham. https://doi.org/10.1007/978-3-319-62389-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-62389-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62388-7
Online ISBN: 978-3-319-62389-4
eBook Packages: Computer ScienceComputer Science (R0)