The three dimensional polyominoes of minimal area. (English) Zbl 0885.05056

Electron. J. Comb. 3, No. 1, Research paper R27, 39 p. (1996); printed version J. Comb. 3, No. 1, 371-409 (1996).
Summary: The set of the three dimensional polyominoes of minimal area and of volume \(n\) contains a polyomino which is the union of a quasicube \(j\times (j+\delta)\times (j+\theta)\), \(\delta,\theta\in\{0,1\}\), a quasisquare \(l\times (l+\varepsilon)\), \(\varepsilon\in\{0,1\}\), and a bar \(k\). This shape is naturally associated to the unique decomposition of \(n=j(j+\delta)(j+\theta)+l(l+\varepsilon)+k\) as the sum of a maximal quasicube, a maximal quasisquare and a bar. For \(n\) a quasicube plus a quasisquare, or a quasicube minus one, the minimal polyominoes are reduced to these shapes. The minimal area is explicitly computed and yields a discrete isoperimetric inequality. These variational problems are the key for finding the path of escape from the metastable state for the three dimensional Ising model at very low temperatures. The results and proofs are illustrated by a lot of pictures.


05B50 Polyominoes
82B20 Lattice systems (Ising, dimer, Potts, etc.) and systems on graphs arising in equilibrium statistical mechanics
Full Text: EuDML EMIS