---
title: Homogeneous Spectral Measures
url: https://www.emergentmind.com/topics/homogeneous-spectral-measures
type: topic
---

# Homogeneous Spectral Measures

Homogeneous spectral measures occur in several mathematically distinct settings, unified less by a single definition than by a recurring principle: some spectral object is spatially uniform, scale-invariant, or multiplicity-constant. In harmonic analysis, a **spectral measure** is a Borel probability measure \(\mu\) for which there exists a countable set \(\Lambda\) such that \(\{e^{-2\pi i \lambda x}:\lambda\in\Lambda\}\) or \(\{e^{2\pi i\lambda\cdot x}:\lambda\in\Lambda\}\) is an orthonormal basis of \(L^2(\mu)\); in multifractal analysis, a measure is **homogeneously multifractal** when every non-degenerate subinterval has the same multifractal spectrum as the whole; in ergodic theory, a transformation has **homogeneous spectrum** when its spectral multiplicity function is almost everywhere constant; and in spectral theory of operators, the spectrum itself may be homogeneous in Carleson’s sense [1412.4852] [1302.2421] [1206.6093] [1409.7734]. A further operator-theoretic usage concerns joint spectral measures of commuting Hermitian tuples on fractal sets, where Hausdorff measure governs a quasicentral-modulus formula [2006.14456].

## 1. Terminological scope and principal meanings

A recurring source of ambiguity is that both “spectral” and “homogeneous” are used with different technical meanings across subfields. The following table summarizes the principal usages represented in the literature.

| Notion | Core definition | Representative source |
|---|---|---|
| Homogeneously multifractal measure | Every non-empty subinterval has the same multifractal spectrum as \([0,1]\) | [1302.2421] |
| Spectral measure | \(L^2(\mu)\) has an orthonormal basis of exponentials | [1412.4852] |
| \(p\)-homogeneous spectral set in \(\mathbb Q_p\) | Tree of balls branches with either \(1\) or \(p\) descendants; equivalent to spectrality and tiling for compact open sets | [1511.04837] |
| Homogeneous spectrum of multiplicity \(m\) | Spectral multiplicity function is a.e. constant \(m\) | [1206.6093] |
| \(\tau\)-homogeneous Cantor spectrum | Carleson lower-density condition on a closed spectral set | [1409.7734] |
| Fractal spectral-measure formula | \((k_p(T))^p=\gamma_K\int_K m(x)\,dH_p(x)\) for commuting Hermitian tuples with spectrum in \(K\) | [2006.14456] |

These meanings are not interchangeable. A measure can be spectral without being homogeneously multifractal, and a set can be homogeneous in the Carleson sense without being a spectral set. Likewise, “spectral measure” may mean an exponential-basis measure in harmonic analysis, the maximal spectral type of a unitary operator in ergodic theory, or the joint spectral measure of a commuting operator tuple.

## 2. Homogeneous multifractal measures

For a Borel probability measure \(\mu\) on \(\mathbb R^d\), the local dimension at \(x\in\mathrm{Supp}(\mu)\) is
\[
h_\mu(x)=\liminf_{r\to 0^+}\frac{\log \mu(B(x,r))}{\log r},
\]
and the multifractal spectrum is
\[
d_\mu(h)=\dim E_\mu(h),\qquad E_\mu(h)=\{x:\ h_\mu(x)=h\}.
\]
For measures on \([0,1]\), the standard estimate used in the literature is
\[
d_\mu(h)\le \min(h,1),\qquad d_\mu(h)\le h\quad (0\le h\le 1)
\]
[1302.2421].

A measure \(\mu\) supported on \([0,1]\) is called **homogeneously multifractal** if every non-empty subinterval \(U\subset[0,1]\) has the same multifractal spectrum as the whole interval:
\[
\dim\{x\in U:h_\mu(x)=h\}=\dim\{x\in[0,1]:h_\mu(x)=h\}=d_\mu(h)
\]
for every \(h\ge 0\) [1302.2421]. In this sense, homogeneity is a statement about the spatial invariance of the full multifractal decomposition.

A central rigidity theorem states that for any non-atomic HM measure \(\mu\) supported on \([0,1]\),
\[
\mathrm{Support}(d_\mu)\cap[0,1]
\]
must be an interval of the form
\[
[\alpha,1]\qquad \text{for some }0\le \alpha\le 1.
\]
Equivalently, the support of the spectrum inside \([0,1]\) is connected; there are no gaps in that range [1302.2421]. The result is sharp: there exists an HM measure with
\[
\mathrm{Support}(d_\mu)=[0,1]\cup\{2\},
\]
so isolated exponents above \(1\) can occur [1302.2421].

The constructive theory is organized by an admissible class \(\mathcal F\) of functions \(f:[0,1]\to[0,1]\cup\{-\infty\}\) that can be written as a supremum of countably many step functions supported on closed intervals \(I_n\subset[0,1]\), with
\[
f=\sup_{n\ge 1} f_n,\qquad f_n(x)\le x \text{ on } I_n,\qquad \inf_n \min(I_n)>0.
\]
For every \(f\in\mathcal F\), there exists an HM Borel probability measure \(\mu\) supported on \([0,1]\) such that
\[
d_\mu(h)=\max(f(h),0)\quad \text{for }h\in \mathrm{Support}^*(f)\setminus\{1\},
\]
\[
d_\mu(h)=-\infty\quad \text{for }h\notin \mathrm{Support}^*(f),
\]
and the set of points where \(h_\mu(x)=1\) has Lebesgue measure \(1\) [1302.2421]. This realizes a broad class of prescribed spectra, subject to the interval-support constraint forced by homogeneous multifractality.

The same paper also constructs HM strictly increasing continuous functions with prescribed spectrum and, by wavelet methods, HM non-monotone functions whose spectra are affine images of HM measure spectra. This indicates that homogeneous multifractality is stable under several distinct constructive frameworks, including Cantor-type insertions and wavelet series [1302.2421].

## 3. Spectral measures on homogeneous Cantor sets and affine self-similar systems

In harmonic analysis, a compactly supported probability measure \(\mu\) is **spectral** if there exists a countable \(\Lambda\subset\mathbb R\) such that
\[
\left\{e^{-2\pi i\lambda x}:\lambda\in\Lambda\right\}
\]
is an orthonormal basis for \(L^2(\mu)\). A standard criterion is the Jorgensen–Pedersen identity: if \(0\in\Lambda\), then \(\Lambda\) is a spectrum for \(\mu\) iff
\[
Q(\xi):=\sum_{\lambda\in\Lambda}|\widehat\mu(\xi+\lambda)|^2=1
\quad \text{for all }\xi\in\mathbb R
\]
[1412.4852].

A major class of examples is given by Riesz product measures on homogeneous Cantor sets. With sequences \(B=\{b_n\}_{n\ge1}\), \(D=\{d_n\}_{n\ge1}\) satisfying
\[
1<d_n<b_n,\qquad P_1=1,\qquad P_n=\prod_{j=1}^{n-1} b_j \ (n\ge 2),
\]
the homogeneous Cantor set is
\[
C(B,D)=\left\{\sum_{n=1}^\infty \frac{\delta_n}{d_nP_n}:\delta_n\in\{0,1,\dots,d_n-1\}\right\}.
\]
The associated Riesz product measure \(\mu_{B,D}\) is defined by
\[
\widehat{\mu}_{B,D}(\xi)=\prod_{n=1}^\infty H_n\!\left(\frac{\xi}{d_nP_n}\right),
\qquad
H_n(\xi)=\frac{1}{d_n}\sum_{j=0}^{d_n-1}e^{-2\pi i j\xi}
\]
[1412.4852].

Under the arithmetic assumptions
\[
\frac{b_n}{d_n}\in\mathbb Z,\qquad b_n\ge 2d_n,
\]
the explicit set
\[
A_{B,D}=\sum_{n=1}^\infty \frac{[0,d_n)\cap\mathbb Z}{P_n}
\]
is a spectrum of \(\mu_{B,D}\) [1412.4852]. This gives concrete spectral measures supported on homogeneous Cantor sets that are generally not self-similar unless \(b_n\) and \(d_n\) are constant.

The Hausdorff dimension is tunable. If
\[
\lim_{n\to\infty} d_n=\infty,\qquad \lim_{n\to\infty}\frac{\log d_n}{\log b_n}=a,
\]
then
\[
\dim_H(\mu_{B,D})=a.
\]
Hence for every \(a\in[0,1]\) there exists a spectral measure \(\mu_{B,D}\) with \(\dim_H(\mu_{B,D})=a\), including non-atomic zero-dimensional spectral measures and one-dimensional singular spectral measures [1412.4852].

A parallel operator-algebraic framework treats self-similar affine measures generated by
\[
\tau_b(x)=R^{-1}(x+b),\qquad b\in B,
\]
where \(R\in M_d(\mathbb Z)\) is expansive and \(B\subset\mathbb Z^d\) is finite with \(0\in B\). If there is a second digit set \(L\subset\mathbb Z^d\) with \(\#L=\#B=N\) such that
\[
\frac{1}{\sqrt N}\big(e^{2\pi i R^{-1}b\cdot l}\big)_{b\in B,\; l\in L}
\]
is unitary, then \((B,L)\) is a Hadamard pair, and the operators
\[
(S_lf)(x)=e^{2\pi i\, l\cdot x}f(Rx)
\]
satisfy the Cuntz relations [1001.4565]. The dual IFS, the transfer operator
\[
(R_{B,L}f)(x)=\sum_{l\in L}|\chi_B(\tau_l(x))|^2f(\tau_l(x)),
\]
and the geometry of \(B\)-extreme \(L\)-cycles then organize reducing subspaces of \(L^2(\mu_B)\). In favorable cases, cycle-generated exponentials form a spectrum; in higher dimensions, more general invariant sets may be needed [1001.4565]. This framework shows that homogeneous affine scaling by a single matrix \(R\) can support highly structured spectral measures.

## 4. \(p\)-homogeneity, tiling, and spectrality in \(\mathbb Q_p\)

For a compact open set \(\Omega\subset\mathbb Q_p\) with \(0<\mathfrak m(\Omega)<\infty\), the normalized Haar measure is
\[
\mu_\Omega=\frac{1}{\mathfrak m(\Omega)}\,\mathfrak m|_\Omega.
\]
The set \(\Omega\) is spectral if there exists \(\Lambda\subset\widehat{\mathbb Q_p}\simeq\mathbb Q_p\) such that
\[
\{\chi_\lambda\}_{\lambda\in\Lambda},\qquad \chi_\lambda(x)=\chi(\lambda x),
\]
is an orthonormal basis of \(L^2(\Omega)\) [1511.04837].

The central classification theorem states that for compact open sets \(\Omega\subset\mathbb Q_p\), the following are equivalent:

1. \(\Omega\) is a spectral set.
2. \(\Omega\) is \(p\)-homogeneous.
3. \(\Omega\) tiles \(\mathbb Q_p\) by translation.

Here \(p\)-homogeneity is encoded by the tree of balls associated with \(\Omega\): each vertex has either \(1\) or \(p\) descendants, and the number of descendants depends only on the ball’s size [1511.04837]. In this setting homogeneity is completely equivalent to both Fourier spectrality and translational tiling.

If \(\Omega\) is \(p\)-homogeneous with admissible order set \(I_\Omega\), then, up to isometry of \(\mathbb Q_p\), the spectrum is uniquely determined by
\[
\Lambda=\sum_{i\in I_\Omega}\mathbb Z/p\mathbb Z\cdot p^{-i-1},
\]
while the tiling complement is uniquely determined by
\[
T=\sum_{i\notin I_\Omega}\mathbb Z/p\mathbb Z\cdot p^i
\]
[1511.04837]. The same equivalence appears in finite cyclic groups: for \(C\subset\mathbb Z/p^\gamma\mathbb Z\), spectrality, tiling, and \(p\)-homogeneity are equivalent, and one criterion is
\[
\#(C\bmod p^i)=p^{k_i}\qquad (1\le i\le \gamma)
\]
for suitable integers \(k_i\) [1511.04837].

The paper also constructs singular spectral measures as weak limits of normalized Haar measures on nested \(p\)-homogeneous compact open sets. If \(I,J\subset\mathbb N\) are disjoint infinite subsets with \(I\bigsqcup J=\mathbb N\), the resulting measure \(\mu_{I,J}\) is spectral with spectrum
\[
\Lambda=\left\{\sum_{i\in I} b_i p^{-i-1}: b_i\in\{0,1,\dots,p-1\}\right\}
\]
[1511.04837]. In periodic cases, \(\mu_{I,J}\) becomes self-similar. Thus the \(p\)-adic theory yields an exact equivalence between a combinatorial homogeneity condition and spectrality, together with explicit singular spectral measures.

## 5. Operator-theoretic spectral measures on fractals and homogeneous multiplicity in dynamics

A different operator-theoretic use of spectral measures arises for commuting Hermitian tuples \(T=(T_1,\dots,T_n)\). The quasicentral modulus relative to a normed ideal \((\mathcal J,\|\!|\cdot\|\!|_{\mathcal J})\) is
\[
k_{\mathcal J}(T)=\liminf_{A\in R^+}\,\|[T,A]\|_{\mathcal J},
\]
where \(R^+(H)\) denotes finite-rank positive contractions and \([T,A]=([T_1,A],\dots,[T_n,A])\). For the \((p,1)\)-Lorentz ideal \(\mathcal C_p\), one writes \(k_p(T)\) [2006.14456].

The principal structural result is the ampliation homogeneity theorem:
\[
k_p(T\otimes I_m)=m^{1/p}k_p(T)\qquad (1<p<\infty).
\]
This scaling law is the key input in the fractal spectral analysis of the paper [2006.14456].

The geometric setting is a Cantor-like totally disconnected self-similar set \(K\subset\mathbb R^n\) generated by
\[
F_i(x)=\lambda(x-b(i))+b(i),\qquad 1\le i\le N,
\]
with \(0<\lambda<1\), self-similarity
\[
K=\bigcup_{i=1}^N F_iK,
\]
and disjointness
\[
F_{i_1}K\cap F_{i_2}K=\varnothing\quad (i_1\ne i_2).
\]
Its Hausdorff dimension is
\[
p=\frac{\log N}{\log(1/\lambda)},
\]
and the \(p\)-dimensional Hausdorff measure \(H_p\) of \(K\) is finite and nonzero [2006.14456].

For a commuting \(n\)-tuple of Hermitian operators with \(\sigma(T)\subset K\), the joint spectral measure is denoted \(E(T;\cdot)\), and the multiplicity function by \(m(x)\). If \(E(T;\cdot)\) is singular with respect to \(H_p\), then
\[
k_p(T)=0.
\]
If \(T_K\) denotes the canonical tuple of multiplication by coordinate functions on \(L^2(K,H_p)\), then for \(p>1\),
\[
k_p(T_K)>0,
\qquad
\gamma_K=\frac{(k_p(T_K))^p}{H_p(K)}.
\]
The main formula is
\[
(k_p(T))^p=\gamma_K\int_K m(x)\,dH_p(x),
\]
valid for commuting Hermitian tuples with \(\sigma(T)\subset K\) and \(p>1\) [2006.14456]. Consequently,
\[
k_p(T)=0\quad\Longleftrightarrow\quad E(T;\cdot)\ \text{is singular with respect to }H_p.
\]
In this setting the quasicentral modulus detects precisely the \(H_p\)-absolutely continuous part of the spectral measure.

In ergodic theory, the phrase **homogeneous spectrum** refers instead to multiplicity. If \(T\) is an automorphism of a Lebesgue probability space and \(\sigma\) is the maximal spectral type of \(T\) on the zero-mean subspace \(H\), then homogeneous spectrum of multiplicity \(m\) means that the spectral multiplicity function is almost everywhere constant and equal to \(m\) [1206.6093]. A central theorem states that if \(T\) is ergodic and
\[
T^{k_i}\to aI+(1-a)T
\]
weakly for some sequence \(k_i\to\infty\) and some \(a\in(0,1)\), then
\[
\sigma*\sigma\perp \sigma,
\]
and if \(T\) has simple spectrum, then \(T\times T\) has homogeneous spectrum of multiplicity \(2\) [1206.6093]. The same conclusion holds for the geometric-series weak limit
\[
T^{k_i}\to (1-a)(I+aT+a^2T^2+\cdots).
\]
The paper also constructs a mixing staircase transformation with
\[
M_{T\odot T}=\{1\},\qquad M_{T\times T}=\{2\},\qquad \sigma*\sigma\perp \sigma
\]
[1206.6093]. Thus homogeneous spectral multiplicity can emerge from convolution disjointness of spectral measures.

## 6. Homogeneous spectra of operators and geometric contrasts

For one-dimensional discrete limit-periodic operators, homogeneity can be a property of the spectral set itself. A closed set \(K\subset\mathbb R\) is homogeneous in Carleson’s sense if there exist \(\tau>0\) and \(\delta_0>0\) such that for every \(x\in K\) and every \(0<\delta\le \delta_0\),
\[
|B_\delta(x)\cap K|\ge \tau\,\delta,
\qquad B_\delta(x)=(x-\delta,x+\delta).
\]
If one wishes to emphasize the constant, one says that \(K\) is \(\tau\)-homogeneous [1409.7734].

Within the class of one-dimensional discrete limit-periodic operators, a dense subset has spectra that are homogeneous Cantor sets in this sense. More precisely, fixing a periodic positive off-diagonal sequence \(a\), letting \(\mathcal L\) denote the space of real-valued limit-periodic sequences, and letting \(\mathcal H_\tau\) be the set of \(b\in\mathcal L\) such that \(\sigma(J_{a,b})\) is a \(\tau\)-homogeneous Cantor set and \(J_{a,b}\) has purely absolutely continuous spectrum, one has:

> For every \(\tau<1\), \(\mathcal H_\tau\) is dense in \(\mathcal L\).

The proof uses periodic approximants, Floquet theory, and controlled gap opening near \(k\)-break points. Quantitative control comes from the Hausdorff continuity estimate
\[
d_H(\sigma(S),\sigma(T))\le \|S-T\|
\]
and band-length estimates such as
\[
|B|\le \frac{2\pi A^2}{p}
\]
for each band \(B\) of a \(p\)-periodic Jacobi operator. The limiting lower-density estimate is
\[
|B_\delta(E)\cap \sigma(J_{a,b_\infty})|
\ge
\delta\left(1-2\sum_{n=1}^\infty r_n\right),
\]
with \(\sum r_n<1-\tau\), which yields Carleson homogeneity; superexponential convergence of periodic approximants then gives purely absolutely continuous spectrum via Egorova’s theorem [1409.7734].

A related contrast is provided by the planar measure
\[
\rho=\mu\times\delta_0+\delta_0\times\mu,
\qquad
\mu=\frac12\mathbf 1_{[t,t+1]}dx,
\]
supported on the union of two perpendicular unit line segments. This measure is spectral precisely when there exists a countable \(\Lambda\subset\mathbb R^2\) such that
\[
e_\lambda(x,y)=e^{2\pi i(\lambda_1x+\lambda_2y)}
\]
forms an orthonormal basis of \(L^2(\rho)\) [2501.11367]. The classification is nearly complete: for \(-\tfrac12<t<0\), \(\rho\) is not spectral; for all irrational \(t\neq -\tfrac12\), \(\rho\) is not spectral; for rational \(t\neq -\tfrac12\), earlier work implies that \(\rho\) is spectral iff \(t\in \tfrac12\mathbb Z\); and the only unresolved case is \(t=-\tfrac12\), the plus-space case [2501.11367]. In all known spectral cases the spectrum is contained in a line, and there is a necessary and sufficient projection criterion for such line spectra. A plausible implication is that geometric symmetry alone is much weaker than the precise arithmetic or tree-like homogeneity that appears in the \(p\)-adic and homogeneous Cantor constructions.

## 7. Conceptual synthesis

Across these theories, homogeneity controls spectral behavior in several distinct but structurally related ways. In homogeneous multifractality, it enforces spatial invariance of the multifractal spectrum and forces connected support on \([0,1]\) [1302.2421]. In homogeneous Cantor constructions, it supplies the recursive combinatorics needed for explicit Fourier spectra and for precise tuning of Hausdorff dimension [1412.4852]. In affine IFS theory, common linear scaling and Hadamard duality support Cuntz-algebraic decompositions of \(L^2(\mu)\) into cycle- or invariant-set-driven spectral components [1001.4565]. In \(\mathbb Q_p\), tree homogeneity is exactly equivalent to both spectrality and tiling, and it survives in singular limit measures with explicit digit spectra [1511.04837]. In operator theory on fractals, ampliation homogeneity of quasicentral modulus matches multiplicity scaling and leads to the Hausdorff-measure formula
\[
(k_p(T))^p=\gamma_K\int_K m\,dH_p
\]
for joint spectral measures [2006.14456]. In ergodic theory, homogeneous spectrum refers to constant multiplicity and is closely tied to convolution disjointness such as \(\sigma*\sigma\perp \sigma\) [1206.6093]. In limit-periodic spectral theory, homogeneity is a lower-density property of the spectral set itself and is compatible with Cantor geometry and purely absolutely continuous spectral type [1409.7734].

The term “homogeneous spectral measures” therefore designates a family of ideas rather than a single doctrine. What unifies them is the presence of an exact uniformity principle—across intervals, scales, tree levels, multiplicities, or local spectral neighborhoods—that makes Fourier bases, tilings, quasicentral formulas, or multiplicity statements rigid enough to classify.

Source: https://www.emergentmind.com/topics/homogeneous-spectral-measures