SearcharxivSearch

arXiv subjects

Sizhe Xie

Publications and source records attributed to Sizhe Xie.

4 recordsLinked to original sources

Prime pairs along rays of prime indices

Let $p_j$ be the prime with index $j$. We prove that the ratios $m/n$ for which $p_m+p_n$ is a square are dense in $\mathbb R_{>0}$. The same is true when $|p_m-p_n|$ is a square. In every nonempty open interval, almost every index can be used as a numerator and as a denominator. We also give a quantitative lower bound for the number of possible partners.

math.NT

Multiple Gauss sums

A multiple Gauss sum is a complete multiple exponential sum twisted by Dirichlet characters. We prove a new bound for multiple Gauss sums and, as an application, improve previous results in the Birch--Goldbach problem. Let $F_1, \ldots, F_R \in \mathbb{Z}[x_1, \ldots, x_s]$ be forms with differing degrees, with $D$ being the highest degree, and let $\boldsymbol{F} = (F_1, \ldots, F_R)$ be nonsingular. We prove that the system $\boldsymbol{F}(\boldsymbol{x})=\mathbf{0}$ is solvable in primes provided that $s \geq D^2 4^{D+2} R^5$.

math.NT

Forms in prime variables and differing degrees

Let $F_1,\ldots,F_R$ be homogeneous polynomials with integer coefficients in $n$ variables with differing degrees. Write $\boldsymbol{F}=(F_1,\ldots,F_R)$ with $D$ being the maximal degree. Suppose that $\boldsymbol{F}$ is a nonsingular system and $n\ge D^2 4^{D+6}R^5$. We prove an asymptotic formula for the number of prime solutions to $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$, whose main term is positive if (i) $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ has a nonsingular solution over the $p$-adic units $\mathbb{U}_p$ for all primes $p$, and (ii) $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ has a nonsingular solution in the open cube $(0,1)^n$. This can be viewed as a smooth local-global principle for $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ with differing degrees. It follows that, under (i) and (ii), the set of prime solutions to $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ is Zariski dense in the set of its solutions.

math.NT