English

Rational points in Cantor sets and spectral eigenvalue problem for self-similar spectral measures

Classical Analysis and ODEs 2025-04-01 v1 Functional Analysis Number Theory

Abstract

Given qN3q\in \mathbb{N}_{\ge 3} and a finite set AQA\subset\mathbb{Q}, let K(q,A)={i=1aiqi:aiA iN}.K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}. For pN2p\in\mathbb{N}_{\ge 2} let DpRD_p\subset\mathbb{R} be the set of all rational numbers having a finite pp-ary expansion. We show in this paper that for pN2p \in \mathbb{N}_{\ge 2} with gcd(p,q)=1\gcd(p,q)=1, the intersection DpK(q,A)D_p\cap K(q, A) is a finite set if and only if dimHK(q,A)<1\dim_H K(q, A)<1, which is also equivalent to the fact that the set K(q,A)K(q, A) has no interiors. We apply this result to study the spectral eigenvalue problem. For a Borel probability measure μ\mu on R\mathbb{R}, a real number tRt\in \mathbb{R} is called a spectral eigenvalue of μ\mu if both E(Λ)={e2πiλx:λΛ}E(\Lambda) =\big\{ e^{2 \pi \mathrm{i} \lambda x}: \lambda \in \Lambda \big\} and E(tΛ)={e2πitλx:λΛ}E(t\Lambda) = \big\{ e^{2 \pi \mathrm{i} t\lambda x}: \lambda \in \Lambda \big\} are orthonormal bases in L2(μ)L^2(\mu) for some ΛR\Lambda \subset \mathbb{R}. For any self-similar spectral measure generated by a Hadamard triple, we provide a class of spectral eigenvalues which is dense in [0,+)[0,+\infty), and show that every eigen-subspace associated with these spectral eigenvalues is infinite.

Cite

@article{arxiv.2503.22960,
  title  = {Rational points in Cantor sets and spectral eigenvalue problem for self-similar spectral measures},
  author = {Derong Kong and Kun Li and Zhiqiang Wang},
  journal= {arXiv preprint arXiv:2503.22960},
  year   = {2025}
}

Comments

16 pages

R2 v1 2026-06-28T22:38:48.631Z