arXiv Science⌕ Search

arXiv subjects

Dominique Maldague

Publications and source records attributed to Dominique Maldague.

At least 19 recordsLinked to original sources
arXiv2026

Sharp local smoothing estimates for curve averages

We prove sharp local smoothing estimates for curve averages in all dimensions. As a corollary, we prove the sharp $L^p$ boundedness of the helical maximal operator in $\mathbb{R}^4$, which was previously known only for $\mathbb{R}^2$ and $\mathbb{R}^3$. We also improve previously known results in higher dimensions. The main new ingredient is a novel wave envelope estimate adapted to moment curves, which is a powerful tool in the proof of the local smoothing estimate.

math.CA↗
arXiv2025

Heilbronn's triangle problem in three dimensions

We show that among any $n$ points in the unit cube one can find a triangle of area at most $n^{-2/3-c}$ for some absolute constant $c >0$. This gives the first non-trivial upper bound for the three-dimensional version of Heilbronn's triangle problem. This estimate is a consequence of the following result about configurations of point-line pairs in $\mathbb R^3$: for $n \ge 2$ let $p_1, \ldots,p_n \in [0,1]^3$ be a collection of points and let $\ell_i$ be a line through $p_i$ for every $i$ such that $d(p_i, \ell_j) \ge δ$ for all $i\neq j$. Then we have $n \lesssim δ^{-3+γ}$ for some absolute constant $γ>0$. The analogous result about point-line configurations in the plane was previously established by Cohen, Pohoata and the last author.

math.CO↗
arXiv2025

Tangency counting for well-spaced circles

In the late 90's, Tom Wolff introduced the circle tangency counting problem in his expository article on the Kakeya conjecture. For collections of well-spaced circles, we break the $N^{3/2}$-barrier, proving that a set of $N$ well-spaced circles has at most $N^{25/18+\varepsilon}$ sites of internal tangency. The circle tangency problem can be related to a problem about incidences between points in $\mathbb{R}^3$ and light rays. For this problem, we introduce a stopping time argument to extract maximal information about well-spaced points from a refined decoupling theorem for the light cone in $\mathbb{R}^3$, leading to sharp bounds on the number of $μ$-rich tangency rectangles.

math.CA↗
arXiv2025

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

We identify a new way to divide the $δ$-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 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.

math.CA↗
arXiv2024

On Polynomial Carleson operators along quadratic hypersurfaces

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$.

math.CA↗
arXiv2024

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

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)) 2$, then for a.e. $θ\in[0,1]$ we have $\mathcal{H}^2(π_θ(A))>0$.

math.CA↗
arXiv2023

Estimating the matrix $p \rightarrow q$ norm

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}}$.

cs.DS↗
arXiv2023

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

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.

math.CA↗
arXiv2022

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

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}$.

math.CA↗
arXiv2022

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

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]$.

math.CA↗
arXiv2022

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

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.

math.CA↗
arXiv2021

Sharp superlevel set estimates for small cap decouplings of the parabola

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.

math.CA↗
arXiv2021

Decoupling inequalities for short generalized Dirichlet sequences

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.

math.CA↗
arXiv2020

Improved decoupling for the parabola

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$.

math.CA↗