BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Lukas Spiegelhofer contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
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 \vartheta\mathsf z(n))$ has \emph{level of distribution} $1$ (here $\mathsf 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 $\textrm I$ and $\textrm{II}$ and uses Gowers norms related to $\mathsf 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 $c_t$ of integers $n\geq 0$ such that \[s(n+t)\geq s(n).\] In 2011, he conjectured that $c_t>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 $M_0$ such that indeed $c_t>1/2$ if the binary expansion of $t$ contains at least $M_0$ 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 $m_1,m_2\ge2$, we set $α_1=[0;\overline{1,m_1}]$ and $α_2=[0;\overline{1,m_2}]$ 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 $b_1,b_2 $ be positive integers satisfying $(b_1,m_1)=1$ and $(b_2,m_2)=1$, we obtain an estimation with an error term $O(N^{1-δ})$ for the cardinal of the following set $$\Big\{ 0\leq n<N;\ S_{α_1}(n)\equiv a_1\pmod{b_1},\ S_{α_2}(n)\equiv a_2\pmod{b_2}\Big\},$$ for all integers $a_1$ and $a_2.$ 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 $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.