Abstract:Let $k\geqslant 2$ be an integer and let $\lambda$ be the Liouville function. Given $k$ non-negative distinct integers $h_1,\ldots,h_k$, the Chowla conjecture claims that $\sum_{n\leqslant x}\lambda(n+h_1)\cdots\lambda(n+h_k)=o(x)$. An unconditional answer to this conjecture is yet to be found, and in this paper, we take a conditional approach. More precisely, we establish a bound for the sums $\sum_{n\leqslant x}\lambda(n+h_1)\cdots\lambda(n+h_k)$ under the existence of Landau-Siegel zeroes. Our work constitutes an improvement over the previous related results of Germán and Kátai, Chinis, and Tao and Teräväinen.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the improvement of the Chowla conjecture under the condition of the existence of Landau - Siegel zeros. Specifically, the author aims to study and improve the bounds of the k - correlation sums of the Liouville function by assuming the existence of Landau - Siegel zeros.
### Problem Background
The Chowla conjecture is an important number - theory problem, which involves the k - correlation sums of the Liouville function \(\lambda(n)\):
\[
\sum_{n \leq x} \lambda(n + h_1)\lambda(n + h_2)\cdots\lambda(n + h_k)=o(x), \quad \text{as } x \to \infty
\]
where \(h_1, h_2,\ldots, h_k\) are distinct non - negative integers. Although some partial progress has been made, the complete Chowla conjecture has not yet been proven.
### Main Contributions of the Paper
The main contribution of this paper is that, under the assumption of the existence of Landau - Siegel zeros, a tighter upper bound is given for the above - mentioned k - correlation sums. Specifically, the author proves the following results:
#### Theorem 1.1
Let \(q\geq2\) be a positive integer, and \(\chi\) be a primitive quadratic character modulo \(q\) such that \(L(s,\chi)\) has a real zero at \(s = \beta=1-\frac{1}{\eta\log q}\), and \(\eta\geq10\). Fix natural numbers \(k\geq2\) and distinct non - negative integers \(h_1,\ldots, h_k\), and \(\varepsilon\in(0,1/2)\). There exists a constant \(c > 0\) such that for \(x = q^V\), where \(V\in[1/2+\varepsilon,\eta]\), we have:
\[
\sum_{n \leq x} \lambda(n + h_1)\cdots\lambda(n + h_k)\ll x\left(\frac{V}{\eta}+\exp(-c\sqrt{V\log\eta})\right)
\]
#### Corollary 1.2
Let \(q,\eta,k\) and \(\varepsilon\) be as described in Theorem 1.1, and \(c\) be the constant in Theorem 1.1. Consider fixed distinct integers \(h_1,\ldots, h_k\geq0\).
(a) There exists a constant \(c' > 0\) such that for all \(x\in[q^{1/2+\varepsilon},q^{c^{-2}\log\eta}]\), we have:
\[
\sum_{n \leq x} \lambda(n + h_1)\cdots\lambda(n + h_k)\ll x\exp(-c'\sqrt{\log\eta})
\]
(b) For any \(\delta\in(0,1)\), we have:
\[
\sum_{n \leq x} \lambda(n + h_1)\cdots\lambda(n + h_k)\ll\frac{x}{\eta^{1 - \delta}}
\]
for all \(x\in(q^{c^{-2}\log\eta},q^{\eta^{\delta}}]\).
### Methods and Innovation Points
The author improves the previous results by introducing the completely multiplicative function \(\lambda_z\) and using the basic lemma of sieve theory (Lemma 3.3), combined with the estimate of Weil bounds. This method not only simplifies the calculation but also provides tighter bounds in a wider range.
In conclusion, this paper, by assuming Landau -