Abstract:We show that the Freiman--Ruzsa theorem, characterising finite sets with bounded doubling, leads to an alternative proof of a characterisation of Meyer sets, that is, relatively dense subsets of Euclidean spaces whose difference sets are uniformly discrete.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide another proof of Meyer sets through the Freiman–Ruzsa theorem. Specifically, the author shows how to use the Freiman–Ruzsa theorem (i.e., the properties of finite sets in additive combinatorics) to prove the characteristics of Meyer sets, that is, in Euclidean space, the difference sets of relatively dense subsets are uniformly discrete.
### Specific description of the problem
1. **Background introduction**:
- Meyer sets were first introduced by Meyer and named Meyer sets by Moody. These sets play an important role in the mathematical theory of quasicrystals.
- The Freiman–Ruzsa theorem is a central result in additive combinatorics, which describes the behavior of finite sets under the addition operation.
2. **Objectives**:
- Derive the characteristic theorem of Meyer sets in a relatively elementary way through the Freiman–Ruzsa theorem and some basic additive combinatorial tools.
- Provide a quantitative version of the result, especially the estimate of the internal dimension.
3. **Specific problems**:
- **Qualitative problem**: Show that the Freiman–Ruzsa theorem can be used to prove the characteristics of Meyer sets.
- **Quantitative problem**: Give a quantitative estimate of the internal dimension of Meyer sets. For example, for a certain constant \( K \), if \( D^+(A - A) < K D^-(A) \), then \( A\subseteq M + F \), where \( M \) is a projection cut - set, and the internal dimension of \( M \) does not exceed \( O((d+\log K)^7) \).
### Summary of mathematical formulas
- **Upper bound uniform asymptotic density**:
\[
D^+(A)=\limsup_{R\rightarrow\infty}\sup_{x\in\mathbb{R}^d}(2R)^{-d}|\{a\in A\mid\|a - x\|_\infty < R\}|
\]
- **Lower bound uniform asymptotic density**:
\[
D^-(A)=\liminf_{R\rightarrow\infty}\inf_{x\in\mathbb{R}^d}(2R)^{-d}|\{a\in A\mid\|a - x\|_\infty < R\}|
\]
- **Freiman–Ruzsa theorem**:
If \( A \) is a subset of a finite non - empty Abelian group \( Z \) and satisfies \( |A + A| < K|A| \), then there exists a generalized arithmetic progression \( P \) and a finite set \( F \) such that \( A\subseteq F + P \).
Through the above methods, the author successfully applies the classical results in additive combinatorics to the study of Meyer sets in quasicrystal theory, thus providing new perspectives and quantitative estimates.