Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-05T04:21:55.297Z Has data issue: false hasContentIssue false

The spectral eigenmatrix problems of planar self-affine measures with four digits

Published online by Cambridge University Press:  22 August 2023

Jing-Cheng Liu
Affiliation:
Key Laboratory of Computing and Stochastic Mathematics (Ministry of Education), School of Mathematics and Statistics, Hunan Normal University, Changsha, Hunan, P.R. China ([email protected]; [email protected])
Min-Wei Tang
Affiliation:
Key Laboratory of Computing and Stochastic Mathematics (Ministry of Education), School of Mathematics and Statistics, Hunan Normal University, Changsha, Hunan, P.R. China ([email protected]; [email protected])
Sha Wu
Affiliation:
School of Mathematics, Hunan University, Changsha, Hunan, P.R. China ([email protected])
Rights & Permissions [Opens in a new window]

Abstract

Given a Borel probability measure µ on $\mathbb{R}^n$ and a real matrix $R\in M_n(\mathbb{R})$. We call R a spectral eigenmatrix of the measure µ if there exists a countable set $\Lambda\subset \mathbb{R}^n$ such that the sets $E_\Lambda=\big\{{\rm e}^{2\pi i \langle\lambda,x\rangle}:\lambda\in \Lambda\big\}$ and $E_{R\Lambda}=\big\{{\rm e}^{2\pi i \langle R\lambda,x\rangle}:\lambda\in \Lambda\big\}$ are both orthonormal bases for the Hilbert space $L^2(\mu)$. In this paper, we study the structure of spectral eigenmatrix of the planar self-affine measure $\mu_{M,D}$ generated by an expanding integer matrix $M\in M_2(2\mathbb{Z})$ and the four-elements digit set $D = \{(0,0)^t,(1,0)^t,(0,1)^t,(-1,-1)^t\}$. Some sufficient and/or necessary conditions for R to be a spectral eigenmatrix of $\mu_{M,D}$ are given.

Type
Research Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on Behalf of The Edinburgh Mathematical Society.

1. Introduction

Let µ be a compactly supported Borel probability measure on $\mathbb{R}^n$. We call µ a spectral measure if there exists a countable set $\Lambda\subset \mathbb{R}^n$ such that the set $\big\{{\rm e}^{2\pi i \langle\lambda,x\rangle}\big\}_{\lambda\in \Lambda}$ forms an orthogonal basis for $L^2(\mu)$. The set Λ is then called a spectrum of µ, and we also say that $(\mu,\Lambda)$ forms a spectral pair. If $\Omega\subset\mathbb{R}^n$ is a Lebesgue measurable set with finite positive Lebesgue measure and ${\rm d}\mu=\chi_\Omega\, {\rm d}x$ is a spectral measure, then we call Ω a spectral set. Classical spectral measures were first introduced by Fuglede [Reference Fuglede23], and he proposed his famous conjecture stating that a bounded measurable set $\Omega\subset\mathbb{R}^n$ is a spectral set if and only if Ω is a translational tile. The conjecture was proven to be false on $n\geq3$ [Reference Kolountzakis and Matolcsi29, Reference Tao44], but it is still open in one and two dimensions, and it is related to the construction of Gabor and wavelet bases [Reference Dutkay and Jorgensen13, Reference Liu and Wang38, Reference Wang46].

The studies entered into the realm of fractals when Jorgensen and Pedersen discovered that some singular fractal measures can also be spectral [Reference Jorgensen and Pedersen27]. Since then, singular spectral measures have become an active research topic, which involves classifying classes of measures which are spectral [Reference An and He1, Reference An, He and Tao3, Reference Chen and Liu4, Reference Dai6, Reference Dai, He and Lau9, Reference Dutkay and Jorgensen14Reference Dutkay and Jorgensen17, Reference Łaba and Wang30], finding their possible spectra [Reference Dai, Fu and Yan8, Reference Deng10, Reference Deng and Lau11, Reference Fu, He and Lau21, Reference He, Lai and Lau24, Reference Li33, Reference Li34] and studying all kinds of convergence problems of the associated Mock Fourier series [Reference Dutkay, Han and Sun19, Reference Strichartz40, Reference Strichartz41], etc. Many new exotic phenomena which are different from Lebesgue measures were discovered for singular fractal measures. Here we list some typical examples; Dai [Reference Dai7] found that the spectra of some singular spectral measures might have zero Beurling dimension, while the spectra for Lebesgue measures must have positive Beurling dimension [Reference Landau32]. Strichartz [Reference Strichartz40, Reference Strichartz41] found a large class of singular spectral measures with uncountably many spectra such that their associated mock Fourier series of continuous functions converge uniformly, and the mock Fourier series of L p-functions converge pointwise almost everywhere; nevertheless, there are also singular spectral measures and spectra such that the associated Fourier series of continuous function diverges at some point [Reference Dutkay, Han and Sun19]. These surprising phenomena motivate researchers to find more singular spectral measures and study their related problems, and it is connected with a number of areas in mathematics such as number theory, dynamical system, harmonic analysis, etc. [Reference Dutkay and Haussermann18, Reference Jorgensen, Kornelson and Shuman28, Reference Strichartz39]. The following two types of problems are basic in the study of spectrality of singular measures.

  1. I. Spectral Problems: What kind of measures are spectral measures?

  2. II. Spectral Eigenmatrix Problems: Let µ be a singular spectral measure on $\mathbb{R}^n$. The spectral eigenmatrix problems contain two themes in general. (1) Fix a spectrum Λ, find all $R\in M_n(\mathbb{R})$ such that $R\Lambda$ is a spectrum of µ (we call it the first type of spectral eigenmatrix problems); (2) Find all matrices $R\in M_n(\mathbb{R})$ such that $R\Lambda$ is a spectrum of µ for some spectrum Λ (we call it the second type of spectral eigenmatrix problems). In the two cases, R is called a spectral eigenmatrix of µ and Λ is called a eigenspectrum of µ corresponding to R.

Let $M\in M_n(\mathbb{R})$ be an n × n expanding real matrix (i.e., all the eigenvalues of M have modulus strictly greater than one), and $D\subset\mathbb{R}^n$ be a finite digit set. Then there exists a unique Borel probability measure $\mu_{M,D}$, which satisfies that

(1.1)\begin{equation} \mu_{M,D}(E)=\frac{1}{\#D}\sum_{d\in D}\mu_{M,D}(ME-d)\quad \text{for any Borel set } E, \end{equation}

where $\#D$ denotes the cardinality of D [Reference Hutchinson26]. Moreover, the measure is supported on

\begin{equation*}T(M,D)=\left\{\sum_{k=1}^\infty M^{-k}d_k: d_k\in D\right\}:=\sum_{k=1}^\infty M^{-k}D.\end{equation*}

We call $\mu_{M,D}$ a self-affine measure and $T(M,D)$ a self-affine set. In particular, if M is a multiple of an orthonormal matrix, then $\mu_{M,D}$ and $T(M,D)$ are called self-similar measure and self-similar set, respectively. It is known that a self-affine measure $\mu_{M,D}$ can be expressed by the infinite convolution of Dirac measures with equal weights as follows:

\begin{equation*} \mu_{M,D}=\delta_{M^{-1}D}*\delta_{M^{-2}D}*\delta_{M^{-3}D}*\cdots, \end{equation*}

where $*$ is the convolution sign, $\delta_E=\frac{1}{\#E}\sum_{e\in E}{\delta_e}$ for a finite set E and δe is the Dirac measure at the point e, and the convergence is in the weak sense.

The spectral eigenmatrix problems are also called the scaling matrix problems. The origin of spectral eigenmatrix problems goes back to Łaba and Wang [Reference Łaba and Wang30], who first discovered a countable set Λ such that Λ and 2Λ are spectra of a measure µ. This surprise discovery attracted many researchers, and a lot of new results about the spectral eigenmatrix have been obtained. For examples, Dutkay and Jorgensen [Reference Dutkay and Jorgensen17] proved that $R=5^n$($n\in\mathbb{N}^{+}$) is a spectral eigenmatrix of $\mu_{4,\{0,2\}}$ for the spectrum $\Lambda_1:=\sum_{k=1}^\infty\{0, 1\}4^{k-1}$ and $R=3n$($n\in\mathbb{N}^{+}$) is not a spectral eigenmatrix of $\mu_{4,\{0,2\}}$ for the spectrum Λ1. Dutkay and Haussermann [Reference Dutkay and Haussermann18] proved that if p is a prime number greater than 3, then $p^n\Lambda_1$ is also a spectrum of $\mu_{4,\{0,2\}}$ for any $n\geq1$. He et al. [Reference He, Tang and Wu25] gave an answer to the spectral eigenmatrix problems (1) about the measure $\mu_{q,\{0,ar,br\}}$ for the spectrum $\Lambda:=\sum_{k=1}^\infty\{0,\pm1\}q^{k-1}$. Fu et al. [Reference Fu, He and Wen22] gave a complete characterization on the spectral eigenmatrix problems (2) of the Bernoulli convolution $\mu_{2k}$. Wang and Wu [Reference Wang and Wu45] studied the spectral eigenmatrix problems (2) for a class of self-similar spectral measures with consecutive digits. The known results on spectral eigenvalue problems mainly focus on self-similar spectral measures in one-dimensional case; however, there are not much discussions about the spectral eigenmatrix problems in high-dimensional case since the methods in one dimension are difficult to apply to higher dimensions even for the simple cases. As far as we know, the only high-dimensional example was by An et al. [Reference An, Dong and He2], who discussed the spectral eigenmatrix problems of the Sierpinski-type measure $\mu_{M,D}$ generated by an expanding matrix $M={\rm diag}[3q, 3q]$ and $D=\{(0,0)^t,(0,1)^t,(1,0)^t\}$.

The planar Cantor-dust measure $\mu_{M,D^{\prime}}$ is the most typical self-affine measure except for the planar Sierpinski-type measure, and it is generated by an expanding matrix $M\in M_2(\mathbb{Z})$ and the integer digit set $D^{\prime}=\{(0,0)^t,(\alpha_1,\alpha_2)^t, (\beta_1,\beta_2)^t, (-\alpha_1-\beta_1,-\alpha_2-\beta_2)^t\}$. There are many researches about its spectrality or non-spectrality [Reference Li35, Reference Liu, Liu, Chen and Wu37, Reference Su, Liu and Liu42, Reference Su, Wang and Chen43]. Recently, Chen et al.[Reference Chen, Liu and Wang5] gave the following complete characterization on the spectrality of $\mu_{M,D^{\prime}}$.

Theorem 1.1. [Reference Chen, Liu and Wang5] Let $D^{\prime}=\{(0,0)^t,(\alpha_1,\alpha_2)^t, (\beta_1,\beta_2)^t, (-\alpha_1-\beta_1,-\alpha_2-\beta_2)^t\}$ be an integer digit set and $M\in M_2(\mathbb{Z})$ be an expanding matrix. If $\alpha_1\beta_2-\alpha_2\beta_1\notin 2\mathbb{Z}$, then $\mu_{M,D^{\prime}}$ is a spectral measure if and only if $M\in M_2(2\mathbb{Z})$.

Let

(1.2)\begin{equation} M\in M_2(2\mathbb{Z})\quad \text{and }\quad D = \left\{\begin{pmatrix} 0\\ 0 \end{pmatrix},\begin{pmatrix} 1\\ 0 \end{pmatrix}, \begin{pmatrix} 0\\ 1 \end{pmatrix}, \begin{pmatrix} -1\\ -1 \end{pmatrix} \right\}. \end{equation}

The corresponding self-affine measure $\mu_{M,D}$ is the simplest planar Cantor-dust measure. Motivated by the above works, our goal in the present paper is to investigate the spectral structure and spectral eigenvalue problems of $\mu_{M,D}$, and we hope that the methods used in this paper can shed some light on the study of high-dimensional spectral eigenvalue problems.

In order to characterize the structure of the spectra of $\mu_{M,D}$, we need to introduce some notation from symbolic dynamical system. Let $\Sigma=\{0,1,2,3\}$, $\Sigma^0=\emptyset$ and $\Sigma^n=\{i_1i_2\cdots i_n: i_j\in\Sigma, 1\leq j\leq n\}$ to be the set of all words $i_1\cdots i_n$ with length $n\geq1$. For any $I\in \Sigma^n$ and $J\in \Sigma^m$, the word IJ is their natural conjunction. In particular, $\emptyset i_1\cdots i_n=i_1\cdots i_n$, $Ij=i_1\cdots i_nj$ for all $I=i_1\cdots i_n\in \Sigma^n$, $n\geq1$, and $0^k=\underbrace{0\cdots0}_k$. We define that $I|_k=i_1i_2\cdots i_k$ for $I=i_1i_2\cdots i_n\in \Sigma^n$ and $k\leq n$.

Let

(1.3)\begin{equation} \mathcal{S}=\left\{\begin{pmatrix} 0\\ 0\end{pmatrix},\begin{pmatrix} 1\\ 0\end{pmatrix},\begin{pmatrix} 0\\ 1\end{pmatrix},\begin{pmatrix} 1\\ 1\end{pmatrix}\right\}. \end{equation}

Then we can state our first result as follows.

Theorem 1.2. Let $M\in M_2(2\mathbb{Z})$ be an expanding matrix, D be given by Equation (1.2). If Λ is a spectrum of $\mu_{M,D}$ with $0\in\Lambda$, then for each $n\geq1$, Λ has a decomposition

(1.4)\begin{equation} \Lambda=\bigcup_{I\in\Sigma^n} \left(M^*\left(\frac{1}{2}s_{I|_1}+z_{I|_1}\right)+M^{*2}\left(\frac{1}{2}s_{I|_2}+z_{I|_2}\right)+\cdots +M^{*n}\left(\frac{1}{2}s_{I}+ \Gamma_{I}\right)\right), \end{equation}

where $z_{0^k}=s_{0^k}=s_{0^n}=0$, $\cup_{i\in\Sigma}s_{Ji}=\mathcal{S}$, $z_{Ji}\subset\mathbb{Z}^2$ for every $J\in \Sigma^{k}$, $0\leq k\leq n-1$ and each $\Gamma_{I}\subset\mathbb{Z}^2$ is a spectrum of $\mu_{M,D}$ with $0\in\Gamma_{0^n}$. Conversely, if Λ can be decomposed into the form of Equation (1.4) for some positive integer n, then Λ is a spectrum of $\mu_{M,D}$ with $0\in\Lambda$.

Theorem 1.2 characterizes the structure of the spectra of $\mu_{M,D}$, which is useful for us to find the necessary conditions for a matrix to be a spectral eigenmatrix of $\mu_{M,D}$. Our main results about spectral eigenmatrices are the following three theorems.

Theorem 1.3. Let $M\in M_2(2\mathbb{Z})$ be an expanding matrix, D be given by Equation (1.2) and let $R\in M_2(\mathbb{R})$ and $R_k=M^{*-k}RM^{*k}$ for any $k\in \mathbb{Z}$. Suppose R is a spectral eigenmatrix of $\mu_{M,D}$, then the following statements hold.

  1. (i) $R=\frac{1}{l}M^*R^{\prime}M^{*-1}$ for some $l\in 2\mathbb{Z}+1$ and $R^{\prime}\in M_2(\mathbb{Z})$ with $\det(R^{\prime})\in 2\mathbb{Z}+1$;

  2. (ii) For each $k\geq 0$, Rk is a spectral eigenmatrix of $\mu_{M,D}$;

  3. (iii) If $M={\rm diag}[2p, 2q]$ with $\frac{pq}{\gcd(p^2,q^2)}\in 2\mathbb{Z}+1$, then for each $k\geq 0$, R k is a spectral eigenmatrix of $\mu_{M,D}$.

Theorem 1.3 just gives some necessary conditions for a matrix to be a spectral eigenmatrix of $\mu_{M,D}$. For some special case, the sufficient and necessary conditions for the spectral eigenmatrices of $\mu_{M,D}$ can be characterized.

Theorem 1.4. Let $M={\rm diag}[2p, 2q]\in M_2(2\mathbb{Z})$ with $|p|, |q| \gt 1$, D be given by Equation (1.2). Suppose $R\in M_2(\mathbb{R})$ satisfies RM = MR, then R is a spectral eigenmatrix of $\mu_{M,D}$ if and only if $R\in M_2(\frac{\mathbb{Z}}{2\mathbb{Z}+1})$ and $\det(R)\in \frac{2\mathbb{Z}+1}{2\mathbb{Z}+1}$.

We remark that the condition $|p|, |q| \gt 1$ can be removed in the proof of the necessity of Theorem 1.4, but this condition plays a key role in constructing the spectrum in the proof of the sufficiency of Theorem 1.4. For the condition ‘RM = MR’, we do not know whether it is superfluous. But the following theorem tells us that this condition may be necessary in Theorem 1.4.

Theorem 1.5. Let $M={\rm diag}[2p, 2q]\in M_2(2\mathbb{Z})$ be an expanding matrix, D be given by Equation (1.2). Suppose $R\in M_2(\mathbb{R})$ is a spectral eigenmatrix of $\mu_{M,D}$, then the following statements hold.

  1. (i) If $\frac{q}{\gcd(p,q)}\in 2\mathbb{Z}$, then $R=\frac{1}{l}\begin{bmatrix} a&b(\frac{p}{q})\\0&d\end{bmatrix}$ for some integers $l, a,d\in 2\mathbb{Z}+1$ and $b\in \mathbb{Z}$;

  2. (ii) If $\frac{p}{\gcd(p,q)}\in 2\mathbb{Z}$, then $R=\frac{1}{l}\begin{bmatrix} a&0\\ c(\frac{q}{p})&d \end{bmatrix}$ for some integers $l, a,d\in 2\mathbb{Z}+1$ and $c\in \mathbb{Z}$.

This paper is organized as follows. In § 2, we introduce some basic definitions and results that will be used in the proof of our main results. In § 3, we study the structure of the spectra of $\mu_{M,D}$ and prove Theorem 1.2. In § 4, we will discuss the structure of the spectral eigenmatrices of $\mu_{M,D}$ and prove Theorems 1.3 and 1.5. In § 5, we will prove Theorem 1.4. In § 6, some remarks and open questions related to our main results will be given.

2. Preliminaries

For a probability measure µ on $\mathbb{R}^n$, the Fourier transform of µ is defined by

\begin{equation*}\hat\mu(\xi)=\int_{\mathbb{R}^n} {\rm e}^{2\pi i\langle x,\xi\rangle }\,{\rm d}\mu(x).\end{equation*}

It follows from Equations (1.1) and (1.2) that the Fourier transform $\hat\mu_{M,D}$ of the self-affine measure $\mu_{M,D}$ is

(2.1)\begin{equation} \hat{\mu}_{M,D}(\xi)=\int_{\mathbb{R}^2} {\rm e}^{2\pi i\langle x,\xi\rangle }\,{\rm d}\mu_{M,D}(x)=\prod_{j=1}^\infty m_D({M^{*}}^{-{j}}\xi), \quad \xi\in\mathbb{R}^2, \end{equation}

where $M^*$ denotes the transposed conjugate of M and

\begin{equation*}m_{D}(\xi)=\frac{1}{\#D}\sum_{d\in D}{{\rm e}^{2\pi i\langle d,{\xi}\rangle}}=\frac{1}{4}\left(1+{\rm e}^{2\pi i\xi_1}+{\rm e}^{2\pi i\xi_2}+{\rm e}^{-2\pi i(\xi_1+\xi_2)}\right), \quad \xi=(\xi_1,\xi_2)^t \in \mathbb{R}^2.\end{equation*}

Denote $\mathcal{Z}(\hat\mu)=\{x\in \mathbb{R}^2:\hat\mu(x)=0\}$ to be the zero set of $\hat\mu$. For convenience, we let

(2.2)\begin{equation} {\mathcal{F}}_2^2=\frac{1}{2}\big\{(\ell_1,\ell_2)^t:\ell_i\in\{0,1\}, i=1,2\big\}\quad \text{and} \quad \mathring{\mathcal{F}}_2^2:={\mathcal{F}}_2^2\setminus{\{0\}}. \end{equation}

It follows from Equations (2.2) and (2.1) that

(2.3)\begin{equation} \mathcal{Z}(m_D)=\mathring{\mathcal{F}}_2^2+\mathbb{Z}^2, \end{equation}
(2.4)\begin{equation} \mathcal{Z}(\hat{\mu}_{M, D})=\bigcup_{j=1}^{\infty}M^{*j}(\mathcal{Z}(m_D))= \bigcup_{j=1}^{\infty}M^{*j}(\mathring{\mathcal{F}}_2^2+\mathbb{Z}^2). \end{equation}

For a probability measure µ on $\mathbb{R}^n$ and a countable set $\Lambda\subset\mathbb{R}^n$, it is easy to check that the family $E_\Lambda:=\{{\rm e}^{2\pi i\langle\lambda,x\rangle}:\lambda\in\Lambda\}$ forms an orthogonal set for $L^2(\mu)$, which is equivalent to the condition that

(2.5)\begin{equation} (\Lambda-\Lambda)\setminus\{0\}\subset\mathcal{Z}(\hat{\mu}). \end{equation}

We call Λ an orthogonal set (respectively, spectrum) of µ if $ E_\Lambda$ forms an orthogonal system (respectively, Fourier basis) for $L^2(\mu)$. Since the properties of orthogonal set (or spectrum) are invariant under a translation, it will be convenient to assume that $0\in\Lambda$, and hence $\Lambda\subset(\Lambda-\Lambda)$.

Let

(2.6)\begin{equation} Q_{\mu,\Lambda}(\xi)=\sum_{\lambda\in\Lambda}|{\hat{\mu}(\xi+\lambda)}|^2,\quad \xi\in\mathbb{R}^n. \end{equation}

The well-known result of Jorgensen and Pedersen [Reference Jorgensen and Pedersen27, Lemma 4.2] shows that $Q_{\mu,\Lambda}(\xi)$ is an entire function if Λ is an orthogonal set of µ. The following provides a universal test, which allows us to decide whether an orthogonal set Λ is a spectrum of the measure µ.

Theorem 2.1. [Reference Jorgensen and Pedersen27] Let µ be a Borel probability measure with compact support on $\mathbb{R}^n$, and let $\Lambda\subset\mathbb{R}^n$ be a countable set. Then

  1. (i) Λ is an orthogonal set of µ if and only if $Q_{\mu,\Lambda}(\xi)\leq1$ for $\xi\in\mathbb{R}^n$.

  2. (ii) Λ is a spectrum of µ if and only if $Q_{\mu,\Lambda}(\xi)\equiv1$ for $\xi\in\mathbb{R}^n$.

In the study of the spectrality of self-affine measures, the concept of Hadamard triple plays an important role. To the best of our knowledge, almost all spectra of self-affine measures are generated by Hadamard triples.

Definition 2.2. Let $M\in M_n(\mathbb{Z})$ be an expanding integer matrix, and let $D,L\subset\mathbb{Z}^n$ be two finite digit sets with the same cardinality. We say that the pair (M, D) is admissible if the matrix

\begin{equation*}H_{M^{-1}D, L}:=\frac{1}{\sqrt{\#D}} \left[{\rm e}^{2 \pi i \langle M^{-1}d,l\rangle}\right]_{d \in D, l\in L}\end{equation*}

is unitary, that is, $H_{M^{-1}D,L} H_{M^{-1}D,L}^*=I_{\#D}$. In this case, we call the triple $(M,D,L)$ a Hadamard triple and also call $(M^{-1}D,L)$ a compatible pair.

Lemma 2.3. [Reference Deng, He, Li and Ye12, Reference Dutkay, Haussermann and Lai20] Let $M\in M_n(\mathbb{Z})$ be an expanding integer matrix, and let $D,L\subset\mathbb{Z}^n$ be two finite digit sets with the same cardinality. Then the following statements are equivalent.

  1. (i) $(M,D,L)$ is a Hadamard triple.

  2. (ii) $m_{D}(M^{*-1}(l_1-l_2))=0$ for any $l_1\neq l_2\in L$.

  3. (iii) $(\delta_{M^{-1}D},L)$ is a spectral pair.

Moreover, if $(M,D,L)$ is a Hadamard triple, then for any $n \geq 1$, $\left(M^{n}, D_{n}, L_{n}\right)$ is a Hadamard triple where $D_{n}:=D+M D+M^{2} D+\cdots+M^{n-1} D$ and $L_{n}:=L+M^{*}L+M^{*2} L+\cdots+M^{*(n-1)} L.$

Lemma 2.4. [Reference Strichartz40] Let $\mu_{M,D}$ be defined by Equation (1.1), and $(M^{-1} D, L_k)$ be compatible pairs with $0 \in L_k$, $k\geq1$. Suppose that the set of zeros of the Fourier transform $\widehat{\mu}_{M,D}$ is uniformly disjoint from the sets $M^{*-n} L_1+ M^{*-(n-1)} L_2+\cdots+M^{*-1} L_n$ for all large n. Then $\mu_{M,D}$ is a spectral measure and has a spectrum $\Lambda=L_1+M^*L_2+M^{*2}L_3 +\cdots$.

Recall that $ \mathcal{S} $ is defined by Equation (1.3), that is,

\begin{equation*}\mathcal{S}=\left\{\begin{pmatrix} 0\\ 0\end{pmatrix},\begin{pmatrix} 1\\ 0\end{pmatrix},\begin{pmatrix} 0\\ 1\end{pmatrix},\begin{pmatrix} 1\\ 1\end{pmatrix}\right\}.\end{equation*}

In the end of this section, we will discuss the relationship between D and $\mathcal{S}$, which is an elementary but useful fact in our investigation.

Lemma 2.5. With the above notation, the following statements hold.

  1. (i) $\mathcal{S}=2{\mathcal{F}}_2^2$.

  2. (ii) $\mathcal{S}$ is a complete residue system modulo $2\mathbb{Z}^2$.

  3. (iii) $(\delta_{D},\frac{1}{2}\mathcal{S})$ is a spectral pair.

Proof. By the definition of $\mathcal{S}$ and ${\mathcal{F}}_2^2$, (i) and (ii) are obvious. We now prove (iii). For any $s_1\neq s_2\in \mathcal{S} $, it is easy to check that $\frac{1}{2}(s_1-s_2)\in\mathring{\mathcal{F}}_2^2+\mathbb{Z}^2$. Using Equation (2.3), we get $m_{D}(\frac{1}{2}(s_1-s_2))=0$. Therefore, (iii) holds by Lemma 2.3.

3. Structure of the spectra of $\mu_{M,D}$

In this section, we first investigate the structure of the spectra of $\mu_{M,D}$ under the hypothesis that $\mu_{M,D}$ is a spectral measure, and then prove Theorem 1.2. According to Theorem 1.1, we may assume the expanding matrix $M\in M_2(2\mathbb{Z})$.

Let Λ be a spectrum of $\mu_{M,D}$ with $0\in\Lambda$, according to Equations (2.4) and (2.5), we know

(3.1)\begin{equation} 2M^{*-1}\Lambda\subset \{0\}\cup2\bigcup_{j=0}^{\infty}M^{*j}(\mathring{\mathcal{F}}_2^2+\mathbb{Z}^2) \subset \bigcup_{j=0}^{\infty}M^{*j}(\mathcal{S}+2\mathbb{Z}^2)\subset \mathbb{Z}^2. \end{equation}

For any $v\in\mathbb{Z}^2$, it follows from Lemma 2.5(ii) that there exist $s\in \mathcal{S}$ and $v^{\prime}\in\mathbb{Z}^2$ such that

(3.2)\begin{equation} v=s+2v^{\prime}. \end{equation}

It is clear that the expression is unique. By Equations (3.1) and (3.2), we can get that, for any $\lambda\in\Lambda$, there exists a unique $s\in\mathcal{S}$ such that $\lambda=M^*(\frac{1}{2}s+\omega)$ for some $\omega\in\mathbb{Z}^2$. Define

(3.3)\begin{equation} \Gamma_s=\left\{\omega\in\mathbb{Z}^2:M^*\left(\frac{1}{2}s+\omega\right)\in\Lambda\right\}. \end{equation}

Then we have the following decomposition:

(3.4)\begin{equation} \Lambda=\bigcup_{s\in\mathcal{S}}M^*\left(\frac{1}{2}s+\Gamma_s\right), \end{equation}

where $M^*(\frac{1}{2}s+\Gamma_s)=\emptyset$ if $\Gamma_s=\emptyset$. Moreover, the union is disjoint. As $0\in\Lambda$, it follows that

(3.5)\begin{equation} \Gamma_0\neq\emptyset. \end{equation}

Lemma 3.1. Let Λ be a spectrum of $\mu_{M,D}$ with $0\in\Lambda$. If $\Gamma_s$ is a non-empty set, then $\Gamma_s$ is an orthogonal set of $\mu_{M,D}$.

Proof. Suppose that $\Gamma_s$ is a non-empty set for some $s\in\mathcal{S}$. For any two distinct elements $\lambda_1,\lambda_2\in \Gamma_s\subset \mathbb{Z}^2$, it follows from Equation (3.4) that $M^*(\frac{1}{2}s+\lambda_1)$, $M^*(\frac{1}{2}s+\lambda_2)\in \Lambda$. By Equation (2.5), we have $M^*(\lambda_1-\lambda_2)\in \mathcal{Z}(\hat{\mu}_{M, D})$. Together with Equation (2.1) and $m_D(\xi)=1$ for any $\xi\in \mathbb{Z}^2$, it is easy to get

\begin{equation*}0=\hat{\mu}_{M, D}(M^*(\lambda_1-\lambda_2))=m_D(\lambda_1-\lambda_2)\hat{\mu}_{M, D}(\lambda_1-\lambda_2)=\hat{\mu}_{M, D}(\lambda_1-\lambda_2).\end{equation*}

Thus, $\lambda_1-\lambda_2\in \mathcal{Z}(\hat{\mu}_{M, D})$, which implies that $\Gamma_s$ is an orthogonal set of $\mu_{M,D}$.

The following lemma gives the structure of the spectra of $\mu_{M,D}$.

Lemma 3.2. Let Λ be a spectrum of $\mu_{M,D}$ with $0\in\Lambda$. Then Λ has a decomposition

(3.6)\begin{equation} \Lambda=\bigcup_{s\in\mathcal{S}}\left(\frac{1}{2}M^*s+M^*\Gamma_s\right), \end{equation}

where $\Gamma_s$ are also spectra of $\mu_{M,D}$ for all $s\in\mathcal{S}$.

Proof. We first prove that $\Gamma_s\neq\emptyset$ for all $s\in\mathcal{S}$. Let $\mathcal{S}^\prime=\{s\in\mathcal{S}:\Gamma_s\neq\emptyset\}.$ In view of Equation (3.4), Λ can be written as

\begin{equation*} \Lambda=\bigcup_{s\in\mathcal{S}^\prime}M^*\left(\frac{1}{2}s+\Gamma_s\right). \end{equation*}

Then for any $\xi\in \mathbb{R}^2$, using Equation (2.1), Theorem 2.1, Lemma 3.1 and the fact that $\Gamma_s\subset\mathbb{Z}^2$, we get

(3.7)\begin{align}\nonumber 1&\equiv\sum_{\lambda^{\prime}\in\Lambda}|{\hat{\mu}_{M,D}(\xi+\lambda^{\prime})}|^2 \nonumber \\ &=\sum_{s\in\mathcal{S}^\prime}\sum_{\lambda\in\Gamma_s}\left|{\hat{\mu}_{M,D}\left(\xi+M^*\left(\frac{1}{2} s+\lambda\right)\right)}\right|^2 \nonumber\\ &=\sum_{s\in\mathcal{S}^\prime}\sum_{\lambda\in\Gamma_s}\left| m_D\left(M^{*-1}\xi+\frac{1}{2}s+\lambda\right)\right|^2 \left|{\hat{\mu}_{M,D}\left(M^{*-1}\xi+\frac{1}{2}s+\lambda\right)}\right|^2 \nonumber \\ &=\sum_{s\in\mathcal{S}^\prime}\left|m_D\left(M^{*-1}\xi+\frac{1}{2}s\right)\right|^2\sum_{\lambda\in\Gamma_s} \left|{\hat{\mu}_{M,D}\left(M^{*-1}\xi+\frac{1}{2}s+\lambda\right)}\right|^2\nonumber \\ &\leq\sum_{s\in\mathcal{S}^\prime}\left|m_D\left(M^{*-1}\xi+\frac{1}{2}s\right)\right|^2. \end{align}

On the other hand, choose $\xi\in M^*(\mathbb{R}^2\setminus\mathbb{Q}^2)$. As $\mathcal{Z}(m_D)=\mathring{\mathcal{F}}_2^2+\mathbb{Z}^2$, it follows that

(3.8)\begin{equation} \left|m_D\left(M^{*-1}\xi+\frac{1}{2}s\right)\right|^2 \gt 0 \quad {\rm for \ all \ } s\in\mathcal{S}. \end{equation}

Following from Lemma 2.5(iii) and Theorem 2.1 , one may get that

(3.9)\begin{equation} \sum_{s\in\mathcal{S}}\left|m_D\left(M^{*-1}\xi+\frac{1}{2}s\right)\right|^2=1. \end{equation}

If $\mathcal{S}^\prime\neq\mathcal{S}$, according to Equations (3.8) and (3.9), we deduce that $\sum_{s\in\mathcal{S}^\prime}|m_D(M^{*-1}\xi+\frac{1}{2}s)|^2 \lt 1.$ This contradicts Equation (3.7); therefore, $\mathcal{S}^\prime=\mathcal{S}$, that is, $\Gamma_s\neq\emptyset$ for all $s\in\mathcal{S}$.

Now we show that $\Gamma_s$ is a spectrum of $\mu_{M,D}$ for each $s\in\mathcal{S}$. Suppose, on the contrary, that there exists a $s_0\in\mathcal{S}$ such that $\Gamma_{s_0}$ is not a spectrum of $\mu_{M,D}$. Then, by Theorem 2.1, there must exist $\xi_0\in M^*(\mathbb{R}^2\setminus\mathbb{Q}^2)$ such that

\begin{equation*}\sum_{\lambda\in\Gamma_{s_0}} \left|{\hat{\mu}_{M,D}\left(M^{*-1}\xi_0+\frac{1}{2}s_0+\lambda\right)}\right|^2 \lt 1.\end{equation*}

Hence, using $\mathcal{S}^\prime=\mathcal{S}$, Lemma 3.1, Equation (3.9) and the similar argument as Equation (3.7), we conclude that

\begin{align*}\nonumber 1&=\sum_{\lambda^{\prime}\in\Lambda}|{\hat{\mu}_{M,D}(\xi_0+\lambda^{\prime})}|^2 \nonumber \\ &=\sum_{s\in\mathcal{S}}\left|m_D\left(M^{*-1}\xi_0+\frac{1}{2}s\right)\right|^2\sum_{\lambda\in\Gamma_s} \left|{\hat{\mu}_{M,D}\left(M^{*-1}\xi_0+\frac{1}{2}s+\lambda\right)}\right|^2\nonumber \\ & \leq \sum_{s\in\mathcal{S}\setminus\{s_0\}}\left|m_D\left(M^{*-1}\xi_0+\frac{1}{2}s\right)\right|^2+ \left|m_D\left(M^{*-1}\xi_0+\frac{1}{2}s_0\right)\right|^2 \nonumber \\ & \quad\times\sum_{\lambda\in\Gamma_{s_0}} \left|{\hat{\mu}_{M,D}\left(M^{*-1}\xi_0+\frac{1}{2}s_0+\lambda\right)}\right|^2\nonumber \\ & \lt \sum_{s\in\mathcal{S}}\left|m_D\left(M^{*-1}\xi_0+\frac{1}{2}s\right)\right|^2=1. \end{align*}

This is a contradiction, and hence $\Gamma_s$ is a spectrum of $\mu_{M,D}$ for each $s\in\mathcal{S}$.

Now we are in a position to prove Theorem 1.2, which can be seen as an extension of Lemma 3.2.

Proof of Theorem 1.2

We prove the first result Equation (1.4) by induction. It is obvious that the assertion holds for n = 1 by Lemma 3.2. Now we suppose it holds for $n=m-1$, that is, Λ has a decomposition

(3.10)\begin{equation} \Lambda=\bigcup_{I\in\Sigma^{m-1}} \left(M^*\left(\frac{1}{2}s_{I|_1}+z_{I|_1}\right)+M^{*2}\left(\frac{1}{2}s_{I|_2}+z_{I|_2}\right)+\cdots +M^{*m-1}\left(\frac{1}{2}s_{I}+ \Gamma_{I}\right)\right), \end{equation}

where $z_{0^k}=s_{0^k}=0$, $z_{Ji}\subset\mathbb{Z}^2$, $\cup_{i\in\Sigma}s_{Ji}=\mathcal{S}$ for $J\in \Sigma^{k}$, $0\leq k\leq m-2$, and every $\Gamma_{I}$ is a spectrum of $\mu_{M,D}$ with $\Gamma_{I}\subset\mathbb{Z}^2$, $0\in \Gamma_{0^{m-1}}$ and $s_{0^{m-1}}=0$. For each $\Gamma_I$ with $I\in\Sigma^{m-1}$, we choose a $z_I\in \Gamma_I$ (choose $z_{0^{m-1}}=0$), then all $\Gamma_I-z_I$ are also spectra with $0\in \Gamma_I-z_I$. According to Equation (3.4) and Lemma 3.2, one may conclude that $\Gamma_I-z_I$ has a decomposition

(3.11)\begin{equation} \Gamma_I-z_I=\bigcup_{i\in\Sigma}M^{*}\left(\frac{1}{2}s_{Ii}+\Gamma_{Ii}\right), \end{equation}

where $\bigcup_{i\in\Sigma} s_{Ii}=\mathcal{S}$, $\Gamma_{Ii}\subset\mathbb{Z}^2$ is a spectrum of $\mu_{M,D}$ for any $i\in \Sigma$, $s_{I0}=0$ and $0\in \Gamma_{I0}$. Combining Equations (3.10) and (3.11), we can get

\begin{align*} \Lambda & =\bigcup_{I\in\Sigma^{m-1},i\in\Sigma } \left(M^*\left(\frac{1}{2}s_{I|_1}+z_{I|_1}\right)+M^{*2}\left(\frac{1}{2}s_{I|_2}+z_{I|_2}\right)+\cdots +M^{*m-1}\left(\frac{1}{2}s_{I}+z_I\right)\right. \\ &\quad \left.+M^{*m}\left(\frac{1}{2}s_{Ii}+\Gamma_{Ii}\right)\right). \end{align*}

This shows that Equation (1.4) holds for the case n = m.

Now we prove the second result. Suppose there exists n such that Λ can be decomposed as the following

\begin{align*} \Lambda & =\bigcup_{i_1i_2\cdots i_n\in\Sigma^n}\left(M^*\left(\frac{1}{2}s_{i_1}+z_{i_1}\right)+M^{*2}\left(\frac{1}{2}s_{i_1i_2}+ z_{i_1i_2}\right)+\cdots\right. \\ &\quad \left.+M^{*n}\left(\frac{1}{2}s_{i_1\cdots i_n}+ \Gamma_{i_1\cdots i_n}\right)\right), \end{align*}

where $z_{0^k}=s_{0^k}=s_{0^n}=0$, $z_{Ji}\subset\mathbb{Z}^2$, $\cup_{i\in\Sigma}s_{Ji}=\mathcal{S}$ for any $J\in \Sigma^{k}$ ($0\leq k\leq n-1$) and each $\Gamma_{i_1\cdots i_n}\subset\mathbb{Z}^2$ is a spectrum of $\mu_{M,D}$ with $0\in \Gamma_{0^n}$. One has

\begin{align*} Q_{\mu_{M,D},\Lambda}(\xi)&=\sum_{\lambda^{\prime}\in\Lambda}\big|{\hat{\mu}_{M,D}(\xi+\lambda^{\prime})}\big|^2 \nonumber \\ &=\sum_{s_{i_1}\in\mathcal{S}}\cdots\sum_{s_{i_1\cdots i_n}\in\mathcal{S}}\sum_{\lambda\in\Gamma_{i_1\cdots i_n}}\left|{m_D\left(M^{*-1}\xi+\frac{s_{i_1}}{2}\right)}\right|^2\cdots\\ & \quad\times\left|{m_D\left(\xi_{i_1\cdots i_{n-1}}+\frac{s_{i_1\cdots i_n}}{2}\right)}\right|^2\left|{\hat{\mu}_{M,D}\left(\xi_{i_1\cdots i_{n-1}}+\frac{s_{i_1\cdots i_n}}{2}+\lambda\right)}\right|^2\nonumber \\ &=\sum_{s_{i_1}\in\mathcal{S}}\left|{m_D\left(M^{*-1}\xi+\frac{s_{i_1}}{2}\right)}\right|^2 \cdots\sum_{s_{i_1\cdots i_n}\in\mathcal{S}}\left|{m_D\left(\xi_{i_1\cdots i_{n-1}}+\frac{s_{i_1\cdots i_n}}{2}\right)}\right|^2 \\ & \quad\times\sum_{\lambda\in\Gamma_{i_1\cdots i_n}}\left|{\hat{\mu}_{M,D}\left(\xi_{i_1\cdots i_{n-1}}+\frac{s_{i_1\cdots i_n}}{2}+\lambda\right)}\right|^2\nonumber \\ &=\sum_{s_{i_1}\in\mathcal{S}}\left|{m_D\left(M^{*-1}\xi+\frac{s_{i_1}}{2}\right)}\right|^2 \cdots\sum_{s_{i_1\cdots i_n}\in\mathcal{S}}\left|{m_D\left(\xi_{i_1\cdots i_{n-1}}+\frac{s_{i_1\cdots i_n}}{2}\right)}\right|^2\nonumber\\ &=\cdots\nonumber\\ &=1, \end{align*}

where $\xi_{i_1\cdots i_{n-1}}=M^{*-n}\big(\xi+M^*(\frac{1}{2}s_{i_1}+z_{i_1}) +\cdots+M^{*n-1}(\frac{1}{2}s_{i_1\cdots i_{n-1}}+z_{i_1\cdots i_{n-1}})\big)$. Also $0\in\Lambda$ follows from $s_{0^n}=0$, $0\in \Gamma_{0^n}$ and $s_{0^k}=z_{0^k}=0$ for all $1\leq k\leq n-1$. Hence, Λ is a spectrum of $\mu_{M,D}$ with $0\in\Lambda$. This completes the proof of Theorem 1.2.

4. Structure of spectral eigenmatrix of $\mu_{M,D}$

In the present section, we first study the structure of spectral eigenmatrices of $\mu_{M,D}$ and then find the conditions for a matrix to be a spectral eigenmatrix of $\mu_{M,D}$. Based on these preparations, we will complete the proofs of Theorems 1.3 and 1.5.

The following lemma is useful for us to study the structure of spectral eigenmatrices.

Lemma 4.1. Let $R\in M_2(\mathbb{R})$ and $\mathcal{S}$ be defined by Equation (1.3). Suppose $\bigcup_{s\in\mathcal{S}}R\left(s+2\Gamma_s\right)\equiv \mathcal{S}({\rm mod} \ 2\mathbb{Z}^{2})$ for some $\Gamma_s\subset \mathbb{Z}^2$, then the following statements hold.

  1. (i) $R\in M_2(\frac{\mathbb{Z}}{2\mathbb{Z}+1})$.

  2. (ii) $\det(R)\in \frac{2\mathbb{Z}+1}{2\mathbb{Z}+1}$.

  3. (iii) $2R\Gamma\equiv 0 ({\rm mod} \ 2\mathbb{Z}^{2})$ if $2R \Gamma\subset \mathbb{Z}^2$ with $\Gamma\subset \mathbb{Z}^2$.

  4. (iv) For any $s\in \mathcal{S}$, there exists a unique $s^{\prime}\in \mathcal{S}$ such that $R\left(s+2\Gamma_s\right)\equiv s^{\prime}({\rm mod} \ 2\mathbb{Z}^{2})$.

Proof. (i) Write $s_{0}=(0,0)^t$, $s_{1}=(1,0)^t$, $s_{2}=(0,1)^t$ and $s_{3}=(1,1)^t$. Since $\bigcup_{s\in\mathcal{S}}R\left(s+2\Gamma_s\right)\equiv \mathcal{S}({\rm mod} \ 2\mathbb{Z}^{2})$, we have $ \bigcup_{i=0}^{3}R\big(s_i+2\Gamma_{s_i}\big)\subset \mathbb{Z}^2. $ For $i=1,2$, choosing $\mathbf{z}_i=(k_{1i},k_{2i})^t\in \Gamma_{s_i}\subset \mathbb{Z}^2$, there exist $\mathbf{v}_i =(l_{1i},l_{2i})^t\in \mathbb{Z}^2$ such that $R(s_i+2\mathbf{z}_i)=\mathbf{v}_i$. This is equivalent to

(4.1)\begin{equation} R\begin{bmatrix} 2k_{11}+1&2k_{12}\\ 2k_{21}&2k_{22}+1 \end{bmatrix}=\begin{bmatrix} l_{11}&l_{12}\\ l_{21}&l_{22} \end{bmatrix}. \end{equation}

Let $l=(1+2k_{11})(1+2k_{22})-4k_{21}k_{12}$. It follows from Equation (4.1), $\mathbf{v}_i\in \mathbb{Z}^2$ and $\mathbf{z}_i\in\mathbb{Z}^2$ that

\begin{equation*} R=\frac{1}{l}\begin{bmatrix} l_{11}&l_{12}\\ l_{21}&l_{22} \end{bmatrix}\begin{bmatrix} 2k_{22}+1&-2k_{12}\\ -2k_{21}&2k_{11}+1 \end{bmatrix}\in M_2(\frac{\mathbb{Z}}{2\mathbb{Z}+1}). \end{equation*}

This proves (i).

(ii) According to (i), we can let $R=\frac{1}{l}R^{\prime}$, where $l\in 2\mathbb{Z}+1$ and $R^{\prime}\in M_2(\mathbb{Z})$. As $\bigcup_{s\in\mathcal{S}}R\left(s+2\Gamma_s\right)\equiv \mathcal{S}({\rm mod} \ 2\mathbb{Z}^{2})$, there must exist $\mathcal {V}_i=(a_{1i},a_{2i})^t\in\bigcup_{s\in\mathcal{S}}\left(s+2\Gamma_s\right)$ and $\mathcal {Z}_i=(h_{1i},h_{2i})^t\in \mathbb{Z}^2$ such that $R\mathcal {V}_i=s_i+2\mathcal {Z}_i$ for $i=1,2$. Thus, one has

\begin{equation*} R^{\prime}\begin{bmatrix} a_{11}&a_{12}\\ a_{21}&a_{22} \end{bmatrix}=l\begin{bmatrix} 2h_{11}+1&2h_{12}\\ 2h_{21}&2h_{22}+1 \end{bmatrix}. \end{equation*}

Consequently,

\begin{equation*} \det(R^{\prime})\det\left(\begin{bmatrix} a_{11}&a_{12}\\ a_{21}&a_{22} \end{bmatrix}\right)=l\det\left(\begin{bmatrix} 2h_{11}+1&2h_{12}\\ 2h_{21}&2h_{22}+1 \end{bmatrix}\right)\in 2\mathbb{Z}+1. \end{equation*}

This concludes that $\det(R^{\prime})\in2\mathbb{Z}+1$. Combining $R=\frac{1}{l}R^{\prime}$ and $l\in 2\mathbb{Z}+1$, we derive $\det(R)\in \frac{2\mathbb{Z}+1}{2\mathbb{Z}+1}$. So the assertion follows.

(iii) By (i) and (ii), we let $R=\frac{1}{l}R^{\prime}$ with $l, \det(R^{\prime})\in 2\mathbb{Z}+1$ and $R^{\prime}\in M_2(\mathbb{Z})$. Suppose, on the contrary, that $2R\Gamma\not\equiv 0 ({\rm mod} \ 2\mathbb{Z}^{2})$. Then there exists a vector $(l_{1}, l_{2})^t\in \Gamma\subset\mathbb{Z}^2$ such that

(4.2)\begin{align} 2R\begin{pmatrix} l_{1}\\ l_{2}\end{pmatrix}=\begin{pmatrix} h_{1}+2k_1\\ h_{2}+2k_2\end{pmatrix}\quad \text{for some } ( h_1, h_{2})^t\in \mathcal{S}\setminus\{0\}\ \text{and } (k_1,k_2)^t\in \mathbb{Z}^2. \end{align}

Multiplying both sides of Equation (4.2) by l, we have

\begin{align*} 2R^{\prime}\begin{pmatrix} l_{1}\\ l_{2}\end{pmatrix}=l\begin{pmatrix} h_{1}+2k_1\\ h_{2}+2k_2\end{pmatrix}. \end{align*}

It is clear that $2R^{\prime}(l_{1},l_{2})^t\in 2\mathbb{Z}^2$ since $R^{\prime}\in M_2(\mathbb{Z})$. However, the right side of the above equation belongs to $\mathbb{Z}^2\setminus2\mathbb{Z}^2$. This leads to a contradiction, and hence $2R\Gamma \equiv 0 ({\rm mod} \ 2\mathbb{Z}^{2})$.

(iv) Suppose there are $s_0^{\prime}\in \mathcal{S}$ and two distinct $(k_1,k_2)^t, (k_3,k_4)^t\in\Gamma_{s_0^{\prime}}$ such that $R(s_0^{\prime}+2(k_1,k_2)^t)=s^{\prime}_1 ({\rm mod} \ 2\mathbb{Z}^{2})$ and $R(s_0^{\prime}+2(k_3,k_4)^t)=s^{\prime}_2 ({\rm mod} \ 2\mathbb{Z}^{2})$ for two distinct $s^{\prime}_1,s^{\prime}_2\in \mathcal{S}$. By a simple calculation, we have

\begin{equation*}2R\left( \begin{pmatrix} k_1\\ k_2\end{pmatrix}-\begin{pmatrix} k_3\\ k_4\end{pmatrix} \right)\equiv (s^{\prime}_1-s^{\prime}_2) ({\rm mod} \ 2\mathbb{Z}^{2})\subset\mathcal{S}\setminus\{0\}+2\mathbb{Z}^2 \subset \mathbb{Z}^2,\end{equation*}

which contradicts (iii). This ends the proof.

Recall that ${\mathcal{F}}_2^2=\frac{1}{2}\big\{(\ell_1,\ell_2)^t: \ell_i\in\{0,1\}, i=1,2\big\}$. For an integer matrix R with $\det(R)\in2\mathbb{Z}+1$, the next lemma shows that $R {\mathcal{F}}_2^2$ is invariant in the sense of modulo $\mathbb{Z}^2$.

Lemma 4.2. Let $R\in M_2(\mathbb{Z})$, then $R {\mathcal{F}}_{2}^{2}={\mathcal{F}}_{2}^{2}({\rm mod} \ \mathbb{Z}^{2})$ if and only if $\det(R)\in2\mathbb{Z}+1$.

Proof. The sufficiency follows immediately from [Reference Liu, Dong and Li36, Proposition 2.2]. For the necessity, we suppose $R {\mathcal{F}}_{2}^{2}={\mathcal{F}}_{2}^{2}~({\rm mod} \ \mathbb{Z}^{2})$ and take $\Gamma_s=\{0\}$ in Lemma 4.1. In view of Lemma 2.5(i) and Lemma 4.1(ii), we deduce that $\det(R)\in2\mathbb{Z}+1$.

Now, by using Lemmas 3.2 and 4.1, we first prove the results (i) and (ii) of Theorem 1.3.

Theorem 4.3. Let $\mu_{M,D}$ be defined by Equation (1.1), where $M\in M_2(2\mathbb{Z})$ is an expanding matrix and D is given by Equation (1.2). Suppose Λ and $R\Lambda$ are spectra of $\mu_{M,D}$ with $R\in M_2(\mathbb{R})$ and $0\in\Lambda$, then the following statements hold.

  1. (i) $R=\frac{1}{l}M^*R^{\prime}M^{*-1}$ for some $l\in 2\mathbb{Z}+1$ and $R^{\prime}\in M_2(\mathbb{Z})$ with $\det(R^{\prime})\in 2\mathbb{Z}+1$.

  2. (ii) For any $n\geq1$, $R_n=M^{*-n}RM^{*n}$ is a spectral eigenmatrix of $\mu_{M,D}$.

Proof. (i). By Lemma 3.2, Λ can be written as

\begin{equation*} \Lambda=\bigcup_{s\in\mathcal{S}}\left(\frac{1}{2}M^*s+M^*\Gamma_s\right), \end{equation*}

where $\Gamma_s\subset\mathbb{Z}^2$ are also spectra of $\mu_{M,D}$ for all $s\in\mathcal{S}$. By a simple calculation, we obtain $RM^{*}=M^{*}R_1$ and

(4.3)\begin{equation} R\Lambda=\bigcup_{s\in \mathcal{S}}\left(\frac{1}{2}M^*R_1s+M^*R_1\Gamma_s\right) =\bigcup_{s\in \mathcal{S}}M^*\left(\frac{1}{2}R_1s+R_1\Gamma_s\right). \end{equation}

Similarly, by Lemma 3.2, the spectrum $R\Lambda$ can also be expressed as follows.

(4.4)\begin{equation} R\Lambda=\bigcup M^*\left(\frac{1}{2}s+\Gamma_s^{\prime}\right) \end{equation}

where $\Gamma_s^{\prime}\subset\mathbb{Z}^2$ are also spectra of $\mu_{M,D}$ for all $s\in \mathcal{S}$. It follows from Equations (4.3) and (4.4) that

(4.5)\begin{equation} R\Lambda=\bigcup_{s\in \mathcal{S}}M^*\left(\frac{1}{2}R_1s+R_1\Gamma_s\right) =\bigcup_{s\in \mathcal{S}}M^*\left(\frac{1}{2}s +\Gamma_s^{\prime}\right). \end{equation}

This implies that $\bigcup_{s\in \mathcal{S}}R_1\big(s +2\Gamma_s\big) =\bigcup_{s\in \mathcal{S}}\big(s +2\Gamma_s^{\prime}\big)$. Using Lemma 4.1, one may easily get that $R_1\in M_2(\frac{\mathbb{Z}}{2\mathbb{Z}+1})$ and $\det(R_1)=\frac{2\mathbb{Z}+1}{2\mathbb{Z}+1}$. So we can further find $l\in 2\mathbb{Z}+1$ such that $lR_1\in M_2(\mathbb{Z})$ and $\det(lR_1)\in 2\mathbb{Z}+1$. By the definition of R 1, we have $R=\frac{1}{l}M^*R^{\prime}M^{*-1}$ with $R^{\prime}=lR_1$.

(ii). According to Equation (4.5) and Lemma 4.1(iii), we get $R_1\Gamma_0=\Gamma_0^{\prime}$, where Γ0 and $\Gamma_0^{\prime}$ are spectra for $\mu_{M,D}$ with $0\in \Gamma_0^{\prime}$. This shows that $R_1=M^{*-1}RM^{*}$ is a spectral eigenmatrix of $\mu_{M,D}$. Similarly, we can prove that $R_2=M^{*-1}R_1M^{*}=M^{*-2}RM^{*2}$ is a spectral eigenmatrix of $\mu_{M,D}$. Hence, by repeating this process many times, $R_n=M^{*-n}RM^{*n}$ is a spectral eigenmatrix of $\mu_{M,D}$ for any $n\geq 0$.

The proof of Theorem 4.3 is completed.

Having established the above preparation, now we are in a position to prove Theorem 1.3.

Proof of Theorem 1.3.

The results (i) and (ii) can be obtained directly from Theorem 4.3. We only need to prove (iii). Suppose Λ and $R\Lambda$ are spectra of $\mu_{M,D}$ with $0\in \Lambda$. We first prove R −1 is also a spectral eigenmatrix of $\mu_{M,D}$. According to $M={\rm diag}[2p, 2q]$ and Theorem 4.3, we can let

\begin{equation*}R=\frac{1}{l}M^*R^{\prime}M^{*-1}=\frac{1}{l}\begin{bmatrix} a&b(\frac{p}{q})\\ c(\frac{q}{p})&d \end{bmatrix},\end{equation*}

where $l\in 2\mathbb{Z}+1$ and $R^{\prime}=\begin{bmatrix} a&b\\ c&d \end{bmatrix}\in M_2(\mathbb{Z})$ with $\det(R^{\prime})\in 2\mathbb{Z}+1$. As $\frac{pq}{\gcd(p^2,q^2)}\in 2\mathbb{Z}+1$, we can let $\frac{q}{p}=\frac{\alpha_{1}}{\beta_{1}}$ with $\alpha_{1},\beta_{1} \in 2\mathbb{Z}+1$ and $\gcd(\alpha_{1},\beta_{1})=1$. Define

\begin{align*} \Lambda^{\prime}=\frac{1}{2}M^*\left(\begin{pmatrix} 0\\ 0\end{pmatrix}\bigcup\begin{pmatrix} l\beta_{1}\\ 0\end{pmatrix}\bigcup \begin{pmatrix} 0\\ l\alpha_{1}\end{pmatrix}\bigcup \begin{pmatrix} l\beta_{1}\\ l\alpha_{1}\end{pmatrix}+2\Lambda\right). \end{align*}

By Lemma 4.2, we have $\Lambda^{\prime}=\bigcup_{s\in\mathcal{S}}\big(\frac{1}{2}M^*s+M^*(v_s+ \Lambda)\big)$ for some $v_s\in \mathbb{Z}^2$. Then Theorem 1.2 shows that $\Lambda^{\prime}$ is a spectrum of $\mu_{M,D}$ and

\begin{align*} R_{-1}\Lambda^{\prime}=M^*RM^{*-1}\Lambda^{\prime}&=\frac{1}{2}M^*\left(\begin{pmatrix} 0\\ 0\end{pmatrix}\bigcup \begin{pmatrix} a\beta_{1}\\ c\alpha_{1}\end{pmatrix}\bigcup \begin{pmatrix} b\beta_{1}\\ d\alpha_{1}\end{pmatrix}\bigcup \begin{pmatrix} a\beta_{1}+b\beta_{1}\\ c\alpha_{1}+d\alpha_{1}\end{pmatrix}+2R\Lambda\right)\\ &=\frac{1}{2}M^*\left( \begin{bmatrix} a\beta_{1}&b\beta_{1}\\ c\alpha_{1}&d\alpha_{1} \end{bmatrix}\mathcal{S}+2R\Lambda\right)\nonumber. \end{align*}

As $\alpha_{1},\beta_{1},ad-bc \in 2\mathbb{Z}+1$, it follows that $\alpha_{1}\beta_{1}(ad-bc)\in 2\mathbb{Z}+1$. With Lemma 4.2, we obtain

\begin{equation*} \begin{bmatrix} a\beta_{1}&b\beta_{1}\\ c\alpha_{1}&d\alpha_{1} \end{bmatrix}\mathcal{S}=\bigcup_{s\in\mathcal{S}}\big(s+2z_s\big) \end{equation*}

for some $z_s\in \mathbb{Z}^2$. Therefore, $R_{-1}\Lambda^{\prime}$ can be rewritten as

(4.6)\begin{equation} R_{-1}\Lambda^{\prime}=\bigcup_{s\in\mathcal{S}}\left(\frac{1}{2}M^*s+M^*(z_s+R\Lambda)\right). \end{equation}

This together with Theorem 1.2 shows that $R_{-1}\Lambda^{\prime}$ is a spectrum of $\mu_{M,D}$ and R −1 is a spectral eigenmatrix of $\mu_{M,D}$. So we know that R −1 is a spectral eigenmatrix of $\mu_{M,D}$ if R is a spectral eigenmatrix. Thus, R −2 is also a spectral eigenmatrix of $\mu_{M,D}$. By induction, one may derive that R k is a spectral eigenmatrix for any $k\in \mathbb{N}$. This completes the proof of Theorem 1.3.

At the end of this section, we will prove Theorem 1.5.

Proof of Theorem 1.5.

Since R is a spectral eigenmatrix, it follows from Theorem 4.3(ii) that $R_n=M^{*-n}RM^{*n}$ is also a spectral eigenmatrix for any $n\geq 0$. By Theorem 4.3(i), we get $R_{n+1}\in M_2(\frac{\mathbb{Z}}{2\mathbb{Z}+1})$ for any $n\geq 0$. Let $R_1=\frac{1}{l}\begin{bmatrix} a&b\\ c&d \end{bmatrix}$ with $a,b,c,d \in \mathbb{Z}$ and $ l,ad-bc\in 2\mathbb{Z}+1$. Then, for any $n\geq 0$, one has

(4.7)\begin{align} R_{n+1}=M^{*-n}R_1M^{*n}=\frac{1}{l}\begin{bmatrix} a&b(\frac{q}{p})^{n}\\ c(\frac{p}{q})^{n}&d \end{bmatrix}\in M_2\left(\frac{\mathbb{Z}}{2\mathbb{Z}+1}\right). \end{align}

(i) If $\frac{q}{\gcd(p,q)}\in 2\mathbb{Z}$, then Equation (4.7) implies that $2^n|c$. According to the arbitrariness of n, we have c = 0.

(ii) If $\frac{p}{\gcd(p,q)}\in 2\mathbb{Z}$, similar to (i), we can derive that b = 0 by Equation (4.7) and the arbitrariness of n.

Hence, we complete the proof of Theorem 1.5.

5. Exchangeable spectral eigenmatrix

In this section, we consider a special kind of spectral eigenmatrix of $\mu_{M,D}$, which can be exchanged with matrix M, and then complete the proof of Theorem 1.4. We first consider the sufficiency of Theorem 1.4 whose main idea comes from [Reference Fu, He and Wen22]. We extend it to the two-dimensional case.

Throughout this section, we let $M={\rm diag}[2p, 2q]$ with integers $|p|,|q| \gt 1$, $D=\Bigg\{\begin{pmatrix} 0 \\ 0 \\ \end{pmatrix},\begin{pmatrix} 1 \\ 0 \\ \end{pmatrix},\begin{pmatrix} 0 \\ 1 \\ \end{pmatrix},\begin{pmatrix} -1 \\ -1 \\ \end{pmatrix}\Bigg\}$ and the measure $\mu_{M,D}$ is defined by Equation (1.1).

Lemma 5.1. For any infinite word $w = w_{0}w_{1}\cdots\in \{-1,1\}^{\mathbb{N}}$, the set

(5.1)\begin{equation} \Lambda_w(M,M{\mathcal{F}}_{2}^{2})=\left\{\sum_{j=0}^m w_jM^jMs_j: s_j\in{\mathcal{F}}_{2}^{2}, m\in\mathbb{N} \right\} \end{equation}

is a spectrum of the measure $\mu_{M,D}$.

Proof. It is easy to know that $(M,D, M{\mathcal{F}}_{2}^{2})$ and $(M,D,-M{\mathcal{F}}_{2}^{2})$ are Hadamard triples. For any integer $m\geq1, |b| \gt 1$, $c_i\in\{0,1\}$, $1\leq i\leq m$ and infinite word $w=w_0w_1\cdots\in \{-1,1\}^{\mathbb{N}}$,

\begin{equation*}\big|(2b)^{-(m+1)}w_0bc_1+(2b)^{-m}w_1bc_2+\cdots+ (2b)^{-1}w_mbc_m\big|\leq \sum_{k=1}^\infty\frac{|b|}{(2|b|)^k}\leq \frac{2}{3}.\end{equation*}

Then the set

\begin{equation*}M^{-m}w_0(M{\mathcal{F}}_{2}^{2})+M^{-m+1}w_1(M{\mathcal{F}}_{2}^{2})+\cdots+ M^{-1}w_m(M{\mathcal{F}}_{2}^{2})\subset \left[-\frac{2}{3},\frac{2}{3}\right]\times\left[-\frac{2}{3},\frac{2}{3}\right]\end{equation*}

is separated from the set $\mathcal{Z}(\hat\mu_{M, D})$ by a distance $\delta \geq \frac{1}{3}$, uniformly in m, for all $m\geq1$. By Lemma 2.4, we know $\Lambda_w(M,M{\mathcal{F}}_{2}^{2})$ is a spectrum of $\mu_{M,D}$.

Lemma 5.2. Let $R\in M_2(\mathbb{Z})$ be a non-singular matrix that can be exchanged with M. Then each element $\boldsymbol{x}\in T(M, \pm MR{\mathcal{F}}_{2}^{2})$ has a unique expansion in base M.

Proof. Assume that there are two distinct sequence with infinite words $\{\boldsymbol{c}_j=(x_{j,1},x_{j,2})^t\}_{j=1}^\infty$ and $ \{\boldsymbol{c}_j^{\prime}=(x^{\prime}_{j,1},x^{\prime}_{j,2})^t\}_{j=1}^\infty$ in $\pm{\mathcal{F}}_{2}^{2}$ such that

(5.2)\begin{equation} \sum_{j=0}^\infty M^{-j}R\boldsymbol{c}_j=\sum_{j=0}^\infty M^{-j}R\boldsymbol{c}_j^{\prime}. \end{equation}

Since $M={\rm diag}[2p, 2q]$ and MR = RM, a simple calculation gives $M^{-j}R=RM^{-j}$ for each $j\in\mathbb{N}$. Let t be the smallest integer such that $\boldsymbol{c}_t\neq\boldsymbol{c}_t^{\prime}$, without loss of generality we assume $x_{t,1}\neq x^{\prime}_{t,1}$. From the first coordinate of Equation (5.2), we have

(5.3)\begin{equation} x_{t,1}-x^{\prime}_{t,1}=\sum_{j=1}^\infty\frac{x^{\prime}_{t+j,1}-x_{t+j,1}}{(2p)^j}. \end{equation}

Observing Equation (5.3), the left hand must be chosen from $\{\pm\frac{1}{2},\pm1\}$, but

\begin{equation*}\bigg|\sum_{j=1}^\infty\frac{x^{\prime}_{t+j,1}-x_{t+j,1}}{(2p)^j}\bigg|\leq\sum_{j=1} ^\infty\frac{1}{(2|p|)^j}=\frac{1}{2|p|-1}\leq\frac{1}{3} \lt \frac{1}{2},\end{equation*}

which is impossible. This ends the proof.

Lemma 5.3. Let $R\in M_2(\mathbb{Z})$ be a matrix with $\det(R)\in 2\mathbb{Z}+1$. Then for any element $\boldsymbol{x} \in T(M, \pm MR{\mathcal{F}}_{2}^{2})\cap \mathcal{Z}(\hat\mu_{M, D})$, the expansion of x cannot be finite.

Proof. Suppose, on the contrary, that there exists a $\boldsymbol{x} \in T(M, \pm MR{\mathcal{F}}_{2}^{2})\cap \mathcal{Z}(\hat\mu_{M, D})$ whose expansion is finite, that is, x can be written as

(5.4)\begin{equation} \boldsymbol{x}=\sum_{j=0}^nM^{-j}R\boldsymbol{c}_j \end{equation}

for some $\boldsymbol{c}_j\in \pm{\mathcal{F}}_{2}^{2}$, $0\leq j\leq n-1$, and $\boldsymbol{c}_n\in \pm\mathring{\mathcal{F}}_2^2$. Combining this with Equation (2.4), there exist $\boldsymbol{\nu}\in \mathring{\mathcal{F}}_2^2+\mathbb{Z}^2$ and positive integer k such that

\begin{equation*} M^k\boldsymbol{\nu}=\sum_{j=0}^nM^{-j}R\boldsymbol{c}_j. \end{equation*}

Consequently,

\begin{equation*}M^{k+n}\boldsymbol{\nu}=R\boldsymbol{c}_n+MR\boldsymbol{c}_{n-1}+\cdots+ M^{n}R\boldsymbol{c}_0.\end{equation*}

Since $\det(R)\in 2\mathbb{Z}+1$, it follows from Lemma 4.2 that $R\boldsymbol{c}_n\in \mathring{\mathcal{F}}_2^2+\mathbb{Z}^2$. Then the right hand of the above equation belongs to $ \mathring{\mathcal{F}}_2^2+\mathbb{Z}^2$, but $M={\rm diag}[2p, 2q]$ implies the left hand $M^{k+n}\boldsymbol{\nu}\in \mathbb{Z}^2$, which is a contradiction. Hence, any $\boldsymbol{x} \in T(M, \pm MR{\mathcal{F}}_{2}^{2})\cap \mathcal{Z}(\hat\mu_{M, D})$ has an infinite expansion.

Fix a matrix $R\in M_2(\mathbb{Z})$ with $\det(R)\in 2\mathbb{Z}+1$. For any positive integers K and N, we define

(5.5)\begin{equation} S_{K,N}(R)=MR{\mathcal{F}}_{2}^{2}+M^2R{\mathcal{F}}_{2}^{2}+\cdots+M^{K}R{\mathcal{F}}_{2}^{2} -\big(M^{K+1}R{\mathcal{F}}_{2}^{2}+\cdots+M^{K+N}R{\mathcal{F}}_{2}^{2}\big) \end{equation}

and

(5.6)\begin{equation} D_{K,N}=D+MD+\cdots+M^{(K+N-1)}D. \end{equation}

Applying Lemma 2.3, one may get that $(M^{(K+N)}, D_{K,N}, S_{K,N}(R))$ form a Hadamard triple and the measure $\mu_{M,D}=\mu_{M^{K+N},D_{K,N}}$. Based on these, we prove the following.

Theorem 5.4. There exist two positive integers K 0 and N 0 such that $T(M^{K_0+N_0}, S_{K_0,N_0}(R))$ is separated from the set $\mathcal{Z}(\hat\mu_{M, D})$ by a distance δ > 0. Moreover, the set $\Lambda\big(M^{K_0+N_0},S_{K_0,N_0}(R)\big)$ is a spectrum of the measure $\mu_{M,D}$.

Proof. First, we prove that there exist two positive integers K 0 and N 0 such that

\begin{equation*}T(M^{K_0+N_0}, S_{K_0,N_0}(R))\cap\mathcal{Z}(\hat\mu_{M, D})=\emptyset.\end{equation*}

(a) If $T(M, \pm MR{\mathcal{F}}_{2}^{2})\cap\mathcal{Z}(\hat\mu_{M, D})=\emptyset$, we take $K_0=N_0=1$. Then it is easy to see that $T(M^{K_0+N_0}, S_{K_0,N_0}(R))\cap\mathcal{Z}(\hat\mu_{M, D})=\emptyset$.

(b) If $T(M, \pm MR{\mathcal{F}}_{2}^{2})\cap\mathcal{Z}(\hat\mu_{M, D})\neq\emptyset$. Let $\mathcal{A}$ be the set of all point in $T(M, \pm MR{\mathcal{F}}_{2}^{2})\cap\mathcal{Z}(\hat\mu_{M, D})$, which has infinitely many positive terms in its expansion. By Lemma 5.3, we know that the expansion of the point in $\mathcal{B}:=\big(T(M, \pm MR{\mathcal{F}}_{2}^{2})\cap\mathcal{Z}(\hat\mu_{M, D})\big)\setminus \mathcal{A}$ has infinitely many negative terms. Since the zero set $\mathcal{Z}(\hat\mu_{M, D})$ is uniformly discrete and $T(M, \pm MR{\mathcal{F}}_{2}^{2})$ is a compact set, we know $T(M, \pm MR{\mathcal{F}}_{2}^{2})\cap\mathcal{Z}(\hat\mu_{M, D})\neq\emptyset$ contains at most finitely many points and $\mathcal{A},\mathcal{B}$ are also finite sets. So, for every point $\boldsymbol{x}\in \mathcal{A}$, we can find an integer $N_{\boldsymbol{x}}$ such that there exists a positive term in the expansion of x, with its index no more than $N_{\boldsymbol{x}}$. We let $N_0=\max\{N_{\boldsymbol{x}}:x\in \mathcal{A}\}$ and $N_0=1$ when $\mathcal{A}=\emptyset$. We can also find a positive number $K_{\boldsymbol{x}}$ such that there exists a negative term in the expansion of $\boldsymbol{x}\in \mathcal{B}$ with its index in $[N_0+1,N_0+K_{\boldsymbol{x}}]$. We let $K_0=\max\{K_{\boldsymbol{x}}:x\in \mathcal{B}\}$ and $K_0=1$ when $\mathcal{B}=\emptyset$. By Lemma 5.2, one has $T(M^{K_0+N_0}, S_{K_0,N_0}(R))\cap\mathcal{Z}(\hat\mu_{M, D})=\emptyset$.

Second, note that $T(M^{K_0+N_0}, S_{K_0,N_0}(R))$ is a compact set and $\mathcal{Z}(\hat\mu_{M, D})$ is a uniform discrete set, then $T(M^{K_0+N_0}, S_{K_0,N_0}(R))\cap\mathcal{Z}(\hat\mu_{M, D})=\emptyset$ implies that $T(M^{K_0+N_0}, S_{K_0,N_0}(R))$ is separated from the sets $\mathcal{Z}(\hat\mu_{M, D})$ by a distance δ > 0.

$\Lambda\big(M^{K_0+N_0},S_{K_0,N_0}(R)\big)$ is a spectrum of the measure $\mu_{M,D}$ following from Lemma 2.4.

More generally, one can similarly get the general version of Theorem 5.4.

Theorem 5.5. Let $\{\mathcal{R}_k\}_{k=1}^n$ be a sequence of integer matrices which can be exchanged with M. Suppose $\det (\mathcal{R}_k)\in 2\mathbb{Z}+1$ for all $1\leq k\leq n$, then there exists a spectrum Λ of $\mu_{M,D}$ such that $\mathcal{R}_1\Lambda,\mathcal{R}_2\Lambda,\ldots,\mathcal{R}_n\Lambda$ are spectra of $\mu_{M,D}$.

Proof. Let $\mathcal{C}=\bigcup_{k=1}^n\left(T(M, \pm M\mathcal{R}_k{\mathcal{F}}_{2}^{2})\cap\mathcal{Z}(\hat\mu_{M, D})\right)$, and let $\mathcal{A}$ be the set of all point in $\mathcal{C}$ which has infinitely many positive terms in its expansion. Then the expansion of the point in set $\mathcal{B}=\mathcal{C}\setminus \mathcal{A}$ has infinitely many negative terms by Lemma 5.3. Using the same argument as in the proof of Theorem 5.4, we can find two positive integers K 0 and N 0 such that all $\Lambda\big(M^{K_0+N_0},S_{K_0,N_0}(\mathcal{R}_k)\big)$ are spectra of $\mu_{M,D}$, and $\Lambda\big(M^{K_0+N_0},S_{K_0,N_0}(E)\big)$ with identity matrix E is also a spectrum of $\mu_{M,D}$ by Lemma 5.1.

Let $\Lambda^{\prime}=\Lambda\big(M^{K_0+N_0},S_{K_0,N_0}(E)\big)$. Since $\mathcal{R}_kM=M\mathcal{R}_k$, the above argument shows that $\Lambda^{\prime}$ and $\mathcal{R}_k\Lambda^{\prime}=\Lambda\big(M^{K_0+N_0},S_{K_0,N_0}(\mathcal{R}_k)\big)$ are spectra of $\mu_{M,D}$ for all $1\leq k\leq n$.

In fact, Theorem 5.5 tells us that if integer matrices $R_1, R_2$ can be exchanged with M and $\det(R_1),\det(R_2) \in 2\mathbb{Z}+1$, then $R_1R_2^{-1}$ is a spectral eigenmatrix. This is the key to proving the sufficiency of Theorem 1.4. Next, we will consider the necessity of spectral eigenmatrix of $\mu_{M,D}$.

Let Λ and $R\Lambda$ be spectra of the measure $\mu_{M,D}$. By Lemma 3.2, we have

(5.7)\begin{equation} \Lambda=\bigcup_{s\in\mathcal{S}}\left(\frac{1}{2}M^*s+M^*\Gamma_s\right) \quad \text{and} \quad R\Lambda=\bigcup_{s\in\mathcal{S}}M^*\left(\frac{1}{2}s+\Gamma_s^{\prime}\right), \end{equation}

with $\Gamma_s,\Gamma_s^{\prime}\subset\mathbb{Z}^2$. Since RM = MR,

(5.8)\begin{equation} R\Lambda=\bigcup_{s\in\mathcal{S}}\left(\frac{1}{2}M^*Rs+M^*R\Gamma_s\right) =\bigcup_{s\in\mathcal{S}}M^*\left(\frac{1}{2}Rs+R\Gamma_s\right). \end{equation}

It follows from Equations (5.7) and (5.8) that

\begin{equation*}R\Lambda=\bigcup_{s\in\mathcal{S}}M^*\left(\frac{1}{2}Rs+R\Gamma_s\right) =\bigcup_{s\in\mathcal{S}}M^*\left(\frac{1}{2}s+\Gamma_s^{\prime}\right). \end{equation*}

This implies that

(5.9)\begin{equation} \bigcup_{s\in\mathcal{S}}R\big(s+2\Gamma_s\big) =\bigcup_{s\in\mathcal{S}}\big(s+2\Gamma_s^{\prime}\big). \end{equation}

Then the following lemma follows immediately from Lemma 4.1.

Lemma 5.6. Suppose $R\in M_2(\mathbb{R})$ is a spectral eigenmatrix of $\mu_{M,D}$ with RM = MR, then $R\in M_2(\frac{\mathbb{Z}}{2\mathbb{Z}+1})$ and $\det(R)\in \frac{2\mathbb{Z}+1}{2\mathbb{Z}+1}$.

We have all ingredients for the proof of Theorem 1.4.

Proof of Theorem 1.4.

Sufficiency. Since $R\in M_2(\frac{\mathbb{Z}}{2\mathbb{Z}+1})$ and $\det(R)\in \frac{2\mathbb{Z}+1}{2\mathbb{Z}+1}$, we can assume $R=\frac{1}{l}\begin{bmatrix} a & b \\ c& d\\ \end{bmatrix}$ with $a,b,c,d\in \mathbb{Z}$ and $l,ad-bc\in 2\mathbb{Z}+1$. Let $R_1=\begin{bmatrix} a & b \\ c& d\\ \end{bmatrix}$ and $R_2=lE$, then $\det(R_1),\det(R_2)\in 2\mathbb{Z}+1$. By Theorem 5.5, there exists a discrete set Λ such that $\Lambda, R_{1}\Lambda$ and $ R_{2}\Lambda$ are spectra of $\mu_{M,D}$. Let $\Lambda^{\prime}=R_{2}\Lambda$. Then $\Lambda^{\prime}$ and $R\Lambda^{\prime}=R_1\Lambda$ are spectra of $\mu_{M,D}$, which shows that R is a spectral eigenmatrix of $\mu_{M,D}$.

Necessity. The necessity of the theorem can be directly derived from Lemma 5.6.

6. Concluding remarks

In the present section, we will give some remarks and open questions related to our main results.

For the diagonal matrix $M={\rm diag}[2p,2q]$ with $|p|, |q| \gt 1$, Theorem 1.4 characterizes the spectral eigenmatrix of $\mu_{M,D}$ that can be exchanged with M. In the case $\frac{pq}{\gcd(p^2,q^2)}\in 2\mathbb{Z}$, Theorem 1.5 tells us that the spectral eigenmatrix of $\mu_{M,D}$ must be a triangular matrix. Moreover, if we can further prove that the spectral eigenmatrix in Theorem 1.4 is a diagonal matrix, we can completely characterize the spectral eigenmatrix of $\mu_{M,D}$. It is natural for us to consider the following question.

Q1: Let $M={\rm diag}[2p, 2q]\in M_2(2\mathbb{Z})$ with two different integers $|p|, |q| \gt 1$ and $\frac{pq}{\gcd(p^2,q^2)}\in 2\mathbb{Z}$, D be given by Equation (1.2). If $R\in M_2(\mathbb{R})$ is a spectral eigenmatrix of $\mu_{M,D}$, whether R is a diagonal matrix? More general, if $|p|\neq |q|$, whether R is also a diagonal matrix?

Let $M={\rm diag}[2p,2q]$ with $|p|, |q| \gt 1$ and $\gcd(p,q)=1$, and let $R=\begin{bmatrix} a&b\\ c&d \end{bmatrix}\in M_2(\mathbb{Z})$, then $R_{k}=M^{*-k}RM^{*k}=\begin{bmatrix} a&b(\frac{q}{p})^{k}\\ c(\frac{p}{q})^{k}&d \end{bmatrix}$. If $0\in \Lambda$ and $R\Lambda$ are spectra of $\mu_{M,D}$, then Equation (4.5) implies that

(6.1)\begin{equation} 2M^{*-1}R\Lambda=\bigcup_{i\in \Sigma}R_1\big(s_i+2\Gamma_{i}\big) =\bigcup_{i\in \Sigma}\big(s_i+2\Gamma_{i}^{\prime}\big)\subset \mathbb{Z}^2, \end{equation}

where $\cup_{i\in \Sigma}s_i=\mathcal{S}$, $\Gamma_{i}, \Gamma_{i}^{\prime}$ are spectra of $\mu_{M,D}$ for all $i\in \Sigma$. Let $\Lambda=\frac{1}{2}M^*\{(\lambda_{1n},\lambda_{2n})^t\}_{n=1}^\infty$, by Equation (6.1), we have

\begin{equation*} 2M^{*-1}R\Lambda=R_1\{(\lambda_{1n},\lambda_{2n})^t\}_{n=1}^\infty=\left\{\begin{bmatrix} a\lambda_{1n}+\frac{bq}{p}\lambda_{2n}\\ \frac{cp}{q}\lambda_{1n}+d\lambda_{2n} \end{bmatrix}\right\}_{n=1}^\infty\subset\mathbb{Z}^2. \end{equation*}

This shows that $q\mid c\lambda_{1n}$ and $p\mid b\lambda_{2n}$ for all n.

Choose $z_{i}\in \mathbb{Z}^2$ such that $0\in(\Gamma_{i}-z_{i})$. From Lemmas 3.2 and 4.1 and Equation (6.1), it is easy to get $(\Gamma_{i}-z_{i})$ and $R_1(\Gamma_{i}-z_{i})$ are spectra of $\mu_{M,D}$. Using Equation (4.5) again, we have

(6.2)\begin{equation} 2M^{*-1}R_1(\Gamma_{i}-z_{i})=\bigcup_{j\in \Sigma}R_2\big(s_{j}+2\Gamma_{ij}\big) =\bigcup_{j\in \Sigma}\big(s_j+2\Gamma_{ij}'\big)\subset\mathbb{Z}^2. \end{equation}

Similarly, if we let $(\Gamma_{i}-z_{i})=\frac{1}{2}M^*\{(\gamma_{1j},\gamma_{2j})^t\}_{j=1}^\infty$, then Equation (6.2) implies $q^2\mid c\gamma_{1j}$ and $p^2\mid b\gamma_{2j}$ for all j. Continuing this process, we can see that the spectrum Λ increases rapidly if bc ≠ 0. This is quite different from the spectrum that appeared in the previous references, although we cannot prove that $R\Lambda$ is not a spectrum of $\mu_{M,D}$.

Based on the above analysis, the following conjecture may be a reasonable conjecture to this end.

Conjecture. Let $M={\rm diag}[2p, 2q]\in M_2(2\mathbb{Z})$ with $|p|\neq|q| \gt 1$, D be given by Equation (1.2). Then $R\in M_2(\mathbb{R})$ is a spectral eigenmatrix of $\mu_{M,D}$ if and only if $R=\frac{1}{t}{\rm diag}[a, d]$ for some integers $t,a,d\in 2\mathbb{Z}+1$.

It is worth noting that the matrix $M={\rm diag}[2p, 2q]$ given in Theorem 1.4 satisfies $|p|,|q| \gt 1$, which is only used in the proof of the sufficiency. If $|p|=|q|=1$, then D is a complete set of coset representatives of $\mathbb{Z}^n/M\mathbb{Z}^n$. By the results of Lagarias and Wang [Reference Lagarias and Wang31], the attractor $T(M,D)$ is a self-affine tile and $\mu_{M,D}$ is the normalized Lebesgue measure supported on $T(M,D)$. It is interesting for us to answer the following question:

Q2: Let $M\in M_2(2\mathbb{Z})$ with $\det(M)=4$ and D be given by Equation (1.2). What are the sufficient and necessary conditions for $R\in M_2(\mathbb{R})$ to be a spectral eigenmatrix of $\mu_{M,D}$?

Funding Statement

The research is supported in part by the NNSF of China (grant nos. 12071125, 11831007 and 12201208) and the Hunan Provincial NSF (grant no. 2023JJ40422).

References

An, L. X. and He, X. G., A class of spectral Moran measures, J. Funct. Anal. 266 (1) (2014), 343354.CrossRefGoogle Scholar
An, L. X., Dong, X. H. and He, X. G., On spectra and spectral eigenmatrix problems of the planar Sierpinski measures, Indiana Univ. Math. J. 71 (2) (2022), 913952.CrossRefGoogle Scholar
An, L. X., He, X. G. and Tao, L., Spectrality of the planar Sierpinski family, J. Math. Anal. Appl. 432 (2) (2015), 725732.CrossRefGoogle Scholar
Chen, M. L. and Liu, J. C., The cardinality of orthogonal exponentials of planar self-affine measures with three-element digit sets, J. Funct. Anal. 277 (1) (2019), 135156.CrossRefGoogle Scholar
Chen, M. L., Liu, J. C. and Wang, Z. Y., Fourier bases of a class of self-affine measures. Preprint.Google Scholar
Dai, X. R., When does a Bernoulli convolution admit a spectrum?, Adv. Math. 231 (3-4) (2012), 16811693.CrossRefGoogle Scholar
Dai, X. R., Spectra of Cantor measures, Math. Ann. 366 (3) (2016), 16211647.CrossRefGoogle Scholar
Dai, X. R., Fu, X. Y. and Yan, Z. H., Spectrality of self-affine Sierpinski-type measures on $\mathbb{R}^2$, Appl. Comput. Harmon. Anal. 52 (2021), 6381.CrossRefGoogle Scholar
Dai, X. R., He, X. G. and Lau, K. S., On spectral N-Bernoulli measures, Adv. Math. 259 (2014), 511531.CrossRefGoogle Scholar
Deng, Q. R., On the spectra of Sierpinski-type self-affine measures, J. Funct. Anal. 270 (12) (2016), 44264442.CrossRefGoogle Scholar
Deng, Q. R. and Lau, K. S., Sierpinski-type spectral self-similar measures, J. Funct. Anal. 269 (5) (2015), 13101326.CrossRefGoogle Scholar
Deng, Q. R., He, X. G., Li, M. T. and Ye, Y. L., Spectrality of Moran-Sierpinski Measures. Preprint.Google Scholar
Dutkay, D. and Jorgensen, P., Wavelets on fractals, Rev. Mat. Iberoam. 22 (1) (2006), 131180.CrossRefGoogle Scholar
Dutkay, D. and Jorgensen, P., Analysis of orthogonality and of orbits in affine iterated function systems, Math. Z. 256 (4) (2007), 801823.CrossRefGoogle Scholar
Dutkay, D. and Jorgensen, P., Fourier frequencies in affine iterated function systems, J. Funct. Anal. 247 (1) (2007), 110137.CrossRefGoogle Scholar
Dutkay, D. and Jorgensen, P., Probability and Fourier duality for affine iterated function systems, Acta Appl. Math. 107 (2009), 293311.CrossRefGoogle Scholar
Dutkay, D. and Jorgensen, P., Fourier duality for fractal measures with affine scales, Math. Comp. 81 (280) (2012), 22532273.CrossRefGoogle Scholar
Dutkay, D. E. and Haussermann, J., Number theory problems from the harmonic analysis of a fractal, J. Number Theory 159 (2016), 726.CrossRefGoogle Scholar
Dutkay, D. E., Han, D. and Sun, Q., Divergence of the mock and scrambled Fourier series on fractal measures, Trans. Amer. Math. Soc. 366 (4) (2014), 21912208.CrossRefGoogle Scholar
Dutkay, D. E., Haussermann, J. and Lai, C. K., Hadamard triples generate self-affine spectral measures, Trans. Amer. Math. Soc. 371 (2) (2019), 14391481.CrossRefGoogle Scholar
Fu, X. Y., He, X. G. and Lau, K. S., Spectrality of self-similar tiles, Constr. Approx. 42 (3) (2015), 519541.CrossRefGoogle Scholar
Fu, Y. S., He, X. G. and Wen, Z. X., Spectra of Bernoulli convolutions and random convolutions, J. Math. Pures Appl. 116 (2018), 105131.CrossRefGoogle Scholar
Fuglede, B., Commuting self-adjoint partial differential operators and a group theoretic problem, J. Funct. Anal. 16 (1) (1974), 101121.CrossRefGoogle Scholar
He, X. G., Lai, C. K. and Lau, K. S., Exponential spectra in $L^2(\mu)$, Appl. Comput. Harmon. Anal. 34 (3) (2013), 327338.CrossRefGoogle Scholar
He, X. G., Tang, M. W. and Wu, Z. Y., Spectral structure and spectral eigenvalue problems of a class of self-similar spectral measures, J. Funct. Anal. 277 (10) (2019), 36883722.CrossRefGoogle Scholar
Hutchinson, J., Fractals and self-similarity, Indiana Univ. Math. J. 30 (5) (1981), 713747.CrossRefGoogle Scholar
Jorgensen, P. and Pedersen, S., Dense analytic subspaces in fractal L 2-spaces, J. Anal. Math. 75 (1) (1998), 185228.CrossRefGoogle Scholar
Jorgensen, P., Kornelson, K. and Shuman, K., Affine system: asymptotics at infinity for fractal measures, Acta Appl. Math. 98 (3) (2007), 181222.CrossRefGoogle Scholar
Kolountzakis, M. N. and Matolcsi, M., Tiles with no spectra, Forum Math. 18 (3) (2006), 519528.CrossRefGoogle Scholar
Łaba, I. and Wang, Y., On spectral Cantor measures, J. Funct. Anal. 193 (2) (2002), 409420.CrossRefGoogle Scholar
Lagarias, J. C. and Wang, Y., Integral self-affine tiles in ${\mathbb{R}}^n$ I. Standard and nonstandard digit sets, J. Lond. Math. Soc. 54 (1) (1996), 161179.CrossRefGoogle Scholar
Landau, H. J., Necessary density conditions for sampling and interpolation of certain entire functions, Acta Math. 117 (1967), 3752.CrossRefGoogle Scholar
Li, J. L., Spectrality of self-affine measures on the three-dimensional Sierpinski gasket, Proc. Edinb. Math. Soc. 55 (2) (2012), 477496.CrossRefGoogle Scholar
Li, J. L., Spectral self-affine measures on the planar Sierpinski family, Sci. China Math. 56 (08) (2013), 16191628.CrossRefGoogle Scholar
Li, J. L., Analysis of $\mu_M,D$-orthogonal exponentials for the planar four-element digit sets, Math. Nachr. 287 (2-3) (2014), 297312.CrossRefGoogle Scholar
Liu, J. C., Dong, X. H. and Li, J. L., Non-spectral problem for the self-affine measures, J. Funct. Anal. 273 (2) (2017), 705720.CrossRefGoogle Scholar
Liu, J. C., Liu, Y., Chen, M. L. and Wu, S., The cardinality of $\mu_M,D$-orthogonal exponentials for the planar four digits, Forum Math. 33 (4) (2021), 923935.CrossRefGoogle Scholar
Liu, Y. and Wang, Y., Then uniformity of non-uniform Gabor bases, Adv. Comput. Math. 18 (2) (2003), 345355.CrossRefGoogle Scholar
Strichartz, R., Self-similarity in harmonic analysis, J. Fourier Anal. Appl. 1 (1) (1994), 137.CrossRefGoogle Scholar
Strichartz, R., Mock Fourier series and transforms associated with certain Cantor measures, J. Anal. Math. 81 (1) (2000), 209238.CrossRefGoogle Scholar
Strichartz, R., Convergence of mock Fourier series, J. Anal. Math. 99 (1) (2006), 333353.CrossRefGoogle Scholar
Su, J., Liu, Y. and Liu, J. C., Non-spectrality of the planar self-affine measures with four-element digit sets, Fractals 27 (7) (2019), .CrossRefGoogle Scholar
Su, J., Wang, Z. Y. and Chen, M. L., Orthogonal exponential functions of the planar self-affine measures with four digits, Fractals 28 (1) (2020), .CrossRefGoogle Scholar
Tao, T., Fuglede’s conjecture is false in 5 and higher dimensions, Math. Res. Lett. 11 (2-3) (2004), 345355.CrossRefGoogle Scholar
Wang, C. and Wu, Z. Y., On spectral eigenvalue problem of a class of self-similar spectral measures with consecutive digits, J. Fourier Anal. Appl. 26 (6) (2020), .CrossRefGoogle Scholar
Wang, Y., Wavelets, tiling, and spectral sets, Duke Math. J. 114 (1) (2002), 4357.CrossRefGoogle Scholar