Density combinatorics theorems in fractal dimension theory of continued fractions

We build a bridge from density combinatorics to dimension theory of continued fractions. We establish a fractal transference principle that transfers common properties of subsets of $\mathbb{N}$ with positive upper density to properties of subsets of irrationals in $(0,1)$ for which the set $\{a_n(x)\text{\hspace{0.17em}⁣}:n\in \mathbb{N}\}$ of partial quotients induces an injection $n\in \mathbb{N}\mapsto a_n(x)\in \mathbb{N}$. Let $(\ast )$ be a certain property that holds for any subset of $\mathbb{N}$ with positive upper density. The principle asserts that for any subset $S$ of $\mathbb{N}$ with positive upper density, there exists a set $E_S$ of Hausdorff dimension $1\mathrm{/}2$ such that the set ${\bigcup }_{n\in \mathbb{N}}{\bigcap }_{x\in E_S}\{a_n(x)\}\cap S$ has the same upper density as that of $S$, and thus inherits property $(\ast )$. Examples of $(\ast )$ include the existence of arithmetic progressions of arbitrary lengths and the existence of arbitrary polynomial progressions, known as Szemerédi’s and Bergelson-Leibman’s theorems respectively. In the same spirit, we establish a relativized version of the principle applicable to the primes, to the primes of the form $y^2+z^2+1$, to the sets given by the Piatetski-Shapiro sequences.