John T. Griesmer
Abstract:We prove that for every infinite set $E\subset \mathbb Z$, there is a set $S\subset E-E$ which is a set of topological recurrence and not a set of measurable recurrence. This extends a result of Igor Kriz, proving that there is a set of topological recurrence which is not a set of measurable recurrence. Our construction follows Kriz's closely, and this paper can be considered an exposition of the original argument.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a subset in the set of integers that is a topologically recursive set but not a measure - recursive set. Specifically, the goal of the paper is to prove that for any infinite set \(E\subseteq\mathbb{Z}\), there exists a subset \(S\subseteq E - E\) such that \(S\) is a topologically recursive set but not a measure - recursive set. This extends Igor Kriz's previous result, that is, there exists a topologically recursive set but not a measure - recursive set. The paper achieves this goal by elaborating on Kriz's original argument and provides an explicit proof, further generalizing Kriz's theorem.
### Main contributions
1. **Extension of Kriz's result**: The paper not only reproduces Kriz's theorem but also generalizes it to the difference set \(E - E\) of any infinite integer set \(E\).
2. **Detailed proof process**: The paper provides a detailed explanation of Kriz's original argument, helping readers better understand the underlying mathematical ideas.
3. **New construction method**: The paper proposes a new construction method. By finding subsets in a finite group that approximately satisfy specific recursive properties, and then copying these subsets to the set of integers, and finally splicing them into the required set \(S\).
### Key concepts
- **Topologically recursive set**: If a set \(S\subseteq\mathbb{Z}\) satisfies the recursive property under certain topological conditions, it is called a topologically recursive set.
- **Measure - recursive set**: If a set \(S\subseteq\mathbb{Z}\) satisfies the recursive property under certain measure conditions, it is called a measure - recursive set.
- **Difference set**: Given a set \(A\subseteq\mathbb{Z}\), its difference set is defined as \(A - A=\{a_1 - a_2:a_1,a_2\in A\}\).
- **Upper asymptotic density**: The upper asymptotic density of a set \(A\subseteq\mathbb{Z}\) is defined as \(\bar{d}(A):=\limsup_{n\rightarrow\infty}\frac{|A\cap\{1,\ldots,n\}|}{n}\).
### Paper structure
1. **Introduction**: Introduce the research background and motivation, and summarize the main results.
2. **Preliminaries**: Define relevant terms and concepts, such as topologically recursive set, measure - recursive set, difference set, etc.
3. **Approximation in finite groups**: Find subsets in a finite group that approximately satisfy specific recursive properties.
4. **Copying from finite groups to the set of integers**: Copy these subsets to the set of integers while maintaining their recursive properties.
5. **Splicing finite subsets**: Splice multiple finite subsets into a whole to form the required set \(S\).
6. **Proof of the main theorems**: Prove Theorem 1.1 and Theorem 1.2 in detail.
### Conclusion
The paper successfully extends Kriz's result and proves that for any infinite integer set \(E\), there exists a subset \(S\subseteq E - E\) such that \(S\) is a topologically recursive set but not a measure - recursive set. This result deepens the understanding of recursive properties and provides new ideas for future research.