Showing 1–16 of 16 results for author: Kuan, C I

Counting Divisors in the Outputs of a Binary Quadratic Form

Authors: Chan Ieong Kuan, David Lowry-Duda, Alexander Walker, Tinghao Huang

Abstract: For a fixed natural number $h$, we prove meromorphic continuation of the two-variable Dirichlet series $\sum_m r_2(m) σ_w(m + h) (m + h)^{-s + w}$ to $\mathbb{C}^2$ and use this to obtain asymptotics for $\sum_{m^2 + n^2 \leq X} σ_w(m^2 + n^2 + h)$. We approach this continuation through spectral theory. Our results are comparable to earlier work of Bykovskii, who used different methods to study th… ▽ More For a fixed natural number $h$, we prove meromorphic continuation of the two-variable Dirichlet series $\sum_m r_2(m) σ_w(m + h) (m + h)^{-s + w}$ to $\mathbb{C}^2$ and use this to obtain asymptotics for $\sum_{m^2 + n^2 \leq X} σ_w(m^2 + n^2 + h)$. We approach this continuation through spectral theory. Our results are comparable to earlier work of Bykovskii, who used different methods to study the sums $\sum_{n^2 \leq X} σ_w(n^2 + h)$. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Comments: 41 pages, including an appendix by Kuan and Huang

MSC Class: 11F30; 11N37; 11F72

Sums of Cusp Form Coefficients Along Quadratic Sequences

Authors: Chan Ieong Kuan, David Lowry-Duda, Alexander Walker, Raphael S. Steiner

Abstract: Let $f(z) = \sum A(n) n^{(k-1)/2} e(nz)$ be a cusp form of weight $k \geq 3$ on $Γ_0(N)$ with character $χ$. By studying a certain shifted convolution sum, we prove that $\sum_{n \leq X} A(n^2+h) = c_{f,h} X + O_{f,h,ε}(X^{\frac{3}{4}+ε})$ for $ε>0$, which improves a result of Blomer from 2008 with error $X^{\frac{6}{7}+ε}$. This includes an appendix due to Raphael S. Steiner, proving stronger b… ▽ More Let $f(z) = \sum A(n) n^{(k-1)/2} e(nz)$ be a cusp form of weight $k \geq 3$ on $Γ_0(N)$ with character $χ$. By studying a certain shifted convolution sum, we prove that $\sum_{n \leq X} A(n^2+h) = c_{f,h} X + O_{f,h,ε}(X^{\frac{3}{4}+ε})$ for $ε>0$, which improves a result of Blomer from 2008 with error $X^{\frac{6}{7}+ε}$. This includes an appendix due to Raphael S. Steiner, proving stronger bounds for certain spectral averages. △ Less

Submitted 25 April, 2023; v1 submitted 27 January, 2023; originally announced January 2023.

Comments: 22 pages, with a 14 page appendix from Raphael S. Steiner. This version corrects a mistake in the previous, where lifts of holomorphic modular forms to Maass forms were omitted; and it has an updated abstract

Subconvexity for twisted GL(3) L-functions

Authors: Eren Mehmet Kıral, Chan Ieong Kuan, Didier Lesesvre

Abstract: Using the circle method, we obtain subconvex bounds for GL(3) L-functions twisted by a character modulo a prime p, hybrid in the t and p-aspects. Using the circle method, we obtain subconvex bounds for GL(3) L-functions twisted by a character modulo a prime p, hybrid in the t and p-aspects. △ Less

Submitted 10 April, 2021; originally announced April 2021.

Comments: 18 pages

MSC Class: 11F66

Arithmetic Progressions of Squares and Multiple Dirichlet Series

Authors: Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker

Abstract: We study a Dirichlet series in two variables which counts primitive three-term arithmetic progressions of squares. We show that this multiple Dirichlet series has meromorphic continuation to $\mathbb{C}^2$ and use Tauberian methods to obtain counts for arithmetic progressions of squares and rational points on $x^2+y^2=2$. We study a Dirichlet series in two variables which counts primitive three-term arithmetic progressions of squares. We show that this multiple Dirichlet series has meromorphic continuation to $\mathbb{C}^2$ and use Tauberian methods to obtain counts for arithmetic progressions of squares and rational points on $x^2+y^2=2$. △ Less

Submitted 11 October, 2023; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 32 pages, now revised with referee comments

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

Quadratic twists of central values for GL(3)

Authors: Chan Ieong Kuan, Didier Lesesvre

Abstract: We prove that a cuspidal automorphic representation of GL(3) over any number field is determined by the quadratic twists of its central value. In the case of a non-Gelbart-Jacquet lift, the result is conditional on the analytic behavior of a certain Euler product. We deduce the nonvanishing of infinitely many quadratic twists of central values. This generalizes a result of Chinta and Diaconu that… ▽ More We prove that a cuspidal automorphic representation of GL(3) over any number field is determined by the quadratic twists of its central value. In the case of a non-Gelbart-Jacquet lift, the result is conditional on the analytic behavior of a certain Euler product. We deduce the nonvanishing of infinitely many quadratic twists of central values. This generalizes a result of Chinta and Diaconu that was valid only over the field of rational numbers and explored only for Gelbart-Jacquet lifts. △ Less

Submitted 18 November, 2020; v1 submitted 14 March, 2020; originally announced March 2020.

Comments: 31 pages

MSC Class: 11F30; 11F68; 11F70

Sums of even ascending powers

Authors: Chan Ieong Kuan, Didier Lesesvre, Xuanxuan Xiao

Abstract: Freiman and Scourfield proved that any large enough integer can be written as a sum of a certain number of ascending even powers. We use the circle method to provide the first explicit bound on this number, and show that any large enough integer can be written as a sum of 133 ascending even powers. Freiman and Scourfield proved that any large enough integer can be written as a sum of a certain number of ascending even powers. We use the circle method to provide the first explicit bound on this number, and show that any large enough integer can be written as a sum of 133 ascending even powers. △ Less

Submitted 8 January, 2020; originally announced January 2020.

Comments: 20 pages

MSC Class: 11P05; 11P55

Triple Correlation Sums of Coefficients of Cusp Forms

Authors: Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker

Abstract: We produce nontrivial asymptotic estimates for shifted sums of the form $\sum a(h)b(m)c(2m-h)$, in which $a(n),b(n),c(n)$ are un-normalized Fourier coefficients of holomorphic cusp forms. These results are unconditional, but we demonstrate how to strengthen them under the Riemann Hypothesis. As an application, we show that there are infinitely many three term arithmetic progressions $n-h, n, n+h$… ▽ More We produce nontrivial asymptotic estimates for shifted sums of the form $\sum a(h)b(m)c(2m-h)$, in which $a(n),b(n),c(n)$ are un-normalized Fourier coefficients of holomorphic cusp forms. These results are unconditional, but we demonstrate how to strengthen them under the Riemann Hypothesis. As an application, we show that there are infinitely many three term arithmetic progressions $n-h, n, n+h$ such that $a(n-h)a(n)a(n+h) \neq 0$. △ Less

Submitted 18 August, 2020; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: 17 pages (now with consistent author naming)

MSC Class: 11F11; 11M32

A Shifted Sum for the Congruent Number Problem

Authors: Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker

Abstract: We introduce a shifted convolution sum that is parametrized by the squarefree natural number $t$. The asymptotic growth of this series depends explicitly on whether or not $t$ is a \emph{congruent number}, an integer that is the area of a rational right triangle. This series presents a new avenue of inquiry for The Congruent Number Problem. We introduce a shifted convolution sum that is parametrized by the squarefree natural number $t$. The asymptotic growth of this series depends explicitly on whether or not $t$ is a \emph{congruent number}, an integer that is the area of a rational right triangle. This series presents a new avenue of inquiry for The Congruent Number Problem. △ Less

Submitted 11 April, 2018; v1 submitted 7 April, 2018; originally announced April 2018.

The Laplace Transform of the Second Moment in the Gauss Circle Problem

Authors: Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker

Abstract: The Gauss circle problem concerns the difference $P_2(n)$ between the area of a circle of radius $\sqrt{n}$ and the number of lattice points it contains. In this paper, we study the Dirichlet series with coefficients $P_2(n)^2$, and prove that this series has meromorphic continuation to $\mathbb{C}$. Using this series, we prove that the Laplace transform of $P_2(n)^2$ satisfies… ▽ More The Gauss circle problem concerns the difference $P_2(n)$ between the area of a circle of radius $\sqrt{n}$ and the number of lattice points it contains. In this paper, we study the Dirichlet series with coefficients $P_2(n)^2$, and prove that this series has meromorphic continuation to $\mathbb{C}$. Using this series, we prove that the Laplace transform of $P_2(n)^2$ satisfies $\int_0^\infty P_2(t)^2 e^{-t/X} \, dt = C X^{3/2} -X + O(X^{1/2+ε})$, which gives a power-savings improvement to a previous result of Ivic [Ivic1996]. Similarly, we study the meromorphic continuation of the Dirichlet series associated to the correlations $r_2(n+h)r_2(n)$, where $h$ is fixed and $r_2(n)$ denotes the number of representations of $n$ as a sum of two squares. We use this Dirichlet series to prove asymptotics for $\sum_{n \geq 1} r_2(n+h)r_2(n) e^{-n/X}$, and to provide an additional evaluation of the leading coefficient in the asymptotic for $\sum_{n \leq X} r_2(n+h)r_2(n)$. △ Less

Submitted 1 April, 2020; v1 submitted 12 May, 2017; originally announced May 2017.

Comments: Incorporate referees' comments

Journal ref: Alg. Number Th. 15 (2021) 1-27

Second Moments in the Generalized Gauss Circle Problem

Authors: Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker

Abstract: The generalized Gauss circle problem concerns the lattice point discrepancy of large spheres. We study the Dirichlet series associated to $P_k(n)^2$, where $P_k(n)$ is the discrepancy between the volume of the $k$-dimensional sphere of radius $\sqrt{n}$ and the number of integer lattice points contained in that sphere. We prove asymptotics with improved power-saving error terms for smoothed sums,… ▽ More The generalized Gauss circle problem concerns the lattice point discrepancy of large spheres. We study the Dirichlet series associated to $P_k(n)^2$, where $P_k(n)$ is the discrepancy between the volume of the $k$-dimensional sphere of radius $\sqrt{n}$ and the number of integer lattice points contained in that sphere. We prove asymptotics with improved power-saving error terms for smoothed sums, including $\sum P_k(n)^2 e^{-n/X}$ and the Laplace transform $\int_0^\infty P_k(t)^2 e^{-t/X}dt$, in dimensions $k \geq 3$. We also obtain main terms and power-saving error terms for the sharp sums $\sum_{n \leq X} P_k(n)^2$, along with similar results for the sharp integral $\int_0^X P_3(t)^2 dt$. This includes producing the first power-saving error term in mean square for the dimension-three Gauss circle problem. △ Less

Submitted 6 December, 2018; v1 submitted 30 March, 2017; originally announced March 2017.

Comments: Now 36 pages + 7 page appendix. To appear in Forum of Mathematics Sigma

MSC Class: 11F30; 11F03; 11E45; 11P21

Journal ref: Forum of Mathematics, Sigma 6 (2018) e24

Sign Changes of Coefficients and Sums of Coefficients of L-Functions

Authors: Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker

Abstract: We extend the axiomatization for detecting and quantifying sign changes of Meher and Murty to sequences of complex numbers. We further generalize this result when the sequence is comprised of the coefficients of an $L$-function. As immediate applications, we prove that there are sign changes in intervals within sequences of coefficients of GL(2) holomorphic cusp forms, GL(2) Maass forms, and GL(3)… ▽ More We extend the axiomatization for detecting and quantifying sign changes of Meher and Murty to sequences of complex numbers. We further generalize this result when the sequence is comprised of the coefficients of an $L$-function. As immediate applications, we prove that there are sign changes in intervals within sequences of coefficients of GL(2) holomorphic cusp forms, GL(2) Maass forms, and GL(3) Maass forms. Building on previous works by the authors, we prove that there are sign changes in intervals within sequences of partial sums of coefficients of GL(2) holomorphic cusp forms and Maass forms. △ Less

Submitted 19 July, 2016; v1 submitted 31 May, 2016; originally announced June 2016.

MSC Class: 11F30

Journal ref: Journal of Number Theory 177 (2017), 112-135

Short-Interval Averages of Sums of Fourier Coefficients of Cusp Forms

Authors: Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker

Abstract: Let $f$ be a weight $k$ holomorphic cusp form of level one, and let $S_f(n)$ denote the sum of the first $n$ Fourier coefficients of $f$. In analogy with Dirichlet's divisor problem, it is conjectured that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + ε}$. Understanding and bounding $S_f(X)$ has been a very active area of research. The current best bound for individual $S_f(X)$ is… ▽ More Let $f$ be a weight $k$ holomorphic cusp form of level one, and let $S_f(n)$ denote the sum of the first $n$ Fourier coefficients of $f$. In analogy with Dirichlet's divisor problem, it is conjectured that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + ε}$. Understanding and bounding $S_f(X)$ has been a very active area of research. The current best bound for individual $S_f(X)$ is $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{3}} (\log X)^{-0.1185}$ from Wu. Chandrasekharan and Narasimhan showed that the Classical Conjecture for $S_f(X)$ holds on average over intervals of length $X$. Jutila improved this result to show that the Classical Conjecture for $S_f(X)$ holds on average over short intervals of length $X^{\frac{3}{4} + ε}$. Building on the results and analytic information about $\sum \lvert S_f(n) \rvert^2 n^{-(s + k - 1)}$ from our recent work, we further improve these results to show that the Classical Conjecture for $S_f(X)$ holds on average over short intervals of length $X^{\frac{2}{3}}(\log X)^{\frac{1}{6}}$. △ Less

Submitted 10 November, 2016; v1 submitted 17 December, 2015; originally announced December 2015.

Comments: To Appear in the Journal of Number Theory

MSC Class: 11F30

Journal ref: Journal of Number Theory 173 (2017), 394-415

The Second Moment of Sums of Coefficients of Cusp Forms

Authors: Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker

Abstract: Let $f$ and $g$ be weight $k$ holomorphic cusp forms and let $S_f(n)$ and $S_g(n)$ denote the sums of their first $n$ Fourier coefficients. Hafner and Ivic [HI], building on Chandrasekharan and Narasimhan [CN], proved asymptotics for $\sum_{n \leq X} \lvert S_f(n) \rvert^2$ and proved that the Classical Conjecture, that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + ε}$, holds on average over long i… ▽ More Let $f$ and $g$ be weight $k$ holomorphic cusp forms and let $S_f(n)$ and $S_g(n)$ denote the sums of their first $n$ Fourier coefficients. Hafner and Ivic [HI], building on Chandrasekharan and Narasimhan [CN], proved asymptotics for $\sum_{n \leq X} \lvert S_f(n) \rvert^2$ and proved that the Classical Conjecture, that $S_f(X) \ll X^{\frac{k-1}{2} + \frac{1}{4} + ε}$, holds on average over long intervals. In this paper, we introduce and obtain meromorphic continuations for the Dirichlet series $D(s, S_f \times S_g) = \sum S_f(n)\overline{S_g(n)} n^{-(s+k-1)}$ and $D(s, S_f \times \overline{S_g}) = \sum_n S_f(n)S_g(n) n^{-(s + k - 1)}$. Using these meromorphic continuations, we prove asymptotics for the smoothed second moment sums $\sum S_f(n)\overline{S_g(n)} e^{-n/X}$, proving a smoothed generalization of [HI]. We also attain asymptotics for analogous smoothed second moment sums of normalized Fourier coefficients, proving smoothed generalizations of what would be attainable from [CN]. Our methodology extends to a wide variety of weights and levels, and comparison with [CN] indicates very general cancellation between the Rankin-Selberg $L$-function $L(s, f\times g)$ and shifted convolution sums of the coefficients of $f$ and $g$. In forthcoming works, the authors apply the results of this paper to prove the Classical Conjecture on $\lvert S_f(n) \rvert^2$ is true on short intervals, and to prove sign change results on $\{S_f(n)\}_{n \in \mathbb{N}}$. △ Less

Submitted 10 November, 2016; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: To appear in the Journal of Number Theory

MSC Class: 11F30

Journal ref: Journal of Number Theory 173 (2017), 304-331

Hybrid Bounds on Twisted L-Functions Associated to Modular Forms

Authors: Chan Ieong Kuan

Abstract: For $f$ a primitive holomorphic cusp form of even weight $k \geq 4$, level $N$, and $χ$ a Dirichlet character mod $Q$ with $(Q,N)=1$, we establish a new hybrid subconvexity bound for $L(1/2 + it, f_χ)$, which improves upon all known hybrid bounds. This is done via amplification and taking advantage of a shifted convolution sum of two variables defined and analyzed in a recent paper of Hoffstein an… ▽ More For $f$ a primitive holomorphic cusp form of even weight $k \geq 4$, level $N$, and $χ$ a Dirichlet character mod $Q$ with $(Q,N)=1$, we establish a new hybrid subconvexity bound for $L(1/2 + it, f_χ)$, which improves upon all known hybrid bounds. This is done via amplification and taking advantage of a shifted convolution sum of two variables defined and analyzed in a recent paper of Hoffstein and Hulse. △ Less

Submitted 27 September, 2016; v1 submitted 7 November, 2013; originally announced November 2013.

Comments: Updated version removes the restriction of level being square-free

MSC Class: 11F11; 11F12

Counting Square Discriminants

Authors: Thomas A. Hulse, E. Mehmet Kıral, Chan Ieong Kuan, Li-Mei Lim

Abstract: Counting integral binary quadratic forms with certain restrictions is a classical problem. In this paper, we count binary quadratic forms of fixed discriminant given restrictions on the size of their coefficients. We accomplish this by investigating the analytic properties of a certain double Dirichlet series, which is a shifted convolution sum of certain classical automorphic forms. Counting integral binary quadratic forms with certain restrictions is a classical problem. In this paper, we count binary quadratic forms of fixed discriminant given restrictions on the size of their coefficients. We accomplish this by investigating the analytic properties of a certain double Dirichlet series, which is a shifted convolution sum of certain classical automorphic forms. △ Less

Submitted 6 August, 2015; v1 submitted 24 July, 2013; originally announced July 2013.

MSC Class: 11

The Sign of Fourier Coefficients of Half-Integral Weight Cusp Forms

Authors: Thomas A. Hulse, E. Mehmet Kiral, Chan Ieong Kuan, Li-Mei Lim

Abstract: From a result of Waldspurger, it is known that the normalized Fourier coefficients $a(m)$ of a half-integral weight holomorphic cusp eigenform $\f$ are, up to a finite set of factors, one of $\pm \sqrt{L(1/2, f, χ_m)}$ when $m$ is square-free and $f$ is the integral weight cusp form related to $\f$ by the Shimura correspondence. In this paper we address a question posed by Kohnen: which square roo… ▽ More From a result of Waldspurger, it is known that the normalized Fourier coefficients $a(m)$ of a half-integral weight holomorphic cusp eigenform $\f$ are, up to a finite set of factors, one of $\pm \sqrt{L(1/2, f, χ_m)}$ when $m$ is square-free and $f$ is the integral weight cusp form related to $\f$ by the Shimura correspondence. In this paper we address a question posed by Kohnen: which square root is $a(m)$? In particular, if we look at the set of $a(m)$ with $m$ square-free, do these Fourier coefficients change sign infinitely often? By partially analytically continuing a related Dirichlet series, we are able to show that this is so. △ Less

Submitted 17 June, 2012; v1 submitted 17 June, 2011; originally announced June 2011.

MSC Class: 11F37 (Primary) 11F30 (Secondary)

Journal ref: International Journal of Number Theory, Vol. 8, No. 3 (2012) 749-762, c World Scientific Publishing Company