Kaisa Matomäki, Xuancheng Shao, Joni Teräväinen, and myself have simply uploaded to the arXiv our preprint “Increased uniformity of arithmetic capabilities briefly intervals I. All intervals“. This paper investigates the upper order (Gowers) uniformity of normal arithmetic capabilities in analytic quantity idea (and particularly, the Möbius perform , the von Mangoldt perform , and the generalised divisor capabilities ) briefly intervals , the place is massive and lies within the vary for a hard and fast fixed (that one wish to be as small as potential). If we let denote one of many capabilities , then there’s intensive literature on the estimation of brief sums
and a few literature additionally on the estimation of exponential sums akin to
for an actual frequency , the place . For purposes within the additive combinatorics of such capabilities , it is usually mandatory to contemplate extra basic correlations, akin to polynomial correlations
the place is a polynomial of some fastened diploma, or extra usually
the place is a nilmanifold of fastened diploma and dimension (and with some management on construction constants), is a polynomial map, and is a Lipschitz perform (with some certain on the Lipschitz fixed). Certainly, due to the inverse theorem for the Gowers uniformity norm, such correlations let one management the Gowers uniformity norm of (probably after subtracting off some renormalising issue) on such brief intervals , which may in flip be used to manage different multilinear correlations involving such capabilities.
Historically, asymptotics for such sums are expressed by way of a “most important time period” of some arithmetic nature, plus an error time period that’s estimated in magnitude. For example, a sum akin to can be approximated by way of a most important time period that vanished (or is negligible) if is “minor arc”, however can be expressible by way of one thing like a Ramanujan sum if was “main arc”, along with an error time period. We discovered it handy to cancel off such most important phrases by subtracting an approximant from every of the arithmetic capabilities after which getting higher bounds on the rest correlations akin to
(truly for technical causes we additionally enable the variable to be restricted additional to a subprogression of , however allow us to ignore this minor extension for this dialogue). There’s some flexibility in how to decide on these approximants, however we finally discovered it handy to make use of the next decisions.
The target is then to acquire bounds on sums akin to (1) that enhance upon the “trivial certain” that one can get with the triangle inequality and customary quantity idea bounds such because the Brun-Titchmarsh inequality. For and , the Siegel-Walfisz theorem means that it’s cheap to count on error phrases which have “strongly logarithmic financial savings” within the sense that they acquire an element of over the trivial certain for any ; for , the Dirichlet hyperbola methodology suggests as an alternative that one has “energy financial savings” in that one ought to acquire an element of over the trivial certain for some . Within the case of the Möbius perform , there’s an extra trick (launched by Matomäki and Teräväinen) that enables one to decrease the exponent considerably at the price of solely acquiring “weakly logarithmic financial savings” of form for some small .
Our most important estimates on sums of the shape (1) work within the following ranges:
Conjecturally, one ought to have the ability to acquire energy financial savings in all instances, and decrease all the way down to zero, however the ranges of exponents and financial savings given right here appear to be the restrict of present strategies until one assumes further hypotheses, akin to GRH. The end result for correlation towards Fourier phases was established beforehand by Zhan, and the end result for such phases and was established beforehand by by Matomäki and Teräväinen.
By combining these outcomes with instruments from additive combinatorics, one can acquire various purposes:
- Direct insertion of our bounds within the current work of Kanigowski, Lemanczyk, and Radziwill on the prime quantity theorem on dynamical programs which might be analytic skew merchandise provides some enhancements within the exponents there.
- We are able to acquire a “brief interval” model of a a number of ergodic theorem alongside primes established by Frantzikinakis-Host-Kra and Wooley-Ziegler, through which we common over intervals of the shape relatively than .
- We are able to acquire a “brief interval” model of the “linear equations in primes” asymptotics obtained by Ben Inexperienced, Tamar Ziegler, and myself in this sequence of papers, the place the variables in these equations lie briefly intervals relatively than lengthy intervals akin to .
We now briefly talk about among the substances of proof of our most important outcomes. Step one is customary, utilizing combinatorial decompositions (primarily based on the Heath-Brown id and (for the end result) the Ramaré id) to decompose into extra tractable sums of the next sorts:
The exact ranges of the cutoffs rely upon the selection of ; our strategies fail as soon as these cutoffs cross a sure threshold, and that is the explanation for the exponents being what they’re in our most important outcomes.
The Kind sums involving nilsequences could be handled by strategies just like these in this earlier paper of Ben Inexperienced and myself; the principle improvements are within the remedy of the Kind and Kind sums.
For the Kind sums, one can cut up into the “abelian” case through which (after some Fourier decomposition) the nilsequence is mainly of the shape , and the “non-abelian” case through which is non-abelian and reveals non-trivial oscillation in a central course. Within the abelian case we will adapt arguments of Matomaki and Shao, which makes use of Cauchy-Schwarz and the equidistribution properties of polynomials to acquire good bounds until is “main arc” within the sense that it resembles (or “pretends to be”) for some Dirichlet character and a few frequency , however on this case one can use classical multiplicative strategies to manage the correlation. It seems that the non-abelian case could be handled equally. After making use of Cauchy-Schwarz, one finally ends up analyzing the equidistribution of the four-variable polynomial sequence
as vary in varied dyadic intervals. Utilizing the recognized multidimensional equidistribution idea of polynomial maps in nilmanifolds, one can finally present within the non-abelian case that this sequence both has sufficient equidistribution to provide cancellation, or else the nilsequence concerned could be changed with one from a decrease dimensional nilmanifold, through which case one can apply an induction speculation.
For the kind sum, a mannequin sum to review is
which one can develop as
We experimented with various methods to deal with the sort of sum (together with automorphic kind strategies, or strategies primarily based on the Voronoi components or van der Corput’s inequality), however considerably to our shock, probably the most environment friendly strategy was an elementary one, through which one makes use of the Dirichlet approximation theorem to decompose the hyperbolic area into various arithmetic progressions, after which makes use of equidistribution idea to ascertain cancellation of sequences akin to on nearly all of these progressions. Because it seems, this technique works nicely within the regime until the nilsequence concerned is “main arc”, however the latter case is treatable by current strategies as mentioned beforehand; this is the reason the exponent for our end result could be as little as .
In a sequel to this paper (presently in preparation), we are going to acquire analogous outcomes for virtually all intervals with within the vary , through which we can decrease all the best way to .