We establish large sieve inequalities for power moduli in imaginary quadratic number fields, extending earlier work of Baier and Bansal for the Gaussian field.
In this paper, we establish a version of the large sieve with square moduli for imaginary quadratic extensions of rational function fields of odd characteristics.
We study the two-parameter quadratic sieve for a general test function. We prove, under some very general assumptions, that the function considered by Barban and Vehov [BV68] and Graham [Gra78] for this problem is optimal up to and including the second-order term. We determine that second-order term explicitly.
We develop a version of Ekedahl's geometric sieve for integral quadratic forms of rank at least five. As one ranges over the zeros of such quadratic forms, we use the sieve to compute the density of coprime values of polynomials, and furthermore, to address a question about local solubility in families of varieties parameterised by the zeros.
We prove large sieve inequalities with multivariate polynomial moduli and deduce a general Bombieri--Vinogradov type theorem for a class of polynomial moduli having a sufficient number of variables compared to its degree. This sharpens previous results of the first author in two aspects: the range of the moduli as well as the class of polynomials which can be handled. As a consequence, we deduce that there exist infinitely many primes $p$such that $p-1$ has a prime divisor of size $\gg p^{2/5+o(1)}$ that is the value of an incomplete norm form polynomial.
We study the sum $Σ_q(U)=\sum_{\substack{d,e\leq U\\(de,q)=1}}\frac{μ(d)μ(e)}{[d,e]}\log\left(\frac{U}{d}\right)\log\left(\frac{U}{e}\right)$, $U>1$, so that a continuous, monotonic and explicit version of Selberg's sieve can be stated. Thanks to Barban-Vehov (1968), Motohashi (1974) and Graham (1978), it has been long known, but never explicitly, that $Σ_1(U)$ is asymptotic to $\log(U)$. In this article, we discover not only that $Σ_q(U)\sim\frac{q}{φ(q)}\log(U)$ for all $q\in\mathbb{Z}_{>0}$, but also we find a closed-form expression for its secondary order term of $Σ_q(U)$, a constant $\mat…
We improve Irving's method of the double-sieve by using the DHR sieve. By extending the upper and lower sieve functions into their respective non-elementary ranges, we are able to make improvements on the previous records on the number of prime factors of irreducible polynomials at prime arguments. In particular, we prove that irreducible quadratics over $\mathbb{Z}$ satisfying necessary local conditions are $P_4$ infinitely often.
Large sieve inequality for sums of Legendre symbols over short intervals
Université Jean Monnet, Centrale Lyon, INSA Lyon, Université Claude Bernard Lyon 1, CNRS, ICJ UMR5208(让·莫内大学、里昂中央理工学院、里昂国立应用科学学院、里昂第一大学、法国国家科学研究中心、ICJ UMR5208);School of Mathematics and Statistics, University of New South Wales(新南威尔士大学数学与统计学院);Department of Mathematics, University of Bristol(布里斯托大学数学系);School of Mathematical Sciences, Shanghai Jiao Tong University(上海交通大学数学科学学院)
The large sieve inequality is equivalent to the bound $λ_1 \leqslant N + Q^2-1$ for the largest eigenvalue $λ_1$ of the $N$ by $N$ matrix $A^{\star} A$, naturally associated to the positive definite quadratic form arising in the inequality. For arithmetic applications the most interesting range is $N \asymp Q^2$. Based on his numerical data Ramaré conjectured that when $N \sim αQ^2$ as $Q \rightarrow \infty$ for some finite positive constant $α$, the limiting distribution of the eigenvalues of $A^{\star} A$, scaled by $1/N$, exists and is non-degenerate. In this paper we prove this conjecture …
Motivated by a desire to understand the distribution of roots of cubic congruences, we re-derive a parametrization of roots $ν\pmod m$ of $X^3 \equiv 2 \pmod m$ found by Hooley. Although this parametrization does not lead us here to anything towards proving equidistribution of the sequence $\fracν{m} \pmod 1$, we are able to prove spacing results, and then a large sieve type inequality, which we view as analogous to the large sieve inequality for roots of quadratic congruences found by Fouvry and Iwaniec in their proof that there are infinitely many primes of the form $n^2 + p^2$. The parametr…
Let $F(x,y)$ be an irreducible binary form of degree $\geq 3$ with integer coefficients and with real roots. Let $M$ be an imaginary quadratic field, with ring of integers $Z_M$. Let $K>0$. We describe an efficient method how to reduce the resolution of the relative Thue inequalities \[ |F(x,y)|\leq K \;\; (x,y\in Z_M) \] to the resolution of absolute Thue inequalities of type \[ |F(x,y)|\leq k \;\; (x,y\in Z). \] We illustrate our method with an explicit example.
We establish the Hardy-Littlewood property (à la Borovoi-Rudnick) for Zariski open subsets in affine quadrics of the form $q(x_1,\cdots,x_n)=m$, where $q$ is a non-degenerate integral quadratic form in $n\geqslant 3$ variables and $m$ is a non-zero integer. This gives asymptotic formulas for the density of integral points taking coprime polynomial values, which is a quantitative version of the arithmetic purity of strong approximation property off infinity for affine quadrics.
For any given non-square integer $ D\equiv 0,1 \pmod{4} $, we prove Euclid's type inequalities for the sequence $ \{q_{i}\} $ of all primes satisfying the Kronecker symbol $ (D/q_{i})=-1 $, $ i=1,2,\cdots, $ and give a new criterion on a ternary quadratic form to be irregular as an application, which simplifies Dickson and Jones's argument in the classification of regular ternary quadratic forms to some extent.
We prove sharp $\ell^q L^p$ decoupling inequalities for $p,q \in [2,\infty)$ and arbitrary tuples of quadratic forms. Connections to prior results on decoupling inequalities for quadratic forms are also explained. We also include some applications of our results to exponential sum estimates and to Fourier restriction estimates. The proof of our main result is based on scale-dependent Brascamp--Lieb inequalities.
We prove the existence of S-integral solutions of simultaneous diophantine inequalities for pairs (Q,L) involving one quadratic form and one linear form satisfying some arithmetico-geometric conditions. The proof uses strong approximation in algebraic groups and Ratner's topological rigidity of unipotent actions on homogeneous spaces.