[논문 리뷰] The foundations of spectral computations via the Solvability Complexity Index hierarchy: Part II

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

Spectral Theory in Mathematical Physics참고 문헌 203인용 수 10

한 줄 요약

이 논문은 스플루버빌리티 복잡성 지수(Solovability Complexity Index, 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) 계층을 사용하여 계산 가능한 클래스와 비계산 가능한 클래스를 구분한다.
• 점 샘플링을 통한 연산자 계수의 정보로부터 오차 제어가 가능한 알고리즘을 도출하기 위해 구조적 방법을 적용한다.
• 맥클린의 다항식 근 구하기 연구에서 영감을 얻어, 유리 함수와 반복적 극한 기법을 활용하여 다중 극한을 통한 스펙트럼 계산을 다룬다.
• SCI 프레임워크를 통해 근사의 수렴을 분석하여 비유계 도메인에 정의된 부분 미분 연산자의 계산 가능성 결과를 수립한다.
• 엄밀한 오차 한계를 갖는 스펙트럼 간극, 이산 스펙트럼, 고유공간을 체계적으로 계산하는 접근 방식을 도입한다.
• 스메일의 수학적 계산 이론 프로그램의 이론적 기초를 활용하며, 이를 스펙트럼 이론에 적응시킨다.

실험 결과

연구 질문

• RQ1 무한차원 연산자에 대한 스펙트럼 문제 중에서 연산자 계수의 점 샘플링을 통해 오차 제어가 가능한 문제는 무엇인가?
• RQ2 스플루버빌리티 복잡성 지수 계층은 비유계 도메인에 정의된 연산자 스펙트럼 계산의 복잡성 정도를 분류하는 데 사용될 수 있는가?
• RQ3 어떤 유형의 스펙트럼 문제들이 수학적 물리학에서 컴퓨터 보조 증명에 적합한 알고리즘을 허용하는가?
• RQ4 무한차원 설정에서 스펙트럼 간극, 이산 스펙트럼, 고유공간을 보장된 오차 한계로 어떻게 계산할 수 있는가?
• RQ5 다항식 근 구하기와 유사한 다중 극한을 통한 스펙트럼 계산은 어떤 정도까지 스펙트럼 문제의 해법 가능성을 특징짓는가?

주요 결과

• 논문은 비유계 도메인에 정의된 다수의 편미분 연산자 스펙트럼이 연산자 계수의 점 샘플링을 통해 오차 제어로 계산될 수 있음을 증명한다.
• 스펙트럼 간극, 이산 스펙트럼, 고유공간이 SCI 계층 프레임워크를 통해 엄밀한 오차 한계로 계산될 수 있음을 수립한다.
• 그래프와 무한차원 연산자에 대한 스펙트럼을 계산하는 새로운 알고리즘을 구축하였으며, 그 실현 가능성과 오차 제어가 가능한 수렴성을 입증한다.
• 무한차원 설정에서 스펙트럼 계산을 위한 알고리즘 존재성에 관해 오랫동안 미해결이었던 문제들을 이 연구에서 해결한다.
• 이 프레임워크는 계산 가능한 스펙트럼 문제의 유형과 그 조건을 분류함으로써, 스펙트럼 문제를 컴퓨터 보조 증명에 처음으로 체계적으로 활용할 수 있도록 한다.
• 결과적으로 이 연구는 수학적 계산 이론의 스메일 기초 프로그램을 스펙트럼 이론으로 확장하며, 스펙트럼 문제의 해결이 다중 극한을 필요로 하고 SCI 계층에 의해 지배된다는 것을 보여준다.