Bounds for the Regularity Radius of Delone Sets (original) (raw)
Abstract:Delone sets are discrete point sets XXX in mathbbRd\mathbb{R}^dmathbbRd characterized by parameters (r,R)(r,R)(r,R), where (usually) 2r2r2r is the smallest inter-point distance of XXX, and RRR is the radius of a largest ``empty ball" that can be inserted into the interstices of XXX. The regularity radius hatrhod\hat{\rho}_dhatrhod is defined as the smallest positive number rho\rhorho such that each Delone set with congruent clusters of radius rho\rhorho is a regular system, that is, a point orbit under a crystallographic group. We discuss two conjectures on the growth behavior of the regularity radius. Our ``Weak Conjecture" states that hatrhod=rmO(d2logd)R\hat{\rho}_{d}={{\rm O}(d^2\log d)}Rhatrhod=rmO(d2logd)R as drightarrowinftyd\rightarrow\inftydrightarrowinfty, independent of~$r$. This is verified in the paper for two important subfamilies of Delone sets: those with full-dimensional clusters of radius 2r2r2r and those with full-dimensional sets of ddd-reachable points. We also offer support for the plausibility of a ``Strong Conjecture", stating that hatrhod=rmO(dlogd)R\hat{\rho}_{d}={{\rm O}(d\log d)}Rhatrhod=rmO(dlogd)R as drightarrowinftyd\rightarrow\inftydrightarrowinfty, independent of rrr.
Submission history
From: Alexey Garber [view email]
[v1] Mon, 19 Jun 2023 19:02:25 UTC (15 KB)