BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Lillian B. Pierce

Lillian B. Pierce appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.CAmath.FAmath.APmath.OC

Catalog footprint

What is connected

14works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

Counterexamples for high-degree generalizations of the Schrödinger maximal operator

In 1980 Carleson posed a question on the minimal regularity of an initial data function in a Sobolev space $H^s(\mathbb{R}^n)$ that implies pointwise convergence for the solution of the linear Schrödinger equation. After progress by many authors, this was recently resolved (up to the endpoint) by Bourgain, whose counterexample construction for the Schrödinger maximal operator proved a necessary condition on the regularity, and Du and Zhang, who proved a sufficient condition. Analogues of Carleson's question remain open for many other dispersive PDE's. We develop a flexible new method to approach such problems, and prove that for any integer $k\geq 2$, if a degree $k$ generalization of the Schrödinger maximal operator is bounded from $H^s(\mathbb{R}^n)$ to $L^1(B_n(0,1))$, then $s \geq \frac{1}{4} + \frac{n-1}{4((k-1)n+1)}.$ In dimensions $n \geq 2$, for every degree $k \geq 3$, this is the first result that exceeds a long-standing barrier at $1/4$. Our methods are number-theoretic, and in particular apply the Weil bound, a consequence of the truth of the Riemann Hypothesis over finite fields.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Counting problems: class groups, primes, and number fields

Each number field has an associated finite abelian group, the class group, that records certain properties of arithmetic within the ring of integers of the field. The class group is well-studied, yet also still mysterious. A central conjecture of Brumer and Silverman states that for each prime $\ell$, every number field has the property that its class group has very few elements of order $\ell$, where "very few" is measured relative to the absolute discriminant of the field. This paper surveys recent progress toward this conjecture, and outlines its close connections to counting prime numbers, counting number fields of fixed discriminant, and counting number fields of bounded discriminant.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Geometric generalizations of the square sieve, with an application to cyclic covers

We formulate a general problem: given projective schemes $\mathbb{Y}$ and $\mathbb{X}$ over a global field $K$ and a $K$-morphism $η$ from $\mathbb{Y}$ to $\mathbb{X}$ of finite degree, how many points in $\mathbb{X}(K)$ of height at most $B$ have a pre-image under $η$ in $\mathbb{Y}(K)$? This problem is inspired by a well-known conjecture of Serre on quantitative upper bounds for the number of points of bounded height on an irreducible projective variety defined over a number field. We give a non-trivial answer to the general problem when $K=\mathbb{F}_q(T)$ and $\mathbb{Y}$ is a prime degree cyclic cover of $\mathbb{X}=\mathbb{P}_{K}^n$. Our tool is a new geometric sieve, which generalizes the polynomial sieve to a geometric setting over global function fields.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On superorthogonality

In this survey, we explore how superorthogonality amongst functions in a sequence $f_1,f_2,f_3,\ldots$ results in direct or converse inequalities for an associated square function. We distinguish between three main types of superorthogonality, which we demonstrate arise in a wide array of settings in harmonic analysis and number theory. This perspective gives clean proofs of central results, and unifies topics including Khintchine's inequality, Walsh-Paley series, discrete operators, decoupling, counting solutions to systems of Diophantine equations, multicorrelation of trace functions, and the Burgess bound for short character sums.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An effective Chebotarev density theorem for families of number fields, with an application to $\ell$-torsion in class groups

We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming the Generalized Riemann Hypothesis. The error term in this new Chebotarev density theorem also avoids the effect of an exceptional zero of the Dedekind zeta function of $L$, without assuming GRH. We give many different "appropriate families," including families of arbitrarily large degree. To do this, we first prove a new effective Chebotarev density theorem that requires a zero-free region of the Dedekind zeta function. Then we prove that almost all number fields in our families yield such a zero-free region. The innovation that allows us to achieve this is a delicate new method for controlling zeroes of certain families of non-cuspidal $L$-functions. This builds on, and greatly generalizes the applicability of, work of Kowalski and Michel on the average density of zeroes of a family of cuspidal $L$-functions. A surprising feature of this new method, which we expect will have independent interest, is that we control the number of zeroes in the family of $L$-functions by bounding the number of certain associated fields with fixed discriminant. As an application of the new Chebotarev density theorem, we prove the first nontrivial upper bounds for $\ell$-torsion in class groups, for all integers $\ell \geq 1$, applicable to infinite families of fields of arbitrarily large degree.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On Matrix Rearrangement Inequalities

Given two symmetric and positive semidefinite square matrices $A, B$, is it true that any matrix given as the product of $m$ copies of $A$ and $n$ copies of $B$ in a particular sequence must be dominated in the spectral norm by the ordered matrix product $A^m B^n$? For example, is $$ \| AABAABABB \| \leq \| AAAAABBBB \|\ ? $$ Drury has characterized precisely which disordered words have the property that an inequality of this type holds for all matrices $A,B$. However, the $1$-parameter family of counterexamples Drury constructs for these characterizations is comprised of $3 \times 3$ matrices, and thus as stated the characterization applies only for $N \times N$ matrices with $N \geq 3$. In contrast, we prove that for $2 \times 2$ matrices, the general rearrangement inequality holds for all disordered words. We also show that for larger $N \times N$ matrices, the general rearrangement inequality holds for all disordered words, for most $A,B$ (in a sense of full measure) that are sufficiently small perturbations of the identity.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Burgess bounds for short character sums evaluated at forms

In this work we establish a Burgess bound for short multiplicative character sums in arbitrary dimensions, in which the character is evaluated at a homogeneous form that belongs to a very general class of "admissible" forms. This $n$-dimensional Burgess bound is nontrivial for sums over boxes of sidelength at least $q^β$, with $β> 1/2 - 1/(2(n+1))$. This is the first Burgess bound that applies in all dimensions to generic forms of arbitrary degree. Our approach capitalizes on a recent stratification result for complete multiplicative character sums evaluated at rational functions, due to the second author.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lower bounds for the truncated Hilbert transform

Given two intervals $I, J \subset \mathbb{R}$, we ask whether it is possible to reconstruct a real-valued function $f \in L^2(I)$ from knowing its Hilbert transform $Hf$ on $J$. When neither interval is fully contained in the other, this problem has a unique answer (the nullspace is trivial) but is severely ill-posed. We isolate the difficulty and show that by restricting $f$ to functions with controlled total variation, reconstruction becomes stable. In particular, for functions $f \in H^1(I)$, we show that $$ \|Hf\|_{L^2(J)} \geq c_1 \exp{\left(-c_2 \frac{\|f_x\|_{L^2(I)}}{\|f\|_{L^2(I)}}\right)} \| f \|_{L^2(I)} ,$$ for some constants $c_1, c_2 > 0$ depending only on $I, J$. This inequality is sharp, but we conjecture that $\|f_x\|_{L^2(I)}$ can be replaced by $\|f_x\|_{L^1(I)}$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On a discrete version of Tanaka's theorem for maximal functions

In this paper we prove a discrete version of Tanaka's Theorem \cite{Ta} for the Hardy-Littlewood maximal operator in dimension $n=1$, both in the non-centered and centered cases. For the discrete non-centered maximal operator $\widetilde{M} $ we prove that, given a function $f: \mathbb{Z} \to \mathbb{R}$ of bounded variation, $$\textrm{Var}(\widetilde{M} f) \leq \textrm{Var}(f),$$ where $\textrm{Var}(f)$ represents the total variation of $f$. For the discrete centered maximal operator $M$ we prove that, given a function $f: \mathbb{Z} \to \mathbb{R}$ such that $f \in \ell^1(\mathbb{Z})$, $$\textrm{Var}(Mf) \leq C \|f\|_{\ell^1(\mathbb{Z})}.$$ This provides a positive solution to a question of Hajłasz and Onninen \cite{HO} in the discrete one-dimensional case.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Counting rational points on smooth cyclic covers

A conjecture of Serre concerns the number of rational points of bounded height on a finite cover of projective space P^{n-1}. In this paper, we achieve Serre's conjecture in the special case of smooth cyclic covers of any degree when n is at least 10, and surpass it for covers of degree 3 or higher when n > 10. This is achieved by a new bound for the number of perfect r-th power values of a polynomial with nonsingular leading form, obtained via a combination of an r-th power sieve and the q-analogue of van der Corput's method.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A note on twisted discrete singular Radon transforms

In this paper we consider three types of discrete operators stemming from singular Radon transforms. We first extend an $\ell^p$ result for translation invariant discrete singular Radon transforms to a class of twisted operators including an additional oscillatory component, via a simple method of descent argument. Second, we note an $\ell^2$ bound for quasi-translation invariant discrete twisted Radon transforms. Finally, we extend an existing $\ell^2$ bound for a closely related non-translation invariant discrete oscillatory integral operator with singular kernel to an $\ell^p$ bound for all $1< p< \infty$. This requires an intricate induction argument involving layers of decompositions of the operator according to the Diophantine properties of the coefficients of its polynomial phase function.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On discrete fractional integral operators and mean values of Weyl Sums

In this paper we prove new $(\ell^p, \ell^q)$ bounds for a discrete fractional integral operator by applying techniques motivated by the circle method of Hardy and Littlewood to the Fourier multiplier of the operator. From a different perspective, we describe explicit interactions between the Fourier multiplier and mean values of Weyl sums. These mean values express the average behaviour of the number $r_{s,k}(l)$ of representations of a positive integer $l$ as a sum of $s$ positive $k$-th powers. Recent deep results within the context of Waring's problem and Weyl sums enable us to prove a further range of complementary results for the discrete operator under consideration.

0 citations0 reviewsNo code linkedOpen access