arXiv subjects
Publications and source records attributed to Joris Roos.
We provide a simple criterion on a family of functions that implies a square function estimate on $L^p$ for every even integer $p \geq 2$. This defines a new type of superorthogonality that is verified by checking a less restrictive criterion than any other type of superorthogonality that is currently known.
In this work we study $d$-dimensional majorant properties. We prove that a set of frequencies in ${\mathbb Z}^d$ satisfies the strict majorant property on $L^p([0,1]^d)$ for all $p> 0$ if and only if the set is affinely independent. We further construct three types of violations of the strict majorant property. Any set of at least $d+2$ frequencies in ${\mathbb Z}^d$ violates the strict majorant property on $L^p([0,1]^d)$ for an open interval of $p \not\in 2 {\mathbb N}$ of length 2. Any infinite set of frequencies in ${\mathbb Z}^d$ violates the strict majorant property on $L^p([0,1]^d)$ for an infinite sequence of open intervals of $p \not\in 2 {\mathbb N}$ of length $2$. Finally, given any $p>0$ with $p \not\in 2{\mathbb N}$, we exhibit a set of $d+2$ frequencies on the moment curve in ${\mathbb R}^d$ that violate the strict majorant property on $L^p([0,1]^d).$
The purpose of this short note is to demonstrate how some techniques from additive combinatorics recently developed by Peluse and Peluse-Prendiville can be applied to give an alternative proof for a trilinear smoothing inequality originally due to Bourgain.
We prove sharp decoupling inequalities for all degenerate surfaces of codimension two in $\mathbb{R}^5$ given by two quadratic forms in three variables. Together with previous work by Demeter, Guo, and Shi in the non-degenerate case (arXiv:1609.04107), this provides a classification of decoupling inequalities for pairs of quadratic forms in three variables.
We prove $L^p\to L^q$ estimates for local maximal operators associated with dilates of codimension two spheres in Heisenberg groups; these are sharp up to two endpoints. The results can be applied to improve currently known bounds on sparse domination for global maximal operators. We also consider lacunary variants, and extensions to Métivier groups.
Consider the maximal operator $$\mathscr{C} f(x) = \sup_{λ\in\mathbb{R}}\Big|\sum_{\substack{y\in\mathbb{Z}^n\setminus\{0\}}} f(x-y) e(λ|y|^{2d}) K(y)\Big|,\quad (x\in\mathbb{Z}^n),$$ where $d$ is a positive integer, $K$ a Calderón-Zygmund kernel and $n\ge 1$. This is a discrete analogue of a real-variable operator studied by Stein and Wainger. The nonlinearity of the phase introduces a variety of new difficulties that are not present in the real-variable setting. We prove $\ell^2(\mathbb{Z}^n)$-bounds for $\mathscr{C}$, answering a question posed by Lillian Pierce.
We study a multilinear singular integral obtained by taking averages of simplex Hilbert transforms. This multilinear form is also closely related to Calderón commutators and the twisted paraproduct. We prove $L^p$ bounds in dimensions two and three and give a conditional result valid in all dimensions.
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.
We prove a.e. convergence of continuous-time quadratic averages with respect to two commuting $\mathbb{R}$-actions, coming from a single jointly measurable measure-preserving $\mathbb{R}^2$-action on a probability space. The key ingredient of the proof comes from recent work on multilinear singular integrals; more specifically, from the study of a curved model for the triangular Hilbert transform.
Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct. The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Roth-type theorem concerning patterns in the Euclidean plane.
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.
Let $M^{(u)}$, $H^{(u)}$ be the maximal operator and Hilbert transform along the parabola $(t, ut^2) $. For $U\subset(0,\infty)$ we consider $L^p$ estimates for the maximal functions $\sup_{u\in U}|M^{(u)} f|$ and $\sup_{u\in U}|H^{(u)} f|$, when $1<p\le 2$. The parabolae can be replaced by more general non-flat homogeneous curves.
Let $H^{(u)}$ be the Hilbert transform along the parabola $(t, ut^2)$ where $u\in \mathbb R$. For a set $U$ of positive numbers consider the maximal function $\mathcal{H}^U \!f= \sup\{|H^{(u)}\! f|: u\in U\}$. We obtain an (essentially) optimal result for the $L^p$ operator norm of $\mathcal{H}^U$ when $2<p<\infty$. The results are proved for families of Hilbert transforms along more general nonflat homogeneous curves.
Breakthrough work of Bourgain, Demeter, and Guth recently established that decoupling inequalities can prove powerful results on counting integral solutions to systems of Diophantine equations. In this note we demonstrate that in appropriate situations this implication can also be reversed. As a first example, we observe that a count for the number of integral solutions to a system of Diophantine equations implies a discrete decoupling inequality. Second, in our main result we prove an $L^{2n}$ square function estimate (which implies a corresponding decoupling estimate) for the extension operator associated to a non-degenerate curve in $\mathbb{R}^n$. The proof is via a combinatorial argument that builds on the idea that if $γ$ is a non-degenerate curve in $\mathbb{R}^n$, then as long as $x_1,\ldots, x_{2n}$ are chosen from a sufficiently well-separated set, then $ γ(x_1)+\cdots+γ(x_n) = γ(x_{n+1}) + \cdots + γ(x_{2n}) $ essentially only admits solutions in which $x_1,\ldots,x_n$ is a permutation of $x_{n+1},\ldots, x_{2n}$.
We prove variation-norm estimates for certain oscillatory integrals related to Carleson's theorem. Bounds for the corresponding maximal operators were first proven by Stein and Wainger. Our estimates are sharp in the range of exponents, up to endpoints. Such variation-norm estimates have applications to discrete analogues and ergodic theory. The proof relies on square function estimates for Schrödinger-like equations due to Lee, Rogers and Seeger. In dimension one, our proof additionally relies on a local smoothing estimate. Though the known endpoint local smoothing estimate by Rogers and Seeger is more than sufficient for our purpose, we also give a proof of certain local smoothing estimates using Bourgain-Guth iteration and the Bourgain-Demeter $\ell^2$ decoupling theorem. This may be of independent interest, because it improves the previously known range of exponents for spatial dimensions $n \ge 4$.
For a polynomial $P$ of degree greater than one, we show the existence of patterns of the form $(x,x+t,x+P(t))$ with a gap estimate on $t$ in positive density subsets of the reals. This is an extension of an earlier result of Bourgain. Our proof is a combination of Bourgain's approach and more recent methods that were originally developed for the study of the bilinear Hilbert transform along curves.
We prove weak $(2,2)$ bounds for maximally modulated anisotropically homogeneous smooth multipliers on $\mathbb{R}^n$. These can be understood as generalizing the classical one-dimensional Carleson operator. For the proof we extend the time-frequency method by Lacey and Thiele to the anistropic setting. We also discuss a related open problem concerning Carleson operators along monomial curves.
We prove that the maximal operator associated with variable homogeneous planar curves $(t, u t^α)_{t\in \mathbb{R}}$, $α\not=1$ positive, is bounded on $L^p(\mathbb{R}^2)$ for each $p>1$, under the assumption that $u:\mathbb{R}^2 \to \mathbb{R}$ is a Lipschitz function. Furthermore, we prove that the Hilbert transform associated with $(t, ut^α)_{t\in \mathbb{R}}$, $α\not=1$ positive, is bounded on $L^p(\mathbb{R}^2)$ for each $p>1$, under the assumption that $u:\mathbb{R}^2\to \mathbb{R}$ is a measurable function and is constant in the second variable. Our proofs rely on stationary phase methods, $TT^*$ arguments, local smoothing estimates and a pointwise estimate for taking averages along curves.