Waring’s Theorem for Binary Powers
- 12 Downloads
A natural number is a binary k’ th power if its binary representation consists of k consecutive identical blocks. We prove, using tools from combinatorics, linear algebra, and number theory, an analogue of Waring’s theorem for sums of binary k’th powers. More precisely, we show that for each integer k> 2, there exists an effectively computable natural number n such that every sufficiently large multiple of Ek:=gcd(2k - 1,k) is the sum of at most n binary k’th powers. (The hypothesis of being a multiple of Ek cannot be omitted, since we show that the gcd of the binary k’th powers is Ek.) Furthermore, we show that n = 2O(k3). Analogous results hold for arbitrary integer bases b>2.
Mathematics Subject Classification (2010)11B13 68R15
Unable to display preview. Download preview PDF.
We are grateful to Igor Pak for introducing the first and third authors to each other. We thank the referees for their careful reading of the paper.
- W. D. BANKS: Every natural number is the sum of forty-nine palindromes, INTEGERS - Electronic J. Combinat. Number Theory, 16 (2016), Paper #A3Google Scholar
- J. L. LAGRANGE: Demonstration d’un theoreme d’arithmetique, Nouv. Mem. Acad. Roy. Sc. de Berlin (1770), 123–133. Also in Oeuvres de Lagrange, 3 (1869), 189–201.Google Scholar
- P. MADHUSUDAN, D. NOWOTKA, A. RAJASEKARAN and J. SHALLIT: Lagrange’s theorem for binary squares, in I. Potapov, P. Spirakis, and J. Worrell, eds., 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Leibniz International Proceedings in Informatics (LIPIcs) 117 (2018), 18:1- 18:14.MathSciNetGoogle Scholar
- C. SANNA, J. SHALLIT and S. ZHANG: Largest entry in the inverse of a Vandermonde matrix, manuscript in preparation, February 2019.Google Scholar
- R. C. VAUGHAN and T. WOOLEY: Waring’s problem: a survey, in: M. A. Bennett, B. C. Berndt, N. Boston, H. G. Diamond, A. J. Hildebrand, and W. Philipp, editors, Number Theory for the Millennium. III, 301–340. A. K. Peters, 2002.Google Scholar