Related papers: Large sets without Fourier restriction theorems

In this article we study the generalized Fourier dimension of the set of Liouville numbers $\mathbb{L}$. Being a set of zero Hausdorff dimension, the analysis has to be done at the level of functions with a slow decay at infinity acting as…

A first-order expansion of the $\mathbb{R}$-vector space structure on $\mathbb{R}$ does not define every compact subset of every $\mathbb{R}^n$ if and only if topological and Hausdorff dimension coincide on all closed definable sets.…

The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G\_{\delta\sigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of…

We develop the theory of multiresolutions in the context of Hausdorff measure of fractional dimension between 0 and 1. While our fractal wavelet theory has points of similarity that it shares with the standard case of Lebesgue measure on…

We give a complete characterization of the size of Borel sets that are mid-point convex but not (essentially) convex, in terms of their Hausdorff dimensions and Hausdorff measures.

Recently Wolff obtained a nearly sharp $L^2$ bilinear restriction theorem for bounded subsets of the cone in general dimension. We obtain the endpoint of Wolff's estimate and generalize to the case when one of the subsets is large. As a…

We show that if a measure of dimension $s$ on $\mathbb{R}^d$ admits $(p,q)$ Fourier restriction for some endpoint exponents allowed by its dimension, namely $q=\tfrac{s}{d}p'$ for some $p>1$, then it is either absolutely continuous or…

We prove that the Kakeya maximal conjecture is equivalent to the $\Omega$-Kakeya maximal conjecture. This completes a recent result in [2] where Keleti and Math{\'e} proved that the Kakeya conjecture is equivalent to the $\Omega$-Kakeya…

This paper explores the use of "generated sets" $\{ \{ k \boldsymbol{\zeta} \} : k = 1, \ldots, n \}$ for function approximation in reproducing kernel Hilbert spaces which consist of multi-dimensional functions with an absolutely convergent…

We prove that every real number in [0,1] is the Hausdorff dimension of a Hamel basis of the vector space of reals over the field of rationals. The logic of our proof is of particular interest. The statement of our theorem is classical; it…

Letting A be a Borel subset of n dimensional Euclidean space, and W(x) be an m dimensional affine subspace containing x and varying in a Lipschitz way according to x, we establish that A is Lebesgue null if and only if $A \cap W(x)$ has m…

A finite Borel measure $\mu$ in ${\mathbb R}^d$ is called a frame-spectral measure if it admits an exponential frame (or Fourier frame) for $L^2(\mu)$. It has been conjectured that a frame-spectral measure must be translationally absolutely…

In this paper, we present a different proof on the discrete Fourier restriction. The proof recovers Bourgain's level set result on Strichartz estimates associated with Schr\"odinger equations on torus. Some sharp estimates on…

This note records an asymptotic improvement on the known $L^p$ range for the Fourier restriction conjecture in high dimensions. This is obtained by combining Guth's polynomial partitioning method with recent geometric results regarding…

One of the prominent open problems in combinatorics is the discrepancy of set systems where each element lies in at most $t$ sets. The Beck-Fiala conjecture suggests that the right bound is $O(\sqrt{t})$, but for three decades the only…

Let a planar residual set be a set obtained by removing countably many disjoint topological disks from an open set in the plane. We prove that the residual set of a planar packing by curves that satisfy a certain lower curvature bound has…

We introduce a continuous analog of the Fourier ratio for compactly supported Borel measures. For a measure \(\mu\) on \(\mathbb{R}^d\) and \(f\in L^2(\mu)\), the Fourier ratio compares \(L^1\) and \(L^2\) norms of a regularized Fourier…

For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we…

Given $\ut\in\Rm$ and any norm $\Vert.\Vert$ on $\Rm$, we consider "inhomogeneously singular" vectors in $\Rm$ that admit an integer vector solution $(q,\underline{p})=(q,p_1,\ldots,p_m)$ to the system \[ 1\leq q\leq Q, \qquad \Vert…

The Fourier restriction problem asks when it is meaningful to restrict the Fourier transform of a function to a given set. Many of the key examples are smooth co-dimension 1 manifolds, although there is increasing interest in fractal sets.…