Self-similar measures with product-form digit sets and their spectra (Q6111104)

Let \(\varepsilon_n=\{0,1, \ldots, n-1\}\) be a consecutive digit set and \(p\), \(q\) be two prime numbers. Let \(D=\varepsilon_p \oplus(p q)^{l-1} p \varepsilon_q\) and \(t=p^{l_1} q^{l_2} t_1\), where \(l_1, l_2 \geq l \geq 1\), \(\operatorname{gcd}\left(t_1, p q\right)=1\). \textit{L. An} and \textit{C. Wang}, J. Funct. Anal. 280, No. 3, Article ID 108821, 32 p. (2021; Zbl 1454.28009)] and \textit{X. Fu} et al. [Constr. Approx. 42, No. 3, 519--541 (2015; Zbl 1329.42032)] proved that the self-similar measure \(\mu_{t, D}\) generated by the pair \((t, D)\) is a spectral measure. As an application of their results, the authors consider the spectral eigenvalue problem, i.e., given a spectrum \(\Lambda\) of \(\mu_{t, D}\), they study some integers \(b\) such that \(b \Lambda\) is also a spectrum of \(\mu_{t, D}\). In particular, the case of \(D=\varepsilon_n\) and \(t=n^{l_1} t_1\) for integers \(t_1, l_1 \geq 1\) is also contained in this paper.