A sharp almost sure upper bound for partial sums of random multiplicative functions

Technische Samenvatting: Een scherpe bijna zeker bovengrens voor partiële sommen van willekeurige multiplicatieve functies

Probleemstelling
Het artikel behandelt het bijna zekere asymptotische gedrag van de partiële sommen $M_f(x) = \sum_{n \le x} f(n)$, waarbij $f$ een willekeurige multiplicatieve functie is. De studie richt zich op twee specifieke modellen:

1. Steinhaus-model: $f(p)$ zijn onafhankelijk en uniform verdeeld op de eenheidscirkel $\mathbb{T}$, volledig multiplicatief uitgebreid.
2. Rademacher-model: $f(p)$ zijn onafhankelijke symmetrische tekens ($\pm 1$), multiplicatief uitgebreid naar vierkante vrije gehele getallen (ondersteund op $\mu^2(n)=1$).

Hoewel het tweede moment $E|M_f(x)|^2$ schaalt als $x$, wordt verwacht dat de bijna zekere bovengrens groter is vanwege correlaties. Eerder werk stelde een ondergrens vast van de orde $\sqrt{x}(\log \log x)^{1/4}$ (Harper [12]) en diverse bovengrenzen met grotere logaritmische exponenten, zoals $\sqrt{x}(\log \log x)^{2+\varepsilon}$ (Basquin [3]; Lau–Tenenbaum–Wu [13]) en $\sqrt{x}(\log \log x)^{3/4+\varepsilon}$ (Caich [5]). Harper vermoedde dat de scherpe bijna zekere bovengrens overeenkomt met de ondergrens tot een willekeurige $\varepsilon$-factor in de exponent, specifiek $\sqrt{x}(\log \log x)^{1/4+\varepsilon}$.

Methodologie
De auteurs hanteren een meerfasige probabilistische en analytische strategie om de geconstateerde grens te bewijzen. Het bewijs volgt de algemene architectuur van Caich [5], maar introduceert een cruciale verfijning in de momentenschatting.

1. Discretisatie en Interpolatie:
   De continue variabele $x$ wordt vervangen door een ijle sequentie van "testpunten" $x_i = \lfloor \exp(i c_0) \rfloor$. Lemma 3.8 toont aan dat de fluctuatie van $M_f(x)$ tussen opeenvolgende testpunten verwaarloosbaar is (kleiner dan een macht van $\log x$) bijna zeker, waardoor het probleem kan worden teruggebracht tot het begrenzen van $M_f(x_i)$.

2. Grootste-priemfactor Decompositie:
   De som $M_f(x_i)$ wordt gedecomposeerd op basis van de grootste priemfactor $P(n)$ van de gehele getallen $n \le x_i$. De priemgetallen worden gepartitioneerd in blokken $(y_{j-1}, y_j]$.

   • Gladde Term (Smooth Term): Gehele getallen met $P(n) \le y_0$.
   • Term met enkelvoudige voorkomst ($M_f^{(1)}$): Gehele getallen waar de grootste priem precies één keer voorkomt. Dit vormt een priem-geïndexeerde martingale.
   • Term met herhaalde voorkomsten ($M_f^{(2)}$): Gehele getallen waar de grootste priem minstens twee keer voorkomt. In het Rademacher-model verdwijnt deze term.

3. Smoothing en Kwadratische Variatie:
   De controle van de term met enkelvoudige voorkomsten berust op het begrenzen van de voorspelbare kwadratische variatie $V_\ell(x_i; f)$. De auteurs maken gebruik van een smoothing-ongelijkheid (Propositie 3.15) om $V_\ell$ te relateren aan een hoofd logaritmische gemiddelde kwadratische term $M_\ell$ en verschillende hulptermen ($\lambda$-termen, randtermen en $W$-termen). De hulptermen worden aangetoond summabel te zijn via standaard probabilistische instrumenten (Doobs ongelijkheden, Azuma–Hoeffding).

4. Kerninnovatie: Conditionele Hogere Momenten:
   De kern van de moeilijkheid ligt in het uniform controleren van de hoofdterm $M_\ell$ over de $J \asymp \log \log x$ priemblokken.

   • Vorige Aanpak (Caich): Vertrouwde op conditionele eerste-moment schattingen opgeteld over blokken, wat resulteerde in een verlies van een factor $\sqrt{\log \log x}$.
   • Huidige Aanpak: De auteurs introduceren een vaste conditionele $r$-de momentenschatting (Propositie 5.2 voor Steinhaus, Propositie 7.8 voor Rademacher). Ze definiëren een getinte, genormaliseerde Euler-product integraal $I_j$ en bewijzen dat deze een supermartingale vormt (Lemma 5.1, Lemma 7.7).
   • Cruciaal is dat zij vaststellen dat $E[U_j^r \mid \mathcal{F}_{y_{j-1}}] \ll I_{j-1}^r$, waarbij $U_j$ de hoofdterm domineert. Deze controle over hogere momenten, gecombineerd met een stopping-argument (met de $2/3$-moment grens uit Harper [9] voor het Steinhaus-geval en een verschoven schatting voor Rademacher), levert een compenserende factor van $L^{-1}$ op (waarbij $L \asymp \log \log x$). Dit heft precies de union bound over de $J$ blokken op, waardoor het extra verlies van $\sqrt{\log \log x}$ wordt geëlimineerd.

5. Modelspecifieke Aanpassingen:

   • Steinhaus: Gebruikt de standaard hypercontractieve ongelijkheid (Lemma 3.1) en de lage-moment schatting van Harper [9] voor de volledige-lijn gemiddelde kwadratische waarde (Lemma 4.1).
   • Rademacher: Vereist modificaties omdat tekens niet rotationeel invariant zijn. De auteurs gebruiken een verschoven eenheidsinterval-schatting (Lemma 7.4) en passen de supermartingale-constructie aan aan de specifieke Euler-productstructuur van het Rademacher-model (Lemma 7.7).

Belangrijkste Resultaten
Het hoofddoel van het artikel is het vaststellen van de scherpe bijna zekere bovengrens voor beide modellen:

Stelling 1: Laat $f$ ofwel een Steinhaus of een Rademacher willekeurige multiplicatieve functie zijn. Voor elke $\varepsilon > 0$, bijna zeker:
$$|M_f(x)| \ll_{\varepsilon, f} \sqrt{x} (\log \log x)^{1/4 + \varepsilon}$$

Dit wordt ondersteund door Propositie 1.1, die een nauwkeurigere vaste-orde verklaring biedt: voor elke geheel getal $r \ge 2$ en $\eta > 0$, bijna zeker:
$$|M_f(x)| \ll_{r, \eta, f} \sqrt{x} (\log \log x)^{1/4 + 1/(2r) + \eta}$$

Door dit te combineren met de ondergrens van Harper (1.6), leiden de auteurs Corollary 1.2 af, waarmee de exacte logaritmische exponent wordt bepaald:
$$\limsup_{x \to \infty} \frac{\log(1 + |M_f(x)|/\sqrt{x})}{\log \log \log x} = \frac{1}{4}$$

Betekenis en Claims
Het artikel claimt de conjectuur van Harper over de grote fluctuaties van willekeurige multiplicatieve functies te hebben opgelost. Door de scherpe logaritmische exponent van $1/4$ te bepalen, lost het werk de discrepantie op tussen eerdere bovengrenzen (die exponenten hadden zoals $2$ of $3/4$) en de bekende ondergrens.

De auteurs benadrukken dat het bewijs niet steunt op onafhankelijkheidsargumenten (die falen door multiplicatieve correlaties), maar eerder op een verfijnd begrip van hoe deze correlaties persistent blijven naarmate $x$ varieert. De primaire technische bijdrage is de vervanging van de conditionele eerste-moment stap uit eerder werk door een vaste conditionele $r$-de momentenschatting op een enkel priemblok. Deze innovatie maakt de precieze absorptie van de union bound over het logaritmische aantal priemblokken mogelijk, wat de geconstateerde exponent oplevert. Het artikel stelt dat dit resultaat, samen met de ondergrens, de bijna zekere grootte van de partiële sommen voor deze willekeurige multiplicatieve functies volledig karakteriseert.