The foundations of spectral computations via the solvability complexity index hierarchy

DOI10.4171/JEMS/1289arXiv1908.09592MaRDI QIDQ6064883

Anders C. Hansen, Matthew J. Colbrook

Publication date: 11 December 2023

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.09592

zbMATH Keywords

computer-assisted proofscomputational spectral problemSmale's program on the foundations of computational mathematicssolvability complexity index hierarchy

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Spectrum, resolvent (47A10) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Numerical solution of eigenvalue problems involving ordinary differential equations (65L15) Applications of functional analysis in numerical analysis (46N40)

Related Items (1)

On the complexity of the inverse Sturm-Liouville problem

Cites Work

• Undecidability of the Spectral Gap
• The spectral problem for a class of highly oscillatory Fredholm integral operators
• Pseudoergodic operators and periodic boundary conditions
• Matslise 2.0
• A FORMAL PROOF OF THE KEPLER CONJECTURE
• Discretized CCR algebras
• Guaranteed resonance enclosures and exclosures for atoms and molecules
• Discontinuous Galerkin Approximation of the Maxwell Eigenproblem
• Algorithm 810: The SLEIGN2 Sturm-Liouville Code
• AF Embeddings and the Numerical Computation of Spectra in Irrational Rotation Algebras
• Direct Methods for Solving Symmetric Indefinite Systems of Linear Equations
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Residual dynamic mode decomposition: robust and verified Koopmanism
• Computing Semigroups with Error Control
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the limit behaviour of second order relative spectra of self-adjoint operators
• Eigenvalues in spectral gaps of differential operators
• Computing energy eigenvalues of anharmonic oscillators using the double exponential sinc collocation method
• The mortar-discontinuous Galerkin method for the 2D Maxwell eigenproblem
• On the singular values and eigenvalues of the Fox-Li and related operators
• Some quantum operators with discrete spectrum but classically continuous spectrum
• Discontinuous Galerkin computation of the Maxwell eigenvalues on simplicial meshes
• New barriers in complexity theory: on the solvability complexity index and the towers of algorithms
• How many numerical eigenvalues can we trust?
• Solving the quintic by iteration
• The asymptotic iteration method for the eigenenergies of the anharmonic oscillator potential \(V(x)=Ax^{2\alpha} +Bx^2\)
• From quantum to classical molecular dynamics: Reduced models and numerical analysis.
• On the spurious solutions in the high-order finite difference methods for eigenvalue problems
• Families of rational maps and iterative root-finding algorithms
• Braiding of the attractor and the failure of iterative algorithms
• Operators satisfying a \(G_1\) condition
• Perturbation theory of odd anharmonic oscillators
• Eigenvalues and eigenfunctions of ordinary differential operators
• Approximation of the spectrum of a non-compact operator given by the magnetohydrodynamic stability of a plasma
• Introduction to large truncated Toeplitz matrices
• Aperiodicity of the Hamiltonian flow in the Thomas-Fermi potential
• \(C^*\)-algebras and numerical linear algebra
• On the Dirac and Schwinger corrections to the ground-state energy of an atom
• The eigenvalue sum for a one-dimensional potential
• The density in a one-dimensional potential
• Pseudospectra and singular values of large convolution operators
• A convergent renormalized strong coupling perturbation expansion for the ground state energy of the quartic, sextic, and octic anharmonic oscillator
• On spectral pollution in the finite element approximation of thin elastic ``membrane shells
• Operator functions and localization of spectra
• Asymptotic distribution of resonances for convex obstacles
• A stable, polynomial-time algorithm for the eigenpair problem
• Computing the spectral function for singular Sturm--Liouville problems
• The density in a three-dimensional radial potential
• A remark on spurious eigenvalues in a square
• Toda flows with infinitely many variables
• Topological entropy of free product automorphisms
• Lieb-Thirring inequalities for Jacobi matrices
• On the intractability of Hilbert's Nullstellensatz and an algebraic version of ``\(NP\neq P\)?
• The eigenvalue sum for a three-dimensional radial potential
• Szegö type limit theorems
• Computing spectral measures and spectral types
• On the infinite-dimensional QR algorithm
• On the approximation of spectra of linear operators on Hilbert spaces
• The computation of the spectra of highly oscillatory Fredholm integral operators
• On the simpleness of zeros of Stokes multipliers
• A proof of the Kepler conjecture
• Spectra of Jacobi operators via connection coefficient matrices
• Computing the sound of the sea in a seashell
• Spectral equivalences, Bethe ansatz equations, and reality properties in 𝒫𝒯-symmetric quantum mechanics
• Complex Extension of Quantum Mechanics
• A Fast and Well-Conditioned Spectral Method
• Infinite-dimensional numerical linear algebra: theory and applications
• Spectral theory of large Wiener–Hopf operators with complex-symmetric kernels and rational symbols
• Neumann-Dirichlet maps and analysis of spectral pollution for non-self-adjoint elliptic PDEs with real essential spectrum
• On the Solvability Complexity Index, the 𝑛-pseudospectrum and approximations of spectra of operators
• Eigenvalue enclosures and exclosures for non-self-adjoint problems in hydrodynamics
• On the energy of a large atom
• UNITARY OPERATOR BASES
• The Jacobi Method for Real Symmetric Matrices
• An Inequality for Hermite Polynomials
• The finite section method for TOEPLITZ operators on the quarter-plane with piecewise continuous symbols
• Invariant means and finite representation theory of 𝐶*-algebras
• Quasi-diagonality and the finite section method
• On the level sets of the resolvent norm of a linear operator
• MATSLISE
• DOUBLE WELL POTENTIAL: PERTURBATION THEORY, TUNNELING, WKB (BEYOND INSTANTONS)
• On the efficiency of algorithms of analysis
• The fundamental theorem of algebra and complexity theory
• The Bidiagonal Singular Value Decomposition and Hamiltonian Mechanics
• The Arithmetical Hierarchy Over the Reals
• Some Stable Methods for Calculating Inertia and Solving Symmetric Linear Systems
• Automatic Solution of the Sturm-Liouville Problem
• Spectral Enclosures and Complex Resonances for General Self-Adjoint Operators
• Pseudo–spectra, the harmonic oscillator and complex resonances
• Improper filtrations for C*-algebras: spectra of unilateral tridiagonal operators
• FINITE APPROXIMATIONS TO QUANTUM SYSTEMS
• The role of C*-algebras in infinite dimensional numerical linear algebra
• Using the SLEDGE package on Sturm-Liouville problems having nonempty essential spectra
• Mathematical software for Sturm-Liouville problems
• Certification of algorithm 700 numerical tests of the SLEIGN software for Sturm-Liouville problems
• Real Spectra in Non-Hermitian Hamiltonians Having<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi mathvariant="bold-script">P</mml:mi><mml:mi mathvariant="bold-script">T</mml:mi></mml:math>Symmetry
• A hierarchical method for obtaining eigenvalue enclosures
• Complexity issues in computing spectra, pseudospectra and resolvents
• Computers, Rigidity, and Moduli
• On the problem of spurious eigenvalues in the approximation of linear elliptic problems in mixed form
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• Spectral Theory and its Applications
• On variational eigenvalue approximation of semidefinite operators
• Computing Spectral Measures of Self-Adjoint Operators

This page was built for publication: The foundations of spectral computations via the solvability complexity index hierarchy