The Selberg sieve provides majorants for certain arithmetic sequences, such as the primes and the twin primes. We prove an L^2-L^p restriction theorem for majorants of this type.
An immediate application is to the estimation of exponential sums over prime k-tuples. Let a_1,...,a_k and b_1,...,b_k be positive integers. For t on the unit circle write h(t) := \sum_{n \in X} e(nt)$, where X is the set of all n <= N such that the numbers a_1n + b_1,..., a_kn + b_k are all prime. We obtain upper bounds for the L^p norm of h, p > 2, which are (conditionally on the prime tuple conjecture) of the correct order of magnitude.
As a second application we deduce from Chen's theorem, Roth's theorem, and a transference principle that there are infinitely many arithmetic progressions p_1 < p_2 < p_3 of primes, such that p_i + 2 is either a prime or a product of two primes for each i=1,2,3.
We study certain aspects of the Selberg sieve, in particular when sifting by rather thin sets of primes. We derive new results for the lower bound sieve suited especially for this setup and we apply them in particular to give a new sieve-propelled proof of Linnik's theorem on the least prime in an arithmetic progression in the case of the presence of exceptional zeros.
A celebrated theorem of Selberg states that for congruence subgroups of SL(2,Z) there are no exceptional eigenvalues below 3/16. We prove a generalization of Selberg's theorem for infinite index "congruence" subgroups of SL(2,Z). Consequently we obtain sharp upper bounds in the affine linear sieve, where in contrast to \cite{BGS} we use an archimedean norm to order the elements.
We give a simple proof of a standard zero-free region in the $t$-aspect for the Rankin--Selberg $L$-function $L(s,π\times \widetildeπ)$ for any unitary cuspidal automorphic representation $π$ of $\mathrm{GL}_n(\mathbb{A}_F)$ that is tempered at every nonarchimedean place outside a set of Dirichlet density zero.
We study the arithmetic (real) function f=g*1, with g "essentially bounded" and supported over the integers of [1,Q]. In particular, we obtain non-trivial bounds, through f "correlations", for the "Selberg integral" and the "symmetry integral" of f in almost all short intervals [x-h,x+h], N<x<2N, beyond the "classical" level, up to level of distribution, say, lambda=log Q/log N < 2/3 (for enough large h). This time we don't apply Large Sieve inequality, as in our paper [C-S]. Precisely, our method is completely elementary.
Sifting limits for the $Λ^{2}Λ^{-}$ sieve, Selberg's lower bound sieve, are computed for integral dimensions $1<κ\le10$. The evidence strongly suggests that for all $κ\ge3$ the $Λ^{2}Λ^{-}$ sieve is superior to the competing combinatorial sieves of Diamond, Halberstam, and Richert. A method initiated by Grupp and Richert for computing sieve functions for integral $κ$ is also outlined.
Let $k\geq 2$ and $\mathcal{P} (n) = (A_1 n + B_1 ) \cdots (A_k n + B_k)$ where all the $A_i, B_i$ are integers. Suppose that $\mathcal{P} (n)$ has no fixed prime divisors. For each choice of $k$ it is known that there exists an integer $\varrho_k$ such that $\mathcal{P} (n)$ has at most $\varrho_k$ prime factors infinitely often. We used a new weighted sieve set-up combined with a device called an $\varepsilon$-trick to improve the possible values of $\varrho_k$ for $k\geq 7$. As a by-product of our approach, we improve the conditional possible values of $\varrho_k$ for $k\geq 4$, assuming th…
An arithmetic function $f$ is called a sieve function of range $Q$, if it is the convolution product of the constantly $1$ function and $g$ such that $g(q)\ll_{\varepsilon} q^{\varepsilon}$, $\forall\varepsilon>0$, for $q\leq Q$, and $g(q)=0$ for $q>Q$. Here we establish a new result on the autocorrelation of $f$ by using a famous theorem on bilinear forms of Kloosterman fractions by Duke, Friedlander and Iwaniec. In particular, for such correlations we obtain non-trivial asymptotic formulæ that are actually unreachable by the standard approach of the distribution of $f$ in the arithmetic prog…
For any $m \geq 1$, let $H_m$ denote the quantity $\liminf_{n \to \infty} (p_{n+m}-p_n)$. A celebrated recent result of Zhang showed the finiteness of $H_1$, with the explicit bound $H_1 \leq 70000000$. This was then improved by us (the Polymath8 project) to $H_1 \leq 4680$, and then by Maynard to $H_1 \leq 600$, who also established for the first time a finiteness result for $H_m$ for $m \geq 2$, and specifically that $H_m \ll m^3 e^{4m}$. If one also assumes the Elliott-Halberstam conjecture, Maynard obtained the bound $H_1 \leq 12$, improving upon the previous bound $H_1 \leq 16$ of Goldsto…
We give a large sieve type inequality for functions supported on primes. As application we prove a conjecture by Elliott, and give bounds for short character sums over primes. The proves uses a combination of the large sieve and the Selberg sieve.
A theorem of Serre states that almost all plane conics over $\mathbb{Q}$ have no rational point. We prove an analogue of this for families of conics parametrised by elliptic curves using elliptic divisibility sequences and a version of the Selberg sieve for elliptic curves. We also give more general results for specialisations of Brauer groups, which yields applications to norm form equations.
An arithmetic function $f$ is called a {\it sieve function of range} $Q$, if its Eratosthenes transform $g=f\astμ$ is supported in $[1,Q]\cap\N$, where $g(q)\ll_{\varepsilon} q^{\varepsilon}$ ($\forall\varepsilon>0$). Here, we study the distribution of $f$ over short {\it arithmetic bands} $\cup_{1\le a\le H}\{n\in(N,2N]: n\equiv a\, (\bmod\,q)\}$, with $H=o(N)$, and give applications to both the correlations and to the so-called weighted Selberg integrals of $f$, on which we have concentrated our recent research.
In a 2005 paper, Yang constructed families of Hilbert Eisenstein series, which when restricted to the diagonal are conjectured to span the underlying space of elliptic modular forms. One approach to these conjectures is to show the non-vanishing of an inner product of elliptic eigenforms with the restrictions of Eisenstein series. In this paper, we compute this inner product locally by using explicit values of new vectors in the Waldspurger model.
We study an instance of the Affine Sieve, producing a level of distribution beyond that which can be obtained from current techniques, even assuming a Selberg/Ramanujan-type spectral gap. In particular, we consider the set of hypotenuses in a thin orbit of Pythagorean triples. Previous work [Kon07, Kon09, KO12] gave an exponent of distribution alpha < 1/12 coming from Gamburd's [Gam02] gap theta = 5/6, thereby producing R = 13 almost primes in this linear sieve problem (see Sec. 1 for definitions). If conditioned on a best possible gap theta = 1/2, the known method would give an exponent alpha…
We show how the Selberg $Λ^2$-sieve can be used to obtain power saving error terms in a wide class of counting problems which are tackled using geometry of numbers. Specifically, we give such an error term for the counting function of $S_5$-quintic fields.
Selberg identified the "parity" barrior, that sieves alone cannot distinguish between integers having an even or odd number of factors. We give here a short and self-contained demonstration of parity breaking using bilinear forms, modeled on the Twin Primes Conjecture.
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（上海交通大学数学科学学院）
We prove a bound on the number of primes with a given splitting behaviour in a given field extension. This bound generalises the Brun-Titchmarsh bound on the number of primes in an arithmetic progression. The proof is set up as an application of Selberg's Sieve in number fields. The main new ingredient is an explicit counting result estimating the number of integral elements with certain properties up to multiplication by units. As a consequence of this result, we deduce an explicit estimate for the number of ideals of norm up to $x$.
By elaborating a two-dimensional Selberg sieve with asymptotics and equidistributions of Kloosterman sums from $\ell$-adic cohomology, as well as a Bombieri--Vinogradov type mean value theorem for Kloosterman sums in arithmetic progressions, it is proved that for any given primitive Hecke--Maass cusp form of trivial nebentypus, the eigenvalue of the $n$-th Hecke operator does not coincide with the Kloosterman sum $\mathrm{Kl}(1,n)$ for infinitely many squarefree $n$ with at most $100$ prime factors. This provides a partial negative answer to a problem of Katz on modular structures of Kloosterm…
Let $τ$ denote the divisor function and $\mathcal{H}=\{h_{1},...,h_{k}\}$ be an admissible set. We prove that there are infinitely many $n$ for which the product $\prod_{i=1}^{k}(n+h_{i})$ is square-free and $\sum_{i=1}^{k}τ(n+h_{i})\leq \lfloor ρ_{k}\rfloor$, where $ρ_{k}$ is asymptotic to $\frac{2126}{2853} k^{2}$. It improves a previous result of M. Ram Murty and A. Vatwani, replacing $2126/2853$ by $3/4$. The main ingredients in our proof are the higher rank Selberg sieve and Irving-Wu-Xi estimate for the divisor function in arithmetic progressions to smooth moduli.
The distribution of $αp$ modulo one, where $p$ runs over the rational primes and $α$ is a fixed irrational real, has received a lot of attention. It is natural to ask for which exponents $ν>0$ one can establish the infinitude of primes $p$ satisfying $||αp||\le p^{-ν}$. The latest record in this regard is Kaisa Matomäki's landmark result $ν=1/3-\varepsilon$ which presents the limit of currently known technology. Recently, Glyn Harman, and, jointly, Marc Technau and the first-named author, investigated the same problem in the context of imaginary quadratic fields. Glyn Harman obtained an analog…
The equation $x^2 + 1 = 0\mod p$ has solutions whenever $p = 2$ or $4n + 1$. A famous theorem of Fermat says that these primes are exactly the ones that can be described as a sum of two squares. That the roots of the former equation are equidistributed is a beautiful theorem of Duke, Friedlander and Iwaniec from 1995. We show that a subsequence of the roots of the equation remains equidistributed even when one adds a restriction on the primes which has to do with the angle in the plane formed by their corresponding representation as a sum of squares. Similar to Duke, Friedlander and Iwaniec, w…
