[논문 리뷰] Computing over the Reals: Foundations for Scientific Computing

Mark Braverman, Stephen Cook|ArXiv.org|2005. 09. 14.

Computability, Logic, AI Algorithms참고 문헌 18인용 수 49

한 줄 요약

이 논문은 실수 위에서의 계산을 위한 비트 모델을 과학적 계산의 엄밀한 기초로 설정하며, 이는 대수적 BSS 모델보다 실제 수치 계산을 더 잘 반영한다고 주장한다. 실수 함수의 계산 가능성과 결정 가능 집합은 유리수 근사치를 통해 정의될 수 있음을 보여주며, BSS 모델에서의 불결정성 결과(예: 만델브로 집합)가 실제 계산의 한계를 반영하지 못함을 밝히고, 비트 모델은 연속 문제에 대해 의미 있는 비계산 가능성과 복잡도 이론을 지원함을 보여준다.

ABSTRACT

We give a detailed treatment of the ``bit-model'' of computability and complexity of real functions and subsets of R^n, and argue that this is a good way to formalize many problems of scientific computation. In the introduction we also discuss the alternative Blum-Shub-Smale model. In the final section we discuss the issue of whether physical systems could defeat the Church-Turing Thesis.

연구 동기 및 목표

• 비트 모델을 사용하여 실수 위에서의 계산 가능성과 복잡도를 형식화함으로써, 컴퓨터가 실수를 유리수 근사치를 통해 실제로 다루는 방식을 반영한다.
• 비트 모델이 과학적 계산에 더 적합하다고 주장하며, 실제 수치 계산과 일치하고 직관에 어긋나는 불결정성 결과를 피할 수 있기 때문이다.
• 물리적 시스템이 비계산 가능한 함수를 계산할 수 있는지 검토하며, 잠재적으로 시뮬레이션할 수 없는 물리적 과정을 고려해 셰르치-튜링 추측을 도전한다.
• 수치 시뮬레이션을 피할 수 있는 시스템에서 이론적 계산 난이도와 물리적 강건성 간의 차이를 명확히 한다.

제안 방법

• 입력값 x에 대한 유리수 근사치가 주어졌을 때, 알고리즘이 f(x)에 대한 유리수 근사치를 계산할 수 있으면 실수 함수 f는 비트 모델에서 계산 가능하다고 정의한다.
• 유한한 R^n 부분집합에 대해 비트 계산 가능성을 사용하며, 집합이 임의의 확대 비율과 정밀도로 화면에 그릴 수 있는 프로그램이 존재하면 그 집합은 계산 가능하다고 간주한다.
• 비트 모델과 BSS 모델을 비교하여, BSS 모델에서의 비계산 가능성 결과(예: e^x 또는 코흐 눈꽃 모양)는 정확한 산술을 가정하기 때문에 실제 계산의 한계를 반영하지 못함을 강조한다.
• 비계산 가능한 함수를 비결정적인 물리적 동역학을 통해 계산할 수 있는 물리적 시스템의 맥락에서 셰르치-튜링 추측을 분석한다.
• 물리적 시스템 A가 비계산 가능한 함수 f를 두 개의 계산 가능한 번역기 φ와 ψ를 통해 계산할 수 있는 프레임워크를 도입한다. 이때 φ(x)는 σ_T로 진화하고, ψ(σ_T) = f(x)가 된다.
• 소규모 초기 상태의 변화에 대해 높은 확률로 정확한 출력을 내는지에 따라 물리적 시스템의 계산 능력을 평가한다.

실험 결과

연구 질문

• RQ1 비트 모델은 BSS 모델보다 과학적 계산에 더 현실적이고 유용한 기초를 제공할 수 있는가?
• RQ2 왜 BSS 모델에서의 불결정성 결과(예: 만델브로 집합)는 실제 계산의 난이도를 반영하지 못하는가?
• RQ3 강건하고 수치적으로 시뮬레이션하기 어려운 물리적 시스템이 존재할 수 있으며, 이는 확장된 셰르치-튜링 추측을 위반할 수 있는가?
• RQ4 소규모 변화에 강건한 물리적 장치가 비계산 가능한 함수를 계산할 수 있다면, 이는 셰르치-튜링 추측에 어떤 영향을 미칠 수 있는가?

주요 결과

• 비트 모델은 컴퓨터가 실수를 유한한 근사치로 다루는 현실을 반영하므로, BSS 모델보다 과학적 계산을 더 정확하게 형식화한다.
• 비트 모델에서는 e^x나 코흐 눈꽃 모양과 같은 함수와 집합이 계산 가능하지만, BSS 모델에서는 정확한 산술을 가정하기 때문에 이들이 불결정해진다.
• BSS 모델에서의 불결정성 결과—예를 들어 만델브로 집합이 불결정하다는 것—은 이상화된 정확한 계산 가정에서 비롯되며, 실제 계산 난이도를 반영하지 못한다.
• 물리적 시스템 A가 비계산 가능한 함수 f를 계산할 수 있는 것은, 소규모 변화에 강건하여 노이즈가 있더라도 ψ(σ_T) = f(x)가 높은 확률로 성립하기 때문일 것이다.
• 그러한 강건하고 시뮬레이션할 수 없는 시스템이 존재한다면, 이는 확장된 셰르치-튜링 추측 위반을 의미할 것이지만, 반드시 원래의 셰르치-튜링 추측 위반을 뜻하지는 않는다.
• 그러한 시스템이 존재한다고 해도, 의미 없는 함수만 계산할 수 있을 뿐, 히어링 문제나 힐베르트의 10번 문제와 같은 고전적 난이도 문제를 해결하지 못할 수 있다.