At the simplest level, an upper bound sieve of Selberg type is a choice of ρ(d), d ≤ D, with ρ(1)=1, such that S = ∑n ≤ N (∑d|n μ(d) ρ(d))2 is as small as possible. The optimal choice of ρ(d) for given D was found by Selberg. However, for several applications, it is better to work with functions ρ(d) that are scalings of a given continuous or monotonic function η. The question is then what is the best function η, and how does S for given η and D compares to S for Selberg’s choice. The most common choice of η is that of Barban-Vehov (1968), which gives an S with the same main term as Selberg’s S. We show that Barban and Vehov’s choice is optimal among all η, not just (as we knew) when it comes to the main term, but even when it comes to the second-order term, which is negative and which we determine explicitly.
This is joint work with Emanuel Carneiro, Andrés Chirre and Julian Mejía-Cordero.
This video is part of the Number Theory Web Seminar series.
