Higher Dimensional Spiral Delone Sets

TL;DR

This paper characterizes when higher-dimensional spiral sets are Delone, linking their properties to spherical sequence distributions, and constructs explicit examples in all dimensions, extending known planar results.

Contribution

It extends the theory of spiral Delone sets from the plane to higher dimensions by providing a characterization and explicit constructions.

Findings

Characterization of spiral Delone sets via packing and covering conditions.

Explicit construction of spiral Delone sets in all dimensions.

Extension of planar spiral set theory to higher dimensions.

Abstract

A Delone set in $\mathbb{R}^n$ is a set such that (a) the distance between any two of its points is uniformly bounded below by a strictly positive constant and such that (b) the distance from any point to the remaining points in the set is uniformly bounded above. Delone sets are thus sets of points enjoying nice spacing properties, and appear therefore naturally in mathematical models for quasicrystals. Define a spiral set in $\mathbb{R}^n$ as a set of points of the form $\left\{\sqrt[n]{k}\cdot\boldsymbol{u}_k\right\}_{k\ge 1}$, where $\left(\boldsymbol{u}_k\right)_{k\ge 1}$ is a sequence in the unit sphere $\mathbb{S}^{n-1}$. In the planar case $n=2$, spiral sets serve as natural theoretical models in phyllotaxis (the study of configurations of leaves on a plant stem), and an important example in this class includes the sunflower spiral. Recent works by Akiyama, Marklof and Yudin provide a reasonable complete characterisation of planar spiral sets which are also Delone. A related problem that has emerged in several places in the literature over the past fews years is to determine whether this theory can be extended to higher dimensions, and in particular to show the existence of spiral Delone sets in any dimension. This paper addresses this question by characterising the Delone property of a spiral set in terms of packing and covering conditions satisfied by the spherical sequence $\left(\boldsymbol{u}_k\right)_{k\ge 1}$. This allows for the construction of explicit examples of spiral Delone sets in $\mathbb{R}^n$ for all $n\ge 2$, which boils down to finding a sequence of points in $\mathbb{S}^{n-1}$ enjoying some optimal distribution properties.