[論文レビュー] The foundations of spectral computations via the Solvability Complexity Index hierarchy: Part II

Matthew J. Colbrook, Anders C. Hansen|arXiv (Cornell University)|Aug 26, 2019

Spectral Theory in Mathematical Physics参考文献 203被引用数 10

ひとこと要約

この論文は、解消可能性複雑性指数（SCI）階層を用いて、無限次元作用素のスペクトルを計算する基盤的枠組みを確立し、非有界領域、グラフ、スペクトルギャップを伴う問題において、点サンプリングによる誤差制御を伴うスペクトル計算が可能であることを証明する。構成的アルゴリズムを提供し、計算スペクトル理論における長年の未解決問題を解決し、数学的物理学におけるコンピュータ支援証明を可能にする。

ABSTRACT

The problem of computing spectra of operators is arguably one of the most investigated areas of computational mathematics. Recent progress and the current paper reveal that, unlike the finite-dimensional case, infinite-dimensional problems yield a highly intricate infinite classification theory determining which spectral problems can be solved and with which type of algorithms. Classifying spectral problems and providing optimal algorithms is uncharted territory in the foundations of computational mathematics. This paper is the first of a two-part series establishing the foundations of computational spectral theory through the Solvability Complexity Index (SCI) hierarchy and has three purposes. First, we establish answers to many longstanding open questions on the existence of algorithms. We show that for large classes of partial differential operators on unbounded domains, spectra can be computed with error control from point sampling operator coefficients. Further results include computing spectra of operators on graphs with error control, the spectral gap problem, spectral classifications, and discrete spectra, multiplicities and eigenspaces. Second, these classifications determine which types of problems can be used in computer-assisted proofs. The theory for this is virtually non-existent, and we provide some of the first results in this infinite classification theory. Third, our proofs are constructive, yielding a library of new algorithms and techniques that handle problems that before were out of reach. We show several examples on contemporary problems in the physical sciences. Our approach is closely related to Smale's program on the foundations of computational mathematics initiated in the 1980s, as many spectral problems can only be computed via several limits, a phenomenon shared with the foundations of polynomial root finding with rational maps, as proved by McMullen.

研究の動機と目的

• 無限次元設定における作用素のスペクトルを計算するアルゴリズムの存在について長年の未解決問題を解消すること。
• どのスペクトル問題が計算可能か、そしてどのようなタイプのアルゴリズムを用いるかを分類し、解消可能性複雑性指数（SCI）に基づく階層を確立すること。
• 誤差制御を伴うスペクトルの計算のための構成的アルゴリズムを提供すること、特に離散スペクトル、重複度、固有空間を含む。
• 計算可能なスペクトル問題の理論的基盤を確立することで、数学的物理学におけるコンピュータ支援証明を可能にすること。
• 計算数学におけるスメールのプログラムを、非有界領域およびグラフ上の作用素に対してスペクトル理論へと拡張すること。

提案手法

• スペクトル問題の分類ツールとして解消可能性複雑性指数（SCI）階層を用い、計算可能と非計算可能なクラスを区別する。
• 構成的技法を用いて、作用素係数の点サンプリングから得られるスペクトルを計算するアルゴリズムを導出し、誤差制御を保証する。
• マクマレンの多項式根の探索に関する研究にインspiredされた有理写像と反復極限の技法を用い、複数の極限を介してスペクトル計算を処理する。
• SCIフレームワークを用いて近似の収束を分析することで、非有界領域上の偏微分作用素の可算性結果を確立する。
• スペクトルギャップ、離散スペクトル、固有空間を、厳密な誤差境界を伴って計算する体系的アプローチを導入する。
• スメールの計算数学における理論的基盤に依拠し、その原則をスペクトル理論に適応する。

実験結果

リサーチクエスチョン

• RQ1 無限次元作用素のスペクトル問題において、作用素係数の点サンプリングを用いて誤差制御を伴う計算が可能となるのはどのような問題か？
• RQ2 解消可能性複雑性指数階層は、非有界領域上の作用素のスペクトル計算の複雑性を分類するために用いることができるか？
• RQ3 どのようなタイプのスペクトル問題が、数学的物理学におけるコンピュータ支援証明に適したアルゴリズムを備えているか？
• RQ4 非有界次元設定において、スペクトルギャップ、離散スペクトル、固有空間を保証された誤差境界を伴ってどのように計算できるか？
• RQ5 多項式根の探索に類似した複数の極限を用いたスペクトル計算は、どの程度スペクトル問題の可解性を特徴づけるか？

主な発見

• 本論文は、非有界領域上での大規模な偏微分作用素のスペクトルが、作用素係数の点サンプリングから誤差制御を伴って計算可能であることを証明する。
• スペクトルギャップ、離散スペクトル、固有空間が、SCI階層フレームワークを用いて厳密な誤差境界を伴って計算可能であることが確立される。
• 著者らは、グラフおよび無限次元作用素のスペクトル計算のための新しいアルゴリズムを構成し、その実行可能性と誤差制御を伴う収束性を示している。
• 本研究は、無限次元設定におけるスペクトル計算のためのアルゴリズムの存在について長年の未解決問題を解決する。
• 本フレームワークにより、計算可能なスペクトル問題の分類とその条件の下での問題の可算性を体系的に分類することで、スペクトル問題のコンピュータ支援証明への最初の体系的応用が可能になる。
• 結果として、スメールの計算数学における基盤的プログラムがスペクトル理論へと拡張され、スペクトル問題が複数の極限を必要とし、SCI階層によって支配されることを示している。