Search

We present a free Schrödinger solution studied by Barceló--Bennett--Carbery--Ruiz--Vilela and show why it can be viewed as a sharp example for the recently discovered refined decoupling theorem., To appear in a Contemporary Mathematics volume, based on a talk in a virtual AMS Special Session on Harmonic Analysis in March 2022

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$., 17 pages; small updates over previous version

Brascamp-Lieb inequalities have been important in analysis, mathematical physics and neighboring areas. Recently, these inequalities have had a deep influence on Fourier analysis and, in particular, on Fourier restriction theory. In this article we motivate and explain this connection. A lot of our examples are taken from a rapidly developing subarea called "decoupling". It is the author's hope that this article will be accessible to graduate students in fields broadly related to analysis., 38 pages

We adapt Guth's polynomial partitioning argument for the Fourier restriction problem to the context of the Kakeya problem. By writing out the induction argument as a recursive algorithm, additional multiscale geometric information is made available. To take advantage of this, we prove that direction-separated tubes satisfy a multiscale version of the polynomial Wolff axioms. Altogether, this yields improved bounds for the Kakeya maximal conjecture in $\mathbb{R}^n$ with $n=5$ or $n\ge 7$ and improved bounds for the Kakeya set conjecture for an infinite sequence of dimensions., Comment: 43 pages, 6 figures. This article supersedes arXiv:1901.01802

Let $f$ be the germ of a real analytic function at the origin in $\mathbb{R}^n $ for $n \geq 2$, and suppose the codimension of the zero set of $f$ at $\mathbf{0}$ is at least $2$. We show that $\log |f|$ is $W^{1,1}_{\operatorname{loc}}$ near $\mathbf{0}$. In particular, this implies the differential inequality $|\nabla f |\leq V |f|$ holds with $V \in L^1_{\operatorname{loc}}$. As an application, we derive an inequality relating the {\L}ojasiewicz exponent and singularity exponent for such functions., Comment: 18 pages, comments welcome!

In this paper, we first generalize the work of Bourgain and state a curvature condition for Hörmander-type oscillatory integral operators, which we call Bourgain's condition. This condition is notably satisfied by the phase functions for the Fourier restriction problem and the Bochner-Riesz problem. We conjecture that for Hörmander-type oscillatory integral operators satisfying Bourgain's condition, they satisfy the same $L^p$ bounds as in the Fourier Restriction Conjecture. To support our conjecture, we show that whenever Bourgain's condition fails, then the $L^{\infty} \to L^q$ boundedness always fails for some $q= q(n) > \frac{2n}{n-1}$, extending Bourgain's three-dimensional result. On the other hand, if Bourgain's condition holds, then we prove $L^p$ bounds for Hörmander-type oscillatory integral operators for a range of $p$ that extends the currently best-known range for the Fourier restriction conjecture in high dimensions, given by Hickman and Zahl. This gives new progress on the Fourier restriction problem and the Bochner-Riesz problem., Introduction expanded; this version submitted to journal

In this work, we focus on the high-dimensional trace regression model with a low-rank coefficient matrix. We establish a nearly optimal in-sample prediction risk bound for the rank-constrained least-squares estimator under no assumptions on the design matrix. Lying at the heart of the proof is a covering number bound for the family of projection operators corresponding to the subspaces spanned by the design. By leveraging this complexity result, we perform a power analysis for a permutation test on the existence of a low-rank signal under the high-dimensional trace regression model. We show that the permutation test based on the rank-constrained least-squares estimator achieves non-trivial power with no assumptions on the minimum (restricted) eigenvalue of the covariance matrix of the design. Finally, we use alternating minimization to approximately solve the rank-constrained least-squares problem to evaluate its empirical in-sample prediction risk and power of the resulting permutation test in our numerical study.

Suppose $G$ is a connected noncompact locally compact group, $A,B$ are nonempty and compact subsets of $G$, $\mu$ is a left Haar measure on $G$. Assuming that $G$ is unimodular, and $ \mu(A^2) < K \mu(A) $ with $K>1$ a fixed constant, our first result shows that there is a continuous surjective group homomorphism $\chi: G\to L$ with compact kernel, where $L$ is a Lie group with $$\dim(L) \leq \lfloor\log K\rfloor(\lfloor\log K\rfloor+1)/2.$$ We also demonstrate that this dimension bound is sharp, establish the relationship between $A$ and its image under the quotient map, and obtain a more general version of this result for the product set $AB$ without assuming unimodularity. Our second result classifies $G,A,B$ where $A,B$ have nearly minimal expansions (when $G$ is unimodular, this just means $\mu(AB)$ is close to $\mu(A)+\mu(B)$). This answers a question suggested by Griesmer and Tao, and completes the last open case of the inverse Kemperman problem. The proofs of both results involve a new analysis of locally compact group $G$ with bounded $n-h$, where $n-h$ is an invariant of $G$ appearing in the recently developed nonabelian Brunn-Minkowski inequality. We also generalize Ruzsa's distance and related results to possibly nonunimodular locally compact groups., Comment: 25 pages

We show that the recent techniques developed to study the Fourier restriction problem apply equally well to the Bochner-Riesz problem. This is achieved via applying a pseudo-conformal transformation and a two-parameter induction-on-scales argument. As a consequence, we improve the Bochner-Riesz problem to the best known range of the Fourier restriction problem in all high dimensions., 51 pages

We show that if compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}$, where $d\geq 4$ is an even integer, then the distance set of $E$ has positive Lebesgue measure. This improves the previously best known result towards Falconer's distance set conjecture in even dimensions., Comment: 15 pages. To appear in Math. Ann

We give new lower bounds for $L^p$ estimates of the Schr��dinger maximal function by generalizing an example of Bourgain., 4 pages

We obtain partial improvement toward the pointwise convergence problem of Schr��dinger solutions, in the general setting of fractal measure. In particular, we show that, for $n\geq 3$, $\lim_{t \to 0} e^{it��}f(x) = f(x)$ almost everywhere with respect to Lebesgue measure for all $f \in H^s (\mathbb{R}^n)$ provided that $s>(n+1)/2(n+2)$. The proof uses linear refined Strichartz estimates. We also prove a multilinear refined Strichartz using decoupling and multilinear Kakeya., 14 pages. v2: 4 figures, minor updates based on referee suggestions. arXiv admin note: text overlap with arXiv:1612.08946

We show that, for $n\geq 3$, $\lim_{t \to 0} e^{it��}f(x) = f(x)$ holds almost everywhere for all $f \in H^s (\mathbb{R}^n)$ provided that $s>\frac{n}{2(n+1)}$. Due to a counterexample by Bourgain, up to the endpoint, this result is sharp and fully resolves a problem raised by Carleson. Our main theorem is a fractal $L^2$ restriction estimate, which also gives improved results on the size of divergence set of Schr��dinger solutions, the Falconer distance set problem and the spherical average Fourier decay rates of fractal measures. The key ingredients of the proof include multilinear Kakeya estimates, decoupling and induction on scales., 20 pages, 2 figures; v3: Minor updates. Final version, to appear in the Annals of Math

In this article we estimate the number of integers up to $X$ which can be represented by a positive-definite, binary integral quadratic form of discriminant which is small relative to $X$. This follows from understanding the vector of signs when computing the Legendre symbol of small integers $n$ at multiple primes., This is the second edition of the article. An error from the first edition has been corrected

In [Sharir and Solomon 2015], Sharir and Solomon showed that the number of incidences between $m$ distinct points and $n$ distinct lines in $\mathbb R^4$ is $$O^*\left(m^{2/5}n^{4/5}+ m^{1/2}n^{1/2}q^{1/4} + m^{2/3}n^{1/3}s^{1/3} + m + n\right),$$ provided that no 2-flat contains more than $s$ lines, and no hyperplane or quadric contains more than $q$ lines, where the $O^*$ hides a multiplicative factor of $2^{c\sqrt {\log m}}$ for some absolute constant $c$. In this paper we prove that, for integers $m,n,$ satisfying $n^{9/8}, Comment: arXiv admin note: text overlap with arXiv:1411.0777

We prove new bounds on the number of incidences between points and higher degree algebraic curves. The key ingredient is an improved initial bound, which is valid for all fields. Then we apply the polynomial method to obtain global bounds on $\mathbb{R}$ and $\mathbb{C}$., 11 pages