Related papers: Nazarov's uncertainty principles in higher dimensi…

A classical result due to Agranovsky and Narayanan (\cite{AN04}) says that if the support of the Fourier transform of $f: {\mathbb R}^n \to {\mathbb C}$ is carried by a smooth measure on a $d$-dimensional manifold $M$, and $f \in…

We provide an abstract framework for a Logvinenko-Sereda type theorem, where the classical compactness assumption on the support of the Fourier transform is replaced by the assumption that the functions under consideration belong to a…

Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \Vert f(z) \Vert=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty…

Given $E \subset \mathbb{R}^d$, $d \ge 2$, define ${\mathcal D}(E) \equiv {(x-y)/|x-y|: x,y \in E} \subset S^{d-1},$ the set of directions determined by $E$. We prove that if the Hausdorff dimension of $E$ is greater than $d-1$, then…

We prove an optimal bound in twelve dimensions for the uncertainty principle of Bourgain, Clozel, and Kahane. Suppose $f \colon \mathbb{R}^{12} \to \mathbb{R}$ is an integrable function that is not identically zero. Normalize its Fourier…

It is well known that there is an absolute constant $\mathfrak{C}>0$ such that if the Laplace transform $G(s)=\int_{0}^{\infty}\rho(x)e^{-s x}\:\mathrm{d}x$ of a bounded function $\rho$ has analytic continuation through every point of the…

Let $u$ and $v$ be harmonic in $ \Omega \subset \mathbb{R}^n$ functions with the same zero set $Z$. We show that the ratio $f$ of such functions is always well-defined and is real analytic. Moreover it satisfies the maximum and minimum…

We improve some recent results of Sagiv and Steinerberger that quantify the following uncertainty principle: for a function $f$ with mean zero, either the size of the zero set of the function or the cost of transporting the mass of the…

Let $f: [0,1]^d \rightarrow \mathbb{R}$ be a continuous function with zero mean and interpret $f_{+} = \max(f, 0)$ and $f_{-} = -\min(f, 0)$ as the densities of two measures. We prove that if the cost of transport from $f_{+}$ to $f_{-}$ is…

Let $f$ be a real-valued, degree-$d$ Boolean function defined on the $n$-dimensional Boolean cube $\{\pm 1\}^{n}$, and $f(x) = \sum_{S \subset \{1,\ldots,d\}} \widehat{f}(S) \prod_{k \in S} x_k$ its Fourier-Walsh expansion. The main result…

We prove that if ${\mathcal E} \subset {\Bbb R}^{2d}$, $d \ge 2$, is an Ahlfors-David regular product set of sufficiently large Hausdorff dimension, denoted by $dim_{{\mathcal H}}({\mathcal E})$, and $\phi$ is a sufficiently regular…

We show that if a closed discrete subset $A \subseteq \mathbf{R}^d$ is denser than a certain critical threshold, then $A$ is a Fourier uniqueness set, while if $A$ is sparser, then uniqueness fails and one can prescribe arbitrary values for…

We prove lifting theorems for complex representations $V$ of finite groups $G$. Let $\sigma=(\sigma_1,\dots,\sigma_n)$ be a minimal system of homogeneous basic invariants and let $d$ be their maximal degree. We prove that any continuous map…

We prove a $C^{1,1}$-regularity of minimizers of the functional $$ \int_I \sqrt{1+|Du|^2} + \int_I |u-g|ds,\quad u\in BV(I), $$ provided $I\subset\mathbb{R}$ is a bounded open interval and $\|g\|_\infty$ is sufficiently small, thus…

For a closed minimal immersed hypersurface $M$ in $\mathbb S^{n+1}$ with second fundamental form $A$, and each integer $k\ge 2$, define a constant $\sigma_k=\dfrac{\int_M (|A|^2)^k}{|M|}$. We show that $\sigma_k \ge 2^k$ provided $n=2$ and…

It is a well-known result by Saks \cite{Saks1934} that there exists a function $f \in L^1(\mathbb{R}^2)$ so that for almost every $(x,y)\in \mathbb{R}^2$ \[ \lim_{\substack{\mathrm{diam} R\rightarrow 0, \\ (x,y) \in R \in…

We investigate the Lebesgue measure, Hausdorff dimension, and Fourier dimension of sets of the form $RY + Z, $ where $R \subseteq (0,\infty)$ and $Y, Z \subseteq \mathbb{R}^d$. We prove a theorem on the Lebesgue measure and Hausdorff…

Consider the discrete cubic Hilbert transform defined on finitely supported functions $f$ on $\mathbb{Z}$ by \begin{eqnarray*} H_3f(n) = \sum_{m \not = 0} \frac{f(n- m^3)}{m}. \end{eqnarray*} We prove that there exists $r <2$ and universal…

We show that if the upper Assouad dimension of the compact set $E\subseteq \mathbb{R}$ is positive, then given any $D>\dim_{A}E$ there is a measure with support $E$ and upper Assouad (or regularity) dimension $D$. Similarly, given any…

A symmetric subset of the reals is one that remains invariant under some reflection x --> c-x. Given 0 < x < 1, there exists a real number D(x) with the following property: if 0 < d < D(x), then every subset of [0,1] with measure x contains…