BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Zachary Scherr appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this short note we use the polynomial partitioning lemma to strengthen a recent result of Dvir and Gopi about the number of rich lines in high dimensional Euclidean spaces. Our result shows that if there are sufficiently many rich lines incident to a set of points then large fraction of them must be contained in a hyperplane.
We draw a new connection between Coppersmith's method for finding small solutions to polynomial congruences modulo integers and the capacity theory of adelic subsets of algebraic curves. Coppersmith's method uses lattice basis reduction to construct an auxiliary polynomial that vanishes at the desired solutions. Capacity theory provides a toolkit for proving when polynomials with certain boundedness properties do or do not exist. Using capacity theory, we prove that Coppersmith's bound for univariate polynomials is optimal in the sense that there are \emph{no} auxiliary polynomials of the type he used that would allow finding roots of size $N^{1/d+ε}$ for monic degree-$d$ polynomials modulo $N$. Our results rule out the existence of polynomials of any degree and do not rely on lattice algorithms, thus eliminating the possibility of even superpolynomial-time improvements to Coppersmith's bound. We extend this result to constructions of auxiliary polynomials using binomial polynomials, and rule out the existence of any auxiliary polynomial of this form that would find solutions of size $N^{1/d+ε}$ unless $N$ has a very small prime factor.
Planar functions over finite fields give rise to finite projective planes and other combinatorial objects. They were originally defined only in odd characteristic, but recently Zhou introduced a definition in even characteristic which yields similar applications. In this paper we show that certain functions over $\mathbb{F}_{2^r}$ are planar, which proves a conjecture of Schmidt and Zhou. The key to our proof is a new result about the $\mathbb{F}_{q^3}$-rational points on the degree-$(q-1)$ Fermat curve $x^{q-1}+y^{q-1}=z^{q-1}$.
Let K be a number field and let S be a finite set of places of K which contains all the Archimedean places. For any f(z) in K(z) of degree d at least 2 which is not a d-th power in \bar{K}(z), Siegel's theorem implies that the image set f(K) contains only finitely many S-units. We conjecture that the number of such S-units is bounded by a function of |S| and d (independently of K and f). We prove this conjecture for several classes of rational functions, and show that the full conjecture follows from the Bombieri--Lang conjecture.
Let A be an abelian surface over F_q, the field of q elements. The rational points on A/\F_q form an abelian group A(\F_q) \simeq \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z. We are interested in knowing which groups of this shape actually arise as the group of points on some abelian surface over some finite field. For a fixed prime power q, a characterization of the abelian groups that occur was recently found by Rybakov. One can use this characterization to obtain a set of congruences modulo the integers $n_1, n_2, n_3, n_4$ on certain combinations of coefficients of the corresponding Weil polynomials. We use Rybakov's criterion to show that groups \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z do not occur if n_1 is very large with respect to n_2, n_2, n_4 (Theorem \ref{splitbound}), and occur with density zero in a wider range of the variables (Theorem \ref{splitbound-average}).
We construct Belyi maps having specified behavior at finitely many points. Specifically, for any curve C defined over Q-bar, and any disjoint finite subsets S, T in C(Q-bar), we construct a finite morphism f: C -> P^1 such that f ramifies at each point in S, the branch locus of f is {0,1, infty}, and f(T) is disjoint from {0,1, infty}. This refines a result of Mochizuki's. We also prove an analogous result over fields of positive characteristic, and in addition we analyze how many different Belyi maps f are required to imply the above conclusion for a single C and S and all sets T in C(Q-bar) \ S of prescribed cardinality.