Almost sure bounds for a weighted Steinhaus random multiplicative function

Seth Hardy
2023-07-02
Abstract:We obtain almost sure bounds for the weighted sum $\sum_{n \leq t} \frac{f(n)}{\sqrt{n}}$, where $f(n)$ is a Steinhaus random multiplicative function. Specifically, we obtain the bounds predicted by exponentiating the law of the iterated logarithm, giving sharp upper and lower bounds.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide almost - certain upper and lower bounds for the weighted Steinhaus random multiplicative function \(\sum_{n \leq t} f(n)\sqrt{n}\). Specifically, the author hopes to prove that these bounds are consistent with the results predicted by the law of the iterated logarithm, thereby giving precise upper and lower bounds. ### Background and Problem Description Steinhaus random variables are complex random variables uniformly distributed on the unit circle \(\{z:|z| = 1\}\) in the complex plane. Define the Steinhaus random multiplicative function \(f(n)\) as: \[f(n)=\prod_{p|n}f(p)^{v_p(n)}\] where \(v_p(n)\) is the \(p\)-adic valuation of \(n\). In recent work, Aymone, Heap and Zhao studied \(M_f(t):=\sum_{n \leq t}f(n)\sqrt{n}\) as a model for the Riemann zeta function on the critical line. They obtained upper and lower bound estimates for \(M_f(x)\) and pointed out that these estimates are related to the maximum value of the zeta function. ### Main Contributions of the Paper The main contribution of the paper is to give almost - certain upper and lower bounds that are consistent with the results predicted by the law of the iterated logarithm. Specifically, the author proves the following two theorems: - **Theorem 1 (Upper Bound)**: For any \(\varepsilon> 0\), we have \[M_f(x)\ll\exp\left((1 + \varepsilon)\sqrt{\log_2 x\log_4 x}\right)\] almost surely. - **Theorem 2 (Lower Bound)**: For any \(\varepsilon> 0\), we have \[\limsup_{x\rightarrow\infty}\frac{|M_f(x)|}{\exp\left((1-\varepsilon)\sqrt{\log_2 x\log_4 x}\right)}\geq1\] almost surely. These results are the best that can be expected at present, and the shapes of the upper and lower bounds match the law of the iterated logarithm. ### Methods for Solving the Problem To prove these theorems, the author adopts the following methods: 1. **Partitioning the Natural Number Interval**: Divide the natural numbers into several intervals so that \(M_f(x)\) does not change much within these intervals. 2. **Conditioning Events**: Introduce a series of conditioning events \(G_{j,l}\) and \(I_{j,l}\) in order to better estimate probabilities. 3. **Applying Harmonic Analysis Results**: Utilize important results in harmonic analysis, such as Montgomery and Vaughan's theorem, to convert the sum into an integral form, thereby extracting the Euler integral. 4. **Application of the Borel - Cantelli Lemma**: Prove that the probabilities of certain events are summable through the Borel - Cantelli lemma. Through these methods, the author successfully proves the almost - certain upper and lower bounds and verifies the consistency of these bounds with the law of the iterated logarithm.