Showing 1–34 of 34 results for author: Booker, A R

Murmurations of Maass forms

Authors: Andrew R. Booker, Min Lee, David Lowry-Duda, Andrei Seymour-Howell, Nina Zubrilina

Abstract: We prove the existence of murmurations in the family of Maass forms of weight 0 and level 1 with their Laplace eigenvalue parameter going to infinity (i.e., correlations between the parity and Hecke eigenvalues at primes growing in proportion to the analytic conductor). We prove the existence of murmurations in the family of Maass forms of weight 0 and level 1 with their Laplace eigenvalue parameter going to infinity (i.e., correlations between the parity and Hecke eigenvalues at primes growing in proportion to the analytic conductor). △ Less

Submitted 1 September, 2024; originally announced September 2024.

MSC Class: 11F30

Murmurations of modular forms in the weight aspect

Authors: Jonathan Bober, Andrew R. Booker, Min Lee, David Lowry-Duda

Abstract: We prove the existence of "murmurations" in the family of holomorphic modular forms of level $1$ and weight $k\to\infty$, that is, correlations between their root numbers and Hecke eigenvalues at primes growing in proportion to the analytic conductor. This is the first demonstration of murmurations in an archimedean family. We prove the existence of "murmurations" in the family of holomorphic modular forms of level $1$ and weight $k\to\infty$, that is, correlations between their root numbers and Hecke eigenvalues at primes growing in proportion to the analytic conductor. This is the first demonstration of murmurations in an archimedean family. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 30 pages

MSC Class: 11F30 (Primary); 11N64 (Secondary)

An extension of Venkatesh's converse theorem to the Selberg class

Authors: Andrew R. Booker, Michael Farmer, Min Lee

Abstract: 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 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. △ Less

Submitted 1 July, 2022; originally announced July 2022.

Comments: 9 pages

MSC Class: 11M36; 11M41

Primitive element pairs with a prescribed trace in the cubic extension of a finite field

Authors: Andrew R. Booker, Stephen D. Cohen, Nicol Leong, Tim Trudgian

Abstract: 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 ove… ▽ More 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$. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Comments: 4 pages

MSC Class: 11T23; 11T30; 12E20

Primitive elements with prescribed traces

Authors: Andrew R. Booker, Stephen D. Cohen, Nicol Leong, Tim Trudgian

Abstract: 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 w… ▽ More 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. △ Less

Submitted 27 March, 2022; v1 submitted 19 December, 2021; originally announced December 2021.

Comments: 13 pages; revised version

MSC Class: 11T23; 11T30; 12E20

Wolstenholme and Vandiver primes

Authors: Andrew R. Booker, Shehzad Hathi, Michael J. Mossinghoff, Timothy S. Trudgian

Abstract: 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 p… ▽ More 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. △ Less

Submitted 27 March, 2022; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 26 pages; to appear in Ramanujan J

MSC Class: 11B68; 11Y40; 11A41

On a question of Mordell

Authors: Andrew R. Booker, Andrew V. Sutherland

Abstract: We make several improvements to methods for finding integer solutions to $x^3+y^3+z^3=k$ for small values of $k$. We implemented these improvements on Charity Engine's global compute grid of 500,000 volunteer PCs and found new representations for several values of $k$, including $k=3$ and $k=42$. This completes the search begun by Miller and Woollett in 1954 and resolves a challenge posed by Morde… ▽ More We make several improvements to methods for finding integer solutions to $x^3+y^3+z^3=k$ for small values of $k$. We implemented these improvements on Charity Engine's global compute grid of 500,000 volunteer PCs and found new representations for several values of $k$, including $k=3$ and $k=42$. This completes the search begun by Miller and Woollett in 1954 and resolves a challenge posed by Mordell in 1953. △ Less

Submitted 2 April, 2021; v1 submitted 2 July, 2020; originally announced July 2020.

Comments: updated to include solution for 579; 15 pages, 2 figures

MSC Class: 11Y50 (Primary) 11D25 (Secondary)

Journal ref: Proceedings of the National Academy of Sciences, 118 (2021), no. 11, e202222377118

On a recursively defined sequence involving the prime counting function

Authors: Altug Alkan, Andrew R. Booker, Florian Luca

Abstract: 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 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).$ △ Less

Submitted 14 June, 2020; originally announced June 2020.

Computing classical modular forms

Authors: Alex J. Best, Jonathan Bober, Andrew R. Booker, Edgar Costa, John Cremona, Maarten Derickx, Min Lee, David Lowry-Duda, David Roe, Andrew V. Sutherland, John Voight

Abstract: 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 discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB). △ Less

Submitted 28 May, 2022; v1 submitted 11 February, 2020; originally announced February 2020.

Comments: 63 pages; minor edits, including a correction to Conjecture 8.5.1

Journal ref: Arithmetic Geometry, Number Theory, and Computation, Simons Symp. (2021), 131-213

Cracking the problem with 33

Authors: Andrew R. Booker

Abstract: Inspired by the Numberphile video "The uncracked problem with 33" by Tim Browning and Brady Haran, we investigate solutions to $x^3+y^3+z^3=k$ for a few small values of $k$. We find the first known solution for $k=33$. Inspired by the Numberphile video "The uncracked problem with 33" by Tim Browning and Brady Haran, we investigate solutions to $x^3+y^3+z^3=k$ for a few small values of $k$. We find the first known solution for $k=33$. △ Less

Submitted 18 March, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 6 pages, submitted. Further searches that are in progress will be reported elsewhere

Test vectors for Rankin-Selberg $L$-functions

Authors: Andrew R. Booker, M. Krishnamurthy, Min Lee

Abstract: We study the local zeta integrals attached to a pair of generic representations $(π,τ)$ of $GL_n\times GL_m$, $n>m$, over a $p$-adic field. Through a process of unipotent averaging we produce a pair of corresponding Whittaker functions whose zeta integral is non-zero, and we express this integral in terms of the Langlands parameters of $π$ and $τ$. In many cases, these Whittaker functions also ser… ▽ More We study the local zeta integrals attached to a pair of generic representations $(π,τ)$ of $GL_n\times GL_m$, $n>m$, over a $p$-adic field. Through a process of unipotent averaging we produce a pair of corresponding Whittaker functions whose zeta integral is non-zero, and we express this integral in terms of the Langlands parameters of $π$ and $τ$. In many cases, these Whittaker functions also serve as a test vector for the associated Rankin-Selberg (local) $L$-function. △ Less

Submitted 8 March, 2019; originally announced March 2019.

Comments: arXiv admin note: text overlap with arXiv:1804.07721

MSC Class: 11F70; 11F66

Quantitative estimates for simple zeros of L-functions

Authors: Andrew R. Booker, Micah B. Milinovich, Nathan Ng

Abstract: We generalize a method of Conrey and Ghosh (Invent. Math. 94 (1988)) to prove quantitative estimates for simple zeros of modular form L-functions of arbitrary conductor. We generalize a method of Conrey and Ghosh (Invent. Math. 94 (1988)) to prove quantitative estimates for simple zeros of modular form L-functions of arbitrary conductor. △ Less

Submitted 10 November, 2018; v1 submitted 5 June, 2018; originally announced June 2018.

Comments: 19 pages, to appear in Mathematika

Journal ref: Mathematika 65 (2019) 375-399

New integral representations for Rankin-Selberg L-functions

Authors: Andrew R. Booker, Muthu Krishnamurthy, Min Lee

Abstract: We derive integral representations for the Rankin-Selberg L-functions on GL(3) x GL(1) and GL(3) x GL(2) by a process of unipotent averaging at archimedean places. A key feature of our result is that it allows one to fix the choice of test vector at finite places, irrespective of ramification. This enables a new proof of the functional equation for GL(3) x GL(2) Rankin-Selberg L-functions in many… ▽ More We derive integral representations for the Rankin-Selberg L-functions on GL(3) x GL(1) and GL(3) x GL(2) by a process of unipotent averaging at archimedean places. A key feature of our result is that it allows one to fix the choice of test vector at finite places, irrespective of ramification. This enables a new proof of the functional equation for GL(3) x GL(2) Rankin-Selberg L-functions in many cases. △ Less

Submitted 14 September, 2018; v1 submitted 20 April, 2018; originally announced April 2018.

Comments: 29 pages

MSC Class: 11F66; 11F70

Twist-minimal trace formulas and the Selberg eigenvalue conjecture

Authors: Andrew R. Booker, Min Lee, Andreas Strömbergsson

Abstract: 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… ▽ More 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. △ Less

Submitted 17 April, 2020; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: 64 pages, to appear in JLMS

Primitive values of quadratic polynomials in a finite field

Authors: Andrew R. Booker, Stephen D. Cohen, Nicole Sutherland, Tim Trudgian

Abstract: We prove that for all $q>211$, there always exists a primitive root $g$ in the finite field $\mathbb{F}_{q}$ such that $Q(g)$ is also a primitive root, where $Q(x)= ax^2 + bx + c$ is a quadratic polynomial with $a, b, c\in \mathbb{F}_{q}$ such that $b^{2} - 4ac \neq 0$. We prove that for all $q>211$, there always exists a primitive root $g$ in the finite field $\mathbb{F}_{q}$ such that $Q(g)$ is also a primitive root, where $Q(x)= ax^2 + bx + c$ is a quadratic polynomial with $a, b, c\in \mathbb{F}_{q}$ such that $b^{2} - 4ac \neq 0$. △ Less

Submitted 22 March, 2018; v1 submitted 4 March, 2018; originally announced March 2018.

Comments: 12 pages; code available at https://arxiv.boxedpaper.com/src/1803.01435v2/anc/

MSC Class: 11T30; 11Y16

Simple zeros of automorphic $L$-functions

Authors: Andrew R. Booker, Peter J. Cho, Myoungil Kim

Abstract: We prove that the complete $L$-function associated to any cuspidal automorphic representation of $GL_2(\mathbb{A}_{\mathbb Q})$ has infinitely many simple zeros. We prove that the complete $L$-function associated to any cuspidal automorphic representation of $GL_2(\mathbb{A}_{\mathbb Q})$ has infinitely many simple zeros. △ Less

Submitted 25 January, 2019; v1 submitted 5 February, 2018; originally announced February 2018.

MSC Class: 11F66; 11M41

Journal ref: Compositio Math. 155 (2019) 1224-1243

A note on Maass forms of icosahedral type

Authors: Andrew R. Booker

Abstract: Using ideas of Ramakrishnan, we consider the icosahedral analogue of the theorems of Sarnak and Brumley on Hecke-Maass newforms with Fourier coefficients in a quadratic order. Although we are unable to conclude the existence of an associated Galois representation in this case, we show that one can deduce some implications of such an association, including weak automorphy of all symmetric powers an… ▽ More Using ideas of Ramakrishnan, we consider the icosahedral analogue of the theorems of Sarnak and Brumley on Hecke-Maass newforms with Fourier coefficients in a quadratic order. Although we are unable to conclude the existence of an associated Galois representation in this case, we show that one can deduce some implications of such an association, including weak automorphy of all symmetric powers and the value distribution of Fourier coefficients predicted by the Chebotarev density theorem. △ Less

Submitted 7 September, 2018; v1 submitted 19 December, 2017; originally announced December 2017.

Comments: 9 pages, to appear in Mathematische Zeitschrift

Turing's method for the Selberg zeta-function

Authors: Andrew R. Booker, David J. Platt

Abstract: In one of his final research papers, Alan Turing introduced a method to certify the completeness of a purported list of zeros of the Riemann zeta-function. In this paper we consider Turing's method in the analogous setting of Selberg zeta-functions, and we demonstrate that it can be carried out rigorously in the prototypical case of the modular surface. In one of his final research papers, Alan Turing introduced a method to certify the completeness of a purported list of zeros of the Riemann zeta-function. In this paper we consider Turing's method in the analogous setting of Selberg zeta-functions, and we demonstrate that it can be carried out rigorously in the prototypical case of the modular surface. △ Less

Submitted 21 July, 2018; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: 33 pages, to appear in Communications in Mathematical Physics

Subconvexity for modular form L-functions in the t aspect

Authors: Andrew R. Booker, Micah B. Milinovich, Nathan Ng

Abstract: Modifying a method of Jutila, we prove a t aspect subconvexity estimate for L-functions associated to primitive holomorphic cusp forms of arbitrary level that is of comparable strength to Good's bound for the full modular group, thus resolving a problem that has been open for 35 years. A key innovation in our proof is a general form of Voronoi summation that applies to all fractions, even when the… ▽ More Modifying a method of Jutila, we prove a t aspect subconvexity estimate for L-functions associated to primitive holomorphic cusp forms of arbitrary level that is of comparable strength to Good's bound for the full modular group, thus resolving a problem that has been open for 35 years. A key innovation in our proof is a general form of Voronoi summation that applies to all fractions, even when the level is not squarefree. △ Less

Submitted 23 October, 2018; v1 submitted 5 July, 2017; originally announced July 2017.

Comments: minor revisions; to appear in Adv. Math.; 30 pages

Journal ref: Adv. Math. 341 (2019), 299--335

A conjectural extension of Hecke's converse theorem

Authors: Sandro Bettin, Jonathan W. Bober, Andrew R. Booker, Brian Conrey, Min Lee, Giuseppe Molteni, Thomas Oliver, David J. Platt, Raphael S. Steiner

Abstract: We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses. We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses. △ Less

Submitted 27 September, 2017; v1 submitted 9 April, 2017; originally announced April 2017.

Comments: 21 pages, to appear in The Ramanujan Journal

Rapid computation of $L$-functions attached to Maass forms

Authors: Andrew R. Booker, Holger Then

Abstract: Let $L$ be a degree-$2$ $L$-function associated to a Maass cusp form. We explore an algorithm that evaluates $t$ values of $L$ on the critical line in time $O(t^{1+\varepsilon})$. We use this algorithm to rigorously compute an abundance of consecutive zeros and investigate their distribution. Let $L$ be a degree-$2$ $L$-function associated to a Maass cusp form. We explore an algorithm that evaluates $t$ values of $L$ on the critical line in time $O(t^{1+\varepsilon})$. We use this algorithm to rigorously compute an abundance of consecutive zeros and investigate their distribution. △ Less

Submitted 26 March, 2017; originally announced March 2017.

Journal ref: Int. J. Number Theory 14 (2018) 1459--1485

A converse theorem without root numbers

Authors: Andrew R. Booker

Abstract: We answer a challenge posed in (Math. Ann. 363 (2015), no. 1-2, 423-454) by proving a version of Weil's converse theorem that assumes a functional equation for character twists but allows their root numbers to vary arbitrarily. We answer a challenge posed in (Math. Ann. 363 (2015), no. 1-2, 423-454) by proving a version of Weil's converse theorem that assumes a functional equation for character twists but allows their root numbers to vary arbitrarily. △ Less

Submitted 15 March, 2019; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 10 pages, to appear in Mathematika

Journal ref: Mathematika 65 (2019) 862-873

Finite connected components of the aliquot graph

Authors: Andrew R. Booker

Abstract: Conditional on a strong form of the Goldbach conjecture, we determine all finite connected components of the aliquot graph containing a number less than $10^9$, as well as those containing an amicable pair below $10^{14}$ or one of the known perfect or sociable cycles below $10^{17}$. Along the way we develop a fast algorithm for computing the inverse image of an even number under the sum-of-prope… ▽ More Conditional on a strong form of the Goldbach conjecture, we determine all finite connected components of the aliquot graph containing a number less than $10^9$, as well as those containing an amicable pair below $10^{14}$ or one of the known perfect or sociable cycles below $10^{17}$. Along the way we develop a fast algorithm for computing the inverse image of an even number under the sum-of-proper-divisors function. △ Less

Submitted 15 June, 2017; v1 submitted 24 October, 2016; originally announced October 2016.

Comments: 10 pages, to appear in Mathematics of Computation

Squarefree smooth numbers and Euclidean prime generators

Authors: Andrew R. Booker, Carl Pomerance

Abstract: We show that for each prime p > 7, every residue mod p can be represented by a squarefree number with largest prime factor at most p. We give two applications to recursive prime generators akin to the one Euclid used to prove the infinitude of primes. We show that for each prime p > 7, every residue mod p can be represented by a squarefree number with largest prime factor at most p. We give two applications to recursive prime generators akin to the one Euclid used to prove the infinitude of primes. △ Less

Submitted 10 April, 2017; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: 8 pages, to appear in Proceedings of the AMS

MSC Class: 11A41 (Primary) 11A15; 11B25; 11L40 (Secondary)

A variant of the Euclid-Mullin sequence containing every prime

Authors: Andrew R. Booker

Abstract: We consider a generalization of Euclid's proof of the infinitude of primes and show that it leads to variants of the Euclid-Mullin sequence that provably contain every prime number. We consider a generalization of Euclid's proof of the infinitude of primes and show that it leads to variants of the Euclid-Mullin sequence that provably contain every prime number. △ Less

Submitted 28 May, 2016; originally announced May 2016.

Comments: 5 pages, submitted

Journal ref: Journal of Integer Sequences, Volume 19 (2016), Article 16.6.4

A database of genus 2 curves over the rational numbers

Authors: Andrew R. Booker, Jeroen Sijsling, Andrew V. Sutherland, John Voight, Dan Yasaki

Abstract: We describe the construction of a database of genus 2 curves of small discriminant that includes geometric and arithmetic invariants of each curve, its Jacobian, and the associated L-function. This data has been incorporated into the L-Functions and Modular Forms Database (LMFDB). We describe the construction of a database of genus 2 curves of small discriminant that includes geometric and arithmetic invariants of each curve, its Jacobian, and the associated L-function. This data has been incorporated into the L-Functions and Modular Forms Database (LMFDB). △ Less

Submitted 4 December, 2017; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: 15 pages, 7 tables; bibliography formatting and typos fixed

Journal ref: LMS J. Comput. Math. 19 (2016) 235-254

The Selberg trace formula as a Dirichlet series

Authors: Andrew R. Booker, Min Lee

Abstract: We explore an idea of Conrey and Li of expressing the Selberg trace formula as a Dirichlet series. We describe two applications, including an interpretation of the Selberg eigenvalue conjecture in terms of quadratic twists of certain Dirichlet series, and a formula for an arithmetically weighted sum of the complete symmetric square L-functions associated to cuspidal Maass newforms of squarefree le… ▽ More We explore an idea of Conrey and Li of expressing the Selberg trace formula as a Dirichlet series. We describe two applications, including an interpretation of the Selberg eigenvalue conjecture in terms of quadratic twists of certain Dirichlet series, and a formula for an arithmetically weighted sum of the complete symmetric square L-functions associated to cuspidal Maass newforms of squarefree level N>1. △ Less

Submitted 19 June, 2016; v1 submitted 14 September, 2015; originally announced September 2015.

The Euclid-Mullin graph

Authors: Andrew R. Booker, Sean A. Irvine

Abstract: We introduce the Euclid-Mullin graph, which encodes all instances of Euclid's proof of the infinitude of primes. We investigate structural properties of the graph both theoretically and numerically; in particular, we prove that it is not a tree. We introduce the Euclid-Mullin graph, which encodes all instances of Euclid's proof of the infinitude of primes. We investigate structural properties of the graph both theoretically and numerically; in particular, we prove that it is not a tree. △ Less

Submitted 6 March, 2016; v1 submitted 12 August, 2015; originally announced August 2015.

Comments: 24 pages, 2 figures, to appear in Journal of Number Theory

L-functions as distributions

Authors: Andrew R. Booker

Abstract: We define an axiomatic class of L-functions extending the Selberg class. We show in particular that one can recast the traditional conditions of an Euler product, analytic continuation and functional equation in terms of distributional identities akin to Weil's explicit formula. The generality of our approach enables some new applications; for instance, we show that the L-function of any cuspidal… ▽ More We define an axiomatic class of L-functions extending the Selberg class. We show in particular that one can recast the traditional conditions of an Euler product, analytic continuation and functional equation in terms of distributional identities akin to Weil's explicit formula. The generality of our approach enables some new applications; for instance, we show that the L-function of any cuspidal automorphic representation of GL_3(A_Q) has infinitely many zeros of odd order. △ Less

Submitted 13 February, 2015; v1 submitted 14 August, 2013; originally announced August 2013.

Comments: The final publication is available at Springer via http://dx.doi.org/10.1007/s00208-015-1178-z

Zeros of L-functions outside the critical strip

Authors: Andrew R. Booker, Frank Thorne

Abstract: For a wide class of Dirichlet series associated to automorphic forms, we show that those without Euler products must have zeros within the region of absolute convergence. For instance, we prove that if f is a classical holomorphic modular form whose L-function does not vanish for Re(s) > (k+1)/2, then f is a Hecke eigenform. Our proof adapts and extends work of Saias and Weingartner, who proved a… ▽ More For a wide class of Dirichlet series associated to automorphic forms, we show that those without Euler products must have zeros within the region of absolute convergence. For instance, we prove that if f is a classical holomorphic modular form whose L-function does not vanish for Re(s) > (k+1)/2, then f is a Hecke eigenform. Our proof adapts and extends work of Saias and Weingartner, who proved a similar result for degree 1 L-functions. △ Less

Submitted 18 June, 2018; v1 submitted 26 June, 2013; originally announced June 2013.

Comments: Includes a footnote, not appearing in the published paper, summarizing a (minor) correction to appear in the same journal

Journal ref: Algebra Number Theory 8 (2014) 2027-2042

Detecting squarefree numbers

Authors: Andrew R. Booker, Ghaith A. Hiary, Jon P. Keating

Abstract: We present an algorithm, based on the explicit formula for $L$-functions and conditional on GRH, for proving that a given integer is squarefree with little or no knowledge of its factorization. We analyze the algorithm both theoretically and practically, and use it to prove that several RSA challenge numbers are not squarefull. We present an algorithm, based on the explicit formula for $L$-functions and conditional on GRH, for proving that a given integer is squarefree with little or no knowledge of its factorization. We analyze the algorithm both theoretically and practically, and use it to prove that several RSA challenge numbers are not squarefull. △ Less

Submitted 5 January, 2015; v1 submitted 25 April, 2013; originally announced April 2013.

Comments: 31 pages, 3 figures, latest version

Journal ref: Duke Math. J. 164, no. 2 (2015), 235-275

Simple zeros of degree 2 L-functions

Authors: Andrew R. Booker

Abstract: We prove that the complete L-functions of classical holomorphic newforms have infinitely many simple zeros. We prove that the complete L-functions of classical holomorphic newforms have infinitely many simple zeros. △ Less

Submitted 29 November, 2012; originally announced November 2012.

Comments: 9 pages, submitted

MSC Class: 11F66

On Mullin's second sequence of primes

Authors: Andrew R. Booker

Abstract: We consider the second of Mullin's sequences of prime numbers related to Euclid's proof that there are infinitely many primes. We show in particular that it omits infinitely many primes, confirming a conjecture of Cox and van der Poorten. We consider the second of Mullin's sequences of prime numbers related to Euclid's proof that there are infinitely many primes. We show in particular that it omits infinitely many primes, confirming a conjecture of Cox and van der Poorten. △ Less

Submitted 14 August, 2013; v1 submitted 17 July, 2011; originally announced July 2011.

Comments: 8 pages; Integers 12A (2012), article A4

Artin's conjecture, Turing's method and the Riemann hypothesis

Authors: Andrew R. Booker

Abstract: We present a group-theoretic criterion under which one may verify the Artin conjecture for some (non-monomial) Galois representations, up to finite height in the complex plane. In particular, the criterion applies to S5 and A5 representations. Under more general conditions, the technique allows for the possibility of verifying the Riemann hypothesis for Dedekind zeta functions of non-abelian ext… ▽ More We present a group-theoretic criterion under which one may verify the Artin conjecture for some (non-monomial) Galois representations, up to finite height in the complex plane. In particular, the criterion applies to S5 and A5 representations. Under more general conditions, the technique allows for the possibility of verifying the Riemann hypothesis for Dedekind zeta functions of non-abelian extensions of Q. In addition, we discuss two methods for locating zeros of arbitrary L-functions. The first uses the explicit formula and techniques (developed jointly with Andreas Strombergsson) for computing with trace formulae. The second method generalizes that of Turing for verifying the Riemann hypothesis. In order to apply it we develop a rigorous algorithm for computing general L-functions on the critical line via the Fast Fourier Transform. Finally, we present some numerical results testing Artin's conjecture for S5 representations, and the Riemann hypothesis for Dedekind zeta functions of S5 and A5 fields. △ Less

Submitted 25 July, 2005; originally announced July 2005.

Comments: 37 pages, 5 figures

MSC Class: 11M26

Journal ref: Experimental Mathematics 15 (2006), no. 4, 385-407