Exact dimensions of the prime continued fraction Cantor set

Tushar Das,David Simmons

DOI: https://doi.org/10.48550/arXiv.2305.11829

2023-05-20

Abstract:We study the exact Hausdorff and packing dimensions of the $prime$ $Cantor$ $set$, $\Lambda_P$, which comprises the irrationals whose continued fraction entries are prime numbers. We prove that the Hausdorff measure of the prime Cantor set cannot be finite and positive with respect to any sufficiently regular dimension function, thus negatively answering a question of Mauldin (2013) for this class of dimension functions. By contrast, under a reasonable number-theoretic conjecture we prove that the packing measure of the conformal measure on the prime Cantor set is in fact positive and finite with respect to the dimension function $\psi(r) = r^\delta \log^{-2\delta}\log(1/r)$, where $\delta$ is the dimension (conformal, Hausdorff, and packing) of the prime Cantor set.

Number Theory,Dynamical Systems

What problem does this paper attempt to address?

This paper attempts to solve the problems regarding the Hausdorff and packing measures of the prime continued fraction Cantor set. Specifically, the paper mainly focuses on the following aspects:

1. **Accurate measurement of Hausdorff and packing dimensions**:
- The authors study the Hausdorff and packing dimensions of the set of irrational numbers represented by continued fractions composed of prime numbers (i.e., the prime Cantor set \(\Lambda_P\)).
- They prove that for any sufficiently regular dimension function, the Hausdorff measure of \(\Lambda_P\) cannot be finite and positive, thus negating a question raised by Mauldin in 2013.

2. **Properties of packing measures**:
- Under a reasonable number - theoretic conjecture, the authors prove that the packing measure of the conformal measure on the prime Cantor set is actually positive and finite, with the corresponding dimension function \(\psi(r)=r^\delta (\log(1/r))^{-2\delta}\), where \(\delta\) is the conformal, Hausdorff, and packing dimension of the prime Cantor set.

3. **Solutions to specific problems**:
- The paper solves the problem of whether there exist appropriate dimension functions such that the Hausdorff and packing measures are positive and finite. By introducing new dimension functions and combining conjectures in number theory, the authors give an affirmative answer.

### Formula summary

- **Dimension function**:
\[
\psi(r)=r^\delta (\log(1/r))^{-2\delta}
\]

- **Key theorems**:
- For the conformal measure \(\mu_P\) and the monotonic function \(\Psi(r)=r^{-\delta}\psi(r)\), if the series
\[
\sum_{k = 1}^{\infty}y^{1 - 2\delta}(\log y)^{\delta/(1-\delta)}
\]
diverges, then \(H_\psi(\mu)=0\); if it converges, then \(H_\psi(\mu)=\infty\).

- For the packing measure, assuming the number - theoretic conjecture holds, then
\[
P_\psi(\mu)\in(0,\infty)
\]
where \(\psi(r)=r^\delta (\log(1/r))^{-2\delta}\).

### Conclusion

By deeply analyzing the geometric properties of the prime Cantor set, the paper solves the key problems regarding its Hausdorff and packing measures and proposes new number - theoretic conjectures to support these conclusions.