---
title: 'Spectral Sets: Theory & Applications'
url: https://www.emergentmind.com/topics/spectral-sets
type: topic
---

# Spectral Sets: Theory & Applications

A spectral set is a subset of Euclidean space (or a more general mathematical structure) with the property that its $L^2$-space admits an orthogonal basis of exponential functions. This notion connects harmonic analysis, operator theory, convex geometry, combinatorics, functional analysis, and quantum theory. Spectral sets appear in the study of tilings, operator dilations, self-similar structures, semidefinite optimization, and noncommutative geometry, among other areas. The theory has deep links to the celebrated Fuglede conjecture, to spectral synthesis in Abstract Harmonic Analysis, and to information-theoretic properties of convex state spaces.

## 1. Classical Definition and Fundamental Properties

Let $\Omega\subset\mathbb{R}^d$ be a bounded measurable set of positive measure. $\Omega$ is called a spectral set if there exists a countable set $\Lambda\subset\mathbb{R}^d$ such that the family of functions
\[
E(\Lambda) = \{e^{2\pi i \langle \lambda, x\rangle} : \lambda\in\Lambda\}
\]
forms an orthonormal basis for $L^2(\Omega)$. This is equivalent to the two conditions:
- (Orthogonality) For $\lambda\ne\mu\in\Lambda$, $\int_\Omega e^{2\pi i \langle\lambda-\mu,x\rangle}\,dx = 0$,
- (Completeness) The closed linear span of $E(\Lambda)$ equals $L^2(\Omega)$.

The set $\Lambda$ is called a spectrum for $\Omega$ [2209.04540, 1205.4351, 2506.18625, 1309.3942].

The notion generalizes to topological groups and even to discrete finite settings, such as finite abelian groups and finite fields [1509.01090]. In matrix/operator theory, an analogous concept is a "spectral set" for an operator $T$ defined via norm inequalities for rational functions of $T$ [1302.0546].

## 2. Spectral Sets, Tiling, and the Fuglede Conjecture

The Fuglede conjecture (1974) posited that a set $\Omega$ is spectral if and only if it tiles the space by translations, i.e., there exists a (multi)set $T\subset\mathbb{R}^d$ such that almost every $x\in\mathbb{R}^d$ is covered exactly once by the family $\{\Omega+t: t\in T\}$. This conjecture holds in one dimension and for convex bodies in any dimension [2209.04540], but fails in higher dimensions for general sets (counterexamples in $d\geq3$) [1509.01090, 1309.3942].

A central insight is that spectral sets always "weakly tile" their complement: there exists a positive measure $\nu$, not necessarily discrete, such that $1_\Omega*\nu=1_{\mathbb{R}^d\setminus \Omega}$ a.e. [2209.04540]. For convex bodies, a spectral set is necessarily a proper translational tile, and the converse holds [2209.04540].

SPECIFIC HIERARCHY:
| Class           | Spectral $\Longrightarrow$ | Reference           |
|-----------------|---------------------------|---------------------|
| Convex body     | proper tiling             | [2209.04540]        |
| Arbitrary set   | weak tiling               | [2209.04540]        |
| Cantor type     | non-spectral (if weak tiling fails) | [2209.04540] |

Generalizations to product sets and self-similar tiles reveal nuanced behavior: products of spectral sets are spectral, but the converse can fail unless additional assumptions (e.g., near-interval structure) are imposed [2508.15159]. There is a full theory relating spectrality and tiling for cylindric and Cartesian product domains [1602.08850, 2209.04540].

## 3. Structural and Spectral Character Theorems

### Periodicity and Structure in One Dimension

For unions of $n$ intervals in $\mathbb{R}$, any spectrum $\Lambda$ is periodic with period an integral multiple of $|\Omega|$. This rigidity gives rise to structure theorems: up to a scaling and translation, any such spectral set is a finite union of equal-length intervals aligned periodically [1002.4525]. In the discrete case (i.e., on $\mathbb{Z}_n$ or $\mathbb{F}_p^d$), similar periodicity and structure hold, relating spectrality to cyclotomic and Hadamard-matrix structure [1509.01090].

### Operator-Theoretic Notion: Spectral Sets for Operators

Let $A$ be a bounded linear operator on a Hilbert space, and $\Omega\subset\mathbb{C}$ a closed set containing $\sigma(A)$. $\Omega$ is a $K$-spectral set for $A$ if for every rational function $f$ bounded on $\Omega$,
\[
\|f(A)\| \leq K \max_{z\in\Omega}|f(z)|
\]
[1302.0546, 2302.05535, 1803.10904]. When $K=1$, this recovers von Neumann’s spectral set definition (and, for the unit disk, the classical von Neumann inequality). The spectrum, resolvent, and numerical range interplay in controlling $K$ [1803.10904, 2302.05535]. For the numerical range, it is known that $K\leq 1+\sqrt{2}$ and conjectured that $K=2$ uniformly [1302.0546].

Dilation theorems characterize spectral sets in terms of the existence of normal (or isometric) dilations [1701.05586, 2411.01605]. In Banach spaces, the equivalence between norm bounds, spectral sets, completions, and dilations breaks down in sharp ways, tightly linked to Bohr's inequality and fundamental Banach space properties [2411.01605].

### Spectral Sets in Jordan Algebras and Quantum Information

A spectral set in a real Euclidean Jordan algebra $V$ is the inverse image under the eigenvalue map of a permutation-invariant subset of $\mathbb{R}^n$ [1805.01744]. Such sets have lifting properties: connectedness and irreducibility properties lift from the eigenvalue image to the Jordan algebra. In the context of convex state spaces, spectrality becomes equivalent to uniqueness of mixture coefficients in orthogonal decompositions—a requirement for the foundational principles of quantum information theory [1701.06688]. In particular, only spectral sets support reversible measurements and information divergence with the expected properties.

## 4. Examples and Explicit Constructions

- **Unions of intervals in $\mathbb{R}$:** Complete structure and periodicity results [1002.4525, 1205.4351, 2506.18625].
- **Self-similar and product-form tiles:** For digit sets with a product structure, strict and modulo product-form tiles are always spectral, and the converse (spectral $\Longrightarrow$ tile) holds in low-cardinality settings [1309.3942].
- **Cylindric domains:** Spectrality passes between a cylindric set and its base [1602.08850].
- **Finite abelian and finite fields:** In $\mathbb{F}_p^d$, for $d>2$, spectral sets may fail to tile and vice versa, with the obstruction given by the existence of log-Hadamard matrices of small rank [1509.01090].
- **Convex hulls of spectral sets:** Explicit projection-based convexification is available for general spectral constraints induced by spectral maps (e.g., eigenvalue and singular-value maps) and can be fully characterized via convex duality [2405.14143].

## 5. Spectral Sets for Operators and Numerical Range

The classical spectral set theory for operators is broadened by considering numerical range analogues. For a Hilbert space operator $T$, a compact set $S$ is a spectral set if for every rational $f$ with poles off $S$, $\|f(T)\|\leq\sup_{z\in S}|f(z)|$. The numerical range $W(T)$ is a $K$-spectral set with $K=1+\sqrt{2}$, with connections to Crouzeix's theorem [1701.05586, 1803.10904, 2302.05535]. Key properties such as positivity criteria and operator dilations translate to this framework, but essential distinctions emerge:
- For the numerical-range-based spectral set, a base point in $S$ must be singled out,
- The operator norm is replaced by the numerical radius,
- The dilation gives $f(T)$ as a “2-dilation”—reflecting the bound $\|T\|\leq 2w(T)$ [1701.05586].

Application to iterative methods (e.g., GMRES, Arnoldi) proceeds by employing $K$-spectral set bounds on the regions containing the spectrum and controlling convergence via rational approximation on $W(T)$ or general $K$-spectral sets [1803.10904, 2302.05535, 1302.0546].

## 6. Spectral Synthesis, Local Spectral Sets, and Abstract Harmonic Analysis

In the Fourier algebra $A(G)$ of a locally compact group $G$, a closed set $E\subset G$ is called a spectral set (or a set of spectral synthesis) if the ideal of functions vanishing on $E$ coincides with the ideal generated by compactly supported functions vanishing near $E$ [2412.06584]. Local spectral sets are defined via approximation in $A(G)$ by functions vanishing near $E$. Ludwig and Turowska give a new Hilbert-space-based characterization of local spectral sets in terms of canonical $L^2$-factors and geometric squeezing conditions. For abelian $G$, the criterion is especially transparent, amounting to the ability to “move mass away” from $E$ in the $L^2$ sense [2412.06584].

Spectral synthesis is fundamental to understanding whether abstract sets can be reconstructed (synthesized) from exponential or trigonometric functions, and connects directly to the combinatorial and operator-theoretic properties of spectral sets in Euclidean settings—underlying, for example, finite unions and Ditkin set properties.

## 7. Convexification and Spectral Sets in Optimization

For spectral constraints $\lambda(x)\in C$ imposed by spectral maps $\lambda$ (eigenvalue, singular-value, hyperbolic polynomials), convexification of spectral sets is crucial in optimization. The closed convex hull of the set $S=\lambda^{-1}(C)$, for general $C$, can be exactly characterized by projection-based duality constructions [2405.14143]. In the presence of invariance (e.g., permutation or sign symmetry of $C$), convex hulls can be described even more simply. These results unify and extend classical theorems (e.g., Schur-Horn, von Neumann inequalities) and provide tractable convex relaxations for semidefinite and spectral optimization.

---

**References:**
- [1002.4525] Spectrum is periodic for n-Intervals
- [1205.4351] Unitary groups and spectral sets
- [1302.0546] Spectral Sets (survey)
- [1307.4530] Local translations associated to spectral sets
- [1309.3942] Spectrality of Self-Similar Tiles
- [1509.01090] Tiling sets and spectral sets over finite fields
- [1602.08850] Spectrality and tiling by cylindric domains
- [1701.05586] Spectral sets for numerical range
- [1701.06688] Quantum Information on Spectral Sets
- [1803.10904] Spectral Sets: Numerical Range and Beyond
- [1805.01744] On the connectedness of spectral sets and irreducibility of spectral cones in Euclidean Jordan algebras
- [2209.04540] Spectral sets and weak tiling
- [2302.05535] K-Spectral Sets
- [2405.14143] On the Projection-Based Convexification of Some Spectral Sets
- [2411.01605] Spectral set, complete spectral set and dilation for Banach space operators
- [2412.06584] On the structure of Spectral Sets
- [2506.18625] Spectral properties of unions of intervals and groups of local translations
- [2508.15159] Spectrality of Product Sets with a Perturbed Interval Factor

Source: https://www.emergentmind.com/topics/spectral-sets