Counting and Hausdorff measures for integers and $p$-adic integers

Davi Lima,Alex Zamudio Espinosa
2024-08-06
Abstract:In this work, we aim to advance the development of a fractal theory for sets of integers. The core idea is to utilize the fractal structure of $p$-adic integers, where $p$ is a prime number, and compare this with conventional densities and counting measures for integers. Our approach yields some results in combinatorial number theory. The results show how the local fractal structure of a set in $\mathbb{Z}_p$ can provide bounds for the counting measure for its projection onto $\mathbb{Z}$. Additionally, we establish a relationship between the counting dimension of a set of integers and its box-counting dimension in $\mathbb{Z}_p$. Since our results pertain to sets that are projections of closed sets in $\mathbb{Z}_p$, we also provide both necessary and sufficient combinatorial conditions for a set $E\subset \mathbb{Z}$ to be the projection of a closed set in $\mathbb{Z}_p$.
Number Theory,Combinatorics,Dynamical Systems
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to develop the fractal theory of the set of integers, and by using the fractal structure of p -adic integers (where p is a prime number), compare the applications of traditional density and counting measure on the set of integers. Specifically, the author hopes to explore how the local fractal structure provides the boundary of the counting measure for the projection of the set of integers, and establish the relationship between the counting dimension of the set of integers and its box - dimension in \( \mathbb{Z}_p \). ### Summary of Main Problems 1. **Introducing New Measurement Methods**: The paper aims to introduce a new method to "measure" and estimate the dimension of integer subsets. This method is based on regarding the set of integers as a subset of \( \mathbb{Z}_p \), taking its p -adic closure, and studying the connections between the fractal geometric properties (such as Hausdorff measure, box - dimension and Hausdorff dimension) of these sets and their analytic combinatorial properties (such as density, counting measure and counting dimension). 2. **Relationship between Counting Dimension and Box - Dimension**: The author explores the relationship between the counting dimension of the set of integers and the box - dimension of its projection in \( \mathbb{Z}_p \). In particular, they prove that the counting dimension is always less than or equal to the box - dimension, and give an example to show that the Hausdorff dimension can be strictly less than the counting dimension. 3. **Necessary and Sufficient Conditions**: In order for certain integer sets to be the projections of closed sets in \( \mathbb{Z}_p \), the paper provides the necessary combinatorial conditions. 4. **Application to Number Theory**: Through the above - mentioned theories, the author gives some applications in number theory, such as results about arithmetic difference sets. ### Formula Presentation - **Upper Banach Density**: \[ d^*(E)=\limsup_{|I|\to +\infty}\frac{|E\cap I|}{|I|} \] where \( I=(M, N] = \{M + 1, M+2,\ldots, N\}\subset\mathbb{Z} \), and \( |I|=N - M \). - **s - Counting Measure**: \[ H_s(E)=\limsup_{|I|\to \infty}\frac{|E\cap I|}{|I|^s} \] - **Counting Dimension**: \[ D(E)=\limsup_{|I|\to \infty}\frac{\log |E\cap I|}{\log |I|} \] - **Local s - Counting Measure**: \[ \eta_s(F; x, n)=\limsup_{|I|\to \infty}\frac{|F\cap B_p^{-n}(x)\cap I|}{|B_p^{-n}(x)\cap I|^s} \] \[ \eta_s(F; x)=\limsup_{n\to \infty}\eta_s(F; x, n) \] Through these formulas and theories, the author successfully links the fractal geometric properties of the set of integers with their combinatorial properties, providing a new perspective for understanding the complex structure of the set of integers.