Showing 1–10 of 10 results for author: Gafni, A

Improved bounds on number fields of small degree

Authors: Theresa C. Anderson, Ayla Gafni, Kevin Hughes, Robert J. Lemke Oliver, David Lowry-Duda, Frank Thorne, Jiuya Wang, Ruixiang Zhang

Abstract: We study the number of degree $n$ number fields with discriminant bounded by $X$. In this article, we improve an upper bound due to Schmidt on the number of such fields that was previously the best known upper bound for $6 \leq n \leq 94$. We study the number of degree $n$ number fields with discriminant bounded by $X$. In this article, we improve an upper bound due to Schmidt on the number of such fields that was previously the best known upper bound for $6 \leq n \leq 94$. △ Less

Submitted 25 October, 2023; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: 19 pages; now includes section 3, clarifying relationships between polynomial coefficients, polynomial roots, and etale algebras

MSC Class: 11R45; 11N45; 12E05; 11C08; 42B05

Uniform distribution and geometric incidence theory

Authors: A. Gafni, A. Iosevich, E. Wyman

Abstract: A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_εn^{1+ε}$ times (for any $ε>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the references contained therein). In three dimensions, the conjectured bound is $Cn^{\frac{4}{3}}$ (see e.g. \cite{KMSS12} and \cite{Z19}). In dimensions four and higher, this problem, i… ▽ More A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_εn^{1+ε}$ times (for any $ε>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the references contained therein). In three dimensions, the conjectured bound is $Cn^{\frac{4}{3}}$ (see e.g. \cite{KMSS12} and \cite{Z19}). In dimensions four and higher, this problem, in its general formulation, loses meaning because the Lens example shows that one can construct a set of $n$ points in dimension $4$ and higher where the unit distance arises $\approx n^2$ times (see e.g. \cite{B97}). However, the Lens example is one-dimension in nature, which raises the possibility that the unit distance conjecture is still quite interesting in higher dimensions under additional structural assumptions on the point set. This point of view was explored in \cite{I19}, \cite{IS16}, \cite{IMT12}, \cite{IRU14}, \cite{OO15} and has led to some interesting connections between the unit distance problem and its continuous counterparts, especially the Falconer distance conjecture (\cite{Falc85}). In this paper, we study the unit distance problem and its variants under the assumption that the underlying family of point sets is uniformly distributed. We prove several incidence bounds in this setting and clarify some key properties of uniformly distributed sequences in the context of incidence problems in combinatorial geometry. △ Less

Submitted 10 February, 2022; originally announced February 2022.

MSC Class: 14N10

Quantitative Hilbert irreducibility and almost prime values of polynomial discriminants

Authors: Theresa C. Anderson, Ayla Gafni, Robert J. Lemke Oliver, David Lowry-Duda, George Shakan, Ruixiang Zhang

Abstract: We study two polynomial counting questions in arithmetic statistics via a combination of Fourier analytic and arithmetic methods. First, we obtain new quantitative forms of Hilbert's Irreducibility Theorem for degree $n$ polynomials $f$ with $\mathrm{Gal}(f) \subseteq A_n$. We study this both for monic polynomials and non-monic polynomials. Second, we study lower bounds on the number of degree… ▽ More We study two polynomial counting questions in arithmetic statistics via a combination of Fourier analytic and arithmetic methods. First, we obtain new quantitative forms of Hilbert's Irreducibility Theorem for degree $n$ polynomials $f$ with $\mathrm{Gal}(f) \subseteq A_n$. We study this both for monic polynomials and non-monic polynomials. Second, we study lower bounds on the number of degree $n$ monic polynomials with almost prime discriminants, as well as the closely related problem of lower bounds on the number of degree $n$ number fields with almost prime discriminants. △ Less

Submitted 15 September, 2021; v1 submitted 6 July, 2021; originally announced July 2021.

Comments: Minor revisions

MSC Class: 11R45; 11N36; 11C08; 12E05

Partitions into prime powers

Authors: Ayla Gafni

Abstract: For a subset $\mathcal A\subset \mathbb N$, let $p_{\mathcal A}(n)$ denote the restricted partition function which counts partitions of $n$ with all parts lying in $\mathcal A$. In this paper, we use a variation of the Hardy-Littlewood circle method to provide an asymptotic formula for $p_{\mathcal A}(n)$, where $\mathcal A$ is the set of $k$-th powers of primes (for fixed $k$). This combines Vaug… ▽ More For a subset $\mathcal A\subset \mathbb N$, let $p_{\mathcal A}(n)$ denote the restricted partition function which counts partitions of $n$ with all parts lying in $\mathcal A$. In this paper, we use a variation of the Hardy-Littlewood circle method to provide an asymptotic formula for $p_{\mathcal A}(n)$, where $\mathcal A$ is the set of $k$-th powers of primes (for fixed $k$). This combines Vaughan's work on partitions into primes with the author's previous result about partitions into $k$-th powers. This new asymptotic formula is an extension of a pattern indicated by several results about restricted partition functions over the past few years. Comparing these results side-by-side, we discuss a general strategy by which one could analyze $p_{\mathcal A}(n )$ for a given set $\mathcal A$. △ Less

Submitted 20 February, 2021; v1 submitted 6 October, 2020; originally announced October 2020.

Comments: 21 pages

MSC Class: 11P82 (Primary) 11P55 (Secondary)

Almost all primes satisfy the Atkin-Serre conjecture and are not extremal

Authors: Ayla Gafni, Jesse Thorner, Peng-Jie Wong

Abstract: Let $f(z)=\sum_{n=1}^{\infty} a_f(n)e^{2πi n z}$ be a non-CM holomorphic cupsidal newform of trivial nebentypus and even integral level $k\geq 2$. Deligne's proof of the Weil conjectures shows that $|a_f(p)|\leq 2p^{\frac{k-1}{2}}$ for all primes $p$. We prove for 100% of primes $p$ that $2p^{\frac{k-1}{2}}\frac{\log\log p}{\sqrt{\log p}}<|a_f(p)|<\lfloor 2p^{\frac{k-1}{2}}\rfloor$. Our proof give… ▽ More Let $f(z)=\sum_{n=1}^{\infty} a_f(n)e^{2πi n z}$ be a non-CM holomorphic cupsidal newform of trivial nebentypus and even integral level $k\geq 2$. Deligne's proof of the Weil conjectures shows that $|a_f(p)|\leq 2p^{\frac{k-1}{2}}$ for all primes $p$. We prove for 100% of primes $p$ that $2p^{\frac{k-1}{2}}\frac{\log\log p}{\sqrt{\log p}}<|a_f(p)|<\lfloor 2p^{\frac{k-1}{2}}\rfloor$. Our proof gives an effective upper bound for the size of the exceptional set. The lower bound shows that the Atkin-Serre conjecture is satisfied for 100% of primes, and the upper bound shows that $|a_f(p)|$ is as large as possible (i.e., $p$ is extremal for $f$) for 0% of primes. Our proofs use the effective form of the Sato-Tate conjecture proved by the second author, which relies on the recent proof of the automorphy of the symmetric powers of $f$ due to Newton and Thorne. △ Less

Submitted 24 March, 2021; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: Condition requiring squarefree level is removed. Title change

Journal ref: Res. Number Theory 7 (2021), no. 2, 31

Extremal primes of elliptic curves without complex multiplication

Authors: C. David, A. Gafni, A. Malik, N. Prabhu, C. L. Turnage-Butterbaugh

Abstract: Fix an elliptic curve E over Q. An extremal prime for E is a prime p of good reduction such that the number of rational points on E modulo p is maximal or minimal in relation to the Hasse bound. Assuming that all the symmetric power L-functions associated to E are automorphic and satisfy the Generalized Riemann Hypothesis, we give the first non-trivial upper bounds for the number of such primes wh… ▽ More Fix an elliptic curve E over Q. An extremal prime for E is a prime p of good reduction such that the number of rational points on E modulo p is maximal or minimal in relation to the Hasse bound. Assuming that all the symmetric power L-functions associated to E are automorphic and satisfy the Generalized Riemann Hypothesis, we give the first non-trivial upper bounds for the number of such primes when E is a curve without complex multiplication. In order to obtain this bound, we use explicit equidistribution for the Sato-Tate measure as in the work of Rouse and Thorner (arXiv:1305.5283) and refine certain intermediate estimates taking advantage of the fact that extremal primes have a very small Sato-Tate measure. △ Less

Submitted 1 July, 2019; v1 submitted 13 July, 2018; originally announced July 2018.

Comments: 11 pages, to appear in the Proceedings of the American Mathematical Society

MSC Class: 11G05; 11N05

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

Power Partitions

Authors: Ayla Gafni

Abstract: In 1918, Hardy and Ramanujan published a seminal paper which included an asymptotic formula for the partition function. In their paper, they also claim without proof an asymptotic equivalence for $p^k(n)$, the number of partitions of a number $n$ into $k$-th powers. In this paper, we provide an asymptotic formula for $p^k(n)$, using the Hardy-Littlewood Circle Method. We also provide a formula for… ▽ More In 1918, Hardy and Ramanujan published a seminal paper which included an asymptotic formula for the partition function. In their paper, they also claim without proof an asymptotic equivalence for $p^k(n)$, the number of partitions of a number $n$ into $k$-th powers. In this paper, we provide an asymptotic formula for $p^k(n)$, using the Hardy-Littlewood Circle Method. We also provide a formula for the difference function $p^k(n+1)-p^k(n)$. As a necessary step in the proof, we obtain a non-trivial bound on exponential sums of the form $\sum_{m=1}^q e(\frac{am^k}{q})$. △ Less

Submitted 19 June, 2015; originally announced June 2015.

MSC Class: 11L03; 11P05; 11P55; 11P82

Counting rational points near planar curves

Authors: Ayla Gafni

Abstract: We find an asymptotic formula for the number of rational points near planar curves. More precisely, if $f:\mathbb{R}\rightarrow\mathbb{R}$ is a sufficiently smooth function defined on the interval $[η,ξ]$, then the number of rational points with denominator no larger than $Q$ that lie within a $δ$-neighborhood of the graph of $f$ is shown to be asymptotically equivalent to $(ξ-η)δQ^2$. We find an asymptotic formula for the number of rational points near planar curves. More precisely, if $f:\mathbb{R}\rightarrow\mathbb{R}$ is a sufficiently smooth function defined on the interval $[η,ξ]$, then the number of rational points with denominator no larger than $Q$ that lie within a $δ$-neighborhood of the graph of $f$ is shown to be asymptotically equivalent to $(ξ-η)δQ^2$. △ Less

Submitted 20 January, 2014; originally announced January 2014.

MSC Class: 11J83; 11K60; 11J13

Longest Run of Equal Parts in a Random Integer Composition

Authors: Ayla Gafni

Abstract: This note examines a problem in enumerative and asymptotic combinatorics involving the classical structure of integer compositions. What is sought is an analysis on average and in distribution of the length of the longest run of consecutive equal parts in a composition of size n. The problem was recently posed by Herbert Wilf (see arXiv: 0906.5196). This note examines a problem in enumerative and asymptotic combinatorics involving the classical structure of integer compositions. What is sought is an analysis on average and in distribution of the length of the longest run of consecutive equal parts in a composition of size n. The problem was recently posed by Herbert Wilf (see arXiv: 0906.5196). △ Less

Submitted 31 July, 2009; originally announced July 2009.

Comments: 15 pages, 3 figures

MSC Class: 05A15; 05A16