-
Patterns in rational base number systems
Authors:
Johannes F. Morgenbesser,
Wolfgang Steiner,
Jörg Thuswaldner
Abstract:
Number systems with a rational number $a/b > 1$ as base have gained interest in recent years. In particular, relations to Mahler's 3/2-problem as well as the Josephus problem have been established. In the present paper we show that the patterns of digits in the representations of positive integers in such a number system are uniformly distributed. We study the sum-of-digits function of number syst…
▽ More
Number systems with a rational number $a/b > 1$ as base have gained interest in recent years. In particular, relations to Mahler's 3/2-problem as well as the Josephus problem have been established. In the present paper we show that the patterns of digits in the representations of positive integers in such a number system are uniformly distributed. We study the sum-of-digits function of number systems with rational base $a/b$ and use representations w.r.t. this base to construct normal numbers in base $a$ in the spirit of Champernowne. The main challenge in our proofs comes from the fact that the language of the representations of integers in these number systems is not context-free. The intricacy of this language makes it impossible to prove our results along classical lines. In particular, we use self-affine tiles that are defined in certain subrings of the adéle ring $\mathbb{A}_\mathbb{Q}$ and Fourier analysis in $\mathbb{A}_\mathbb{Q}$. With help of these tools we are able to reformulate our results as estimation problems for character sums.
△ Less
Submitted 22 March, 2012;
originally announced March 2012.
-
On a problem of Chen and Liu concerning the prime power factorization of $n!$
Authors:
Johannes F. Morgenbesser,
T. Stoll
Abstract:
For a fixed prime $p$, let $e_p(n!)$ denote the order of $p$ in the prime factorization of $n!$. Chen and Liu (2007) asked whether for any fixed $m$, one has $\{e_p(n^2!) \bmod m:\; n\in\mathbb{Z}\}=\mathbb{Z}_m$ and $\{e_p(q!) \bmod m:\; q {prime}\}=\mathbb{Z}_m$. We answer these two questions and show asymptotic formulas for $# \{n<x: n \equiv a \bmod d,\; e_p(n^2!)\equiv r \bmod m\}$ and…
▽ More
For a fixed prime $p$, let $e_p(n!)$ denote the order of $p$ in the prime factorization of $n!$. Chen and Liu (2007) asked whether for any fixed $m$, one has $\{e_p(n^2!) \bmod m:\; n\in\mathbb{Z}\}=\mathbb{Z}_m$ and $\{e_p(q!) \bmod m:\; q {prime}\}=\mathbb{Z}_m$. We answer these two questions and show asymptotic formulas for $# \{n<x: n \equiv a \bmod d,\; e_p(n^2!)\equiv r \bmod m\}$ and $# \{q<x: q {prime}, q \equiv a \bmod d,\; e_p(q!)\equiv r \bmod m\}$. Furthermore, we show that for each $h\geq 3$, we have $\{n<x: n \equiv a \bmod d,\; e_p(n^h!)\equiv r \bmod m\} \gg x^{4/(3h+1)}$.
△ Less
Submitted 21 October, 2011;
originally announced October 2011.
-
Thue-Morse at Multiples of an Integer
Authors:
Johannes F. Morgenbesser,
Jeffrey Shallit,
Thomas Stoll
Abstract:
Let (t_n) be the classical Thue-Morse sequence defined by t_n = s_2(n) (mod 2), where s_2 is the sum of the bits in the binary representation of n. It is well known that for any integer k>=1 the frequency of the letter "1" in the subsequence t_0, t_k, t_{2k}, ... is asymptotically 1/2. Here we prove that for any k there is a n<=k+4 such that t_{kn}=1. Moreover, we show that n can be chosen to have…
▽ More
Let (t_n) be the classical Thue-Morse sequence defined by t_n = s_2(n) (mod 2), where s_2 is the sum of the bits in the binary representation of n. It is well known that for any integer k>=1 the frequency of the letter "1" in the subsequence t_0, t_k, t_{2k}, ... is asymptotically 1/2. Here we prove that for any k there is a n<=k+4 such that t_{kn}=1. Moreover, we show that n can be chosen to have Hamming weight <=3. This is best in a twofold sense. First, there are infinitely many k such that t_{kn}=1 implies that n has Hamming weight >=3. Second, we characterize all k where the minimal n equals k, k+1, k+2, k+3, or k+4. Finally, we present some results and conjectures for the generalized problem, where s_2 is replaced by s_b for an arbitrary base b>=2.
△ Less
Submitted 27 September, 2010;
originally announced September 2010.
