Abstract:The goal of this work is to prove a new sure upper bound in a setting that can be thought of as a simplified function field analogue. This result is comparable to a recent result of the author concerning almost sure upper bound of random multiplicative functions. Having a simpler quantity allows us to make the proof more accessible.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to prove an almost sure upper bound in a simplified model, which can be analogized to multiplicative chaos in number theory. Specifically, the author Rachid Caich attempts to prove an inequality similar to the almost sure upper bound of a random multiplicative function.
#### Background and Motivation
In the intersection of number theory and probability theory, the study of random multiplicative functions has attracted much attention in recent years. The behavior of such functions is significantly different from that of independent random variables in classical probability theory. Therefore, it is of great significance to study their moments and almost sure upper and lower bounds.
Harper et al. have explored the almost sure lower bounds and moment estimates of the random multiplicative function \( M_f(x) \) in several previous papers. For example, Harper proved that for any function \( V(x) \) tending to infinity, almost surely there exists arbitrarily large \( x \) such that:
\[
|M_f(x)| \gg \sqrt{x} (\log_2 x)^{1/4} / V(x)
\]
where \( M_f(x)=\sum_{n \leq x} f(n) \), and \( \log_k x \) represents the \( k \)-fold logarithm.
Furthermore, when \( x \to +\infty \), Harper also proved that
\[
E[|M_f(x)|] \asymp \sqrt{x} (\log_2 x)^{1/4}
\]
Based on these results, Harper conjectured that for any fixed \( \epsilon > 0 \), almost surely
\[
M_f(x) \ll \sqrt{x} (\log_2 x)^{1/4 + \epsilon}
\]
However, the best known result so far was proved by Caich in another paper:
\[
M_f(x) \ll \sqrt{x} (\log_2 x)^{3/4 + \epsilon}
\]
#### Main Objectives of the Paper
The main objective of this paper is to prove a similar result, but for a simplified model problem. Specifically, the author hopes to prove that for the sequence \( A(n) \) defined in the formal power series, almost surely
\[
A(n) \ll (\log n)^{3/4 + \epsilon}
\]
By simplifying the model, the author hopes to provide a more understandable proof, making it easier for readers to grasp the core idea of this complex problem.
#### Main Conclusions
The main conclusion of the paper is Theorem 1.1:
**Theorem 1.1**: Let \( \epsilon > 0 \), and let \( (A(n))_{n \geq 0} \) be defined as in formula (1). Then almost surely
\[
A(n) \ll (\log n)^{3/4 + \epsilon}
\]
The author gradually proves this conclusion through a series of complex probability theory tools and techniques, such as the Borel - Cantelli lemma, the properties of martingale difference sequences, and some key inequalities (such as Hoeffding's inequality and Doob's inequality).
#### Summary
In general, this paper successfully proves an improved result on the almost sure upper bound of a random multiplicative function by simplifying the model. This not only provides a new perspective for understanding multiplicative chaos but also lays the foundation for further research on related problems.