BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Andrew R. Booker contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We extend Venkatesh's proof of the converse theorem for classical holomorphic modular forms to arbitrary level and character. The method of proof, via the Petersson trace formula, allows us to treat arbitrary degree 2 gamma factors of Selberg class type.
We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB).
We prove that for any prime power $q\notin\{3,4,5\}$, the cubic extension $\mathbb{F}_{q^3}$ of the finite field $\mathbb{F}_q$ contains a primitive element $ξ$ such that $ξ+ξ^{-1}$ is also primitive, and $\textrm{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(ξ)=a$ for any prescribed $a\in\mathbb{F}_q$. This completes the proof of a conjecture of Gupta, Sharma, and Cohen concerning the analogous problem over an extension of arbitrary degree $n\ge3$.
Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ denote the finite field with $q^n$ elements. Also let $a,b$ be arbitrary members of the ground field $\mathbb{F}_{q}$. We investigate the existence of a non-zero element $ξ\in \mathbb{F}_{q^{n}}$ such that $ξ+ ξ^{-1}$ is primitive and $T(ξ)=a, T(ξ^{-1})=b$, where $T(ξ)$ denotes the trace of $ξ$ in $\mathbb{F}_{q}$. This was a question intended to be addressed by Cao and Wang in 2014. Their work dealt instead with another problem already in the literature. Our solution deals with all values of $n \geq 5$. A related study involves the cubic extension $\mathbb{F}_{q^{3}}$ of $\mathbb{F}_{q}$. We show that if $q\geq 8\cdot 10^{12}$ then, for any $a\in \mathbb{F}_{q}$ we can find a primitive element $ξ\in \mathbb{F}_{q^{3}}$ such that $ξ+ ξ^{-1}$ is also a primitive element of $\mathbb{F}_{q^{3}}$, and for which the trace of $ξ$ is equal to $a$. The improves a result of Cohen and Gupta. Along the way we prove a hybridised lower bound on prime divisors in various residue classes, which may be of interest to related existence questions.
A prime $p$ is a Wolstenholme prime if $\binom{2p}{p}\equiv2$ mod $p^4$, or, equivalently, if $p$ divides the numerator of the Bernoulli number $B_{p-3}$; a Vandiver prime $p$ is one that divides the Euler number $E_{p-3}$. Only two Wolstenholme primes and eight Vandiver primes are known. We increase the search range in the first case by a factor of $10$, and show that no additional Wolstenholme primes exist up to $10^{11}$, and in the second case by a factor of $20$, proving that no additional Vandiver primes occur up to this same bound. To facilitate this, we develop a number of new congruences for Bernoulli and Euler numbers mod $p$ that are favorable for computation, and we implement some highly parallel searches using GPUs.
We prove some properties of the sequence $\{a_n\}_{n\ge1}$ defined by $a_n=π(n)-π\bigl(\textstyle\sum_{k=1}^{n-1}a_k\bigr).$
We derive a fully explicit version of the Selberg trace formula for twist-minimal Maass forms of weight 0 and arbitrary conductor and nebentypus character, and apply it to prove two theorems. First, conditional on Artin's conjecture, we classify the even 2-dimensional Artin representations of small conductor; in particular, we show that the even icosahedral representation of smallest conductor is the one found by Doud and Moore, of conductor 1951. Second, we verify the Selberg eigenvalue conjecture for groups of small level, improving on a result of Huxley from 1985.
We prove that the complete L-functions of classical holomorphic newforms have infinitely many simple zeros.