We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy–Littlewood circle method over number fields.

We prove the Hasse principle for a smooth projective variety $X\subset \mathbb {P}^{n-1}_\mathbb {Q}$ defined by a system of two cubic forms $F,G$ as long as $n\geq 39$. The main tool here is the development of a version of Kloosterman refinement for a smooth system of equations defined over $\mathbb {Q}$.

We prove convergence in norm and pointwise almost everywhere on $L^p$, $p\in (1,\infty )$, for certain multi-parameter polynomial ergodic averages by establishing the corresponding multi-parameter maximal and oscillation inequalities. Our result, in particular, gives an affirmative answer to a multi-parameter variant of the Bellow–Furstenberg problem. This paper is also the first systematic treatment of multi-parameter oscillation semi-norms which allows an efficient handling of multi-parameter pointwise convergence problems with arithmetic features. The methods of proof of our main result develop estimates for multi-parameter exponential sums, as well as introduce new ideas from the so-called multi-parameter circle method in the context of the geometry of backwards Newton diagrams that are dictated by the shape of the polynomials defining our ergodic averages.

We prove discrete restriction estimates for a broad class of hypersurfaces arising in seminal work of Birch. To do so, we use a variant of Bourgain’s arithmetic version of the Tomas–Stein method and Magyar’s decomposition of the Fourier transform of the indicator function of the integer points on a hypersurface.

In this paper, we show that every pair of sufficiently large even integers can be represented as a pair of eight prime cubes and k powers of $2$. In particular, we prove that $k=335$ is admissible, which improves the previous result.

Let N be a sufficiently large integer. We prove that, with at most $O(N^{23/48+\varepsilon })$ exceptions, all even positive integers up to N can be represented in the form $p_1^2+p_2^3+p_3^3+p_4^3+p_5^3+p_6^4$ , where $p_1,p_2,p_3,p_4,p_5,p_6$ are prime numbers.

We show that if $\mathcal {A}\subset \{1,\ldots,N\}$ has no solutions to $a-b=n^2$ with $a,b\in \mathcal {A}$ and $n\geq 1$, then

\[ \lvert \mathcal{A}\rvert \ll \frac{N}{(\log N)^{c\log\log \log N}} \]

$c>0$

We give an upper bound for the minimum s with the property that every sufficiently large integer can be represented as the sum of s positive kth powers of integers, each of which is represented as the sum of three positive cubes for the cases $2\leq k\leq 4.$

We prove that every sufficiently large even integer can be represented as the sum of two squares of primes, four cubes of primes and 28 powers of two. This improves the result obtained by Liu and Lü [‘Two results on powers of 2 in Waring–Goldbach problem’, J. Number Theory 131(4) (2011), 716–736].

The first purpose of our paper is to show how Hooley’s celebrated method leading to his conditional proof of the Artin conjecture on primitive roots can be combined with the Hardy–Littlewood circle method. We do so by studying the number of representations of an odd integer as a sum of three primes, all of which have prescribed primitive roots. The second purpose is to analyse the singular series. In particular, using results of Lenstra, Stevenhagen and Moree, we provide a partial factorisation as an Euler product and prove that this does not extend to a complete factorisation.

We improve some results in our paper [A. Languasco and A. Zaccagnini, ‘Short intervals asymptotic formulae for binary problems with prime powers’, J. Théor. Nombres Bordeaux30 (2018) 609–635] about the asymptotic formulae in short intervals for the average number of representations of integers of the forms $n=p_{1}^{\ell _{1}}+p_{2}^{\ell _{2}}$ and $n=p^{\ell _{1}}+m^{\ell _{2}}$, where $\ell _{1},\ell _{2}\geq 2$ are fixed integers, $p,p_{1},p_{2}$ are prime numbers and $m$ is an integer. We also remark that the techniques here used let us prove that a suitable asymptotic formula for the average number of representations of integers $n=\sum _{i=1}^{s}p_{i}^{\ell }$, where $s$, $\ell$ are two integers such that $2\leq s\leq \ell -1$, $\ell \geq 3$ and $p_{i}$, $i=1,\ldots ,s$, are prime numbers, holds in short intervals.

In this paper we prove two results concerning Vinogradov’s three primes theorem with primes that can be called almost twin primes. First, for any $m$, every sufficiently large odd integer $N$ can be written as a sum of three primes $p_{1},p_{2}$ and $p_{3}$ such that, for each $i\in \{1,2,3\}$, the interval $[p_{i},p_{i}+H]$ contains at least $m$ primes, for some $H=H(m)$. Second, every sufficiently large integer $N\equiv 3~(\text{mod}~6)$ can be written as a sum of three primes $p_{1},p_{2}$ and $p_{3}$ such that, for each $i\in \{1,2,3\}$, $p_{i}+2$ has at most two prime factors.

We obtain bounds for the number of variables required to establish Hasse principles, both for the existence of solutions and for asymptotic formulæ, for systems of additive equations containing forms of differing degree but also multiple forms of like degree. Apart from the very general estimates of Schmidt and Browning–Heath–Brown, which give weak results when specialized to the diagonal situation, this is the first result on such “hybrid” systems. We also obtain specialized results for systems of quadratic and cubic forms, where we are able to take advantage of some of the stronger methods available in that setting. In particular, we achieve essentially square root cancellation for systems consisting of one cubic and $r$ quadratic equations.

A strong quantitative form of Manin’s conjecture is established for a certain variety in biprojective space. The singular integral in an application of the circle method involves the third power of the integral sine function and is evaluated in closed form.

In this paper, we show that every pair of large positive even integers can be represented in the form of a pair of Goldbach–Linnik equations, that is, linear equations in two primes and $k$ powers of two. In particular, $k=34$ powers of two suffice, in general, and $k=18$ under the generalised Riemann hypothesis. Our result sharpens the number of powers of two in previous results, which gave $k=62$, in general, and $k=31$ under the generalised Riemann hypothesis.

Consider a system of polynomials in many variables over the ring of integers of a number field $K$. We prove an asymptotic formula for the number of integral zeros of this system in homogeneously expanding boxes. As a consequence, any smooth and geometrically integral variety $X\subseteq \mathbb{P}_{K}^{m}$ satisfies the Hasse principle, weak approximation, and the Manin–Peyre conjecture if only its dimension is large enough compared to its degree. This generalizes work of Skinner, who considered the case where all polynomials have the same degree, and recent work of Browning and Heath-Brown, who considered the case where $K=\mathbb{Q}$. Our main tool is Skinner’s number field version of the Hardy–Littlewood circle method. As a by-product, we point out and correct an error in Skinner’s treatment of the singular integral.

Let ${{a}_{1}},\,.\,.\,.\,,\,{{a}_{9}}$ be non-zero integers and $n$ any integer. Suppose that ${{a}_{1}}\,+\,.\,.\,.\,+\,{{a}_{9}}\,\equiv \,n$$\left( \bmod \,2 \right)$ and $\left( {{a}_{i}},\,{{a}_{i}} \right)\,=\,1$ for $1\,\le \,i\,<\,j\le \,9$. In this paper we prove that

• (i) if ${{a}_{j}}$ are not all of the same sign, then the cubic equation ${{a}_{1}}p_{1}^{3}\,+\,.\,.\,.\,+\,{{a}_{9}}p_{9}^{3}\,=\,n$ has prime solutions satisfying ${{p}_{j}}\,\ll \,{{\left| n \right|}^{{1}/{3}\;}}\,+\,\max {{\left\{ \left| {{a}_{j}} \right| \right\}}^{8+\varepsilon }}$;

• (ii) if all ${{a}_{j}}$ are positive and $n\,\gg \,\max {{\left\{ \left| {{a}_{j}} \right| \right\}}^{25+\varepsilon }}$ , then ${{a}_{1}}p_{1}^{3}\,+\,.\,.\,.\,+\,{{a}_{j}}p_{9}^{3}\,=\,n$ is soluble in primes $Pj$.

These results improve our previous results with the bounds $\max {{\left\{ \left| {{a}_{j}} \right| \right\}}^{14+\varepsilon }}$ and $\max \,{{\left\{ \left| {{a}_{j}} \right| \right\}}^{43+\varepsilon }}$ in place of $\max {{\left\{ \left| {{a}_{j}} \right| \right\}}^{8+\varepsilon }}$ and $\max {{\left\{ \left| {{a}_{j}} \right| \right\}}^{25+\varepsilon }}$ above, respectively.

Let $C\in \mathbb{Z}[x_{1},\ldots ,x_{n}]$ be a cubic form. Assume that $C$ splits into four forms. Then $C(x_{1},\ldots ,x_{n})=0$ has a non-trivial integer solution provided that $n\geqslant 10$.

In this paper, we investigate in various ways the representation of a large natural number as a sum of a fixed power of Piatetski-Shapiro numbers, thereby establishing a variant of the Hilbert–Waring problem with numbers from a sparse sequence.

1. Let r(n) denote the number of representations of the natural number n as the sum of one square and three fifth powers of positive integers. A formal use of the circle method predicts the asymptotic relation (1)

$ \begin{equation*} r(n) = \frac{\Gamma(\frac32)\Gamma(\frac65)^3}{\Gamma(\frac{11}{10})} {\mathfrak s}(n) {n}^\frac1{10} (1 + o(1)) \qquad (n\to\infty). \end{equation*} $

${\mathfrak s}$