On the binary expansions of algebraic numbers

Borwein, Jonathan M. and Bailey, David H. and Crandall, Richard E. and Pomerance, Carl (2004) On the binary expansions of algebraic numbers. J. Number Theory Bordeaux, 16 . pp. 487-518.

Download (269Kb) | Preview
    Download (300Kb) | Preview


      Employing concepts from additive number theory, together with results on binary evaluations and partial series, we establish bounds on the density of 1's in the binary expansions of real algebraic numbers. A central result is that if a real $y$ has algebraic degree $D> 1$, then the number $\#(|y|, N)$ of 1-bits in the expansion of $|y|$ through bit position $N$ satisfies $$ \#(|y|, N) > CN^{1/D}$$ for a positive number $C$ (depending on $y$) and sufficiently large $N$. This in itself establishes the transcendency of a class of reals $\sum_{n \geq 0} 1/2^{f(n)}$ where the integer-valued function $f$ grows sufficiently fast; say, faster than any fixed power of $n$. By these methods we re-establish the transcendency of the Mahler number $\sum_{n \geq 0} 1/2^{2^n}$, yet we can also handle numbers with a substantially denser occurrence of 1's. Though the number $z = \sum_{n \geq 0} 1/2^{n^2}$ has too high a 1's density for application of our central result, we are able to invoke some rather intricate number-theoretical analysis and extended computations to reveal aspects of the binary structure of $z^2$.

      Item Type: Article
      Additional Information: pubdom FALSE
      Uncontrolled Keywords: algebraic numbers
      Subjects: 11-xx Number theory
      Faculty: UNSPECIFIED
      Depositing User: Users 1 not found.
      Date Deposited: 27 Oct 2003
      Last Modified: 12 Jan 2015 14:56

      Actions (login required)

      View Item