Showing 1–50 of 60 results for author: Walker, A

Improved stability for the size and structure of sumsets

Authors: Andrew Granville, Jack Smith, Aled Walker

Abstract: Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that the sumset $NA$ has predictable size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in some finite cone other than all of the lattice points in a finite collection of exceptional subcones), once $N$ is larger than some threshold. In previous work, joint with Shakan, the first and… ▽ More Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that the sumset $NA$ has predictable size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in some finite cone other than all of the lattice points in a finite collection of exceptional subcones), once $N$ is larger than some threshold. In previous work, joint with Shakan, the first and third named authors established the first effective bounds for both of these thresholds for an arbitrary set $A$. In this article we substantially improve each of these bounds, coming much closer to the corresponding lower bounds known. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 15 pages

Proving the Duffin-Schaeffer conjecture without GCD graphs

Authors: Manuel Hauke, Santiago Vazquez Saez, Aled Walker

Abstract: We present a novel proof of the Duffin-Schaeffer conjecture in metric Diophantine approximation. Our proof is heavily motivated by the ideas of Koukoulopoulos-Maynard's breakthrough first argument, but simplifies and strengthens several technical aspects. In particular, we avoid any direct handling of GCD graphs and their `quality'. We also consider the metric quantitative theory of Diophantine ap… ▽ More We present a novel proof of the Duffin-Schaeffer conjecture in metric Diophantine approximation. Our proof is heavily motivated by the ideas of Koukoulopoulos-Maynard's breakthrough first argument, but simplifies and strengthens several technical aspects. In particular, we avoid any direct handling of GCD graphs and their `quality'. We also consider the metric quantitative theory of Diophantine approximations, improving the $(\log Ψ(N))^{-C}$ error-term of Aistleitner-Borda and the first named author to $\exp(-(\log Ψ(N))^{\frac{1}{2} - \varepsilon})$. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Self-Correlations of Hurwitz Class Numbers

Authors: Alexander Walker

Abstract: The asymptotic study of class numbers of binary quadratic forms is a foundational problem in arithmetic statistics. Here, we investigate finer statistics of class numbers by studying their self-correlations under additive shifts. Specifically, we produce uniform asymptotics for the shifted convolution sum $\sum_{n < X} H(n) H(n+\ell)$ for fixed $\ell \in \mathbb{Z}$, in which $H(n)$ denotes the Hu… ▽ More The asymptotic study of class numbers of binary quadratic forms is a foundational problem in arithmetic statistics. Here, we investigate finer statistics of class numbers by studying their self-correlations under additive shifts. Specifically, we produce uniform asymptotics for the shifted convolution sum $\sum_{n < X} H(n) H(n+\ell)$ for fixed $\ell \in \mathbb{Z}$, in which $H(n)$ denotes the Hurwitz class number. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: 41 pages, 0 figures

MSC Class: 11Mxx

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

Bisector fields and projective duality

Authors: Bruce Olberding, Elaine A. Walker

Abstract: Working over a field ${\mathbb{k}}$ of characteristic $\ne 2$, we study what we call bisector fields, which are arrangements of paired lines in the plane that have the property that each line in the arrangement crosses the paired lines in pairs of points that all share the same midpoint. To do so, we use tools from the theory of algebraic curves and projective duality. We obtain a complete classif… ▽ More Working over a field ${\mathbb{k}}$ of characteristic $\ne 2$, we study what we call bisector fields, which are arrangements of paired lines in the plane that have the property that each line in the arrangement crosses the paired lines in pairs of points that all share the same midpoint. To do so, we use tools from the theory of algebraic curves and projective duality. We obtain a complete classification if ${\mathbb{k}}$ is real closed or algebraically closed, and we obtain a partial classification if ${\mathbb{k}}$ is a finite field. A classification for other fields remains an open question. Ultimately this is a question regarding affine equivalence within a system of certain rational quartic curves. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 23 pages, 3 figures. Comments welcome!

MSC Class: 52C30; 14N20; 14H45

Bisector fields of quadrilaterals

Authors: Bruce Olberding, Elaine A. Walker

Abstract: Working over a field of characteristic other than $2$, we examine a relationship between quadrilaterals and the pencil of conics passing through their vertices. Asymptotically, such a pencil of conics is what we call a bisector field, a set ${\mathbb{B}}$ of paired lines such that each line $\ell$ in ${\mathbb{B}}$ simultaneously bisects each pair in ${\mathbb{B}}$ in the sense that $\ell$ crosses… ▽ More Working over a field of characteristic other than $2$, we examine a relationship between quadrilaterals and the pencil of conics passing through their vertices. Asymptotically, such a pencil of conics is what we call a bisector field, a set ${\mathbb{B}}$ of paired lines such that each line $\ell$ in ${\mathbb{B}}$ simultaneously bisects each pair in ${\mathbb{B}}$ in the sense that $\ell$ crosses the pairs of lines in ${\mathbb{B}}$ in pairs of points that all share the same midpoint. We show that a quadrilateral induces a geometry on the affine plane via an inner product, under which we examine pencils of conics and pairs of bisectors of a quadrilateral. We show also how bisectors give a new interpretation of some classically studied features of quadrangles, such as the nine-point conic. △ Less

Submitted 19 May, 2023; originally announced May 2023.

Comments: 21 pages, 5 figures. Comments welcome!

MSC Class: 51A20; 51N10

Bisector fields and pencils of conics

Authors: Bruce Olberding, Elaine A. Walker

Abstract: We introduce the notion of a bisector field, which is a maximal collection of pairs of lines such that for each line in each pair, the midpoint of the points where the line crosses every pair is the same, regardless of choice of pair. We use this to study asymptotic properties of pencils of affine conics over fields and show that pairs of lines in the plane that occur as the asymptotes of hyperbol… ▽ More We introduce the notion of a bisector field, which is a maximal collection of pairs of lines such that for each line in each pair, the midpoint of the points where the line crosses every pair is the same, regardless of choice of pair. We use this to study asymptotic properties of pencils of affine conics over fields and show that pairs of lines in the plane that occur as the asymptotes of hyperbolas from a pencil of affine conics belong to a bisector field. By including also pairs of parallel lines arising from degenerate parabolas in the pencil, we obtain a full characterization: Every bisector field arises from a pencil of affine conics, and vice versa, every nontrivial pencil of affine conics is asymptotically a bisector field. Our main results are valid over any field of characteristic other than $2$ and hence hold in the classical Euclidean setting as well as in Galois geometries. △ Less

Submitted 20 November, 2023; v1 submitted 14 May, 2023; originally announced May 2023.

Comments: Some notation has been streamlined, and the introduction has been expanded to include additional motivation. Comments welcome!

MSC Class: 52C30; 51N10

On a Bohr set analogue of Chowla's conjecture

Authors: Joni Teräväinen, Aled Walker

Abstract: Let $λ$ denote the Liouville function. We show that the logarithmic mean of $λ(\lfloor α_1n\rfloor)λ(\lfloor α_2n\rfloor)$ is $0$ whenever $α_1,α_2$ are positive reals with $α_1/α_2$ irrational. We also show that for $k\geq 3$ the logarithmic mean of $λ(\lfloor α_1n\rfloor)\cdots λ(\lfloor α_kn\rfloor)$ has some nontrivial amount of cancellation, under certain rational independence assumptions on… ▽ More Let $λ$ denote the Liouville function. We show that the logarithmic mean of $λ(\lfloor α_1n\rfloor)λ(\lfloor α_2n\rfloor)$ is $0$ whenever $α_1,α_2$ are positive reals with $α_1/α_2$ irrational. We also show that for $k\geq 3$ the logarithmic mean of $λ(\lfloor α_1n\rfloor)\cdots λ(\lfloor α_kn\rfloor)$ has some nontrivial amount of cancellation, under certain rational independence assumptions on the real numbers $α_i$. Our results for the Liouville function generalise to produce independence statements for general bounded real-valued multiplicative functions evaluated at Beatty sequences. These results answer the two-point case of a conjecture of Frantzikinakis (and provide some progress on the higher order cases), generalising a recent result of Crnčević--Hernández--Rizk--Sereesuchart--Tao. As an ingredient in our proofs, we establish bounds for the logarithmic correlations of the Liouville function along Bohr sets. △ Less

Submitted 22 March, 2023; originally announced March 2023.

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

Integer Sets of Large Harmonic Sum Which Avoid Long Arithmetic Progressions

Authors: Alexander Walker

Abstract: We give conditions under which certain digit-restricted integer sets avoid $k$-term arithmetic progressions. These sets are reasonably efficient to compute and therefore enable large-scale search. We identify a set with no arithmetic progression of four terms and with harmonic sum $4.43975$, which improves an earlier "greedy" construction. We give conditions under which certain digit-restricted integer sets avoid $k$-term arithmetic progressions. These sets are reasonably efficient to compute and therefore enable large-scale search. We identify a set with no arithmetic progression of four terms and with harmonic sum $4.43975$, which improves an earlier "greedy" construction. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Comments: 9 pages, 0 figures

MSC Class: 11Y55; 11Y60

Rectangles conformally inscribed in lines

Authors: Bruce Olberding, Elaine A. Walker

Abstract: A parallelogram is conformally inscribed in four lines in the plane if it is inscribed in a scaled copy of the configuration of four lines. We describe the geometry of the three-dimensional Euclidean space whose points are the parallelograms conformally inscribed in sequence in these four lines. In doing so, we describe the flow of inscribed rectangles by introducing a compact model of the rectang… ▽ More A parallelogram is conformally inscribed in four lines in the plane if it is inscribed in a scaled copy of the configuration of four lines. We describe the geometry of the three-dimensional Euclidean space whose points are the parallelograms conformally inscribed in sequence in these four lines. In doing so, we describe the flow of inscribed rectangles by introducing a compact model of the rectangle inscription problem. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: 23 pages, 11 figures. Comments welcome!

MSC Class: 52C30; 51N10; 51N15

Finite Prime Distance Graphs and 2-Odd Graphs

Authors: Joshua D. Laison, Colin Starr, Andrea Walker

Abstract: A graph $G$ is a prime distance graph (respectively, a 2-odd graph) if its vertices can be labeled with distinct integers such that for any two adjacent vertices, the difference of their labels is prime (either 2 or odd). We prove that trees, cycles, and bipartite graphs are prime distance graphs, and that Dutch windmill graphs and paper mill graphs are prime distance graphs if and only if the Twi… ▽ More A graph $G$ is a prime distance graph (respectively, a 2-odd graph) if its vertices can be labeled with distinct integers such that for any two adjacent vertices, the difference of their labels is prime (either 2 or odd). We prove that trees, cycles, and bipartite graphs are prime distance graphs, and that Dutch windmill graphs and paper mill graphs are prime distance graphs if and only if the Twin Prime Conjecture and dePolignac's Conjecture are true, respectively. We give a characterization of 2-odd graphs in terms of edge colorings, and we use this characterization to determine which circulant graphs of the form $Circ(n, \{1,k\})$ are 2-odd and to prove results on circulant prime distance graphs. △ Less

Submitted 3 June, 2021; originally announced June 2021.

MSC Class: 05C78; 11A41

Journal ref: Discrete Mathematics 313 (20) 2013, pages 2281-2291

Effective results on the size and structure of sumsets

Authors: Andrew Granville, George Shakan, Aled Walker

Abstract: Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that $NA$ has a particular size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in a cone other than certain exceptional sets), once $N$ is larger than some threshold. In this article we give the first effective upper bounds for this threshold for arbitrary $A$. Such explicit results w… ▽ More Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that $NA$ has a particular size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in a cone other than certain exceptional sets), once $N$ is larger than some threshold. In this article we give the first effective upper bounds for this threshold for arbitrary $A$. Such explicit results were only previously known in the special cases when $d=1$, when the convex hull of $A$ is a simplex or when $\vert A\vert = d+2$, results which we improve. △ Less

Submitted 17 July, 2023; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: Small improvements to simplex case, following referee suggestions. To appear in Combinatorica

Correlations of sieve weights and distributions of zeros

Authors: Aled Walker

Abstract: In this note we give two small results concerning the correlations of the Selberg sieve weights. We then use these estimates to derive a new (conditional) lower bound on the variance of the primes in short intervals, and also on the so-called `form factor' for the pair correlations of the zeros of the Riemann zeta function. Our bounds ultimately rely on the estimates of Bettin--Chandee for triline… ▽ More In this note we give two small results concerning the correlations of the Selberg sieve weights. We then use these estimates to derive a new (conditional) lower bound on the variance of the primes in short intervals, and also on the so-called `form factor' for the pair correlations of the zeros of the Riemann zeta function. Our bounds ultimately rely on the estimates of Bettin--Chandee for trilinear Kloosterman fractions. △ Less

Submitted 6 May, 2022; v1 submitted 12 January, 2021; originally announced January 2021.

Comments: Correction to some exponents

Extremal problems for GCDs

Authors: Ben Green, Aled Walker

Abstract: We prove that if $A \subseteq [X, 2X]$ and $B \subseteq [Y, 2Y]$ are sets of integers such that $\gcd(a,b) \geq D$ for at least $δ|A||B|$ pairs $(a,b) \in A \times B$ then $|A||B| \ll_{\varepsilon} δ^{-2 - \varepsilon} XY/D^2$. This is a new result even when $δ= 1$. The proof uses ideas of Koukoulopoulos and Maynard and some additional combinatorial arguments. We prove that if $A \subseteq [X, 2X]$ and $B \subseteq [Y, 2Y]$ are sets of integers such that $\gcd(a,b) \geq D$ for at least $δ|A||B|$ pairs $(a,b) \in A \times B$ then $|A||B| \ll_{\varepsilon} δ^{-2 - \varepsilon} XY/D^2$. This is a new result even when $δ= 1$. The proof uses ideas of Koukoulopoulos and Maynard and some additional combinatorial arguments. △ Less

Submitted 16 December, 2020; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: One remark added

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)

A new proof of the growth rate of the solvable Baumslag-Solitar groups

Authors: Jennifer Taback, Alden Walker

Abstract: We exhibit a regular language of geodesics for a large set of elements of $BS(1,n)$ and show that the growth rate of this language is the growth rate of the group. This provides a straightforward calculation of the growth rate of $BS(1,n)$, which was initially computed by Collins, Edjvet and Gill in [5]. Our methods are based on those we develop in [8] to show that $BS(1,n)$ has a positive density… ▽ More We exhibit a regular language of geodesics for a large set of elements of $BS(1,n)$ and show that the growth rate of this language is the growth rate of the group. This provides a straightforward calculation of the growth rate of $BS(1,n)$, which was initially computed by Collins, Edjvet and Gill in [5]. Our methods are based on those we develop in [8] to show that $BS(1,n)$ has a positive density of elements of positive, negative and zero conjugation curvature, as introduced by Bar-Natan, Duchin and Kropholler in [1]. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 18 pages, 6 figures

MSC Class: 20F65 (Primary) 20F10; 26A12 (Secondary)

Conjugation Curvature in Solvable Baumslag-Solitar Groups

Authors: Jennifer Taback, Alden Walker

Abstract: For an element in $BS(1,n) = \langle t,a | tat^{-1} = a^n \rangle$ written in the normal form $t^{-u}a^vt^w$ with $u,w \geq 0$ and $v \in \mathbb{Z}$, we exhibit a geodesic word representing the element and give a formula for its word length with respect to the generating set $\{t,a\}$. Using this word length formula, we prove that there are sets of elements of positive density of positive, negati… ▽ More For an element in $BS(1,n) = \langle t,a | tat^{-1} = a^n \rangle$ written in the normal form $t^{-u}a^vt^w$ with $u,w \geq 0$ and $v \in \mathbb{Z}$, we exhibit a geodesic word representing the element and give a formula for its word length with respect to the generating set $\{t,a\}$. Using this word length formula, we prove that there are sets of elements of positive density of positive, negative and zero conjugation curvature, as defined by Bar Natan, Duchin and Kropholler. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 50 pages, 3 figures

MSC Class: 20F65 (Primary) 20F10 (Secondary)

Paths of rectangles inscribed in lines over fields

Authors: Bruce Olberding, Elaine A. Walker

Abstract: We study rectangles inscribed in lines in the plane by parametrizing these rectangles in two ways, one involving slope and the other aspect ratio. This produces two paths, one that finds rectangles with specified slope and the other rectangles with specified aspect ratio. We describe the geometry of these paths and its dependence on the choice of four lines. Our methods are algebraic and work over… ▽ More We study rectangles inscribed in lines in the plane by parametrizing these rectangles in two ways, one involving slope and the other aspect ratio. This produces two paths, one that finds rectangles with specified slope and the other rectangles with specified aspect ratio. We describe the geometry of these paths and its dependence on the choice of four lines. Our methods are algebraic and work over an arbitrary field. △ Less

Submitted 16 December, 2020; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: 30 pages, 10 figures. A number of revisions have been made to the first version, including a title change and the addition of Sections 3 and 9. Comments welcome

MSC Class: 51N10; 11E10

A tight structure theorem for sumsets

Authors: Andrew Granville, Aled Walker

Abstract: Let $A = \{0 = a_0 < a_1 < \cdots < a_{\ell + 1} = b\}$ be a finite set of non-negative integers. We prove that the sumset $NA$ has a certain easily-described structure, provided that $N \geqslant b-\ell$, as recently conjectured by Shakan and the first author. We also classify those sets $A$ for which this bound cannot be improved. Let $A = \{0 = a_0 < a_1 < \cdots < a_{\ell + 1} = b\}$ be a finite set of non-negative integers. We prove that the sumset $NA$ has a certain easily-described structure, provided that $N \geqslant b-\ell$, as recently conjectured by Shakan and the first author. We also classify those sets $A$ for which this bound cannot be improved. △ Less

Submitted 31 March, 2021; v1 submitted 1 June, 2020; originally announced June 2020.

Comments: 8 pages, minor changes to exposition. Accepted version

On the triple correlations of fractional parts of $n^2α$

Authors: Niclas Technau, Aled Walker

Abstract: For fixed $α\in [0,1]$, consider the set $S_{α,N}$ of dilated squares $α, 4α, 9α, \dots, N^2α\, $ modulo $1$. Rudnick and Sarnak conjectured that for Lebesgue almost all such $α$ the gap-distribution of $S_{α,N}$ is consistent with the Poisson model (in the limit as $N$ tends to infinity). In this paper we prove a new estimate for the triple correlations associated to this problem, establishing an… ▽ More For fixed $α\in [0,1]$, consider the set $S_{α,N}$ of dilated squares $α, 4α, 9α, \dots, N^2α\, $ modulo $1$. Rudnick and Sarnak conjectured that for Lebesgue almost all such $α$ the gap-distribution of $S_{α,N}$ is consistent with the Poisson model (in the limit as $N$ tends to infinity). In this paper we prove a new estimate for the triple correlations associated to this problem, establishing an asymptotic expression for the third moment of the number of elements of $S_{α,N}$ in a random interval of length $L/N$, provided that $L > N^{1/4+\varepsilon}$. The threshold of $1/4$ is substantially smaller than the threshold of $1/2$ (which is the threshold that would be given by a naïve discrepancy estimate). Unlike the theory of pair correlations, rather little is known about triple correlations of the dilations $(αa_n \, \text{mod } 1)_{n=1}^{\infty} $ for a non-lacunary sequence $(a_n)_{n=1}^{\infty} $ of increasing integers. This is partially due to the fact that second moment of the triple correlation function is difficult to control, and thus standard techniques involving variance bounds are not applicable. We circumvent this impasse by using an argument inspired by works of Rudnick--Sarnak--Zaharescu and Heath-Brown, which connects the triple correlation function to some modular counting problems. In an appendix we comment on the relationship between discrepancy and correlation functions, answering a question of Steinerberger. △ Less

Submitted 21 April, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: Final version. To appear in Canadian Journal of Mathematics

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

The conic geometry of rectangles inscribed in lines

Authors: Bruce Olberding, Elaine A. Walker

Abstract: We develop a circle of ideas involving pairs of lines in the plane, intersections of hyperbolically rotated elliptical cones and the locus of the centers of rectangles inscribed in lines in the plane. We develop a circle of ideas involving pairs of lines in the plane, intersections of hyperbolically rotated elliptical cones and the locus of the centers of rectangles inscribed in lines in the plane. △ Less

Submitted 2 August, 2021; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: Final version. To appear in Proc. of the AMS

MSC Class: 51N10

Quadcubic interpolation: a four-dimensional spline method

Authors: Paul A. Walker

Abstract: We present a local interpolation method in four dimensions utilising cubic splines. An extension of the three-dimensional tricubic method, the interpolated function has C$^1$ continuity and its partial derivatives are analytically accessible. The specific example of application of this work to a time-varying three-dimensional magnetic field is given, but this method would work equally well for a t… ▽ More We present a local interpolation method in four dimensions utilising cubic splines. An extension of the three-dimensional tricubic method, the interpolated function has C$^1$ continuity and its partial derivatives are analytically accessible. The specific example of application of this work to a time-varying three-dimensional magnetic field is given, but this method would work equally well for a time-independent four-dimensional field. Implementations of both of these methods in the Python programming language are also available to download. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Linear inequalities in primes

Authors: Aled Walker

Abstract: In this paper we prove an asymptotic formula for the number of solutions in prime numbers to systems of simultaneous linear inequalities with algebraic coefficients. For $m$ simultaneous inequalities we require at least $m+2$ variables, improving upon existing methods, which generically require at least $2m+1$ variables. Our result also generalises the theorem of Green-Tao-Ziegler on linear equati… ▽ More In this paper we prove an asymptotic formula for the number of solutions in prime numbers to systems of simultaneous linear inequalities with algebraic coefficients. For $m$ simultaneous inequalities we require at least $m+2$ variables, improving upon existing methods, which generically require at least $2m+1$ variables. Our result also generalises the theorem of Green-Tao-Ziegler on linear equations in primes. Many of the methods presented apply for arbitrary coefficients, not just for algebraic coefficients, and we formulate a conjecture concerning the pseudorandomness of sieve weights which, if resolved, would remove the algebraicity assumption entirely. △ Less

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

Comments: 71 pages. Minor corrections from version 1. Accepted for publication in Journal d'Analyse Mathématique

$n$-absorbing monomial ideals in polynomial rings

Authors: Hyun Seung Choi, Andrew Walker

Abstract: In a commutative ring $R$ with unity, given an ideal $I$ of $R$, Anderson and Badawi in 2011 introduced the invariant $ω(I)$, which is the minimal integer $n$ for which $I$ is an $n$-absorbing ideal of $R$. In the specific case that $R = k[x_{1}, \ldots, x_{n}]$ is a polynomial ring over a field $k$ in $n$ variables $x_{1},\ldots, x_{n}$, we calculate $ω(I)$ for certain monomial ideals $I$ of $R$. In a commutative ring $R$ with unity, given an ideal $I$ of $R$, Anderson and Badawi in 2011 introduced the invariant $ω(I)$, which is the minimal integer $n$ for which $I$ is an $n$-absorbing ideal of $R$. In the specific case that $R = k[x_{1}, \ldots, x_{n}]$ is a polynomial ring over a field $k$ in $n$ variables $x_{1},\ldots, x_{n}$, we calculate $ω(I)$ for certain monomial ideals $I$ of $R$. △ Less

Submitted 14 December, 2018; originally announced December 2018.

A note on Non-Noetherian Cohen-Macaulay rings

Authors: Youngsu Kim, Andrew Walker

Abstract: In this note, we study the Cohen-Macaulayness of non-Noetherian rings. We show that Hochster's celebrated theorem that a finitely generated normal semigroup ring is Cohen-Macaulay does not extend to non-Noetherian rings. We also show that for any valuation domain $V$ of finite Krull dimension, $V[x]$ is Cohen-Macaulay in the sense of Hamilton-Marley. In this note, we study the Cohen-Macaulayness of non-Noetherian rings. We show that Hochster's celebrated theorem that a finitely generated normal semigroup ring is Cohen-Macaulay does not extend to non-Noetherian rings. We also show that for any valuation domain $V$ of finite Krull dimension, $V[x]$ is Cohen-Macaulay in the sense of Hamilton-Marley. △ Less

Submitted 10 January, 2019; v1 submitted 12 December, 2018; originally announced December 2018.

Comments: Fixed typos from the previous version

MSC Class: 13H10

Extreme points in limit sets

Authors: Danny Calegari, Alden Walker

Abstract: Given an iterated function system of affine dilations with fixed points the vertices of a regular polygon, we characterize which points in the limit set lie on the boundary of its convex hull. Given an iterated function system of affine dilations with fixed points the vertices of a regular polygon, we characterize which points in the limit set lie on the boundary of its convex hull. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: 8 pages, 6 figures

Arithmetic Progressions with Restricted Digits

Authors: Aled Walker, Alexander Walker

Abstract: For an integer $b \geqslant 2$ and a set $S\subset \{0,\cdots,b-1\}$, we define the Kempner set $\mathcal{K}(S,b)$ to be the set of all non-negative integers whose base-$b$ digital expansions contain only digits from $S$. These well-studied sparse sets provide a rich setting for additive number theory, and in this paper we study various questions relating to the appearance of arithmetic progressio… ▽ More For an integer $b \geqslant 2$ and a set $S\subset \{0,\cdots,b-1\}$, we define the Kempner set $\mathcal{K}(S,b)$ to be the set of all non-negative integers whose base-$b$ digital expansions contain only digits from $S$. These well-studied sparse sets provide a rich setting for additive number theory, and in this paper we study various questions relating to the appearance of arithmetic progressions in these sets. In particular, for all $b$ we determine exactly the maximal length of an arithmetic progression that omits a base-$b$ digit. △ Less

Submitted 7 September, 2018; originally announced September 2018.

Comments: 11 pages, submitted to American Mathematical Monthly

Two simultaneous actions of big map** class groups

Authors: Juliette Bavard, Alden Walker

Abstract: We study two actions of big map** class groups. The first is an action by isometries on a Gromov-hyperbolic graph. The second is an action by homeomorphisms on a circle in which the vertices of the graph naturally embed. The first two parts of the paper are devoted to the definition of objects and tools needed to introduce these two actions; in particular, we define and prove the existence of… ▽ More We study two actions of big map** class groups. The first is an action by isometries on a Gromov-hyperbolic graph. The second is an action by homeomorphisms on a circle in which the vertices of the graph naturally embed. The first two parts of the paper are devoted to the definition of objects and tools needed to introduce these two actions; in particular, we define and prove the existence of equators for infinite type surfaces, we define the hyperbolic graph and the circle needed for the actions, and we describe the Gromov-boundary of the graph using the embedding of its vertices in the circle. The third part focuses on some fruitful relations between the dynamics of the two actions. For example, we prove that loxodromic elements (for the first action) necessarily have rational rotation number (for the second action). In addition, we are able to construct non trivial quasimorphisms on many subgroups of big map** class groups, even if they are not acylindrically hyperbolic. △ Less

Submitted 26 June, 2018; originally announced June 2018.

Comments: 38 pages, 13 figures

MSC Class: 20F67; 20F65

GCD sums and sum-product estimates

Authors: Thomas F. Bloom, Aled Walker

Abstract: In this note we prove a new estimate on so-called GCD sums (also called Gál sums), which, for certain coefficients, improves significantly over the general bound due to de la Bretèche and Tenenbaum. We use our estimate to prove new results on the equidistribution of sequences modulo 1, improving over a result of Aistleitner, Larcher, and Lewko on how the metric poissonian property relates to the n… ▽ More In this note we prove a new estimate on so-called GCD sums (also called Gál sums), which, for certain coefficients, improves significantly over the general bound due to de la Bretèche and Tenenbaum. We use our estimate to prove new results on the equidistribution of sequences modulo 1, improving over a result of Aistleitner, Larcher, and Lewko on how the metric poissonian property relates to the notion of additive energy. In particular, we show that arbitrary subsets of the squares are metric poissonian. △ Less

Submitted 20 June, 2018; originally announced June 2018.

Comments: 7 pages

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.

Descending chains of semistar operations

Authors: Hyun Seung Choi, Timothy McEldowney, Andrew Walker

Abstract: A class of integer-valued functions defined on the set of ideals of an integral domain $R$ is investigated. We show that this class of functions, which we call ideal valuations, are in one-to-one correspondence with countable descending chains of finite type, stable semistar operations with largest element equal to the $e$-operation. We use this class of functions to recover familiar semistar oper… ▽ More A class of integer-valued functions defined on the set of ideals of an integral domain $R$ is investigated. We show that this class of functions, which we call ideal valuations, are in one-to-one correspondence with countable descending chains of finite type, stable semistar operations with largest element equal to the $e$-operation. We use this class of functions to recover familiar semistar operations such as the $w$-operation and to give a solution to a conjecture by Chapman and Glaz when the ring is a valuation domain. △ Less

Submitted 14 November, 2017; originally announced November 2017.

MSC Class: 13A15

Additive energy and the metric Poissonian property

Authors: Thomas F. Bloom, Sam Chow, Ayla Gafni, Aled Walker

Abstract: Let $A$ be a set of natural numbers. Recent work has suggested a strong link between the additive energy of $A$ (the number of solutions to $a_1 + a_2 = a_3 + a_4$ with $a_i \in A$) and the metric Poissonian property, which is a fine-scale equidistribution property for dilates of $A$ modulo $1$. There appears to be reasonable evidence to speculate a sharp Khintchine-type threshold, that is, to spe… ▽ More Let $A$ be a set of natural numbers. Recent work has suggested a strong link between the additive energy of $A$ (the number of solutions to $a_1 + a_2 = a_3 + a_4$ with $a_i \in A$) and the metric Poissonian property, which is a fine-scale equidistribution property for dilates of $A$ modulo $1$. There appears to be reasonable evidence to speculate a sharp Khintchine-type threshold, that is, to speculate that the metric Poissonian property should be completely determined by whether or not a certain sum of additive energies is convergent or divergent. In this article, we primarily address the convergence theory, in other words the extent to which having a low additive energy forces a set to be metric Poissonian. △ Less

Submitted 23 February, 2018; v1 submitted 8 September, 2017; originally announced September 2017.

Comments: Slight changes from version 1 based on comments from the referee

MSC Class: 11J71; 11J83; 05B10; 11B30; 60F10

Journal ref: Mathematika 64 (2018) 679-700

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

Gowers norms control diophantine inequalities

Authors: Aled Walker

Abstract: A central tool in the study of systems of linear equations with integer coefficients is the Generalised von Neumann Theorem of Green and Tao. This theorem reduces the task of counting the weighted solutions of these equations to that of counting the weighted solutions for a particular family of forms, the Gowers norms $\Vert f \Vert_{U^{s+1}[N]}$ of the weight $f$. In this paper we consider system… ▽ More A central tool in the study of systems of linear equations with integer coefficients is the Generalised von Neumann Theorem of Green and Tao. This theorem reduces the task of counting the weighted solutions of these equations to that of counting the weighted solutions for a particular family of forms, the Gowers norms $\Vert f \Vert_{U^{s+1}[N]}$ of the weight $f$. In this paper we consider systems of linear inequalities with real coefficients, and show that the number of solutions to such weighted diophantine inequalities may also be bounded by Gowers norms. Furthermore, we provide a necessary and sufficient condition for a system of real linear forms to be governed by Gowers norms in this way. We present applications to cancellation of the Möbius function over certain sequences. The machinery developed in this paper can be adapted to the case in which the weights are unbounded but suitably pseudorandom, with applications to counting the number of solutions to diophantine inequalities over the primes. Substantial extra difficulties occur in this setting, however, and we have prepared a separate paper on these issues. △ Less

Submitted 31 March, 2020; v1 submitted 2 March, 2017; originally announced March 2017.

Comments: 75 pages. Reworked introduction based on referee comments. To appear in Algebra & Number Theory

Journal ref: Alg. Number Th. 14 (2020) 1457-1536

The primes are not metric Poissonian

Authors: Aled Walker

Abstract: It has been known since Vinogradov that, for irrational $α$, the sequence of fractional parts $\{αp\}$ is equidistributed in $\mathbb{R}/\mathbb{Z}$ as $p$ ranges over primes. There is a natural second-order equidistribution property, a pair correlation of such fractional parts, which has recently received renewed interest, in particular regarding its relation to additive combinatorics. In this pa… ▽ More It has been known since Vinogradov that, for irrational $α$, the sequence of fractional parts $\{αp\}$ is equidistributed in $\mathbb{R}/\mathbb{Z}$ as $p$ ranges over primes. There is a natural second-order equidistribution property, a pair correlation of such fractional parts, which has recently received renewed interest, in particular regarding its relation to additive combinatorics. In this paper we show that the primes do not enjoy this stronger equidistribution property. △ Less

Submitted 2 March, 2017; v1 submitted 23 February, 2017; originally announced February 2017.

Comments: 5 pages + references. Small corrections from version 1

Journal ref: Mathematika 64 (2018) 230-236

The radical of an n-absorbing ideal

Authors: Hyun Seung Choi, Andrew Walker

Abstract: In this note we show that in a commutative ring $R$ with unity, for any $n > 0$, if $I$ is an $n$-absorbing ideal of $R$, then $(\sqrt{I})^{n} \subseteq I$. In this note we show that in a commutative ring $R$ with unity, for any $n > 0$, if $I$ is an $n$-absorbing ideal of $R$, then $(\sqrt{I})^{n} \subseteq I$. △ Less

Submitted 31 October, 2016; originally announced October 2016.

Comments: 8 pages

Products of primes in arithmetic progressions: a footnote in parity breaking

Authors: Olivier Ramaré, Aled Walker

Abstract: We prove that, if $x$ and $q\leqslant x^{1/16}$ are two parameters, then for any invertible residue class $a$ modulo $q$ there exists a product of exactly three primes, each one below $x^{1/3}$, that is congruent to $a$ modulo $q$. We prove that, if $x$ and $q\leqslant x^{1/16}$ are two parameters, then for any invertible residue class $a$ modulo $q$ there exists a product of exactly three primes, each one below $x^{1/3}$, that is congruent to $a$ modulo $q$. △ Less

Submitted 23 February, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: 6 pages, to submitted to Journal de Théorie des Nombres de Bordeaux. Small corrections to previous version

Journal ref: J. Théorie Nombre Bordeaux, 30 (2018), 219-225

The Gromov boundary of the ray graph

Authors: Juliette Bavard, Alden Walker

Abstract: The ray graph is a Gromov hyperbolic graph on which the map** class group of the plane minus a Cantor set acts by isometries. We give a description of the Gromov boundary of the ray graph in terms of cliques of long rays on the plane minus a Cantor set. As a consequence, we prove that the Gromov boundary of the ray graph is homeomorphic to a quotient of a subset of the circle. This version con… ▽ More The ray graph is a Gromov hyperbolic graph on which the map** class group of the plane minus a Cantor set acts by isometries. We give a description of the Gromov boundary of the ray graph in terms of cliques of long rays on the plane minus a Cantor set. As a consequence, we prove that the Gromov boundary of the ray graph is homeomorphic to a quotient of a subset of the circle. This version contains some updates and corrections. △ Less

Submitted 27 August, 2018; v1 submitted 16 August, 2016; originally announced August 2016.

Comments: 32 pages, 20 figures

MSC Class: 20F67; 20F65

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

Graphs of Large Girth and Surfaces of Large Systole

Authors: Bram Petri, Alexander Walker

Abstract: The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are constructed by taking congruence covers of arithmetic surfaces. In this article we provide a new construction for a sequence of surfaces with systoles that grow l… ▽ More The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are constructed by taking congruence covers of arithmetic surfaces. In this article we provide a new construction for a sequence of surfaces with systoles that grow logarithmically in their genera. We do this by combining a construction for graphs of large girth and a count of the number of $\mathrm{SL}_2(\mathbb{Z})$ matrices with positive entries and bounded trace. △ Less

Submitted 21 December, 2015; originally announced December 2015.

Comments: 14 pages, 2 figures

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

A multiplicative analogue of Schnirelmann's theorem

Authors: Aled Walker

Abstract: The classical theorem of Schnirelmann states that the primes are an additive basis for the integers. In this paper we consider the analogous multiplicative setting of the cyclic group $\left(\mathbb{Z}/ q\mathbb{Z}\right)^{\times}$, and prove a similar result. For all suitably large primes $q$ we define $P_η$ to be the set of primes less than $ηq$, viewed naturally as a subset of… ▽ More The classical theorem of Schnirelmann states that the primes are an additive basis for the integers. In this paper we consider the analogous multiplicative setting of the cyclic group $\left(\mathbb{Z}/ q\mathbb{Z}\right)^{\times}$, and prove a similar result. For all suitably large primes $q$ we define $P_η$ to be the set of primes less than $ηq$, viewed naturally as a subset of $\left(\mathbb{Z}/ q\mathbb{Z}\right)^{\times}$. Considering the $k$-fold product set $P_η^{(k)}=\{p_1p_2\cdots p_k:p_i\in P_η\}$, we show that for $η\gg q^{-\frac{1}{4}+ε}$ there exists a constant $k$ depending only on $ε$ such that $P_η^{(k)}=\left(\mathbb{Z}/ q\mathbb{Z}\right)^{\times}$. Erdős conjectured that for $η= 1$ the value $k=2$ should suffice: although we have not been able to prove this conjecture, we do establish that $P_1 ^{(2)}$ has density at least $\frac{1}{64}(1+o(1))$. We also formulate a similar theorem in almost-primes, improving on existing results. △ Less

Submitted 25 February, 2016; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: 10 pages + references. Small corrections in light of comments from referee. To appear in Bulletin of the London Mathematical Society

Journal ref: Bull. London Math. Soc., 48 (2016), 1018-1028

Roots, Schottky semigroups, and a proof of Bandt's Conjecture

Authors: Danny Calegari, Sarah Koch, Alden Walker

Abstract: In 1985, Barnsley and Harrington defined a ``Mandelbrot Set'' $\mathcal{M}$ for pairs of similarities --- this is the set of complex numbers $z$ with $0<|z|<1$ for which the limit set of the semigroup generated by the similarities $x \mapsto zx$ and $x \mapsto z(x-1)+1$ is connected. Equivalently, $\mathcal{M}$ is the closure of the set of roots of polynomials with coefficients in… ▽ More In 1985, Barnsley and Harrington defined a ``Mandelbrot Set'' $\mathcal{M}$ for pairs of similarities --- this is the set of complex numbers $z$ with $0<|z|<1$ for which the limit set of the semigroup generated by the similarities $x \mapsto zx$ and $x \mapsto z(x-1)+1$ is connected. Equivalently, $\mathcal{M}$ is the closure of the set of roots of polynomials with coefficients in $\lbrace -1,0,1 \rbrace$. Barnsley and Harrington already noted the (numerically apparent) existence of infinitely many small ``holes'' in $\mathcal{M}$, and conjectured that these holes were genuine. These holes are very interesting, since they are ``exotic'' components of the space of (2 generator) Schottky semigroups. The existence of at least one hole was rigorously confirmed by Bandt in 2002, and he conjectured that the interior points are dense away from the real axis. We introduce the technique of traps to construct and certify interior points of $\mathcal{M}$, and use them to prove Bandt's Conjecture. Furthermore, our techniques let us certify the existence of infinitely many holes in $\mathcal{M}$. △ Less

Submitted 30 October, 2014; originally announced October 2014.

Comments: 66 pages, 27 figures

Stable immersions in orbifolds

Authors: Alden Walker

Abstract: We prove that in any hyperbolic orbifold with one boundary component, the product of any hyperbolic fundamental group element with a sufficiently large multiple of the boundary is represented by a geodesic loop that virtually bounds an immersed surface. In the case that the orbifold is a disk, there are some conditions. Our results generalize work of Calegari-Louwsma and resolve a conjecture of Ca… ▽ More We prove that in any hyperbolic orbifold with one boundary component, the product of any hyperbolic fundamental group element with a sufficiently large multiple of the boundary is represented by a geodesic loop that virtually bounds an immersed surface. In the case that the orbifold is a disk, there are some conditions. Our results generalize work of Calegari-Louwsma and resolve a conjecture of Calegari. △ Less

Submitted 21 August, 2014; v1 submitted 10 December, 2013; originally announced December 2013.

Comments: Better proofs; better pictures. (27 pages, 21 figures)

MSC Class: 57M07; 20F65; 57R42; 57R18

Journal ref: Algebr. Geom. Topol. 15 (2015) 1877-1908

Stable commutator length in free products of cyclic groups

Authors: Alden Walker

Abstract: We give an algorithm to compute stable commutator length in free products of cyclic groups which is polynomial time in the length of the input, the number of factors, and the orders of the finite factors. We also describe some experimental and theoretical applications of this algorithm. We give an algorithm to compute stable commutator length in free products of cyclic groups which is polynomial time in the length of the input, the number of factors, and the orders of the finite factors. We also describe some experimental and theoretical applications of this algorithm. △ Less

Submitted 23 April, 2013; originally announced April 2013.

Comments: 23 pages, 17 figures

MSC Class: 20F65; 20E06; 57M07; 20F05

Random groups contain surface subgroups

Authors: Danny Calegari, Alden Walker

Abstract: A random group contains many quasiconvex surface subgroups. A random group contains many quasiconvex surface subgroups. △ Less

Submitted 27 January, 2014; v1 submitted 8 April, 2013; originally announced April 2013.

Comments: 37 pages, 24 figures; version 2 incorporates referee comments

Journal ref: Jour. Amer. Math. Soc. 28 (2015), 383-419