Showing 1–18 of 18 results for author: Maldague, D

$l^2$ decoupling theorem for surfaces in $\mathbb{R}^3$

Authors: Larry Guth, Dominique Maldague, Changkeun Oh

Abstract: We identify a new way to divide the $δ$-neighborhood of surfaces $\mathcal{M}\subset\mathbb{R}^3$ into a finitely-overlap** collection of rectangular boxes $S$. We obtain a sharp $(l^2,L^p)$ decoupling estimate using this decomposition, for the sharp range of exponents $2\leq p\leq 4$. Our decoupling inequality leads to new exponential sum estimates where the frequencies lie on surfaces which do… ▽ More We identify a new way to divide the $δ$-neighborhood of surfaces $\mathcal{M}\subset\mathbb{R}^3$ into a finitely-overlap** collection of rectangular boxes $S$. We obtain a sharp $(l^2,L^p)$ decoupling estimate using this decomposition, for the sharp range of exponents $2\leq p\leq 4$. Our decoupling inequality leads to new exponential sum estimates where the frequencies lie on surfaces which do not contain a line. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: 34 pages

Estimating the matrix $p \rightarrow q$ norm

Authors: Larry Guth, Dominique Maldague, John Urschel

Abstract: The matrix $p \rightarrow q$ norm is a fundamental quantity appearing in a variety of areas of mathematics. This quantity is known to be efficiently computable in only a few special cases. The best known algorithms for approximately computing this quantity with theoretical guarantees essentially consist of computing the $p\to q$ norm for $p,q$ where this quantity can be computed exactly or up to a… ▽ More The matrix $p \rightarrow q$ norm is a fundamental quantity appearing in a variety of areas of mathematics. This quantity is known to be efficiently computable in only a few special cases. The best known algorithms for approximately computing this quantity with theoretical guarantees essentially consist of computing the $p\to q$ norm for $p,q$ where this quantity can be computed exactly or up to a constant, and applying interpolation. We analyze the matrix $2 \to q$ norm problem and provide an improved approximation algorithm via a simple argument involving the rows of a given matrix. For example, we improve the best-known $2\to 4$ norm approximation from $m^{1/8}$ to $m^{1/12}$. This insight for the $2\to q$ norm improves the best known $p \to q$ approximation algorithm for the region $p \le 2 \le q$, and leads to an overall improvement in the best-known approximation for $p \to q$ norms from $m^{25/128}$ to $m^{3 - 2 \sqrt{2}}$. △ Less

Submitted 13 November, 2023; originally announced November 2023.

MSC Class: 15A60; 65F35; 68W25

A sharp square function estimate for the moment curve in $\mathbb{R}^n$

Authors: Larry Guth, Dominique Maldague

Abstract: We use high-low frequency methods developed in the context of decoupling to prove sharp (up to $C_εR^ε$) square function estimates for the moment curve $(t,t^2,\ldots,t^n)$ in $\mathbb{R}^n$. Our inductive scheme incorporates sharp square function estimates for auxiliary conical sets, which allows us to fully exploit lower dimensional information. We use high-low frequency methods developed in the context of decoupling to prove sharp (up to $C_εR^ε$) square function estimates for the moment curve $(t,t^2,\ldots,t^n)$ in $\mathbb{R}^n$. Our inductive scheme incorporates sharp square function estimates for auxiliary conical sets, which allows us to fully exploit lower dimensional information. △ Less

Submitted 24 September, 2023; originally announced September 2023.

Comments: arXiv admin note: text overlap with arXiv:2210.17436

Small cap decoupling for the paraboloid in $\mathbb{R}^n$

Authors: Larry Guth, Dominique Maldague, Changkeun Oh

Abstract: We extend the small cap decoupling program established by Demeter, Guth, and Want to paraboloids in $\mathbb{R}^n$ for some range of $p$. We extend the small cap decoupling program established by Demeter, Guth, and Want to paraboloids in $\mathbb{R}^n$ for some range of $p$. △ Less

Submitted 27 March, 2024; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 17 pages, small corrections following referee report

On Polynomial Carleson operators along quadratic hypersurfaces

Authors: Theresa C. Anderson, Dominique Maldague, Lillian B. Pierce, Po-Lam Yung

Abstract: 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<p<\infty$, for each $n \geq 2$. This operator takes the form of a polynomial Carleson operator of Radon-type, in which the maximally modulated phases lie in t… ▽ More 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<p<\infty$, for each $n \geq 2$. This operator takes the form of a polynomial Carleson operator of Radon-type, in which the maximally modulated phases lie in the real span of $\{p_2,\ldots,p_d\}$ for any set of fixed real-valued polynomials $p_j$ such that $p_j$ is homogeneous of degree $j$, and $p_2$ is not a multiple of $Q(y)$. The general method developed in this work applies to quadratic forms of arbitrary signature, while previous work considered only the special positive definite case $Q(y)=|y|^2$. △ Less

Submitted 28 May, 2024; v1 submitted 28 November, 2022; originally announced November 2022.

MSC Class: 42B20; 43A50; 42B25; 44A12

A sharp square function estimate for the moment curve in $\mathbb{R}^3$

Authors: Dominique Maldague

Abstract: We prove a sharp (up to $C_εR^ε$) $L^7$ square function estimate for the moment curve in $\mathbb{R}^3$. We prove a sharp (up to $C_εR^ε$) $L^7$ square function estimate for the moment curve in $\mathbb{R}^3$. △ Less

Submitted 31 October, 2022; originally announced October 2022.

An exceptional set estimate for restricted projections to lines in $\mathbb{R}^3$

Authors: Shengwen Gan, Larry Guth, Dominique Maldague

Abstract: Let $γ:[0,1]\rightarrow \mathbb{S}^{2}$ be a non-degenerate curve in $\mathbb{R}^3$, that is to say, $\det\big(γ(θ),γ'(θ),γ''(θ)\big)\neq 0$. For each $θ\in[0,1]$, let $l_θ=\{tγ(θ):t\in\mathbb{R}\}$ and $ρ_θ:\mathbb{R}^3\rightarrow l_θ$ be the orthogonal projections. We prove an exceptional set estimate. For any Borel set $A\subset\mathbb{R}^3$ and $0\le s\le 1$, define… ▽ More Let $γ:[0,1]\rightarrow \mathbb{S}^{2}$ be a non-degenerate curve in $\mathbb{R}^3$, that is to say, $\det\big(γ(θ),γ'(θ),γ''(θ)\big)\neq 0$. For each $θ\in[0,1]$, let $l_θ=\{tγ(θ):t\in\mathbb{R}\}$ and $ρ_θ:\mathbb{R}^3\rightarrow l_θ$ be the orthogonal projections. We prove an exceptional set estimate. For any Borel set $A\subset\mathbb{R}^3$ and $0\le s\le 1$, define $E_s(A):=\{θ\in[0,1]: \text{dim}(ρ_θ(A))<s\}$. We have $\text{dim}(E_s(A))\le 1+\frac{s-\text{dim}(A)}{2}$. △ Less

Submitted 3 October, 2022; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 11 pages. arXiv admin note: substantial text overlap with arXiv:2207.13844

On restricted projections to planes in $\mathbb{R}^3$

Authors: Shengwen Gan, Shaoming Guo, Larry Guth, Terence L. J. Harris, Dominique Maldague, Hong Wang

Abstract: Let $γ:[0,1]\rightarrow \mathbb{S}^{2}$ be a non-degenerate curve in $\mathbb{R}^3$, that is to say, $\det\big(γ(θ),γ'(θ),γ"(θ)\big)\neq 0$. For each $θ\in[0,1]$, let $V_θ=γ(θ)^\perp$ and let $π_θ:\mathbb{R}^3\rightarrow V_θ$ be the orthogonal projections. We prove that if $A\subset \mathbb{R}^3$ is a Borel set, then for a.e. $θ\in [0,1]$ we have $\text{dim}(π_θ(A))=\min\{2,\text{dim} A\}$. More g… ▽ More Let $γ:[0,1]\rightarrow \mathbb{S}^{2}$ be a non-degenerate curve in $\mathbb{R}^3$, that is to say, $\det\big(γ(θ),γ'(θ),γ"(θ)\big)\neq 0$. For each $θ\in[0,1]$, let $V_θ=γ(θ)^\perp$ and let $π_θ:\mathbb{R}^3\rightarrow V_θ$ be the orthogonal projections. We prove that if $A\subset \mathbb{R}^3$ is a Borel set, then for a.e. $θ\in [0,1]$ we have $\text{dim}(π_θ(A))=\min\{2,\text{dim} A\}$. More generally, we prove an exceptional set estimate. For $A\subset\mathbb{R}^3$ and $0\le s\le 2$, define $E_s(A):=\{θ\in[0,1]: \text{dim}(π_θ(A))<s\}$. We have $\text{dim}(E_s(A))\le 1+s-\text{dim}(A)$. We also prove that if $\text{dim}(A)>2$, then for a.e. $θ\in[0,1]$ we have $\mathcal{H}^2(π_θ(A))>0$. △ Less

Submitted 24 March, 2024; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: 39 pages, 2 figures; accepted by Amer. J. Math

Small cap decoupling for the moment curve in $\mathbb{R}^3$

Authors: Larry Guth, Dominique Maldague

Abstract: We prove sharp small cap decoupling estimates for the moment curve in $\mathbb{R}^3$. Our formulation of the small caps is motivated by a conjecture about $L^p$ estimates for exponential sums from the small cap decoupling paper of Demeter, Guth, and Wang. We prove sharp small cap decoupling estimates for the moment curve in $\mathbb{R}^3$. Our formulation of the small caps is motivated by a conjecture about $L^p$ estimates for exponential sums from the small cap decoupling paper of Demeter, Guth, and Wang. △ Less

Submitted 18 July, 2022; v1 submitted 3 June, 2022; originally announced June 2022.

Amplitude dependent wave envelope estimates for the cone in $\mathbb{R}^3$

Authors: Dominique Maldague, Larry Guth

Abstract: For functions $f$ with Fourier transform supported in the truncated cone, we bound superlevel sets $\{x\in\mathbb{R}^3:|f(x)|>α\}$ using an $α$-dependent version of the wave envelope estimate of Guth--Wang--Zhang. Our estimates imply both sharp square function and decoupling inequalities for the cone. We also obtain sharp small cap decoupling for the cone, where small caps $γ$ subdivide canonical… ▽ More For functions $f$ with Fourier transform supported in the truncated cone, we bound superlevel sets $\{x\in\mathbb{R}^3:|f(x)|>α\}$ using an $α$-dependent version of the wave envelope estimate of Guth--Wang--Zhang. Our estimates imply both sharp square function and decoupling inequalities for the cone. We also obtain sharp small cap decoupling for the cone, where small caps $γ$ subdivide canonical $1\times R^{-1/2}\times R^{-1}$ planks into $R^{-β_2}\times R^{-β_1}\times R^{-1}$ sub-planks, for $β_1\in[\frac{1}{2},1]$ and $β_2\in[0,1]$. △ Less

Submitted 13 August, 2022; v1 submitted 2 June, 2022; originally announced June 2022.

Sharp superlevel set estimates for small cap decouplings of the parabola

Authors: Yuqiu Fu, Larry Guth, Dominique Maldague

Abstract: We prove sharp bounds for the size of superlevel sets $\{x\in \mathbb{R}^2:|f(x)|>α\}$ where $α>0$ and $f:\mathbb{R}^2\to\mathbb{C}$ is a Schwartz function with Fourier transform supported in an $R^{-1}$-neighborhood of the truncated parabola $\mathbb{P}^1$. These estimates imply the small cap decoupling theorem for $\mathbb{P}^1$ of Demeter, Guth, and Wang, and the canonical decoupling theorem fo… ▽ More We prove sharp bounds for the size of superlevel sets $\{x\in \mathbb{R}^2:|f(x)|>α\}$ where $α>0$ and $f:\mathbb{R}^2\to\mathbb{C}$ is a Schwartz function with Fourier transform supported in an $R^{-1}$-neighborhood of the truncated parabola $\mathbb{P}^1$. These estimates imply the small cap decoupling theorem for $\mathbb{P}^1$ of Demeter, Guth, and Wang, and the canonical decoupling theorem for $\mathbb{P}^1$ of Bourgain and Demeter. New $(\ell^q,L^p)$ small cap decoupling inequalities also follow from our sharp level set estimates. △ Less

Submitted 27 July, 2021; originally announced July 2021.

Comments: 24 pages

MSC Class: 42B20

Decoupling inequalities for short generalized Dirichlet sequences

Authors: Yuqiu Fu, Larry Guth, Dominique Maldague

Abstract: We study decoupling theory for functions on $\mathbb{R}$ with Fourier transform supported in a neighborhood of short Dirichlet sequences $\{\log n\}_{n=N+1}^{N+N^{1/2}}$, as well as sequences with similar convexity properties. We utilize the wave packet structure of functions with frequency support near an arithmetic progression. We study decoupling theory for functions on $\mathbb{R}$ with Fourier transform supported in a neighborhood of short Dirichlet sequences $\{\log n\}_{n=N+1}^{N+N^{1/2}}$, as well as sequences with similar convexity properties. We utilize the wave packet structure of functions with frequency support near an arithmetic progression. △ Less

Submitted 20 July, 2021; v1 submitted 1 April, 2021; originally announced April 2021.

Comments: 54 pages; added small-cap type decoupling; included a transference argument, which we learned from James Maynard, that implies corollaries on $L^p$ estimates for short generalized Dirichlet sequences from parabola decoupling

Journal ref: Analysis & PDE 16 (2023) 2401-2464

Improved decoupling for the parabola

Authors: Larry Guth, Dominique Maldague, Hong Wang

Abstract: We prove an $(l^2, l^6)$ decoupling inequality for the parabola with constant $(\log R)^c$. In the appendix, we present an application to the six-order correlation of the integer solutions to $x^2+y^2=m$. We prove an $(l^2, l^6)$ decoupling inequality for the parabola with constant $(\log R)^c$. In the appendix, we present an application to the six-order correlation of the integer solutions to $x^2+y^2=m$. △ Less

Submitted 16 September, 2020; originally announced September 2020.

Comments: 41 pages

Regularized Brascamp-Lieb inequalities and an application

Authors: Dominique Maldague

Abstract: We present a regularized version of Hölder-Brascamp-Lieb inequalities studied by Bennett, Carbery, Christ, and Tao. These inequalities lead to a generalization of the multilinear Kakeya inequality. We present a regularized version of Hölder-Brascamp-Lieb inequalities studied by Bennett, Carbery, Christ, and Tao. These inequalities lead to a generalization of the multilinear Kakeya inequality. △ Less

Submitted 5 February, 2021; v1 submitted 12 April, 2019; originally announced April 2019.

MSC Class: 26D15; 42B99

Special cases of power decay in multilinear oscillatory integrals

Authors: Dong Dong, Dominique Maldague, Dominick Villano

Abstract: We use tools from the multilinear oscillatory integral program developed by Christ, Li, Thiele, and Tao to treat special cases which are not covered by existing theory. Consideration of special cases leads to an extended class of examples for which $λ$-power decay holds. We use tools from the multilinear oscillatory integral program developed by Christ, Li, Thiele, and Tao to treat special cases which are not covered by existing theory. Consideration of special cases leads to an extended class of examples for which $λ$-power decay holds. △ Less

Submitted 10 April, 2019; originally announced April 2019.

MSC Class: 42B10

A symmetrization inequality shorn of symmetry

Authors: Michael Christ, Dominique Maldague

Abstract: An inequality of Brascamp-Lieb-Luttinger and of Rogers states that among subsets of Euclidean space $\mathbb{R}^d$ of specified Lebesgue measures, balls centered at the origin are maximizers of certain functionals defined by multidimensional integrals. For $d>1$, this inequality only applies to functionals invariant under a diagonal action of $\text{Sl}(d)$. We investigate functionals of this type… ▽ More An inequality of Brascamp-Lieb-Luttinger and of Rogers states that among subsets of Euclidean space $\mathbb{R}^d$ of specified Lebesgue measures, balls centered at the origin are maximizers of certain functionals defined by multidimensional integrals. For $d>1$, this inequality only applies to functionals invariant under a diagonal action of $\text{Sl}(d)$. We investigate functionals of this type, and their maximizers, in perhaps the simplest situation in which $\text{Sl}(d)$ invariance does not hold. Assuming a more limited symmetry involving dilations but not rotations, we show under natural hypotheses that maximizers exist, and moreover, that there exist distinguished maximizers whose structure reflects this limited symmetry. For small perturbations of the $\text{Sl}(d)$--invariant framework we show that these distinguished maximizers are strongly convex sets with infinitely differentiable boundaries. It is shown that maximizers fail to exist for certain arbitrarily small perturbations of $\text{Sl}(d)$--invariant structures. △ Less

Submitted 14 October, 2018; originally announced October 2018.

A constrained optimization problem for the Fourier transform: Quantitative analysis

Authors: Dominique Maldague

Abstract: Among functions $f$ majorized by indicator functions $1_E$, which functions have maximal ratio $\|\widehat{f}\|_q/|E|^{1/p}$? We establish a quantitative answer to this question for exponents $q$ sufficiently close to even integers, building on previous work proving the existence of such maximizers. Among functions $f$ majorized by indicator functions $1_E$, which functions have maximal ratio $\|\widehat{f}\|_q/|E|^{1/p}$? We establish a quantitative answer to this question for exponents $q$ sufficiently close to even integers, building on previous work proving the existence of such maximizers. △ Less

Submitted 5 February, 2018; originally announced February 2018.

Comments: 34 pages

A constrained optimization problem for the Fourier transform: Existence

Authors: Dominique Maldague

Abstract: Among functions majorized by indicator functions of sets with measure one, which functions have maximal Fourier transforms in the $L^q$ norm? We partially prove the existence of such functions using techniques from additive combinatorics to establish a conditional precompactness for maximizing sequences. Among functions majorized by indicator functions of sets with measure one, which functions have maximal Fourier transforms in the $L^q$ norm? We partially prove the existence of such functions using techniques from additive combinatorics to establish a conditional precompactness for maximizing sequences. △ Less

Submitted 26 August, 2019; v1 submitted 5 February, 2018; originally announced February 2018.

Comments: 37 pages