Related papers: The proof of the $l^2$ Decoupling Conjecture
We make effective $l^2 L^p$ decoupling for the parabola in the range $4 < p < 6$. In an appendix joint with Jean Bourgain, we apply the main theorem to prove the conjectural bound for the sixth-order correlation of the integer solutions of…
This paper contains a detailed, self contained and more streamlined proof of our $l^2$ decoupling theorem for hypersurfaces.
We identify a new way to divide the $\delta$-neighborhood of surfaces $\mathcal{M}\subset\mathbb{R}^3$ into a finitely-overlapping collection of rectangular boxes $S$. We obtain a sharp $(l^2,L^p)$ decoupling estimate using this…
We give a new proof of $l^2$ decoupling for the parabola inspired from efficient congruencing. Making quantitative this proof matches a bound obtained by Bourgain for the discrete restriction problem for the parabola. We illustrate…
In this short note, we prove that the restriction conjecture for the (hyperbolic) paraboloid in $\mathbb{R}^d$ implies the $l^p$-decoupling theorem for the (hyperbolic) paraboloid in $\mathbb{R}^{2d-1}$. In particular, this gives a simple…
We introduce two families of inequalities. Large ensemble decoupling is connected to the continuous restriction phenomenon. Tight decoupling is connected to the discrete Restriction conjecture for the sphere. Our investigation opens new…
We prove two types of results. First we develop the decoupling theory for hypersurfaces with nonzero Gaussian curvature, which extends our earlier work from \cite{BD3}. As a consequence of this we obtain sharp (up to $\epsilon$ losses)…
We broaden the application of the $l^{2}$-decoupling theorem to the Boltzmann equation. We prove Strichartz estimates for the linear problem in the $\mathbb{T}^d$ setting. We establish space-time bilinear estimates, and hence the…
We prove sharp $L^2$ Fourier restriction inequalities for compact, smooth surfaces in $\mathbb{R}^3$ equipped with the affine surface measure or a power thereof. The results are valid for all smooth surfaces and the bounds are uniform for…
We give a new proof of a classic Fourier restriction theorem for the truncated paraboloid in $\mathbb{R}^n$ based on the $l^2$ decoupling theorem of Bourgain-Demeter. Focusing on the extension formulation of the restriction problem (dual to…
We derive a family of $L^p$ estimates of the X-Ray transform of positive measures in $\mathbb R^d$, which we use to construct a $\log R$-loss counterexample to the Mizohata-Takeuchi conjecture for every $C^2$ hypersurface in $\mathbb R^d$…
We prove an $l^p$ decoupling inequality for hypersurfaces with nonzero Gaussian curvature and use it to derive a corresponding $l^p$ decoupling for curves not contained in a hyperplane. This extends our earlier work from [2]
This is the second of two articles in which we prove a sharp $L^p-L^2$ Fourier restriction theorem for a large class of smooth, finite type hypersurfaces in R^3, which includes in particular all real-analytic hypersurfaces.
We introduce a conjecture that we call the {\it Two Hyperplane Conjecture}, saying that an isoperimetric surface that divides a convex body in half by volume is trapped between parallel hyperplanes. The conjecture is motivated by an…
This is the first of two articles in which we prove a sharp $L^p-L^2$ Fourier restriction theorem for a large class of smooth, finite type hypersurfaces in $\Bbb R^3$, which includes in particular all real-analytic hypersurfaces. The…
We prove that Alexandrov's conjecture relating the area and diameter of a convex surface holds for the surface of a general ellipsoid. This is a direct consequence of a more general result which estimates the deviation from the optimal…
In this note, we present two arguments showing that the classical \textit{linear adjoint cone restriction conjecture} holds for the class of functions supported on the cone and invariant under the spatial rotation in all dimensions. The…
Recently Wolff obtained a sharp $L^2$ bilinear restriction theorem for bounded subsets of the cone in general dimension. Here we adapt the argument of Wolff to also handle subsets of ``elliptic surfaces'' such as paraboloids and spheres.…
We prove sharp $\ell^q L^p$ decoupling inequalities for $p,q \in [2,\infty)$ and arbitrary tuples of quadratic forms. Connections to prior results on decoupling inequalities for quadratic forms are also explained. We also include some…
We prove sharp $\ell^{p}L^{p}$ decoupling inequalities for $2$ quadratic forms in $4$ variables. We also recover several previous results (arXiv:1409.1634, arXiv:1501.07224, arXiv:1609.02022, arXiv:1609.04107) in a unified way.