Related papers: M\"obius inversion and coprime summation for error…

Let $x=[a_1(x),a_2(x),\ldots]$ be the continued fraction expansion of $x\in[0,1)$. We prove that the Hausdorff dimension of \begin{equation*}E_{even}=\{x\in[0,1)\colon a_{2n}(x)\to\infty\ (n\to\infty)\}.\end{equation*} is 1/2. In general,…

In \cite{d4}, we gave a method to construct a continued fraction of the function $F(x):=e^{x}E_{1}(x)$. More precisely we define $F_{1}(x)$ as the reciprocal of $F(x)$ and we inductively define $F_{m}(x)$ as the reciprocal of ``$F_{m-1}(x)$…

We investigate from a multifractal analysis point of view the increasing rate of the sums of partial quotients $S\_n(x)=\sum\_{j=1}^n a\_j(x)$, where $x=[a\_1(x), a\_2(x), \cdots ]$ is the continued fraction expansion of an irrational $x\in…

We fix a positive integer $M$, and we consider expansions in arbitrary real bases $q>1$ over the alphabet $\{0,1,...,M\}$. We denote by $U_q$ the set of real numbers having a unique expansion. Completing many former investigations, we give…

Let $x \in [0,1)$ be an irrational number with continued fraction expansion $[a_1(x),a_2(x), \cdots,a_n(x),\cdots]$ and $q_n(x)$ be the denominator of its $n$-th convergent. We establish, for any $\alpha,\beta$ in $[0,+\infty]$, the…

Let $M(x)=\sum_{1\le n\le x}\mu(n)$ where $\mu$ is the M\"obius function. It is well-known that the Riemann Hypothesis is equivalent to the assertion that $M(x)=O(x^{1/2+\epsilon})$ for all $\epsilon>0$. There has been much interest and…

Several years ago the second author playing with different "recognizers of real constants", e.g., the LLL algorithm, the Plouffe inverter, etc. found empirically the following formula. Let $p_n/q_n$ denote the $n$th convergent of the…

In a recent paper [Adv. Math. 305:165--196, 2017], Komornik et al.~proved a long-conjectured formula for the Hausdorff dimension of the set $\mathcal{U}_q$ of numbers having a unique expansion in the (non-integer) base $q$, and showed that…

We study the continued fractions with bounded odd/even-order partial quotients. In particular, we investigate the sizes of the sets of continued fractions whose odd-order partial quotients are equal to 1. We demonstrate that the sum and the…

We prove the following results solving a problem raised in [Y. Caro, R. Yuster, On zero-sum and almost zero-sum subgraphs over $\mathbb{Z}$, Graphs Combin. 32 (2016), 49--63]. For a positive integer $m\geq 2$, $m\neq 4$, there are…

We establish that constructive continued fraction dimension originally defined using $s$-gales is robust, but surprisingly, that the effective continued fraction dimension and effective (base-$b$) Hausdorff dimension of the same real can be…

For a purely $N$-periodic continued fraction $\xi=[\overline{a_0,a_1,\dots,a_{N-1}}]=[a_0,a_1,\cdots]$, with $a_k=a_{k+N}$ for all $k\ge 0$, and convergents $h_n/k_n=[a_0,a_1,\dots,a_n]$, we obtain explicit expressions for the weighted…

This paper examines dimension of the graph of the famous Weierstrass non-differentiable function \[ W_{\lambda, b} (x) = \sum_{n=0}^{\infty}\lambda^n\cos(2\pi b^n x) \] for an integer $b \ge 2$ and $1/b < \lambda < 1$. We prove that for…

We prove a quantitative distortion theorem for iterated function systems that generate sets of continued fractions. As a consequence, we obtain upper and lower bounds on the Hausdorff dimension of any set of real or complex continued…

For two real bases $q_0, q_1 > 1$, a binary sequence $i_1 i_2 \cdots \in \{0,1\}^\infty$ is the $(q_0,q_1)$-expansion of the number \[ \pi_{q_0,q_1}(i_1 i_2 \cdots) = \sum_{k=1}^\infty \frac{i_k}{q_{i_1} \cdots q_{i_k}}. \] Let…

Let $k\geq 1$ be an integer. Let $\delta_k(n)$ denote the maximum divisor of $n$ which is co-prime to $k$. We study the error term of the general $m$-th Riesz mean of the arithmetical function $\delta_k(n)$ for any positive integer $m \ge…

An Engel series is a sum of reciprocals $\sum_{j\geq 1} 1/x_j$ of a non-decreasing sequence of positive integers $x_n$ with the property that $x_n$ divides $x_{n+1}$ for all $n\geq 1$. In previous work, we have shown that for any Engel…

We prove an inversion formula for summatory arithmetic functions. As an application, we obtain an arithmetic relationship between summatory Piltz divisor functions and a sum of the M\"obius function over certain integers, denoted by…

We use Cramer's formula for the inverse of a matrix and a combinatorial expression for the determinant in terms of paths of an associated digraph (which can be traced back to Coates) to give a combinatorial interpretation of M\"obius…

We show that $$ \sum_{n\neq m}\frac{\mu(n)\mu(m)}{nm}E_{X}\left(\{nx\}\{mx\}\right)=-\frac{9}{2\pi^{2}}+O\left(\frac{1}{X}\right), $$ where $x$ is uniformly distributed in $[0,X]$ with $X\in \mathbb{N}$, $E_{X}(.)$ denotes the expected…