A new description of uniformly spread discrete sets

Basic Information

• Paper ID: 2510.11061
• Title: A new description of uniformly spread discrete sets
• Authors: A. Dudko, S. Favorov
• Classification: math.MG (Metric Geometry)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.11061

Abstract

This paper proves that every discrete set in Euclidean space with bounded variation under arbitrary translations is a bounded perturbation of a square lattice, i.e., a uniformly spread set in the sense of Laszkovich. In particular, the support set of every Fourier quasicrystal with unit mass is uniformly spread.

Research Background and Motivation

Importance of the Problem

1. Historical Context: This research originates from a key component in Laczkovich's proof of Tarski's famous problem (concerning the equidecomposability of squares and disks), involving the study of so-called uniformly spread discrete sets in the plane.
2. Core Problem: Laszkovich established two equivalent conditions for a discrete set A ⊂ ℝ² in the two-dimensional case:
   • There exist a constant C < ∞ and a bijection σ: A → α^(-1/2)ℤ² such that sup_{x∈A}|σ(x)-x| < C
   • There exist a constant C' < ∞such that for each bounded Jordan domain H, |#(A∩H) - αm₂(H)| < C'm₁(∂H)
3. Existing Limitations:
   • Laszkovich proved that the direct analogue does not hold for d > 2
   • All existing conditions depend on the parameter α ∈ (0,∞)
   • Lack of a criterion independent of α
4. Research Motivation: To find a criterion for uniformly spread sets that is independent of the parameter α, which is the core problem addressed in this paper.

Core Contributions

1. Introduction of New Concept: Proposes the concept of "roughly shift-invariant sets" as a new characterization of uniformly spread sets
2. Establishment of Equivalence: Proves the equivalence between rough shift-invariance and uniform spread
3. Density Existence: Proves that every roughly shift-invariant set possesses a uniform density
4. Extension of Applications: Generalizes results to multisets and applies them to Fourier quasicrystals
5. Graph-Theoretic Contribution: Obtains new results on equation solutions on infinite graphs during the proof process

Detailed Methodology

Task Definition

Input: A discrete set A in Euclidean space ℝᵈ Output: Determine whether A is a uniformly spread set Objective: Establish a criterion independent of the density parameter

Core Definitions

Definition 1 (Roughly Shift-Invariant Set): A discrete set A ⊂ ℝᵈ is called roughly shift-invariant if there exists L < ∞ such that for any x ∈ ℝᵈ, there exists a bijection σₓ: A → A satisfying:

sup_{a∈A} |a + x - σₓ(a)| < L

Definition 2 (Uniformly Spread Set): According to Laszkovich's definition, a set A is called uniformly spread if it satisfies:

• There exists a bijection σ: A → α^(-1/d)ℤᵈ such that sup_{x∈A}|σ(x)-x| < C
• For sufficiently large sets H, point counting is proportional to volume: |#(A∩H) - αmₐ(H)| ≤ C' boundary measure

Main Theorems

Theorem 1 (Density Existence): For every roughly shift-invariant set A, there exists a density D > 0 such that:

lim_{T→∞} #(A∩B(x,T))/mₐ(B(x,T)) = D

holds uniformly with respect to x ∈ ℝᵈ.

Theorem 2 (Equivalence): Every roughly shift-invariant set A ⊂ ℝᵈ is uniformly spread, and there exist a constant C < ∞ and a bijection Θ: A → D^(-1/d)ℤᵈ such that:

sup_{a∈A} |a - Θ(a)| < C

Technical Innovations

1. Constructive Proof: Proves equivalence through explicit construction of bijections rather than existence proofs
2. Three-Stage Algorithm:
   • Stage One: Establish local correspondence relations
   • Stage Two: Eliminate "bad cycles" to make values close to integers
   • Stage Three: Inductively construct integer solutions on connected components
3. Graph-Theoretic Method: Transforms the problem into solving equations on infinite graphs

Experimental Setup

This paper is a pure mathematical theoretical study without numerical experiments, but rather verifies theoretical results through rigorous mathematical proofs.

Proof Strategy

1. Auxiliary Propositions: Establishes 4 key auxiliary propositions involving local boundedness and consistency of point counting
2. Density Argument: Proves the existence of density limits through Cauchy sequence methods
3. Constructive Algorithm: Designs a three-stage algorithm to transform real solutions into integer solutions

Key Technical Details

Proposition 1: There exists K < ∞ such that #(A∩Q(x,1)) < K for all x, and:

#(A∩Q(x,N)) ≤ KNᵈ

Proposition 2: For sufficiently large N:

|#(A∩Q(x,N)) - #(A∩Q(0,N))| < N^(d-1/2)

These estimates form the foundation for subsequent constructions.

Experimental Results

Main Results

1. Density Formula: For roughly shift-invariant set A:

   #(A∩B(x,R)) = Dmₐ(B(x,R)) + O(R^(d-1))
   

2. Perturbation Bound: There exists a bijection such that the displacement at each point does not exceed a constant C
3. Generalized Results: Results are generalized to multisets while maintaining the same properties

Application Results

Theorem 6 (Fourier Quasicrystals): For the support set Λ of any unit mass Fourier quasicrystal, uniformly with respect to x ∈ ℝᵈ:

#(Λ∩B(x,R)) = Dmₐ(B(x,R)) + O(R^(d-1))

and there exists a bijection σ: D^(-1/d)ℤᵈ → Λ such that λ = h + O(1).

Related Work

Historical Development

1. Laczkovich (1990, 1992): Established classical theory of uniformly spread sets
2. Kurasov & Sarnak (2020): Provided the first non-trivial example of unit mass Fourier quasicrystals
3. Olevsky & Ulanovskii (2020): Proved complete characterization in the one-dimensional case

Contributions of This Paper

• Provides a new characterization independent of the density parameter
• Establishes connections with Fourier quasicrystal theory
• Develops new methods for handling equations on infinite graphs

Conclusions and Discussion

Main Conclusions

1. Rough shift-invariance completely characterizes uniformly spread sets
2. Every such set possesses a well-defined uniform density
3. Support sets of Fourier quasicrystals exhibit good distribution properties

Limitations

1. Optimality of constant C remains undetermined
2. Explicit constructions in higher dimensions may be complex
3. Treatment of general complex-mass Fourier quasicrystals requires additional conditions

Future Directions

The paper proposes two open problems:

1. Problem 1: Does there exist a high-dimensional analogue to the one-dimensional representation aₙ = n/D + φ(n)?
2. Problem 2: What is the optimal value of the perturbation constant C?

In-Depth Evaluation

Strengths

1. Theoretical Innovation: Introduces a new conceptual framework providing a fresh perspective on the problem
2. Novel Methodology: The three-stage construction algorithm is general and applicable to other problems
3. Application Value: Connections with Fourier quasicrystals have important physical significance
4. Rigorous Proof: Mathematical arguments are complete and constructive

Weaknesses

1. Constant Estimation: Constants in the proof may not be optimal
2. Computational Complexity: Algorithm complexity for constructing bijections is not analyzed
3. Geometric Intuition: Lacks geometric intuitive explanations

Impact

1. Theoretical Contribution: Provides new tools and perspectives for discrete geometry
2. Application Prospects: Potential applications in crystallography and quasicrystal research
3. Methodological Value: Graph-theoretic methods may apply to other mathematical problems

Applicable Scenarios

• Distribution problems in discrete geometry
• Quasicrystal research in Fourier analysis
• Diophantine approximation problems in number theory
• Infinite graph equation solving in graph theory

References

The paper cites 16 important references, spanning from Laczkovich's classical work to recent Fourier quasicrystal research, reflecting the historical development and modern application value of the problem.

By introducing the concept of rough shift-invariance, this paper provides a new characterization of uniformly spread discrete sets. It not only solves a fundamental mathematical problem but also establishes profound connections with modern Fourier quasicrystal theory, demonstrating the theoretical depth and application value of pure mathematical research.