Showing 1–50 of 50 results for author: Young, M P

The second moment of the $GL_3$ standard $L$-function on the critical line

Authors: Agniva Dasgupta, Wing Hong Leung, Matthew P. Young

Abstract: We obtain a strong bound on the second moment of the $GL_3$ standard $L$-function on the critical line. The method builds on the recent work of Aggarwal, Leung, and Munshi which treated shorter intervals. We deduce some corollaries including an improvement on the error term in the Rankin-Selberg problem, and on certain subconvexity bounds for $GL_3 \times GL_2$ and $GL_3$ $L$-functions. As a bypro… ▽ More We obtain a strong bound on the second moment of the $GL_3$ standard $L$-function on the critical line. The method builds on the recent work of Aggarwal, Leung, and Munshi which treated shorter intervals. We deduce some corollaries including an improvement on the error term in the Rankin-Selberg problem, and on certain subconvexity bounds for $GL_3 \times GL_2$ and $GL_3$ $L$-functions. As a byproduct of the method of proof, we also obtain an estimate for an average of shifted convolution sums of $GL_3$ Fourier coefficients. △ Less

Submitted 9 July, 2024; originally announced July 2024.

MSC Class: 11M41; 11F66

Large Values of Newform Dedekind Sums

Authors: Georgia Corbett, Matthew P. Young

Abstract: We study a generalized Dedekind sum $S_{χ_1,χ_2}(a,c)$ attached to newform Eisenstein series $E_{χ_1,χ_2}(z,s)$. Our work shows the Dedekind sum is rarely substantially larger than $\log^3 c$. The method of proof first relates the size of the Dedekind sum to continued fractions. A result of Hensley from 1991 then controls the average size of the maximal partial quotient in the continued fraction e… ▽ More We study a generalized Dedekind sum $S_{χ_1,χ_2}(a,c)$ attached to newform Eisenstein series $E_{χ_1,χ_2}(z,s)$. Our work shows the Dedekind sum is rarely substantially larger than $\log^3 c$. The method of proof first relates the size of the Dedekind sum to continued fractions. A result of Hensley from 1991 then controls the average size of the maximal partial quotient in the continued fraction expansion of $a/c$. We complement this result by computing approximate values of the Dedekind sum in some special cases, which in particular produces examples of large values of the Dedekind sum. △ Less

Submitted 30 April, 2024; originally announced May 2024.

Comments: 9 pages

MSC Class: 11F20

Asymptotic second moment of Dirichlet $L$-functions along a thin coset

Authors: Bradford Garcia, Matthew P. Young

Abstract: We prove an asymptotic formula for the second moment of central values of Dirichlet $L$-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo $d$ inside the full group of characters modulo $q$. Suppose that $ν_p(d) \geq ν_p(q)/2$ for all primes $p$ dividing $q$. In this range, we obtain an asymptotic formula with a power-saving error term; curiou… ▽ More We prove an asymptotic formula for the second moment of central values of Dirichlet $L$-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo $d$ inside the full group of characters modulo $q$. Suppose that $ν_p(d) \geq ν_p(q)/2$ for all primes $p$ dividing $q$. In this range, we obtain an asymptotic formula with a power-saving error term; curiously, there is a secondary main term of rough size $q^{1/2}$ here which is not predicted by the integral moments conjecture of Conrey, Farmer, Keating, Rubinstein, and Snaith. The lower-order main term does not appear in the second moment of the Riemann zeta function, so this feature is not anticipated from the analogous archimedean moment problem. We also obtain an asymptotic result for smaller $d$, with $ν_p(q)/3 \leq ν_p(d) \leq ν_p(q)/2$, with a power-saving error term for $d$ larger than $q^{2/5}$. In this more difficult range, the secondary main term somewhat changes its form and may have size roughly $d$, which is only slightly smaller than the diagonal main term. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 18 pages

MSC Class: 11M06

Vanishing of Quartic and Sextic Twists of $L$-functions

Authors: Jennifer Berg, Nathan C. Ryan, Matthew P. Young

Abstract: Let $E$ be an elliptic curve over $\mathbf{Q}$. We conjecture asymptotic estimates for the number of vanishings of $L(E,1,χ)$ as $χ$ varies over all primitive Dirichlet characters of orders 4 and 6, subject to a mild hypothesis on $E$. Our conjectures about these families come from conjectures about random unitary matrices as predicted by the philosophy of Katz-Sarnak. We support our conjectures w… ▽ More Let $E$ be an elliptic curve over $\mathbf{Q}$. We conjecture asymptotic estimates for the number of vanishings of $L(E,1,χ)$ as $χ$ varies over all primitive Dirichlet characters of orders 4 and 6, subject to a mild hypothesis on $E$. Our conjectures about these families come from conjectures about random unitary matrices as predicted by the philosophy of Katz-Sarnak. We support our conjectures with numerical evidence. Earlier work by David, Fearnley and Kisilevsky formulates analogous conjectures for characters of any odd prime order. In the composite order case, however, we need to justify our use of random matrix theory heuristics by analyzing the equidistribution of the squares of normalized Gauss sums. Along the way we introduce the notion of totally order $\ell$ characters to quantify how quickly quartic and sextic Gauss sums become equidistributed. Surprisingly, the rate of equidistribution in the full family of quartic (sextic, resp.) characters is much slower than in the sub-family of totally quartic (sextic, resp.) characters. A conceptual explanation for this phenomenon is that the full family of order $\ell$ twisted elliptic curve $L$-functions, with $\ell$ even and composite, is a mixed family with both unitary and orthogonal aspects. △ Less

Submitted 22 January, 2023; v1 submitted 12 January, 2023; originally announced January 2023.

Comments: 31 pages, 5 figures

MSC Class: 11M41; 11M50

The large sieve for self-dual Eisenstein series of varying levels

Authors: Matthew P Young

Abstract: We prove an essentially optimal large sieve inequality for self-dual Eisenstein series of varying levels. This bound can alternatively be interpreted as a large sieve inequality for rationals ordered by height. The method of proof is recursive, and has some elements in common with Heath-Brown's quadratic large sieve, and the asymptotic large sieve of Conrey, Iwaniec, and Soundararajan. We prove an essentially optimal large sieve inequality for self-dual Eisenstein series of varying levels. This bound can alternatively be interpreted as a large sieve inequality for rationals ordered by height. The method of proof is recursive, and has some elements in common with Heath-Brown's quadratic large sieve, and the asymptotic large sieve of Conrey, Iwaniec, and Soundararajan. △ Less

Submitted 1 January, 2024; v1 submitted 5 August, 2022; originally announced August 2022.

Comments: 40 pages. v2: refereed version implementing various corrections. Accepted for publication by Acta Arithmetica, special issue in honor of Henryk Iwaniec

MSC Class: 11M06; 11N75

On the spectral large sieve inequality for symmetric-squares

Authors: Matthew P Young

Abstract: We improve on the spectral large sieve inequality for symmetric-squares. We also prove a lower bound showing that the most optimistic upper bound is not true for this family. We improve on the spectral large sieve inequality for symmetric-squares. We also prove a lower bound showing that the most optimistic upper bound is not true for this family. △ Less

Submitted 16 May, 2022; originally announced May 2022.

Comments: 16 pages

Reciprocity and the Kernel of Dedekind Sums

Authors: Alexis LaBelle, Emily Van Bergeyk, Matthew P. Young

Abstract: We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums. We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums. △ Less

Submitted 23 October, 2021; originally announced October 2021.

Comments: 9 pages, 2 figures

MSC Class: 11F20

An improved spectral large sieve inequality for $SL_3(\mathbb{Z})$

Authors: Matthew P. Young

Abstract: We prove an improved spectral large sieve inequality for the family of $SL_3(\mathbb{Z})$ Hecke-Maass cusp forms. The method of proof uses duality and its structure reveals unexpected connections to Heath-Brown's large sieve for cubic characters. We prove an improved spectral large sieve inequality for the family of $SL_3(\mathbb{Z})$ Hecke-Maass cusp forms. The method of proof uses duality and its structure reveals unexpected connections to Heath-Brown's large sieve for cubic characters. △ Less

Submitted 4 February, 2021; originally announced February 2021.

Comments: 11 pages

Moments and hybrid subconvexity for symmetric-square L-functions

Authors: Rizwanur Khan, Matthew P. Young

Abstract: We establish sharp bounds for the second moment of symmetric-square $L$-functions attached to Hecke Maass cusp forms $u_j$ with spectral parameter $t_j$, where the second moment is a sum over $t_j$ in a short interval. At the central point $s=1/2$ of the $L$-function, our interval is smaller than previous known results. More specifically, for $|t_j|$ of size $T$, our interval is of size $T^{1/5}$,… ▽ More We establish sharp bounds for the second moment of symmetric-square $L$-functions attached to Hecke Maass cusp forms $u_j$ with spectral parameter $t_j$, where the second moment is a sum over $t_j$ in a short interval. At the central point $s=1/2$ of the $L$-function, our interval is smaller than previous known results. More specifically, for $|t_j|$ of size $T$, our interval is of size $T^{1/5}$, while the previous best was $T^{1/3}$ from work of Lam. A little higher up on the critical line, our second moment yields a subconvexity bound for the symmetric-square $L$-function. More specifically, we get subconvexity at $s=1/2+it$ provided $|t_j|^{6/7+δ}\le |t| \le (2-δ)|t_j|$ for any fixed $δ>0$. Since $|t|$ can be taken significantly smaller than $|t_j|$, this may be viewed as an approximation to the notorious subconvexity problem for the symmetric-square $L$-function in the spectral aspect at $s=1/2$. △ Less

Submitted 31 August, 2022; v1 submitted 17 September, 2020; originally announced September 2020.

The kernel of newform Dedekind sums

Authors: Evuilynn Nguyen, Juan J. Ramirez, Matthew P. Young

Abstract: Newform Dedekind sums are a class of crossed homomorphisms that arise from newform Eisenstein series. We initiate a study of the kernel of these newform Dedekind sums. Our results can be loosely described as showing that these kernels are neither "too big" nor "too small." We conclude with an observation about the Galois action on Dedekind sums that allows for significant computational efficiency… ▽ More Newform Dedekind sums are a class of crossed homomorphisms that arise from newform Eisenstein series. We initiate a study of the kernel of these newform Dedekind sums. Our results can be loosely described as showing that these kernels are neither "too big" nor "too small." We conclude with an observation about the Galois action on Dedekind sums that allows for significant computational efficiency in the numerical calculation of Dedekind sums. △ Less

Submitted 13 August, 2020; originally announced August 2020.

Comments: 8+epsilon pages, 2 figures

MSC Class: 11F20

Quantum Unique Ergodicity for Eisenstein Series in the Level Aspect

Authors: Jiakun Pan, Matthew P. Young

Abstract: We prove a variety of quantum unique ergodicity results for Eisenstein series in the level aspect. A new feature of this variant of QUE is that the main term involves the logarithmic derivative of a Dirichlet $L$-function on the $1$-line. A zero of this $L$-function near the $1$-line can thus have a distorting effect on the main term. We obtain quantitative control on the test function and there… ▽ More We prove a variety of quantum unique ergodicity results for Eisenstein series in the level aspect. A new feature of this variant of QUE is that the main term involves the logarithmic derivative of a Dirichlet $L$-function on the $1$-line. A zero of this $L$-function near the $1$-line can thus have a distorting effect on the main term. We obtain quantitative control on the test function and thereby prove an asymptotic formula in the level aspect version of the problem with test functions of shrinking support. Surprisingly, this asymptotic formula shows some obstruction to equidistribution that may retrospectively be interpreted as being caused by the growth of Eisenstein series in the cusps. We also make some coarse descriptions on the unevenness of the mass distribution of level $N$ Eisenstein series on the fibers of the canonical projection map from $Y_0(N)$ to $Y_0(1)$. △ Less

Submitted 15 January, 2021; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: Multiple updates thanks to the referees

MSC Class: 11F41

The fourth moment of Dirichlet $L$-functions along a coset and the Weyl bound

Authors: Ian Petrow, Matthew P. Young

Abstract: We prove a Lindelöf-on-average upper bound for the fourth moment of Dirichlet $L$-functions of conductor $q$ along a coset of the subgroup of characters modulo $d$ when $q^*|d$, where $q^*$ is the least positive integer such that $q^2|(q^*)^3$. As a consequence, we finish the previous work of the authors and establish a Weyl-strength subconvex bound for all Dirichlet $L$-functions with no restrict… ▽ More We prove a Lindelöf-on-average upper bound for the fourth moment of Dirichlet $L$-functions of conductor $q$ along a coset of the subgroup of characters modulo $d$ when $q^*|d$, where $q^*$ is the least positive integer such that $q^2|(q^*)^3$. As a consequence, we finish the previous work of the authors and establish a Weyl-strength subconvex bound for all Dirichlet $L$-functions with no restrictions on the conductor. △ Less

Submitted 5 June, 2022; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: One sentence in section 1.5 deleted. To appear in Duke Math. J

MSC Class: 11M06 (primary) 11F11 11F12 11F66

Dedekind sums arising from newform Eisenstein series

Authors: Tristie Stucker, Amy Vennos, Matthew P. Young

Abstract: For primitive non-trivial Dirichlet characters $χ_1$ and $χ_2$, we study the weight zero newform Eisenstein series $E_{χ_1,χ_2}(z,s)$ at $s=1$. The holomorphic part of this function has a transformation rule that we express in finite terms as a generalized Dedekind sum. This gives rise to the explicit construction (in finite terms) of elements of $H^1(Γ_0(N), \mathbb{C})$. We also give a short pro… ▽ More For primitive non-trivial Dirichlet characters $χ_1$ and $χ_2$, we study the weight zero newform Eisenstein series $E_{χ_1,χ_2}(z,s)$ at $s=1$. The holomorphic part of this function has a transformation rule that we express in finite terms as a generalized Dedekind sum. This gives rise to the explicit construction (in finite terms) of elements of $H^1(Γ_0(N), \mathbb{C})$. We also give a short proof of the reciprocity formula for this Dedekind sum. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Comments: 9 pages

MSC Class: 11F20

The Weyl bound for Dirichlet $L$-functions of cube-free conductor

Authors: Ian Petrow, Matthew P. Young

Abstract: We prove a Weyl-exponent subconvex bound for any Dirichlet $L$-function of cube-free conductor. We also show a bound of the same strength for certain $L$-functions of self-dual $\mathrm{GL}_2$ automorphic forms that arise as twists of forms of smaller conductor. We prove a Weyl-exponent subconvex bound for any Dirichlet $L$-function of cube-free conductor. We also show a bound of the same strength for certain $L$-functions of self-dual $\mathrm{GL}_2$ automorphic forms that arise as twists of forms of smaller conductor. △ Less

Submitted 15 June, 2020; v1 submitted 6 November, 2018; originally announced November 2018.

Comments: Final version, to appear in Annals of Mathematics. We fixed a gap in the proof of the character sum estimate in section 9 using Deligne's semicontinuity theorem

MSC Class: 11M06 11F11 11F12 11F66

Equidistribution of Eisenstein series on geodesic segments

Authors: Matthew P Young

Abstract: We show an asymptotic formula for the L^2 norm of the Eisenstein series restricted to a segment of a geodesic connecting infinity and an arbitrary real. For generic geodesics of this form, the asymptotic formula shows that the Eisenstein series satisfies restricted QUE. On the other hand, for rational geodesics, the Eisenstein series does not satisfy restricted quantum ergodicity. As an applicat… ▽ More We show an asymptotic formula for the L^2 norm of the Eisenstein series restricted to a segment of a geodesic connecting infinity and an arbitrary real. For generic geodesics of this form, the asymptotic formula shows that the Eisenstein series satisfies restricted QUE. On the other hand, for rational geodesics, the Eisenstein series does not satisfy restricted quantum ergodicity. As an application, we show that the zero set of the Eisenstein series intersects every such geodesic segment, provided the spectral parameter is large. We also make analogous conjectures for the Maass cusp forms. In particular, we predict that cusp forms do not satisfy restricted quantum ergodicity for rational geodesics. △ Less

Submitted 19 October, 2018; v1 submitted 10 November, 2017; originally announced November 2017.

Comments: 41 pages. This paper proves the main conjecture from my earlier preprint arXiv:1508.01470, which is now superseded. v2: Improved the exposition, added conjectures on the cusp forms. v3: corrected a sign error in (1.6) and (1.9). Accepted for publication in Advances in Mathematics

Explicit calculations with Eisenstein series

Authors: Matthew P Young

Abstract: We find explicit change-of-basis formulas between Eisenstein series attached to cusps, and newform Eisenstein series attached to pairs of primitive Dirichlet characters. As a consequence, we prove a Bruggeman-Kuznetsov formula for newforms of square-free level and trivial nebentypus. We also derive, in explicit form, the Fourier expansion, Hecke eigenvalues, Atkin-Lehner pseudo-eigenvalues, and… ▽ More We find explicit change-of-basis formulas between Eisenstein series attached to cusps, and newform Eisenstein series attached to pairs of primitive Dirichlet characters. As a consequence, we prove a Bruggeman-Kuznetsov formula for newforms of square-free level and trivial nebentypus. We also derive, in explicit form, the Fourier expansion, Hecke eigenvalues, Atkin-Lehner pseudo-eigenvalues, and other data associated to these Eisenstein series, with arbitrary integer weight, level, and nebentypus. △ Less

Submitted 3 November, 2017; v1 submitted 10 October, 2017; originally announced October 2017.

Comments: 37 pages. v2: implements some corrections and improvements to exposition

Oscillatory integrals with uniformity in parameters

Authors: Eren Mehmet Kiral, Ian Petrow, Matthew P. Young

Abstract: We prove a sharp asymptotic formula for certain oscillatory integrals that may be approached using the stationary phase method. The estimates are uniform in terms of auxiliary parameters, which is crucial for application in analytic number theory. We prove a sharp asymptotic formula for certain oscillatory integrals that may be approached using the stationary phase method. The estimates are uniform in terms of auxiliary parameters, which is crucial for application in analytic number theory. △ Less

Submitted 28 June, 2019; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: Final version. To appear in Journal de Théorie des Nombres de Bordeaux. Portions of this work originally appeared in arXiv:1608.06854 (Petrow-Young) and arXiv:1701.07507 (Kiral-Young). arXiv admin note: text overlap with arXiv:1701.07507

MSC Class: 41A60; 42A38

Journal ref: Journal de théorie des nombres de Bordeaux, 31 no. 1 (2019), p. 145-159

Kloosterman sums and Fourier coefficients of Eisenstein series

Authors: Eren Mehmet Kiral, Matthew P. Young

Abstract: We derive explicit formulas for some Kloosterman sums on $Γ_0(N)$, and for the Fourier coefficients of Eisenstein series attached to arbitrary cusps, around a general Atkin-Lehner cusp. We derive explicit formulas for some Kloosterman sums on $Γ_0(N)$, and for the Fourier coefficients of Eisenstein series attached to arbitrary cusps, around a general Atkin-Lehner cusp. △ Less

Submitted 2 October, 2017; originally announced October 2017.

Comments: This material originally appeared in the first version of our preprint arXiv:1701.07507, The fifth moment of modular $L$-functions

The Fifth Moment of modular L-functions

Authors: Eren Mehmet Kiral, Matthew P. Young

Abstract: We prove a sharp bound on the fifth moment of modular L-functions of fixed small weight, and large prime level. We prove a sharp bound on the fifth moment of modular L-functions of fixed small weight, and large prime level. △ Less

Submitted 3 October, 2017; v1 submitted 25 January, 2017; originally announced January 2017.

Comments: v1: 81 pages. v3: 65 pages. We have extracted some material which now appears in two shorter, stand-alone papers. The calculations of Kloosterman sums and Fourier coefficients of Eisenstein series are in one new paper, and the stationary phase results are in a new paper with Ian Petrow as an additional co-author. This version also implements minor corrections and improvements to exposition

A generalized cubic moment and the Petersson formula for newforms

Authors: Ian Petrow, Matthew P. Young

Abstract: Using a cubic moment, we prove a Weyl-type subconvexity bound for the quadratic twists of a holomorphic newform of square-free level, trivial nebentypus, and arbitrary even weight. This generalizes work of Conrey and Iwaniec in that the newform that is being twisted may have arbitrary square-free level, and also that the quadratic character may have even conductor. One of the new tools developed i… ▽ More Using a cubic moment, we prove a Weyl-type subconvexity bound for the quadratic twists of a holomorphic newform of square-free level, trivial nebentypus, and arbitrary even weight. This generalizes work of Conrey and Iwaniec in that the newform that is being twisted may have arbitrary square-free level, and also that the quadratic character may have even conductor. One of the new tools developed in this paper is a more general Petersson formula for newforms of square-free level. △ Less

Submitted 10 August, 2018; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: Final version; to appear in Math. Annalen

MSC Class: 11F11; 11F37; 11F66; 11M99

Journal ref: Math. Ann. 373 Issue 1-2, (2019) p. 287-353

Sign changes of the Eisenstein series on the critical line

Authors: Junehyuk Jung, Matthew P. Young

Abstract: We prove a quantitative lower bound on the number of nodal domains of the real-analytic Eisenstein series. The main tool in the proof is a quantitative restricted QUE theorem where the support of the test function is allowed to shrink with the Laplace eigenvalue. We prove a quantitative lower bound on the number of nodal domains of the real-analytic Eisenstein series. The main tool in the proof is a quantitative restricted QUE theorem where the support of the test function is allowed to shrink with the Laplace eigenvalue. △ Less

Submitted 24 June, 2016; originally announced June 2016.

Comments: 19 pages

Zeros of certain combinations of Eisenstein series

Authors: Sarah Reitzes, Polina Vulakh, Matthew P. Young

Abstract: We prove that if $k$ and $\ell$ are sufficiently large, then all the zeros of the weight $k+\ell$ cusp form $E_k(z) E_{\ell}(z) - E_{k+\ell}(z)$ in the standard fundamental domain lie on the boundary. We moreover find formulas for the number of zeros on the bottom arc with $|z|=1$, and those on the sides with $x = \pm 1/2$. One important ingredient of the proof is an approximation of the Eisenstei… ▽ More We prove that if $k$ and $\ell$ are sufficiently large, then all the zeros of the weight $k+\ell$ cusp form $E_k(z) E_{\ell}(z) - E_{k+\ell}(z)$ in the standard fundamental domain lie on the boundary. We moreover find formulas for the number of zeros on the bottom arc with $|z|=1$, and those on the sides with $x = \pm 1/2$. One important ingredient of the proof is an approximation of the Eisenstein series in terms of the Jacobi theta function. △ Less

Submitted 3 March, 2016; originally announced March 2016.

Comments: 29 pages

MSC Class: 11F11

Journal ref: Mathematika 63 (2017) 666-695

The $L^2$ restriction of the Eisenstein series to a geodesic segment

Authors: Matthew P. Young

Abstract: We study the $L^2$ norm of the Eisenstein series $E(z,1/2+iT)$ restricted to a segment of a geodesic connecting infinity and an arbitrary real. We conjecture that on slightly thickened geodesics of this form, the Eisenstein series satifies restricted QUE. We prove a lower bound that matches this predicted asymptotic. We also prove an upper bound that nearly matches the lower bound assuming the Rie… ▽ More We study the $L^2$ norm of the Eisenstein series $E(z,1/2+iT)$ restricted to a segment of a geodesic connecting infinity and an arbitrary real. We conjecture that on slightly thickened geodesics of this form, the Eisenstein series satifies restricted QUE. We prove a lower bound that matches this predicted asymptotic. We also prove an upper bound that nearly matches the lower bound assuming the Riemann Hypothesis (unconditionally, the sharp upper bound holds for almost all $T$). Finally, we show the restricted QUE conjecture for geodesics with rational endpoints. △ Less

Submitted 10 November, 2017; v1 submitted 6 August, 2015; originally announced August 2015.

Comments: The results in this paper are superseded by my new paper, "Equidistribution of Eisenstein series on geodesic segments." In particular, the main conjecture in this paper is proved there, in an even stronger form

MSC Class: 11F03; 11M41; 58J51

Bilinear forms with $GL_3$ Kloosterman sums and the spectral large sieve

Authors: Matthew P. Young

Abstract: We analyze certain bilinear forms involving $GL_3$ Kloosterman sums. As an application, we obtain an improved estimate for the $GL_3$ spectral large sieve inequality. We analyze certain bilinear forms involving $GL_3$ Kloosterman sums. As an application, we obtain an improved estimate for the $GL_3$ spectral large sieve inequality. △ Less

Submitted 7 September, 2016; v1 submitted 8 May, 2015; originally announced May 2015.

Comments: v4. Version incorporating referee suggestions and corrections

MSC Class: 11L05; 11F72

A note on the sup norm of Eisenstein series

Authors: Matthew P. Young

Abstract: We prove a sup norm bound on the real-analytic Eisenstein series, of the form $E(z, 1/2 + iT) \ll T^{3/8 + \varepsilon}$, uniformly for $z$ in a fixed compact subset of $\mathbb{H}$. We prove a sup norm bound on the real-analytic Eisenstein series, of the form $E(z, 1/2 + iT) \ll T^{3/8 + \varepsilon}$, uniformly for $z$ in a fixed compact subset of $\mathbb{H}$. △ Less

Submitted 25 January, 2016; v1 submitted 13 April, 2015; originally announced April 2015.

Comments: 9 pages. v2: improved exposition

MSC Class: 11F03; 11F72

Using Quantum Confinement to Uniquely Identify Devices

Authors: J. Roberts, I. E. Bagci, M. A. M. Zawawi, J. Sexton, N. Hulbert, Y. J. Noori, M. P. Young, C. S. Woodhead, M. Missous, M. A. Migliorato, U. Roedig, R. J. Young

Abstract: Modern technology unintentionally provides resources that enable the trust of everyday interactions to be undermined. Some authentication schemes address this issue using devices that give unique outputs in response to a challenge. These signatures are generated by hard-to-predict physical responses derived from structural characteristics, which lend themselves to two different architectures, know… ▽ More Modern technology unintentionally provides resources that enable the trust of everyday interactions to be undermined. Some authentication schemes address this issue using devices that give unique outputs in response to a challenge. These signatures are generated by hard-to-predict physical responses derived from structural characteristics, which lend themselves to two different architectures, known as unique objects (UNOs) and physically unclonable functions (PUFs). The classical design of UNOs and PUFs limits their size and, in some cases, their security. Here we show that quantum confinement lends itself to the provision of unique identities at the nanoscale, by using fluctuations in tunnelling measurements through quantum wells in resonant tunnelling diodes (RTDs). This provides an uncomplicated measurement of identity without conventional resource limitations whilst providing robust security. The confined energy levels are highly sensitive to the specific nanostructure within each RTD, resulting in a distinct tunnelling spectrum for every device, as they contain a unique and unpredictable structure that is presently impossible to clone. This new class of authentication device operates with few resources in simple electronic structures above room temperature. △ Less

Submitted 7 January, 2016; v1 submitted 23 February, 2015; originally announced February 2015.

Comments: 13 pages, 3 figures

Journal ref: Scientific Reports 5, 16456 (2015)

The number of solutions to Mordell's equations in constrained ranges

Authors: Matthew P. Young

Abstract: We estimate the number of solutions to $|y^2 - x^3| \leq X$ with $N \leq y \leq 2N$, in terms of both $N$ and $X$. We estimate the number of solutions to $|y^2 - x^3| \leq X$ with $N \leq y \leq 2N$, in terms of both $N$ and $X$. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 15 pages

MSC Class: 11P21

Journal ref: Mathematika 61 (2014) 708-718

Weyl-type hybrid subconvexity bounds for twisted $L$-functions and Heegner points on shrinking sets

Authors: Matthew P. Young

Abstract: We prove a Weyl-type subconvexity bound for the central value of the $L$-function of a Hecke-Maass form or a holomorphic Hecke eigenform twisted by a quadratic Dirichlet character, uniform in the archimedean parameter as well as the twisting parameter. A similar hybrid bound holds for quadratic Dirichlet $L$-functions, improving on a result of Heath-Brown. As a consequence of these new bounds, w… ▽ More We prove a Weyl-type subconvexity bound for the central value of the $L$-function of a Hecke-Maass form or a holomorphic Hecke eigenform twisted by a quadratic Dirichlet character, uniform in the archimedean parameter as well as the twisting parameter. A similar hybrid bound holds for quadratic Dirichlet $L$-functions, improving on a result of Heath-Brown. As a consequence of these new bounds, we obtain explicit estimates for the number of Heegner points of large odd discriminant in shrinking sets. △ Less

Submitted 6 February, 2017; v1 submitted 21 May, 2014; originally announced May 2014.

Comments: 27 pages. v2: Numerous improvements to the exposition. v3: refereed version with further improvements

MSC Class: 11M41; 11M06

Zeros of the weight two Eisenstein Series

Authors: Rachael Wood, Matthew P. Young

Abstract: We develop some of the finer details of the location of the zeros of the weight two Eisenstein series. These zeros are the same as the zeros of the derivative of the Ramanujan delta function. We develop some of the finer details of the location of the zeros of the weight two Eisenstein series. These zeros are the same as the zeros of the derivative of the Ramanujan delta function. △ Less

Submitted 12 December, 2013; v1 submitted 6 December, 2013; originally announced December 2013.

Comments: 12 pages, 6 figures. v2: added and corrected references

MSC Class: 11F11

The quantum unique ergodicity conjecture for thin sets

Authors: Matthew P. Young

Abstract: We consider some analogs of the quantum unique ergodicity conjecture for geodesics, horocycles, or ``shrinking'' families of sets. In particular, we prove the analog of the QUE conjecture for Eisenstein series restricted to the infinite geodesic connecting 0 and infinity inside the modular surface. We consider some analogs of the quantum unique ergodicity conjecture for geodesics, horocycles, or ``shrinking'' families of sets. In particular, we prove the analog of the QUE conjecture for Eisenstein series restricted to the infinite geodesic connecting 0 and infinity inside the modular surface. △ Less

Submitted 6 June, 2013; originally announced June 2013.

Comments: 53 pages

The $L^2$ restriction norm of a Maass form on $SL_{n+1}(\mathbb{Z})$

Authors: Xiaoqing Li, Sheng-Chi Liu, Matthew P. Young

Abstract: We discuss upper and lower bounds for the $L^2$ restriction norm of a Maass form on $\SL{n+1}{Z}$. We discuss upper and lower bounds for the $L^2$ restriction norm of a Maass form on $\SL{n+1}{Z}$. △ Less

Submitted 26 March, 2013; v1 submitted 17 December, 2012; originally announced December 2012.

Comments: 30 pages, 1 figure. v2: added the condition that $F$ is even

Journal ref: Compositio Math. 148 (2012) 675-717

Subconvexity and equidistribution of Heegner points in the level aspect

Authors: Sheng-Chi Liu, Riad Masri, Matthew P. Young

Abstract: Let q be a prime and -D < -4 be an odd fundamental discriminant such that q splits in Q(\sqrt{-D}). For f a weight zero Hecke-Maass newform of level q and h the weight one theta series of level D corresponding to an ideal class group character of Q(\sqrt{-D}), we establish a hybrid subconvexity bound for L(f \times h,s) at the central point when q = D^η for 0 < η< 1. With this circle of ideas, we… ▽ More Let q be a prime and -D < -4 be an odd fundamental discriminant such that q splits in Q(\sqrt{-D}). For f a weight zero Hecke-Maass newform of level q and h the weight one theta series of level D corresponding to an ideal class group character of Q(\sqrt{-D}), we establish a hybrid subconvexity bound for L(f \times h,s) at the central point when q = D^η for 0 < η< 1. With this circle of ideas, we show that the Heegner points of level q and discriminant D become equidistributed, in a natural sense, as q, D become large with q < D^{1/20-\varepsilon}. Our approach to these problems is connected to estimating the L^2-restriction norm of a Maass form of large level when restricted to the collection of Heegner points. We furthermore establish bounds for quadratic twists of Hecke-Maass L-functions with simultaneously large level and large quadratic twist, and hybrid bounds for quadratic Dirichlet L-functions in certain ranges. △ Less

Submitted 14 June, 2012; originally announced June 2012.

Comments: 24 pages, submitted for publication

Journal ref: Compositio Math. 149 (2013) 1150-1174

The third moment of quadratic Dirichlet L-functions

Authors: Matthew P. Young

Abstract: We study the third moment of quadratic Dirichlet L-functions, obtaining an error term of size $O(X^{3/4 + \varepsilon})$. We study the third moment of quadratic Dirichlet L-functions, obtaining an error term of size $O(X^{3/4 + \varepsilon})$. △ Less

Submitted 9 April, 2012; v1 submitted 20 March, 2012; originally announced March 2012.

Comments: 27 pages. v2: modified a remark on p.1

Journal ref: Selecta Math. (N.S.) 19 (2013), no. 2, 509-543

Growth and nonvanishing of restricted Siegel modular forms arising as Saito-Kurokawa lifts

Authors: Sheng-Chi Liu, Matthew P. Young

Abstract: We study the analytic behavior of the restriction of a Siegel modular form to $\mathbb{H} \times \mathbb{H}$ in the case that the Siegel form is a Saito-Kurokawa lift. A formula of Ichino links this behavior to a family of $GL_3 \times GL_2$ $L$-functions. We study the analytic behavior of the restriction of a Siegel modular form to $\mathbb{H} \times \mathbb{H}$ in the case that the Siegel form is a Saito-Kurokawa lift. A formula of Ichino links this behavior to a family of $GL_3 \times GL_2$ $L$-functions. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Comments: 28 pages

Journal ref: Amer. J. Math. 136 (2014), no. 1, 165-201

Additive twists of Fourier coefficients of symmetric-square lifts

Authors: Xiaoqing Li, Matthew P. Young

Abstract: We study the sum of additively twisted Fourier coefficients of a symmetric-square lift of a Maass form invariant under the full modular group. Our bounds are uniform in terms of the spectral parameter of the Maass form, as well as in terms of the additive twist. We study the sum of additively twisted Fourier coefficients of a symmetric-square lift of a Maass form invariant under the full modular group. Our bounds are uniform in terms of the spectral parameter of the Maass form, as well as in terms of the additive twist. △ Less

Submitted 29 June, 2011; v1 submitted 7 June, 2011; originally announced June 2011.

Comments: 13 pages. v2: fixed the relation between T and t_j on p.2 and added clarification to some references

MSC Class: 11F30

Journal ref: J. Number Theory 132 (2012), no. 7, 1626-1640

The $L^2$ restriction norm of a $GL_3$ Maass form

Authors: Xiaoqing Li, Matthew P. Young

Abstract: We prove a sharp upper bound on the $L^2$ norm of a $GL_3$ Maass form restricted to $GL_2 \times \mathbb{R}^{+}$. We prove a sharp upper bound on the $L^2$ norm of a $GL_3$ Maass form restricted to $GL_2 \times \mathbb{R}^{+}$. △ Less

Submitted 1 February, 2011; originally announced February 2011.

Comments: 42 pages

MSC Class: 11F55; 11F72; 11M41; 35P20

Journal ref: Compos. Math. 148 (2012), no. 3, 675-717

The Prime Geodesic Theorem

Authors: K. Soundararajan, Matthew P. Young

Abstract: We study the distribution of closed geodesics for the modular surface. We improve the error term in the prime geodesic theorem, and obtain results on prime geodesics in very short intervals conditionally on the generalized Riemann Hypothesis for Dirichlet L-functions. We emphasize a connection between the closed geodesics and certain Dirichlet L-functions. We study the distribution of closed geodesics for the modular surface. We improve the error term in the prime geodesic theorem, and obtain results on prime geodesics in very short intervals conditionally on the generalized Riemann Hypothesis for Dirichlet L-functions. We emphasize a connection between the closed geodesics and certain Dirichlet L-functions. △ Less

Submitted 24 November, 2010; originally announced November 2010.

Comments: 13 pages

Journal ref: J. Reine Angew. Math. 676 (2013), 105-120

A short proof of Levinson's theorem

Authors: Matthew P Young

Abstract: We give a short proof of Levinson's result that more than 1/3 of the zeros of the zeta function are on the critical line. We give a short proof of Levinson's result that more than 1/3 of the zeros of the zeta function are on the critical line. △ Less

Submitted 23 February, 2010; originally announced February 2010.

Comments: 7 pages

MSC Class: 11M26

Journal ref: Arch. Math. (Basel) 95 (2010), no. 6, 539-548

The second moment of quadratic twists of modular $L$-functions

Authors: Matthew P. Young, K. Soundararajan

Abstract: We study the second moment of the central values of quadratic twists of a modular $L$-function. Unconditionally, we obtain a lower bound which matches the conjectured asymptotic formula, while on GRH we prove the asymptotic formula itself. We study the second moment of the central values of quadratic twists of a modular $L$-function. Unconditionally, we obtain a lower bound which matches the conjectured asymptotic formula, while on GRH we prove the asymptotic formula itself. △ Less

Submitted 27 July, 2009; originally announced July 2009.

Comments: 17 pages

MSC Class: 11M06

Journal ref: J. Eur. Math. Soc. (JEMS) 12 (2010), no. 5, 1097-1116

The second moment of $GL(3) \times GL(2)$ $L$-functions at special points

Authors: Matthew P. Young

Abstract: For a fixed SL(3, Z) Maass form g, we consider the family of L-functions L(g \times u_j, s) where u_j runs over the family of Hecke-Maass cusp forms on SL(2,Z). We obtain an estimate for the second moment of this family of L-functions at the special points \half + it_j consistent with the Lindelöf Hypothesis. We also obtain a similar upper bound on the sixth moment of the family of Hecke-Maass c… ▽ More For a fixed SL(3, Z) Maass form g, we consider the family of L-functions L(g \times u_j, s) where u_j runs over the family of Hecke-Maass cusp forms on SL(2,Z). We obtain an estimate for the second moment of this family of L-functions at the special points \half + it_j consistent with the Lindelöf Hypothesis. We also obtain a similar upper bound on the sixth moment of the family of Hecke-Maass cusp forms at these special points; this is apparently the first occurrence of a Lindelöf-consistent estimate for a sixth power moment of a family of GL(2) L-functions. △ Less

Submitted 9 March, 2009; originally announced March 2009.

Report number: AIM 2009-16 MSC Class: 11F12; 11F30; 11F37; 11F67

Journal ref: Math. Ann. 356 (2013), no. 3, 1005-1028

The second moment of $GL(3) \times GL(2)$ $L$-functions, integrated

Authors: Matthew P. Young

Abstract: We consider the family of Rankin-Selberg convolution L-functions of a fixed SL(3, Z) Maass form with the family of Hecke-Maass cusp forms on SL(2, Z). We estimate the second moment of this family of L-functions with a "long" integration in t-aspect. These L-functions are distinguished by their high degree (12) and large conductors (of size T^{12}). We consider the family of Rankin-Selberg convolution L-functions of a fixed SL(3, Z) Maass form with the family of Hecke-Maass cusp forms on SL(2, Z). We estimate the second moment of this family of L-functions with a "long" integration in t-aspect. These L-functions are distinguished by their high degree (12) and large conductors (of size T^{12}). △ Less

Submitted 27 October, 2010; v1 submitted 9 March, 2009; originally announced March 2009.

Comments: v1: 17 pages; v2: 24 pages, improved and expanded exposition

Report number: AIM 2009-15 MSC Class: 11F12; 11F30; 11F37; 11F67

Journal ref: Adv. Math. 226 (2011), no. 4, 3550-3578

The first moment of quadratic Dirichlet L-functions

Authors: Matthew P. Young

Abstract: We obtain an asymptotic formula for the smoothly weighted first moment of primitive quadratic Dirichlet L-functions at the central point, with an error term that is "square-root" of the main term. Our approach uses a recursive technique that feeds the result back into itself, successively improving the error term. We obtain an asymptotic formula for the smoothly weighted first moment of primitive quadratic Dirichlet L-functions at the central point, with an error term that is "square-root" of the main term. Our approach uses a recursive technique that feeds the result back into itself, successively improving the error term. △ Less

Submitted 14 May, 2008; v1 submitted 25 April, 2008; originally announced April 2008.

Comments: 24 pages. v2: Fixed typos in the statements of Theorem 1.1 and Remark 2.2. v3: Improved notation and fixed typos

MSC Class: 11M06

Journal ref: Acta Arith. 138 (2009), no. 1, 73-99

Mean values with cubic characters

Authors: Stephan Baier, Matthew P. Young

Abstract: We investigate various mean value problems involving order three primitive Dirichlet characters. In particular, we obtain an asymptotic formula for the first moment of central values of the Dirichlet L-functions associated to this family, with a power saving in the error term. We also obtain a large-sieve type result for order three (and six) Dirichlet characters. We investigate various mean value problems involving order three primitive Dirichlet characters. In particular, we obtain an asymptotic formula for the first moment of central values of the Dirichlet L-functions associated to this family, with a power saving in the error term. We also obtain a large-sieve type result for order three (and six) Dirichlet characters. △ Less

Submitted 3 November, 2010; v1 submitted 14 April, 2008; originally announced April 2008.

Comments: 22 pages; greatly shortened, simplified and corrected version

MSC Class: 11M06; 11L40;

Journal ref: J. Number Theory 130 (2010), no. 4, 879-903

The twisted fourth moment of the Riemann zeta function

Authors: C. P. Hughes, Matthew P. Young

Abstract: We compute the asymptotics of the fourth moment of the Riemann zeta function times an arbitrary Dirichlet polynomial of length $T^{{1/11} - ε}$ We compute the asymptotics of the fourth moment of the Riemann zeta function times an arbitrary Dirichlet polynomial of length $T^{{1/11} - ε}$ △ Less

Submitted 27 September, 2007; v1 submitted 14 September, 2007; originally announced September 2007.

Comments: 28 pages. v2: added references

Report number: AIM 2007-64 MSC Class: 11M06

Journal ref: J. Reine Angew. Math. 641 (2010), 203-236

Moments of the critical values of families of elliptic curves, with applications

Authors: Matthew P. Young

Abstract: We make conjectures on the moments of the central values of the family of all elliptic curves and on the moments of the first derivative of the central values of a large family of positive rank curves. In both cases the order of magnitude is the same as that of the moments of the central values of an orthogonal family of L-functions. Notably, we predict that the critical values of all rank 1 ell… ▽ More We make conjectures on the moments of the central values of the family of all elliptic curves and on the moments of the first derivative of the central values of a large family of positive rank curves. In both cases the order of magnitude is the same as that of the moments of the central values of an orthogonal family of L-functions. Notably, we predict that the critical values of all rank 1 elliptic curves is logarithmically larger than the rank 1 curves in the positive rank family. Furthermore, as arithmetical applications we make a conjecture on the distribution of a_p's amongst all rank 2 elliptic curves, and also show how the Riemann hypothesis can be deduced from sufficient knowledge of the first moment of the positive rank family (based on an idea of Iwaniec). △ Less

Submitted 29 August, 2007; originally announced August 2007.

Comments: 24 pages

Report number: AIM 2007-58 MSC Class: 11M41; 11F11; 11F67

Journal ref: Canad. J. Math. 62 (2010), no. 5, 1155-1181

The reciprocity law for the twisted second moment of Dirichlet L-functions

Authors: Matthew P. Young

Abstract: We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We show that these sums satisfy an elegant reciprocity formula. In the case that the modulus is prime, these sums are closely related to the twisted second momen… ▽ More We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We show that these sums satisfy an elegant reciprocity formula. In the case that the modulus is prime, these sums are closely related to the twisted second moment, and the reciprocity formula for these sums implies Conrey's reciprocity formula. We also extend the range of uniformity of Conrey's formula. △ Less

Submitted 21 August, 2007; originally announced August 2007.

Comments: 12 pages

Report number: AIM preprint number 2007-55 MSC Class: 11M06; 11N69

Journal ref: Forum Math. 23 (2011), no. 6, 1323-1337

Simulation of Robustness against Lesions of Cortical Networks

Authors: Marcus Kaiser, Robert Martin, Peter Andras, Malcolm P. Young

Abstract: Structure entails function and thus a structural description of the brain will help to understand its function and may provide insights into many properties of brain systems, from their robustness and recovery from damage, to their dynamics and even their evolution. Advances in the analysis of complex networks provide useful new approaches to understanding structural and functional properties of… ▽ More Structure entails function and thus a structural description of the brain will help to understand its function and may provide insights into many properties of brain systems, from their robustness and recovery from damage, to their dynamics and even their evolution. Advances in the analysis of complex networks provide useful new approaches to understanding structural and functional properties of brain networks. Structural properties of networks recently described allow their characterization as small-world, random (exponential) and scale-free. They complement the set of other properties that have been explored in the context of brain connectivity, such as topology, hodology, clustering, and hierarchical organization. Here we apply new network analysis methods to cortical inter-areal connectivity networks for the cat and macaque brains. We compare these corticocortical fibre networks to benchmark rewired, small-world, scale-free and random networks, using two analysis strategies, in which we measure the effects of the removal of nodes and connections on the structural properties of the cortical networks. The brain networks' structural decay is in most respects similar to that of scale-free networks. The results implicate highly connected hub-nodes and bottleneck connections as structural basis for some of the conditional robustness of brain systems. This informs the understanding of the development of brain networks' connectivity. △ Less

Submitted 3 April, 2007; originally announced April 2007.

Comments: submitted to European Journal of Neuroscience (under review)

Journal ref: European Journal of Neuroscience, 25:3185--3192, 2007

The fourth moment of Dirichlet L-functions

Authors: Matthew P. Young

Abstract: We compute the fourth moment of Dirichlet L-functions at the central point for prime moduli, with a power savings in the error term. We compute the fourth moment of Dirichlet L-functions at the central point for prime moduli, with a power savings in the error term. △ Less

Submitted 6 April, 2010; v1 submitted 10 October, 2006; originally announced October 2006.

Comments: 40 pages. v2: Improved exposition, simplified proofs, and minor errors fixed. To appear in Annals of Mathematics.

Report number: AIM 2006-64 MSC Class: 11M06

Journal ref: Ann. of Math. (2) 173 (2011), no. 1, 1-50

On the nonvanishing of elliptic curve L-functions at the central point

Authors: Matthew P. Young

Abstract: We show that a large number of elliptic curve L-functions do not vanish at the central point, conditionally on the generalized Riemann hypothesis and on a hypothesis on the regular distribution of the root number. We show that a large number of elliptic curve L-functions do not vanish at the central point, conditionally on the generalized Riemann hypothesis and on a hypothesis on the regular distribution of the root number. △ Less

Submitted 24 October, 2005; v1 submitted 22 December, 2004; originally announced December 2004.

Comments: 38 pages. v3: Improved and expanded exposition, error corrections. To appear in the Proceedings of the London Mathematical Society

Report number: AIM 2004 -30

Journal ref: Proc. London Math. Soc. (3) 93 (2006), no. 1, 1-42

Low-lying zeros of families of elliptic curves

Authors: Matthew P. Young

Abstract: We study the low-lying zeros of various interesting families of elliptic curve L-functions. One application is an upper bound on the average analytic rank of the family of all elliptic curves. The upper bound obtained is less than two, which implies that a positive proportion of elliptic curves over the rationals have algebraic rank equal to analytic rank and finite Tate-Shafarevich group. These… ▽ More We study the low-lying zeros of various interesting families of elliptic curve L-functions. One application is an upper bound on the average analytic rank of the family of all elliptic curves. The upper bound obtained is less than two, which implies that a positive proportion of elliptic curves over the rationals have algebraic rank equal to analytic rank and finite Tate-Shafarevich group. These results are conditional on the Generalized Riemann Hypothesis. △ Less

Submitted 6 April, 2005; v1 submitted 16 June, 2004; originally announced June 2004.

Comments: v2: Enhanced exposition, 56 pages. v3: One reference added and one sentence changed in the paragraph following Corollary 3.4

MSC Class: 11M26