Abstract:We introduce computational strategies for measuring the ``size'' of the spectrum of bounded self-adjoint operators using various metrics such as the Lebesgue measure, fractal dimensions, the number of connected components (or gaps), and other spectral characteristics. Our motivation comes from the study of almost-periodic operators, particularly those that arise as models of quasicrystals. Such operators are known for intricate hierarchical patterns and often display delicate spectral properties, such as Cantor spectra, which are significant in studying quantum mechanical systems and materials science. We propose a series of algorithms that compute these properties under different assumptions and explore their theoretical implications through the Solvability Complexity Index (SCI) hierarchy. This approach provides a rigorous framework for understanding the computational feasibility of these problems, proving algorithmic optimality, and enhancing the precision of spectral analysis in practical settings. For example, we show that our methods are optimal by proving certain lower bounds (impossibility results) for the class of limit-periodic Schrödinger operators. We demonstrate our methods through state-of-the-art computations for aperiodic systems in one and two dimensions, effectively capturing these complex spectral characteristics. The results contribute significantly to connecting theoretical and computational aspects of spectral theory, offering insights that bridge the gap between abstract mathematical concepts and their practical applications in physical sciences and engineering. Based on our work, we conclude with conjectures and open problems regarding the spectral properties of specific models.

Convergence of supercell and superspace methods for computing spectra of quasiperiodic operators

Non-consistent approximations of self-adjoint eigenproblems: Application to the supercell method

Convergence analysis of time-splitting projection method for nonlinear quasiperiodic Schrödinger equation

Discrete vs. continuous in the semiclassical limit

Optimal Algorithms for Quantifying Spectral Size with Applications to Quasicrystals

Continuity of the Measure of the Spectrum for Quasiperiodic Schrödinger Operators with Rough Potentials

Superconvergence of Discontinuous Galerkin Methods for Time-Dependent Partial Differential Equations

Numerical Methods and Analysis of Computing Quasiperiodic Systems

Spectral estimates of dynamically-defined and amenable operator families

A new treatment for some periodic Schrödinger operators I: the eigenvalue

Spectral continuity for aperiodic quantum systems: Applications of a folklore theorem

Superconvergence analysis of a linearized energy-conservative Galerkin method for the nonlinear Schrödinger equation with wave operator

Convergence of the Planewave Approximations for Quantum Incommensurate Systems

Converging Perturbative Solutions of the Schroedinger Equation for a Two-Level System with a Hamiltonian Depending Periodically on Time

Non-Self-Adjoint Quasi-periodic Operators with complex spectrum

Evaluation of Scattering Operators for Semi-Infinite Periodic Arrays

Construction of finite differentiable quasi-periodic Schrödinger operators with cantor spectrum

On the Bloch decomposition based spectral method for wave propagation in periodic media

Continuity of the spectrum of quasi-periodic Schrödinger operators with finitely differentiable potentials

Floquet Isospectrality of the Zero Potential for Discrete Periodic Schrödinger Operators