The Fourier dimension spectrum and sumset type problems

Abstract: We introduce and study the \emph{Fourier dimension spectrum} which is a continuously parametrised family of dimensions living between the Fourier dimension and the Hausdorff dimension for both sets and measures. We establish some fundamental theory and motivate the concept via several applications, especially to sumset type problems. For example, we study dimensions of convolutions and sumsets, and solve the distance set problem for sets satisfying certain Fourier analytic conditions.

\section{The Fourier dimension spectrum: definition and basic properties}

The Hausdorff dimension (of a set or measure) is a fundamental geometric notion describing   fine scale structure.  The Fourier dimension, on the other hand, is an analytic notion which captures rather different features.  Both the Hausdorff and Fourier dimensions have  numerous applications in, for example, ergodic theory,  number theory, harmonic analysis and probability theory. The Fourier dimension of a set is bounded above by its  Hausdorff dimension and is much more sensitive to, for example,  arithmetic resonance and curvature. Indeed, the middle third Cantor set has Fourier dimension 0 because it possesses too much arithmetic structure, and a line segment embedded in the plane has Fourier dimension 0 because  it does not possess enough curvature. We note  that the Hausdorff dimension of both of these sets is strictly positive.  The line segment example also shows that the Fourier dimension is sensitive to the ambient space in a way that the Hausdorff dimension is not since a line segment in $\mathbb{R}$ has Fourier dimension 1.

The purpose of this paper is to introduce, study, and motivate a continuously parametrised family of dimensions which  vary between the Fourier and Hausdorff dimensions. The hope is that the resulting `Fourier dimension spectrum' will reveal more analytic and geometric information than the two notions considered in isolation and thus be amenable to applications in areas where both notions play a role.

We begin by defining the Fourier dimension spectrum and deriving several fundamental properties including continuity (Theorems \ref{cty0} and \ref{ctyX}) and how   it depends on the ambient space  (Theorem \ref{embedding}) noting that the `endpoints' must behave differently.  We go on to put the work in a wider context, especially in relation to average Fourier dimensions and Strichartz type bounds (Theorems \ref{stric3} and \ref{stric1}).  During the above analysis we also derive (or estimate) the Fourier dimension spectrum explicitly for several examples including Riesz products (Theorem \ref{riesz1} and Corollary \ref{riesz2}), certain self-similar measures (Corollaries \ref{selfsim1} and \ref{selfsim2}), and measures on various curves (Corollary \ref{hyperplane} and Theorem \ref{xp}).

After establishing some fundamental theory, we move towards applications of the Fourier dimension spectrum, especially concerning sumsets, convolutions, distance sets and certain random sets.  A rough heuristic which emerges is that when the Fourier dimension spectrum is not (the restriction of) an affine function,   it provides more information than the Hausdorff and Fourier dimension on their own and this leads to new estimates in various contexts.  For example, the Sobolev dimension of a measure increases under convolution with itself if and only if the Fourier dimension spectrum is not (the restriction of)  a linear function (Corollary \ref{conv2}) and when the Fourier dimension spectrum of a measure is not an affine function, it provides better estimates for the Hausdorff dimension of the distance set  of its support than the Hausdorff and Fourier dimension provide on their own via Mattila integrals (Theorem \ref{maindistance}).  As a result we solve the distance set problem for sets satisfying certain Fourier analytic conditions.  A simple special case shows  that if $\mu$ is a finite Borel  measure on $\mathbb{R}^d$ with $\int |\hat \mu |^4 <\infty$, then the distance set of the support of $\mu$ has positive Lebesgue measure (Corollary \ref{cute}).  We note that the exponent 4 is sharp.  We also use the Fourier dimension spectrum to give conditions ensuring a measure is `Sobolev improving' (Corollary \ref{sobolevimproving}),  to give estimates for the Hausdorff dimension of certain random constructions where the Fourier dimension alone provides only trivial estimates (Corollary \ref{randomsum}), and to provide a one line proof (and extension)  of a well-known connection between moment analysis and Fourier dimension in random settings (Lemma \ref{moment}).

The idea to introduce a continuum of dimensions in-between a given pair of `fractal  dimensions' is  part of a growing programme sometimes referred to as `dimension interpolation'.  Previous examples include the \emph{Assouad spectrum} which lives in-between the (upper) box-counting and Assouad dimensions \cite{assouad} and the \emph{intermediate dimensions} \cite{intermediate} which live in-between the Hausdorff and box-counting dimensions.  The Fourier dimension spectrum is of a rather different flavour since the aforementioned notions are defined via coverings.  Despite their  recent inception, the Assouad spectrum and intermediate dimensions are proving useful tools in a growing range of (often unexpected) areas, for example, in quasi-conformal mapping theory \cite{tyson} and in analysis of spherical maximal functions \cite{joris}. We believe this will also be the case for the Fourier dimension spectrum.

\subsection{Background: Energy,   Fourier transforms, and dimension}

Throughout the  paper, we write $A \lesssim B$ to mean there exists a constant $c >0$ such that $A \leq cB$.  The implicit constants $c$ are suppressed to improve exposition.  If we wish to emphasise that these constants depend on another parameter $\lambda$, then we will write $A \lesssim_\lambda B$.  We also write $A \gtrsim B$ if $B \lesssim A$ and $A \approx B$ if $A \lesssim B$ and $A \gtrsim B$.

Let $\mu$ be a finite Borel measure on $\mathbb{R}^d$ with support denoted by $\textup{spt}(\mu)$.
For $s \geq 0$, the $s$-energy of $\mu$ is  given by
\[
\mathcal{I}_s(\mu) = \int \int \frac{d \mu(x) \, d \mu(y)}{|x-y|^s}
\]
and can be used to estimate the Hausdorff dimension of $\mu$ and its support (the so-called `potential theoretic method').  Indeed, if $s \geq 0$ is such that $\mathcal{I}_s(\mu) <\infty$, then
\[
\dim_{\textup{H}} \textup{spt}(\mu) \geq \dim_{\textup{H}} \mu \geq s
\]
where $\dim_{\textup{H}}$ denotes Hausdorff dimension. In fact, this is a precise characterisation of Hausdorff dimension since for all Borel sets $X$ and $s < \dim_{\textup{H}} X$, there exists a finite Borel measure $\mu$ on $X$ such that $\mathcal{I}_s(\mu) <\infty$.   See \cite{falconer, mattila} for more on Hausdorff dimension, energy and the potential theoretic method.

There is an elegant connection between energy (and thus Hausdorff dimension) and the Fourier transform.   The Fourier transform of $\mu$ is the function $\hat \mu : \mathbb{R}^d \to \mathbb{C}$ given  by
\[
\hat \mu (z) = \int e^{-2\pi i z \cdot x} \, d \mu(x).
\]
In fact, for $0<s<d$
\[
\mathcal{I}_s(\mu) \approx_{s,d} \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2} |z|^{s-d} \, dz,
\]
see \cite[Theorem 3.1]{mattila}. Therefore, if $|\hat \mu(z)  |\lesssim |z|^{-s/2}$ for some $s \in (0,d)$, then $\mathcal{I}_s(\mu) <\infty$ and $\dim_{\textup{H}} \mu \geq s$.  This motivates the \emph{Fourier dimension}, defined by
\[
\dim_{\mathrm{F}} \mu = \sup\{ s \geq 0 : |\hat \mu(z)  |\lesssim |z|^{-s/2}\}
\]
for measures and
\[
\dim_{\mathrm{F}} X =   \sup \{ \dim_{\mathrm{F}} \mu \leq d : \textup{spt}(\mu) \subseteq X  \}
\]
for  sets $X \subseteq \mathbb{R}^d$. Here the supremum is taken over finite Borel measures $\mu$ supported by   $X$.  See \cite{modfourier} for some interesting alternative formulations of the Fourier dimension, including the modified Fourier dimension and the compact Fourier dimension.  For non-empty sets   $X \subseteq \mathbb{R}^d$
\[
0 \leq \dim_{\mathrm{F}} X \leq \dim_{\textup{H}} X \leq d
\]
and $X$ is a \emph{Salem set} if and only if $\dim_{\mathrm{F}} X = \dim_{\textup{H}} X$.  See \cite{mattila} for more on the Fourier dimension. There are many random constructions giving rise to Salem sets but non-trivial deterministic examples are much harder to come by and in general it is rather easy for a set to fail to be Salem.  For example, a line segment in $\mathbb{R}$ is Salem but in $\mathbb{R}^2$ it is not.  Further, the middle third Cantor set, many self-affine sets, the cone in $\mathbb{R}^3$, and the graph of Brownian motion all fail to be Salem sets.    In this article we are interested in   sets which are \emph{not} Salem and wish to explore the difference between $\dim_{\mathrm{F}} X$ and $\dim_{\textup{H}} X$ in a novel and  meaningful way.

\subsection{The Fourier dimension spectrum}

We  exploit the connection between Fourier dimension and Hausdorff dimension via energy to define  a continuum of `dimensions' lying in-between the Fourier and Hausdorff dimensions. Let $\mu$ be a finite Borel measure on $\mathbb{R}^d$.  For $\theta \in [0,1]$ and $s \geq 0$, we define energies
\[
\mathcal{J}_{s,\theta}(\mu) = \left( \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz \right)^{\theta},
\]
where we adopt the convention that
\[
\mathcal{J}_{s,0}(\mu) = \sup_{z \in \mathbb{R}^d} |\hat \mu(z)  |^{2} |z|^{s}.
\]
We define the \emph{Fourier dimension spectrum} (or simply the \emph{Fourier spectrum}) of $\mu$ at $\theta$ by
\[
\dim^\theta_{\mathrm{F}} \mu = \sup\{s \geq 0 : \mathcal{J}_{s,\theta}(\mu) < \infty\}
\]
where we write $\sup \o = 0$.  Note that
\[
\mathcal{J}_{s,1}(\mu) = \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2} |z|^{s-d} \, dz
\]
is  the familiar \emph{Sobolev energy} and, therefore, $\dim^1_{\mathrm{F}} \mu = \dim_{\mathrm{S}} \mu$ where $\dim_{\mathrm{S}} \mu$ is the \emph{Sobolev dimension} of $\mu$, see \cite[Section 5.2]{mattila}.  Moreover,  $\dim^0_{\mathrm{F}} \mu = \dim_{\mathrm{F}} \mu$ is the Fourier dimension of $\mu$.

For   sets  $X \subseteq \mathbb{R}^d$, we define  the \emph{Fourier dimension spectrum}  (or simply the \emph{Fourier spectrum})   of $X$ at $\theta$ by
\[
\dim^\theta_{\mathrm{F}} X =   \sup \{ \dim^\theta_{\mathrm{F}} \mu \leq d :  \textup{spt}(\mu) \subseteq X  \}.
\]
Here the supremum is again taken over finite Borel measures $\mu$ supported by  $X$.  One immediately sees that $\dim^0_{\mathrm{F}} X = \dim_{\mathrm{F}} X$ is the Fourier dimension of $X$. Moreover, using  $\mathcal{J}_{s,1}(\mu)  \approx  \mathcal{I}_s(\mu)$ for $0<s<d$ where  $\mathcal{I}_s(\mu)$ is the standard energy (see \cite[Theorem 3.1]{mattila}),
 $\dim^1_{\mathrm{F}} X = \dim_{\mathrm{H}} X$ returns  the Hausdorff dimension for Borel sets $X$. The quantity $\min\{\dim_{\mathrm{S}} \mu , d\} = \min\{ \dim^1_{\mathrm{F}} \mu, d\}$ is the \emph{energy dimension} or \emph{lower correlation dimension} of $\mu$. It is easy to see (e.g. Theorem \ref{concave} below) that
\[
\dim_{\mathrm{F}} \mu  \leq \dim^\theta_{\mathrm{F}} \mu \leq \dim_{\mathrm{S}} \mu
\]
and
\[
\dim_{\mathrm{F}} X  \leq \dim^\theta_{\mathrm{F}} X \leq \dim_{\mathrm{H}} X
\]
for all $\theta \in (0,1)$.

The Fourier dimension spectrum can be defined in terms of $L^p$ spaces in a convenient way.  Define a measure $m_d$ on $\mathbb{R}^d$  by  $d m_d =\min\{|z|^{-d}, 1\} \, dz$ and a family of functions  $f^s_\mu : \mathbb{R}^d \to \mathbb{R}$ by $f_\mu^s(z) =|\hat \mu(z)|^{2} |z|^{s}$.  Then
\[
\mathcal{J}_{s,\theta}(\mu) \approx \| f^s_\mu \|_{L^{1/\theta}(m_d)}
\]
and so
\[
\dim^\theta_{\mathrm{F}} \mu = \sup\left\{ s: f^s_\mu \in L^{1/\theta}(m_d) \right\}.
\]

 Finally, it could be interesting to consider a \emph{modified Fourier spectrum}, following the modified Fourier dimension defined in \cite{modfourier}, but we do not pursue this here.  We will be more focused on the Fourier dimension spectrum of measures and many of our results for sets would also hold for the modified or compact variants considered by \cite{modfourier}. We leave details to the reader.

\begin{figure}[H]
							\includegraphics[width=\textwidth]{graphs.png} \\ \vspace{3mm}

			\caption{\emph{Three examples.}  Left: the Fourier  spectrum of a measure with positive Fourier dimension in the plane  embedded into $\mathbb{R}^3$, see Theorem  \ref{embedding}.  Centre: the Fourier spectrum of a Riesz product from Corollary \ref{riesz2} with $a=0.8, \lambda=3$.  Right: the Fourier spectrum of Lebesgue measure lifted onto the graph of $x \mapsto x^4$, see Theorem \ref{xp}.}
			\end{figure}

\subsection{Analytic  properties: continuity, concavity} \label{basicsection}

The first task is to examine fundamental properties of the function $\theta \mapsto \dim^\theta_{\mathrm{F}} \mu$.  The results we prove in this section will be used throughout the paper as we develop the theory towards more sophisticated applications.

\begin{thm} \label{concave}
Let $\mu$ be a finite Borel measure and $X$ a non-empty set.  Then $\dim^\theta_{\mathrm{F}} \mu$  is a non-decreasing concave function of $\theta \in [0,1]$.  In particular, $\dim^\theta_{\mathrm{F}} \mu$ is continuous on $(0,1]$.  Further, $\dim^\theta_{\mathrm{F}} X$ is non-decreasing on $[0,1]$ and continuous on $(0,1]$ but may not be concave.
\end{thm}

\begin{proof}
The claims for $X$ are clear once the claims for $\mu$ are established.  We first prove concavity.  Fix $0 \leq \theta_0 < \theta_1 \leq 1$ and let $\theta \in (\theta_0, \theta_1)$.  Let $s_0<\dim_\mathrm{F}^{\theta_0} \mu$,  $s_1<\dim_\mathrm{F}^{\theta_1} \mu$ and
\[
s= s_0 \frac{\theta_1-\theta}{\theta_1-\theta_0} + s_1\frac{\theta-\theta_0}{\theta_1-\theta_0}.
\]
 Define $m_d$ by $dm_d =\min\{|z|^{-d}, 1\} \, dz$.  Then
\begin{align*}
\mathcal{J}_{s,\theta}(\mu)^{1/\theta} &\approx \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta} |z|^{s/\theta}   \, dm_d(z) \\
&  =  \int_{\mathbb{R}^d}  \left( |\hat \mu(z)  |^{2/\theta_0} |z|^{s_0/\theta_0}\right)^{  \frac{\theta_0(\theta_1-\theta)}{\theta(\theta_1-\theta_0)} } \, \left( |\hat \mu(z)  |^{2/\theta_1} |z|^{s_1/\theta_1}\right)^{ \frac{\theta_1(\theta-\theta_0)}{\theta(\theta_1-\theta_0)} } \, dm_d(z) \\
&  \leq  \left( \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta_0} |z|^{s_0/\theta_0}  \, dm_d(z) \right)^{\frac{\theta_0(\theta_1-\theta)}{\theta(\theta_1-\theta_0)}}  \ \left( \int_{\mathbb{R}^d}  |\hat \mu(z)  |^{2/\theta_1} |z|^{s_1/\theta_1}  \, dm_d(z) \right)^{\frac{\theta_1(\theta-\theta_0)}{\theta(\theta_1-\theta_0)}} \\
&<\infty
\end{align*}
by H\"older's inequality and choice of $s_0$ and $s_1$.  This establishes  $\dim^\theta_{\mathrm{F}} \mu \geq s$, proving concavity of $\dim^\theta_{\mathrm{F}} \mu$.

Next we prove that $\dim^\theta_{\mathrm{F}} \mu$ is non-decreasing. Fix $0 \leq \theta_0 < \theta_1 \leq 1$.  Let $\varepsilon>0$ and define $m_d^\varepsilon$ by  $dm_d^\varepsilon =c \min\{|z|^{-(d+\varepsilon)}, 1\} \, dz$ where $c$ is chosen such that $m_d^\varepsilon$ is a probability measure.  Then, using Jensen's inequality,
\begin{align*}
\mathcal{J}_{s,\theta_1}(\mu)^{1/\theta_0} &\approx \left(\int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta_1} |z|^{s/\theta_1} |z|^{\varepsilon}  \, dm_d^\varepsilon(z) \right)^{\theta_1/\theta_0} \\
&\leq \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta_0} |z|^{s/\theta_0} |z|^{\varepsilon\theta_1/\theta_0}  \, dm_d^\varepsilon(z)  \\
&= \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta_0} |z|^{(s +\varepsilon( \theta_1-\theta_0))/\theta_0}   |z|^{\varepsilon} \, dm_d^\varepsilon(z)  \\
&\approx \mathcal{J}_{s+\varepsilon( \theta_1-\theta_0),\theta_0}(\mu)^{1/\theta_0} \\
&<\infty
\end{align*}
provided $s< \dim_\mathrm{F}^{\theta_0} \mu -\varepsilon(\theta_1-\theta_0)$.  Letting $\varepsilon$ tend to 0 proves $\dim_\mathrm{F}^{\theta_1} \mu \geq \dim_\mathrm{F}^{\theta_0} \mu $ as required.
\end{proof}

Later we will show that the Fourier dimension spectrum is not necessarily continuous at $\theta = 0$, see Proposition \ref{discont}.  However, continuity can be established across the whole range $[0,1]$ assuming only very mild conditions. In order to prove continuity of the Fourier dimension spectrum at $\theta=0$ (and thus over the full range $[0,1]$)  we need to assume H\"older continuity of the Fourier transform.  First we show that this holds assuming only a mild decay condition on the measure.  For compactly supported measures the Fourier transform is Lipschitz (see \cite[(3.19)]{mattila})  but this is true for many non-compactly supported measures too.

\begin{lma} \label{holder}
Let $\mu$ be a finite Borel measure on $\mathbb{R}^d$     such that $|z|^\alpha \in L^1(\mu)$ for some $\alpha \in (0,1]$.  Then $\hat \mu$ is $\alpha$-H\"older.
\end{lma}

\begin{proof}
For $x, y \in \mathbb{R}^d$ with $|x-y| \geq 1$, it is immediate that $|\hat \mu(x) - \hat\mu(y) | \leq 2 \leq 2|x-y|$ and so we may assume $|x-y| \leq 1$.  Then,
\begin{align*}
|\hat \mu(x) - \hat\mu(y) |  \leq  \int \left\lvert 1-e^{-2\pi i (x-y) \cdot z } \right\rvert \, d \mu(z)&  \lesssim \int \left\lvert 1-e^{-2\pi i (x-y) \cdot z } \right\rvert^\alpha \, d \mu(z) \\
&\lesssim  \int |x-y|^\alpha|z|^\alpha  \, d \mu(z) \\
&\lesssim |x-y|^\alpha
\end{align*}
as required.
\end{proof}

\begin{thm} \label{cty0}
Let $\mu$ be a finite Borel measure on $\mathbb{R}^d$  such that $\hat \mu$ is $\alpha$-H\"older.  Then
\[
\dim^\theta_{\mathrm{F}} \mu \leq \dim_{\mathrm{F}} \mu +  d\left(1+\frac{\dim_{\mathrm{F}} \mu}{2\alpha} \right)\theta.
\]
In particular, $\dim^\theta_{\mathrm{F}} \mu$  is Lipschitz continuous at $\theta=0$ and therefore Lipschitz continuous on $[0,1]$.
\end{thm}

\begin{proof}
 Let $t>\dim_{\mathrm{F}} \mu$ which guarantees the existence of a sequence $z_k \in \mathbb{R}^d$ with $|z_k| \geq 1$ and $|z_k| \to \infty$  such that for all $k$
\[
|\hat \mu (z_k)| \geq |z_k|^{-t/2}.
\]
Since $\mu$ is   $\alpha$-H\"older,  there exists $c=c(\mu) \in (0,1)$ such that
\[
|\hat \mu (z)| \geq |z_k|^{-t/2}/2
\]
for all $z \in B(z_k,c|z_k|^{-t/(2\alpha)})$.  By passing to a  subsequence if necessary we may assume that the balls $B(z_k,c|z_k|^{-t/(2\alpha)})$ are pairwise disjoint. Therefore
\begin{align*}
\mathcal{J}_{s,\theta}(\mu)^{1/\theta} &\geq \sum_k \int_{B(z_k,c|z_k|^{-t/(2\alpha)})} |\hat \mu(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz  \\
&\gtrsim \sum_k |z_k|^{-td/(2\alpha)} |z_k|^{-t/\theta} |z_k|^{s/\theta - d} = \infty
\end{align*}
whenever $s\geq  d \theta + t+td\theta/(2\alpha)$.  This proves
\[
\dim^\theta_{\mathrm{F}} \mu \leq \dim_{\mathrm{F}} \mu +  d\left(1+\frac{\dim_{\mathrm{F}} \mu}{2\alpha} \right)\theta
\]
as required.
\end{proof}

Later we provide an example showing that the   bounds from Theorem \ref{cty0} are sharp in the case $\dim_{\mathrm{F}} \mu = 0$ and $\alpha = 1$, see Corollary \ref{firstsharp}.  We believe them to be sharp in general but do not pursue this question further.

\begin{ques}
Are the bounds from Theorem \ref{cty0} sharp?  Are they sharp when $\mu$ is compactly supported and $\dim_{\mathrm{F}} \mu >0$?
\end{ques}

 One benefit of Theorem \ref{cty0} is the demonstration that positive Fourier dimension of a measure can always be observed by averaging (in the case when $\hat \mu$ is H\"older).  That is, provided $\hat \mu$ is H\"older, $\dim_{\mathrm{F}} \mu >0$ if and only if $\dim^\theta_{\mathrm{F}} \mu>d \theta$ for some $\theta >0$.  This is potentially useful since positive Fourier dimension requires uniform estimates on $|\hat \mu|$ which are \emph{a priori} harder to obtain than  estimates on the `averages'  $\mathcal{J}_{s,\theta}(\mu)$.

Using  Theorem \ref{cty0} we immediately get continuity of the Fourier dimension spectrum for compact sets.   However, using a trick inspired by \cite[Lemma 1]{modfourier} we can upgrade this to  continuity of the Fourier dimension spectrum for \emph{all} sets.

\begin{thm} \label{ctyX}
If   $ X\subseteq \mathbb{R}^d $ is a non-empty   set, then
\[
\dim^\theta_{\mathrm{F}} X \leq \dim_{\mathrm{F}} X +  d\left(1+\frac{\dim_{\mathrm{F}} X}{2} \right)\theta
\]
for all $\theta \in [0,1]$. In particular,   $\dim^\theta_{\mathrm{F}} X$ is Lipschitz continuous on the whole range $[0,1]$ with $\dim_{\mathrm{F}}^0 X = \dim_{\mathrm{F}} X$ and,  if $X$ is Borel, $\dim_{\mathrm{F}}^1 X = \dim_{\textup{H}} X$.
\end{thm}

\begin{proof}
Let $\mu$ be a finite Borel measure supported by $X$.  Let $f: \mathbb{R}^d \to [0,\infty)$ be a smooth function with compact support such that the  Borel  measure $\nu$ defined by $d \nu = f \, d \mu$ satisfies $\nu(X)>0$.  Then $\nu$ is  supported on a compact subset of $X$.  We claim that
\[
\dim^\theta_{\mathrm{F}} \nu \geq \dim^\theta_{\mathrm{F}} \mu
\]
for all $\theta \in [0,1]$. Together with Theorem \ref{cty0} and Lemma \ref{holder}, this  claim proves the result.  Since $f$ is smooth and has compact support, it holds that for all integers $n \geq 1$ $|\hat f (t)| \lesssim_n |t|^{-n}$ for $|t| \geq 1$. In particular, $\hat f$ and $f$ are  $L^1$ functions. Therefore, by the Fourier inversion formula,
\begin{equation} \label{inversionuse}
\hat \nu (z) = \int_{\mathbb{R}^d} \hat \mu(z-t) \hat f(t) \, dt.
\end{equation}
The claim for $\theta=0$ is \cite[Lemma 1]{modfourier}  and so we may assume $\theta \in (0,1]$.  Using \eqref{inversionuse}
\begin{align*}
\mathcal{J}_{s,\theta}(\nu)^{1/\theta} &= \int_{\mathbb{R}^d} \left\lvert \int_{\mathbb{R}^d} \hat \mu(z-t) \hat f(t) \, dt \right\rvert^{2/\theta} |z|^{s/\theta-d} \, dz\\
& \lesssim  \int_{\mathbb{R}^d}\int_{\mathbb{R}^d}  \left\lvert \hat \mu(z-t)\right\rvert^{2/\theta} |\hat f(t) | \, dt  \, |z|^{s/\theta-d} \, dz \qquad \text{(by Jensen's inequality)}\\
& =  \int_{\mathbb{R}^d}|\hat f(t) | \int_{\mathbb{R}^d}  \left\lvert \hat \mu(z-t)\right\rvert^{2/\theta}|z|^{s/\theta-d} \, dz \, dt   \qquad \text{(by Fubini's  theorem)}\\
& =  \int_{\mathbb{R}^d}|\hat f(t) | \int_{\mathbb{R}^d}  \left\lvert \hat \mu(z)\right\rvert^{2/\theta}|z+t|^{s/\theta-d} \, dz \, dt    \\
& =  \int_{\mathbb{R}^d}|\hat f(t) | \int_{\mathbb{R}^d \setminus B(0,5 |t|)}  \left\lvert \hat \mu(z)\right\rvert^{2/\theta}|z+t|^{s/\theta-d} \, dz \, dt  \\
&\, \hspace{4cm} +    \int_{\mathbb{R}^d}|\hat f(t) | \int_{B(0,5 |t|)}  \left\lvert \hat \mu(z)\right\rvert^{2/\theta}|z+t|^{s/\theta-d} \, dz \, dt    \\
&\lesssim  \int_{\mathbb{R}^d}|\hat f(t) | \, dt  \int_{\mathbb{R}^d}  \left\lvert \hat \mu(z)\right\rvert^{2/\theta}|z|^{s/\theta-d} \, dz  +  \int_{\mathbb{R}^d}|\hat f(t) | |t|^d |t|^{s/\theta-d} \, dt     \\
&\lesssim \mathcal{J}_{s,\theta}(\mu)^{1/\theta} + 1
\end{align*}
using the rapid decay of $|\hat f(t)|$.  This proves the claim and the theorem.
\end{proof}

It is useful to keep the following simple bounds in mind. These are immediate from Theorems \ref{concave} and \ref{cty0}.

\begin{cor} \label{bounds}
Let $\mu$ be a compactly supported  finite Borel measure on $\mathbb{R}^d$.  Then
\[
 \dim_{\mathrm{F}} \mu + \theta\left(\dim_{\mathrm{S}} \mu - \dim_{\mathrm{F}} \mu\right)  \leq \dim^\theta_{\mathrm{F}} \mu \leq  \min \left\{ \dim_{\mathrm{S}} \mu, \, \dim_{\mathrm{F}} \mu +  d\left(1+\frac{\dim_{\mathrm{F}} \mu}{2} \right)\theta \right\}.
\]
\end{cor}

In certain extremal situations the Fourier dimension spectrum is determined by the Fourier and Sobolev dimensions.

\begin{cor} \label{collapse}
If  $\mu$ is a finite Borel measure on $\mathbb{R}^d$  such that $\hat \mu$ is $\alpha$-H\"older and
\[
\dim_{\mathrm{S}} \mu = \left(1+\frac{d}{2\alpha} \right) \dim_{\mathrm{F}} \mu + d,
\]
then
\[
\dim^\theta_{\mathrm{F}} \mu  =  \dim_{\mathrm{F}} \mu +  d\left(1+\frac{\dim_{\mathrm{F}} \mu}{2\alpha} \right)\theta
\]
for all $\theta \in [0,1]$.
\end{cor}

Another simple consequence of Theorem \ref{cty0} is that the Sobolev dimension can be controlled by the Fourier dimension. We are unaware if the following estimates were known previously.

\begin{cor} \label{sobolev}
Let $\mu$ be a finite Borel measure on $\mathbb{R}^d$  such that $\hat \mu$ is $\alpha$-H\"older.   Then
\[
\dim_{\mathrm{S}} \mu \leq \left(1+\frac{d}{2\alpha} \right) \dim_{\mathrm{F}} \mu + d.
\]
In particular, if
\[
\dim_{\mathrm{F}} \mu \leq  \frac{d}{1+d/(2\alpha)}
\]
then $\dim_{\mathrm{S}} \mu \leq  2d$, and   if $\dim_{\mathrm{F}} \mu =0$, then  $\dim_{\mathrm{S}} \mu \leq  d$.  These are  relevant thresholds for Sobolev dimension because if $\dim_{\mathrm{S}} \mu > 2d$, then $\mu$ is a continuous function and if $\dim_{\mathrm{S}} \mu >d$, then $\mu \in L^2(\mathbb{R}^d)$, see  \cite[Theorem 5.4]{mattila}.
\end{cor}

\section{Dependence on ambient space}

An elementary but striking observation on the Fourier dimension is that it depends on the ambient space in a way that Hausdorff dimension, for example, does not.  Consider integers $1 \leq k<d$ and let $f^{k,d} : \mathbb{R}^k \to \mathbb{R}^d$ be an isometric embedding defined by identifying $\mathbb{R}^k$ with a $k$-dimensional affine subset of $\mathbb{R}^d$.  Then it is well-known and easily seen that
\[
\dim_{\mathrm{F}} f_\#^{k,d} \mu = 0
\]
for all finite Borel measures $\mu$ on $\mathbb{R}^k$ but, provided $\dim_{\mathrm{S}} \mu \leq k$,
\[
\dim_{\mathrm{S}} f_\#^{k,d} \mu = \dim_{\mathrm{S}} \mu.
\]
Here $f_\#^{k,d} \mu $ is the pushforward of $\mu$ under $f^{k,d}$. The conclusion for Sobolev dimension follows by observing that the standard energy $\mathcal{I}_s(\mu)$ does not depend on the ambient space. Moreover,
\[
\dim_{\mathrm{F}} f^{k,d}(X) = 0
\]
and
\[
\dim_{\textup{H}} f^{k,d}(X) = \dim_{\textup{H}} X
\]
for all $X \subseteq \mathbb{R}^k$. Since the Fourier dimension spectrum interpolates between the Fourier and Sobolev/Hausdorff dimensions, it is natural to ask what happens to the Fourier dimension spectrum under the  embeddings $f^{k,d}$. In particular, the answer must encapsulate both of the rather distinct behaviours seen above.

\begin{thm} \label{embedding}
Let $1 \leq k<d$ be integers,  $\mu$ be a  finite Borel measure on $\mathbb{R}^k$ and $X \subseteq \mathbb{R}^k$ be a non-empty set.  Then
\[
\dim^\theta_{\mathrm{F}}  f_\#^{k,d} \mu = \min\{\theta k, \dim^\theta_{\mathrm{F}} \mu\}
\]
and
\[
\dim^\theta_{\mathrm{F}}  f ^{k,d} (X) = \min\{\theta k, \dim^\theta_{\mathrm{F}} X\}
\]
for all $\theta \in [0,1]$.
\end{thm}

\begin{proof}
The claim for sets follows immediately from the claim for measures and so we just prove the result for $\mu$.  Fix $\theta \in (0,1)$, write $V = f^{k,d}(\mathbb{R}^k)$ and  $\pi$ for orthogonal projection from $\mathbb{R}^d$ onto $V$ identified with $\mathbb{R}^k$.  We may assume without loss of generality that $V$ is a subspace of $\mathbb{R}^d$.  We begin with the upper bound. Since $\hat \mu (0) = \mu(\mathbb{R}^d)>0$ and $\hat \mu $ is continuous, there exists $\varepsilon=\varepsilon(\mu)$ such that $|\hat \mu (z)| \geq \mu(\mathbb{R}^d)/2>0$ for all $z \in B_V(0,\varepsilon)$, where $B_V$ denotes   open balls in $V$.  Write $0 \neq z \in \mathbb{R}^d$ in spherical coordinates $z=r v$ where $r>0$ and $v \in S^{d-1}$ with $\sigma_{d-1}$ the surface measure on $S^{d-1}$. Then
\begin{align*}
\mathcal{J}_{s,\theta}( f_\#^{k,d} \mu)^{1/\theta} &=\int_{0}^\infty  \int_{S^{d-1}} | \hat \mu(r \pi(v))  |^{2/\theta} r^{s/\theta-d} \, r^{d-1} d\sigma_{d-1}(v) dr \\
&  \geq \int_{0}^\infty r^{s/\theta-1} \int_{\substack{v \in S^{d-1}: \\ r \pi(v) \in B_V(0,\varepsilon)}} |\hat \mu(r \pi(v))  |^{2/\theta}  \, d\sigma_{d-1}(v) dr \\
&  \gtrsim_\theta  \int_{0}^\infty r^{s/\theta-1}\sigma_{d-1}\left(v \in S^{d-1}:   \pi(v) \in B_V(0,\varepsilon/r) \right)  dr \\
&  \gtrsim  \int_{0}^\infty r^{s/\theta-1} \left( \varepsilon/r\right)^k  dr \\
&=\infty
\end{align*}
whenever $s \geq k\theta$, proving $\dim^\theta_{\mathrm{F}} f_\#^{k,d} \mu \leq k \theta$.

  For the remaining upper bound, we may assume $\theta k >\dim^\theta_{\mathrm{F}} \mu$ and   let $\theta k> s >\dim^\theta_{\mathrm{F}} \mu$ and fix  $1< c <2$ and $\max\{c/2,1/c\} < r <1$. In what follows the implicit constants may depend on $r$ and $c$ (and other fixed parameters as usual).  Then,  writing $z=(x,y)$ for $x \in V^\perp$ and $y \in V$,
\begin{align*}
\int_{\mathbb{R}^d} |\widehat{ f_\#^{k,d} \mu}(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz & \gtrsim  \int_{x \in V^\perp } \int_{\substack{y \in V : \\ |x| \leq |y| \leq 2 |x|}} |\hat \mu(y)  |^{2/\theta} |y|^{s/\theta-k}  |x|^{k-d}  \, dy dx \\
& \geq \sum_{n=1}^\infty  \int_{\substack{x \in V^\perp: \\ r c^n \leq |x| \leq c^n} } \int_{\substack{y \in V : \\ c^n \leq |y| \leq c^{n+1}}} |\hat \mu(y)  |^{2/\theta} |y|^{s/\theta-k}  |x|^{k-d}  \, dy dx \\
& \gtrsim \sum_{n=1}^\infty  c^{n(k-d)}\int_{\substack{x \in V^\perp: \\ r c^n \leq |x| \leq c^n} }  \,   dx \int_{\substack{y \in V : \\ c^n \leq |y| \leq c^{n+1}}} |\hat \mu(y)  |^{2/\theta} |y|^{s/\theta-k}    \, dy  \\
& \gtrsim \sum_{n=1}^\infty  \int_{\substack{y \in V : \\ c^n \leq |y| \leq c^{n+1}}} |\hat \mu(y)  |^{2/\theta} |y|^{s/\theta-k}    \, dy  \\
& =  \int_{\substack{y \in V : \\ c \leq |y| }} |\hat \mu(y)  |^{2/\theta} |y|^{s/\theta-k}    \, dy  \\
&=\infty
\end{align*}
proving $\dim^\theta_{\mathrm{F}} f_\#^{k,d} \mu \leq \dim^\theta_{\mathrm{F}} \mu$.

We turn our attention to the lower bound.  Let $s <\min\{\theta k , \dim^\theta_{\mathrm{F}} \mu\}$ and $\varepsilon \in (0,1)$ with $s+\varepsilon\theta <\min\{\theta k , \dim^\theta_{\mathrm{F}} \mu\}$.  Then, again writing $z=(x,y)$ for $x \in V^\perp$ and $y \in V$,
\begin{align*}
\int_{\mathbb{R}^d} |\widehat{ f_\#^{k,d} \mu}(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz & =  \int_{\mathbb{R}^d} |\hat \mu (\pi(z))  |^{2/\theta} |z|^{(s+\varepsilon \theta)/\theta-k} |z|^{k-d-\varepsilon} \, dz \\
& \leq   \int_{x \in V^\perp } \int_{y \in V } |\hat \mu (y)  |^{2/\theta}  |y|^{(s+\varepsilon \theta)/\theta-k} |x|^{k-d-\varepsilon}  \, dy \, dx \\
& \leq   \int_{y \in V } |\hat \mu (y)  |^{2/\theta}  |y|^{(s+\varepsilon \theta)/\theta-k}  \, dy   \int_{x \in V^\perp }|x|^{k-d-\varepsilon}  \, dx \\
&<\infty
\end{align*}
proving $\dim^\theta_{\mathrm{F}}  f_\#^{k,d} \mu \geq  \min\{\theta k, \dim^\theta_{\mathrm{F}} \mu\}$, as required.
\end{proof}

One can see from Theorem \ref{embedding} together with Theorem \ref{cty0} that the Fourier dimension spectrum of a measure is preserved upon embedding in a Euclidean space with strictly larger dimension if and only if the Fourier dimension of the measure is zero to begin with.

Using Theorem \ref{embedding} we get our first  examples where the Fourier dimension spectrum can be derived explicitly.

\begin{cor} \label{hyperplane}
Let $X$ be an isometric embedding of  $[0,1]^k$ in  $\mathbb{R}^d$ for integers $1 \leq k < d$ and let  $\mu$ be the restriction of $k$-dimensional Hausdorff measure to $X$.  Then
\[
\dim^\theta_{\mathrm{F}} X = \dim^\theta_{\mathrm{F}} \mu = k \theta
\]
for all $\theta \in [0,1]$.
\end{cor}

\section{Fourier coefficients, energy, and Riesz products}

There is a convenient representation for the energy in terms of the Fourier coefficients of a measure, see \cite[Theorem 3.21]{mattila}.  Indeed, for $\mu$ a  finite Borel measure on $\mathbb{R}^d$ with support contained in $[0,1]^d$
\begin{equation} \label{fouriercoeff}
\mathcal{J}_{s,1}(\mu) \approx 1 +  \sum_{z\in \mathbb{Z}^d \setminus\{0\}} |\hat{\mu}(z)|^2 |z|^{s-d}
\end{equation}
for $0<s<d$.
Using the convolution formula, \eqref{fouriercoeff}  gives information about $\mathcal{J}_{s,\theta}(\mu)$ for $0<s<d \theta$ with $\theta$ the reciprocal of an integer. However, we need to sum over the  finer grid $\theta\mathbb{Z}^d$ because the convolution $\mu^{*1/\theta}$ is no-longer supported on $[0,1]^d$ (but on $[0,1/\theta]^d$) and so we need to rescale in order to apply \eqref{fouriercoeff}.

\begin{prop} \label{coeffs}
Let $\mu$ be a  finite Borel measure on $\mathbb{R}^d$ with support contained in $[0,1]^d$. For $0<s<d \theta$ and $\theta =1/k$ for $k \in \mathbb{N}$
\[
\mathcal{J}_{s,\theta}(\mu)   \approx   1 +  \sum_{z\in \theta\mathbb{Z}^d \setminus\{0\}} |\hat{\mu}(z)|^{2/\theta} |z|^{s/\theta-d} .
\]
\end{prop}
\begin{proof}
 Writing  $\theta \mu^{*1/\theta}$ for the pushforward of  $\mu^{*1/\theta}$ under the dilation $x \mapsto \theta x$, we get that $\theta \mu^{*1/\theta}$  is  supported on $[0,1]^d$ and that
\begin{equation} \label{temp}
\widehat{\theta \mu^{*1/\theta}}(z) = \widehat{ \mu^{*1/\theta}}(\theta z)
\end{equation}
for $z \in \mathbb{R}^d$.  Then
\begin{align*}
\mathcal{J}_{s,\theta}(\mu)  = \int_{\mathbb{R}^d} |\hat \mu (z)|^{2/\theta} |z|^{s/\theta - d} \, dz & = \int_{\mathbb{R}^d} |\widehat{ \mu^{*1/\theta}} (z)|^{2} |z|^{s/\theta - d} \, dz \qquad \text{(convolution formula)}\\
& \approx_\theta  \int_{\mathbb{R}^d} | \widehat{\theta \mu^{*1/\theta}}(z/\theta)|^{2} |z/\theta|^{s/\theta - d} \, dz \qquad \text{(by \eqref{temp})} \\
& \approx_\theta   \int_{\mathbb{R}^d} | \widehat{\theta \mu^{*1/\theta}}(z)|^{2} |z|^{s/\theta - d} \, dz\\
& = \mathcal{J}_{s/\theta,1}(\theta \mu^{*1/\theta}) \\
 &\approx 1 +  \sum_{z\in \mathbb{Z}^d \setminus\{0\}} |\widehat{\theta \mu^{*1/\theta}}(z)|^2 |z|^{s/\theta-d}  \qquad \text{(by \eqref{fouriercoeff})}  \\
 &\approx_\theta 1 +  \sum_{z\in \mathbb{Z}^d \setminus\{0\}} |\widehat{ \mu^{*1/\theta}}(\theta z)|^2 |\theta z|^{s/\theta-d}  \qquad \text{(by \eqref{temp})}  \\
& = 1 +  \sum_{z\in \theta\mathbb{Z}^d \setminus\{0\}} |\hat{\mu}(z)|^{2/\theta} |z|^{s/\theta-d}  \qquad \text{(convolution formula)}
\end{align*}
as required.
\end{proof}

It would be useful to relax the assumptions in Proposition \ref{coeffs} but we do not attempt this here.
\begin{ques}
In  Proposition \ref{coeffs}, can the assumption that $\theta$ is the reciprocal of an integer be removed?  Can the assumption that $0<s<d\theta$ be weakened?
\end{ques}

Being able to estimate the energy in terms of the Fourier coefficients often simplifies calculations.  To demonstrate this we give an easy example of a measure showing the upper bound from Theorem \ref{cty0} is sharp in the case $\dim_{\mathrm{F}} \mu = 0$ and $\alpha = 1$.

\begin{cor} \label{firstsharp}
Define $f:[0,1] \to \mathbb{R}$   by
\[
f(x) = 2+ \sum_{n=1}^\infty n^{-2} \sin(2\pi2^{n}x)
\]
and $f_d: [0,1]^d \to \mathbb{R}$ by $f_d(x_1, \dots, x_d) = f(x_1)  \cdots  f(x_d)$.
Then $f$ and $f_d$ are non-negative and we may define a measure $\mu$ supported on $[0,1]^d$ by  $d\mu = f_d dx$. Then
\[
\dim^\theta_{\mathrm{F}} \mu = \theta d
\]
for all $\theta \in [0,1]$.
\end{cor}

\begin{proof}
 For integers $n \geq 1$
 \[
|\hat f(2^{n})| = n^{-2}
\]
and $|\hat f(z)| = 0$ for integers $z \in \mathbb{Z}$ which are not of the form $z=2^n$ for $n \geq 1$ an integer.  Moreover, for all $z = (z_1, \dots, z_d) \in \mathbb{Z}^d$
\[
|\hat \mu(z)| = |\hat f_d(z)| = |\hat f(z_1)|   \cdots  |\hat f(z_d)| .
\]
Therefore, if $z = (z_1, \dots, z_d) \in \mathbb{Z}^d$ is such that $z_i=2^{n_i}$  for integers $n_i \geq 1$, then
 \[
|\hat \mu(z)| = n_1^{-2} \cdots n_d^{-2}
\]
and $|\hat \mu(z)| = 0$, otherwise. In particular,  $\dim_{\mathrm{F}} \mu = 0$. Further, using the Fourier series representation \eqref{fouriercoeff} of the energy
\[
\mathcal{J}_{s,1}(\mu) \approx 1 +  \sum_{z=-\infty}^{\infty} |\hat{\mu}(z)|^2 |z|^{s-d} \lesssim  1 +  \sum_{n=1}^{\infty} n^{d-1} n^{-4}  2^{n(s-d)} <\infty
\]
for $s<d$ and so $\dim_{\mathrm{S}} \mu = d$.  Since $\dim^\theta_{\mathrm{F}} \mu$ is concave, the result follows from Theorem \ref{cty0}.
\end{proof}

\subsection{Riesz products}

Proposition \ref{coeffs} gives useful information about the Fourier dimension spectrum for $\theta$ which are the reciprocal of an integer.  However, if more information about the Fourier transform is available sometimes this can be pushed to all $\theta$.  This is the case   for Riesz products which we use below  to provide explicit examples with a more complicated Fourier dimension spectrum than the examples we have met thus far.   Riesz products are a well-studied family of measures defined by
\[
\mu_{a,\lambda} = \prod_{j=1}^\infty (1+a_j \cos(2\pi \lambda_j x))
\]
where  $a=(a_j)$ and $\lambda = (\lambda_j)$ with $a_j \in [-1,1]$ and $\lambda_j \in \mathbb{N}$ with $   \lambda_{j+1} \geq 3\lambda_j$   are given sequences.  Here $\mu_{a,\lambda}$ is the weak limit of the sequence of absolutely continuous measures associated to the truncated  products.   It is well-known that $\mu_{a,\lambda}$ is absolutely continuous if and only if $\sum_j a_j^2 < \infty$ and otherwise they are mutually singular with respect to Lebesgue measure, see \cite[Theorem 13.2]{mattila}.  The dimension theory of Riesz products, especially in the singular case, is well-studied, see \cite{hare, mattila}.  The Fourier coefficients of $\mu_{a,\lambda}$ can be derived easily giving
\[
|\widehat{\mu_{a,\lambda}}(k)| = \Pi_{\varepsilon_j \neq 0} (a_j/2)
\]
for integers $k \neq 0$ with (unique) representation
\[
k = \sum_j \varepsilon_j \lambda_j \qquad (\varepsilon_j \in \{-1,0,1\})
\]
and $|\widehat{\mu_{a,\lambda}}(k)| = 0$ for integers without such a representation. Therefore
\[
\widehat{\mu_{a,\lambda}}(\lambda_k) = a_k
\]
and so
\[
\dim_{\mathrm{F}} \mu_{a,\lambda} \leq \liminf_{k \to \infty} \frac{-2 \log |a_k|}{\log \lambda_k}.
\]
Therefore, if $\dim_{\mathrm{F}} \mu_{a,\lambda} >0$, then $\sum_j a_j^2 < \infty $ and $ \mu_{a,\lambda}$ is absolutely continuous. Moreover, if $\lambda_{j+1}/\lambda_{j} \to \infty$, then $\dim_{\textup{H}} \mu_{a,\lambda} = 1$ and $\dim_{\mathrm{S}} \mu_{a,\lambda} \geq 1$, see \cite[Corollary 3.3]{hare}.

\begin{thm} \label{riesz1}
Suppose $ \lambda_{j+1} \leq C \lambda_j$  for some fixed $C \geq 3$ and  $\liminf_{k \to \infty} \frac{-2 \log |a_k|}{\log \lambda_k} = 0$. Let
\[
\mathcal{S}_\theta(s) =\sum_{k=1}^\infty \lambda_k^{s/\theta-1}  \, \Pi_{j=1}^{k-1} (1+|a_j|^{2/\theta}/2)  .
\]
Then, for $\theta \in (0,1]$,
\[
\dim^\theta_{\mathrm{F}} \mu_{a,\lambda} =    \sup\{s \leq  \theta : \mathcal{S}_\theta(s)  < \infty\}.
\]
\end{thm}

\begin{proof}
We first prove the upper bound.  Note that $\dim_{\mathrm{F}} \mu_{a,\lambda} =  \liminf_{k \to \infty} \frac{-2 \log |a_k|}{\log \lambda_k} = 0$ and so $\dim^\theta_{\mathrm{F}} \mu_{a,\lambda} \leq \theta$ by Corollary  \ref{bounds}.  Observe that
\[
|\widehat{\mu_{a,\lambda}}(z)| \geq   |\widehat{\mu_{a,\lambda}}(k)|/2
\]
for all $z \in \mathbb{R}$ with $|z-k| \leq 1/2$ and where $k \neq 0$ has a (unique) representation
\begin{equation} \label{unirep}
k = \sum_j \varepsilon_j \lambda_j \qquad (\varepsilon_j \in \{-1,0,1\}).
\end{equation}
Summing over such $k$,
\[
\mathcal{J}_{s,\theta}(\mu_{a,\lambda})   \gtrsim       \sum_{k} |\widehat{\mu_{a,\lambda}}(k)|^{2/\theta} |k|^{s/\theta-1}.
\]
Then, by following the proof of \cite[Theorem 13.3]{mattila}, one obtains that the right hand side is finite if and only if $\mathcal{S}_\theta(s)  < \infty$.  This proves the upper bound.

 For the lower bound, observe that
\[
|\widehat{\mu_{a,\lambda}}(z)| \lesssim \sum_k |\widehat{\mu_{a,\lambda}}(k)|\min\{ 1 , |z-k|^{-1}\}
\]
for $z \in \mathbb{R}$ where the sum is over integers $k \neq 0$ with (unique) representation \eqref{unirep}. Fix $\theta \in (0,1]$, $0<s<\theta$ and $0<\varepsilon< (\theta-s)/(2-\theta)$. Note that  $\mathcal{S}_\theta(s) = \infty$  for $s > \theta$. By Jensen's inequality,
\begin{align*}
|\widehat{\mu_{a,\lambda}}(z)|^{2/\theta}  &\lesssim_\varepsilon \sum_k |\widehat{\mu_{a,\lambda}}(k)|^{2/\theta}\min\left\{ 1 , \frac{1}{|z-k|^{1-\varepsilon(2/\theta-1)}}\right\}.
\end{align*}
Then,  applying Fubini's theorem and  setting $y=z-k$,
\begin{align*}
\mathcal{J}_{s,\theta}(\mu_{a,\lambda})  &=\int_\mathbb{R} |\widehat{\mu_{a,\lambda}}(z)|^{2/\theta} |z|^{s/\theta-1} \, dz\\
 &\lesssim_\varepsilon \sum_k |\widehat{\mu_{a,\lambda}}(k)|^{2/\theta}\int_\mathbb{R} \min\left\{ |z|^{s/\theta-1}  , \frac{|z|^{s/\theta-1} }{|z-k|^{1-\varepsilon(2/\theta-1)}}\right\} \, dz  \\
 &\lesssim \sum_k |\widehat{\mu_{a,\lambda}}(k)|^{2/\theta} \bigg(\int_{|y| \leq 2}  |y+k|^{s/\theta-1}  \, dy  \\
&\, \qquad \qquad \qquad + \int_{2 \leq |y| \leq 2k}  \frac{|k|^{s/\theta-1} }{|y|^{1-\varepsilon(2/\theta-1)}} \, dy + \int_{ |y| \geq 2k}  \frac{1}{|y|^{2-s/\theta -\varepsilon(2/\theta-1)}} \, dy \bigg)\\
&\lesssim \sum_k |\widehat{\mu_{a,\lambda}}(k)|^{2/\theta}  |k|^{s/\theta-1+\varepsilon(2/\theta-1)} \\
& <\infty
\end{align*}
provided $s +\varepsilon(2-\theta)< \sup\{s \leq  \theta : \mathcal{S}_\theta(s)  < \infty\}$.  Since $\varepsilon>0$ can be chosen arbitrarily small, the lower bound follows.
\end{proof}

It would be interesting to investigate the Fourier dimension spectrum of Riesz products in greater generality, but we do not pursue this here. We note a pleasant explicit formula  in the following simple case.

\begin{cor} \label{riesz2}
If $\lambda_j=\lambda^j \geq 3$ and $a_j=a \in [-1,1]$ with $a \neq 0$ and $\lambda\geq 3$ constants, then,  for $\theta \in [0,1]$,
\[
\dim^\theta_{\mathrm{F}} \mu_{a,\lambda} = \theta-\theta \frac{\log(1+|a|^{2/\theta}/2)}{\log \lambda}.
\]
\end{cor}

\subsection{An example with discontinuity at $\theta=0$}

Here we construct a (necessarily unbounded) measure for which the Fourier dimension spectrum is discontinuous at $\theta = 0$.  The construction is similar to those above, but utilises the unbounded domain to achieve rapid Fourier decay around isolated peaks.

\begin{prop} \label{discont}
There exists a finite Borel measure on $\mathbb{R}$ for which $\dim^\theta_{\mathrm{F}} \mu$ is not continuous at $\theta=0$.
\end{prop}

\begin{proof}
Define $f: \mathbb{R} \to [0,\infty)$ by
\[
f(x) = \sum_{n=1}^\infty n^{-2} n^{-n}\left(2+ \sin(2\pi2^nx) \right) \textbf{1}_{[0,n^n]}(x)
\]
where $\textbf{1}_{[0,n^n]}$ is the indicator function on $[0,n^n]$. Define an (unbounded) measure $\mu$ by $\mu = f dx$ noting that
\[
\mu(\mathbb{R}) \leq  \sum_n 3(n^{-2} n^{-n}) n^n = 3\sum_n n^{-2}   < \infty.
\]
For integers $n \geq 1$,
\[
|\hat \mu(2^n) | \approx  (n^{-2} n^{-n})n^n = n^{-2}
\]
and so $\dim_{\mathrm{F}} \mu = \dim_\textup{F}^0 \mu = 0$.  Moreover, for all $z \in \mathbb{R}$,
\[
|\hat \mu(z) | \lesssim \max_n \min\left\{ n^{-2}  , \frac{1}{n^n  |z-2^n|} \right\} \lesssim \begin{cases}
      n^{-2} & \frac{n^n 2^n}{n^n+1} \leq |z| \leq \frac{n^n 2^n}{n^n-1} \text{ (for some $n \geq 3$)} \\
      |z|^{-1}& \text{otherwise}
   \end{cases}
\]
Therefore, for $\theta \in (0,1]$ and $s >0$,
\begin{align*}
\mathcal{J}_{s, \theta} (\mu) &\lesssim  \int   |z|^{-2/\theta} |z|^{s/\theta-1} \, dz  +  \sum_n n^{-4/\theta}  \int_{\frac{n^n 2^n}{n^n+1} \leq |z| \leq \frac{n^n 2^n}{n^n-1}}     |z|^{s/\theta-1} \, dz  \\
&\lesssim   \int   |z|^{(s-2)/\theta-1} \, dz  +   \sum_n n^{-4/\theta}     2^{n(s/\theta-1)}2^n n^{-n}  \\
&<\infty
\end{align*}
provided $s<2$.  Therefore, $\dim^\theta_{\mathrm{F}} \mu \geq 2$ for $\theta \in (0,1]$ and $\dim^\theta_{\mathrm{F}} \mu$ is not continuous at $\theta = 0$.
\end{proof}

It is easy to adapt the above calculation to show that $\dim^\theta_{\mathrm{F}} \mu = 2$ for $\theta \in (0,1]$.  Further, this example can be modified easily to obtain different behaviour at the discontinuity, including positive Fourier dimension and arbitrarily large jumps.

\section{Connection to Strichartz  bounds and average Fourier dimensions}

Strichartz \cite{stric1, stric2} considered bounds for  averages of the  Fourier transform of the form
\[
R^{d-\beta_k} \lesssim \int_{|z| \leq R} |\hat \mu (z)|^{2k} \, dz \lesssim R^{d-\alpha_k}
\]
for integers $k \geq 1$ and $0 \leq \alpha_k \leq \beta_k$. Motivated by this, for $\theta \in (0,1]$, let
\[
\overline{F}_\mu(\theta) = \limsup_{R \to \infty} \frac{\theta \log \left(R^{-d} \int_{|z| \leq R} |\hat \mu (z)|^{2/\theta} \, dz \right)}{-\log R}
\]
and
\[
\underline{F}_\mu(\theta) = \liminf_{R \to \infty} \frac{\theta \log \left(R^{-d} \int_{|z| \leq R} |\hat \mu (z)|^{2/\theta}\, dz \right)}{-\log R}.
\]
In particular, $\overline{F}_\mu(\theta)$ is the infimum of $\beta \geq 0$ for which
\[
R^{d-\beta/\theta} \lesssim \int_{|z| \leq R} |\hat \mu (z)|^{2/\theta} \, dz
\]
and  $\underline{F}_\mu(\theta)$ is the supremum  of $\alpha\geq 0$ for which
\[
  \int_{|z| \leq R} |\hat \mu (z)|^{2/\theta} \, dz\lesssim R^{d-\alpha/\theta}.
\]
One can interpret $\underline{F}_\mu(\theta)$ as a `$\theta$-averaged Fourier dimension'. Note that
\[
 \int_{\mathbb{R}^d } |\hat \mu (z)|^{2/\theta} \, dz= \lim_{R \to \infty} \int_{|z| \leq R} |\hat \mu (z)|^{2/\theta}\, dz
\]
exists and is either a positive finite number or $+\infty$.   In the former case $\underline{F}_\mu(\theta) = \overline{F}_\mu(\theta) = \theta d$ and in the latter case   $0 \leq \underline{F}_\mu(\theta) \leq \overline{F}_\mu(\theta) \leq \theta d$.  There is a connection between the Fourier dimension spectrum and these average Fourier dimensions.

\begin{thm} \label{stric3}
Let $\mu$ be a finite Borel measure on $\mathbb{R}^d$ and $\theta \in (0,1]$.  Then
\[
\dim^\theta_{\mathrm{F}} \mu \geq   \underline{F}_\mu(\theta).
\]
\end{thm}

\begin{proof}
We may assume $\underline{F}_\mu(\theta) >0$.  Let $c>1$  and $0<s <\alpha<\underline{F}_\mu(\theta).$  Then
\begin{align*}
\mathcal{J}_{s,\theta}(\mu)^{1/\theta} = \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz
&  \lesssim 1+ \sum_{k =1}^\infty  \int_{c^{k-1} <|z| \leq c^k} |\hat \mu(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz  \\
&  \approx 1+ \sum_{k =1}^\infty   c^{k(s/\theta-d)} \int_{c^{k-1} <|z| \leq c^k} |\hat \mu(z)  |^{2/\theta}  \, dz  \\
&  \leq   1+ \sum_{k =1}^\infty c^{k(s/\theta-d)}    \int_{|z| \leq c^k} |\hat \mu(z)  |^{2/\theta} \, dz  \\
&  \lesssim  1+ \sum_{k =1}^\infty c^{k(s/\theta-d)}    c^{k(d-\alpha/\theta)}  \\
&< \infty
\end{align*}
proving $\dim^\theta_{\mathrm{F}} \mu \geq \alpha$, which proves the result.
\end{proof}

The connection becomes stronger, and in fact $\dim^\theta_{\mathrm{F}} \mu$ and $\underline{F}_\mu(\theta)$ coincide, in the following special case.

\begin{thm} \label{stric1}
Let $\mu$ be a finite Borel measure on $\mathbb{R}^d$ and $\theta \in (0,1]$. If $ \underline{F}_\mu(\theta) <  \theta d$, then
\[
\dim^\theta_{\mathrm{F}} \mu =   \underline{F}_\mu(\theta).
\]
\end{thm}

\begin{proof}
The lower bound $\dim^\theta_{\mathrm{F}} \mu \geq   \underline{F}_\mu(\theta)$ comes from Theorem  \ref{stric3} and so we prove the upper bound.  Choose $\underline{F}_\mu(\theta)  <\beta < s< \theta d$.  Then there exist arbitrarily large $R>0$ satisfying
\[
 \int_{|z| \leq R} |\hat \mu(z)  |^{2/\theta} \, dz  \gtrsim R^{d-\beta/\theta}
\]
and
\begin{align*}
\mathcal{J}_{s,\theta}(\mu)^{1/\theta} = \int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz
&  =  \sup_{R>0} \int_{|z| \leq R} |\hat \mu(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz  \\
&  \geq \sup_{R>0}R^{s/\theta-d}  \int_{|z| \leq R} |\hat \mu(z)  |^{2/\theta} \, dz  \\
&  \gtrsim \sup_{R>0}R^{s/\theta-d}  R^{d-\beta/\theta}  \\
&=\infty
\end{align*}
which proves $\dim^\theta_{\mathrm{F}} \mu \leq \beta$, proving the result.
\end{proof}

\subsection{Self-similar measures}

Combining \cite[Theorem 2]{bisbas} for $\theta \in (0,1)$ and   \cite[Theorem 4.4]{stric1} for $\theta=1$ with  Theorem  \ref{stric3} we get the following.

\begin{cor} \label{selfsim1}
For $p \in (0,1)$ with $p \neq 1/2$, let  $\mu_p$ be the self-similar measure on $[0,1]$ given by the distribution of the random series
\[
\sum_{n=0}^\infty X_n (1/2)^n
\]
where $\mathbb{P}(X_n=0)=p$ and $\mathbb{P}(X_n=1)=(1-p)$.  Then
\[
\dim^\theta_{\mathrm{F}} \mu_p \geq  \underline{F}_{\mu_p}(\theta)  \geq  \theta - \theta \log_2(1+|2p-1|^{2/\theta})
\]
for all $\theta \in (0,1)$ and
\[
\dim_{\mathrm{S}} \mu_p = \underline{F}_{\mu_p}(1)  = 1 -  \log_2(1+|2p-1|^{2}).
\]
In particular, $\dim^\theta_{\mathrm{F}} \mu_p>\theta \dim_{\mathrm{S}} \mu_p$ for all $\theta \in (0,1)$,
\[
\lim_{\theta \to 0} \frac{\dim^\theta_{\mathrm{F}} \mu_p}{\theta} \geq 1
\]
and
\[
\dim_{\mathrm{S}} \mu_p < \dim_{\textup{H}} \mu_p = \frac{p \log p + (1-p)\log (1-p)}{-\log 2}.
\]
\end{cor}

In the above, if $p=1/2$, then $\mu_p$ is Lebesgue measure restricted to $[0,1]$ and
\[
\dim^\theta_{\mathrm{F}} \mu_p = \dim_{\mathrm{F}} \mu_p = \dim_{\mathrm{S}} \mu_p = 1
\]
for all $\theta \in (0,1)$.  We can also apply Strichartz' work \cite{stric1, stric2} to get some partial information for other self-similar measures. For example, we get some non-trivial information about the Fourier dimension spectrum of self-similar measures on the middle third Cantor set.  Similar estimates, sometimes for more choices of $\theta$, can also be deduced from \cite{stric1, stric2} for other self-similar measures but we leave the details to the reader.

\begin{cor} \label{selfsim2}
For $p \in (0,1)$, let  $\mu_p$ be the self-similar measure on the middle third Cantor set corresponding to Bernoulli weights $p, (1-p)$.    Then
\[
\dim_{\mathrm{F}} \mu = \dim_\textup{F}^0 \mu = 0
\]
\[
 \dim_\textup{F}^{1/2} \mu = \frac{\log (p^4+4p^2(1-p)^2+(1-p)^4)}{-2\log 3}
\]
and
\[
\dim_{\mathrm{S}} \mu = \dim_\textup{F}^1 \mu =  \frac{\log (p^2+(1-p)^2)}{-\log 3} < 2  \dim_\textup{F}^{1/2} \mu.
\]
In particular, $\dim^\theta_{\mathrm{F}} \mu$ is not a linear function.
\end{cor}

\begin{proof}
The formulae for $ \dim_\textup{F}^{1/2} \mu$ and $ \dim_\textup{F}^{1} \mu$ come from  Theorem \ref{stric3} combined with \cite[Corollary 4.4]{stric1}.  The fact that $\dim_{\mathrm{F}} \mu = 0$ follows from the well-known and easily proved fact that the Fourier dimension of the middle third Cantor set is 0.
\end{proof}

 It would be interesting to investigate the Fourier dimension spectrum of self-similar measures more generally and also for other dynamically invariant, but we do not pursue this here.  In particular, there is a lot of interest currently on the Fourier dimension of invariant measures in various contexts, see for example \cite{li,  stevens, solomyak}.

\begin{ques}
What is $\dim^\theta_{\mathrm{F}} \mu$ when  $\mu$ is a self-similar measure on the middle third Cantor set? What about more general self-similar measures, self-affine measures and other dynamically invariant measures?
\end{ques}

\section{Another example: measures on curves}

To bolster our collection of examples, here  we provide a simple family  where the Fourier dimension spectrum can be computed explicitly and exhibits some non-trivial behaviour. Let $p >1$ and let $\mu_p$ be the lift of Lebesgue measure on $[0,1]$ to the curve $\{(x,x^p) : x \in [0,1]\} \subseteq \mathbb{R}^2$ via the map $x \mapsto (x,x^p)$.

\begin{thm} \label{xp}
For $p >1$ and $\theta \in [0,1]$,
\[
\dim^\theta_{\mathrm{F}} \mu_p = \min\{ 2/p+\theta (1-1/p), \, 1\}.
\]
\end{thm}

\begin{proof}
Noting
\[
\widehat{\mu_p}(z) = \int_0^1 e^{-2\pi i z \cdot (x, x^p)} \, dx,
\]
using polar coordinates $z = re^{i \alpha}$
\[
\mathcal{J}_{s,\theta}(\mu_p)^{1/\theta} =\int_{r=0}^\infty r^{s/\theta-1} \int_{\alpha=0}^{2\pi} \left\lvert \widehat{\mu_p}(z) \right\rvert ^{2/\theta} \, d\alpha \, d r .
\]
We split this integral up into three regions, which are handled separately. Define $\varepsilon(p) \in (0,\pi/2)$ by  $\tan \varepsilon(p)  = 1/(2p)$.

First, for $\alpha$ such that $|\cos \alpha | \geq \varepsilon(p)$, it is a simple consequence of van der Corput's lemma (see \cite[Theorem 14.2]{mattila}) that
\[
\left\lvert \widehat{\mu_p}(z) \right\rvert  \lesssim r^{-1/2} = |z|^{-1/2}
\]
and so
\begin{equation} \label{estxp1}
\int_{r=0}^\infty r^{s/\theta-1} \int_{|\cos \alpha | \geq \varepsilon(p)} \left\lvert \widehat{\mu_p}(z) \right\rvert ^{2/\theta} \, d\alpha \, d r < \infty
\end{equation}
for $s<1$.

Second,  for $z=re^{i\alpha}$ such that $r \geq 10$ and $r^{-(p-1)/p}\leq |\cos \alpha| \leq \varepsilon(p) $,
\begin{align*}
\left\lvert \widehat{\mu_p}(z) \right\rvert   &=\left\lvert  \int_0^1 e^{-2\pi i(rx\cos\alpha+ rx^p\sin\alpha)} \, dx\right\rvert = \left\lvert  \int_0^1 e^{2\pi  i r|\cos\alpha|\phi(x)} \, dx\right\rvert
\end{align*}
for
\[
\phi(x) = - \frac{\cos \alpha}{|\cos \alpha|} x -  \frac{\sin \alpha}{|\cos \alpha|}x^p.
\]
 Since
\[
|\phi'(x)|  \geq 1-p \tan \varepsilon(p)  = 1/2,
\]
van der Corput's lemma (see \cite[Theorem 14.2]{mattila})  gives
\[
\left\lvert \widehat{\mu_p}(z) \right\rvert    \lesssim   \frac{1}{r | \cos \alpha |}.
\]
Therefore,
\begin{align}\label{estxp2}
& \hspace{-10mm} \int_{r=10}^\infty r^{s/\theta-1} \int_{r^{-(p-1)/p}\leq |\cos \alpha| \leq \varepsilon(p)} \left\lvert \widehat{\mu_p}(z) \right\rvert ^{2/\theta} \, d\alpha \, d r  \nonumber \\
&\lesssim  \int_{r=10}^\infty r^{s/\theta-1-2/\theta} \int_{\alpha=0}^{\arccos(r^{-(p-1)/p})} \left(\frac{1}{|\cos \alpha|}\right)^{2/\theta} \, d\alpha \, d r  \nonumber \\
&\lesssim \int_{r=10}^\infty  r^{s/\theta-1-2/\theta} r^{\left(\frac{2}{\theta}-1\right)\left(\frac{p-1}{p}\right)}\, d r  \nonumber \\
&<\infty
\end{align}
provided $s <2/p+\theta (1-1/p)$.

Finally, for   $z=re^{i\alpha}$ such that $r \geq 10$  and $0 \leq |\cos \alpha| \leq r^{-(p-1)/p} $ and  using the substitution $y= rx\cos\alpha+ rx^p\sin\alpha$,
\begin{align*}
\left\lvert \widehat{\mu_p}(z) \right\rvert   &=\left\lvert  \int_0^1 e^{-2\pi i(rx\cos\alpha+ rx^p\sin\alpha)} \, dx\right\rvert \\
 & =   \left\lvert \int_0^{r(\cos\alpha +\sin\alpha)} \frac{e^{-2\pi i y}}{r\cos\alpha+rp x^{p-1}\sin \alpha}  \, dy\right\rvert  \\
 & \lesssim  \left\lvert \int_0^{r|\cos\alpha |^{\frac{p}{p-1}}} \frac{e^{-2\pi i y}}{r\cos\alpha}  \, dy \right\lvert + \left\lvert \int_{r|\cos\alpha|^{\frac{p}{p-1}}}^{r(\cos\alpha +\sin\alpha)} \frac{e^{-2\pi i y}}{rp x^{p-1}\sin \alpha}  \, dy\right\rvert \\
  & \lesssim   \frac{ r|\cos\alpha |^{\frac{p}{p-1}}}{r|\cos\alpha|}  + \frac{1}{r^{1/p}}\left\lvert \int_{ r|\cos\alpha|^{\frac{p}{p-1}}}^{r(\cos\alpha +\sin\alpha)}e^{-2\pi i y} y^{(1-p)/p}  \, dy\right\rvert \\
  & \lesssim   |\cos\alpha |^{{\frac{1}{p-1}}}  + \frac{1}{r^{1/p}}  \\
  & \lesssim   \frac{1}{r^{1/p}}
\end{align*}
Therefore,
\begin{align}\label{estxp3}
& \hspace{-10mm} \int_{r=10}^\infty r^{s/\theta-1} \int_{0 \leq |\cos \alpha| \leq r^{-(p-1)/p}} \left\lvert \widehat{\mu_p}(z) \right\rvert ^{2/\theta} \, d\alpha \, d r  \nonumber \\
&\lesssim  \int_{r=10}^\infty r^{s/\theta-1} \int_{\alpha=\arccos(r^{-(p-1)/p})}^{\pi/2}  \left( \frac{1}{r^{1/p}} \right)^{2/\theta} \, d\alpha \, d r  \nonumber \\
&\lesssim \int_{r=10}^\infty r^{s/\theta-1-\frac{2}{\theta p}} r^{-(p-1)/p} \, d r  \nonumber \\
&<\infty
\end{align}
provided $s <2/p+\theta (1-1/p)$.  Together, \eqref{estxp1}, \eqref{estxp2} and \eqref{estxp3} establish the desired lower bound noting that the integral over $|z| \leq 10$ is trivially finite.

For the upper bound, let $1 >q>(p-1)/p$.  Then, similar to above, for $z$ such that $0 \leq |\cos \alpha| \leq r^{-q} $,
\begin{align*}
\left\lvert \widehat{\mu_p}(z) \right\rvert    & =   \left\lvert \int_0^{r(\cos\alpha +\sin\alpha)} \frac{e^{-2\pi i y}}{r\cos\alpha+rp x^{p-1}\sin \alpha}  \, dy\right\rvert  \\
 & \geq   \left\lvert \int_{r|\cos\alpha|^{1/q}}^{r(\cos\alpha +\sin\alpha)} \frac{e^{-2\pi i y}}{rp x^{p-1}\sin \alpha}  \, dy\right\rvert \ - \   \left\lvert \int_0^{r|\cos\alpha |^{1/q}} \frac{e^{-2\pi i y}}{r\cos\alpha}  \, dy \right\lvert\\
  & \geq   \frac{1}{r^{1/p}}\left\lvert \int_{ r|\cos\alpha|^{1/q}}^{r(\cos\alpha +\sin\alpha)}e^{-2\pi i y} y^{(1-p)/p}  \, dy\right\rvert \ - \   \frac{ r|\cos\alpha |^{1/q}}{r|\cos\alpha|}  \\
  & \gtrsim   \frac{1}{r^{1/p}} -  |\cos\alpha |^{{1/q-1}}    \\
  & \geq  \frac{1}{2 r^{1/p}}
\end{align*}
for $r \geq r_0$ for some constant $r_0 \approx_q 1$.  Therefore,
\begin{align*}
& \hspace{-10mm} \int_{r=0}^\infty r^{s/\theta-1} \int_{0 \leq |\cos \alpha| \leq r^{-(p-1)/p}} \left\lvert \widehat{\mu_p}(z) \right\rvert ^{2/\theta} \, d\alpha \, d r  \nonumber \\
&\gtrsim  \int_{r=r_0}^\infty r^{s/\theta-1} \int_{\alpha=\arccos(r^{-q})}^{\pi/2}  \left( \frac{1}{r^{1/p}} \right)^{2/\theta} \, d\alpha \, d r  \nonumber \\
&\gtrsim \int_{r=r_0}^\infty r^{s/\theta-1-\frac{2}{\theta p}} r^{-q} \, d r  \nonumber \\
&=\infty
\end{align*}
provided $s \geq 2/p+\theta q$. Combined with the trivial fact that $\dim^\theta_{\mathrm{F}} \mu_p \leq \dim_{\mathrm{S}} \mu_p \leq 1$, this proves the desired upper bound by letting $q \to (p-1)/p$.
\end{proof}

\section{Convolutions and sumsets}

Given sets $X, Y \subseteq \mathbb{R}^d$, the \emph{sumset} of $X$ and $Y$  is
\[
X+Y = \{ x+y : x \in X, y \in Y\} \subseteq \mathbb{R}^d.
\]
Such sets arise naturally in many contexts and a question of particular interest in additive combinatorics is to understand, for example,  how the `size' of $X+X$ is related to the `size' of $X$.  There is interest in determining conditions which ensure   $\dim_{\textup{H}} (X+X) > \dim_{\textup{H}} X$ or perhaps $\dim_{\textup{H}} (kX) \to d$ as $k \to \infty$ where $kX$ is the $k$-fold sumset for integers $k \geq 1$, see for example \cite{linden}.  Convolutions are natural measures to consider in this context: if  $\mu$ and $\nu$ are measures on $X$ and $Y$, respectively, the convolution $\mu*\nu$ is supported on the sumset $X+Y$.   It turns out that the Fourier dimension spectrum precisely characterises when the Sobolev dimension increases under convolution, see Corollary \ref{conv2}, and gives many partial results about the dimensions of sumsets and convolutions more generally.

\subsection{Convolutions}

First we give some general lower bounds for the Fourier dimension spectrum of a convolution. The  special case when $d = \theta= \lambda= 1$,  $\dim_{\mathrm{S}} \mu = 1$ and $\dim_{\mathrm{F}} \nu>0$ is essentially \cite[Lemma 2.1 (1)]{shmerkin}.

\begin{thm} \label{convolution}
Let  $\mu$ and $\nu$ be finite Borel measures on $\mathbb{R}^d$.  Then for all $s,t \geq 0$
\[
\mathcal{J}_{s+t,\theta}(\mu * \nu) \lesssim \inf_{\lambda \in [0,1]} \mathcal{J}_{s,\lambda\theta}(\mu ) \mathcal{J}_{t,(1-\lambda)\theta}(\nu ).
\]
In particular,
\[
\dim^\theta_{\mathrm{F}} (\mu * \nu) \geq \sup_{\lambda \in [0,1]} \left( \dim_\mathrm{F}^{\lambda \theta } \mu +  \dim_\mathrm{F}^{(1-\lambda)\theta}  \nu \right).
\]
\end{thm}

\begin{proof}
Let $\lambda \in [0,1]$ and   $s,t \geq 0$.  Let  $p=1/\lambda \in [1, \infty]$ and $q=1/(1-\lambda) \in [1,\infty]$ be H\"older conjugates and  write $d m_d =\min\{|z|^{-d}, 1\} \, dz$.  Then
\begin{align*}
\mathcal{J}_{s+t,\theta}(\mu * \nu)^{1/\theta} & \approx \int_{\mathbb{R}^d} |\widehat{\mu * \nu}(z)  |^{2/\theta} |z|^{(s+t)/\theta} \, d m_d(z) \\
& = \int_{\mathbb{R}^d} |\hat{\mu }(z)  |^{2/\theta} |z|^{s/\theta} \, |\hat{ \nu}(z)  |^{2/\theta} |z|^{t/\theta}  \,  d m_d(z)  \qquad \text{(by convolution formula)} \\
& \leq \left( \int_{\mathbb{R}^d} |\hat{\mu }(z)  |^{2p/\theta} |z|^{ps/\theta}  \,  d m_d(z) \right)^{1/p} \left( \int_{\mathbb{R}^d}  |\hat{ \nu}(z)  |^{2q/\theta} |z|^{qt/\theta}  \,  d m_d(z)\right)^{1/q}  \\
&\hspace{5cm} \text{(by H\"older's inequality)}\\
&= \mathcal{J}_{s,\lambda\theta}(\mu )^{1/\theta}\mathcal{J}_{t,(1-\lambda)\theta}(\nu )^{1/\theta}  .
\end{align*}
This establishes the first claim.  It follows that for $\lambda \in [0,1]$ and all  $s < \dim_\mathrm{F}^{\lambda\theta} \mu$ and $t < \dim_\mathrm{F}^{(1-\lambda)\theta}  \nu$, $\dim^\theta_{\mathrm{F}} (\mu * \nu) \geq s+t$, which proves second claim.
\end{proof}

One is often interested in how dimension grows (or how smoothness increases) under iterated convolution. For integers $k \geq 1$, we write $\mu^{*k}$ for the $k$-fold convolution of $\mu$ and $kX$ for the $k$-fold sumset.  The following is a generalisation of the simple fact that $\dim_{\mathrm{F}} (\mu^{*k}) = k \dim_{\mathrm{F}} \mu$.

\begin{lma} \label{conv1}
Let  $\mu$ be a finite  Borel measure on $\mathbb{R}^d$.  Then
\[
\dim^\theta_{\mathrm{F}} (\mu^{*k}) =   k \dim_\mathrm{F}^{\theta/k} \mu
\]
for all $\theta \in [0,1]$ and all integers $k \geq 1$.  In particular,
\[
\dim_{\mathrm{S}} (\mu^{*k}) =   k \dim_\mathrm{F}^{1/k} \mu
\]
and, provided $\dim^\theta_{\mathrm{F}} \mu$ is continuous at $\theta=0$,
\[
\dim_{\mathrm{F}} \mu = \lim_{k \to \infty} \frac{\dim_{\mathrm{S}} (\mu^{*k})}{k}.
\]
\end{lma}

\begin{proof}
By the convolution formula
\[
 \int_{\mathbb{R}^d} \lvert\widehat{\mu^{*k}}(z)  \rvert^{2/\theta} |z|^{s/\theta-d} \, dz =  \int_{\mathbb{R}^d} |\hat{\mu}(z)  |^{2/(\theta/k)} |z|^{(s/k)/(\theta/k)-d} \, dz
\]
which proves the result.
\end{proof}

It is not possible to express $\dim^\theta_{\mathrm{F}} (\mu * \nu) $ in terms of the Fourier dimension spectra of $\mu$ and $\nu$ in general if $\mu$ and $\nu$ are distinct.  For example, consider $\mu$ and $\nu$ given by 1-dimensional Hausdorff measure restricted to distinct unit line segments in the plane.  Then, by Corollary \ref{hyperplane},   $\dim^\theta_{\mathrm{F}} \mu = \dim^\theta_{\mathrm{F}} \nu = \theta$ for all $\theta$.  However, if the line segments are not contained in a common line, then the convolution $\mu * \nu$ is 2-dimensional Lebesgue measure restricted to a parallelogram and therefore $\dim^\theta_{\mathrm{F}} (\mu * \nu) = 2$ for all $\theta$.  On the other hand, if the line segments are contained in a common line, then  $\dim^\theta_{\mathrm{F}} (\mu * \nu) = \theta$ for all $\theta$.

Lemma \ref{conv1} shows that  the Fourier dimension of a measure can be expressed in terms of the Sobolev dimension of convolutions of the measure with itself.  This may be of use in applications since the Fourier dimension is usually harder to compute than the Sobolev dimension. Recall that continuity of $\dim^\theta_{\mathrm{F}} \mu$ at $\theta=0$ is a very mild assumption and holds, for example, provided $|z|^\alpha \in L^1(\mu)$ for some $\alpha>0$, see Lemma \ref{holder} and Theorem \ref{cty0}.

Lemma \ref{conv1} plus concavity (Theorem \ref{concave})  imply that the Fourier dimension spectrum cannot decrease under convolution.  However, we can say much more and in fact the Fourier dimension spectrum necessarily  increases unless it has a very restricted form.  We also get a precise characterisation of when the Sobolev dimension increases under convolution.

\begin{cor} \label{conv2}
Let  $\mu$ be a  finite Borel measure on $\mathbb{R}^d$ and $\theta \in (0,1]$.  Then
\[
\dim^\theta_{\mathrm{F}}(\mu * \mu) > \dim^\theta_{\mathrm{F}} \mu
\]
if and only if $\dim_\mathrm{F}^{\lambda \theta} \mu > \lambda  \dim^\theta_{\mathrm{F}} \mu$ for some $\lambda \in [0,1)$. In particular,
\[
\dim_{\mathrm{S}}(\mu * \mu) > \dim_{\mathrm{S}} \mu.
\]
 if and only if  $\dim_\mathrm{F}^{\lambda} \mu > \lambda \dim_{\mathrm{S}} \mu$ for some $\lambda \in [0,1)$.
\end{cor}

\begin{proof}
One direction is Lemma \ref{conv1}.  Indeed, if  $\dim_\mathrm{F}^{\lambda \theta} \mu = \lambda  \dim^\theta_{\mathrm{F}} \mu$ for all $\lambda \in [0,1)$, then $\dim^\theta_{\mathrm{F}} (\mu * \mu) =  2\dim_\mathrm{F}^{\theta/2} \mu = \dim^\theta_{\mathrm{F}} \mu$.

To prove the other direction, let $\lambda \in [0,1)$ be such that $\dim_\mathrm{F}^{\lambda \theta} \mu > \lambda  \dim^\theta_{\mathrm{F}} \mu$.  By Theorem \ref{concave}, $\dim^\theta_{\mathrm{F}} \mu$ is concave and therefore $ \dim_\mathrm{F}^{\theta/2}  \mu>  (\dim^\theta_{\mathrm{F}} \mu)/2$.  Then, by Lemma \ref{conv1},
\[
\dim^\theta_{\mathrm{F}} (\mu * \mu) =  2\dim_\mathrm{F}^{\theta/2} \mu > \dim^\theta_{\mathrm{F}} \mu.
\]
The special case concerning  Sobolev dimension is obtained by setting $\theta=1$.
\end{proof}

The previous result characterises when the Sobolev dimension increases under convolution.  In fact, using Lemma \ref{conv1}, the Fourier dimension spectrum also characterises the limiting behaviour of the Sobolev dimension of iterated convolutions.

\begin{cor} \label{iterated}
Let  $\mu$ be a   finite  Borel measure on $\mathbb{R}^d$ such that $\hat \mu$ is $\alpha$-H\"older.  Then
\[
\lim_{k \to \infty}  \left( \dim_{\mathrm{S}} (\mu^{*k}) - k \dim_{\mathrm{F}} \mu \right) =  \partial_+ \dim^\theta_{\mathrm{F}} \mu \vert_{\theta=0}
\]
where   $D = \partial_+ \dim^\theta_{\mathrm{F}} \mu \vert_{\theta=0}$ is the right semi-derivative of $\dim^\theta_{\mathrm{F}} \mu$ at $0$.  Moreover, by Theorem  \ref{cty0}
\[
 \dim_{\mathrm{S}} \mu- \dim_{\mathrm{F}} \mu \leq D \leq d\left(1+\frac{\dim_{\mathrm{F}} \mu}{2\alpha}\right).
\]
In particular, if $\dim_{\mathrm{F}} \mu>0$, then $\dim_{\mathrm{S}} (\mu^{*k}) \sim k \dim_{\mathrm{F}} \mu$ and if $\dim_{\mathrm{F}} \mu=0$, then $\dim_{\mathrm{S}} (\mu^{*k})$ is a bounded monotonic  sequence which converges to the right semi-derivative of $\dim^\theta_{\mathrm{F}} \mu$ at $0$.
\end{cor}

\subsection{Sumsets and iterated sumsets}

Next we give sufficient conditions for the Hausdorff dimension of $X+Y$ to exceed the Hausdorff dimension of $Y$.

\begin{cor} \label{X+Y}
Let $X, Y \subseteq \mathbb{R}^d$ be non-empty sets with $Y$ Borel.  If
\[
\lambda \dim_{\textup{H}} Y< \dim_\mathrm{F}^{\lambda} X \leq d- (1-\lambda) \dim_{\textup{H}} Y
\]
 for some $\lambda \in [0,1)$, then
\[
\dim_{\textup{H}}(X+Y) \geq \dim_{\textup{H}} Y +(\dim_\mathrm{F}^{\lambda} X-\lambda \dim_{\textup{H}} Y) > \dim_{\textup{H}} Y.
\]
If
\[
\dim_\mathrm{F}^{\lambda} X > d- (1-\lambda) \dim_{\textup{H}} Y
\]
 for some $\lambda \in [0,1)$, then $X+Y$ has positive $d$-dimensional Lebesgue measure and if $X$ supports a measure $\mu$ with
\[
\dim_\mathrm{F}^{\lambda} \mu > 2d- (1-\lambda) \dim_{\textup{H}} Y
\]
 for some $\lambda \in [0,1)$, then $X+Y$ has non-empty interior.
\end{cor}

\begin{proof}
Let $\varepsilon>0$.  By definition of $\dim^\theta_{\mathrm{F}} X$, there exists  a finite Borel measure $\mu$ supported on a closed set $X_0 \subseteq X$ with $\dim_\mathrm{F}^{\lambda} \mu \geq  \dim_\mathrm{F}^{\lambda} X -\varepsilon$.  Moreover, there exists a finite Borel measure $\nu$ supported on a closed set $Y_0 \subseteq Y$ with $\dim_{\mathrm{S}} \nu \geq  \dim_{\textup{H}} Y - \varepsilon$ and therefore, by concavity of the Fourier dimension spectrum for measures, $\dim_\mathrm{F}^{\theta} \nu \geq \theta (\dim_{\textup{H}} Y-  \varepsilon )$ for all $\theta \in (0,1)$.  Then $\mu * \nu $ is  supported on $X_0+Y_0 \subseteq X+Y$ and, by Theorem \ref{convolution},
\begin{align*}
\dim_{\mathrm{S}} (\mu * \nu ) &\geq \dim_\mathrm{F}^\lambda \mu + \dim_\mathrm{F}^{(1-\lambda)} \nu \\
& \geq  \dim_\mathrm{F}^{\lambda} X  -\varepsilon   + (1-\lambda)\left(\dim_{\textup{H}} Y-\varepsilon \right) \\
 &=  \dim_{\textup{H}} Y +(\dim_\mathrm{F}^{\lambda} X-\lambda \dim_{\textup{H}} Y)   -\varepsilon(2-\lambda)
\end{align*}
which proves the first two claims upon letting $\varepsilon \to 0$.  The final claim (giving non-empty interior) is proved similarly by establishing that $\dim_{\mathrm{S}} (\mu * \nu )  > 2d$.  We omit the details.
\end{proof}

If $X$ and $Y$ coincide, then the above result simplifies and we get a succinct  sufficient condition for dimension increase under addition.

\begin{cor} \label{sumsetcharacter}
Let $X \subseteq \mathbb{R}^d$ be a Borel set with $\dim_{\textup{H}} X < d$. If   $\dim_\mathrm{F}^{\lambda} X > \lambda \dim_{\textup{H}} X$ for some $\lambda \in [0,1)$, then
\[
\dim_{\textup{H}}(X+X) > \dim_{\textup{H}} X.
\]
\end{cor}

We note that  $\dim^\theta_{\mathrm{F}} X$ does not characterise precisely  when $\dim_{\textup{H}}(X+X) > \dim_{\textup{H}} X$ (compare with Corollary \ref{conv2}). For example, let $X \subseteq \mathbb{R}^2$ be  the union of two unit line segments.  Then $\dim^\theta_{\mathrm{F}} X = \theta$.  However, if the two line segments lie in a common line, then  $\dim_{\textup{H}} (X+X) = \dim_{\textup{H}} X = 1$, but if the two line segments do not lie in a common line, then $X+X$ has non-empty interior.

Finally, we consider dimension growth of the iterated sumset $kX$.  If $\dim_{\mathrm{F}} X >0$, then  $kX$ will have non-empty interior for finite explicit $k$.  Therefore in the following we restrict to sets with $\dim_{\mathrm{F}} X = 0$.  The Fourier dimension spectrum gives a lower bound for the dimension growth in terms of the right semi-derivative at 0.
\begin{cor}
Let $X \subseteq \mathbb{R}^d$ be a non-empty set with $\dim_{\mathrm{F}} X = 0$.    Then
\[
\lim_{k \to \infty} \dim_{\textup{H}} (kX) \geq \sup_{\theta \in (0,1)} \frac{\dim^\theta_{\mathrm{F}} X}{\theta} = \partial_+ \dim^\theta_{\mathrm{F}} X \vert_{\theta=0}.
\]
\end{cor}

\begin{proof}
Fix $\theta \in (0,1)$, let $\varepsilon>0$  and let $\mu$ be a finite Borel measure on $X$ with $\dim^\theta_{\mathrm{F}} \mu > \dim^\theta_{\mathrm{F}} X-\theta\varepsilon$.  Then,  for integers $k \geq 1/\theta$, by Lemma \ref{conv1} and concavity of $\dim^\theta_{\mathrm{F}} \mu$ (Theorem \ref{concave}),
\[
\dim_{\textup{H}} (kX) \geq \dim_{\mathrm{S}} (\mu^{*k}) =   k \dim_\mathrm{F}^{1/k} \mu \geq \frac{ \dim_\mathrm{F}^{\theta} \mu}{\theta} > \frac{ \dim^\theta_{\mathrm{F}} X}{\theta} -\varepsilon.
\]
Since this holds for all $\varepsilon>0$ and all $\theta \in (0,1)$ and all sufficiently large $k$, the result follows.
\end{proof}

\subsection{Measures and sets which improve dimension}

Motivated by  the well-known problem of Stein to classify measures which are $L^p$-improving, one can ask when a measure $\mu$ will increase the dimension of all measures $\nu$ from some class under convolution simultaneously.  Theorem \ref{convolution} clearly gives some information about this.  We state one version, leaving further analysis to the reader.   See \cite{rossi} for a related question. The main interest here is in measures with Fourier dimension 0 since if $\mu$ has positive Fourier dimension then it increases the Sobolev dimension of all measures.

\begin{cor} \label{sobolevimproving}
Let $\mu$ be a finite Borel measure on $\mathbb{R}^d$ such that
\[
 \sup_{\theta \in (0,1)} \frac{\dim^\theta_{\mathrm{F}} \mu}{\theta} \geq s.
\]
Then $\mu$ is Sobolev improving in the sense that for all finite Borel measures $\nu$ on $\mathbb{R}^d$  with $\dim_{\mathrm{S}} \nu < s$
\[
\dim_{\mathrm{S}} (\mu * \nu)  > \dim_{\mathrm{S}} \nu.
\]
\end{cor}

\begin{proof}
Let $\nu$ be a finite Borel measure with $s> t>\dim_{\mathrm{S}} \nu$. By assumption there exists  $\theta \in (0,1)$ such that
\[
\dim^\theta_{\mathrm{F}} \mu \geq t \theta.
\]
Then, by Theorem \ref{convolution}, $\dim_{\mathrm{S}} (\mu * \nu) \geq  \dim_\mathrm{F}^{  \theta } \mu +  \dim_\mathrm{F}^{ 1-\theta}  \nu   \geq t \theta  + (1-\theta) \dim_{\mathrm{S}} \nu > \dim_{\mathrm{S}} \nu.$
\end{proof}

The utility of the previous result is that the Sobolev dimension of $\mu$ itself may be arbitrarily close to 0, that is, much smaller than $s$.  Next we state a version for sumsets, which follows immediately from Corollary \ref{X+Y}.  Again, the Hausdorff dimension of $X$ can be arbitrarily close to 0.

\begin{cor}
Let $X \subseteq \mathbb{R}^d$ be a non-empty set such that
\[
 \sup_{\theta \in (0,1)} \frac{\dim^\theta_{\mathrm{F}} \mu}{\theta} \geq  s.
\]
Then $X$ is Hausdorff  improving in the sense that for all non-empty Borel $Y \subseteq \mathbb{R}^d$  with $\dim_{\textup{H}} Y<s$
\[
\dim_{\textup{H}} (X+Y) > \dim_{\textup{H}} Y.
\]
\end{cor}

\section{Distance sets}

Given a  set $X \subseteq \mathbb{R}^d$, the associated  \emph{distance set} is
\[
D(X) = \{ |x-y| : x,y \in X\}.
\]
Following \cite{distance}, there has been a lot of interest in the so-called `distance set problem', which is to relate the size of $F$ with the size of $D(X)$.  For example, it is conjectured that (for $d \geq 2$ and $X$ Borel)  $\dim_{\textup{H}} X >d/2$ guarantees $\mathcal{L}^1(D(X)) >0$ and $\dim_{\textup{H}} X \geq d/2$ guarantees $\dim_{\textup{H}} D(X) = 1$.  Here $\mathcal{L}^1$ is the 1-dimensional Lebesgue measure on $\mathbb{R}$.  Both of these conjectures are open for all $d \geq 2$, despite much  recent interest and progress, e.g. \cite{guth, keletishmerkin,shmerkinwang}.  For example, the measure version of the conjecture holds for   Salem sets, that is, when $\dim_{\mathrm{F}} X = \dim_{\textup{H}} X >d/2$,  see \cite[Corollary 15.4]{mattila}, and the dimension version holds when $\dim_{\textup{P}} X = \dim_{\textup{H}} X \geq d/2$ \cite{shmerkinwang}. Here $\dim_{\textup{P}}$ denotes the packing dimension, which is bounded below by the Hausdorff dimension in general.  We are able to obtain estimates for the size of  distance sets in terms of the Fourier dimension spectrum, including the provision of new families of sets for which the above conjectures hold.  Our main result on distance sets is the following.  This result will follow from the  more general Theorem \ref{maindistance2} given below.
\begin{thm} \label{maindistance}
If $X \subseteq \mathbb{R}^d$ satisfies
\[
\sup_{\theta \in [0,1]} \left( \dim_\textup{F}^\theta X + \dim_\textup{F}^{1-\theta} X \right) > d,
\]
then  $\mathcal{L}^1(D(X)) >0$.  Otherwise
\[
\dim_{\textup{H}} D(X) \geq 1-d+\sup_{\theta \in [0,1]}  \left( \dim_\textup{F}^\theta X + \dim_\textup{F}^{1-\theta} X \right) .
\]
\end{thm}

We note that it is possible for
\[
\sup_{\theta \in [0,1]} \left(\dim_\textup{F}^\theta X + \dim_\textup{F}^{1-\theta} X \right) > d,
\]
to hold  for sets with $\dim_{\mathrm{F}} X = 0$ and $\dim_{\textup{H}} X < \dim_{\textup{P}} X$, even with $\dim_{\textup{H}} X$ arbitrarily close to $d/2$.

If we set  $\theta = 0$ in Theorem \ref{maindistance} then we find that if $X \subseteq \mathbb{R}^d$ is a Borel set with $ \dim_{\mathrm{F}} X+\dim_{\textup{H}} X > d$, then  $\mathcal{L}^1(D(X)) >0$, with  a corresponding dimension bound.  These results were obtained by Mattila in \cite[Theorem 5.3]{mattiladistance}.  Note that this implies the measure (and dimension) version of the original conjecture for Salem sets.  Setting $\theta=1/2$ in Theorem \ref{maindistance} yields a pleasant corollary which appears more similar to the original conjecture.

\begin{cor}
Let  $X \subseteq \mathbb{R}^d$.  If $\dim_\textup{F}^{1/2} X   > d/2$, then  $\mathcal{L}^1(D(X)) >0$ and, otherwise, $\dim_{\textup{H}} D(X) \geq 1-d+ 2 \dim_\textup{F}^{1/2} X$.
\end{cor}

Since for $\theta \neq 1/2$ different values of $\theta$ are used simultaneously in Theorem  \ref{maindistance}, we are led naturally to consider \emph{two} measures supported on $X$, one for $\theta$ and one for $1-\theta$.  This leads us to consider mixed distance sets.  Given sets $X,Y \subseteq \mathbb{R}^d$, the \emph{mixed distance set} of $X$ and $Y$ is
\[
D(X,Y) = \{ |x-y| : x \in X, y \in Y\}.
\]
Of course $D(X,X)$ recovers $X$, but $D(X,Y)$ is (typically) a strict subset of $D(X \cup Y)$.  Theorem \ref{maindistance} follows from the following more general result which considers  mixed distance sets and directly uses the energies.

\begin{thm} \label{maindistance2}
Suppose  $\mu$ and $\nu$ are finite Borel measures on $\mathbb{R}^d$ with
\[
\mathcal{J}_{s,\theta}(\mu) < \infty
\]
and
\[
\mathcal{J}_{t,1-\theta}(\nu) < \infty
\]
for some $s,t \geq 0$.  If $s+t \geq d$, then
\[
\mathcal{L}^1(D(\textup{spt}(\mu), \textup{spt}(\nu))) >0
\]
and if $s+t < d$, then
\[
\dim_{\textup{H}} D(\textup{spt}(\mu), \textup{spt}(\nu)) \geq 1-d+s+t.
\]
\end{thm}

We defer the proof of Theorem \ref{maindistance2} (as well as the simple deduction of Theorem \ref{maindistance}) to the following subsection. Another consequence of Theorem \ref{maindistance2} (choosing $\theta=1/2$) can be stated just in terms of the Fourier transform. Again, the assumption can be satisfied even when $\dim_{\mathrm{F}} \mu = 0$.

\begin{cor} \label{cute}
If $\mu$ is a finite Borel  measure on $\mathbb{R}^d$ with
\[
\int |\hat \mu(z) |^4 \, dz <\infty
\]
then  $\mathcal{L}^1(D(\textup{spt}(\mu))) >0$.
\end{cor}

\begin{proof}
Since
\[
\mathcal{J}_{d/2,1/2}(\mu) = \int |\hat \mu(z) |^4 \, dz
\]
this is an immediate consequence of Theorem \ref{maindistance2} with $\nu=\mu$.
\end{proof}

The above corollary is sharp in the sense that for all $d \geq 1$ and $\varepsilon \in (0,1)$ there exists a  finite Borel  measure on $\mathbb{R}^d$ with
\[
\int |\hat \mu(z) |^{4+\varepsilon} \, dz <\infty
\]
but  $\dim_{\textup{H}} D(\textup{spt}(\mu)) < 1$.  For example, suppose  $X \subseteq \mathbb{R}^d $ is a compact Salem set with
\[
\dim_{\textup{H}} D(\textup{spt}(\mu))  <1
\]
and $\dim_{\textup{H}} X   = \dim_{\mathrm{F}} X = d/2-\varepsilon/11$. Such $X$ can be constructed by randomising the construction from \cite[Theorem 2.4]{distance} giving compact sets $E$ with $\dim_{\textup{H}} E$ arbitrarily close to (but smaller than)  $d/2$ and  $\dim_{\textup{H}} D(E)<1$.  Let $\mu$ be a finite  Borel measure on $X$ satisfying $\dim_{\mathrm{F}} \mu > d/2-\varepsilon/10$.  Then
\[
\int |\hat \mu(z) |^{4+\varepsilon} \, dz \lesssim \int |z|^{-(d/2-\varepsilon/10)(4+\varepsilon)/2} \, dz =\int |z|^{-d-d\varepsilon/4+\varepsilon/5+\varepsilon^2/20} \, dz < \infty.
\]

\subsection{Proof of Theorems \ref{maindistance2} }

We first prove the claim in the case when $s+t \geq d$.  Write $\nu_0$ for the measure defined by $ \nu_0(E) = \nu(-E)$ for Borel sets $E$ where $-E = \{ -x : x \in E\}$.  Then,   by Theorem \ref{convolution},
\[
\int |\widehat{\mu * \nu_0}(z)|^2 \, dz \lesssim  \mathcal{J}_{s+t,1}(\mu * \nu_0) \lesssim  \mathcal{J}_{s, \theta}(\mu ) \mathcal{J}_{t,1 -\theta}(\nu_0 ) = \mathcal{J}_{s, \theta}(\mu ) \mathcal{J}_{t,1 -\theta}(\nu  ) < \infty.
\]
It follows that $\widehat{\mu * \nu_0} \in L^2(\mathbb{R}^d)$ and therefore $\mu * \nu_0 \in L^2(\mathbb{R}^d)$ by \cite[Theorem 3.3]{mattila}.  Since $\mu * \nu_0$ is supported by the sumset $\textup{spt}(\mu)+  \textup{spt}(\nu_0) = \textup{spt}(\mu)-  \textup{spt}(\nu)$, we conclude that the \emph{difference} set  $A= \textup{spt}(\mu)-  \textup{spt}(\nu)$ has positive $d$-dimensional Lebesgue measure.  Therefore
\[
0< \int_{\mathbb{R}^d} \textbf{1}_{A}(z) \, dz = \int_{S^{d-1}} \int_{0}^\infty \textbf{1}_{A}(rv) \, r^{d-1}dr  d\sigma_{d-1}(v)
\]
where $\sigma_{d-1}$ is the surface measure on $S^{d-1}$.  This  implies the existence of (many) $v \in S^{d-1}$ such that $\mathcal{L}^1(\{ r : rv \in A\})>0$.  However, for all $v \in S^{d-1}$,  $\{ r : rv \in A\} \subset  D(\textup{spt}(\mu), \textup{spt}(\nu))$, proving the result.

The proof in the sub-critical case $s+t<d$ is morally similar but rather more complicated because we cannot disintegrate $s$-dimensional Hausdorff measure $\mathcal{H}^s$ for $s<d$ since it is not a $\sigma$-finite measure.  Fortunately, we can  appeal to a deep result of Mattila which connects   (quadratic) spherical averages and distance sets, see, for example,  \cite[Proposition 15.2 (b)]{mattila}.  Following \cite{mattiladistance}, we need a more general  statement than \cite[Proposition 15.2 (b)]{mattila} where we  associate a `distance measure' to two measures rather than a single measure (repeated twice).  Define  the mixed quadratic spherical average of $\mu$ and $\nu$ for $r>0$ by
\[
\sigma_{\mu,\nu}(r) = \int_{S^{d-1}} \hat \mu(r v)  \overline{\hat \nu(r v)}\, d\sigma_{d-1}(v)
\]
noting that  $\sigma_{\mu,\mu}(r) $ is the usual quadratic spherical average from \cite[Section 15.2]{mattila}. The mutual energy of $\mu$ and $\nu$ may then be expressed as
\[
\mathcal{I}_s(\mu,\nu) : = \int \int \frac{d \mu(x) \, d \nu (y)}{|x-y|^s} \approx    \int_{\mathbb{R}^d} \hat \mu(z) \overline{\hat \nu(z)} |z|^{s-d} \, dz = \int_{0}^\infty \sigma_{\mu,\nu}(r)  r^{s-1} \, dr
\]
for $s\in (0,d)$.  Define a `mixed distance measure' $\delta_{\mu, \nu}$ by
\[
\int \phi(x) \, d\delta_{\mu, \nu}(x) = \int \int \phi(|x-y|) \, d\mu x \, d \nu y
\]
for continuous functions $\phi$ on $\mathbb{R}$. This recovers the distance measure $\delta(\mu)$ defined in \cite{mattila} for $\mu=\nu$.  Then $\delta_{\mu, \nu}$  is a finite Borel measure supported on the mixed distance set $D(\textup{spt}(\mu), \textup{spt}(\nu))$. Finally, following \cite{mattila},  define the weighted mixed distance measure $\Delta_{\mu, \nu}$ by
\[
\int \phi(x) \, d\Delta_{\mu, \nu}(x) = \int  u^{(1-d)/2} \phi(u) \, d\delta_{\mu, \nu}(u)
\]
for continuous functions $\phi$ on $\mathbb{R}$ and the weighted mixed quadratic spherical average of $\mu$ and $\nu$ for $r>0$ by
\[
\Sigma_{\mu, \nu}(r) = r^{(d-1)/2} \sigma_{\mu,\nu}(r) .
\]
The following is the key technical tool in proving Theorem \ref{maindistance2} and recovers \cite[Proposition 15.2 (b)]{mattila} when $\mu=\nu$.  One can find the details in \cite{mattiladistance} where mixed spherical averages are considered explicitly, but one can also follow the proof of \cite[Proposition 15.2]{mattila}.  The proof   follows verbatim as in \cite[Proposition 15.2]{mattila} replacing $\sigma(\mu)$, $\delta(\mu)$, $\Delta(\mu)$ and $\Sigma(\mu)$ by  $\sigma_{\mu,\nu}$, $\delta_{\mu, \nu}$,  $\Delta_{\mu, \nu}$, and $\Sigma_{\mu, \nu}$, respectively,  and remembering to smoothen both $\mu$ and $\nu$ to measures $f^\mu_\varepsilon$ and $f^\nu_\varepsilon$.  We leave the details to the reader.

\begin{prop} \label{technical}
Suppose $\mu$ and $\nu$ are finite Borel measures on $\mathbb{R}^d$ and $\beta \geq 0$ is such that $\mathcal{I}_\beta(\mu,\nu) < \infty$.  If $\beta>(d+\alpha - 1)/2$ and
\[
\int_1^\infty \sigma_{\mu,\nu}(r) ^2 r^{d+\alpha-2} \, dr < \infty,
\]
for some $\alpha \in (0,1)$, then $\mathcal{I}_\alpha(\Delta_{\mu,\nu}) < \infty$.
\end{prop}

We are ready to prove the sub-critical bound from Theorem \ref{maindistance2}. We aim to apply Proposition \ref{technical} with $\beta = (s+t)/2$ where $s$ and $t$ are   from the statement of Theorem \ref{maindistance2}.   First, note that
\begin{align*}
\mathcal{I}_{(s+t)/2}(\mu,\nu) &\approx  \int_{\mathbb{R}^d} \hat \mu(z) \overline{\hat \nu(z)} |z|^{(s+t)/2-d} \, dz\\
& \leq   \left(\int_{\mathbb{R}^d} |\hat \mu(z)|^{2/\theta} |z|^{s/\theta-d}\, dz\right)^{\theta/2}  \left( \int_{\mathbb{R}^d} |\hat \nu(z)|^{2/\theta}|z|^{t/\theta-d}  \, dz\right)^{(1-\theta)/2}\\
& \hspace{2cm}\text{(H\"older's inequality integrating against $|z|^{-d} \, dz$)}\\
&= \mathcal{J}_{s,\theta}(\mu)^{1/2}  \mathcal{J}_{t,1-\theta}(\nu)^{1/2} \\
&<\infty.
\end{align*}
Choose  $\alpha \in (0,1)$   such that $(s+t)/2>(d+\alpha - 1)/2$.  Then
\begin{align*}
& \hspace{-0.5cm} \int_1^\infty \sigma_{\mu,\nu}(r) ^2  r^{d+\alpha-2} \, dr \leq  \int_1^\infty \left( \int_{S^{d-1}} |\hat \mu(r v)|  |\hat \nu(r v)|\, d\sigma_{d-1}(v)\right)^2  r^{s+t-1} \, dr \\
&\lesssim    \int_1^\infty \int_{S^{d-1}} |\hat \mu(r v)|^2   |\hat \nu(r v)|^2   r^{s+t-1} \, d\sigma_{d-1}(v)\, dr \qquad \text{(Jensen's inequality)} \\
&=    \int_1^\infty \int_{S^{d-1}} |\hat \mu(r v)|^2  r^{s-\theta}   |\hat \nu(r v)|^2   r^{t+\theta-1} \, d\sigma_{d-1}(v)\, dr \\
&\leq     \left(\int_1^\infty \int_{S^{d-1}} |\hat \mu(r v)|^{2/\theta}  r^{s/\theta-1}  \, d\sigma_{d-1}(v)\, dr  \right)^\theta \\
&\, \hspace{1cm} \cdot \left( \int_1^\infty \int_{S^{d-1}}   |\hat \nu(r v)|^{2/(1-\theta)}   r^{t/(1-\theta) - 1} \, d\sigma_{d-1}(v)\, dr  \right)^{1-\theta}  \qquad   \text{(H\"older's inequality)}\\
&\leq  \left(\int_{\mathbb{R}^d} |\hat \mu(z)  |^{2/\theta} |z|^{s/\theta-d} \, dz\right)^{\theta}  \left(\int_{\mathbb{R}^d} |\hat \nu(z)  |^{2/(1-\theta)} |z|^{t/(1-\theta)-d} \, dz\right)^{1-\theta}\\
&=  \mathcal{J}_{s,\theta}(\mu)   \mathcal{J}_{t,1-\theta}(\nu) \\
& < \infty.
\end{align*}
Apply Proposition \ref{technical} to deduce that
\[
\dim_{\textup{H}} D(\textup{spt}(\mu), \textup{spt}(\nu)) =  \dim_{\textup{H}} \textup{spt}(\Delta_{\mu, \nu} ) \geq \alpha
\]
and then letting $\alpha \to 1-d+s+t$ proves the result.

Finally, Theorem \ref{maindistance} follows easily from Theorem \ref{maindistance2}.  Since $\dim_\textup{F}^\theta X$ is continuous in $\theta \in [0,1]$ by Theorem \ref{ctyX}, we may choose $\theta \in [0,1]$ such that
\[
 \dim_\textup{F}^\theta X + \dim_\textup{F}^{1-\theta} X
\]
attains its supremum.  Then, by definition, for all $s< \dim_\textup{F}^\theta X $ and $t<\dim_\textup{F}^{1-\theta} X $,  there exist finite Borel measures  $\mu$ and $\nu$ with   supports contained in $X$ such that
 \[
\mathcal{J}_{s,\theta}(\mu) < \infty
\]
and
\[
\mathcal{J}_{t,1-\theta}(\nu) < \infty.
\]
The result then follows by applying Theorem \ref{maindistance2}.

\section{Random sets and measures}

There are many interesting connections between Fourier analysis and random processes, see \cite{kahane} especially. In part as an invitation to further investigation along these lines, we close by presenting two applications of the Fourier dimension spectrum to problems concerning random sets and measures.

There is a well-known connection between Fourier decay of random measures and decay of the moments $\mathbb{E}(|\hat \mu(z)|^{k})$, see \cite{kahane}.   In particular, a method of Kahane allows one to transfer quantitative information about the moments to an almost sure lower bound on the Fourier dimension. This technique has been used to show that many random sets are almost surely Salem, including fractional Brownian images. Kahane's approach was   formalised in a general setting by Ekstr\"om \cite[Lemma 6]{ekstrom}.  We  recover and generalise Ekstr\"om's lemma    with a very simple proof.

\begin{lma} \label{moment}
Suppose $\mu$ is a random finite Borel measure on $\mathbb{R}^d$ such that for $\theta \in (0,1]$ and all $z \in \mathbb{R}^d$
\[
\mathbb{E}(|\hat \mu(z)|^{2/\theta}) \lesssim |z|^{-s/\theta}.
\]
Then  $\dim^\theta_{\mathrm{F}} \mu \geq s$ almost surely. In particular, if  $\hat \mu$ is H\"older almost surely and for a sequence of  $k \in \mathbb{N}$ tending to infinity  it holds that for all $z \in \mathbb{R}^d$
\[
\mathbb{E}(|\hat \mu(z)|^{2k}) \lesssim |z|^{-sk},
\]
 then $\dim_{\mathrm{F}} \mu \geq s$ almost surely. Further, if    $\hat \mu$ is $\alpha$-H\"older almost surely and there exists $\varepsilon>0$ and $\theta \in (0,1)$ such that
\[
\mathbb{E}(|\hat \mu(z)|^{2/\theta}) \lesssim |z|^{-(d+\varepsilon)}
\]
 then
\[
\dim_{\mathrm{F}} \mu \geq \frac{2 \alpha \varepsilon \theta}{2 \alpha+ d\theta }>0
\]
almost surely.
\end{lma}

\begin{proof}
Let $t < s$.  By Fubini's theorem
\begin{align*}
\mathbb{E} ( \mathcal{J}_{t,\theta}(\mu)) \leq \int_{\mathbb{R}^d} |z|^{t/\theta-d} \mathbb{E}(|\hat \mu(z)|^{2/\theta}) \, dz \lesssim \int_{\mathbb{R}^d} |z|^{(t-s)/\theta-d} \, dz < \infty
\end{align*}
which proves the first claim. The second claim then follows since $\hat \mu$ is almost surely continuous and the third claim follows   by combining the first claim with the bounds from Theorem \ref{cty0}.
\end{proof}

To bound the Fourier dimension from below using Lemma \ref{moment}, we only require control of an unbounded sequence of moments or a sufficiently good bound for a single moment, whereas the  \cite[Lemma 6]{ekstrom} (and \cite[Lemma 1, page 252]{kahane} which its proof relies on) requires control of all the moments simultaneously. Moreover, \cite[Lemma 6]{ekstrom} requires the measures to be almost surely supported in a fixed compact set, whereas our random measures can be unbounded as long as $\hat \mu$ is H\"older almost surely (with a random H\"older exponent). For both of these improvements, our gain comes from continuity of the Fourier dimension spectrum. Among other things, Ekstr\"om uses the above approach to construct random images of compactly supported measures with large Fourier dimension almost surely \cite[Theorem 2]{ekstrom}.  Using Lemma \ref{moment} this can be extended to include   non-compactly supported measures. We leave the details to the reader.

For our second application we consider an explicit random model based on fractional Brownian motion in a setting where the Fourier dimension alone yields only trivial results.  Given $\alpha \in (0,1)$ and integers $n,d \geq 1$, let $B^\alpha: \mathbb{R}^n \to \mathbb{R}^d$ be index $\alpha$ fractional Brownian motion.  See \cite[Chapter 18]{kahane} for the construction and a detailed analysis of this process ($B^\alpha$ is Kahane's $(n,d,\gamma)$ Gaussian process with $\gamma=2\alpha$).  In particular, \cite[page 267, Theorem 1]{kahane} gives that for a compact set $Y \subseteq \mathbb{R}^n$ with $\dim_{\textup{H}} Y > s$ the image  $B^\alpha(Y)$ almost surely  supports a measure $\mu$ satisfying
\begin{equation} \label{kahaneeq}
\dim_{\mathrm{S}} \mu \geq \dim_{\mathrm{F}} \mu \geq  s/\alpha.
\end{equation}
Combining this with Theorem \ref{convolution} immediately gives the following.

\begin{cor} \label{randomeasy}
Let $X \subseteq  \mathbb{R}^d$ and $Y \subseteq \mathbb{R}^n$ be  non-empty Borel sets.   If $\dim_{\textup{H}} Y >0$ and
\[
\alpha < \frac{\dim_{\textup{H}} Y}{d-\dim_{\textup{H}} X},
\]
then $X+ B^\alpha(Y)$ has positive $d$-dimensional Lebesgue measure almost surely.  Otherwise,
\[
\dim_{\textup{H}} (X+ B^\alpha(Y)) \geq  \dim_{\textup{H}} X + \frac{\dim_{\textup{H}} Y}{\alpha}
\]
almost surely.
\end{cor}

Crucial to the above result is that the image $B^\alpha(Y)$ is a Salem set almost surely. We are interested in the following variant where this is no longer the case.  Let $V$ be a $k$-dimensional subspace of $\mathbb{R}^d$ for integers $1 \leq k < d$ and $X\subseteq \mathbb{R}^d$ and $Y \subseteq \mathbb{R}^n$ be  non-empty Borel sets. Let $B^\alpha: \mathbb{R}^n \to V$ be index $\alpha$ fractional Brownian motion with $V$ identified with $\mathbb{R}^k$.  We are interested in almost sure lower bounds for the dimension of $X+ B^\alpha(Y)$.  However,  this time  $B^\alpha(Y)$ has Fourier dimension 0 and so non-trivial estimates are not possible using only the Fourier dimension. If $\dim_{\textup{H}} X \geq k$, then we cannot improve on the trivial estimate $\dim_{\textup{H}} (X+ B^\alpha(Y)) \geq \dim_{\textup{H}} X$ since, for example, $X$ could be a subset of $V$ with dimension $k$.  However, if $\dim_{\textup{H}} X < k$, then we can use the Fourier dimension spectrum to derive non-trivial bounds.  Moreover, no matter what values of $\alpha$,  $\dim_{\textup{H}} X$ and $\dim_{\textup{H}} Y$ we assume, we can never conclude that $X+ B^\alpha(Y)$ has positive $d$-dimensional Lebesgue measure in general.  For example, consider $X \subseteq V \times F$ for a set $F\subseteq V^\perp$ with zero  $(d-k)$-dimensional Lebesgue measure.  In this case $X+ B^\alpha(Y) \subseteq V \times F$   has zero $d$-dimensional Lebesgue measure.

\begin{cor} \label{randomsum}
Let $V$ be a $k$-dimensional subspace of $\mathbb{R}^d$ for integers $1 \leq k < d$ and $X\subseteq \mathbb{R}^d$ and $Y \subseteq \mathbb{R}^n$ be  non-empty Borel sets. Let $B^\alpha: \mathbb{R}^n \to V$ be index $\alpha$ fractional Brownian motion with $V$ identified with $\mathbb{R}^k$.   If $\dim_{\textup{H}} X < k$, then almost surely
\[
\dim_{\textup{H}} (X+ B^\alpha(Y)) \geq   \min\left\{ \dim_{\textup{H}} X + \frac{\dim_{\textup{H}} Y}{\alpha}-\frac{\dim_{\textup{H}} X \dim_{\textup{H}} Y}{k\alpha} , k\right\}.
\]
\end{cor}

\begin{proof}
By Theorem \ref{convolution}, the definition of the Fourier dimension spectrum for sets, \eqref{kahaneeq} and Theorem \ref{embedding},
\begin{align*}
\dim_{\textup{H}} (X+ B^\alpha(Y))  &\geq \min\left\{  \sup_{\theta \in (0,1)} \left(\dim_\textup{F}^{1-\theta} X + \dim^\theta_{\mathrm{F}} B^\alpha(Y) \right), \ d \right\} \\
&\geq \sup_{\theta \in (0,1)} \left( (1-\theta) \dim_{\textup{H}} X + \min\left\{ k \theta , \frac{\dim_{\textup{H}} Y}{\alpha}\right\} \right) \\
&= \min\left\{ \dim_{\textup{H}} X + \frac{\dim_{\textup{H}} Y}{\alpha}-\frac{\dim_{\textup{H}} X \dim_{\textup{H}} Y}{k\alpha} , k\right\}
\end{align*}
as required.
\end{proof}

In the above proof, we were forced to make the `worst case' estimate $\dim_\textup{F}^{1-\theta} X \geq (1-\theta) \dim_{\textup{H}} X$ since we made no assumptions about $X$.  Clear improvements are possible if we make assumptions about the  Fourier dimension  spectrum of $X$ (for example, if $X$ is Salem) but we leave the details to the reader.  We do not know if the almost sure lower bounds given above are the best possible in general.
\begin{ques}
Is the almost sure  lower bound  from Corollary \ref{randomsum} sharp?
\end{ques}
The bounds are sharp for $\alpha \leq \dim_{\textup{H}} Y/ k$ as the following example will show.  Let $X = E \times F$ where $E \subseteq V$  and $F \subseteq V^\perp$ with $\dim_{\textup{H}} F =0$.   It is possible to arrange for $\dim_{\textup{H}} X = \dim_{\textup{P}} E$ and for this to assume any value in the interval $[0,k]$.  Here $\dim_{\textup{P}}$ is again the packing dimension.  Let $Y \subseteq \mathbb{R}^n$ satisfy $\dim_{\textup{H}} Y = \dim_{\textup{P}} Y$.   Then $X+B^\alpha(Y) = (E+B^\alpha(Y)) \times F$ and (for all realisations of $B^\alpha$)
\begin{align*}
\dim_{\textup{H}} (X+B^\alpha(Y)) \leq \dim_{\textup{P}} (E+B^\alpha(Y)) + \dim_{\textup{H}} F &=  \dim_{\textup{P}} (E+B^\alpha(Y)) \\
&\leq \min\left\{ \dim_{\textup{P}} E+\frac{\dim_{\textup{P}} Y}{\alpha}, \, k\right\} \\
&= \min\left\{ \dim_{\textup{H}} X+\frac{\dim_{\textup{H}} Y}{\alpha}, \, k\right\}
\end{align*}
which coincides with the general almost sure lower bound for $\alpha \leq \dim_{\textup{H}} Y / k$.

One might hope that this problem could be reduced to the simpler setting of Corollary \ref{randomeasy} by decomposing $X+ B^\alpha(Y)$ into slices parallel to $V$.  We have some doubt over this approach due to the following example. Consider the case where  $X$ is a `graph' in the sense that $X \subseteq V \times F$ with the property that $ X \cap (V+x)$ is a single point for all $x \in F$.  Despite the minimal fibre structure, there is no restriction on $\dim_{\textup{H}} X$ and it can take any value in the interval $[\dim_{\textup{H}} F,\dim_{\textup{H}} F+ k]$.  Then $(X+B^\alpha(Y)) \cap  (V+x)$ is a translation of $B^\alpha(Y)$  for all $x \in F$ and estimating the dimension of $X+B^\alpha(Y)$ using standard slicing methods, e.g. Marstrand's slice theorem, see \cite{mattila, falconer}, cannot do better than
\[
\dim_{\textup{H}} (X+ B^\alpha(Y))  \geq \min\left\{  \frac{\dim_{\textup{H}} Y}{\alpha}, \, k\right\}  + \dim_{\textup{H}} F
\]
almost surely.  For $\alpha > \dim_{\textup{H}} Y/k$ this estimate can be much poorer than the estimate from Corollary \ref{randomsum} and can even be  worse than the trivial lower bound $\dim_{\textup{H}} X$.

\section*{Acknowledgements}

I am grateful to Pertti Mattila,  Amlan Banaji and Natalia Jurga for helpful comments.

Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS); Functional Analysis (math.FA); Metric Geometry (math.MG); Probability (math.PR)