Source author record

Thomas Stoll

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.CO Discrete Mathematics math.DS math.PR

Catalog footprint

Research overview

6works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Discrete correlations of order 2 of generalised Rudin-Shapiro sequences: a combinatorial approach

We introduce a family of block-additive automatic sequences, that are obtained by allocating a weight to each couple of digits, and defining the $n$ th term of the sequence as being the total weight of the integer $n$ written in base $k$ . Under an additional difference condition on the weight function, these sequences can be interpreted as generalised Rudin-Shapiro sequences, and we prove that they have the same correlations of order 2 as sequences of symbols chosen uniformly and independently at random. The speed of convergence is very fast and is independent of the prime factor decomposition of $k$ . This extends recent work of Tahay. The proof relies on direct observations about base- $k$ representations of integers and combinatorial considerations. We also provide extensions of our results to higher-dimensional block-additive sequences.

preprint2019arXiv

The sum-of-digits function on arithmetic progressions

Let $s_2$ be the sum-of-digits function in base $2$ , which returns the number of non-zero binary digits of a nonnegative integer $n$ . We study $s_2$ alon g arithmetic subsequences and show that --- up to a shift --- the set of $m$ -tuples of integers that appear as an arithmetic subsequence of $s_2$ has full complexity.

preprint2013arXiv

On a conjecture of Dekking : The sum of digits of even numbers

Let $q\geq 2$ and denote by $s_q$ the sum-of-digits function in base $q$ . For $j=0,1,...,q-1$ consider $$# \{0 \le n < N : \;\;s_q(2n) \equiv j \pmod q \}.$$ In 1983, F. M. Dekking conjectured that this quantity is greater than $N/q$ and, respectively, less than $N/q$ for infinitely many $N$ , thereby claiming an absence of a drift (or Newman) phenomenon. In this paper we prove his conjecture.

preprint2011arXiv

The sum of digits of polynomial values in arithmetic progressions

Let $q, m\geq 2$ be integers with $(m,q-1)=1$ . Denote by $s_q(n)$ the sum of digits of $n$ in the $q$ -ary digital expansion. Further let $p(x)\in mathbb{Z}[x]$ be a polynomial of degree $h\geq 3$ with $p(\mathbb{N})\subset \mathbb{N}$ . We show that there exist $C=C(q,m,p)>0$ and $N_0=N_0(q,m,p)\geq 1$ , such that for all $g\in\mathbb{Z}$ and all $N\geq N_0$ , $$#\{0\leq n< N: \quad s_q(p(n))\equiv g \bmod m\}\geq C N^{4/(3h+1)}.$$ This is an improvement over the general lower bound given by Dartyge and Tenenbaum (2006), which is $C N^{2/h!}$ .

preprint2010arXiv

Extremal orders of the Zeckendorf sum of digits of powers

Denote by s_F(n) the minimal number of Fibonacci numbers needed to write n as a sum of Fibonacci numbers. We obtain the extremal minimal and maximal orders of magnitude of s_F(n^h)/s_F(n) for any h>= 2. We use this to show that for all $>N_0(h) there is an n such that n is the sum of N Fibonacci numbers and n^h is the sum of at most 130 h^2 Fibonacci numbers. Moreover, we give upper and lower bounds on the number of n's with small and large values of s_F(n^h)/s_F(n). This extends a problem of Stolarsky to the Zeckendorf representation of powers, and it is in line with the classical investigation of finding perfect powers among the Fibonacci numbers and their finite sums.

preprint2010arXiv

Thue-Morse at Multiples of an Integer

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.