Search

Quantum cat maps are toy models in quantum chaos associated to hyperbolic symplectic matrices $A\in \operatorname{Sp}(2n,\mathbb{Z})$. The macroscopic limits of sequences of eigenfunctions of a quantum cat map are characterized by semiclassical measures on the torus $\mathbb{R}^{2n}/\mathbb{Z}^{2n}$. We show that if the characteristic polynomial of every power $A^k$ is irreducible over the rationals, then every semiclassical measure has full support. The proof uses an earlier strategy of Dyatlov-J\'ez\'equel [arXiv:2108.10463] and the higher-dimensional fractal uncertainty principle of Cohen [arXiv:2305.05022]. Our irreducibility condition is generically true, in fact we show that asymptotically for $100\%$ of matrices $A$, the Galois group of the characteristic polynomial of $A$ is $S_2 \wr S_n$. When the irreducibility condition does not hold, we show that a semiclassical measure cannot be supported on a finite union of parallel non-coisotropic subtori. On the other hand, we give examples of semiclassical measures supported on the union of two transversal symplectic subtori for $n=2$, inspired by the work of Faure-Nonnenmacher-De Bi\`evre [arXiv:nlin/0207060] in the case $n=1$. This is complementary to the examples by Kelmer [arXiv:math-ph/0510079] of semiclassical measures supported on a single coisotropic subtorus., Comment: 64 pages, 2 figures; with an appendix by Theresa C. Anderson and Robert J. Lemke Oliver

A series of longstanding questions in harmonic analysis ask if the intersection of all prime ``$p$-adic versions" of an object, such as a doubling measure, or a Muckenhoupt or reverse H\"older weight, recovers the full object. Investigation into these questions was reinvigorated in 2019 by work of Boylan-Mills-Ward, culminating in showing that this recovery fails for a finite intersection in work of Anderson-Bellah-Markman-Pollard-Zeitlin. Via generalizing a new number-theoretic construction therein, we answer these questions.

We study the Galois groups $G_f$ of degree $2n$ reciprocal (a.k.a. palindromic) polynomials $f$ of height at most $H$, finding that $G_f$ falls short of the maximal possible group $S_2 \wr S_n$ for a proportion of all $f$ bounded above and below by constant multiples of $H^{-1} \log H$, whether or not $f$ is required to be monic. This answers a 1998 question of Davis-Duke-Sun and extends Bhargava's 2023 resolution of van der Waerden's 1936 conjecture on the corresponding question for general polynomials. Unlike in that setting, the dominant contribution comes not from reducible polynomials but from those $f$ for which $(-1)^n f(1) f(-1)$ is a square, causing $G_f$ to lie in an index-$2$ subgroup., Comment: 21 pages

Using a wide array of machinery from diverse fields across mathematics, we provide a construction of a measure on the real line which is doubling on all $n$-adic intervals for any finite list of $n\in\mathbb{N}$, yet not doubling overall. In particular, we extend previous results in the area, where only two coprime numbers $n$ were allowed, by using substantially new ideas. In addition, we provide several nontrivial applications to reverse H\"older weights, $A_p$ weights, Hardy spaces, BMO and VMO function classes, and connect our results with key principles and conjectures across number theory., Comment: 24 pages, 3 figures

We decompose the discrete bilinear spherical averaging operator into simpler operators in several ways. This leads to a wide array of extensions, such as to the simplex averaging operator, and applications, such as to operator bounds.

We prove that a maximally modulated singular oscillatory integral operator along a hypersurface defined by $(y,Q(y))\subseteq \mathbb{R}^{n+1}$, for an arbitrary non-degenerate quadratic form $Q$, admits an a priori bound on $L^p$ for all $1

We examine the class of weakly porous sets in Euclidean spaces. As our first main result we show that the distance weight $w(x)=\operatorname{dist}(x,E)^{-\alpha}$ belongs to the Muckenhoupt class $A_1$, for some $\alpha>0$, if and only if $E\subset\mathbb{R}^n$ is weakly porous. We also give a precise quantitative version of this characterization in terms of the so-called Muckenhoupt exponent of $E$. When $E$ is weakly porous, we obtain a similar quantitative characterization of $w\in A_p$, for $1

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$., Comment: 24 pages; official version for Discrete Analysis

In a recent work of Anderson and Hu, the authors constructed a measure that was $p$-adic and $q$-adic doubling, for any primes $p$ and $q$, yet not doubling. This work relied heavily on a developed number theory framework. Here we develop this framework farther, which yields a measure that is $m$-adic and $n$-adic doubling for any coprime $m,n$, yet not doubling. Additionally we show several new applications to the intersection of weight and the function classes.

Many multilinear discrete operators are primed for pointwise decomposition; such decompositions give structural information but also an essentially optimal range of bounds. We study the (continuous) slicing method of Jeong and Lee -- which when debuted instantly gave sharp multilinear operator bounds -- in the discrete setting. Via several examples, number theoretic connections, pointed commentary, and a unified theory we hope that this useful technique will lead to further applications. This work generalizes, and was inspired by, the author's work with Palsson on a special case., Comment: To appear in Illinois Journal of Math

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., Comment: Minor revisions

In this paper, we prove a structure theorem for the infinite union of $n$-adic doubling measures via techniques which involve far numbers. Our approach extends the results of Wu in 1998, and as a by product, we also prove a classification result related to normal numbers., Comment: 12 pages, 4 figures. Slight reorganization, simplified a few proofs

In this paper, we prove a sharp Mei's Lemma with assuming the bases of the underlying general dyadic grids are different. As a byproduct, we specify all the possible cases of adjacent general dyadic systems with different bases. The proofs have connections with certain number-theoretic properties., Comment: 16 pages. Based on the framework developed by Anderson and Hu in arXiv:2004.14929

We unite two themes in dyadic analysis and number theory by studying an analogue of the failure of the Hasse principle in harmonic analysis. Explicitly, we construct an explicit family of measures on the real line that are $p$-adic and $q$-adic doubling for any distinct primes $p$ and $q$, yet not doubling, and we apply these results to show analogous statements about the reverse H\"older and Muckenhoupt $A_p$ classes of weights. The proofs involve a delicate interplay among several geometric and number theoretic properties., Comment: 46 pages, 9 figures. Extending construction to a finite set of primes is a difficult problem and the short extension claimed here does not work. All results continue to hold for two primes. The final version of this article has just appeared in IMRN, thus the arXiv version has not been updated. Title updated to match published version

Integration over curved manifolds with higher codimension and, separately, discrete variants of continuous operators, have been two important, yet separate themes in harmonic analysis, discrete geometry and analytic number theory research. Here we unite these themes to study discrete analogues of operators involving higher (intermediate) codimensional integration. We consider a maximal operator that averages over triangular configurations and prove several bounds that are close to optimal. A distinct feature of our approach is the use of multilinearity to obtain nontrivial $\ell^1$-estimates by a rather general idea that is likely to be applicable to other problems.

Adjacent dyadic systems are pivotal in analysis and related fields to study continuous objects via collections of dyadic ones. In our prior work (joint with Jiang, Olson and Wei) we describe precise necessary and sufficient conditions for two dyadic systems on the real line to be adjacent. Here we extend this work to all dimensions, which turns out to have many surprising difficulties due to the fact that $d+1$, not $2^d$, grids is the optimal number in an adjacent dyadic system in $\mathbb{R}^d$. As a byproduct, we show that a collection of $d+1$ dyadic systems in $\mathbb{R}^d$ is adjacent if and only if the projection of any two of them onto any coordinate axis are adjacent on $\mathbb{R}$. The underlying geometric structures that arise in this higher dimensional generalization are interesting objects themselves, ripe for future study; these lead us to a compact, geometric description of our main result. We describe these structures, along with what adjacent dyadic (and $n$-adic, for any $n$) systems look like, from a variety of contexts, relating them to previous work, as well as illustrating a specific example., Comment: 28 pages, 10 figures

We show that the discrete lacunary spherical maximal function is bounded on $l^p(\mathbb{Z}^d)$ for all $p >\frac{d+1}{d-1}$. Our range is new in dimension 4, where it appears that little was previously known for general lacunary radii. Our technique follows that of Kesler-Lacey-Mena, using the Kloosterman refinement to improve the estimates in several places, which leads to an overall improvement in dimension 4., Comment: While the authors have an improved version, there is still an error in showing the bound (2.7). The results in this paper hold for averages (currently in the literature) so we will not pursue this at this time

We show that discrete singular Radon transforms along a certain class of polynomial mappings $P:\mathbb{Z}^d\to \mathbb{Z}^n$ satisfy sparse bounds. For $n=d=1$ we can handle all polynomials. In higher dimensions, we pose restrictions on the admissible polynomial mappings stemming from a combination of interacting geometric, analytic and number-theoretic obstacles., Comment: 15 pages, 1 figure; final version to appear in Colloq. Math

We find the sharp range for boundedness of the discrete bilinear spherical maximal function for dimensions $d \geq 5$. That is, we show that this operator is bounded on $l^{p}(\mathbb{Z}^d)\times l^{q}(\mathbb{Z}^d) \to l^{r}(\mathbb{Z}^d)$ for $\frac{1}{p} + \frac{1}{q} \geq \frac{1}{r}$ and $r>\frac{d}{2d-2}$ and we show this range is sharp. Our approach mirrors that used by Jeong and Lee in the continuous setting. For dimensions $d=3,4$, our previous work, which used different techniques, still gives the best known bounds. We also prove analogous results for higher degree $k$, $\ell$-linear operators., Comment: References updated, typo corrected

We define a discrete version of the bilinear spherical maximal function, and show bilinear $l^{p}(\mathbb{Z}^d)\times l^{q}(\mathbb{Z}^d) \to l^{r}(\mathbb{Z}^d)$ bounds for $d \geq 3$, $\frac{1}{p} + \frac{1}{q} \geq \frac{1}{r}$, $r>\frac{d}{d-2}$ and $p,q\geq 1$. Due to interpolation, the key estimate is an $l^{p}(\mathbb{Z}^d)\times l^{\infty}(\mathbb{Z}^d) \to l^{p}(\mathbb{Z}^d)$ bound, which holds when $d \geq 3$, $p>\frac{d}{d-2}$. A key feature of our argument is the use of the circle method which allows us to decouple the dimension from the number of functions compared to the work of Cook., Comment: typo corrected

Let $f\in L^p(\mathbb{R}^d)$, $d\ge 3$, and let $A_t f(x)$ the average of $f$ over the sphere with radius $t$ centered at $x$. For a subset $E$ of $[1,2]$ we prove close to sharp $L^p\to L^q$ estimates for the maximal function $\sup_{t\in E} |A_t f|$. A new feature is the dependence of the results on both the upper Minkowski dimension of $E$ and the Assouad dimension of $E$. The result can be applied to prove sparse domination bounds for a related global spherical maximal function., Comment: 19 pages, 1 figure. Final version to appear in Mathematische Zeitschrift

We show quantitative (in terms of the radius) $l^p$-improving estimates for the discrete spherical averages along the primes. These averaging operators were defined by Anderson, Cook, Hughes and Kumchev and are discrete, prime variants of Stein's spherical averages. The proof uses a precise decomposition of the Fourier multiplier., Comment: Typos and errors fixed. Final version to appear in JFAA

Many techniques in harmonic analysis use the fact that a continuous object can be written as a sum (or an intersection) of dyadic counterparts, as long as those counterparts belong to an adjacent dyadic system. Here we generalize the notion of adjacent dyadic system and explore when it occurs, leading to some new and perhaps surprising classifications. In particular, we show that every dyadic grid is determined by two parameters, the \emph{shift} and the \emph{location}; moreover two dyadic grids form an adjacent dyadic system if and only if their shifts and locations satisfy readily verifiable conditions., Comment: Final revised version to appear in Mathematische Annalen

Consider the surface measure $\mu$ on a sphere in a nonvertical hyperplane on the Heisenberg group $\mathbb{H}^n$, $n\ge 2$, and the convolution $f*\mu$. Form the associated maximal function $Mf=\sup_{t>0}|f*\mu_t|$ generated by the automorphic dilations. We use decoupling inequalities due to Wolff and Bourgain-Demeter to prove $L^p$-boundedness of $M$ in an optimal range.

In this paper we prove that the space of differential invariants for curves with arc-length parameter in the light cone of Lorentzian $\mathbb{R}^4$, invariants under the centro-affine action of the Lorentzian group, is Poisson equivalent to the space of conformal differential invariants for curves in the M\"obius sphere. We use this relation to find realizations of solutions of a complexly coupled system of KdV equations as flows of curves in the cone., Comment: Previous preprint

In this note we give simple proofs of several results involving maximal truncated Calde\'on-Zygmund operators in the general setting of rearrangement invariant quasi-Banach function spaces by sparse domination. Our techniques allow us to track the dependence of the constants in weighted norm inequalities; additionally, our results hold in $\mathbb{R}^n$ as well as in many spaces of homogeneous type., Comment: To appear in PEMS

We improve the range of $\ell^p(\mathbb Z^d)$-boundedness of the integral $k$-spherical maximal functions introduced by Magyar. The previously best known bounds for the full $k$-spherical maximal function require the dimension $d$ to grow at least cubicly with the degree $k$. Combining ideas from our prior work with recent advances in the theory of Weyl sums by Bourgain, Demeter, and Guth and by Wooley, we reduce this cubic bound to a quadratic one. As an application, we deduce improved bounds in the ergodic Waring--Goldbach problem., Comment: 18 pages. Published in Discrete Analysis Journal on 29 May 2018

We prove an asymptotic formula for the Fourier transform of the arithmetic surface measure associated to the Waring--Goldbach problem and provide several applications, including bounds for discrete spherical maximal functions along the primes and distribution results such as ergodic theorems., Comment: We elaborated on our introduction and cleaned up some typos

We state a version of Gehring's self improvement Theorem for reverse \Holder weights which is valid for dyadic cubes over spaces of homogeneous type and explore some of the consequences and applications.

We develop a theory of extrapolation for weights that satisfy a generalized reverse H\"older inequality in the scale of Orlicz spaces. This extends previous results by Auscher and Martell [2] on limited range extrapolation. As an application, we show that a number of weighted norm inequalities for linear and bilinear operators can be proved using our extrapolation theorem., Comment: v2: revision of the main results. The authors would like to thank J.M. Martell for pointing out a mistake in an earlier version of the paper

In the Euclidean setting, the Fujii-Wilson-type $A_\infty$ weights satisfy a Reverse H\"older Inequality (RHI) but in spaces of homogeneous type the best known result has been that $A_\infty$ weights satisfy only a weak Reverse H\"older Inequality. In this paper, we compliment the results of Hyt\"onen, P\'erez and Rela and show that there exist both $A_\infty$ weights that do not satisfy an RHI and a genuinely weaker weight class that still satisfies a weak RHI. We also show that all the weights that satisfy a weak RHI have a self-improving property but the self-improving property of the strong Reverse H\"older weights fails in a general space of homogeneous type. We prove most of these purely non-dyadic results using convenient dyadic systems and techniques., Comment: 17 pages. v2: introduction updated, Section 8 and some references added, some typos fixed

The recent proof of the sharp weighted bound for Calder\'on-Zygmund operators has led to much investigation in sharp mixed bounds for operators and commutators, that is, a sharp weighted bound that is a product of at least two different $A_p$ weight constants. The reason why these are sought after is that the product will be strictly smaller than the original one-constant bound. We prove a variety of these bounds in spaces of homogeneous type, using the new techniques of Lerner, for both operators and commutators., Comment: 30 pages

We present new results on the two-weighted boundedness of singular integral operators and $L^p$ boundedness of the Orlicz maximal function. Namely, we extend a theorem of P\'erez regarding the necessary and sufficient conditions for the boundedness of the Orlicz maximal function as well as give a new sufficient two-weighted boundedness assumption for Calder\'on-Zygmund singular integrals., Comment: typos and small errors fixed, shorter version for publication, some material in longer version to be included in another work

We establish two-weight norm inequalities for singular integral operators defined on spaces of homogeneous type. We do so first when the weights satisfy a double bump condition and then when the weights satisfy separated logarithmic bump conditions. Our results generalize recent work on the Euclidean case, but our proofs are simpler even in this setting. The other interesting feature of our approach is that we are able to prove the separated bump results (which always imply the corresponding double bump results) as a consequence of the double bump theorem.

Here we show that Lerner's method of local mean oscillation gives a simple proof of the $A_2$ conjecture for spaces of homogeneous type: that is, the linear dependence on the $A_2$ norm for weighted $L^2$ Calderon-Zygmund operator estimates. In the Euclidean case, the result is due to Hyt\"{o}nen, and for geometrically doubling spaces, Nazarov, Rezinikov, and Volberg obtained the linear bound.