On a Conjecture of Cusick on a sum of Cantor sets
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915329682178048 |
|---|---|
| author | Shulga, Nikita |
| author_facet | Shulga, Nikita |
| contents | In 1971 Cusick proved that every real number $x\in[0,1]$ can be expressed as a sum of two continued fractions with no partial quotients equal to $1$. In other words, if we define a set $$ S(k):= \{ x\in[0,1] : a_n(x) \geq k \text{ for all } n\in\mathbb{N} \}, $$ then $$ S(2)+S(2) = [0,1]. $$ He also conjectured that this result is unique in the sense that if you exclude partial quotients from $1$ to $k-1$ with $k\geq3$, then the Lebesgue measure $λ$ of the set of numbers which can be expressed as a sum of two continued fractions with no partial quotients from $\{1,\ldots,k-1\}$ is equal to $0$, that is $$λ\Bigl( S(k)+S(k) \Bigl)= 0 \text{ for }k\geq 3.$$ In this paper, we disprove the conjecture of Cusick by showing that $$ S(k)+S(k) \supseteq \left[0,\frac{1}{k-1}\right]. $$ The proof is constructive and does not rely on ideas from previous works on the topic. We also show the existence of countably many 'gaps' in $S(k)+S(k)$, that is intervals, for which the endpoints lie in $S(k)+S(k)$, while none of the elements in the interior do so. Finally, we prove several results on the sums $$ S(m)+S(n) $$ for $m\neq n$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_17379 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On a Conjecture of Cusick on a sum of Cantor sets Shulga, Nikita Number Theory In 1971 Cusick proved that every real number $x\in[0,1]$ can be expressed as a sum of two continued fractions with no partial quotients equal to $1$. In other words, if we define a set $$ S(k):= \{ x\in[0,1] : a_n(x) \geq k \text{ for all } n\in\mathbb{N} \}, $$ then $$ S(2)+S(2) = [0,1]. $$ He also conjectured that this result is unique in the sense that if you exclude partial quotients from $1$ to $k-1$ with $k\geq3$, then the Lebesgue measure $λ$ of the set of numbers which can be expressed as a sum of two continued fractions with no partial quotients from $\{1,\ldots,k-1\}$ is equal to $0$, that is $$λ\Bigl( S(k)+S(k) \Bigl)= 0 \text{ for }k\geq 3.$$ In this paper, we disprove the conjecture of Cusick by showing that $$ S(k)+S(k) \supseteq \left[0,\frac{1}{k-1}\right]. $$ The proof is constructive and does not rely on ideas from previous works on the topic. We also show the existence of countably many 'gaps' in $S(k)+S(k)$, that is intervals, for which the endpoints lie in $S(k)+S(k)$, while none of the elements in the interior do so. Finally, we prove several results on the sums $$ S(m)+S(n) $$ for $m\neq n$. |
| title | On a Conjecture of Cusick on a sum of Cantor sets |
| topic | Number Theory |
| url | https://arxiv.org/abs/2411.17379 |