Concept
Théorème spectral
Publications associées (119)
On algebraic array theories
Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...
New York2023Spectral analysis for transmission eigenvalue problems with and without the complementing conditions
The interior transmission eigenvalue problem is a system of partial differential equations equipped with Cauchy data on the boundary: the transmission conditions. This problem appears in the inverse scattering theory for inhomogeneous media when, for some ...
EPFL2022Spectral Hypergraph Sparsifiers of Nearly Linear Size
Mikhail Kapralov, Jakab Tardos
Graph sparsification has been studied extensively over the past two decades, culminating in spectral sparsifiers of optimal size (up to constant factors). Spectral hypergraph sparsification is a natural analogue of this problem, for which optimal bounds on ...
IEEE COMPUTER SOC2022Unified Green's function approach for spectral and thermodynamic properties from algorithmic inversion of dynamical potentials
Nicola Marzari, Tommaso Chiarotti, Andrea Ferretti
Dynamical potentials appear in many advanced electronic-structure methods, including self-energies from many-body perturbation theory, dynamical mean-field theory, electronic-transport formulations, and many embedding approaches. Here, we propose a novel t ...
AMER PHYSICAL SOC2022