Abstract:We study some number theory problems related to the harmonic analysis (Fourier bases) of the Cantor set introduced by Jorgensen and Pedersen in \cite{JP98}.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is: for what odd numbers \(m\), the set
\[
\Gamma(m) := m\Gamma_0=\left\{\sum_{k = 0}^n4^k l_k:l_k\in\{0,m\},n\in\mathbb{N}\right\}
\]
is a spectrum of the measure \(\mu\) (that is, the corresponding family of exponential functions \(E(\Gamma(m)):=\{e_{\lambda}:\lambda\in\Gamma(m)\}\) is an orthonormal basis in the \(L^2(\mu)\) space)?
Specifically, the authors are concerned with which odd numbers \(m\) can make the above - mentioned set \(\Gamma(m)\) an orthonormal basis of \(L^2(\mu)\) in the harmonic analysis of the Cantor set. This problem can be transformed into a number - theoretic problem: for which odd numbers \(m\), there are no non - trivial extreme cycles.
### Background information:
1. **Cantor set and measure**
- The Cantor set \(X_4\) is generated by an iterated function system (IFS) and satisfies the invariance condition \(X_4=\tau_0(X_4)\cup\tau_2(X_4)\), where \(\tau_0(x) = x/4\) and \(\tau_2(x)=(x + 2)/4\).
- The measure \(\mu\) is the Hausdorff measure with dimension \(\log_42 = 1/2\), and it is the invariant measure of the IFS.
2. **Concept of spectrum**
- If a set \(\Gamma\subset\mathbb{R}\) makes the corresponding family of exponential functions \(E(\Gamma):=\{e_{\lambda}:\lambda\in\Gamma\}\) an orthonormal basis in the \(L^2(\mu)\) space, then \(\Gamma\) is called a spectrum of the measure \(\mu\).
- \(\Gamma_0\) is a spectrum constructed by Jorgensen and Pedersen, corresponding to the digits \(\{0,1\}\).
3. **Extreme cycle**
- For a given odd number \(m\), if there exist finite sets \(\{x_0,x_1,\ldots,x_{r - 1}\}\) and \(\{l_0,l_1,\ldots,l_{r - 1}\}\subset\{0,m\}\) such that:
\[
x_{k+1}=\frac{x_k + l_k}{4},k = 0,1,\ldots,r - 1\ (\text{subscripts modulo }r)
\]
and
\[
\left|1+e^{2\pi i2x_k}\right| = 1,k = 0,1,\ldots,r - 1,
\]
then \(\{x_0,x_1,\ldots,x_{r - 1}\}\) is called an extreme cycle.
### Main conclusions:
- **Theorem 1.4**: An odd number \(m\) is complete (that is, \(\Gamma(m)\) is a spectrum) if and only if there are no non - trivial extreme cycles for the digit set \(\{0,m\}\).
- **Lemma 2.7**: If a number \(m\) is not complete, then all of its multiples are not complete either.
- **Theorem 2.8**: Gives the criteria for ensuring that a number \(m\) is complete, based on the order of 4 in the multiplicative group \(G_m\).
- **Theorem 3.