Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Mangerel, Alexander P.
Format: Preprint
Veröffentlicht: 2024
Schlagworte:
Online-Zugang:https://arxiv.org/abs/2412.17199
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866915075858628608
author Mangerel, Alexander P.
author_facet Mangerel, Alexander P.
contents Let $λ$ be the Liouville function. Assuming the Generalised Riemann Hypothesis for Dirichlet $L$-functions (GRH), we show that for every sufficiently large even integer $N$ there are $a,b \geq 1$ such that $$ a+b = N \text{ and } λ(a) = λ(b) = -1. $$ This conditionally answers an analogue of the binary Goldbach problem for the Liouville function, posed by Shusterman. The latter is a consequence of a quantitative lower bound on the frequency of sign patterns attained by $(λ(n),λ(N-n))$, for sufficiently large primes $N$. We show, assuming GRH, that there is a constant $C > 0$ such that for each pattern $(η_1,η_2) \in \{-1,+1\}^2$ and each prime $N \geq N_0$, $$ |\{n < N : (λ(n),λ(N-n)) = (η_1,η_2)\}| \gg N e^{-C(\log \log N)^{6}}. $$ The proof makes essential use of the Pierce expansion of rational numbers $n/N$, which may be of interest in other binary problems.
format Preprint
id arxiv_https___arxiv_org_abs_2412_17199
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On Shusterman's Goldbach-type problem for sign patterns of the Liouville function
Mangerel, Alexander P.
Number Theory
Let $λ$ be the Liouville function. Assuming the Generalised Riemann Hypothesis for Dirichlet $L$-functions (GRH), we show that for every sufficiently large even integer $N$ there are $a,b \geq 1$ such that $$ a+b = N \text{ and } λ(a) = λ(b) = -1. $$ This conditionally answers an analogue of the binary Goldbach problem for the Liouville function, posed by Shusterman. The latter is a consequence of a quantitative lower bound on the frequency of sign patterns attained by $(λ(n),λ(N-n))$, for sufficiently large primes $N$. We show, assuming GRH, that there is a constant $C > 0$ such that for each pattern $(η_1,η_2) \in \{-1,+1\}^2$ and each prime $N \geq N_0$, $$ |\{n < N : (λ(n),λ(N-n)) = (η_1,η_2)\}| \gg N e^{-C(\log \log N)^{6}}. $$ The proof makes essential use of the Pierce expansion of rational numbers $n/N$, which may be of interest in other binary problems.
title On Shusterman's Goldbach-type problem for sign patterns of the Liouville function
topic Number Theory
url https://arxiv.org/abs/2412.17199