Related papers: Large sets without Fourier restriction theorems

Suppose that f : F_p^n -> [0,1] has expected value t in [p^(-n/9),1] (so, the density t can be quite low!). Furthermore, suppose that support(f) has no three-term arithmetic progressions. Then, we develop non-trivial lower bounds for f_j,…

Okamoto's one-parameter family of self-affine functions $F_a: [0,1]\to[0,1]$, where $0<a<1$, includes the continuous nowhere differentiable functions of Perkins ($a=5/6$) and Bourbaki/Katsuura ($a=2/3$), as well as the Cantor function…

We show that, for $n\geq 3$, $\lim_{t \to 0} e^{it\Delta}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…

Marstrand's celebrated projection theorem gives the Hausdorff dimension of the orthogonal projection of a Borel set in Euclidean space for almost all orthogonal projections. It is straightforward to see that sets for which the Fourier and…

We prove that for each $p\in (1,\infty),$ the norms on $L^p(\mathbb{R}^d)$ of the maximal functions associated to Gaussians (heat semigroup), balls (Hardy-Littlewood averages), and spheres (spherical averages) converge, as the dimension…

A version of the Uncertainty Principle says: There does not exist a non zero function in $L_p(\mathbb{R}^d)$ if its Fourier transform is supported by a set of finite $\alpha$-Hausdorff measure with $\alpha<2d/p$. This UP does not hold at…

The $L^2 \to L^p$ adjoint Fourier restriction inequality on the $d$-dimensional hyperboloid $\mathbb{H}^d \subset \mathbb{R}^{d+1}$ holds provided $6 \leq p < \infty$, if $d=1$, and $2(d+2)/d \leq p\leq 2(d+1)/(d-1)$, if $d\geq2$.…

The results in this paper are of two types. On one hand, we construct sets of large Fourier dimension that avoid nontrivial solutions of certain classes of linear equations. In particular, given any finite collection of…

We propose a new approach to the Fourier restriction conjectures. It is based on a discretization of the Fourier extension operators in terms of quadratically modulated wave packets. Using this new point of view, and by combining natural…

Let $(X,d,\mu)$ be a metric space with doubling measure and $L$ be a nonnegative self-adjoint operator on $L^2(X)$ whose heat kernel satisfies the Gaussian upper bound. We assume that there exists an $L$-harmonic function $h$ such that the…

We prove the optimality of the exponent in the Mockenhaupt-Mitsis-Bak-Seeger Fourier restriction theorem in all dimensions $d$ and the full parameter range $0 < a,b < d$. Our construction is deterministic and also yields Salem sets.

Suppose $0 < \alpha \leq n$, $H: \Bbb R^n \to [0,1]$ is a Lebesgue measurable function, and $A_\alpha(H)$ is the infimum of all numbers $C$ for which the inequality $\int_B H(x) dx \leq C R^\alpha$ holds for all balls $B \subset \Bbb R^n$…

The celebrated Carleson-Hunt theorem gives pointwise almost everywhere convergence for the Fourier series of a function in $L^p(\mathbb T)$. R. Oberlin, A. Seeger, T. Tao, C. Thiele and J. Wright (OSTTW) strengthened this theorem by proving…

We prove that for $1\le k<d$, if $E$ is a Borel subset of $\mathbb{R}^d$ of Hausdorff dimension strictly larger than $k$, the set of $(k+1)$-volumes determined by $k+2$ points in $E$ has positive one-dimensional Lebesgue measure. In the…

We prove that in dimensions $d \geq 3$, the non-endpoint, Lorentz-invariant $L^2 \to L^p$ adjoint Fourier restriction inequality on the $d$-dimensional hyperboloid $\mathbb{H}^d \subseteq \mathbb{R}^{d+1}$ possesses maximizers. The…

We exhibit the first explicit examples of Salem sets in $\mathbb{Q}_p$ of every dimension $0 < \alpha < 1$ by showing that certain sets of well-approximable $p$-adic numbers are Salem sets. We construct measures supported on these sets that…

We prove that the set of exceptional $\lambda\in (1/2,1)$ such that the associated Bernoulli convolution is singular has zero Hausdorff dimension, and likewise for biased Bernoulli convolutions, with the exceptional set independent of the…

We consider equally-weighted Cantor measures $\mu_{q,b}$ arising from iterated function systems of the form ${b^{-1}(x+i)}$, $i=0,1,...,q-1$, where $q<b$. We classify the $(q,b)$ so that they have infinitely many mutually orthogonal…

An explicit Bellman function is used to prove a bilinear embedding theorem for operators associated with general multi-dimensional orthogonal expansions on product spaces. This is then applied to obtain $L^p,$ $1<p<\infty,$ boundedness of…

The authors have recently obtained a lower bound of the Hausdorff dimension of the sets of vectors $(x_1, \ldots, x_d)\in [0,1)^d$ with large Weyl sums, namely of vectors for which $$ \left| \sum_{n=1}^{N}\exp(2\pi i (x_1 n+\ldots +x_d…