Sharp N3/4 law for the minimizers of the edge-isoperimetric problem on the triangular lattice

We investigate the edge-isoperimetric problem (EIP) for sets of n points in the triangular lattice by emphasizing its relation with the emergence of the Wulff shape in the crystallization problem. By introducing a suitable notion of perimeter and area, EIP minimizers are characterized as extremizers of an isoperimetric inequality: they attain maximal area and minimal perimeter among connected configurations. The maximal area and minimal perimeter are explicitly quantified in terms of n. In view of this isoperimetric characterizations, EIP minimizers (Formula presented.) are seen to be given by hexagonal configurations with some extra points at their boundary. By a careful computation of the cardinality of these extra points, minimizers (Formula presented.) are estimated to deviate from such hexagonal configurations by at most (Formula presented.) points. The constant (Formula presented.) is explicitly determined and shown to be sharp.