We demonstrate the existence of K-multimagic squares of order N consisting of $N^2$ distinct integers whenever $N> 2K(K+1)$. This improves our earlier result [D. Flores, ‘A circle method approach to K-multimagic squares’, preprint (2024), arXiv:2406.08161] in which we only required $N+1$ distinct integers. Additionally, we present a direct method by which our analysis of the magic square system may be used to show the existence of $N \times N$ magic squares consisting of distinct kth powers when

$$ \begin{align*}N> \begin{cases} 2^{k+1} & \text{if}\ 2 \leqslant k \leqslant 4, \\ 2 \lceil k(\log k + 4.20032) \rceil & \text{if}\ k \geqslant 5, \end{cases}\end{align*} $$

improving on a recent result by Rome and Yamagishi [‘On the existence of magic squares of powers’, preprint (2024), arxiv:2406.09364].

We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the ai and b are fixed coefficients and h is an arbitrary integer polynomial of degree d. We establish that the natural necessary conditions for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers are also sufficient when the equation has at least $(1+o(1))d^2$ variables. We similarly characterize when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain lower bounds for the number of monochromatic or dense solutions in primes that are of the correct order of magnitude. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.

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 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].

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 consider the simultaneous representation of pairs of positive integers. We show that every pair of large positive even integers can be represented in the form of a pair of linear equations in four prime variables and k powers of two. Here, k=63 in general and k=31 under the generalised Riemann hypothesis.