2025-11-10T03:14:05.649617

A new description of uniformly spread discrete sets

Dudko, Favorov
We prove that each discrete set in the Euclidean space that has bounded changes under every translation is a bounded perturbation of a square lattice, i.e., a uniformly spread set in the sense of Laszkovich. In particular, the support of every Fourier quasicrystal with unit masses is uniformly spread.
academic

A new description of uniformly spread discrete sets

基本信息

  • 论文ID: 2510.11061
  • 标题: A new description of uniformly spread discrete sets
  • 作者: A. Dudko, S. Favorov
  • 分类: math.MG (Metric Geometry)
  • 发表时间: 2025年10月13日
  • 论文链接: https://arxiv.org/abs/2510.11061

摘要

本文证明了欧几里得空间中每个在任意平移下具有有界变化的离散集都是方格格子的有界扰动，即Laszkovich意义下的均匀分布集。特别地，每个具有单位质量的Fourier拟晶体的支撑集都是均匀分布的。

研究背景与动机

问题的重要性

  1. 历史背景: 该研究源于Laczkovich对Tarski著名问题（方形与圆盘等分解性）证明中的关键部分，涉及平面上所谓的均匀分布离散集的研究。
  2. 核心问题: Laszkovich在二维情况下建立了离散集A⊂ℝ²的两个等价条件：
    • 存在常数C < ∞和双射σ: A → α^(-1/2)ℤ²使得sup_{x∈A}|σ(x)-x| < C
    • 存在常数C' < ∞使得对每个有界Jordan域H，|#(A∩H) - αm₂(H)| < C'm₁(∂H)
  3. 现有局限性:
    • Laszkovich证明了d > 2时直接类比不成立
    • 所有现有条件都依赖于参数α ∈ (0,∞)
    • 缺乏独立于α的判别准则
  4. 研究动机: 寻找独立于参数α的均匀分布集判别准则，这正是本文要解决的核心问题。

核心贡献

  1. 引入新概念: 提出了"粗糙平移不变集"(roughly shift-invariant set)的概念，作为均匀分布集的新刻画
  2. 建立等价性: 证明了粗糙平移不变性与均匀分布性的等价关系
  3. 密度存在性: 证明了每个粗糙平移不变集都存在均匀密度
  4. 应用扩展: 将结果推广到多重集并应用于Fourier拟晶体
  5. 图论贡献: 证明过程中得到了无限图上方程解的新结果

方法详解

任务定义

输入: 欧几里得空间ℝᵈ中的离散集A 输出: 判断A是否为均匀分布集 目标: 建立独立于密度参数的判别准则

核心定义

定义1 (粗糙平移不变集): 离散集A ⊂ ℝᵈ称为粗糙平移不变集，如果存在L < ∞使得对任意x ∈ ℝᵈ，存在双射σₓ: A → A满足：

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

定义2 (均匀分布集): 根据Laszkovich的定义，集合A称为均匀分布集如果满足：

  • 存在双射σ: A → α^(-1/d)ℤᵈ使得sup_{x∈A}|σ(x)-x| < C
  • 对足够大的集合H，点计数与体积成正比：|#(A∩H) - αmₐ(H)| ≤ C'边界测度

主要定理

定理1 (密度存在性): 对每个粗糙平移不变集A，存在密度D > 0使得：

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

均匀地关于x ∈ ℝᵈ成立。

定理2 (等价性): 每个粗糙平移不变集A ⊂ ℝᵈ都是均匀分布的，且存在常数C < ∞和双射Θ: A → D^(-1/d)ℤᵈ使得：

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

技术创新点

  1. 构造性证明: 通过显式构造双射来证明等价性，而非存在性证明
  2. 三阶段算法:
    • 第一阶段：建立局部对应关系
    • 第二阶段：消除"坏循环"使数值接近整数
    • 第三阶段：在连通分量上归纳构造整数解
  3. 图论方法: 将问题转化为无限图上的方程求解问题

实验设置

本文为纯数学理论研究，不涉及数值实验，而是通过严格的数学证明来验证理论结果。

证明策略

  1. 辅助命题: 建立了4个关键的辅助命题，涉及点计数的局部有界性和一致性
  2. 密度论证: 通过Cauchy序列的方法证明密度极限的存在性
  3. 构造性算法: 设计三阶段算法将实数解转化为整数解

关键技术细节

命题1: 存在K < ∞使得#(A∩Q(x,1)) < K对所有x成立，且：

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

命题2: 对足够大的N：

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

这些估计是后续构造的基础。

实验结果

主要结果

  1. 密度公式: 对粗糙平移不变集A，有：
    #(A∩B(x,R)) = Dmₐ(B(x,R)) + O(R^(d-1))
  2. 扰动界: 存在双射使得每点的位移不超过常数C
  3. 推广结果: 结果推广到多重集情况，保持相同的性质

应用结果

定理6 (Fourier拟晶体): 对任意单位质量Fourier拟晶体的支撑集Λ，均匀地关于x ∈ ℝᵈ有：

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

且存在双射σ: D^(-1/d)ℤᵈ → Λ使得λ = h + O(1)。

相关工作

历史发展

  1. Laczkovich (1990, 1992): 建立了均匀分布集的经典理论
  2. Kurasov & Sarnak (2020): 给出了第一个非平凡的单位质量Fourier拟晶体例子
  3. Olevsky & Ulanovskii (2020): 证明了一维情况下的完整刻画

本文贡献

  • 提供了独立于密度参数的新刻画
  • 建立了与Fourier拟晶体的联系
  • 发展了处理无限图方程的新方法

结论与讨论

主要结论

  1. 粗糙平移不变性完全刻画了均匀分布集
  2. 每个这样的集合都有明确定义的密度
  3. Fourier拟晶体的支撑集具有良好的分布性质

局限性

  1. 常数C的最优性未确定
  2. 高维情况的具体构造可能复杂
  3. 对一般复质量Fourier拟晶体的处理需要额外条件

未来方向

论文提出了两个开放问题：

  1. 问题1: 是否存在高维类似于一维情况an = n/D + φ(n)的表示？
  2. 问题2: 扰动常数C的最优值是多少？

深度评价

优点

  1. 理论创新: 引入了新的概念框架，提供了问题的全新视角
  2. 方法新颖: 三阶段构造算法具有一般性，可应用于其他问题
  3. 应用价值: 与Fourier拟晶体的联系具有重要的物理意义
  4. 证明严谨: 数学论证完整且具有构造性

不足

  1. 常数估计: 证明中的常数可能不是最优的
  2. 计算复杂性: 实际构造双射的算法复杂度未分析
  3. 几何直观: 缺乏几何直观的解释

影响力

  1. 理论贡献: 为离散几何提供了新的工具和视角
  2. 应用前景: 在晶体学和准晶体研究中有潜在应用
  3. 方法论价值: 图论方法可能适用于其他数学问题

适用场景

  • 离散几何中的分布性问题
  • Fourier分析中的拟晶体研究
  • 数论中的丢番图逼近问题
  • 图论中的无限图方程求解

参考文献

论文引用了16篇重要文献，涵盖了从Laczkovich的经典工作到最近的Fourier拟晶体研究，体现了问题的历史发展脉络和现代应用价值。

这篇论文通过引入粗糙平移不变性的概念，为均匀分布离散集提供了新的刻画，不仅解决了一个基础的数学问题，还与现代的Fourier拟晶体理论建立了深刻联系，展现了纯数学研究的理论深度和应用价值。