We consider the $q$-ary digital expansion of the first $N$ terms of an exponential sequence $a^n$. Using a result due to Kiss and Tichy [8], we prove that the average number of occurrences of an arbitrary digital block in the last $clogN$ digits is asymptotically equal to the expected value. Under stronger assumptions we get a similar result for the first ${(logN)}^{\frac{3}{2}-ϵ}$ digits, where $ϵ$ is a positive constant. In both methods, we use estimations of exponential sums and the concept of discrepancy of real sequences...

Under the Generalized Riemann Hypothesis, it is proved that for any $k\ge 200$ there is $N_k\>0$ depending on $k$ only such that every even integer $\ge N_k$ is a sum of two odd primes and $k$ powers of $2$.

As promised in the first paper of this series (Ann. Inst. Fourier, 26-4 (1976), 115-131), these two articles deal with the asymptotic distribution of the fractional parts of $xh\left(x\right)$ where $h$ is an arithmetical function (namely $h\left(n\right)=1/n$, $h\left(n\right)=logn$, $h\left(n\right)=1/logn$) and $n$ is an integer (or a prime order) running over the interval $\left[y\right(x),x)]$. The results obtained are rather sharp, although one can improve on some of them at the cost of increased technicality. Number-theoretic applications will be given later on.

In this paper we prove a lower bound for the linear dependence of three positive rational numbers under certain weak linear independence conditions on the coefficients of the linear forms. Let $\Lambda =b_{2}log{\alpha }_2-b_{1}log{\alpha }_1-b_{3}log{\alpha }_3\ne 0$ with $b_1,b_2,b_3$ positive integers and ${\alpha }_1,{\alpha }_2,{\alpha }_3$ positive multiplicatively independent rational numbers greater than $1$. Let ${\alpha }_{j1}={\alpha }_{j1}/{\alpha }_{j2}$ with ${\alpha }_{j1},{\alpha }_{j2}$ coprime positive integers $(j=1,2,3)$. Let ${\alpha }_j\ge \text{max}\{{\alpha }_{j1},e\}$ and assume that gcd$(b_1,b_2,b_3)=1.$ Let $$b^{\text{'}}=\left(\frac{b_2}{log{\alpha }_1}+\frac{b_1}{log{\alpha }_2}\right)\left(\frac{b_2}{log{\alpha }_3}+\frac{b_3}{log{\alpha }_2}\right)$$ and assume that $B\ge \text{max}\{10,log{b}^{\text{'}}\}.$ We prove that either $\{b_1,b_2,b_3\}$ is $\left(c_4,B\right)$-linearly dependent over $\mathbb{Z}$ (with respect to $\left(a_1,a_2,a_3\right)$)...

The $L^1$ norm of a trigonometric polynomial with $N$ non zero coefficients of absolute value not less than 1 exceeds a fixed positive multiple of $C\left(\log N\right)/(\log \log N{)}^2.$

The technique developed by A. Walfisz in order to prove (in 1962) the estimate $H\left(x\right)\ll {(logx)}^{2/3}{(loglogx)}^{4/3}$ for the error term $H\left(x\right)={\sum }_{n\le x}\frac{\phi \left(n\right)}{n}-\frac{6}{{\pi }^2}x$ related to the Euler function is extended. Moreover, the argument is simplified by exploiting works of A.I. Saltykov and of A.A. Karatsuba. It is noted in passing that the proof proposed by Saltykov in 1960 of $H\left(x\right)\ll {(logx)}^{2/3}{(loglogx)}^{1+ϵ}$ is erroneous and once corrected “only” yields Walfisz’ result. The generalizations obtained can be applied to error terms related to various classical - and less classical -...

Let $E$ be a self-similar set with similarities ratio $r_j(0\le j\le m-1)$ and Hausdorff dimension $s$, let $\overrightarrow{p}(p_0,p_1)...p_{m-1}$ be a probability vector. The Besicovitch-type subset of $E$ is defined as $$E\left(\overrightarrow{p}\right)=\left\{x\in E:\underset{n\to \infty }{lim}\frac{1}{n}\sum _{k=1}^n{\chi }_j\left(x_k\right)=p_j,0\le j\le m-1\right\},$$ where ${\chi }_j$ is the indicator function of the set $\left\{j\right\}$. Let $\alpha ={dim}_H\left(E\left(\overrightarrow{p}\right)\right)={dim}_P\left(E\left(\overrightarrow{p}\right)\right)=\frac{{\sum }_{j=0}^{m-1}{p}_{j}log{p}_j}{{\sum }_{j=0}^{m-1}{p}_{i}log{r}_j}$ and $g$ be a gauge function, then we prove in this paper:(i) If $\overrightarrow{p}=(r_0^s,r_1^s,\cdots ,r_{m-1}^s)$, then $${\mathscr{H}}^s\left(E\left(\overrightarrow{p}\right)\right)={\mathscr{H}}^s\left(E\right),{𝒫}^s\left(E\left(\overrightarrow{p}\right)\right)={𝒫}^s\left(E\right),$$ moreover both of ${\mathscr{H}}^s\left(E\right)$ and ${𝒫}^s\left(E\right)$ are finite positive;(ii) If $\overrightarrow{p}$ is a positive probability vector other than $(r_0^s,r_1^s,\cdots ,r_{m-1}^s)$, then the gauge functions can be partitioned as follows ...

Canonical number systems in the ring of gaussian integers $\mathbb{Z}\left[i\right]$ are the natural generalization of ordinary $q$-adic number systems to $\mathbb{Z}\left[i\right]$. It turns out, that each gaussian integer has a unique representation with respect to the powers of a certain base number $b$. In this paper we investigate the sum of digits function ${\nu }_b$ of such number systems. First we prove a theorem on the sum of digits of numbers, that are not divisible by the $f$-th power of a prime. Furthermore, we establish an Erdös-Kac type...

In this paper, we apply character sum estimates to study products of factorials modulo $p$.