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.

What problem does this paper attempt to address?

Some New Results in Waring's Problem

Meng Zaizhao

DOI: https://doi.org/10.1007/bf02106980

1996-01-01

Acta Mathematica Sinica

Abstract:LetG(k) denote the smallest numbers such that every sufficiently large natural number is the sum of, at most,s k-th powers of natural numbers. In this paper, we give new bounds forG(12),G(13) andG(19).
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 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
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 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 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
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
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
Warings problem for fields

William Ellison

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

2013-03-20

Abstract:Denote by P(K, k) the members of the field K which are sums of kth powers of field elements, by P+(K, k) the set of members of K which are sums of kth powers of totally positive elements of K. We are interested in deciding whether or not there exist integers w(K, k) and g(K, k) such that: a in P(K, k) implies that a is the sum of at most w(K, k) kth powers; a in P+(K, k) implies that a is the sum of at most g(K, k) totally positive kth powers. We will show that if w(K, 2) is finite and provided that the kth powers are dense (in a sense described explicitly in theorem 3) in K, then w(K, k) is also finite for k > 2. The proofs are constructive, but the implied upper bounds for w(K, k) are large. This is to be expected since the method of proof does not use any deep arithmetical or algebraic properties of the field K.

Number Theory
Super Congruences Involving Alternating Harmonic Sums Modulo Prime Powers

Zhongyan Shen,Tianxin Cai

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

2015-01-01

Abstract:In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{1}{ijk}\equiv-2p^{r-1}B_{p-3} (\bmod p^{r}), \end{equation*} where $\mathcal{P}_{n}$ denote the set of positive integers which are prime to $n$. In this note, we establish a combinational congruence of alternating harmonic sums for any odd prime $p$ and positive integers $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{(-1)^{i}}{ijk} \equiv \frac{1}{2}p^{r-1}B_{p-3} (\bmod p^{r}). \end{equation*} For any odd prime $p\geq 5$ and positive integers $r$, we have \begin{align} &4\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}}}{i_{1}i_{2}i_{3}i_{4}}+3\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}+i_{2}}}{i_{1}i_{2}i_{3}i_{4}} \nonumber\\&\equiv\begin{cases} \frac{216}{5}pB_{p-5}\pmod{p^{2}}, if r=1, \\ \frac{36}{5}p^{r}B_{p-5}\pmod{p^{r+1}}, if r>1. \\ \end{cases}\nonumber \end{align} For any odd prime $p> 5$ and positive integers $r$, we have \begin{align} &\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}+i_{5}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}, i_{5}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}}}{i_{1}i_{2}i_{3}i_{4}i_{5}}+2\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}+i_{5}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}, i_{5}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}+i_{2}}}{i_{1}i_{2}i_{3}i_{4}i_{5}} \nonumber\\&\equiv\begin{cases} 12B_{p-5}\pmod{p}, if r=1,\\ 6p^{r-1}B_{p-5}\pmod{p^{r}}, if r>1. \end{cases}\nonumber \end{align}
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
A Generalization of the Grunwald-Wang Theorem for $n^{th}$ Powers

Bhawesh Mishra

2024-08-07

Abstract:Let $n$ be a natural number greater than $2$ and $q$ be the smallest prime dividing $n$. We show that a finite subset $A$ of rationals, of cardinality at most $q$, contains a $n^{th}$ power in $\mathbb{Q}_{p}$ for almost every prime $p$ if and only if $A$ contains a perfect $n^{th}$ power, barring some exceptions when $n$ is even. This generalizes the Grunwald-Wang theorem for $n^{th}$ powers, from one rational number to finite subsets of rational numbers. We also show that the upper bound $q$ in this generalization is optimal for every $n$.

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.
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
On an additive problem involving fractional powers with one prime and an almost prime variables

Liuying Wu

2023-06-06

Abstract:For any real number $t$, let $[t]$ denote the integer part of $t$. In this paper it is proved that if $1<c<\frac{247}{238}$, then for sufficiently large integer $N$, the equation \[\left[p^{c}\right]+\left[m^{c}\right]=N\] has a solution in a prime $p$ and an almost prime $m$ with at most $\left[\frac{450}{247-238c}\right]+1$ prime factors. This result constitutes an improvement upon that of Petrov and Tolev.

Number Theory
On the number of integers which form perfect powers in the way of $ x(y_1^2+y_2^2+y_3^2+y_4^2) = z^k $

Tingting Wen

DOI: https://doi.org/10.3934/math.2024423

2024-01-01

AIMS Mathematics

Abstract:Let $ k \geqslant 2 $ be an integer. We studied the number of integers which form perfect $ k $-th powers in the way of \begin{document}$ x(y_1^2+y_2^2+y_3^2+y_4^2) = z^k. $\end{document} For $ k \geqslant4 $, we established a unified asymptotic formula with a power-saving error term for the number of such integers of bounded size under Lindelöf hypothesis, and we also gave an unconditional result for $ k = 2 $.

mathematics, applied
Waring's problem in the natural numbers with binary expansions of a special type

K. M. Eminyan

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

2012-02-07

Abstract:Let $\mathbb{N}_0$ be a class of natural numbers whose binary expansions contain even numbers of ones. Waring problem in numbers of class $\mathbb{N}_0$ is solved.

Number Theory
Quantitative bounds for Gowers uniformity of the Möbius and von Mangoldt functions

Terence Tao,Joni Teräväinen

2023-11-09

Abstract:We establish quantitative bounds on the $U^k[N]$ Gowers norms of the Möbius function $\mu$ and the von Mangoldt function $\Lambda$ for all $k$, with error terms of shape $O((\log\log N)^{-c})$. As a consequence, we obtain quantitative bounds for the number of solutions to any linear system of equations of finite complexity in the primes, with the same shape of error terms. We also obtain the first quantitative bounds on the size of sets containing no $k$-term arithmetic progressions with shifted prime difference.

Number Theory,Dynamical Systems
Empirical verification of a new generalisation of Goldbach's conjecture up to $10^{12}$ (or $10^{13}$) for all coefficients $\leq 40$

Zsófia Juhász,Máté Bartalos,Péter Magyar,Gábor Farkas

2023-04-01

Abstract:A new generalisation of Goldbach's conjecture (GGC) - also generalising that of Lemoine - is tested, introduced by the first author. It states that for every pair of positive integers $m_1, m_2$, every sufficiently large integer $n$ satisfying certain simple criteria can be expressed as $n=m_1p+m_2q$ for some primes $p$ and $q$. GGC is checked up to $10^{12}d$ for all (up to $10^{13}d$ for some) pairs of coefficients $m_1, m_2$, where $d=\gcd{(m_1, m_2)}$ and $m_1/d, m_2/d \leq 40$. The largest counterexamples found that cannot be obtained in this form are presented. Their relatively small sizes support the plausibility of GGC. Lemoine's conjecture is verified up to a new record of $10^{13}$. Four naturally arising verifying algorithms are described and their running times compared for every $m_1\leq m_2\leq 40$ relatively prime. These seek to find either the $p$- or the $q$-minimal $(m_1, m_2)$-partitions of all numbers tested, by either descending or ascending search for the prime to be maximised or minimised, respectively, in the partitions. For all $m_1, m_2$ descending searches were faster than ascending ones. A heuristic explanation is provided. The relative speed of ascending [descending] searches for the $p$- and for the $q$-minimal partitions, respectively, varied by $m_1, m_2$. Using the average of $p^*_{m_1, m_2}(n)$ - the minimal $p$ in all $(m_1, m_2)$-partitions of $n$ - up to a sufficiently large threshold, two functions of $m_1, m_2$ are introduced, which may help predict these rankings. Our predictions correspond well with actual rankings. These could be further improved by developing approximations to $p^*_{m_1, m_2}(n)$. Numerical data are presented, including average and maximum values of $p^*_{m_1, m_2}(n)$ up to $10^9$. An extension of GGC is proposed, generalising the Twin prime conjecture and the assertion that there are infinitely many Sophie Germain primes.

General Mathematics
On Frobenius Formulas of Power Sequences

Feihu Liu,Guoce Xin

2024-06-26

Abstract:Let $A=(a_1, a_2, \ldots, a_n)$ be a sequence of relative prime integers, each greater than or equal to 2. The Frobenius number $g(A)$ represents the largest integer that cannot be expressed as a nonnegative linear combination of the elements in $A$. Our recent work has introduced a combinatorial method for calculating $g(A)$ in the specific form $A=(a, a+B)=(a, a+b_1, \ldots, a+b_k)$. This method reduces the problem to a simpler optimization problem, denoted as $O_B(M)$. In this paper, we apply this method to solve the open problem of characterizing $g(A)$ for the square sequence $A=(a,a+1,a+2^2,\ldots, a+k^2)$. We demonstrate that the Frobenius number $g(a, a+1^2, a+2^2, \ldots)$ for the infinite square sequence admits a simpler solution. This is because the corresponding optimization problem, $O_B(M)$, can be solved by applying number-theoretic principles, specifically Lagrange's Four-Square Theorem and related results. Consequently, we are able to resolve the open problem by utilizing Lagrange's Four-Square Theorem in conjunction with generating functions.

Combinatorics

Waring's problem for sixteenth powers

Some New Results in Waring's Problem

A new variant of the Hilbert-Waring problem.

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

Large sieve inequalities with power moduli and Waring's problem

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

A density version of Waring-Goldbach problem

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

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Warings problem for fields

Super Congruences Involving Alternating Harmonic Sums Modulo Prime Powers

Waring's problem with restricted digits

A Generalization of the Grunwald-Wang Theorem for $n^{th}$ Powers

A variety of Euler’s sum of powers conjecture

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

On an additive problem involving fractional powers with one prime and an almost prime variables

On the number of integers which form perfect powers in the way of $ x(y_1^2+y_2^2+y_3^2+y_4^2) = z^k $

Waring's problem in the natural numbers with binary expansions of a special type

Quantitative bounds for Gowers uniformity of the Möbius and von Mangoldt functions

Empirical verification of a new generalisation of Goldbach's conjecture up to $10^{12}$ (or $10^{13}$) for all coefficients $\leq 40$

On Frobenius Formulas of Power Sequences