Heath-Brown identities for fractional powers of $ζ$

Technische Samenvatting: Heath-Brown-identiteiten voor breukvormige machten van $\zeta$

Probleemstelling
Het artikel behandelt de schatting van exponentiële sommen betrokken bij breukvormige machten van de Riemann zeta-functie, specifiek $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$, waarbij $d_z$ de multiplicatieve functie is gedefinieerd door de Dirichlet-coëfficiënten van $\zeta(s)^z$. Hoewel het gedrag van deze sommen goed begrepen is voor gehele exponenten (bijv. de divisorfunctie $\tau_k = d_k$ en de Möbius-functie $\mu = d_{-1}$), vertoont het geval van breukvormige exponenten $z \in (-1, 1) \setminus \mathbb{Z}$ een gat. Klassieke methoden die steunen op factorisatie (zoals $\tau_k = 1^{*k}$) falen voor niet-gehele getallen, en bestaande identiteiten (zoals die van Vaughan of Heath-Brown) zijn niet direct toepasbaar zonder modificatie. Eerdere gedeeltelijke resultaten, zoals de grens voor $d_{1/2}$ in [MV, Oefening 9], leverden een suboptimale middelste exponent van $6/7$ op in de minor-arc schatting, terwijl de gehele gevallen de "Vinogradov-kwaliteit" benchmark van $4/5$ bereiken. Het centrale probleem is het construeren van een eindige combinatorische identiteit voor $\zeta(s)^{\pm a/b}$ die de afleiding van grenzen met de optimale $4/5$ exponent en louter logaritmische verliezen mogelijk maakt, zonder de $x^\varepsilon$ factor.

Methodologie
De auteur hanteert een tweeledige aanpak: een algebraïsche constructie gevolgd door een analytische schatting.

1. Algebraïsche Constructie (Heath-Brown-type Identiteiten):
   De kerninnovatie is de constructie van eindige identiteiten voor $\zeta(s)^{\pm a/b}$ met behulp van de Newton-binomialreeks binnen de algebra van rekenkundige functies.

   • Voor een breukvormige macht $\zeta(s)^{-h/b}$ definieert de auteur een afgekapte Dirichlet-polynoom $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$.
   • Door de restant te overwegen $H = 1 - \zeta(s)^h F(s)^b$, maakt de auteur gebruik van de eigenschap dat $H$ ondersteuning heeft op gehele getallen $> V$. Bijgevolg heeft $H^K$ ondersteuning op gehele getallen $> V^K$.
   • Door $H$ te substitueren in de afgekapte Newton-binomialexpansie van $(1-H)^{-1/b}$, levert de auteur een exacte identiteit voor $\zeta(s)^{-h/b}$ die geldig is voor coëfficiënten $n \le V^K$.
   • Het artikel kiest diepte $K=5$ en $V = x^{1/5}$. Dit garandeert dat de identiteit geldig is voor alle $n \le x$. De resulterende identiteit drukt $\zeta(s)^{-h/b}$ uit als een eindige lineaire combinatie van convoluties betrokken bij $F$ en machten van $\zeta$. Cruciaal is dat elke "lange" factor in deze convoluties een positieve macht van $\zeta$ (de constante functie 1) is, wat zorgt voor gladheid, terwijl "korte" factoren begrensd zijn door 1.
   • Voor positieve exponenten $z = h/b$ wordt de identiteit indirect afgeleid via $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$, waarbij de gladheid van de lange factoren behouden blijft.
   • Het randgeval $z = -1$ (de Möbius-functie) wordt teruggewonnen als een speciaal geval waarbij de identiteit degradeert naar de klassieke Heath-Brown-identiteit.

2. Analytische Schatting:
   De geconstrueerde identiteiten reduceren de exponentiële som $S_z(x, \alpha)$ tot een som van multilineaire vormen $T_{J,L}(x, \alpha)$.

   • Dyadische Decompositie: Variabelen worden gelokaliseerd naar dyadische intervallen.
   • Combinatorische Dichotomie: Een "window-or-long-variable" lemma wordt toegepast. Voor elke dyadische configuratie met product $P \in (x^{4/5}, x]$, kan ofwel een deelverzameling van variabelen worden gegroepeerd in de "Type II window" $[x^{2/5}, x^{3/5}]$, ofwel is een enkele variabele lang ($> x^{3/10}$) terwijl het product van de rest kort is ($< x^{7/10}$).
   • Schattingen:
     • Type II: Bilineaire schattingen worden toegepast wanneer aan de window-conditie wordt voldaan, wat een $x^{4/5}$ term oplevert.
     • Type I: Wanneer een lange gladde variabele bestaat, wordt de som behandeld als een Type I som. De auteur vermijdt de foutieve aanname dat divisor-gewogen Type I sommen slechts logaritmische verliezen kennen; in plaats daarvan wordt een twee-bereik strategie gebruikt:
       • Voor $q \le x^{3/10}$ en $q \ge x^{7/10}$ wordt een mean-square Type I schatting gebruikt.
       • Voor het tussenliggende bereik $x^{3/10} < q < x^{7/10}$ wordt een pointwise schatting met een $x^{o(1)}$ verlies gebruikt. De kloof tussen $x^{7/10}$ en de doelstelling $x^{4/5}$ absorbeert dit verlies, waardoor de uiteindelijke grens de $4/5$ exponent behoudt met louter logaritmische factoren.

Kernresultaten

1. Minor-Arc Bounds (Theorem 1.1 & 1.3):
   Voor elke gereduceerde breuk $a/b$ met $0 < a/b < 1$, en voor $z = \pm a/b$, bewijst het artikel:
   $$\sum_{n \le x} d_{\pm a/b}(n) e(n\alpha) \ll_{a,b} \left( \frac{x}{\sqrt{q}} + x^{4/5} + \sqrt{xq} \right) (\log 2x)^C$$
   voor $|\alpha - r/q| \le 1/q^2$.

   • Deze grens houdt stand met geen $x^\varepsilon$ verlies, wat overeenkomt met de vorm van de Vinogradov-schatting voor de von Mangoldt-functie en de bekende grenzen voor gehele machten.
   • Theorem 1.3 breidt dit uit naar het randgeval $z = -1$ (Möbius-functie) met een absolute constante, waarmee eerdere schattingen worden verfijnd door de $\varepsilon$ te verwijderen.

2. Major-Arc Expansion (Theorem 1.5):
   Voor reële $0 < |z| < 1$ biedt het artikel een major-arc expansie van $S_z(x, \alpha)$ tot willekeurige logaritmische precisie. De hoofdbetrokkenheid omvat lokale factoren $g_z(q)$ (die de singular series generaliseren) en coëfficiënten afgeleid van de Selberg-Delange methode. De foutterm is $O(x (\log x)^{-A})$ voor elke $A > 0$, hoewel de geïmpliceerde constante ineffectief is vanwege de afhankelijkheid van de Siegel-Walfisz stelling.

3. Uniforme Grenzen en Momenten (Theorems 1.6 & 1.7):

   • Supremum: Het artikel bepaalt de orde van grootte van $\sup_\alpha |S_z(x, \alpha)|$. Voor $z > 0$ wordt het supremum bereikt bij $\alpha=0$ en is het asymptoot aan de gemiddelde waarde. Voor $z < 0$ vermindert deels van de cancelatie het supremum met een factor $(\log x)^{1+|z|}$ ten opzichte van de $\ell^1$ norm.
   • Momenten: Voor rationale $z \in (-1, 1)$ en reële $s > 2$, bewijst het artikel een asymptotische formule voor de momenten $\int_0^1 |S_z(x, \alpha)|^s d\alpha$. De leidende term wordt bepaald door een singular series met betrekking tot $g_z(q)$, analoog aan het resultaat van Pandey voor gehele divisorfuncties. De restrictie $s > 2$ is noodzakelijk omdat de singular series divergeert bij $s=2$.

Betekenis en Claims
Het artikel beweert het gat tussen gehele en breukvormige machten van de zeta-functie in de context van exponentiële sommen te hebben gedicht. De primaire betekenis ligt in:

• Optimaliteit: Het bereiken van de $x^{4/5}$ exponent voor breukvormige machten, wat voorheen een open vraag was en alleen bekend was voor specifieke gevallen met zwakkere grenzen.
• Efficiëntie: Het elimineren van het $x^\varepsilon$ verlies, wat cruciaal is voor toepassingen die precieze fouttermen vereisen (bijv. in de cirkelmethode).
• Algebraïsche Vernieuwing: De constructie van eindige Heath-Brown-identiteiten voor breukvormige machten via de Newton-binomialreeks en ondersteuningsargumenten, wat een nieuw algebraïsch instrument biedt voor het hanteren van niet-gehele exponenten binnen de algebra van rekenkundige functies.
• Effectiviteit: De minor-arc grenzen en de constructie van de identiteiten zijn volledig effectief. De ineffectiviteit in de major-arc toepassingen wordt expliciet toegeschreven aan de Siegel-Walfisz stelling, een standaard beperking in dit domein, en niet aan de nieuwe machinerie.

De auteur benadrukt dat de restrictie tot rationale exponenten essentieel is voor de algebraïsche constructie (omdat deze rust op de $b$-de machtswortel van een geheel getal), en dat de restrictie $|z| \le 1$ ervoor zorgt dat de korte coëfficiënten begrensd blijven door 1. Het artikel claimt niet dat deze resultaten uitgebreid kunnen worden naar irrationale exponenten of exponenten buiten $[-1, 1]$ zonder significante modificatie.