Abstract: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 $\lambda$ 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 $$\lambda\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$.

The Chess conjecture

A proof of a Dumortier-Roussarie's conjecture

Frankel Conjecture and Sasaki Geometry

Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves

A Conjecture of Flach and Morin

A symplectic Hilbert-Smith conjecture

On a generalized conjecture of Hopf with symmetry

Collisionless energy absorption in nanoplasma layer in regular and stochastic regimes

Enumerative mirror symmetry for moduli spaces of Higgs bundles and S-duality

Spin Representations of Finite Coxeter Groups and Generalisations of Saxl's Conjecture

Converse Theorem Meets Gauss Sums

Homotopy approximations to the space of knots, Feynman diagrams, and a conjecture of Scannell and Sinha

Doubling constructions: Global functoriality for non-generic cuspidal representations

Homomorphism obstructions for satellite maps

Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

On a Conjecture of Cusick on a sum of Cantor sets

On the Cohomology of the Mapping Class Group of the Punctured Projective Plane

The ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs

Ordinary primes in Hilbert modular varieties

On patched completed homology and a conjecture of Venkatesh

Equivariant Cohomology Chern Numbers Determine Equivariant Unitary Bordism for Torus Groups