SearcharxivSearch

arXiv subjects

Will Sawin

Publications and source records attributed to Will Sawin.

At least 19 recordsLinked to original sources

Sets of unit fractions without two members whose average is a unit fraction

We show that there is a constant $c>0$ such that, for all sufficiently large $N$, there is a subset $A \subseteq \{1,\dots,N\}$ of size $>cN$ such that for any two distinct elements $a,b$ in $A$, the average of $\frac{1}{a}$ and $\frac{1}{b}$ is not a unit fraction, negatively answering a question of Erdős and Graham. This also gives the best known lower bounds on the maximum size of a set of unit fractions without non-trivial three-term arithmetic progressions.

math.NT

Muon$^p$: Muon with Fractional Spectral Powers

Muon is an increasingly widely used optimizer that replaces a gradient $G=USV^\top$ with its polar factor $UV^\top$, thereby flattening the singular spectrum. However, full flattening discards singular-value information that may matter for adaptation. We introduce Muon$^p$, a Muon-style optimizer that instead uses fractional spectral-power updates $US^pV^\top$ for rational $p\in(0,1)$, interpolating between Muon and gradient descent. To make it practical, we prove that fractional spectral powers cannot be computed by any fixed univariate polynomial iteration, and furthermore derive low-degree odd bivariate recurrences that approximate $US^pV^\top$ using only matrix multiplications, preserving Muon's matrix-multiplication-only structure and compute complexity. We show that Muon$^p$ maximizes the linear improvement in loss under the Schatten $q$-norm for $q=1+\frac{1}{p}$. Empirically, Muon$^p$ is especially effective for finetuning: on billion-scale models, Muon$^p$ improves validation perplexity and downstream task performance. We further analyze when Muon$^p$ is less suitable, through the lens of spectral geometry. Our results reveal important insights on when preserving the singular spectrum can bring significant gains, and introduce a principled way to achieve them.

cs.LG

The sum-product conjecture is false for real numbers

We disprove the sum-product conjecture for real numbers by constructing arbitrarily large $A\subset \mathbb{R}$ (whose elements are algebraic integers in a number field of degree $\asymp \log\lvert A\rvert$) such that \[\max(\lvert A+A\rvert ,\lvert AA\rvert)\leq \lvert A\rvert^{2-c}\] where $c>0$ is an absolute constant. We also disprove the many sums and products conjecture by constructing, for any $k\geq 3$, arbitrarily large $A\subset \mathbb{R}$ such that \[\max(\lvert kA\rvert,\lvert A^{(k)}\rvert)\leq \lvert A\rvert^{C\frac{\log k}{\log\log k}}\] for some constant $C>0$. We obtain similar constructions for $p$-adics, finite fields, and function fields in positive characteristic, and also obtain new lower bounds for the number of solutions to linear equations in a multiplicative group and the number of solutions to the unit equation in sufficiently many variables.

math.NT

An explicit lower bound for the unit distance problem

We show that there are sets of $n$ points in the plane with $n$ arbitrarily large that contain more than $n^{1.014}$ pairs of points separated by a distance exactly $1$. This improves on very recent work of a team at OpenAI, who proved the same result with an inexplicit exponent greater than $1$, drastically improving on the best previous lower bound and disproving a conjecture of Erdős. The method is number-theoretic, relying on constructing algebraic number fields of large degree and small discriminant with many primes of small norm via a Golod-Shafarevich criterion argument.

math.CO

Remarks on the disproof of the unit distance conjecture

We present a short, digested, human-verified version of the recent OpenAI-generated counterexample to the Erdős unit distance conjecture, and a sequence of reflections on it. The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.

math.CO

The asymptotic in Waring's problem over function fields via a singular locus in the circle method

We give results on the asymptotic in Waring's problem over function fields that are stronger than the results obtained over the integers using the main conjecture in Vinogradov's mean value theorem. Similar estimates apply to Manin's conjecture for Fermat hypersurfaces over function fields. Following an idea of Pugin, rather than applying analytic methods to estimate the minor arcs, we treat them as complete exponential sums over finite fields and apply results of Katz, which bound the sum in terms of the dimension of a certain singular locus, which we estimate by tangent space calculations.

math.NT

Distributions of unramified extensions of global fields

Given a finite group $Γ$, we prove results on the distribution of the prime-to-$q|Γ|$ part of fundamental groups of $Γ$-covers of the projective line $\mathbb P^1_{\mathbb F_q}$ over a finite field $\mathbb F_q$ as $q\to\infty$. Equivalently, this is a result on the distribution of the Galois groups of maximal unramified extensions of $Γ$-extensions of $\mathbb F_q(t)$, and thereby motivates a new conjecture on the distribution of Galois groups of maximal unramified extensions of $Γ$-extensions of a number field. In particular, this allows us to see and predict the effect of roots of unity in the base field on such distributions. We introduce the idea to study these groups along with the class in their 3rd homology group that arises from Artin-Verdier Duality. This invariant refines the lifting invariant that, in the function field setting, corresponds to stable components of Hurwitz space. One major input into our function field results is an application of our recently developed methods to determine a distribution of groups (or more general algebraic structures) from its moments. We prove non-existence results in the number field case that support our conjectures in the case where our conjectures predict certain kinds of groups occur with probability zero.

math.NT

Bilinear forms with trace functions

We obtain non-trivial bounds for bilinear sums of trace functions below the Pólya-Vinogradov range assuming only that the geometric monodromy group of the underlying ell-adic sheaf satisfies certain simple structural properties, in contrast to previous works which handled only special cases of Kloosterman and hypergeometric sheaves. Our approach builds on a general "soft" stratification theorem for sums of products of trace functions, based on an idea of Junyan Xu, combined with a new robust version of the Goursat-Kolchin-Ribet criterion.

math.NT

Toroidal families and averages of $L$-functions, II: cubic moments

Generalizing our previous work on ``toroidal averages'', we study the average of special values of $L$-functions of the form $L(1/2,χ^a)L(1/2,χ^b)L(1/2,χ^c)$ for integers $a$, $b$ and $c$, where $χ$ varies over Dirichlet characters of a given prime modulus. We highlight connections with estimates for bilinear forms of trace functions and with bounds for the number of solutions of monoidal equations in three variables in small boxes over finite fields.

math.NT

Functional equations of axiomatic multiple Dirichlet series, Weyl groupoids, and quantum algebra

We prove functional equations for multiple Dirichlet series defined by a collection of five geometric axioms. We find functional equations of two types: one modeled on the functional equations of Dirichlet $L$-functions, and another modeled on the functional equations of Kubota $L$-series with Gauss sums as coefficients. These functional equations generate groupoid structures, which we relate to the Weyl groupoids of arithmetic root systems. From the known classification of arithmetic root systems, we obtain a complete classification of multiple Dirichlet series which can be used to compute moments of $L$-functions via established analytic techniques. Our classification includes all moments of $L$-functions which have appeared in the multiple Dirichlet series literature previously, alongside some new moments. Finally, we give applications of our functional equations to quantum algebra, specifically the cohomology of Nichols algebras.

math.NT

Counting number fields of fixed degree by their smallest defining polynomial

When do two irreducible polynomials with integer coefficients define the same number field? One can define an action of $\mathrm{GL}_2 \times \mathrm{GL}_1$ on the space of polynomials of degree $n$ so that for any two polynomials $f$ and $g$ in the same orbit, the roots of $f$ may be expressed as rational linear transformations of the roots of $g$; thus, they generate the same field. In this article, we show that almost all polynomials of degree $n$ with size at most $X$ can only define the same number field as another polynomial of degree $n$ with size at most $X$ if they lie in the same orbit for this group action. (Here we measure the size of polynomials by the greatest absolute value of their coefficients.) This improves on work of Bhargava, Shankar, and Wang, who proved a similar statement for a positive proportion of polynomials. Using this result, we prove that the number of degree $n$ fields such that the smallest polynomial defining the field has size at most $X$ is asymptotic to a constant times $X^{n+1}$ as long as $n\geq 3$. For $n = 2$, we obtain a precise asymptotic of the form $\frac{27}{π^2} X^2$.

math.NT

Short sums of trace functions over function fields and their applications

For large enough (but fixed) prime powers $q$, and trace functions to squarefree moduli in $\mathbb{F}_q[u]$ with slopes at most $1$ at infinity, and no Artin--Schreier factors in their geometric global monodromy, we come close to square-root cancellation in short sums. A special case is a function field version of Hooley's Hypothesis $R^*$ for short Kloosterman sums. As a result, we are able to make progress on several problems in analytic number theory over $\mathbb{F}_q[u]$ such as Mordell's problem on the least residue class not represented by a polynomial and the variance of short Kloosterman sums.

math.NT

Random Diophantine equations of large degree

Among the set of hypersurfaces of degree $d$ and dimension $\ell$ defined by the vanishing of a homogeneous polynomial with coefficients $\pm 1$, we investigate the probability that a hypersurface contains a rational point as $d$ and $\ell$ tend to infinity.

math.NT

Murmurations for elliptic curves ordered by height

He, Lee, Oliver, and Pozdnyakov~\cite{HLOP} have empirically observed that the average of the $p$th coefficients of the $L$-functions of elliptic curves of particular ranks in a given range of conductors $N$ appears to approximate a continuous function of $p$, depending primarily on the parity of the rank. Hence the sum of $p$th coefficients against the root number also appears to approximate a continuous function, dubbed the murmuration density. However, it is not clear from this numerical data how to obtain an explicit formula for the murmuration density. Convergence of similar averages was proved by Zubrilina~\cite{Zubrilina} for modular forms of weight $2$ (of which elliptic curves form a thin subset) and analogous results for other families of automorphic forms have been obtained in further work~\cite{BBLLD,LOP}. Each of these works gives an explicit formula for the murmuration density. We consider a variant problem where the elliptic curves are ordered by naive height, and the $p$th coefficients are averaged over $p/N$ in a fixed interval. We give a conjecture for the murmuration density in this case, as an explicit but complicated sum of Bessel functions. This conjecture is motivated by a theorem about a variant problem where we sum the $n$th coefficients for $n$ with no small prime factors against a smooth weight function. We test this conjecture for elliptic curves of naive height up to $2^{28}$ and find good agreement with the data. The theorem is proved using the Voronoi summation formula, and the method should apply to many different families of $L$-functions. By a similar approach, we give a prediction murmuration density for elliptic curves of prime conductor, ordered by conductor, again matching the data but lacking a motivating theorem. This is the first work to give an explicit formula for the murmuration density of a family of elliptic curves, in any ordering.

math.NT

The Shafarevich conjecture for hypersurfaces in abelian varieties

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many smooth hypersurfaces in $A$, with good reduction outside $S$, representing a given ample class in the Néron-Severi group of $A$, up to translation, as long as the dimension of $A$ is at least $4$. Our approach builds on the approach of arXiv:1807.02721 which studies $p$-adic variations of Hodge structure to turn finiteness results for $p$-adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.

math.NT

Big monodromy for higher Prym representations

Let $Σ_{g'}\to Σ_g$ be a cover of an orientable surface of genus g by an orientable surface of genus g', branched at n points, with Galois group H. Such a cover induces a virtual action of the mapping class group $\text{Mod}_{g,n+1}$ of a genus g surface with n+1 marked points on $H^1(Σ_{g'}, \mathbb{C})$. When g is large in terms of the group H, we calculate precisely the connected monodromy group of this action. The methods are Hodge-theoretic and rely on a "generic Torelli theorem with coefficients."

math.AG

Pairs of commuting integer matrices

We prove upper and lower bounds on the number of pairs of commuting $n\times n$ matrices with integer entries in $[-T,T]$, as $T\to \infty$. Our work uses Fourier analysis and leads us to an analysis of exponential sums involving matrices over finite fields. These are bounded by combining a stratification result of Fouvry and Katz with a new result about the flatness of the commutator Lie bracket.

math.NT

The independence and clique cover numbers of the squarefree graph

We determine the largest subset $A\subseteq \{1,\dotsc,n\}$ such that for all $a,b\in A$, the product $ab$ is not squarefree. Specifically, the maximum size is achieved by the complement of the odd squarefree numbers. This resolves a problem of Paul Erdős and András Sárközy from 1992.

math.CO