Abstract:Let $\alpha \colon \mathbb{N} \to S^1$ be the Steinhaus multiplicative function: a completely multiplicative function such that $(\alpha(p))_{p\text{ prime}}$ are i.i.d.~random variables uniformly distributed on $S^1$. Helson conjectured that $\mathbb{E}|\sum_{n\le x}\alpha(n)|=o(\sqrt{x})$ as $x \to \infty$, and this was solved in strong form by Harper. We give a short proof of the conjecture using a result of Saksman and Webb on a random model for the zeta function.

What problem does this paper attempt to address?

This paper attempts to solve the problem of Helson's conjecture. Specifically, Helson's conjecture focuses on the behavior of the expected value of the sum of the Steinhaus multiplicative function as $x$ approaches infinity. The Steinhaus multiplicative function $\alpha$ is a completely multiplicative function such that for all prime numbers $p$, $\alpha(p)$ is a random variable that is independently and identically distributed (i.i.d.) and uniformly distributed on the unit circle $S^1$. The specific statement of Helson's conjecture is as follows: \[ E\left[\left|\sum_{n \leq x} \alpha(n)\right|\right] = o(\sqrt{x}) \quad \text{as} \quad x \to \infty \] This problem has been strongly solved in Harper's work. The author of this paper provides a short proof, using the results of Saksman and Webb on a random model of the Riemann zeta function. ### Main contributions 1. **Short proof**: The author gives a short proof to verify Helson's conjecture. 2. **Combination of existing results**: By combining the results of Saksman and Webb, the proof process is simplified. 3. **Technical details**: Some new lemmas and techniques, such as Lemma 1.2 and Lemma 1.3, are introduced. These lemmas help simplify the complexity in Harper's original proof. ### Formula explanation - $\alpha: \mathbb{N} \to S^1$ is the Steinhaus multiplicative function. - $S_x := \frac{1}{\sqrt{x}} \sum_{n \leq x} \alpha(n)$ - The core formula of Helson's conjecture is: \[ E\left[\left|S_x\right|\right] = o(1) \quad \text{as} \quad x \to \infty \] Through the above work, the author not only verifies Helson's conjecture, but also provides a more concise proof method, which is of great significance for understanding and further studying related fields.

A short proof of Helson's conjecture

Martingale central limit theorem for random multiplicative functions

A conjecture of Mallows and Sloane with the universal denominator of Hilbert series

Mittag-Leffler type theorems for Helson zeta-functions

Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

A conjectural asymptotic formula for multiplicative chaos in number theory

Central limit theorems for random multiplicative functions

Proof of the Goldbach's Strong Conjecture by Using Semi-Continuous Model of Even Numbers

Harper's beyond square-root conjecture

On a conjecture on a series of convergence rate $\frac{1}{2}$

On Erdős sums of almost primes

Odd moments in the distribution of primes

Spectral measure of large random Helson matrices

A number-theoretic problem concerning pseudo-real Riemann surfaces

Mesoscopic Central Limit Theorem for non-Hermitian Random Matrices

Exponential Schur and Hindman Theorem in Ramsey Theory

Wegner estimate and upper bound on the eigenvalue condition number of non-Hermitian random matrices

On a partial sum related to the Euler totient function

On the positivity of some weighted partial sums of a random multiplicative function

A symplectic proof of the Horn inequalities

Low-Lying Zeros of $L$-functions of Adélic Hilbert Modular Forms and their Convolutions