Title:A Hidden Signal in the Ulam sequence

Abstract:The Ulam sequence is defined as $a_1 =1, a_2 = 2$ and $a_n$ being the smallest integer that can be written as the sum of two distinct earlier elements in a unique way. This gives $$1, 2, 3, 4, 6, 8, 11, 13, 16, 18, 26, 28, 36, 38, 47, \dots$$ Virtually nothing is known about the sequence; the purpose of this short note is to report the following empirical discovery: there seems to exist a real $\alpha \sim 2.5714474995\dots$ such that $$\left\{\alpha a_n: n\in \mathbb{N}\right\} \quad \mbox{mod}~2\pi \quad \mbox{generates an absolutely continuous \textit{non-uniform} measure}$$ supported on a subset of $\mathbb{T}$. Indeed, for the first $10^7$ elements of Ulam's sequence, $$ \cos{\left( 2.5714474995~ a_n\right)} < 0 \qquad \mbox{for all}~a_n \notin \left\{2, 3, 47, 69\right\}.$$ We have unsuccessfully tried to find nontrivial other sequences with that property. The closest near-miss ('one logarithm away' from behaving like the Ulam sequence) we found is the sequence of imaginary parts $1/2 + i t_n$ of zeroes of the Riemann zeta function on the critical line. Indeed, it follows from a formula of Landau that for any prime $p$, any $m \in \mathbb{N}$ $$ \left\{ 1 \leq n \leq N: \cos{\left( (\log{p^m})~ t_n\right)} < 0\right\} \geq \frac{N}{2} + \Omega_{}\left(\frac{N}{\log{N}}\right).$$