On Waring's problem: two squares, two cubes and two sixth powers

Trevor D. Wooley

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

2013-02-07

Abstract:We investigate the number of representations of a large positive integer as the sum of two squares, two positive integral cubes, and two sixth powers, showing that the anticipated asymptotic formula fails for at most O((log X)^3) positive integers not exceeding X.

Number Theory

What problem does this paper attempt to address?

On Waring-Goldbach problem for one square and seventeen fifth powers of primes

Min Zhang,Jinjiang Li,Fei Xue

2024-02-05

Abstract:In this paper, it is established that every sufficiently large positive integer $n$ subject to $n\equiv0\pmod2$ can be represented as a sum of one square of prime and seventeen fifth powers of primes, which gives an enhancement upon the previous result of Brüdern and Kawada [1].

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).
Problems related to Waring-Goldbach problem involving cubes of primes

Zhichun Zhai

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

2022-01-04

Abstract:In this note, we try to understand the recent development on the Waring-Goldbach problem involving cubes of primes. Especially, we want to determine whether integers that are either primes, squares of primes, cubes of primes, or a cube of an even number can be written as the sum of four cubes of primes. Meanwhile, we raise some problems that may deepen our understanding of the problem about the sum of four cubes of primes. Moreover, some examples suggest that almost all the cubes of integers can be written as the sum of cubes of four integers.

General Mathematics
On sums of unequal powers of primes and powers of 2

Yuhui Liu

2023-12-11

Abstract:In this paper, it is proved that every sufficiently large even integer can be represented as the sum of two squares of primes, two cubes of primes, two biquadrates of primes and 16 powers of 2. Furthermore, there are at least 5.313% odd integers that can be represented as one square of prime, one cube of prime and one biquadrate of prime. This result constitutes a refinement upon that of R. Zhang [8].

Number Theory
On pairs of one prime, four prime cubes and powers of 2

Xin Chen

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

2022-03-04

Abstract:In this paper, we consider the simultaneous representation of pairs of sufficiently large integers. We prove that every pair of large positive odd integers can be represented in the form of a pair of one prime, four cubes of primes and 231 powers of 2.

Number Theory
Partitio Numerorum: sums of squares and higher powers

Joerg Bruedern,Trevor D. Wooley

2024-02-15

Abstract:We survey the potential for progress in additive number theory arising from recent advances concerning major arc bounds associated with mean value estimates for smooth Weyl sums. We focus attention on the problem of representing large positive integers as sums of a square and a number of $k$-th powers. We show that such representations exist when the number of $k$-th powers is at least $\lfloor c_0k\rfloor +2$, where $c_0=2.136294\ldots $. By developing an abstract framework capable of handling sequences with appropriate distribution properties, analogous conclusions are obtained, for example, when the square is restricted to have prime argument.

Number Theory
Waring's problem with almost proportional summands

Zarullo Rakhmonov,Firuz Rakhmonov

2024-11-09

Abstract:For $n \geq 3$, an asymptotic formula is derived for the number of representations of a sufficiently large natural number $N$ as a sum of $r = 2^n + 1$ summands, each of which is an $n$-th power of natural numbers $x_i$, $i = \overline{1, r}$, satisfying the conditions $$ |x_i^n-\mu_iN|\le H,\qquad H\ge N^{1-\theta(n,r)+\varepsilon},\qquad \theta(n,r)=\frac2{(r+1)(n^2-n)}, $$ where $\mu_1, \ldots, \mu_r$ are positive fixed numbers, and $\mu_1 + \ldots + \mu_n = 1$. This result strengthens the theorem of <a class="link-external link-http" href="http://E.M.Wright" rel="external noopener nofollow">this http URL</a>.

Number Theory
Sums of four squares with certain restrictions

Zhi‐Wei Sun

2020-01-01

Abstract:Let $a,b\in\mathbb N=\{0,1,2,\ldots\}$ and $\lambda\in\{2,3\}$. We show that $4^a(4b+1)$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb N$ such that $x+2y+\lambda z$ is a positive square. We also pose some open conjectures; for example, we conjecture that any positive odd integer can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb N$ such that $x+2y+3z$ is a positive power of two.
On the Sum of Squarefree Integers and a Power of Two

Christian Hercher

2024-11-04

Abstract:Erdos conjectured that every odd number greater than one can be expressed as the sum of a squarefree number and a power of two. Subsequently, Odlyzko and McCranie provided numerical verification of this conjecture up to $10^7$ and $1.4\cdot 10^9$. In this paper, we extend the verification to all odd integers up to $2^{50}$, thereby improving the previous bound by a factor of more than $8\cdot 10^5$. Our approach employs a highly parallelized algorithm implemented on a GPU, which significantly accelerates the process. We provide details of the algorithm and present novel heuristic computations and numerical findings, including the smallest odd numbers $<2^{50}$ that require a higher power of two as all smaller ones in their representation.

Number Theory
A variety of Euler’s sum of powers conjecture

Tianxin Cai,Yong Zhang

DOI: https://doi.org/10.21136/CMJ.2021.0210-20

2021-01-01

Czechoslovak Mathematical Journal

Abstract:We consider a variety of Euler’s sum of powers conjecture, i.e., whether the Diophantine system $$\left\{{\matrix{{n = {a_1} + {a_2} + \ldots + {a_{s - 1}},} \hfill \cr {{a_1}{a_2} \ldots {a_{s - 1}}({a_1} + {a_2} + \ldots + {a_{s - 1}}) = {b^s}} \hfill \cr}} \right.$$ has positive integer or rational solutions n, b, aj, i = 1, 2, …, s − 1, s ⩾ 3. Using the theory of elliptic curves, we prove that it has no positive integer solution for s = 3, but there are infinitely many positive integers n such that it has a positive integer solution for s ⩾ 4. As a corollary, for s ⩾ 4 and any positive integer n, the above Diophantine system has a positive rational solution. Meanwhile, we give conditions such that it has infinitely many positive rational solutions for s ⩾ 4 and a fixed positive integer n.
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
On product representations of squares

Terence Tao

2024-05-28

Abstract:Fix $k \geq 2$. For any $N \geq 1$, let $F_k(N)$ denote the cardinality of the largest subset of $\{1,\dots,N\}$ that does not contain $k$ distinct elements whose product is a square. Erdős, Sárkőzy, and Sós showed that $F_2(N) = (\frac{6}{\pi^2}+o(1)) N$, $F_3(N) = (1-o(1))N$, $F_k(N) \asymp N/\log N$ for even $k \geq 4$, and $F_k(N) \asymp N$ for odd $k \geq 5$. Erdős then asked whether $F_k(N) = (1-o(1)) N$ for odd $k \geq 5$. Using a probabilistic argument, we answer this question in the negative.

Number Theory
Sums of Squares with Restrictions Involving Primes

Hai-Liang Wu,Zhi-Wei Sun

DOI: https://doi.org/10.48550/arxiv.1811.08341

2018-01-01

Abstract:The well-known Lagrange's four-square theorem states that any integer n∈ℕ={0,1,2,...} can be written as the sum of four squares. Recently, Z.-W. Sun investigated the representations of n as x^2+y^2+z^2+w^2 with certain linear restrictions involving the integer variables x,y,z,w. In this paper, via the theory of quadratic forms, we further study the representations n=x^2+y^2+z^2+w^2 (resp., n=x^2+y^2+z^2+2w^2) with certain linear restrictions involving primes. For example, we obtain the following results: (i) Each positive integer n>1 can be written as x^2+y^2+z^2+2w^2 (x,y,z,w∈ℕ) with x+y prime. (ii) Every positive integer can be written as x^2+y^2+z^2+2w^2 (x,y,z,w∈ℕ) with x+2y prime. (iii) Let k be any positive integer, and let d≥ 2^k-1 be a positive odd integer with 4d^2+1 prime. Then any sufficiently large integer can be written as x^2+y^2+z^2+2w^2 (x,y,z,w∈ℕ) with x+2dy=p^k for some prime p.
On Almost Universal Mixed Sums of Squares and Triangular Numbers

Ben Kane,Zhi-Wei Sun

DOI: https://doi.org/10.1090/s0002-9947-2010-05290-0

IF: 1.3529

2010-01-01

Transactions of the American Mathematical Society

Abstract:In 1997 K. Ono and K. Soundararajan [Invent. Math. 130(1997)] proved that under the generalized Riemann hypothesis any positive odd integer greater than 2719 can be represented by the famous Ramanujan form x(2) + y(2) + 10z(2); equivalently the form 2x(2) + 5y(2) + 4T(z) represents all integers greater than 1359, where T(z) denotes the triangular number z(z + 1)/2. Given positive integers a, b, c we employ modular forms and the theory of quadratic forms to determine completely when the general form ax(2) + by(2) + cT(z) represents sufficiently large integers and to establish similar results for the forms ax(2) + bT(y) + cT(z) and aT(x) + bT(y) + cT(z). Here are some consequences of our main theorems: (i) All sufficiently large odd numbers have the form 2ax(2) + y(2) + z(2) if and only if all prime divisors of a are congruent to 1 modulo (ii) The form ax(2) + y(2) + T(z) is almost universal (i.e., it represents sufficiently large integers) if and only if each odd prime divisor of a is congruent to 1 or 3 modulo 8. (iii) ax(2) + T(y) + T(z) is almost universal if and only if all odd prime divisors of a are congruent to 1 modulo 4. (iv) When v(2)(a) not equal 3, the form aT(x) + T(y) + T(z) is almost universal if and only if all odd prime divisors of a are congruent to 1 modulo 4 and v(2)(a) not equal 5, 7,..., where v(2)(a) is the 2-adic order of a.
Goldbach–Linnik–Type Problem of Symmetric Mixed Powers of Primes and Powers of Two

Fei Xue,Jinjiang Li,Min Zhang,Juanjuan Wu

DOI: https://doi.org/10.3390/sym16080945

2024-07-25

Symmetry

Abstract:This article demonstrates that every sufficiently large odd integer can be expressed as the sum of one square of a prime, six cubes of primes, and 23 powers of two. This finding represents an improvement on the previous results of Sinnadurai in 1965 and Hooley in 1981.

multidisciplinary sciences
Sums of triangular numbers and sums of squares

Amir Akbary,Zafer Selcuk Aygin

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

2021-07-02

Abstract:For non-negative integers $a,b,$ and $n$, let $N(a, b; n)$ be the number of representations of $n$ as a sum of squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). Let $N^*(a,b; n)$ be the number of representations of $n$ as a sum of odd squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). We have that $N^*(a,b;8n+a+3b)$ is the number of representations of $n$ as a sum of triangular numbers with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). It is known that for $a$ and $b$ satisfying $1\leq a+3b \leq 7$, we have $$ N^*(a,b;8n+a+3b)= \frac{2}{2+{a\choose4}+ab} N(a,b;8n+a+3b) $$ and for $a$ and $b$ satisfying $a+3b=8$, we have $$ N^*(a,b;8n+a+3b) = \frac{2}{2+{a\choose4}+ab} \left( N(a,b;8n+a+3b) - N(a,b; (8n+a+3b)/4) \right). %& t(8,0;{n}) = \frac{1}{36} \left( N(8,0;8n+8) - N(8,0;2n+2) \right). \label{eq31_5} $$ Such identities are not known for $a+3b>8$. In this paper, for general $a$ and $b$ with $a+b$ even, we prove asymptotic equivalence of formulas similar to the above, as $n\rightarrow\infty$. One of our main results extends a theorem of Bateman, Datskovsky, and Knopp where the case $b=0$ and general $a$ was considered. Our approach is different from Bateman-Datskovsky-Knopp's proof where the circle method and singular series were used. We achieve our results by explicitly computing the Eisenstein components of the generating functions of $N^*(a,b;8n+a+3b)$ and $N(a,b;8n+a+3b)$. The method we use is robust and can be adapted in studying the asymptotics of other representation numbers with general coefficients.

Number Theory
Further results on sums of squares

Hai-Liang Wu,Zhi-Wei Sun

2018-01-01

Abstract:The well-known Lagrangeu0027s four-square theorem states that any integer $ninmathbb{N}={0,1,2,...}$ can be written as the sum of four squares. Recently, Z.-W. Sun investigated the representations of $n$ as $x^2+y^2+z^2+w^2$ with certain linear restrictions involving the integer variables $x,y,z,w$. In this paper, via the theory of quadratic forms, we further study the representations $n=x^2+y^2+z^2+w^2$ (resp., $n=x^2+y^2+z^2+2w^2$) with certain linear restrictions involving primes. For example, we obtain the following results: (i) Each positive integer $nu003e1$ can be written as $x^2+y^2+z^2+2w^2$ ($x,y,z,winmathbb N$) with $x+y$ prime. (ii) Every positive integer can be written as $x^2+y^2+z^2+2w^2$ ($x,y,z,winmathbb N$) with $x+2y$ prime. (iii) Let $k$ be any positive integer, and let $dge 2^{k-1}$ be an odd integer with $4d^2+1$ prime. Then any sufficiently large integer can be written as $x^2+y^2+z^2+2w^2$ $(x,y,z,winmathbb N)$ with $x+2dy=p^k$ for some prime $p$.
Exploring the Representation of Large Positive Integers as Sums of Prime Powers and Integer Powers: Analysis with Positive Density Subsets

Meng Gao

2024-02-20

Abstract:In this paper, we use the transference principle to investigate the representation of sufficiently large positive integers as the sum of prime powers and integer powers, where the primes are drawn from a positive density subset of the set of all primes , and the integer powers are drawn from a positive density subset of k-th powers.

Number Theory
On Vu's theorem in Waring's problem for thinner sequences

Javier Pliego

2024-10-16

Abstract:Let $k\in \mathbb{N}$ and $s\geq k(\log k+3.20032)$, and assume that $\psi, \varphi$ are increasing functions tending to infinity with $\psi(x)=o(\log x)$ and such that $\psi(n)\sim\psi\big(n/\varphi(n)\big).$ Then, there exists a subsequence $\mathfrak{X}_{k}\subset \mathbb{N}_{0}^{k}$ of the set of $k$-th powers of nonnegative integers for which the number of representations of each $n\in\mathbb{N}$ as $$n=x_{1}^{k}+\ldots+x_{s}^{k}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x_{i}^{k}\in\mathfrak{X}_{k},$$ which we denote by $R_{s}(n;\mathfrak{X}_{k})$, satisfies the asymptotic formula $$ R_{s}(n;\mathfrak{X}_{k})\sim \mathfrak{S}(n)\psi(n)$$ for almost all natural numbers, with $\mathfrak{S}(n)$ being the singular series associated to Waring's problem. Moreover, the arguments herein show very roughly speaking for $k\geq 14$ that whenever current technology from the Hardy-Littlewod method permits one to show that all large integers are the sum of $T(k)$ $k$-th powers of natural numbers then there exist for every $s\geq T(k)$ a subsequence $\mathfrak{X}_{k,1}\subset \mathbb{N}_{0}^{k}$ for which the above formula holds for almost all $n\in [X,X+\log X]$ as $X\to\infty$, and $\mathfrak{X}_{k,2}\subset \mathbb{N}_{0}^{k}$ with $R_{s}(n;\mathfrak{X}_{k,2})\asymp \log n$ for every sufficiently large $n$. The latter conclusion sharpens a result of Wooley and addresses a question of Vu.

Number Theory,Combinatorics

On Waring's problem: two squares, two cubes and two sixth powers

On Waring-Goldbach problem for one square and seventeen fifth powers of primes

A new variant of the Hilbert-Waring problem.

Problems related to Waring-Goldbach problem involving cubes of primes

On sums of unequal powers of primes and powers of 2

On pairs of one prime, four prime cubes and powers of 2

Partitio Numerorum: sums of squares and higher powers

Waring's problem with almost proportional summands

Sums of four squares with certain restrictions

On the Sum of Squarefree Integers and a Power of Two

A variety of Euler’s sum of powers conjecture

Large sieve inequalities with power moduli and Waring's problem

On product representations of squares

Sums of Squares with Restrictions Involving Primes

On Almost Universal Mixed Sums of Squares and Triangular Numbers

Goldbach–Linnik–Type Problem of Symmetric Mixed Powers of Primes and Powers of Two

Sums of triangular numbers and sums of squares

Further results on sums of squares

Exploring the Representation of Large Positive Integers as Sums of Prime Powers and Integer Powers: Analysis with Positive Density Subsets

On Vu's theorem in Waring's problem for thinner sequences