Abstract
We investigate the edgeisoperimetric 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 \(M_n\) 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 \(M_n\) are estimated to deviate from such hexagonal configurations by at most \(K_t\, n^{3/4}+\mathrm{o}(n^{3/4})\) points. The constant \(K_t\) is explicitly determined and shown to be sharp.
Introduction
This paper is concerned with the edgeisoperimetric problem (EIP) in the triangular lattice
Let \({\mathcal {C}}_n\) be the family of sets \(C_n\) containing n distinct elements \(x_1,\ldots , x_n\) in \({\mathcal {L}}_t\). The edge perimeter \(\Theta (C_n)\) of a set \(C_n\in {\mathcal {C}}_n\) is the cardinality of the edge boundary \(\Theta \) of \(C_n\) defined by
Note that, with a slight abuse of notation, the symbol \(\cdot \) denotes, according to the context, both the cardinality of a set and the euclidean norm in \(\mathbb {R}^2\). The EIP over the family \({\mathcal {C}}_n\) consists in characterizing the solutions to the minimum problem:
Our main aim is to provide a characterization of the minimizers \(M_n\) of (2) as extremizers of a suitable isoperimetric inequality (see Theorem 1.1) and to show that there exists a hexagonal Wulff shape in \({\mathcal {L}}_t\) from which \(M_n\) differs by at most
points (see Theorem 1.2). A crucial issue of our analysis is that both the exponent and the constant in front of the leading term in (3) are explicitly determined and optimal (see Theorem 1.4).
The EIP is a classical combinatorial problem. We refer to Bezrukov (1999), Harper (2004) for the description of this problem in various settings and for a review of the corresponding results available in the literature. The importance of the EIP is however not only theoretical, since the edge perimeter (and similar notions) bears relevance in problems from machine learning, such as classification and clustering (see Trillos and Slepcev 2016 and references therein). Note, however, that in this other more statistical setting the edge perimeter is not defined for configurations contained in a specific lattice, but for point clouds obtained as random samples.
We shall emphasize the link between the EIP and the Crystallization Problem (CP). For this reason, we will often refer to the sets \(C_n\in {\mathcal {C}}_n\) as configurations of particles in \({\mathcal {L}}_t\) and to minimal configurations as ground states. The CP consists in analytically explaining why particles at low temperature arrange in periodic lattices by proving that the minima of a suitable configurational energy are subsets of a regular lattice. At low temperatures, particle interactions are expected to be essentially determined by particle positions. In this classical setting, all available CP results in the literature with respect to a finite number n of particles are in two dimensions for a phenomenological energy E defined from \({\mathbb {R}}^{2n}\), the set of possible particle positions, to \({\mathbb {R}}\cup \{+\infty \}\). In Heitmann and Radin (1980), Radin (1981) the energy E takes the form
for specific potentials \(v_2:[0,\infty )\rightarrow \mathbb {R}\cup \{+\infty \}\) representing twobody interactions. Additional threebody interaction terms have been included in the energy in Mainini and Stefanelli (2014), Mainini et al. (2014a, b). We also refer the reader to E and Li (2009), Flatley and Theil (2015), Theil (2006) for results in the thermodynamic limit with a LennardJoneslike potential \(v_2\) not vanishing at a certain distance and to Blanc and Lewin (2015) for a general review on the CP.
The link between the EIP on \({\mathcal {L}}_t\) and the CP resides on the fact that when only twobody and shortranged interactions are considered, the minima of E are expected to be subsets of a triangular lattice. The fact that ground states are subsets of \({\mathcal {L}}_t\) has been analytically shown in Heitmann and Radin (1980) and Radin (1981), respectively, with \(v_2:=v_\mathrm{sticky}\), where \(v_\mathrm{sticky}\) is the stickydisk potential, i.e.,
and \(v_2:=v_\mathrm{soft}\), where \(v_\mathrm{soft}\) is the softdisk potential, i.e.,
In particular with both the choices (5) and (6) for \(v_2\), we have that
for every \(C_n\in {\mathcal {C}}_n\). Here, the set
represents the bonds of \(C_n\in {\mathcal {C}}_n\). Note that the definition of \(B(C_n)\) in (8) is independent of the order in which the elements of \(C_n\) are labeled. The number of bonds of \(C_n\) with an endpoint in \(x_i\) will be instead denoted by
for every \(x_i\in C_n\). The link between the EIP and the CP consists in the fact that by (1), (7), and (9) we have that
for every \(C_n\in {\mathcal {C}}_n\), since the degree of \({\mathcal {L}}_t\) is 6.
In view of (10) minimizing E among configurations in \({\mathcal {C}}_n\) is equivalent to the EIP (2), and since for both the choices (5) and (6) for \(v_2\) by Heitmann and Radin (1980), Radin (1981) ground states belong to \({\mathcal {C}}_n\), the ground states of the CP correspond to the minimizers of the EIP. Furthermore, in Heitmann and Radin (1980), Radin (1981) the energy of ground states with n particles has been also explicitly quantified in terms of n to be equal to
where \(\lfloor x\rfloor :=\max \{z\in {\mathbb {Z}}:z\le x\}\) and \(\lceil x\rceil :=\min \{z\in {\mathbb {Z}}:x\le z\}\) denote the standard right and leftcontinuous functions, respectively. Therefore, (10) and (11) entails also a characterization of \(\theta _n\) in terms of n, i.e.,
A first property of the minimizers of (2) has been provided in Harper (2004), Theorem 7.2 where it is shown that the EIP has the nestedsolution property, i.e., there exists a total order \(\tau :\mathbb {N}\rightarrow {\mathcal {L}}_t\) such that for all \(n\in \mathbb {N}\) the configuration
is a solution of (2) (see Proposition 2.1 and the discussion below for the definition of \(\tau \)). Given the symmetry of the configurations \(D_n\), we will refer to them as daisies in the following. Since solutions of the EIP are in general nonunique, the aim of this paper is to characterize them all.
In this paper, we provide a first characterization of the minimizers \(M_n\) of the EIP by introducing an isoperimetric inequality in terms of suitable notions of area and perimeter of configurations in \({\mathcal {C}}_n\) and by showing that the connected minimizers \(M_n\) of the EIP are optimal with respect to it. We refer here the reader to (25) and (26) for the definition of the area \(A(C_n)\) and the perimeter \(P(C_n)\) of a configuration \(C_n\in {\mathcal {C}}_n\). Note also that we say that a configuration \(C_n\) is connected if given any two points \(x_i,x_j\in C_n\) then there exists a sequence \(y_k\) of points in \(C_n\) with \(k=1,\ldots ,K\) for some \(K\in \mathbb {N}\) such that \(y_1=x_i\), \(y_K=x_j\), and either \((y_k,y_{k+1})\) or \((y_{k+1},y_{k})\) is in \(B(C_n)\) for every \(k=1,\ldots , K1\). It easily follows that minimizers of the EIP need to be connected. Our isoperimetric characterization reads as follows.
Theorem 1.1
(Isoperimetric characterization) Every connected configuration \(C_n\in {\mathcal {C}}_n\) satisfies
where
Moreover, connected minimizers \(M_n\in {\mathcal {C}}_n\) of the EIP correspond to those configurations for which (13) holds with the equality. Finally, connected minimizers attain the maximal area \(a_n:=\theta _n/2+ 2n +1\) and the minimal perimeter \(p_n:=\theta _n/2 3\).
Notice that a similar isoperimetric result has been already achieved in the square lattice in Mainini et al. (2014a) with a different method, based on introducing a rearrangement of the configurations. Theorem 1.1 is instead proved by assigning to each element x of a configuration \(C_n\in {\mathcal {C}}_n\) a weight \(\omega _{C_n}(x)\) that depends on \(C_n\) and on the abovementioned order \(\tau \) [see (32)].
Furthermore, we observe that the isoperimetric constant \(k_n\) given by (14) satisfies
with \(k_n=1/\sqrt{6}\) if and only if \(n=1+3s+3s^2\) for some \(s\in \mathbb {N}\). Note that for \(n=1 +3s + 3s^2\), as already observed in Harper (2004), the hexagonal daisy \(D_{1 +3s + 3s^2}\) is the unique minimizer of the EIP.
In the following, we will often refer to lattice translations of \(D_{1 +3s + 3s^2}\) as hexagonal configurations with radius \(s\in \mathbb {N}\) since each configuration \(D_{1 +3s + 3s^2}\) can be seen as the intersection of \({\mathcal {L}}_t\) and a regular hexagon with side s. In order to further characterize the solutions of the EIP, we associate to every minimizer \(M_n\) a maximal hexagonal configuration \(H_{r_{M_n}}\) that is contained in \(M_n\) and we evaluate how much \(M_n\) differs from \(H_{r_{M_n}}\) (see Sect. 3).
In view of the isoperimetric characterization of the ground states provided by Theorem 1.1, we are able to sharply estimate the distance of \(M_n\) to \(H_{r_{M_n}}\) both in terms of the cardinality of \(M_n\setminus H_{r_{M_n}}\) and by making use of empirical measures. We associate to every configuration \(C_n=\{x_1,\ldots ,x_n\}\) the empirical measure denoted by \(\mu _{C_n}\in M_b({\mathbb {R}}^2)\) (where \(M_b({\mathbb {R}}^2)\) is the set of bounded Radon measures in \(\mathbb {R}^2\)) of the rescaled configuration \(\{x_1/\sqrt{n},\ldots ,x_n/\sqrt{n}\}\), i.e.,
and we denote by \(\Vert \cdot \Vert \) and \(\Vert \cdot \Vert _\mathrm{F}\) the total variation norm and the flat norm, respectively (see Whitney 1957 and (72) for the definition of flat norm). Our second main result is the following.
Theorem 1.2
(Convergence to the Wulff shape). For every sequence of minimizers \(M_n\) in \({\mathcal {L}}_t\), there exists a sequence of suitable translations \(M^{\prime }_n\) such that
where \(\chi _{W}\) is the characteristic function of the regular hexagon W defined as the convex hull of the vectors
Furthermore, the following assertions hold true:
and
where \(H_{r_{M_n}}\) is the maximal hexagon associated to \(M_n\), and
The proof of Theorem 1.2 is based on the isoperimetric characterization of the minimizers provided by Theorem 1.1 and relies in a fundamental way on the maximality of the radius \(r_{M_n}\) of the maximal hexagonal configuration \(H_{r_{M_n}}\). The latter is essential to carefully estimate the number of particles of \(M_n\) that reside outside \(H_{r_{M_n}}\) in terms of \(r_{M_n}\) itself and the minimal perimeter \(p_n\). Thanks to this fine estimate we are able to find a lower bound on \(r_{M_n}\) in terms of n only [see (69)]. In particular, the method provides a lower bound for the radius \(r_{M_n}\) that allows us also to estimate from above the discrepancy between the sets \(M_n\) and \(H_{r_{M_n}}\) in the Hausdorff distance that is defined by
for nonempty sets \(S_1,S_2\subset \mathbb {R}^2\).
Corollary 1.3
(Hausdorff distance) For any minimizer \(M_n\) and its associated maximal hexagon \(H_{r_{M_n}}\) there holds
We observe that in view also of Theorem 1.1 estimates (15) – (18) and (20) provide a measure in different topologies of the fluctuation of the isoperimetric configurations in \({\mathcal {L}}_t\) with respect to corresponding maximal hexagons. Similar estimates have been studied in the context of isoperimetric Borel sets with finite Lebesgue measure in \(\mathbb {R}^d\), \(d\ge 2\). We refer the reader to Fusco et al. (2008) for the first complete proof of the quantitative isoperimetric inequality in such setting, and to Cicalese and Leonardi (2012), Figalli et al. (2010) for subsequent proofs employing different techniques.
Moreover, Theorem 1.2 appears to be an extension of analogous results obtained in Au Yeung et al. (2012), Schmidt (2013) by using a completely different method hinged on \(\Gamma \)convergence. In that context, the set W is the asymptotic Wulff shape and we will also often refer to W in this way. More precisely the minimization problem (4) is reformulated in Au Yeung et al. (2012), Schmidt (2013) in terms of empirical measures by introducing the energy functional
defined on the set of nonnegative Radon measures in \(\mathbb {R}^2\) with mass 1, where \(v_2\) is (a quantified small perturbation of) the stickydisk potential (Heitmann and Radin 1980). In Au Yeung et al. (2012), Schmidt (2013) it is proved that the rescaled sequence of functionals \(n^{1/2}(2{\mathcal {E}}_n +6n)\) \(\Gamma \)converges with respect to the weak\(^*\) convergence of measures to the anisotropic perimeter
where \(\partial ^*S\) is the reduced boundary of S, \(\nu _S\) is the outwardpointing normal vector to S, \({\mathcal {L}}^2(S)\) is the twodimensional Lebesgue measure of S, \({\mathcal {H}}^1\) is the onedimensional measure, and the anisotropic density \(\varphi \) is defined by
for every \(\nu =(\nu _1, \nu _2)\) with \(\nu _1=\sin \alpha \) and \(\nu _2=\cos \alpha \) for \(\alpha \in [0,\pi /6]\).
Let us note here that the \(\Gamma \)convergence result provided in Au Yeung et al. (2012) can be restated as a \(\Gamma \)convergence result for the edge perimeter. In fact, since the energy functional \({\mathcal {E}}_n\) is such that
for every \(C_n\in {\mathcal {C}}_n\), by (10) we have that the functional \({\mathcal {T}}_n:={\mathcal {E}}_n(\mu )+6n\) is such that
and \(n^{1/2}{\mathcal {T}}_n\) \(\Gamma \)converges with respect to the weak\(^*\) convergence of measures to the anisotropic perimeter \({\mathcal {P}}(\mu )\).
Besides the completely independent method, the main achievement of this paper with respect to Au Yeung et al. (2012), Schmidt (2013) is that of sharply estimating the constant \(K_t\) in formulas (15), (16), and (17). The deviation of the minimizers from the Wulff shape of order \(n^{3/4}\) was exhibited in Schmidt (2013) and referred to as the \(n^{3/4}\)law. Here we sharpen the result from Schmidt (2013) by determining the optimal constant in estimates (15), (16), and (17). We have the following.
Theorem 1.4
(Sharpness of the estimates) A sequence of minimizers \(M_{n_i}\) satisfying (15) – (17) with equalities can be explicitly constructed for \(n_i:=2+3i+3i^2\) with \(i\in \mathbb {N}\).
The proof of Theorem 1.4 is based on the estimate:
which holds true for the explicitly determined constant \(K_n\) introduced in (73). Estimate (24) is a consequence of the lower bound for the radius \(r_{M_n}\) established in the proof of Theorem 1.2, see (69). In fact, a sequence of minimizers \({\bar{M}}_n\) satisfying (24) with equality can be explicitly constructed. Note that such configurations \({\bar{M}}_n\) are singled out among configurations that present extra elements outside their maximal hexagon \(H_{{\bar{M}}_n}\) in correspondence of only two consecutive faces of \(H_{{\bar{M}}_n}\) (see Fig. 6). Therefore, to establish Theorem 1.4 is enough to show that
and to exhibit a subsequence \(n_i\) that realizes the limit.
Finally, we notice that our method appears to be implementable in other settings possibly including threebody interactions. This is done for the crystallization problem in the hexagonal lattice \({\mathcal {L}}_h\) in a companion paper (Davoli et al. 2016). Furthermore, we observe that analogous results to Theorem 1.2 were obtained in the context of the crystallization problem in the square lattice in Mainini et al. (2014a, b) with a substantially different method (even though also based on an isoperimetric characterization of the minimizers) resulting only in suboptimal estimates.
The paper is organized as follows. In Sect. 2, we introduce the notions of area A and perimeter P of configurations \(C_n\in {\mathcal {C}}_n\), we define the order \(\tau \) in \({\mathcal {L}}_t\), and we introduce the notion of weight \(\omega _{C_n}\). Furthermore, in Sect. 2.1 we provide the proof of Theorem 1.1. In Sect. 3, we introduce the notion of maximal hexagons \(H_{r_{M_n}}\) associated to minimizers \(M_n\) of (2) and we carefully estimate \(r_{M_n}\) from below in terms of n. In Sect. 4, we use the latter lower bound in order to study the convergence to the Wulff shape by providing the proof of Theorems 1.2 and 1.4 in Sects. 4.1 and 4.2, respectively.
Isoperimetric Inequality
In this section, we introduce the notion of area and perimeter of a configuration in \({\mathcal {C}}_n\) and we deduce various relations between its area, perimeter, energy and its edge boundary including a isoperimetric inequality.
We define the area A of a configuration \(C_n\in {\mathcal {C}}_n\) by
where \(T(C_n)\) is the family of ordered triples of elements in \(C_n\) forming triangles with unitary edges, i.e.,
The definition of \(A(C_n)\) is invariant with respect to any relabeling of the particles of \(C_n\).
In order to introduce the perimeter of a configuration in \({\mathcal {C}}_n\) let us denote by \(F(C_n)\subset \mathbb {R}^2 \) the closure of the union of the regions enclosed by the triangles with vertices in \(T(C_n)\), and by \(G(C_n)\subset \mathbb {R}^2\) the union of all bonds which are not included in \(F(C_n)\). The perimeter P of a regular configuration \(C_n\in {\mathcal {C}}_n\) is defined as
where \({\mathcal {H}}^1\) is the onedimensional Hausdorff measure. Note in particular that
where \(B_\varepsilon =\{y \in \mathbb {R}^2 \ : \ y\le \varepsilon \}\).
Since every triangle with vertices in \(T(C_n)\) contributes with 3 bonds to \(B(C_n)\), by (7) and (25) we have that
Thus, by recalling (26) and (27) the equality
yields
and we conclude that
Notice that (28) allows to express the energy of a configuration \(C_n\) as a linear combinations of its area and its perimeter, and that by (10) an analogous relation can be deduced for the edge boundary, namely
As already discussed in the introduction, in view of (10) we are able to combine the exact quantification of the groundstate energy E established in Heitmann and Radin (1980), Radin (1981) with the nestedsolution property provided by Harper (2004), Theorem 7.2. We record this fact in the following result that we state here without proof.
Proposition 2.1
There exists a total order \(\tau :\mathbb {N}\rightarrow {\mathcal {L}}_t\) such that for all \(n\in \mathbb {N}\) the configuration \(D_n\) defined by \(D_n:=\{x_{\tau (1)},\ldots ,x_{\tau (n)}\}\) which we refer to as daisy with n points is a solution of (2), i.e.,
where \(\theta _n\) is given by (12).
We remark that the sequence of daisy ground states \(\{D_n\}\) satisfies the property that
In particular, within the class of daisy configurations one can pass from a ground state to another by properly adding atoms at the right place, determined by the order \(\tau \).
The total order provided by Theorem 2.1 is not unique. We will consider here the total order \(\tau \) on \({\mathcal {L}}_t\) defined by moving clockwise on concentric daisies centered at a fixed point, as the radius of the daisies increases. To be precise, let \(x_{\tau (1)}\) be the origin (0, 0) and let \(x_{\tau (2)}\) be a point in \({\mathcal {L}}_t\) such that there is an active bond between \(x_{\tau (2)}\) and \(x_{\tau (1)}\). For \(i=3,\ldots ,7,\) we define the points \(x_{\tau (i)}\in {\mathcal {L}}_t\) as the vertices of the hexagon \(H_k\) with center \(x_{\tau (1)}\) and radius 1, numbered clockwise starting from \(x_{\tau (2)}\). We then consider the regular hexagons \(H_k\) that are centered at \(x_{\tau (1)}\), and have radius k and one side parallel to the vector \(x_{\tau (2)}x_{\tau (1)}\), and proceed by induction on the radius \(k\in \mathbb {N}\). To this aim, notice that the number of points of \({\mathcal {L}}_t\) contained in \(H_k\) is \(n_k:=1+3k+3k^2\). Assume that all the points \(x_{\tau (i)}\), with \(i\le n_k\), have been identified. We define \(x_{\tau (1+n_k)}\) as the point \(p\in {\mathcal {L}}_t\cap \ell _k\) such that \(px_{\tau (n_k)}=1\) and \(p\ne x_{\tau (n_k1)}\), where \(\ell _k\) denotes the line parallel to the vector \(x_{\tau (2)}x_{\tau (1)}\), and passing through the point \(x_{\tau (n_k)}\). For \(i\in (n_k+1, n_{k+1}]\), we then define \(x_{\tau (i)}\) by clockwise numbering the points of \({\mathcal {L}}_t\) on the boundary of \(H_k\) (see Fig. 1).
We will write \(x<_{\mathcal {\tau }}y\) referring to the total order \(\tau \) described above. A weight function \(\omega \) is defined on \({\mathcal {L}}_t\) by the following
for every \(x\in {\mathcal {L}}_t\). We observe that \(\omega \) assumes value 0 at the point \(x_{\tau (1)}\), value 1 at \(x_{\tau (2)}\) (that is a point bonded to \(x_{\tau (1)}\)), and values 2 or 3 at all the other points in \({\mathcal {L}}_t\) (see Fig. 2). Furthermore, we have that
and that \({\mathcal {L}}_t=\{ x_{\tau (1)},x_{\tau (2)}\}\cup \Omega _2\cup \Omega _3\) with
Moreover, for every configuration \(C_n\) we introduce a weight function \(\omega _{C_n}\) defined by
for every \(x\in C_n\) (and thus depending on \(C_n\)). In this way \(C_n\) can be rewritten as the union
where
for \(k=0,\ldots ,3\). We notice that \(\omega _{C_n}(x)\le \omega (x)\) for every \(x\in C_n\) and that \(C_n^{0}\) is the number of connected components of \(C_n\).
In order to prove the isoperimetric inequality (13), we first express the energy, the perimeter, the edge perimeter, and the area of a regular configuration \(C_n\) as a function of the cardinality of the sets \(C_n^{k}\).
Proposition 2.2
Let \(C_n\) be a regular configuration in \({\mathcal {L}}_t\). Then
for every \(n\in \mathbb {N}\).
Proof
Fix \(n\in {\mathbb {N}}\), and let \(C_n\) be a regular configuration in \({\mathcal {L}}_t\). In analogy to (31) there holds
For \(i=0,\ldots ,n1\), denote by \(C_{i}\) the subset of \(C_n\) containing the first i points of \(C_n\), according to the total order \(\tau \). If \(x_{\tau (i)}\in C_n^{0}\), then
if \(x_{\tau (i)}\in C_n^{1}\), then
if \(x_{\tau (i)}\in C_n^{2}\), then
whereas, if \(x_{\tau (i)}\in C_n^{3}\), we have
In view of (38)–(41), we obtain (34)–(37). \(\square \)
We notice that from (34),(35), and (36) we also recover (28), which in turn, together with (37), yields
for every configuration \(C_n\). Moreover, from the equality
(35), and (36) it follows that
Note that in particular if \(C_n=D_n\) then \(\omega _{C_n}(x)=\omega (x)\). Furthermore, \(D_n^{0}=\{x_{\tau (1)}\}\), \(D_n^{1}=\{x_{\tau (2)}\}\), \(D_n^{2}=\Omega _2\cap D_n\), and \(D_n^{3}=\Omega _3\cap D_n\). Therefore, (34)–(42) yield
and by (42) and (43) we obtain
and
for every \(n>1\).
Proposition 2.3
The following assertions are equivalent and hold true for every connected configuration \(C_n\):

(i)
\(\Theta (D_n)\le \Theta (C_n)\);

(ii)
\(P(D_n)\le P(C_n)\);

(ii)
\(A(D_n)\ge A(C_n)\).
Proof
The first assertion follows directly from (30) and is equivalent to the second by (36) and (37). The second assertion is equivalent to the third by (29) and (30). \(\square \)
Proof of Theorem 1.1
In this subsection, we prove Theorem 1.1 by characterizing the minimizers of EIP as the solutions of a discrete isoperimetric problem. We proceed in two steps.
Step 1 We claim that
Indeed, by (11), (12), (30), (44), there holds
Equalities (12) and (47) yield
Theorefore, by (49) and (50), we have
and
Claim (48) follows now by (45), (46), (51) and (52), and by observing that
Inequality (13) is a direct consequence of (48) and Proposition 2.3. By Proposition 2.3 we also deduce that the maximal area and the minimal perimeter among connected configurations are realized by \(A(D_n)=\theta _n/2 + 2n +1\) and \(P(D_n)=\theta _n/23\), respectively.
Step 2 We prove the characterization statement of Theorem 1.1. Let \(C_n\) be a connected configuration satisfying
We claim that \(C_n\) is a minimizer. In fact, the claim follows from
where we used (30) in the first inequality, (29) in the first and last equality, (28) in the second, (53) in the third, Proposition 2.3 in the second inequality, and (48) in the third equality.
Viceversa, let \(M_n\) be a connected minimizer. By (10), (36), and (37), \(P(M_n)=P(D_n)\); by (28), \(A(M_n)=A(D_n)\). Thus (13) holds with the equality by (48). This concludes the proof of the theorem.
Maximal Hexagons Associated to EIP Minimizers
In this section, we introduce the notion of maximal hexagons \(H_{r_{M_n}}\) associated to minimizers \(M_n\) and we provide a uniform lower estimate of \(r_{M_n}\) in terms of n [see (69)].
Fix a minimizer \(M_n\). Let \({\mathcal {H}}^{M_n}_s\) be the family of the configurations contained in \(M_n\) that can be seen as translations in \({\mathcal {L}}_t\) of daisy configurations \(D_{1 +3s + 3s^2}\) for some \(s\in \mathbb {N}\cup \{0\}\), i.e.,
and choose \(H_{r_{M_n}}\) to be a configuration in \({\mathcal {H}}^{M_n}_{r_{M_n}}\) where
We will refer to \(H_{r_{M_n}}\) as the maximal hexagon associated to \(M_n\). Notice that the number of atoms of \(M_n\) contained in \(H_{r_{M_n}}\) is
In the following, we will often denote the minimal regular hexagon containing \(H_{r_{M_n}}\) by \({\hat{H}}_{r_{M_n}}\) (see Fig. 3), i.e.,
Following the notation introduced in Sect. 2 in (33), we decompose \(M_n\) as
In the following proposition, we observe that if \(n>6\), then there exists a nondegenerate maximal hexagon for every minimizer.
Proposition 3.1
For \(n\le 6\), then the maximal hexagon \(H_{r_{M_n}}\) is degenerate for every minimizer \(M_n\) of (2). If \(n>6\), then the maximal radius \(r_{M_n}\) of every minimizer \(M_n\) of (2) satisfies \(r_{M_n}\ge 1\).
Proof
It is immediate to check that for \(n=1\), \(M_n^{1}=0\), and for \(n=2\) or \(n=3\), \(M_n^{1}=1\). A direct analysis of the cases in which \(n=4,5,6,\) shows that \(2\ge M_n^{1}\ge 1\). It is also straightforward to observe that for \(n=0,\ldots ,6\), there holds \(r=0\).
We claim that for \(n\ge 7\) the radius \(r_{M_n}\) satisfies \(r_{M_n}\ge 1\). Indeed, assume that \(M_n\) is such that \(r_{M_n}=0\). Then \(M_n\) does not contain any hexagon with radius 1 and hence, for every \(x\in M_n\) we have that
Property (57) is equivalent to claiming that every element of \(M_n\) contributes to the overall perimeter of \(M_n\), and the contribution of each element is at least 1. Therefore,
By Theorem 1.1, it follows that
which in turn by (12) implies
that is
which finally yields \(1\le n\le 7\). To conclude, it is enough to notice that for \(n=7\), \(\theta _n/23=6\), thus contradicting (58). \(\square \)
In view of Proposition 3.1 for every minimizer \(M_n\) with \(n>6\), we can fix a vertex \(V_0\) of its (nondegenerate) hexagon \({\hat{H}}_{r_{M_n}}\) and denote by \(V_1,\ldots ,V_5\) the other vertices of \({\hat{H}}_{r_{M_n}}\) numbered counterclockwise starting from \(V_0\). For \(k=0,\ldots ,4\), let us also denote by \(s_k\) the line passing through the side of \({\hat{H}}_{r_{M_n}}\) with endpoints \(V_k\) and \(V_{k+1}\), and let \(s_5\) be the line passing through \(V_5\) and \(V_0\).
In the following we will need to consider the number of levels of atoms in \({\mathcal {L}}_t\) around \(H_{r_{M_n}}\) containing at least one element of \(M_n\). Denote by \(\mathbf{e }_k\) the outer unit normal to the side \(s_k\) of \({\hat{H}}_{r_{M_n}}\) and define
where \(s_k^{j}\) are the lines of the lattice \({\mathcal {L}}_t\) parallel to \(s_k\) and not intersecting \(H_{r_{M_n}}\), namely
for \(j\in \mathbb {Z}\). Let also \(\pi _k\) be the open halfplane with boundary \(s_k\) and not intersecting the interior of \({\hat{H}}_{r_{M_n}}\).
We first show that \(M_n\) satisfies a connectedness property with respect to the directions determined by the lattice \({{\mathcal {L}}}_t\). To this purpose, we introduce the notion of 3convexity with respect to \({\mathcal {L}}_t\).
Definition 3.2
We recall that
We say that a set \(S\subset {{\mathcal {L}}}_t\) is 3convex if for every \(p,q\in S\) such that \(q:=m{\varvec{t}}_i\,+\,p\) for some \(m\in \mathbb {N}\) and \(i\in \{1,2,3\}\) one has that \(q':=m'{\varvec{t}}_i\,+\,p\in S\) for every integer \(m'\in (0,m)\). Furthermore, we refer to the lines
as the lines of the lattice \({\mathcal {L}}_t\) at p.
Note that by Definition 3.2 a set S is 3convex if there is no line \(\ell ^p_i\) of the lattice \({\mathcal {L}}_t\) at a point \(p\in {\mathcal {L}}_t\setminus S\) that is separated by p in two halflines both containing points of the set S.
Proposition 3.3
Let \(M_n\) be a minimizer. Then \(M_n\) is 3convex.
Proof
For the sake of contradiction assume that the minimizer \(M_n\) is a not 3convex. Then there exist a point \(p\in {\mathcal {L}}_t\setminus M_n\) and \(i\in \{1,2,3\}\) such that the line \(\ell ^p_i\) (see Definition 3.2) is divided by p in two halflines both containing points of \(M_n\). We claim that we can rearrange the n points of \(M_n\) in a new 3convex configuration \({\tilde{M}}_n\) such that \(\Theta ({\tilde{M}}_n)<\Theta (M_n)\) thus contradicting optimality.
Denote for simplicity \(\ell _0:=\ell ^p_i\) and let \(\ell _1,\ldots ,\ell _m\) be all the other lines parallel to \(\ell _0\) that intersect \(M_n\). Furthermore, let \(c_k=M_n\cap \ell _k\) for \(k=1,\ldots ,m\). Starting from the elements of the sequence \(\{c_k\}\), we rearrange them in a decreasing order, constructing another set \(\{d_k\}\) with the property that \(d_0\ge d_1\ge \cdots \ge d_m\). Finally, we separate the elements of \(\{d_k\}\) having odd indexes from those having even indexes and we rearrange them in a new set \(\{f_k\}\) obtained by first considering the elements of \(\{d_k\}\) with even indexes, in decreasing order with respect to their indexes, and then the elements of \(\{d_k\}\) having odd indexes, with increasing order with respect to their indexes. The set \(\{f_k\}\) constructed as above has the property that the two central elements have the maximal value, and the values of the elements decrease in an alternated way by moving toward the sides of the ordered set. Let \({\bar{k}}\) be the index corresponding to the central element of the set \(\{f_k\}\), if m is even, and to the maximum between the two central elements of \(\{f_k\}\), if m is odd.
As an example, if we start with a set \(\{c_k\}=\{9,4,2,5,3,1,17\}\), the sequence \(\{d_k\}\) is given by \(\{17,9,5,4,3,2,1\}\) and the sequence \(\{f_k\}\) by \(\{1,3,5,17,9,4,2\}\). Here \({\bar{k}}=4\).
Fix a point \(P_{{\bar{k}}}\in {{\mathcal {L}}}_t\) and an angular sector S of amplitude \(2\pi /3\), with vertex in \(P_{{\bar{k}}}\), whose sides \(\sigma _1\) and \(\sigma _2\) lay on the two lines departing from \(P_{{\bar{k}}}\) which are not parallel to \(\ell _0\). Consider the points \(P_0,\ldots ,P_{{\bar{k}}1}\in \sigma _1\cap M_n \), such that
Analogously, consider the points \(P_{{\bar{k}}+1},\ldots ,P_m\in \sigma _2\cap M_n\), satisfying
For \(k=0,\ldots ,m\), let \({\tilde{\ell }}_k\) be the line parallel to \(\ell _0\) and passing through \(P_k\). To construct the set \({\tilde{M}}_n\), we consider \(f_k\) consecutive points on each line \({\tilde{\ell }}_k\), starting from \(P_k\). We note that \({\tilde{M}}_n=M_n=n\), the number of bonds in each line parallel to \(\ell _0\) has increased. On the other hand, the number of bonds between different lines has not decreased. Indeed, given two parallel lines with a and b points, respectively, the maximal number of bonds between these two lines is either 2a if \(a<b\), or \(2a1\) if \(a=b\). This maximal value is achieved by construction by the modified configuration. Hence,
providing a contradiction to the optimality of \(M_n\). \(\square \)
Since every minimizer \(M_n\) is 3convex, the quantity \(\lambda _k\) introduced in (59) for \(k=0,\ldots ,5\) provides the number of nonempty levels of atoms in \(M_n\cap \pi _k\) for \(n>6\). In fact, by the definition of \(\tau \) each partially full level contains at least one point in \((M_n^{1}\cup M_n^{2})\setminus H_{r_{M_n}}\). Hence,
On the other hand,
In the remaining part of this section, we provide a characterization of the geometry of \(M_n\setminus H_{r_{M_n}}\) for \(n>6\), by subdividing this set into good polygons \(P_k\) and bad polygons \(T_k\), and by showing that the cardinality of \(M_n\setminus H_{r_{M_n}}\) is, roughly speaking, of the same order of magnitude as the one of the union of good polygons.
Given a minimizer \(M_n\) and its maximal hexagon \(H_{r_{M_n}}\), we denote by \(H_{r_{M_n}+1}\) the hexagon with side \(r_{M_n}+1\) and having the same center as \(H_{r_{M_n}}\). In the following, we denote the hexagon containing \(H_{r_{M_n}+1}\) by
We first show that, by the optimality of \(H_{r_{M_n}}\), there exists an angular sector of \(2\pi /3\), and centered in one of the vertices of \({\hat{H}}_{r_{M_n}+1}\), which does not intersect \(M_n\). To this end, we denote by \(V_i'\), \(i=0,\ldots ,5\) the vertices of the hexagon \({\hat{H}}_{r_{M_n}+1}\), with the convention that \(V_i'\) lies on the halfline starting from the center of \(H_{r_{M_n}}\) and passing through \(V_i\).
Lemma 3.4
Let \(M_n\) be a minimizer with \(r_{M_n}>0\). Then
 \({ (i)}\) :

The hexagon \({\hat{H}}_{r_{M_n}+1}\) presents at least a vertex, say \(V'_j\) with \(j\in \{0,\ldots ,5\}\), that does not belong to \(M_n\).
 \({ (ii)}\) :

There exists \(k\in \{0,\ldots ,5\}\) such that the open angular sector \(S_k\) of amplitude \(2\pi /3\), centered in \(V'_k\), and with sides \(s^1_k\) and \(s^1_{k1}\) (with the convention that \(s^1_{1}:=s^1_{5}\) ) is such that \(\overline{S_k}\cap M_n=\emptyset \).
 \({ (iii)}\) :

Every translation \({\hat{H}}\) of \({\hat{H}}_{r_{M_n}+1}\) by a vector \({\mathbf{t }}:=n{\varvec{t}}_1+m{\varvec{t}}_2\) with \(n,m\in \mathbb {Z}\) that has a vertex \(v\not \in M_n\) admits a vertex \(w\not \in M_n\) (possibly different from v) and an open angular sector S of amplitude \(2\pi /3\) and centered in w such that \({\overline{S}}\cap M_n=\emptyset \).
Proof
We begin by showing assertion (i). In view of the maximality of \(H_{r_{M_n}}\) there exists a point \(p\in {\mathcal {L}}_t\) on the boundary of \({\hat{H}}_{r_{M_n}+1}\) such that \(p\notin M_n\). Either p is already a vertex of \({\hat{H}}_{r_{M_n}+1}\) or p is an internal point on the side of \({\hat{H}}_{r_{M_n}+1}\) parallel to \(s_j\) for some j. In this latter case, by the 3convexity of \(M_n\), either \(V_{j}'\) or \(V_{j+1}'\) does not belong to \(M_n\) and hence, also in this case assertion (i) holds true.
We now denote by \(V_{j}'\) the missing vertex of the hexagon \({\hat{H}}_{r_{M_n}+1}\) and prove assertion (ii). Let us consider the two halflines in which \(V_j'\) divides the line \(s_j^1\). By the 3convexity of \(M_n\), at least one of them does not intersect \(M_n\). Analogously, if we consider the two halflines in which \(V'_j\) divides the line \(s^1_{j1}\), by the 3convexity of \(M_n\) at least one of them does not intersect \(M_n\). Finally, if we consider the line \(s'\) passing through the center of \(H_{r_{M_n}}\) and \(V_j'\), the 3convexity of \(M_n\) implies that the points of \(s'\) whose distance from the center of \(H_{r_{M_n}}\) is bigger than \(r_{M_n}+1\) do not belong to \(M_n\). In view of the geometric position of such three halflines departing from \(V_j'\), we can conclude that the claim holds true by using once again the 3convexity of \(M_n\).
Let us conclude by observing that assertion (iii) follows by a similar argument to the one employed to prove assertion (ii). If the center of \({\hat{H}}\) is in \(M_n\), then the same argument works and we can chose \(w=v\). If the center of \({\hat{H}}\) is not in \(M_n\), then the line passing through the missing vertex v and the center of \({\hat{H}}\) does not intersect \(M_n\) outside \({\hat{H}}\) either for v or for the opposite vertex w with respect to the center of \({\hat{H}}\). \(\square \)
In the following, we assume without loss of generality that the vertex \(V_0\) has been chosen so that the index k in assertion (ii) of Lemma 3.4 is 0. Therefore, by assertion (ii) of Lemma 3.4 we obtain that the open angular sector \(S_0\) of \(2\pi /3\), centered in \(V'_0\), and with sides \(s^1_0\) and \(s^1_{5}\) is such that \(\overline{S_0}\cap M_n=\emptyset \).
Let us use the definition of the levels \(\lambda _k\) for \(k=0,\ldots ,5\) introduced in (59) to define a region \({\hat{R}}\) that contains all extra points of \(M_n\), i.e., points of \(M_n\) not contained in \(H_{r_{M_n}}\). We already know that we can take \({\hat{R}}\subset (\mathbb {R}^2\setminus {\hat{H}}_{r_{M_n}})\cap (\mathbb {R}^2\setminus S_0)\). We define the region \({\hat{R}}\) as follows (see Fig. 4):
The set \({\hat{P}}_0\) in (63) is the polygon delimited by the lines \(s_5,s_0^{1},s_0^{\lambda _0},s_5^{r+1}\) and the sets \({\hat{P}}_k\) in (63) is defined by
for every \(k=1,\ldots ,5\), where for every \(a\in [2\,r_{M_n},2\,r_{M_n}]\) we denote by \({\hat{P}}_k^{1}(a)\) the polygon contained between \(s_k^{1}\), \(s_k^{a}\), \(s_{k+1}\), \(s_{k+1}^{r+1}\), and by \({\hat{P}}_k^{2}(a)\) the set delimited by \(s_k^{a}\), \(s_k^{\lambda _k}\), \(s_{k1}^{\lambda _{k1}r+1}\), \(s_{k1}^{\lambda _{k1}}\). Finally the sets \({\hat{T}}_k\) are the region between \({\hat{P}}_{k1}\) and \({\hat{P}}_k\) or, more precisely,
Note that \({\hat{T}}_1\) by definition (64) reduces to a segment contained in the line \(s_2^{r_{M_n}}\) such that
Furthermore, we consider the configurations \(P_k:=\hat{P_k}\cap {\mathcal {L}}_t\) for \(k=0,\ldots ,5\), \(T_k:=\hat{T_k}\cap {\mathcal {L}}_t\) for \(k=1,\ldots ,5\), and \(R:={\hat{R}}\cap {\mathcal {L}}_t\). We notice that \(M_n\subset H_{r_{M_n}}\cup R\) and that
where \(H_{r_{M_n}}=1+3\,r_{M_n}+3\left( r_{M_n}\right) ^2\), and
where in the last equality we used that \(P_k=r_{M_n}\lambda _k\) for \(k=0,\ldots ,5\). Furthermore, for every \(x\in R\) and every \(k=0,\ldots ,5\) there exists \(j_k\in [\lambda _{k'}2r,\lambda _k]\) with \(k':=(k+3)_{\mathrm{mod }\, 6}\) and \(k'\in \{0,\ldots ,5\}\) such that \(x\in s_k^{j_k}\). Hence, in particular, every \(x\in R\) is uniquely determined by a pair of indexes \((j_k,j_{k'})\), with \(k'\ne k+3\) in \(\mathbb {Z}_6\).
Proposition 3.5
Let \({\mathcal {H}}\) be the family of the configurations that can be seen as translations in \({\mathcal {L}}_t\) of the daisy configuration \(D_{1 +3s + 3s^2}\) for \(s:=r_{M_n}+1\) and that are contained in \(H_{r_{M_n}}\cup R\), i.e.,
Then there holds
Proof
Let \(h:={\mathcal {H}}\). We show by induction on \(m=1,\ldots ,h\) that for every family \({\mathcal {H}}_m\subset {\mathcal {H}}\) with \({\mathcal {H}}_m=m\), there exists a set \(V_{{\mathcal {H}}_m}\subset R\setminus M_n\) with \(V_{{\mathcal {H}}_m}=m\), such that the correspondence that associates to each \(v\in V_{{\mathcal {H}}_m}\) a hexagon \(H\in {\mathcal {H}}_m\) if v is a vertex of \({\hat{H}}:=F(H)\), is a bijection.
We remark that the thesis will follow once we prove the assertion for \(m=h\). The claim holds for \(m=1\) by reasoning in the same way as in the first assertion of Lemma 3.4. Assume now that the claim is satisfied for \(m={\bar{m}}\). Consider a family \({\mathcal {H}}_{{\bar{m}}+1}=\{H_1,\ldots ,H_{{\bar{m}}+1}\}\subset {\mathcal {H}}\), and the polygon
Furthermore, let us define
We subdivide the remaining part of the proof into 4 steps.
Step 1 There exists a vertex \({\tilde{v}}\) of \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\) that is not in \(M_n\). Indeed, if all vertices of \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\) belong to \(M_n\), by 3convexity\({\mathcal {P}}_{{\bar{m}}+1}\subset M_n\), and hence \(H_{{\bar{m}}+1}\subset {\mathcal {P}}_{{\bar{m}}+1}\subset M_n\), which would contradict the maximality of \(r_{M_n}\).
Step 2 By assertion (iii) of Lemma 3.4 there exists a vertex w of \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\) not in \(M_n\) and an open angular sector S centered in w, amplitude \(2\pi /3\), and sides \(\sigma _1,\sigma _2\subset {\mathcal {L}}_t\) such that \({\bar{S}}\cap M_n=\emptyset \).
Step 3 There exists a vertex v of \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\) that is not in \(M_n\) and that corresponds to an interior angle of \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\) of \(2\pi /3\). In fact, \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\) can have vertices with angles of \(2\pi /3\), \(4\pi /3\), and \(5\pi /3\) only. If the vertex w detected in Step 2 corresponds to an angle of \(2\pi /3\), there is nothing to prove. If w corresponds to an angle of \(4\pi /3\) or \(5\pi /3\), then we have two cases.
Case 1 The intersection between S and the closure of \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\) is empty. Then, for every \(j=1,2\), there exists \(v_j\in \sigma _j\) such that the segment with endpoints w and \(v_j\) denoted by \(wv_j\) is contained in \(\partial \hat{{\mathcal {P}}}_{{\bar{m}}+1}\) and \(v_j\) is a vertex of \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\). Furthermore, \(v_j\notin M_n\) because \(v_j\in S\), and \(v_j\) is associated to an angle of \(2\pi /3\), since \(S\cap \bar{{\mathcal {P}}}_{{\bar{m}}+1}=\emptyset \). The proof follows by taking \(v=v_1\).
Case 2 The intersection between S and the closure of \(\hat{{\mathcal {P}}}_{{\bar{m}}+1}\) is nonempty. Without loss of generality, we can assume that the two sides of the angular sector S are given by
and
Define
for \(k\in \mathbb {N}\). Since \({\mathcal {P}}_{{\bar{m}}+1}\cap S\) is bounded, we can find
and
For \(j=1,2\), the intersection \(\sigma _j^{k_j}\cap \partial \hat{{\mathcal {P}}}_{{\bar{m}}+1}\cap S\) is a segment with at least one endpoint \(v\in S\) corresponding to a vertex of \(\partial \hat{{\mathcal {P}}}_{{\bar{m}}+1}\) associated to an angle of \(2\pi /3\).
Step 4 Let v be the vertex provided by Step 3. Then, there exists a unique \({\hat{H}}_{{\bar{j}}}\in {\mathcal {H}}_{{\bar{m}}+1}\) having v among its vertices. By the induction hypothesis on \(\{{\hat{H}}_1,\ldots ,{\hat{H}}_{{\bar{m}}+1}\}\setminus \{{\hat{H}}_{{\bar{j}}}\}\) there exists a family of vertices \(\{v_j\}_{j=1,\ldots ,{\bar{m}}+1,\,j\ne {\bar{j}}}\subset R\setminus M_n\) such that \(v_j\) is a vertex of \({\hat{H}}_j\) and for every \(i\ne j\), \(v_j\) is not a vertex of \({\hat{H}}_i\). The thesis follows then by setting \(v_{{\bar{j}}}=v\), and by taking \(V_{{\mathcal {H}}_{{\bar{m}}+1}}=\{v_1,\ldots ,v_{{\bar{m}}+1}\}\). \(\square \)
In view of Proposition 3.5 in order to estimate from below the cardinality of \(R\setminus M_n\), it suffices to estimate the cardinality of \({\mathcal {H}}\). To this end, we denote in the following by \({\hat{U}}_k\) the closure of the region in \(\mathbb {R}^2\) containing \(H_{r_{M_n}}\) and delimited, respectively, by \(s_{3}\), \(s_{4}\), and \(s_{5}\) for \(k=2\), \(s_{4}\), \(s_{5}\), and \(s_{0}\) for \(k=3\), \(s_{5}\), \(s_{0}\), and \(s_{1}\) for \(k=4\), and \(s_{0}\), \(s_{1}\), and \(s_{2}\) for \(k=5\). Notice that \(T_k\subset {\hat{U}}_k\) (see Fig. 5).
Lemma 3.6
There holds
Proof
For notational simplicity we will omit in the rest of this proof the dependence of the radius \(r_{M_n}\) on the minimizer \(M_n\). We begin by noticing that
where
for \(k=2,3,4,5\). We claim that
and we observe that (66) directly follows from (67) and (68).
The rest of the proof is devoted to show (68). Let \(x\in T_k\) and consider \((j_k,j_{k1},j_{k2})\) such that \(x\in s_{k}^{j_k}\cap s_{k1}^{j_{k1}}\cap s_{k2}^{j_{k2}}\). In the following, we identify x with the triple of indexes \((j_k,j_{k1},j_{k2})\), and we write \(x=(j_k,j_{k1},j_{k2})\). Let \(H_x\) be the hexagon with vertices x,
(see Fig. 5 for an example of an hexagon \(H_x\in {\mathcal {H}}_2\) with \(x\in T_2\)).
\(H_x\) is contained in \({\hat{U}}_k\) if for every \(j=0,\ldots ,5\) there holds \(v_j\in {\hat{U}}_k\). This latter condition is equivalent to checking that the following inequalities are satisfied
Hence, if \(x=(j_j,j_{k1},j_{k2})\in T_k\) is such that
then \(H_x\subset {\hat{U}}_k\). By the definition of the sets \(T_k\) [see (64)], the previous properties are fulfilled by every \(x\in T_k\), apart from those points belonging to the portion of the boundary of \({\hat{T}}_k\) which is adjacent either to \({\hat{P}}_{k1}\) or to \({\hat{P}}_k\). Denoting by \({\tilde{T}}_k\) this latter set, claim (68) follows once we observe that
\(\square \)
Moving from Proposition 3.5 and Lemma 3.6, we deduce the lower estimate on the maximal radii \(r_{M_n}\) of the minimizers \(M_n\) of (2).
Proposition 3.7
Let \(M_n\) be a minimizer of (2) with maximal radius \(r_{M_n}\). Then
with
Proof
For the sake of notational simplicity, we will omit in the rest of this proof the dependence of the maximal radius \(r_{M_n}\) from \(M_n\). By Proposition 3.5 and Lemma 3.6 we have
and so, by (62) and (65), we obtain
Thus, the maximal radius satisfies the following inequality:
Estimate (69) follows from (71) by solving (71) with respect to r and recalling that \(p_n=\theta _n/23\) by Theorem 1.1 and \(\theta _n=2{\left\lceil {\alpha _n}\right\rceil }\) by (12). \(\square \)
A direct consequence of (69) is the upper bound on the Hausdorff distance between the sets \(M_n\) and \(H_{r_{M_n}}\) introduced in Corollary 1.3.
Proof of Corollary 1.3
Let \(M_n\) be a minimizer. We assume with no loss of generality that \(n>6\) so that by Proposition 3.1 the maximal hexagon \(H_{r_{M_n}}\) is not degenerate. Then
Therefore, by (62) and (70) we obtain that
where we used Proposition 3.7 in the second inequality. \(\square \)
Convergence to the Wulff Shape
In this section, we use the lower bound (69) on the maximal radius \(r_{M_n}\) associated to each minimizer \(M_n\) of (2) to study the convergence of minimizers to the hexagonal asymptotic shape as the number n of points tends to infinity.
To this end, we recall from the introduction that W is the regular hexagon defined as the convex hull of the vectors
where \(\mathbf{t_i}\) are defined in Definition 3.2 for \(i=1,2,3\). Furthermore, in the following \(\mu \) will denote the measure
where \(\chi _{W}\) is the characteristic function of W. We recall that by \(\Vert \cdot \Vert \) we denote the total variation norm and by \(\Vert \cdot \Vert _\mathrm{F}\) the flat norm defined by
for every \(\mu \in M_b({\mathbb {R}}^2)\) (see Whitney 1957).
Proof of Theorem 1.2
In this subsection, we prove Theorem 1.2.
Step 1 We start by considering
where \(\alpha _n:=\sqrt{12n3}\), see (70). In view of the definition of \(H_{r_{M_n}}\), we observe that
where we used Proposition 3.7 in the inequality. Therefore, by (73) and (74) we obtain estimate (24), i.e.,
Furthermore, since
and \(H_{r_{M_n}}\subset M_n\), by (24) we also obtain that
We now define
and consider the empirical measure \(\mu _{D_{d_n}}\) associated to the daisy \(D_{d_n}\). For every point \(x_i\in D_{d_n}\), we denote by \(Z_i\) the Voronoi cell in \({\mathcal {L}}_t\) related to \(x_i\) that is the regular hexagon centered in \(x_i\) with side \(1/\sqrt{3}\) and edges orthogonal to the three lattice directions. Furthermore, let \(Z_i^n:=\{x/\sqrt{n}\,:\,x\in Z_i\}\). We observe that
and
For every \(\varphi \in W^{1,\infty }({\mathbb {R}}^2)\), we obtain that
where we used (76) and (77) in the third and the last inequality, respectively.
By combining (75) with (78), we obtain that
and
where \(M'_n:=M_nq_n\), with \(q_n\in {\mathcal {L}}_t\) such that \(H_{r_{M_n}}=D_{1+3r_{M_n}+3r_{M_n}^2}+q_n\).
Step 2 Assertions (15)–(18) directly follow from (24), (75), and (80) since by (70) and (73) a direct computation shows that
We notice here that Theorem 1.2 implies in particular the convergence (up to translations) of the empirical measures associated with the minimizers to the measure \(\mu \) not only with respect to the weak\(*\)converge of measures, but also with respect to the flat norm [see (72)].
We remark that an alternative approach to the one adopted in Theorem 1.2 is that of defining a unique nconfigurational Wulff shape \(W_n\) for all the minimizer with n atoms. For example, we could define
where \({\hat{W}}_n\) is the hexagon with side \(p_n/6\) and center \(x_{\tau (1)}\). We remark that the \(\mathrm{O}(n^{1/4})\) estimate on the Hausdorff distance and the \(\mathrm{O}(n^{3/4})\)law still hold true by replacing the maximal hexagon \(H_{r_{M_n}}\) with \(W_n\).
More precisely, by Proposition 3.7 we have that
and that
for every minimizer \(M_n\). Therefore, we obtain that
by (24) and (84), with \(M'_n:=M_nq_n\) where \(q_n\in {\mathcal {L}}_t\) are chosen in such a way that
Furthermore, from (84) it follows that
Proof of Theorem 1.4
In this subsection, we prove that the estimates (15)–(17) are sharp.
Step 1 In this step, we show that there exists a sequence of minimizers \({\overline{M}}_n\) such that, denoting by \(H_{r_{\,{\overline{M}}_n}}\) their maximal hexagons,
We will explicitly construct the minimizers \({\overline{M}}_n\). To this end, we denote by \({\hat{H}}_{r_n}\) the closure of the regular hexagon in \(\mathbb {R}^2\) with center in \(x_{\tau (1)}\) and side \(r_n\) defined by
and we introduce \(H_{r_n}:={\hat{H}}_{r_n}\cap {\mathcal {L}}_t\). Furthermore, we define
and we consider the region
that consists of two parallelograms of height \(h_n\) constructed on two consecutive sides of \(H_{r_n}\) (see Fig. 6).
Let \(c:=({\hat{H}}_{r_n}\cup {\hat{A}}_n)\cap {\mathcal {L}}_t\). We denote by \(C_c\) the configuration defined by
and we observe that, by construction, the perimeter of \(C_c\) satisfies
We subdivide the remaining proof of the claim into two substeps.
Substep 1.1. We claim that for every n big enough there exists a minimizer \({\overline{M}}_n\) such that
and \(C_c\setminus {\overline{M}}_n\le 2r_n1\).
We begin by observing that
Then, a direct computation shows that
for every \(s\in \left[ \displaystyle \frac{{\left\lceil {\alpha _n}\right\rceil }}{6}\,3\,\frac{1}{6}\sqrt{{\left\lceil {\alpha _n}\right\rceil }^2+3} , \frac{{\left\lceil {\alpha _n}\right\rceil }}{6}\,3\,+\frac{1}{6}\sqrt{{\left\lceil {\alpha _n}\right\rceil }^2+3} \right] \), and, for n big enough,
for every \(s\in {\mathbb {R}}\). In particular, (88) and (89) hold for \(s=r_n\) and for n sufficiently large, yielding
We now observe that by the definition of \(C_c\) it is possible to remove up to \(2r_n1\) points from \(C_c\setminus H_{r_n}\) without changing the perimeter of the configuration. In view of (90), we construct \({\overline{M}}_n\) by removing in such a way \(cn\) points from \(C_c\). It follows from (86) that \(P({\overline{M}}_n)=p_n\) and hence, the claim holds true.
Substep 1.2. Let \({\overline{M}}_n\) be the sequence of ground states constructed in the previous substep. In view of (90), and of the definition of \(\alpha _n\) and \(p_n\), there holds
Moreover, by the definition of \({\overline{M}}_n\) we have that
The thesis follows from combining (91) and (92) since \(H_{r_n}\) is by construction the maximal hexagon of \({\overline{M}}_n\).
Step 2 In this last step, we remark that
and that for those \(n_j\in {\mathbb {N}}\) of the form \(n_j=2+3j+3j^2\) there holds
as \(j\rightarrow +\infty \).
In fact, we have that
which in turn yields
as \(j\rightarrow +\infty \).\(\square \)
It is remarkable that the leading terms in the estimates (24), (75), and (80) established in Step 1 of Theorem 1.2 are optimal for every \(n\in \mathbb {N}\) as it follows from Step 1 of the proof of Theorem 1.4.
Finally, we notice that the bounded quantities \(K_n\) defined in (73) are 0 for every \(n\in {\mathbb {N}}\) that can be written as \(n=1+3k+3k^2\) for some \(k\in {\mathbb {N}}\). This reflects the fact that for those n the daisy \(D_n\) is the unique minimizer, whose maximal hexagon \(H_{r_{D_n}}\) is the daisy itself. Therefore, Theorem 1.4 also entails that, by adding a point to every EIP (2) with \(n=1+3i+3i^2\) for some \(i\in \mathbb {N}\), we pass not only from a problem characterized by uniqueness of solutions to a problem with nonuniqueness, but also from a situation of zero deviation of the minimizer from its maximal hexagon to the situation in which minimizers include one that attains the maximal deviation.
References
Au Yeung, Y., Friesecke, G., Schmidt., B.: Minimizing atomic configurations of short range pair potentials in two dimensions: crystallization in the Wulffshape. Calc. Var. Partial Differ. Equ. 44, 81–100 (2012)
Bezrukov, S.L.: Edge isoperimetric problems on graphs, in: graph theory and combinatorial biology (Balatonlelle, 1996). Bolyai Soc. Math. Stud. 7, 157–197 (1999)
Blanc, X., Lewin, M.: The crystallization conjecture: a review. EMS Surv. Math. Sci. 2, 255–306 (2015)
Cicalese, M., Leonardi, G.P.: A selection principle for the sharp quantitative isoperimetric inequality. Arch. Ration. Mech. Anal. 206, 617–643 (2012)
Davoli, E., Piovano, P., Stefanelli, U.: Wulff shape emergence in graphene. Math. Models Methods Appl. Sci. 26(12), 2277–2310 (2016)
E, W., Li, D.: On the crystallization of 2D hexagonal lattices. Commun. Math. Phys. 286, 1099–1140 (2009)
Figalli, A., Maggi, F., Pratelli, A.: A mass transportation approach to quantitative isoperimetric inequalities. Invent. Math. 182, 167–211 (2010)
Flatley, L., Theil, F.: Facecentered cubic crystallization of atomistic configurations. Arch. Ration. Mech. Anal. 218, 363–416 (2015)
Fusco, N., Maggi, F., Pratelli, A.: The sharp quantitative isoperimetric inequality. Ann. of Math. (2) 168, 941–980 (2008)
Harper, L.H.: Global methods for combinatorial isoperimetric problems. In: Cambridge Studies in Advanced Mathematics, vol. 90. Cambridge University Press, Cambridge (2004)
Heitmann, R., Radin, C.: Ground states for sticky disks. J. Stat. Phys. 22(3), 281–287 (1980)
Mainini, E., Stefanelli, U.: Crystallization in carbon nanostructures. Commun. Math. Phys. 328(2), 545–571 (2014)
Mainini, E., Piovano, P., Stefanelli, U.: Finite crystallization in the square lattice. Nonlinearity 27, 717–737 (2014a)
Mainini, E., Piovano, P., Stefanelli, U.: Crystalline and isoperimetric square configurations. Proc. Appl. Math. Mech. 14, 1045–1048 (2014b)
Radin, C.: The ground state for soft disks. J. Stat. Phys. 26(2), 365–373 (1981)
Schmidt, B.: Ground states of the 2D sticky disc model: fine properties and \(N^{3/4}\) law for the deviation from the asymptotic Wulffshape. J. Stat. Phys. 153, 727–738 (2013)
Theil, F.: A proof of crystallization in two dimensions. Commun. Math. Phys. 262, 209–236 (2006)
Trillos, N.G., Slepcev, D.: Continuum limit of total variation on point clouds. Arch. Ration. Mech. Anal. 220, 193–241 (2016)
Whitney, H.: Geometric Integration Theory. Princeton University Press, Princeton (1957)
Acknowledgements
Open access funding provided by University of Vienna. The authors were supported by the Austrian Science Fund (FWF) Project P 27052 and I 2375. This work has been funded by the Vienna Science and Technology Fund (WWTF) through project MA14009. Partial support by the Wolfgang Pauli Institute under the thematic project Crystals, Polymers, Materials is also acknowledged. E.D. and P.P. thank the Center for Nonlinear Analysis (NSF Grant No. DMS0635983), where part of this research was carried out. E.D. was partially funded by the National Science Foundation (NSF) under Grant No. DMS 0905778. and under the PIRE Grant No. OISE0967140. E.D. is a member of the INDAMGNAMPA Project 2015 Critical phenomena in the mechanics of materials: a variational approach.
Author information
Affiliations
Corresponding author
Additional information
Communicated by Michael Ward.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Davoli, E., Piovano, P. & Stefanelli, U. Sharp \(N^{3/4}\) Law for the Minimizers of the EdgeIsoperimetric Problem on the Triangular Lattice. J Nonlinear Sci 27, 627–660 (2017). https://doi.org/10.1007/s0033201693461
Received:
Accepted:
Published:
Issue Date:
Keywords
 Edgeisoperimetric problem
 Edge perimeter
 Triangular lattice
 Isoperimetric inequality
 Wulff shape
 N ^{3/4} law
Mathematics Subject Classification
 82D25