Waring's problem with restricted digits

Ben Green

2023-09-26

Abstract:Let $k \geq 2$ and $b \geq 3$ be integers, and suppose that $d_1, d_2 \in \{0,1,\dots, b - 1\}$ are distinct and coprime. Let $\mathcal{S}$ be the set of non-negative integers, all of whose digits in base $b$ are either $d_1$ or $d_2$. Then every sufficiently large integer is a sum of at most $b^{160 k^2}$ numbers of the form $x^k$, $x \in \mathcal{S}$.

Number Theory

What problem does this paper attempt to address?

Waring's Problem for Polynomial Rings and the Digit Sum of Exponents

Seth Dutter,Cole Love

DOI: https://doi.org/10.48550/arXiv.1609.01213

2016-09-06

Abstract:Let $F$ be an algebraically closed field of characteristic $p>0$. In this paper we develop methods to represent arbitrary elements of $F[t]$ as sums of perfect $k$-th powers for any $k\in\mathbb{N}$ relatively prime to $p$. Using these methods we establish bounds on the necessary number of $k$-th powers in terms of the sum of the digits of $k$ in its base-$p$ expansion. As one particular application we prove that for any fixed prime $p>2$ and any $\epsilon>0$ the number of $(p^r-1)$-th powers required is $\mathcal{O}\left(r^{(2+\epsilon)\ln(p)}\right)$ as a function of $r$.

Number Theory
Digitally Restricted Sets and the Goldbach Conjecture: An Exceptional Set Result

James Cumberbatch

2024-02-03

Abstract:We show that for any set $D$ of at least two digits in a given base $b$, there exists a $\delta(D,b)>0$ such that within the set $\mathcal{A}$ of numbers whose digits base $b$ are exclusively from $D$, the number of even integers in $\mathcal{A}$ which are less than $X$ and not representable as the sum of two primes is less than $|\mathcal{A}(X)|^{1-\delta}$

Number Theory
Vinogradov's theorem for primes with restricted digits

James Leng,Mehtaab Sawhney

2024-09-15

Abstract:Let $g$ be sufficiently large, $b\in\{0,\ldots,g-1\}$, and $\mathcal{S}_b$ be the set of integers with no digit equal to $b$ in their base $g$ expansion. We prove that every sufficiently large odd integer $N$ can be written as $p_1 + p_2 + p_3$ where $p_i$ are prime and $p_i\in \mathcal{S}_b$.

Number Theory
Sums of the digits in bases 2 and 3

Jean-Marc Deshouillers,Laurent Habsieger,Shanta Laishram,Bernard Landreau

DOI: https://doi.org/10.48550/arXiv.1611.08180

2016-11-24

Abstract:Let b $\ge$ 2 be an integer and let s b (n) denote the sum of the digits of the representation of an integer n in base b. For sufficiently large N , one has Card{n $\le$ N : |s 3 (n) -- s 2 (n)| $\le$ 0.1457205 log n} \textgreater{} N 0.970359. The proof only uses the separate (or marginal) distributions of the values of s 2 (n) and s 3 (n).

Number Theory
A new variant of the Hilbert-Waring problem.

Tianxin Cai,Deyi Chen

DOI: https://doi.org/10.1090/S0025-5718-2013-02685-3

IF: 2.118

2013-01-01

Mathematics of Computation

Abstract:In this paper, we propose a new variant of Waring's problem: to express a positive integer n as a sum of s positive integers whose product is a k-th power. We define, in a similar way to that done for g(k) and G(k) in Waring's problem, numbers g'(k) and G'(k). We obtain g'(k) = 2k - 1, G'(p) <= p + 1 for primes p, G'(2p) <= 2p + 2 for odd primes p. Moreover, we obtain several interesting results and make two conjectures about G'(3) and G'(4).
On the digital representation of integers with bounded prime factors

Yann Bugeaud

DOI: https://doi.org/10.48550/arXiv.1609.07926

2016-09-26

Abstract:Let $b \ge 2$ be an integer. Not much is known on the representation in base $b$ of prime numbers or of numbers whose prime factors belong to a given, finite set. Among other results, we establish that any sufficiently large integer which is not a multiple of $b$ and has only small (in a suitable sense) prime factors has at least four nonzero digits in its representation in base $b$.

Number Theory
The Least Modulus for Which Consecutive Polynomial Values Are Distinct

Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.jnt.2015.08.001

IF: 0.679

2016-01-01

Journal of Number Theory

Abstract:Let d⩾4 and c∈(−d,d) be relatively prime integers. We show that for any sufficiently large integer n (in particular n>24310 suffices for 4⩽d⩽36), the smallest prime p≡c(modd) with p⩾(2dn−c)/(d−1) is the least positive integer m with 2r(d)k(dk−c) (k=1,…,n) pairwise distinct modulo m, where r(d) is the radical of d. We also conjecture that for any integer n>4 the least positive integer m such that |{k(k−1)/2modm:k=1,…,n}|=|{k(k−1)/2modm+2:k=1,…,n}|=n is the least prime p⩾2n−1 with p+2 also prime.
On the Odlyzko-Stanley Enumeration Problem and Waring's Problem over Finite Fields

Jiyou Li

DOI: https://doi.org/10.1016/j.jnt.2012.11.013

2012-01-01

Abstract:We obtain an asymptotic formula on the Odlyzko-Stanley enumeration problem. Let $N_m^*(k,b)$ be the number of $k$-subsets $S\subseteq F_p^*$ such that $\sum_{x\in S}x^m=b$. If $m0$ such that | N_m^*(k,b)-p^{-1}{p-1 \choose k}|\leq {p^{1-\epsilon}+mk-m \choose k}. In addition, let $\gamma'(m,p)$ denote the distinct Waring's number $(\mod p)$, the smallest positive integer $k$ such that every integer is a sum of m-th powers of $k$-distinct elements $(\mod p)$. The above bound implies that there is a constant $\epsilon(\delta)>0$ such for any prime $p$ and any $m
Squares with three digits

Michael Geißer,Theresa Körner,Sascha Kurz,Anne Zahn

DOI: https://doi.org/10.48550/arXiv.2112.00444

2022-01-10

Abstract:We consider integers whose squares have just three decimal digits. Examples are e.g. given by $2108436491907081488939581538^2 = 4445504440405440505004450045555054500055550554550445444$ and $10100000000010401000000000101^2 = 102010000000210100200000110221001000002101002000000010201$. The aim of this paper is to summarize the current knowledge on squares with three digits, scattered around webpages and newsgroup postings, and to add a few new insights. While we will mostly focus on the base $B=10$, several results are presented for general values of $B$. The used mathematical tools are completely elementary. However, we give complete proofs of all statements or explicitly state them as conjectures.

Number Theory,Combinatorics
Long Solutions of Sequence A348480 of the On-Line Encyclopedia of Integer Sequences

Rüdiger Jehn

DOI: https://doi.org/10.48550/arXiv.2201.00710

2022-01-03

Abstract:For numbers $x$ coprime to $10$ there exist infinitely many binary numbers $b$ such that the greatest common divisor of $b$ and rev($b$) = $x$ and the sum of digits of $b = x$ (rev($b$) is the digit reversal of $b$). In most cases, the smallest $b$ that fulfill these two constraints contain just a few zeros. But in some cases like for $x = 7, 11, 13$ and $37$, $b$ must contain more zeros than ones and these $b$ are called long solutions. For $11$ and $37$ it follows directly from the fact that these are porous numbers. For $7$ and $13$, the proofs that they have long solutions are presented in this paper.

General Mathematics
Minimizing the number of carries in addition

Noga Alon

DOI: https://doi.org/10.48550/arXiv.1209.1131

2012-09-06

Abstract:When numbers are added in base $b$ in the usual way, carries occur. If two random, independent 1-digit numbers are added, then the probability of a carry is $\frac{b-1}{2b}$. Other choices of digits lead to less carries. In particular, if for odd $b$ we use the digits $\{-(b-1)/2, -(b-3)/2,...,...(b-1)/2\}$ then the probability of carry is only $\frac{b^2-1}{4b^2}$. Diaconis, Shao and Soundararajan conjectured that this is the best choice of digits, and proved that this is asymptotically the case when $b=p$ is a large prime. In this note we prove this conjecture for all odd primes $p$.

Combinatorics
Waring's problem for sixteenth powers

Hongze Li

1996-01-01

Abstract:Let G (k) denote the smallest s such that every sufficiently large natural number is the sum of at most s fcth powers of natural numbers. It is proved that G (16)111. This improves the result of T. D. Wooley's.
Pythagorean Triangles with Repeated Digits-Repeated Bases

Habib Muzaffar,Konstantine Zelator

DOI: https://doi.org/10.48550/arXiv.0908.3866

2009-08-27

Abstract:In 1998, in the winter issue of the journal Mathematics and Computer education (see [1]), Monte Zerger posed the following problem. He had noticed the Pythagorean triple (216,630,666);(216)^2+(630)^2=(666)^2. Note that 216=6^3 and 666 is the hypotenuse length. The question was then, whether there existed a digit d and a positive integer k(other than the above); such that d^k is the leglength of a Pythagorean triangle whose hypotenuse length has exactly k digits, each being equal to d. In 1999, <a class="link-external link-http" href="http://F.Luca" rel="external noopener nofollow">this http URL</a> and <a class="link-external link-http" href="http://P.Bruckman" rel="external noopener nofollow">this http URL</a>, answered the above question in the negative. In 2001, <a class="link-external link-http" href="http://K.Zelator" rel="external noopener nofollow">this http URL</a>(see [2]), took this question further and showed that no Pythagorean triangle exists such that one leg has length d^k, while the other leglegth has exactly k digits in its decimal expansion, with each digit bein equal to d. In this work, we explore the above phenomenon from the point of view of number bases other than 10. We prove five Theorems. As an example, in Theorem 1, we prove that there exists no Pythagorean triangle with one of its leglengths being d^k, while the other leglength having exactly k digits in its base 4 expansion; and with digit being equal to d.

General Mathematics
Factor Complexity of the Most Significant Digits of~$a^{n^d}$

Mehdi Golafshan,Ivan Mitrofanov

2024-10-05

Abstract:We investigate unipotent dynamics on a torus and apply these techniques to the following problem. Let $d$ be a positive integer, and let $a > 0$ be a real number. For an integer $b \geqslant 5$, such that $a$ and $b$ are multiplicatively independent, consider the sequence $(\mathbf{w}_n)$, where $\mathbf{w}_n$ is the most significant digit of $a^{n^d}$ when expressed in base $b$. We prove that the complexity function of the sequence $(\mathbf{w}_n)$ is, up to finitely many exceptions, a polynomial function.

Dynamical Systems,Combinatorics,Number Theory
Distribution of Nonzero Digits in a Greedy Sequence of Powers of Two

David Wu

DOI: https://doi.org/10.48550/arXiv.1902.11198

2019-06-02

Abstract:Understanding the distribution of digits in the expansions of perfect powers in different bases is difficult. Rather than consider the asymptotic digit distributions, we consider the base-10 digits of a restricted sequence of powers of two. We apply elementary methods to show that this sequence of powers of two can be constructed to preserve trailing digits while locally maximizing the number of zeroes between nonzero digits. We also provide a heuristic description of the trailing digits of these powers of two.

Number Theory
Measures for the summation of Irwin series

Jean-François Burnol

2024-09-30

Abstract:We consider the series of reciprocals of those positive integers with exactly $k$ occurrences of a given $b$-ary digit $d$ (Irwin series), and obtain for their sums geometrically convergent representations. They are expressed in terms of the moments and Stieltjes transforms of certain measures on the unit interval and involve certain recurrences which convert straightforwardly into a numerical implementation. This framework allows a new perspective on the limit for large $k$, and is the basis for obtaining, as the author has done in further works, the asymptotics for large $b$.

Number Theory,Classical Analysis and ODEs
Smallest bases of expansions with multiple digits

derong kong,wenxia li,yuru zou

2015-01-01

Abstract: Given two positive integers $M$ and $k$, let $\B_k$ be the set of bases $q>1$ such that there exists a real number $x$ having exactly $k$ different $q$-expansions over the alphabet $\{0,1,\cdots,M\}$. In this paper we investigate the smallest base $q_2$ of $\B_2$, and show that if $M=2m$ the smallest base $$q_2 =\frac{m+1+\sqrt{m^2+2m+5}}{2},$$ and if $M=2m-1$ the smallest base $q_2$ is the appropriate root of $$ x^4=(m-1)\,x^3+2 m\, x^2+m \,x+1. $$ Moreover, for $M=2$ we show that $q_2$ is also the smallest base of $\B_k$ for all $k\ge 3$. This turns out to be different from that for $M=1$.
Primes with a missing digit: distribution in arithmetic progressions and an application in sieve theory

Kunjakanan Nath

DOI: https://doi.org/10.1112/jlms.12837

2023-10-24

Abstract:We prove Bombieri-Vinogradov type theorems for primes with a missing digit in their $b$-adic expansion for some large positive integer $b$. The proof is based on the circle method, which relies on the Fourier structure of the integers with a missing digit and the exponential sums over primes in arithmetic progressions. Combining our results with the semi-linear sieve, we obtain an upper bound and a lower bound of the correct order of magnitude for the number of primes of the form $p=1+m^2+n^2$ with a missing digit in a large odd base $b$.

Number Theory
Large sieve inequalities with power moduli and Waring's problem

Stephan Baier,Sean B. Lynch

2023-10-04

Abstract:We improve the large sieve inequality with $k$th-power moduli, for all $k\ge 4$. Our method relates these inequalities to a restricted variant of Waring's problem. Firstly, we input a classical divisor bound on the number of representations of a positive integer as a sum of two $k$th-powers. Secondly, we input a recent and general result of Wooley on mean values of exponential sums. Lastly, we state a conditional result, based on the conjectural Hardy-Littlewood formula for the number of representations of a large positive integer as a sum of $k+1$ $k$th-powers.

Number Theory
A density version of Waring-Goldbach problem

Meng Gao

2023-12-17

Abstract:In this paper, we study a density version of the Waring-Goldbach problem. Suppose that A is a subset of the primes, and the lower density of A in the primes is larger than 1-1/2k. We prove that every sufficiently large natural number n satisfying the necessary congruence condition can be expressed as a sum of s terms of the k-th powers of primes from set A, where s is a positive integer dependent on k.

Number Theory

Waring's problem with restricted digits

Waring's Problem for Polynomial Rings and the Digit Sum of Exponents

Digitally Restricted Sets and the Goldbach Conjecture: An Exceptional Set Result

Vinogradov's theorem for primes with restricted digits

Sums of the digits in bases 2 and 3

A new variant of the Hilbert-Waring problem.

On the digital representation of integers with bounded prime factors

The Least Modulus for Which Consecutive Polynomial Values Are Distinct

On the Odlyzko-Stanley Enumeration Problem and Waring's Problem over Finite Fields

Squares with three digits

Long Solutions of Sequence A348480 of the On-Line Encyclopedia of Integer Sequences

Minimizing the number of carries in addition

Waring's problem for sixteenth powers

Pythagorean Triangles with Repeated Digits-Repeated Bases

Factor Complexity of the Most Significant Digits of~$a^{n^d}$

Distribution of Nonzero Digits in a Greedy Sequence of Powers of Two

Measures for the summation of Irwin series

Smallest bases of expansions with multiple digits

Primes with a missing digit: distribution in arithmetic progressions and an application in sieve theory

Large sieve inequalities with power moduli and Waring's problem

A density version of Waring-Goldbach problem