BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove a folklore conjecture concerning the sum-of-digits functions in bases two and three: there are infinitely many positive integers n such that the sum of the binary digits of n equals the sum of the ternary digits of n.
The purpose of this paper is to discuss the relationship between prime numbers and sums of Fibonacci numbers. One of our main results says that for every sufficiently large integer k there exists a prime number that can be represented as the sum of k different and non-consecutive Fibonacci numbers. This property is closely related to, and based on, a prime number theorem for certain morphic sequences. The proof of such a prime number theorem, combined with a corresponding local result, is the central contribution of this paper, from which we derive the result stated in the beginning. Problems of this type have been discussed intensively in the context of the base-q expansion. The Gelfond problems (1968/1969), and the Sarnak conjecture, were the driving forces of this development. Mauduit and Rivat resolved the question on the sum of digits of prime numbers (2010) and the sum of digits of squares (2009), thus leaving open only part of the third Gelfond problem. Later the second author (2017) proved Sarnak's conjecture for all automatic sequences, which are based on the q-ary expansion of integers, and which generalize the sum-of-digits function in base q considerably. In order to obtain corresponding results for Fibonacci numbers, we have to extend Mauduit and Rivat's method considerably. In fact, we are departing significantly from this method, proving the statement that exp(2πiϑz(n)) has \emph{level of distribution} 1 (here z(n) is the number of Fibonacci numbers needed to write n as their sum). This latter result forms an essential part of our treatment of the occurring sums of type I and II and uses Gowers norms related to z(n) as a central technical tool. The appearance of Gowers norms in our method is intimately tied to the iterated application of a new generalization of van der Corput's inequality.
The binary sum-of-digits function s counts the number of ones in the binary expansion of a nonnegative integer. For any nonnegative integer t, T.~W.~Cusick defined the asymptotic density ct of integers n≥0 such that s(n+t)≥s(n). In 2011, he conjectured that ct>1/2 for all t -- the binary sum of digits should, more often than not, weakly increase when a constant is added. In this paper, we prove that there exists an explicit constant M0 such that indeed ct>1/2 if the binary expansion of t contains at least M0 maximal blocks of contiguous ones, leaving open only the "initial cases" -- few maximal blocks of ones -- of this conjecture. Moreover, we sharpen a result by Emme and Hubert (2019), proving that the difference s(n+t)−s(n) behaves according to a Gaussian distribution, up to an error tending to 0 as the number of maximal blocks of ones in the binary expansion of t grows.
We prove that strongly b-multiplicative functions of modulus 1 along squares are asymptotically orthogonal to the Möbius function. This provides examples of sequences having maximal entropy and satisfying this property.
For two distinct integers m1,m2≥2, we set α1=[0;1,m1] and α2=[0;1,m2] and we denote by Sα1(n) and Sα2(n) respectively the sum of digits functions in the Ostrowski α1 and α2−representations of n. Let b1,b2 be positive integers satisfying (b1,m1)=1 and (b2,m2)=1, we obtain an estimation with an error term O(N1−δ) for the cardinal of the following set {0≤n<N; Sα1(n)≡a1(modb1), Sα2(n)≡a2(modb2)}, for all integers a1 and a2. Our result should be compared to that of Bésineau and Kim who treated the case of the q−representations in different bases (that are coprimes).
Let s2 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 s2 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 s2 has full complexity.
For a nonnegative integer t, let ct be the asymptotic density of natural numbers n for which s(n+t)≥s(n), where s(n) denotes the sum of digits of n in base 2. We prove that ct>1/2 for t in a set of asymptotic density 1, thus giving a partial solution to a conjecture of T. W. Cusick stating that ct>1/2 for all t. Interestingly, this problem has several equivalent formulations, for example that the polynomial X(X+1)⋯(X+t−1) has less than 2t zeros modulo 2t+1. The proof of the main result is based on Chebyshev's inequality and the asymptotic analysis of a trivariate rational function, using methods from analytic combinatorics.
For an irrational α∈(0,1), we investigate the Ostrowski sum-of-digits function σα. For α having bounded partial quotients and ϑ∈R∖Z, we prove that the function g:n↦e(ϑσα(n)), where e(x)=e2πix, is pseudorandom in the following sense: for all r∈N the limit γr=limN→∞N1∑0≤n<Ng(n+r)g(n) exists and we have limR→∞R1∑0≤r<Rγr2=0.
Using methods developed by Coons and Tyler, we give a new proof of a recent result of Defant, by determining the maximal order of the number of hyper-(b-ary)-expansions of a nonnegative integer n for general integral bases b⩾2.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.