The three dimensional polyominoes of minimal area

Laurent Alonso ; Raphaël Cerf

The electronic journal of combinatorics, Tome 3 (1996) no. 1

Résumé

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+\epsilon)$, $\epsilon\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+\epsilon)+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.

Détail

DOI : 10.37236/1251

Classification : 05B50, 82B20
Mots-clés : polyominoes of minimal area, isoperimetric inequality, Ising model