A note on log-type GCD sums and derivatives of the Riemann zeta function

TL;DR

This paper establishes tight upper bounds for log-type GCD sums, generalizing Gál's theorem, and connects these bounds to the behavior of derivatives of the Riemann zeta function on the 1-line.

Contribution

It provides two methods—unconditional spectral norm bounds and conditional zeta derivative bounds—to analyze log-type GCD sums, extending previous results.

Findings

Sharp upper bounds for spectral norms near α=1

Upper bounds for log-type GCD sums established

Conditional link between GCD sums and zeta derivatives

Abstract

In [Yan22a], we defined so-called ``log-type" GCD sums and proved the lower bounds $\Gamma^{(\ell)}_1(N) \gg_{\ell} \left(\log\log N\right)^{2+2\ell}$. We will establish the upper bounds $\Gamma^{(\ell)}_1(N)\ll_{\ell} \left(\log \log N\right)^{2+2\ell}$ in this note, which generalizes G\'{a}l's theorem on GCD sums (corresponding to the case $\ell = 0$). This result will be proved by two different methods. The first method is unconditional. We establish sharp upper bounds for spectral norms along $\alpha-$lines when $\alpha$ tends to $1$ with certain fast rates. As a corollary, we obtain upper bounds for log-type GCD sums. The second method is conditional. We prove that lower bounds for log-type GCD sums $\Gamma^{(\ell)}_1(N)$ can produce lower bounds for large values of derivatives of the Riemann zeta function on the 1-line. So from conditional upper bound for $\left| \zeta^{(\ell)}\left(1+ i t\right)\right|$, we obtain upper bounds for log-type GCD sums.