[논문 리뷰] A topological view on algebraic computation models

Eike Neumann, Arno Pauly|arXiv (Cornell University)|2016. 02. 25.

Computability, Logic, AI Algorithms참고 문헌 31인용 수 4

한 줄 요약

이 논문은 Weihrauch 감소를 통해 BSS 계산 모델과 가역 분석 사이의 형식적 연결을 수립하여, SCI ≥ 2인 함수에 대해 두 모델 간의 SCI가 동일하다는 것을 보여준다. Weihrauch 정도를 통해 BSS 기계와 분석 기계의 계산 능력을 특성화하고, 특히 비연속성과 같은 위상적 제약 조건이 양 모델에서의 비계산 가능성의 근본 원인임을 밝힌다.

ABSTRACT

We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and computability in the sense of computable analysis can be. The framework for this is Weihrauch reducibility. As a consequence of our characterizations, we establish that the solvability complexity index is (mostly) independent of the computational model, and that there thus is common ground in the study of non-computability between the BSS and TTE setting.

연구 동기 및 목표

• 알제브라적 계산 모델, 특히 BSS 모델에서의 계산 가능성에 대한 위상적 제약 조건을 조사하기 위해.
• 공통된 비계산 가능성 구조를 분석함으로써 BSS-계산 가능성과 가역 분석(TTE)을 비교하기 위해.
• Weihrauch 정도를 사용하여 BSS 기계와 분석 기계의 계산 능력을 특성화하기 위해.
• SCI ≥ 2일 때, 해결 복잡도 지수(SCI)가 두 모델 간에 불변임을 보여주어 BSS와 TTE 프레임워크 간의 공통 기반을 확립하기 위해.

제안 방법

• 모델 간 계산 강도를 비교하기 위해 Weihrauch 감소를 프레임워크로 사용한다.
• 등가 및 순서 테스트를 갖춘 BSS 기계는 ℕ 위의 닫힘 선택 Cₙ과 동일한 계산 능력을 가짐을 특성화한다.
• 순서 테스트가 없는 BSS 기계는 더 약한 LPO* 정도로 특성화됨을 보여준다.
• 분석 기계의 계산 능력을 포괄하는 Weihrauch 정도 Sort*를 도입하고 분석한다.
• Stone-Weierstrass 정리를 적용하여 BSS-계산 가능한 함수를 유리 다항식으로 근사함으로써 TTE-계산 가능성으로의 전환을 가능하게 한다.
• 한계 연산자(lim⋆lim⋆Sort ≡ lim⋆lim)의 흡수 성질을 활용하여 SCI 비교에서 복잡도를 감소시킨다.

실험 결과

연구 질문

• RQ1 비연속성과 같은 위상적 장애물이 BSS-계산 가능성에 어떻게 제약을 가하는가?
• RQ2 BSS 변형 간에 비계산 가능성의 원인으로서의 대수적 요인과 위상적 요인이 얼마나 다를까?
• RQ3 BSS 모델에서의 해결 복잡도 지수(SCI)와 가역 분석(TTE)에서의 SCI 간의 관계는 무엇인가?
• RQ4 BSS 기계와 분석 기계의 계산 능력이 Weihrauch 정도로 완전히 기술될 수 있는가?
• RQ5 SCI ≥ 2일 때, BSS와 TTE 모델 간의 비계산 가능성에 대한 공통 프레임워크가 존재하는가?

주요 결과

• SCI ≥ 2인 함수에 대해, BSS 모델과 TTE 모델 간의 해결 복잡도 지수(SCI)가 동일하다.
• 등가 및 순서 테스트를 갖춘 BSS 기계는 Cₙ으로 Weihrauch 감소 가능한 함수를 정확히 계산한다.
• 순서 테스트가 없는 BSS 기계는 더 약한 LPO* 정도로 특성화된다.
• 분석 기계는 그들이 근사의 극한을 통해 계산할 수 있는 능력을 포괄하는 Weihrauch 정도 Sort*로 특성화된다.
• BSS 정지 문제는 위상적 이유로 연속적 연산만을 사용하는 어떤 기계로도 해결될 수 없다.
• 합성 lim⋆lim⋆Sort*는 Weihrauch 동치인 lim⋆lim이며, 이는 SCI 분석에서 고차원 극한의 복잡도 감소를 가능하게 한다.