Skip to main content
Log in

On the Regularity Radius of Delone Sets in \({\mathbb {R}}^3\)

  • Published:
Discrete & Computational Geometry Aims and scope Submit manuscript

Abstract

We complete the proof of the upper bound \({\hat{\rho }}_3\le 10R\) for the regularity radius of Delone sets in three-dimensional Euclidean space. Namely, summing up the results obtained earlier, and adding the missing cases, we show that if all \(10R\)-clusters of a Delone set X in \({\mathbb {R}}^3\) with parameters (rR) are equivalent, then X is regular (has a transitive symmetry group).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

Notes

  1. The tower height of a group is the number of subgroups of the longest chain of strictly nested subgroups of G.

  2. This was recently noticed by Garber.

  3. Sometimes clusters of Delone sets are also called patches or centered patches, see e.g. [1].

  4. Historically, however, Theorem 3.5 preceded Theorem 3.4 and inspired it.

  5. Available at https://faculty.utrgv.edu/alexey.garber/papers/10R/.

  6. https://faculty.utrgv.edu/alexey.garber/papers/10R/

References

  1. Baake, M., Grimm, U.: Aperiodic Order. Vol. 1. A Mathematical Invitation. Encyclopedia of Mathematics and its Applications, vol. 149. Cambridge University Press, Cambridge (2013)

  2. Baburin, I.A., Bouniaev, M., Dolbilin, N., Erokhovets, N.Y., Garber, A., Krivovichev, S.V., Schulte, E.: On the origin of crystallinity: a lower bound for the regularity radius of Delone sets. Acta Crystallogr. A 74(6), 616–629 (2018)

    Article  MathSciNet  Google Scholar 

  3. Bezdek, K.: Classical Topics in Discrete Geometry. CMS Books in Mathematics. Springer, New York (2010)

    Book  Google Scholar 

  4. Coxeter, H.S.M., Moser, W.O.J.: Generators and Relations for Discrete Groups. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 14. Springer, Berlin (1980)

    Book  Google Scholar 

  5. Delone, B.N.: Geometry of positive definite quadratic forms. Uspekhi Mat. Nauk 3, 16–62 (1937). (in Russian)

  6. Delone, B.N., Aleksandrov, A.D., Padurov, N.N.: Mathematical Foundations of the Structural Analysis of Crystals. ONTI, Moscow (1934). (in Russian)

  7. Delone, B.N., Dolbilin, N.P., Shtogrin, M.I., Galiulin, R.V.: A local criterion for regularity of a system of points. Dokl. Akad. Nauk SSSR 227(1), 19–21 (1976). (in Russian)

  8. Dolbilin, N.P.: The crystal criterion and locally antipodal Delone sets. Vestn. Chelyab. Gos. Univ. Mat. Mekh. Inform. 3, 6–17 (2015). (in Russian)

  9. Dolbilin, N.: Delone sets: local identity and global symmetry. In: Discrete Geometry and Symmetry (Veszprém 2015). Springer Proc. Math. Stat., vol. 234, pp. 109–125. Springer, Cham (2018)

  10. Dolbilin, N.P.: Delone sets in \({\mathbb{R}}^3\) with \(2R\)-regularity conditions. Proc. Steklov Inst. Math. 302(1), 161–185 (2018)

    Article  MathSciNet  Google Scholar 

  11. Dolbilin, N.P.: From local identity to global order. In: Conference Materials for Lupanov International Seminar XIII (Moscow 2019), pp. 13–22. Moscow State University, Moscow (2019). (in Russian)

  12. Dolbilin, N.P., Lagarias, J.C., Senechal, M.: Multiregular point systems. Discrete Comput. Geom. 20(4), 477–498 (1998)

    Article  MathSciNet  Google Scholar 

  13. Dolbilin, N.P., Magazinov, A.N.: Locally antipodal Delaunay sets. Russ. Math. Surv. 70(5), 958–960 (2015)

    Article  MathSciNet  Google Scholar 

  14. Feynman, R.P., Leighton, R.B., Sands, M.: The Feynman Lectures on Physics, vol. 2. Addison-Wesley, Reading–London (1964)

    MATH  Google Scholar 

  15. Radin, Ch.: The open mathematics of crystallization. Notices Am. Math. Soc. 64(6), 551–556 (2017)

    Article  MathSciNet  Google Scholar 

  16. Robbins, H.: A remark on Stirling’s formula. Am. Math. Mon. 62, 26–29 (1955)

    MathSciNet  MATH  Google Scholar 

  17. Senechal, M.: Quasicrystals and Geometry. Cambridge University Press, Cambridge (1995)

    MATH  Google Scholar 

  18. Shtogrin, M.: On a bound of the order of a spider’s axis in a locally regular Delone system. In: Abstracts for International Conference “Geometry, Topology, Algebra and Number Theory, Applications” (Moscow 2010), pp. 168–169. http://delone120.mi.ras.ru/delone120abstracts.pdf (in Russian)

Download references

Acknowledgements

We would like to thank the American Institute for Mathematics (AIM) for hosting a weeklong workshop in 2016 on “Soft Packings, Nested Clusters, and Condensed Matter”, as well as the authors’ ongoing SQuaRe research project on “Delaunay Sets: Local Rules in Crystalline Structures” that grew out of it. The present paper resulted from the discussions at the first SQuaRE meeting at AIM in November 2018. We greatly appreciated the opportunity to meet at AIM and are grateful to AIM for its hospitality. The work of N.D. was supported by the Russian Science Foundation under grant 20-11-20141 and performed in the Steklov Mathematical Institute of Russian Academy of Sciences. The work of E.S. was partially supported by Simons Foundation award no. 420718.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alexey Garber.

Additional information

Editor in Charge: Kenneth Clarkson

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix A: Computational Details

Appendix A: Computational Details

Lemma A.1

In the notation of Case 1 of the proof of Theorem 5.1, there exist two different vertices of the antiprisms \(P_{{\mathbf {x}}}\) and \(P_{{\mathbf {y}}}\) that are at distance less than \(r_1\).

Proof

Recall that \({{\mathbf {x}}}=(0,0,0)\) and \(r_1=1\). Without loss of generality we can assume that \({{\mathbf {y}}}=(a,0,b)\) with \(a^2+b^2=1\) and \(a\ne 0\), \(b\ne 0\). Then the antiprism \(P_{{\mathbf {x}}}\) can be written as the convex hull of its vertices,

$$\begin{aligned} P_{{\mathbf {x}}} ={{\,\mathrm{conv}\,}}{\biggl \{(\pm a, 0, b),(0, \pm a, b),\biggl (\pm \frac{a}{\sqrt{2}}, \pm \frac{a}{\sqrt{2}}, -b\biggr )\biggr \}}, \end{aligned}$$

obtained using the action of \(\langle \sigma \rangle \) on \(\mathbf{y}\).

Next we exploit the fact that \(r_1=1\) is the smallest distance between two points of X. Particularly, the two vertices (a, 0, b) and (0, ab) in the same base of \(P_{{\mathbf {x}}}\) must be at least 1 apart, and thus

$$\begin{aligned} 2a^2\ge 1, \end{aligned}$$

or equivalently, \(a^2\ge b^2\). Similarly, the distance between the two vertices (a, 0, b) and \(({a}/{\sqrt{2}}, {a}/{\sqrt{2}}, -b)\) in different bases of \(P_{\mathbf {x}}\) must be at least 1, giving

$$\begin{aligned} a^2(1-\sqrt{2})+3b^2\ge 0. \end{aligned}$$

Next we will find coordinates for the vertices of \(P_{\mathbf {y}}\). We know that \({{\mathbf {x}}}=(0,0,0)\) is a vertex of \(P_{\mathbf {y}}\); let \({\mathbf {z}}\) be the vertex of \(P_{\mathbf {y}}\) opposite to \({\mathbf {x}}\) in the same base as \({\mathbf {x}}\). Suppose \({\mathbf {z}}=(a+x,y,b+z)\) for some numbers xyz, so \(\mathbf {yz}=(x,y,z)\). The distance between \({\mathbf {y}}\) and \({\mathbf {z}}\) must be \(r_1=1\), so

$$\begin{aligned} x^2+y^2+z^2=1. \end{aligned}$$

Also the scalar product of the vectors \(\mathbf {yx}\) and \(\mathbf {yz}\) must be equal to the scalar product of the vectors (a, 0, b) and \((-a,0,b)\). This turns into the equality

$$\begin{aligned} ax+bz=a^2-b^2, \end{aligned}$$

which completes our list of conditions for the parameters abxyz describing all possible positions of \(P_{{\mathbf {x}}}\) and \(P_{\mathbf {y}}\).

The remaining vertices of \(P_{\mathbf {y}}\) can be computed as follows. The midpoint

$$\begin{aligned} {\mathbf {t}}=\biggl (\frac{a+x}{2},\frac{y}{2},\frac{b+z}{2}\biggr ) \end{aligned}$$

of the segment \([{\mathbf {x}},{\mathbf {z}}]\) is the center of the base of \(P_{\mathbf {y}}\) that contains \({\mathbf {x}}\). The two remaining vertices of this base can be obtained as the endpoints of the vectors

$$\begin{aligned} \pm \,\frac{\mathbf {yx}\times \mathbf {yz}}{2|\mathbf {yt}|}, \end{aligned}$$

placed at \({\mathbf {t}}\), where here \(\times \) indicates the cross product of vectors. The length of the numerator of this fraction is twice the area of the triangle \(\mathbf {xyz}\), and the denominator is twice the height of the same triangle from the vertex \(\mathbf{y}\). Thus, the overall vectors will represent the vectors \(\pm \mathbf {tx}\) rotated by \(90^\circ \) about the line \(\overline{\mathbf {ty}}\). We also note that the denominator is actually the distance from the center of the antiprism \(P_{\mathbf {y}}\) to its base, which is equal to |b|. Thus, the two remaining vertices of \(P_{\mathbf {y}}\) in this base can be written as

$$\begin{aligned} {\mathbf {t}} \pm \frac{\mathbf {yx}\times \mathbf {yz}}{2b}=\biggl (\frac{a+x}{2},\frac{y}{2},\frac{b+z}{2}\biggr ) \pm \frac{(by,az-bx,-ay)}{2b}. \end{aligned}$$

Finally, if we set

$$\begin{aligned} {\mathbf {u}} := \biggl (\frac{a+x}{2},\frac{y}{2},\frac{b+z}{2}\biggr ) + \frac{(by,az-bx,-ay)}{2b}, \end{aligned}$$

then the four vertices of the other base of \(P_{\mathbf {y}}\) can be written as

$$\begin{aligned} {\mathbf {y}}-\mathbf {yt}+\frac{\pm \,\mathbf {xt}\pm \mathbf {tu}}{\sqrt{2}}= & {} \biggl (\frac{3a-x}{2},-\frac{y}{2},\frac{3b-z}{2}\biggr )\\&\pm \frac{(a+x,y,b+z)}{2\sqrt{2}} \pm \frac{(by,az-bx,-ay)}{2b\sqrt{2}}. \end{aligned}$$

Now that we know all vertices of the two antiprisms, we can set up the following optimization problem.

Maximize: minimal distance between vertices of \(P_{\mathbf {x}}\) and \(P_{\mathbf {y}}\) that are at least 0.01 apart.

Under conditions:

  • \(a^2+b^2=1\);

  • \(a^2\ge b^2\);

  • \(a^2(1-\sqrt{2})+3b^2\ge 0\);

  • \(x^2+y^2+z^2=1\);

  • \(ax+bz=a^2-b^2\).

The (numerical) computations using Wolfram Mathematica (v. 11.2.0.0)Footnote 5 show that the maximal value of the corresponding function is 0.598, which means that there is a vertex of \(P_{\mathbf {x}}\) and a vertex of \(P_\mathbf{y}\) that are at distance at least 0.01 but closer than \(r_1=1\). \(\square \)

Lemma A.2

In the notation of Case 3 of the proof of Theorem 5.1, if the point \({\mathbf {z}}\) does not lie in the perpendicular bisector of the segment \([{\mathbf {x}},{\mathbf {y}}]\), then there exist two vertices of the antiprism \(P'_{{\mathbf {y}}}\) in the same base that are closer to \({\mathbf {z}}\) than \(r_2\).

Proof

Recall that \(\mathbf {{\mathbf {x}}}=(0,0,0)\) and \(r_1=1\). Without loss of generality we can assume \({\mathbf {y}}=(0,0,1)\). We can also assume that \({\mathbf {z}}=(a,0,b)\) with \(r_2^2=a^2+b^2>1\) and \(a\ge 0\), and that \(b>0\), because the base of \(P'_{{\mathbf {x}}}\) that contains \({\mathbf {z}}\) is closer to \({\mathbf {y}}\) than the other base of \(P'_{{\mathbf {x}}}\). The point \({\mathbf {z}}\) is not on the perpendicular bisector of \([{\mathbf {x}},{\mathbf {y}}]\), so \(b<1/2\); otherwise \(r_2\) is not the shortest distance from \({\mathbf {x}}\) among all points of \(C_{{\mathbf {x}}}(2R)\) off \(\ell \).

The distance between the two vertices \({\mathbf {z}}=(a,0,b)\) and (0, ab) of the same base of \(P'_\mathbf {{\mathbf {x}}}\) should be at least \(r_2\), as otherwise the sides of the base meeting at \(\mathbf{z}\) would give a non-collinear triple of points in \(C_{\mathbf{z}}(2R)\) in which two points are at distance less than \(r_2\) from \({\mathbf {z}}\), thus contradicting our case assumption. For similar reasons, the two vertices \({\mathbf {z}}=(a,0,b)\) and \(({a}/{\sqrt{2}},{a}/{\sqrt{2}},-b)\) of \(P'_{{\mathbf {x}}}\) in different bases must also be at least \(r_2\) apart. These two conditions give the inequalities

$$\begin{aligned} a^2\ge b^2,\qquad a^2(1-\sqrt{2})+3b^2\ge 0. \end{aligned}$$

Next we look at the 2R-cluster of \({\mathbf {y}}=(0,0,1)\). The point \({\mathbf {x}}\) is at distance \(r_1=1\) from \({\mathbf {y}}\), so the line corresponding to \(\ell \) in \(C_{{\mathbf {y}}}(2R)\) must coincide with the line \(\overline{\mathbf {yx}}=\ell \). Therefore, the line \(\ell \) is also the axis of rotation of the antiprism \(P'_{\mathbf {y}}\) and the two bases of this antiprism lie in the planes \(z=1-b\) and \(z=1+b\). Without loss of generality we can assume that one of the vertices of \(P'_{\mathbf {y}}\) is a point \({\mathbf {u}}_1:=(x,y,1-b)\) with \(x,y\ge 0\). Then \({\mathbf {u}}_2:=(y,-x,1-b)\) is a vertex of \(P'_{\mathbf {y}}\) as well. Note that the distance of \({\mathbf {u}}_1\) from \(\ell \) is equal to the distance of \({\mathbf {z}}\) from \(\ell \), so \(x^2+y^2=a^2\). We claim that

$$\begin{aligned} |\mathbf {zu}_1|+|\mathbf {zu}_2|<1+\sqrt{a^2+b^2}=r_1+r_2. \end{aligned}$$

In order to establish this inequality we set up the following optimization problem.

Maximize: \(|\mathbf {zu}_1|+|\mathbf {zu}_2|-1-\sqrt{a^2+b^2}\)

Under conditions:

  • \(a^2+b^2>1\);

  • \(a\ge 0\);

  • \(b>0\);

  • \(b<1/2\);

  • \(a^2\ge b^2\);

  • \(a^2(1-\sqrt{2})+3b^2\ge 0\);

  • \(x^2+y^2=a^2\);

  • \(x\ge 0\);

  • \(y\ge 0\).

The (numerical) computations using Wolfram Mathematica (v. 11.2.0.0)Footnote 6 show that the maximal value of the corresponding function (the difference of the two sides of the inequality) is \(-0.3367\), which means that for all possible situations,

$$\begin{aligned} |\mathbf {zu}_1|+|\mathbf {zu}_2|<1+\sqrt{a^2+b^2}=r_1+r_2. \end{aligned}$$

Since the distance between any two points of X is at least \(r_1\), both distances \(|\mathbf {zu}_1|\) and \(|\mathbf {zu}_2|\) are less than \(r_2\). Thus \({\mathbf {u}}_1\) and \({\mathbf {u}}_2\) are vertices of the antiprism \(P'_{{\mathbf {y}}}\) in the same base that are closer to \({\mathbf {z}}\) than \(r_2\). \(\square \)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Dolbilin, N., Garber, A., Leopold, U. et al. On the Regularity Radius of Delone Sets in \({\mathbb {R}}^3\). Discrete Comput Geom 66, 996–1024 (2021). https://doi.org/10.1007/s00454-021-00292-6

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00454-021-00292-6

Keywords

Mathematics Subject Classification

Navigation