Computing classical modular forms
We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB).
Discover
Research tools
Network
Opportunities
Account
Source author record
Jonathan Bober appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB).
Let $M(χ)$ denote the maximum of $|\sum_{n\le N}χ(n)|$ for a given non-principal Dirichlet character $χ\pmod q$, and let $N_χ$ denote a point at which the maximum is attained. In this article we study the distribution of $M(χ)/\sqrt{q}$ as one varies over characters $\pmod q$, where $q$ is prime, and investigate the location of $N_χ$. We show that the distribution of $M(χ)/\sqrt{q}$ converges weakly to a universal distribution $Φ$, uniformly throughout most of the possible range, and get (doubly exponential decay) estimates for $Φ$'s tail. Almost all $χ$ for which $M(χ)$ is large are odd characters that are $1$-pretentious. Now, $M(χ)\ge |\sum_{n\le q/2}χ(n)| = \frac{|2-χ(2)|}π\sqrt{q} |L(1,χ)|$, and one knows how often the latter expression is large, which has been how earlier lower bounds on $Φ$ were mostly proved. We show, though, that for most $χ$ with $M(χ)$ large, $N_χ$ is bounded away from $q/2$, and the value of $M(χ)$ is little bit larger than $\frac{\sqrt{q}}π |L(1,χ)|$.
It is well-known that cancellation in short character sums (e.g. Burgess' estimates) yields bounds on the least quadratic nonresidue. Scant progress has been made on short character sums since Burgess' work, so it is desirable to find a new approach to nonresidues. The goal of this note is to demonstrate a new line of attack via long character sums, a currently active area of research. Among other results, we demonstrate that improving the constant in the Pólya-Vinogradov inequality would lead to significant progress on nonresidues. Moreover, conditionally on a conjecture on long character sums, we show that the least nonresidue for any odd primitive character (mod $k$) is bounded by $(\log k)^{1.4}$.
We show that a short truncation of the Fourier expansion for a character sum gives a good approximation for the average value of that character sum over an interval. We give a few applications of this result. One is that for any $b$ there are infinitely many characters for which the sum up to $\approx aq/b$ is $\gg q^{1/2} \log \log q$ for all $a$ relatively prime to $b$; another is that if the least quadratic nonresidue modulo $q \equiv 3 \pmod 4$ is large, then the character sum gets as large as $(\sqrt{q}/π) (L(1, χ) + \log 2 - ε)$, and if $B$ is this nonresidue, then there is a sum of length $q/B$ which has size $(\sqrt{q}/π) (\log 2 - ε)$.
In this paper we prove a discrete version of Tanaka's Theorem \cite{Ta} for the Hardy-Littlewood maximal operator in dimension $n=1$, both in the non-centered and centered cases. For the discrete non-centered maximal operator $\widetilde{M} $ we prove that, given a function $f: \mathbb{Z} \to \mathbb{R}$ of bounded variation, $$\textrm{Var}(\widetilde{M} f) \leq \textrm{Var}(f),$$ where $\textrm{Var}(f)$ represents the total variation of $f$. For the discrete centered maximal operator $M$ we prove that, given a function $f: \mathbb{Z} \to \mathbb{R}$ such that $f \in \ell^1(\mathbb{Z})$, $$\textrm{Var}(Mf) \leq C \|f\|_{\ell^1(\mathbb{Z})}.$$ This provides a positive solution to a question of Hajłasz and Onninen \cite{HO} in the discrete one-dimensional case.
Stephen D. Miller showed that, assuming the generalized Riemann Hypothesis, every entire $L$-function of real archimedian type has a zero in the interval $\frac12+i t$ with $-t_0 < t < t_0$, where $t_0\approx 14.13$ corresponds to the first zero of the Riemann zeta function. We give an example of a self-dual degree-4 $L$-function whose first positive imaginary zero is at $t_1\approx 14.496$. In particular, Miller's result does not hold for general $L$-functions. We show that all $L$-functions satisfying some additional (conjecturally true) conditions have a zero in the interval $(-t_2,t_2)$ with $t_2\approx 22.661$.
We describe a tabulation of (conjecturally) modular elliptic curves over the field Q(sqrt(5)) up to the first curve of rank 2. Using an efficient implementation of an algorithm of Lassina Dembele, we computed tables of Hilbert modular forms of weight (2,2) over Q(sqrt(5)), and via a variety of methods we constructed corresponding elliptic curves, including (again, conjecturally) all elliptic curves over Q(sqrt(5)) that have conductor with norm less than or equal to 1831.
We obtain explicit bounds on the moments of character sums, refining estimates of Montgomery and Vaughan. As an application we obtain results on the distribution of the maximal magnitude of character sums normalized by the square root of the modulus, finding almost double exponential decay in the tail of this distribution.
We give a complete classification of a certain family of step functions related to the Nyman--Beurling approach to the Riemann hypothesis and previously studied by V. I. Vasyunin. Equivalently, we completely describe when certain sequences of ratios of factorial products are always integral. Essentially, once certain observations are made, this comes down to an application of Beukers and Heckman's classification of the monodromy of the hypergeometric function nF_{n-1}. We also note applications to the classification of cyclic quotient singularities.