
## 1. Lower bounds

1. #### Problem 1.1.

Let $h \in \N$ be fixed. Is there a sequence $X_k \to \infty$ such that \begin{equation*} \left| \sum_{n \leq X_k} \lambda(n) \lambda(n + h) \right| \to \infty \end{equation*} as $k \to \infty$? We could also consider variants for multiplicative functions $f$ with values in $\{\pm 1\}$. We can handle $f$ pretentious, and can also do it assuming $4$-point Chowla or the existence of arbitrarily long strings of $+1$’s for $\lambda$. Would a Sudoku-type argument work here? If $h = h_k$ is allowed to vary with $k$, then we can probably show this as well.
• #### Problem 1.2.

[Peter Sarnak] Is there a bounded sequence $a(n)$ such that each $a(n)$ is computable in time $O(\log^A n)$ for some fixed $A > 0$ and such that

\begin{equation*} \left| \sum_{n \leq X} \lambda(n) a(n) \right| > \epsilon X \end{equation*} for all $X$ and some fixed $\epsilon > 0$? Can we say something about the Furstenberg systems of such an $a(n)$? In particular, do they have positive entropy?
• #### Problem 1.3.

Can we obtain lower bounds for

\begin{equation*} \int_X^{2X} \left| \sum_{x\leq n\leq x+H} \lambda(n) \right| d x? \end{equation*} In particular, can we get a lower bound of the form $XH^{\frac{1}{2}-\epsilon}$?
• #### Problem 1.4.

Can we get a reasonable omega result for \begin{equation*} \left| \sum_{n \leq X} f(n) \right|, \end{equation*} where $f: \N \to \{\pm1\}$ is totally multiplicative? Anything better than $\log \log \log \log \log X$ would be interesting.

Cite this as: AimPL: Sarnak's conjecture, available at http://aimpl.org/sarnakconjecture.