[論文レビュー] Certified spectral approximation of transfer operators and the Gauss map

Isaia Nisoli|arXiv (Cornell University)|Feb 23, 2026

Spectral Theory in Mathematical Physics被引用数 0

ひとこと要約

この論文は、有限次数近似から転送作用素の孤立スペクトルデータ（固有値、固有ベクトル、射影）を事後的に完全に明示的に証明可能なフレームワークで回復し、90桁以上の桁数で最初の50個の非零Gauss–Kuzmin–Wirsing固有値を証明付きで認定することを示しています。

ABSTRACT

We prove that the full spectral picture of a transfer operator (every isolated eigenvalue, eigenvector, and Riesz projector outside the essential spectral radius) can be approximated to arbitrary precision by finite-rank discretizations, with no spectral pollution. The method is a~posteriori: once a computable approximation bound is available (from compactness or a Doeblin--Fortet--Lasota--Yorke inequality, which may require hyperbolicity constants and adapted Banach spaces), the spectral gap and multiplicity are certified from computed data via a resolvent perturbation bound, with no further dynamical input. This applies both to compact operators on a single Banach space and to quasi-compact operators satisfying a Doeblin--Fortet--Lasota--Yorke inequality, extending Li's resolution of the Ulam conjecture from the invariant density to the entire discrete spectrum with certified error bounds at every finite truncation. As a benchmark, we certify the first $50$ nonzero eigenvalues of the Gauss--Kuzmin--Wirsing operator to at least $90$ rigorous decimal digits, together with their eigenvectors, Riesz projectors, and spectral gap, yielding a certified spectral expansion for Gauss--Kuzmin distributions with explicit error bounds and providing a rigorous answer to the Gauss--Babenko--Knuth problem on the spectral data of the Gauss map.

研究の動機と目的

• 転送作用素のスペクトルデータに対する事後認定ワークフローを、広範な正則性仮定の下で動機づけ、形式化する。
• 認定をDFLY（Doeblin–Fortet–Lasota–Yorke）設定および圃場がコンパクト/準コンパクトな作用素の両方へ拡張する。
• 孤立スペクトルデータの収束を保証する、明示的なレゾルベントに基づく事前境界と粗から細へのスキームを提供する。
• ガウス写像のGKW作用素について、高精度で証明付きの計算を示し、50個の固有値と関連射影を含む。

提案手法

• 有限次数近似L_Kを用いた抽象的な認定スペクトルテンプレートを開発し、明示的な誤差界|L−L_K| ≤ ε_KとΓ周りの認定レゾルベント境界を提供する。
• レゾルベント摂動フレームワークを用いてL_KからLへのスペクトルデータを移し、スペクトル汚染が生じず、計算可能な摂動条件の下でリース項射影の収束を保証する。
• 粗い行列がスペクトル分離を認定し、より細い行列が固有値・固有ベクトルの囲いを洗練する粗–細ワークフローを提供する。
• Appendix AでLasota–Yorke型不等式を扱う二重空間（強–弱）DFLYフレームワークを確立する。
• 有効化された線代数（Schur/SVD）を適用してレゾルベント境界を明示的な欠陥とともに計算し、Neumann級数の議論で固有値摂動を制御する。
• ガウス写像には、Hardy空間上の正則性を利用して打切り境界が指数的に減衰する（約(2/3)^K）ことを用いて枠組みを特化する。
• 事後認定の固有値、固有ベクトル、Riesz射影の囲いを、各打切りで明示的な誤差境界とともに提示する。

実験結果

リサーチクエスチョン

• RQ1 有限次数離散化から事後認定を行い、事前のスペクトルギャップ仮定なしに転送作用素のスペクトルデータを認定できるか。
• RQ2 有限次元近似から無限次元作用素へ、明示的かつ計算可能な境界で認定スペクトルデータを移せるか。
• RQ3 Lasota–Yorke型不等式と適切なBanach空間は、コンパクトおよびDFLY設定全体で認定スペクトル解析を可能にする上でどのような役割を果たすか。
• RQ4 Gauss–Kuzmin–Wirsing作用素の離散スペクトルを厳密な界でどの程度計算でき、何個の固有値を認定できるか。
• RQ5 認定フレームワークにおけるスペクトルギャップ、固有値の重複、射影の安定性の関係は何か。

主な発見

• Gauss–Kuzmin–Wirsing作用素の最初の50個の非零固有値は実数で単純であり、少なくとも90桁の検証済み囲いを伴う。
• 準優越固有値（GKW定数）は|λ2 − λ̃2| < 1e-175を満たし、λ̃2の数値囲いが明示的に示されている。
• 認定された固有値に対応する固有ベクトルとRiesz射影は、L^n 1の検証済みスペクトル展開と、残差R50(n)に関する厳密な界を提供する。
• スペクトルギャップと多重性は、計算データから事後認定され、混合速度を入力としてではなく出力として認定化する。
• フレームワークはコンパクトおよびDFLY（Doeblin–Fortet–Lasota–Yorke）設定の両方に適用可能で、事前不存在のスペクトル認定を可能にする明示的な摂動境界を提供する。
• 方法論は、粗–細の二段階ディスクリート化ワークフローへとスペクトル認定を還元し、孤立スペクトルデータの収束を保証する。