Spectral measures with arbitrary Hausdorff dimensions (Q491509)

Suppose that \(\mathcal{B} := \{b_n : n\in \mathbb{N}\}\) and \(\mathcal{D} := \{d_n : n\in \mathbb{N}\}\) are sequences of integers satisfying \(1<d_n<b_n\), \(\forall\,n\in \mathbb{N}\). Define an integer sequence \(\{\rho_n : n\in\mathbb{N}\}\) by \[ \rho_1 := 1 \quad\text{and}\quad \rho_n := \prod_{j=1}^{n-1} b_j,\quad 2\leq n \in \mathbb{N}. \] The Riesz product measure \(\mu_{\mathcal{B},\mathcal{D}}\) associated with the sequences \(\mathcal B\) and \(\mathcal D\) is defined by \[ \widehat{\mu_{\mathcal{B},\mathcal{D}}}(\xi) := \prod_{n\in \mathbb{N}} H_{d_n} \left(\frac{\xi}{d_n \rho_1}\right), \] where \[ H_m (\xi) := \frac{1}{m}\sum_{j=0}^{m-1} e^{-2\pi i j \xi}. \] It is known that \(\text{supp}\, \mu_{\mathcal{B},\mathcal{D}}\) is the homogeneous Cantor set \(C(\mathcal{B},\mathcal{D})\). \noindent The authors' main result shows that under the assumptions that {\parindent=6mm \begin{itemize} \item[(i)] \(2\leq b_n/d_n \in \mathbb{Z}\), \(\forall n\in \mathbb{N}\); \item [(ii)] \(\lim_{n\to\infty} d_n = +\infty\); \item [(iii)] for \(0\leq \alpha \leq 1\), \(\lim_{n\to\infty} \frac{\ln d_n}{\ln b_n} = \alpha\), \end{itemize}} the Riesz product measure \(\mu_{\mathcal{B},\mathcal{D}}\) is a spectral measure of Hausdorff dimension \(\alpha\).