Universality and distribution of zeros and poles of some zeta functions

This paper studies zeta functions of the form $\sum_{n=1}^{\infty} \chi(n) n^{-s}$, with $\chi$ a completely multiplicative function taking only unimodular values. We denote by $\sigma(\chi)$ the infimum of those $\alpha$ such that the Dirichlet series $\sum_{n=1}^{\infty} \chi(n) n^{-s}$ can be continued meromorphically to the half-plane $\operatorname{Re} s>\alpha$, and denote by $\zeta_{\chi}(s)$ the corresponding meromorphic function in $\operatorname{Re} s>\sigma(\chi)$. We construct $\zeta_{\chi}(s)$ that have $\sigma(\chi)\le 1/2$ and are universal for zero-free analytic functions on the half-critical strip $1/2<\operatorname{Re} s <1$, with zeros and poles at any discrete multisets lying in a strip to the right of $\operatorname{Re} s =1/2$ and satisfying a density condition that is somewhat stricter than the density hypothesis for the zeros of the Riemann zeta function. On a conceivable version of Cram\'{e}r's conjecture for gaps between primes, the density condition can be relaxed, and zeros and poles can also be placed at $\beta+i \gamma$ with $\beta\le 1-\lambda \log\log |\gamma|/\log |\gamma|$ when $\lambda>1$. Finally, we show that there exists $\zeta_{\chi}(s)$ with $\sigma(\chi) \le 1/2$ and zeros at any discrete multiset in the strip $1/2<\operatorname{Re} s \le 39/40$ with no accumulation point in $\operatorname{Re} s >1/2$; on the Riemann hypothesis, this strip may be replaced by the half-critical strip $1/2 < \operatorname{Re} s < 1$.Comment: This is the final version of the paper which has been accepted for publication in Journal d'Analyse Math\'{e}matiqu

Interpolation and sampling in small Bergman spaces

Carleson measures and interpolating and sampling sequences for weighted Bergman spaces on the unit disk are described for weights that are radial and grow faster than the standard weights $(1-|z|)^{-\alpha}$, $0<\alpha<1$. These results make the Hardy space $H^2$ appear naturally as a "degenerate" endpoint case for the class of Bergman spaces under study

Integral means and boundary limits of Dirichlet series

We study the boundary behavior of functions in the Hardy spaces HD^p for ordinary Dirichlet series. Our main result, answering a question of H. Hedenmalm, shows that the classical F. Carlson theorem on integral means does not extend to the imaginary axis for functions in HD^\infty, i.e., for ordinary Dirichlet series in H^\infty of the right half-plane. We discuss an important embedding problem for HD^p, the solution of which is only known when p is an even integer. Viewing HD^p as Hardy spaces of the infinite-dimensional polydisc, we also present analogues of Fatou's theorem.Comment: 13 page

Approximation numbers of composition operators on the H2H^2 space of Dirichlet series

By a theorem of Gordon and Hedenmalm, $\varphi$ generates a bounded composition operator on the Hilbert space $\mathscr{H}^2$ of Dirichlet series $\sum_n b_n n^{-s}$ with square-summable coefficients $b_n$ if and only if $\varphi(s)=c_0 s+\psi(s)$, where $c_0$ is a nonnegative integer and $\psi$ a Dirichlet series with the following mapping properties: $\psi$ maps the right half-plane into the half-plane $\operatorname{Re} s >1/2$ if $c_0=0$ and is either identically zero or maps the right half-plane into itself if $c_0$ is positive. It is shown that the $n$th approximation numbers of bounded composition operators on $\mathscr{H}^2$ are bounded below by a constant times $r^n$ for some $0<r<1$ when $c_0=0$ and bounded below by a constant times $n^{-A}$ for some $A>0$ when $c_0$ is positive. Both results are best possible. The case when $c_0=0$, $\psi$ is bounded and smooth up to the boundary of the right half-plane, and $\sup \operatorname{Re} \psi=1/2$, is discussed in depth; it includes examples of non-compact operators as well as operators belonging to all Schatten classes $S_p$. For $\varphi(s)=c_1+\sum_{j=1}^d c_{q_j} q_j^{-s}$ with $q_j$ independent integers, it is shown that the $n$th approximation number behaves as $n^{-(d-1)/2}$, possibly up to a factor $(\log n)^{(d-1)/2}$. Estimates rely mainly on a general Hilbert space method involving finite linear combinations of reproducing kernels. A key role is played by a recently developed interpolation method for $\mathscr{H}^2$ using estimates of solutions of the $\bar{\partial}$ equation. Finally, by a transference principle from $H^2$ of the unit disc, explicit examples of compact composition operators with approximation numbers decaying at essentially any sub-exponential rate can be displayed.Comment: Final version, to appear in Journal of Functional Analysi

Some open questions in analysis for Dirichlet series

We present some open problems and describe briefly some possible research directions in the emerging theory of Hardy spaces of Dirichlet series and their intimate counterparts, Hardy spaces on the infinite-dimensional torus. Links to number theory are emphasized throughout the paper.Comment: To appear in the proceedings volume for the conference "Completeness Problems, Carleson Measures, and Spaces of Analytic Functions" held at the Mittag--Leffler Institute in 201

Extreme values of the Riemann zeta function and its argument

We combine our version of the resonance method with certain convolution formulas for $\zeta(s)$ and $\log\, \zeta(s)$. This leads to a new $\Omega$ result for $|\zeta(1/2+it)|$: The maximum of $|\zeta(1/2+it)|$ on the interval $1 \le t \le T$ is at least $\exp\left((1+o(1)) \sqrt{\log T \log\log\log T/\log\log T}\right)$. We also obtain conditional results for $S(t):=1/\pi$ times the argument of $\zeta(1/2+it)$ and $S_1(t):=\int_0^t S(\tau)d\tau$. On the Riemann hypothesis, the maximum of $|S(t)|$ is at least $c \sqrt{\log T \log\log\log T/\log\log T}$ and the maximum of $S_1(t)$ is at least $c_1 \sqrt{\log T \log\log\log T/(\log\log T)^3}$ on the interval $T^{\beta} \le t \le T$ whenever $0\le \beta < 1$.Comment: This is the final version of the paper which has been accepted for publication in Mathematische Annale