Table of Contents
Fetching ...

Random Chowla's Conjecture for Rademacher Multiplicative Functions

Jake Chinis, Besfort Shala

TL;DR

This work proves a real Gaussian limit for sums of a Rademacher random multiplicative function evaluated at polynomial arguments $P(n)$ when $P$ is either a product of at least two distinct linear factors or an admissible irreducible quadratic, establishing a Rademacher analogue of a random Chowla-type CLT. The main novelty lies in a counting proposition for squarefree polynomial values, proved via a bootstrapping strategy that leverages Bombieri–Pila bounds and detailed divisor-congruence analyses. The CLT is obtained by decomposing the partial sum into a martingale difference array and verifying McLeish’s conditions through precise second- and fourth-moment estimates. In addition, the paper proves large-fluctuation results for $\sum_{n\le N} f(n^2+1)$, showing almost-sure lower bounds matching the law of iterated logarithm, hence enriching the understanding of pseudo-random behavior in RMFs. These results extend Najnudel’s conjecture to the Rademacher setting and connect to broader Chowla-type questions for RMFs.

Abstract

We study the distribution of partial sums of Rademacher random multiplicative functions $(f(n))_n$ evaluated at polynomial arguments. We show that for a polynomial $P\in \mathbb Z[x]$ that is a product of at least two distinct linear factors or an irreducible quadratic satisfying a natural condition, there exists a constant $κ_P>0$ such that \[ \frac{1}{\sqrt{κ_P N}}\sum_{n\leq N}f(P(n))\xrightarrow{d}\mathcal{N}(0,1), \] as $N\rightarrow\infty$, where convergence is in distribution to a standard (real) Gaussian. This confirms a conjecture of Najnudel and addresses a question of Klurman-Shkredov-Xu. We also study large fluctuations of $\sum_{n\leq N}f(n^2+1)$ and show that there almost surely exist arbitrarily large values of $N$ such that \[ \Big|\sum_{n\leq N}f(n^2+1)\Big|\gg \sqrt{N \log\log N}. \] This matches the bound one expects from the law of iterated logarithm.

Random Chowla's Conjecture for Rademacher Multiplicative Functions

TL;DR

This work proves a real Gaussian limit for sums of a Rademacher random multiplicative function evaluated at polynomial arguments when is either a product of at least two distinct linear factors or an admissible irreducible quadratic, establishing a Rademacher analogue of a random Chowla-type CLT. The main novelty lies in a counting proposition for squarefree polynomial values, proved via a bootstrapping strategy that leverages Bombieri–Pila bounds and detailed divisor-congruence analyses. The CLT is obtained by decomposing the partial sum into a martingale difference array and verifying McLeish’s conditions through precise second- and fourth-moment estimates. In addition, the paper proves large-fluctuation results for , showing almost-sure lower bounds matching the law of iterated logarithm, hence enriching the understanding of pseudo-random behavior in RMFs. These results extend Najnudel’s conjecture to the Rademacher setting and connect to broader Chowla-type questions for RMFs.

Abstract

We study the distribution of partial sums of Rademacher random multiplicative functions evaluated at polynomial arguments. We show that for a polynomial that is a product of at least two distinct linear factors or an irreducible quadratic satisfying a natural condition, there exists a constant such that as , where convergence is in distribution to a standard (real) Gaussian. This confirms a conjecture of Najnudel and addresses a question of Klurman-Shkredov-Xu. We also study large fluctuations of and show that there almost surely exist arbitrarily large values of such that This matches the bound one expects from the law of iterated logarithm.
Paper Structure (26 sections, 17 theorems, 77 equations)

This paper contains 26 sections, 17 theorems, 77 equations.

Key Result

Theorem 1.1

Let $f$ be a Steinhaus random multiplicative function. Then for any polynomial $P\in\mathop{\mathrm{\mathbb{Z}}}\nolimits[x]$ of $\deg P \geq 2$ which is not of the form $P(x) = w(x + c)^d$ for some $w \in \mathop{\mathrm{\mathbb{Z}}}\nolimits, c \in \mathop{\mathrm{\mathbb{Q}}}\nolimits$, we have t as $N\rightarrow\infty$; that is, the normalized partial sums $\frac{1}{\sqrt{N}}\sum_{n\leq N}f(P(

Theorems & Definitions (30)

  • Conjecture 1.1: Chowla's Conjecture ChowlaConj
  • Theorem 1.1: Steinhaus Random Chowla Oleksiy-RandomChowla
  • Theorem 1.2: Rademacher Random Chowla
  • Remark 1.1
  • Theorem 1.3
  • Remark 1.2
  • Lemma 2.1: McLeish's CLT - McLeish
  • Remark 2.1
  • Lemma 2.2: Lagrange's Theorem
  • proof
  • ...and 20 more