The Fibonacci Zeta Function and Modular Forms
We show that a family of Dirichlet series generalizing the Fibonacci zeta function $\sum F(n)^{-s}$ has meromorphic continuation in terms of dihedral $\mathrm{GL}(2)$ Maass forms.
math.NT↗
arXiv subjects
Alexander Walker
Publications and source records attributed to Alexander Walker.
The Fibonacci Zeta Function and Continuation
We introduce a family of Dirichlet series associated to real quadratic number fields that generalize the ordinary Fibonacci zeta function $\sum F(n)^{-s}$, where $F(n)$ denotes the $n$th Fibonacci number. We then give three different methods of meromorphic continuation to $\mathbb{C}$. Two are purely analytic and classical, while the third uses shifted convolutions and modular forms.
math.NT↗
Self-Correlations of Hurwitz Class Numbers
The asymptotic study of class numbers of binary quadratic forms is a foundational problem in arithmetic statistics. Here, we investigate finer statistics of class numbers by studying their self-correlations under additive shifts. Specifically, we produce uniform asymptotics for the shifted convolution sum $\sum_{n < X} H(n) H(n+\ell)$ for fixed $\ell \in \mathbb{Z}$, in which $H(n)$ denotes the Hurwitz class number.
math.NT↗
Counting Divisors in the Outputs of a Binary Quadratic Form
For a fixed natural number $h$, we prove meromorphic continuation of the two-variable Dirichlet series $\sum_m r_2(m) \sigma_w(m + h) (m + h)^{-s + w}$ to $\mathbb{C}^2$ and use this to obtain asymptotics for $\sum_{m^2 + n^2 \leq X} \sigma_w(m^2 + n^2 + h)$. We approach this continuation through spectral theory. Our results are comparable to earlier work of Bykovskii, who used different methods to study the sums $\sum_{n^2 \leq X} \sigma_w(n^2 + h)$.
math.NT↗
Sums of Cusp Form Coefficients Along Quadratic Sequences
Let $f(z) = \sum A(n) n^{(k-1)/2} e(nz)$ be a cusp form of weight $k \geq 3$ on $\Gamma_0(N)$ with character $\chi$. By studying a certain shifted convolution sum, we prove that $\sum_{n \leq X} A(n^2+h) = c_{f,h} X + O_{f,h,\epsilon}(X^{\frac{3}{4}+\epsilon})$ for $\epsilon>0$, which improves a result of Blomer from 2008 with error $X^{\frac{6}{7}+\epsilon}$. This includes an appendix due to Raphael S. Steiner, proving stronger bounds for certain spectral averages.
math.NT↗
Integer Sets of Large Harmonic Sum Which Avoid Long Arithmetic Progressions
We give conditions under which certain digit-restricted integer sets avoid $k$-term arithmetic progressions. These sets and their harmonic sums can be computed efficiently. Through large-scale search, we identify integer sets avoiding arithmetic progressions of length 4 and 10 whose harmonic sums exceed earlier "greedy" constructions.
math.NT↗
Arithmetic Progressions of Squares and Multiple Dirichlet Series
We study a Dirichlet series in two variables which counts primitive three-term arithmetic progressions of squares. We show that this multiple Dirichlet series has meromorphic continuation to $\mathbb{C}^2$ and use Tauberian methods to obtain counts for arithmetic progressions of squares and rational points on $x^2+y^2=2$.
math.NT↗
Triple Correlation Sums of Coefficients of Cusp Forms
We produce nontrivial asymptotic estimates for shifted sums of the form $\sum a(h)b(m)c(2m-h)$, in which $a(n),b(n),c(n)$ are un-normalized Fourier coefficients of holomorphic cusp forms. These results are unconditional, but we demonstrate how to strengthen them under the Riemann Hypothesis. As an application, we show that there are infinitely many three term arithmetic progressions $n-h, n, n+h$ such that $a(n-h)a(n)a(n+h) \neq 0$.
math.NT↗
Arithmetic Progressions with Restricted Digits
For an integer $b \geqslant 2$ and a set $S\subset \{0,\cdots,b-1\}$, we define the Kempner set $\mathcal{K}(S,b)$ to be the set of all non-negative integers whose base-$b$ digital expansions contain only digits from $S$. These well-studied sparse sets provide a rich setting for additive number theory, and in this paper we study various questions relating to the appearance of arithmetic progressions in these sets. In particular, for all $b$ we determine exactly the maximal length of an arithmetic progression that omits a base-$b$ digit.
math.NT↗
A Shifted Sum for the Congruent Number Problem
We introduce a shifted convolution sum that is parametrized by the squarefree natural number $t$. The asymptotic growth of this series depends explicitly on whether or not $t$ is a \emph{congruent number}, an integer that is the area of a rational right triangle. This series presents a new avenue of inquiry for The Congruent Number Problem.
math.NT↗
The Laplace Transform of the Second Moment in the Gauss Circle Problem
The Gauss circle problem concerns the difference $P_2(n)$ between the area of a circle of radius $\sqrt{n}$ and the number of lattice points it contains. In this paper, we study the Dirichlet series with coefficients $P_2(n)^2$, and prove that this series has meromorphic continuation to $\mathbb{C}$. Using this series, we prove that the Laplace transform of $P_2(n)^2$ satisfies $\int_0^\infty P_2(t)^2 e^{-t/X} \, dt = C X^{3/2} -X + O(X^{1/2+\epsilon})$, which gives a power-savings improvement to a previous result of Ivic [Ivic1996]. Similarly, we study the meromorphic continuation of the Dirichlet series associated to the correlations $r_2(n+h)r_2(n)$, where $h$ is fixed and $r_2(n)$ denotes the number of representations of $n$ as a sum of two squares. We use this Dirichlet series to prove asymptotics for $\sum_{n \geq 1} r_2(n+h)r_2(n) e^{-n/X}$, and to provide an additional evaluation of the leading coefficient in the asymptotic for $\sum_{n \leq X} r_2(n+h)r_2(n)$.
math.NT↗
Second Moments in the Generalized Gauss Circle Problem
The generalized Gauss circle problem concerns the lattice point discrepancy of large spheres. We study the Dirichlet series associated to $P_k(n)^2$, where $P_k(n)$ is the discrepancy between the volume of the $k$-dimensional sphere of radius $\sqrt{n}$ and the number of integer lattice points contained in that sphere. We prove asymptotics with improved power-saving error terms for smoothed sums, including $\sum P_k(n)^2 e^{-n/X}$ and the Laplace transform $\int_0^\infty P_k(t)^2 e^{-t/X}dt$, in dimensions $k \geq 3$. We also obtain main terms and power-saving error terms for the sharp sums $\sum_{n \leq X} P_k(n)^2$, along with similar results for the sharp integral $\int_0^X P_3(t)^2 dt$. This includes producing the first power-saving error term in mean square for the dimension-three Gauss circle problem.
math.NT↗
Sign Changes of Coefficients and Sums of Coefficients of L-Functions
We extend the axiomatization for detecting and quantifying sign changes of Meher and Murty to sequences of complex numbers. We further generalize this result when the sequence is comprised of the coefficients of an $L$-function. As immediate applications, we prove that there are sign changes in intervals within sequences of coefficients of GL(2) holomorphic cusp forms, GL(2) Maass forms, and GL(3) Maass forms. Building on previous works by the authors, we prove that there are sign changes in intervals within sequences of partial sums of coefficients of GL(2) holomorphic cusp forms and Maass forms.
math.NT↗
Graphs of Large Girth and Surfaces of Large Systole
The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are constructed by taking congruence covers of arithmetic surfaces. In this article we provide a new construction for a sequence of surfaces with systoles that grow logarithmically in their genera. We do this by combining a construction for graphs of large girth and a count of the number of $\mathrm{SL}_2(\mathbb{Z})$ matrices with positive entries and bounded trace.
math.GT↗
Short-Interval Averages of Sums of Fourier Coefficients of Cusp Forms
Let $f$ be a weight $k$ holomorphic cusp form of level one, and let $S_f(n)$ denote the sum of the first $n$ Fourier coefficients of $f$. In analogy with Dirichlet's divisor problem, it is conjectured that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + \epsilon}$. Understanding and bounding $S_f(X)$ has been a very active area of research. The current best bound for individual $S_f(X)$ is $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{3}} (\log X)^{-0.1185}$ from Wu. Chandrasekharan and Narasimhan showed that the Classical Conjecture for $S_f(X)$ holds on average over intervals of length $X$. Jutila improved this result to show that the Classical Conjecture for $S_f(X)$ holds on average over short intervals of length $X^{\frac{3}{4} + \epsilon}$. Building on the results and analytic information about $\sum \lvert S_f(n) \rvert^2 n^{-(s + k - 1)}$ from our recent work, we further improve these results to show that the Classical Conjecture for $S_f(X)$ holds on average over short intervals of length $X^{\frac{2}{3}}(\log X)^{\frac{1}{6}}$.
math.NT↗
The Second Moment of Sums of Coefficients of Cusp Forms
Let $f$ and $g$ be weight $k$ holomorphic cusp forms and let $S_f(n)$ and $S_g(n)$ denote the sums of their first $n$ Fourier coefficients. Hafner and Ivic [HI], building on Chandrasekharan and Narasimhan [CN], proved asymptotics for $\sum_{n \leq X} \lvert S_f(n) \rvert^2$ and proved that the Classical Conjecture, that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + \epsilon}$, holds on average over long intervals. In this paper, we introduce and obtain meromorphic continuations for the Dirichlet series $D(s, S_f \times S_g) = \sum S_f(n)\overline{S_g(n)} n^{-(s+k-1)}$ and $D(s, S_f \times \overline{S_g}) = \sum_n S_f(n)S_g(n) n^{-(s + k - 1)}$. Using these meromorphic continuations, we prove asymptotics for the smoothed second moment sums $\sum S_f(n)\overline{S_g(n)} e^{-n/X}$, proving a smoothed generalization of [HI]. We also attain asymptotics for analogous smoothed second moment sums of normalized Fourier coefficients, proving smoothed generalizations of what would be attainable from [CN]. Our methodology extends to a wide variety of weights and levels, and comparison with [CN] indicates very general cancellation between the Rankin-Selberg $L$-function $L(s, f\times g)$ and shifted convolution sums of the coefficients of $f$ and $g$. In forthcoming works, the authors apply the results of this paper to prove the Classical Conjecture on $\lvert S_f(n) \rvert^2$ is true on short intervals, and to prove sign change results on $\{S_f(n)\}_{n \in \mathbb{N}}$.
math.NT↗