arXiv subjects

Will Sawin

Publications and source records attributed to Will Sawin.

At least 55 records · Page 3Linked to original sources

arXiv2021

An improved lower bound for multicolor Ramsey numbers and the half-multiplicity Ramsey number problem

The multicolor Ramsey number problem asks, for each pair of natural numbers $\ell$ and $t$, for the largest $\ell$-coloring of a complete graph with no monochromatic clique of size $t$. Recent works of Conlon-Ferber and Wigderson have improved the longstanding lower bound for this problem. We make a further improvement by replacing an explicit graph appearing in their constructions by a random graph. Graphs useful for this construction are exactly those relevant for a problem of Erdős on graphs with no large cliques and few large independent sets. We also make some basic observations about this problem.

math.CO↗

arXiv2021

Topological reconstruction theorems for varieties

We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proofs rely heavily on new variants of the classical Fundamental Theorem of Projective Geometry of Veblen and Young. For proper normal varieties over uncountable algebraically closed fields of characteristic 0, we show that the Zariski topological space can be used to recover the linear equivalence relation on divisors. As a consequence, we show that the underlying scheme of any such variety is uniquely determined by its Zariski topological space. We use this to prove a topological version of Gabriel's theorem, stating that a proper normal variety over an uncountable algebraically closed field of characteristic 0 is determined by its category of constructible abelian étale sheaves. We also discuss a conjecture in arbitrary characteristic, relating the Zariski topological space to the perfection of a proper normal variety.

math.AG↗

arXiv2020

A geometric approach to the sup-norm problem for automorphic forms: the case of newforms on $GL_2(\mathbb F_q(T))$ with squarefree level

The sup-norm problem in analytic number theory asks for the largest value taken by a given automorphic form. We observe that the function-field version of this problem can be reduced to the geometric problem of finding the largest dimension of the $i$th stalk cohomology group of a given Hecke eigensheaf at any point. This problem, in turn, can be reduced to the intersection-theoretic problem of bounding the "polar multiplicities" of the characteristic cycle of the Hecke eigensheaf, which in known cases is the nilpotent cone of the moduli space of Higgs bundles. We solve this problem for newforms on $GL_2 (\mathbb A_{\mathbb F_q(t)})$ of squarefree level, leading to bounds on the sup-norm that are stronger than what is known in the analogous problem for newforms on $GL_2(\mathbb A_{\mathbb Q})$ (i.e. classical holomorphic and Maass modular forms.)

math.NT↗

arXiv2020

Bounds for the stalks of perverse sheaves in characteristic p and a conjecture of Shende and Tsimerman

We prove a characteristic p analogue of a result of Massey which bounds the dimensions of the stalks of a perverse sheaf in terms of certain intersection multiplicities of the characteristic cycle of that sheaf. This uses the construction of the characteristic cycle of a perverse sheaf in characteristic p by Saito. We apply this to prove a conjecture of Shende and Tsimerman on the Betti numbers of the intersections of two translates of theta loci in a hyperelliptic Jacobian. This implies a function field analogue of the Michel-Venkatesh mixing conjecture about the equidistribution of CM points on a product of two modular curves.

math.AG↗

arXiv2020

On the Ramanujan conjecture for automorphic forms over function fields I. Geometry

Let $G$ be a split semisimple group over a function field. We prove the temperedness at unramified places of automorphic representations of $G$, subject to a local assumption at one place, stronger than supercuspidality, and assuming the existence of cyclic base change with good properties. Our method relies on the geometry of $\operatorname{Bun}_G$. It is independent of the work of Lafforgue on the global Langlands correspondence.

math.RT↗

arXiv2020

Möbius cancellation on polynomial sequences and the quadratic Bateman-Horn conjecture over function fields

We establish cancellation in short sums of certain special trace functions over $\mathbb{F}_q[u]$ below the Pólya-Vinogradov range, with savings approaching square-root cancellation as $q$ grows. This is used to resolve the $\mathbb{F}_q[u]$-analog of Chowla's conjecture on cancellation in Möbius sums over polynomial sequences, and of the Bateman-Horn conjecture in degree $2$, for some values of $q$. A final application is to sums of trace functions over primes in $\mathbb{F}_q[u]$.

math.NT↗

arXiv2020

Cohen-Lenstra heuristics and bilinear pairings in the presence of roots of unity

Let $L/K$ be a quadratic extension of global fields. We study Cohen-Lenstra heuristics for the $\ell$-part of the relative class group $G_{L/K} := \textrm{Cl}(L/K)$ when $K$ contains $\ell^n$th roots of unity. While the moments of a conjectural distribution in this case had previously been described, no method to calculate the distribution given the moments was known. We resolve this issue by introducing new invariants associated to the class group, $ψ_{L/K}$ and $ω_{L/K},$ and study the distribution of $(G_{L/K}, ψ_{L/K}, ω_{L/K})$ using a linear random matrix model. Using this linear model, we calculate the distribution (including our new invariants) in the function field case, and then make local adjustments at the primes lying over $\ell$ and $\infty$ to make a conjecture in the number field case, which agrees with some numerical experiments.

math.NT↗

arXiv2020

HNHN: Hypergraph Networks with Hyperedge Neurons

Hypergraphs provide a natural representation for many real world datasets. We propose a novel framework, HNHN, for hypergraph representation learning. HNHN is a hypergraph convolution network with nonlinear activation functions applied to both hypernodes and hyperedges, combined with a normalization scheme that can flexibly adjust the importance of high-cardinality hyperedges and high-degree vertices depending on the dataset. We demonstrate improved performance of HNHN in both classification accuracy and speed on real world datasets when compared to state of the art methods.

cs.LG↗

arXiv2020

COPT: Coordinated Optimal Transport for Graph Sketching

We introduce COPT, a novel distance metric between graphs defined via an optimization routine, computing a coordinated pair of optimal transport maps simultaneously. This gives an unsupervised way to learn general-purpose graph representation, applicable to both graph sketching and graph comparison. COPT involves simultaneously optimizing dual transport plans, one between the vertices of two graphs, and another between graph signal probability distributions. We show theoretically that our method preserves important global structural information on graphs, in particular spectral information, and analyze connections to existing studies. Empirically, COPT outperforms state of the art methods in graph classification on both synthetic and real datasets.

cs.LG↗

arXiv2020

The Hasse principle for random Fano hypersurfaces

It is known that the Brauer--Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least $3$ over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot-Thélène that the Brauer--Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at least $3$. This proves a conjecture of Poonen and Voloch in every case except for cubic surfaces.

math.NT↗

arXiv2020

Singularities and vanishing cycles in number theory over function fields

This article is an overview of the vanishing cycles method in number theory over function fields. We first explain how this works in detail in a toy example, and then give three examples which are relevant to current research. The focus will be a general explanation of which sorts of problems this method can be applied to.

math.NT↗

arXiv2020

Square-root cancellation for sums of factorization functions over short intervals in function fields

We present new estimates for sums of the divisor function, and other similar arithmetic functions, in short intervals over function fields. (When the intervals are long, one obtains a good estimate from the Riemann hypothesis.) We obtain an estimate that approaches square root cancellation as long as the characteristic of the finite field is relatively large. This is done by a geometric method, inspired by work of Hast and Matei, where we calculate the singular locus of a variety whose $\mathbb F_q$-points control this sum. This has applications to highly unbalanced moments of $L$-functions.

math.NT↗

arXiv2020

Free rational points on smooth hypersurfaces

Motivated by a recent question of Peyre, we apply the Hardy-Littlewood circle method to count "sufficiently free" rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the rational numbers.

math.NT↗

arXiv2020

Freeness alone is insufficient for Manin-Peyre

Manin's conjecture predicts the number of rational points of bounded height on a Fano variety. To make this prediction precise, it is necessary to remove a thin subset of rational points. Peyre has tentatively proposed replacing this subset by the set of points where a certain freeness function he defined takes small values. We show that this proposal fails in the case of $\operatorname{Hilb}^2(\mathbb P^n)$, because the usual thin subset, consisting of rational points that lift to a certain double cover, contains many points with relatively large freeness.

math.NT↗

arXiv2019

Periodic twists of $GL_3$-automorphic forms

We prove that sums of length about $q^{3/2}$ of Hecke eigenvalues of automorphic forms on $SL_3(\Zz)$ do not correlate with $q$-periodic functions with bounded Fourier transform. This generalizes the earlier results of Munshi and Holowinsky--Nelson, corresponding to multiplicative Dirichlet characters, and applies in particular to trace functions of small conductor modulo primes.

math.NT↗

arXiv2019

The second moment theory of families of L-functions

For a fairly general family of L-functions, we survey the known consequences of the existence of asymptotic formulas with power-sawing error term for the (twisted) first and second moments of the central values in the family. We then consider in detail the important special case of the family of twists of a fixed cusp form by primitive Dirichlet characters modulo a prime q, and prove that it satisfies such formulas. We derive arithmetic consequences: - a positive proportion of central values L(f x chi, 1/2) are non-zero, and indeed bounded from below; - there exist many characters chi for which the central L-value is very large; - the probability of a large analytic rank decays exponentially fast. We finally show how the second moment estimate establishes a special case of a conjecture of Mazur and Rubin concerning the distribution of modular symbols.

math.NT↗

arXiv2019

Chebotarev density theorem in short intervals for extensions of $\mathbb{F}_q(T)$

An old open problem in number theory is whether Chebotarev density theorem holds in short intervals. More precisely, given a Galois extension $E$ of $\mathbb{Q}$ with Galois group $G$, a conjugacy class $C$ in $G$ and an $1\geq \varepsilon>0$, one wants to compute the asymptotic of the number of primes $x\leq p\leq x+x^{\varepsilon}$ with Frobenius conjugacy class in $E$ equal to $C$. The level of difficulty grows as $\varepsilon$ becomes smaller. Assuming the Generalized Riemann Hypothesis, one can merely reach the regime $1\geq\varepsilon>1/2$. We establish a function field analogue of Chebotarev theorem in short intervals for any $\varepsilon>0$. Our result is valid in the limit when the size of the finite field tends to $\infty$ and when the extension is tamely ramified at infinity. The methods are based on a higher dimensional explicit Chebotarev theorem, and applied in a much more general setting of arithmetic functions, which we name $G$-factorization arithmetic functions.

math.NT↗

arXiv2019

Correlation of arithmetic functions over $\mathbb{F}_q[T]$

For a fixed polynomial $Δ$, we study the number of polynomials $f$ of degree $n$ over $\mathbb F_q$ such that $f$ and $f+Δ$ are both irreducible, an $\mathbb F_q[T]$-analogue of the twin primes problem. In the large-$q$ limit, we obtain a lower-order term for this count if we consider non-monic polynomials, which depends on $Δ$ in a manner which is consistent with the Hardy-Littlewood Conjecture. We obtain a saving of $q$ if we consider monic polynomials only and $Δ$ is a scalar. To do this, we use symmetries of the problem to get for free a small amount of averaging in $Δ$. This allows us to obtain additional saving from equidistribution results for $L$-functions. We do all this in a combinatorial framework that applies to more general arithmetic functions than the indicator function of irreducibles, including the Möbius function and divisor functions.

math.NT↗