Skip to content

Delone Set

A metric-space point set with both a positive uniform-separation bound and a finite covering-radius bound, so it is nowhere arbitrarily crowded and nowhere arbitrarily sparse.

Version
v2 · 2026-09-06 · History
Domain-specific #
1638
Origin domain
mathematics
Subdomain
discrete geometry
Aliases
Delaunay set, Delone point set, (r,R)-set

Core Idea

A Delone set \(\Lambda\) in a metric space is simultaneously uniformly discrete and relatively dense. In Euclidean convention, there are constants \(r>0\) and \(R<\infty\) such that every ball of radius \(r\) contains at most one point of \(\Lambda\), while every ball of radius \(R\) contains at least one.[1]

The two bounds work in opposite directions. Uniform discreteness prevents arbitrarily close pairs; relative density prevents holes of unbounded size. Their conjunction creates a point pattern with controlled local crowding and global coverage without requiring periodicity.[2]

The recognition invariant is metric point set + positive separation scale + finite coverage scale + both bounds holding uniformly over the ambient space.

Structural Signature

  • A declared ambient metric space \((X,d)\).
  • A subset \(\Lambda\subseteq X\) interpreted as points or sites.
  • A uniform lower separation bound between distinct sites.
  • Equivalently, a positive packing radius under a fixed convention.
  • A uniform upper bound on distance from any ambient point to \(\Lambda\).
  • Equivalently, a finite covering radius.
  • Constants that apply globally, not merely locally or on average.
  • Local finiteness as a consequence in proper metric settings.
  • No requirement of lattice periodicity.
  • Compatibility with periodic, quasiperiodic, and disordered examples.
  • A distinction between the Delone property and stronger finite-local-complexity or repetitivity conditions.
  • Explicit radius and open/closed-ball conventions when numerical constants matter.

What It Is Not

A Delone set is not merely dense: topological density permits points arbitrarily close together and requires approximation at every scale. It is not merely discrete: a discrete set may leave holes whose sizes diverge. It is not necessarily a lattice, crystal, Meyer set, repetitive set, or quasicrystal.[3]

An \(\varepsilon\)-net under the packing-and-covering convention is a specially coupled case in which a common scale controls both requirements. General Delone constants need not coincide.

Scope of Application

Delone sets model atomic sites in crystals and quasicrystals, vertices of tilings, sampling sites, geometric codes, and controlled point clouds. Their packing and covering radii mediate error correction, facility coverage, meshing, and approximation. Adding finite local complexity, repetitivity, diffraction, or difference-set restrictions produces important subclasses, but those conditions are not part of the base identity.[4]

Clarity

State the ambient space, metric, set, separation convention, and covering convention. Authors variously use \(r\) for minimum distance or for packing radius, introducing a factor of two. A finite point set is not relatively dense in an unbounded ambient space simply because it covers a bounded sample region.

Manages Complexity

Two scalars summarize a point pattern's most basic geometric adequacy: the closest allowed crowding and the farthest allowed gap. This supports compactness arguments, local patch enumeration, algorithmic bounds, and comparisons across patterns without assuming coordinates repeat.

Abstract Reasoning

  1. Fix the ambient metric space and ball convention.
  2. Compute or bound the infimum of pairwise distances.
  3. Verify that a strictly positive uniform separation scale exists.
  4. Compute or bound \(\sup_{x\in X} d(x,\Lambda)\).
  5. Verify that this covering radius is finite.
  6. Record Delone constants under the chosen convention.
  7. Test any stronger claim—periodicity, repetitivity, finite local complexity, Meyer property—separately.
  8. Preserve the ambient space when comparing or transforming point patterns.

Knowledge Transfer

The portable pattern is a dual-sided spacing constraint: prohibit both excessive concentration and excessive absence. The proposed immediate parent is Constraint.

Examples

Integer lattice. \(\mathbb{Z}^d\) has positive minimum separation and bounded covering radius, hence is Delone and periodic.

Penrose vertices. The vertex set of a Penrose tiling is Delone but aperiodic, showing that Delone does not mean lattice.

Increasing gaps. \(\{n^2:n\in\mathbb{N}\}\subset\mathbb{R}\) is uniformly discrete but not relatively dense because its gaps grow without bound.

Structural Tensions

  • Separation versus coverage.
  • Local spacing control versus long-range order.
  • Flexible constants versus comparable normalization.
  • Ambient-space coverage versus bounded-window evidence.
  • Periodic examples versus aperiodic generality.
  • Geometric abstraction versus physical-site interpretation.

Structural–Framed Character

Joint lower and upper bounds are structural. Metric balls, packing, covering, point patterns, and quasicrystalline applications are geometric frame.

Structural Core vs. Domain Accent

The portable core is a population constrained to be neither too crowded nor too sparse. The constitutive accent is uniform metric separation and coverage by balls.

Constraint is the proposed immediate parent. Coverage / Reachability, Balance, Boundedness, Locality, Discrete vs. Continuous, and Spatial Indexing are related.

The prospective queue contains one strict edge to prime:constraint. No live DAG mutation is authorized.

Relationships to Other Abstractions

Local relationship map for Delone SetParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Delone SetDOMAINPrime abstraction: Constraint — is a kind ofConstraintPRIME

Current abstraction Delone Set Domain-specific

Parents (1) — more general patterns this builds on

  • Delone Set is a kind of Constraint Prime

    Constraint is the proposed immediate parent.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Delone Set sits in a sparse region of the domain-specific corpus (74th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Metric Geometry & Approximation (13 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With

  • Dense set in topology.
  • Arbitrary discrete subset.
  • Lattice or ideal crystal.
  • Meyer set.
  • Epsilon-covering alone.
  • Finite local complexity or repetitivity.

References

[1] Jeffrey C. Lagarias and Peter A. B. Pleasants, “Repetitive Delone Sets and Quasicrystals,” Ergodic Theory and Dynamical Systems 23 (2003): 831–867, arXiv:math/9909033. registry ↩

[2] Bielefeld Tilings Encyclopedia, “Delone Set,” https://tilings.math.uni-bielefeld.de/glossary/delone-set/. registry ↩

[3] Jeffrey C. Lagarias, “Mathematical Quasicrystals and the Problem of Diffraction,” in Directions in Mathematical Quasicrystals (AMS, 2000). registry ↩

[4] Yasushi Nagai and Daniel Lenz, “A General Framework for Tilings, Delone Sets, Functions, and Measures and Their Interrelation,” Discrete & Computational Geometry 62 (2019): 603–632, doi:10.1007/s00454-019-00081-2. registry ↩