[논문 리뷰] Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability

Martin Ziegler|ArXiv.org|2008. 11. 24.

Computability, Logic, AI Algorithms참고 문헌 13인용 수 8

한 줄 요약

이 논문은 비균일 실수 계산의 복잡도 이론을 수립하여, 불연속 문제를 계산 가능하게 만들기 위해 필요한 최소한의 이산 조언을 정량화한다. 불연속성 문제의 계산 가능성을 보장하기 위해 행렬의 질량(가령, n−1 비트) 또는 대칭 행렬의 고유값의 수(가령, log₂n 비트)를 안다는 사실이 충분함을 보이며, 위상수학적 및 효과적 Borel 계층 분석을 통해 엄밀한 상한이 증명된다.

ABSTRACT

It is folklore particularly in numerical and computer sciences that, instead of solving some general problem f:A->B, additional structural information about the input x in A (that is any kind of promise that x belongs to a certain subset A' of A) should be taken advantage of. Some examples from real number computation show that such discrete advice can even make the difference between computability and uncomputability. We turn this into a both topological and combinatorial complexity theory of information, investigating for several practical problems how much advice is necessary and sufficient to render them computable. Specifically, finding a nontrivial solution to a homogeneous linear equation A*x=0 for a given singular real NxN-matrix A is possible when knowing rank(A)=0,1,...,N-1; and we show this to be best possible. Similarly, diagonalizing (i.e. finding a BASIS of eigenvectors of) a given real symmetric NxN-matrix is possible when knowing the number of distinct eigenvalues: an integer between 1 and N (the latter corresponding to the nondegenerate case). And again we show that N-fold (i.e. roughly log N bits of) additional information is indeed necessary in order to render this problem (continuous and) computable; whereas for finding SOME SINGLE eigenvector of A, providing the truncated binary logarithm of the least-dimensional eigenspace of A--i.e. Theta(log N)-fold advice--is sufficient and optimal.

연구 동기 및 목표

• 불연속 실수 함수를 계산 가능하게 만들기 위해 필요한 최소한의 이산 조언의 양을 체계화하고 분석하는 것.
• 위상수학적 및 효과적 Borel 구조에 기반한 비균일 계산 가능성의 복잡도 이론을 개발하는 것.
• 선형 방정식을 푸는 것과 같은 핵심 문제들, 예를 들어 대칭 행렬의 대각화와 같은 문제들에 대해 최적의 조언을 결정하는 것.
• 이산 조언이 실수 계산에서 계산 불가능한 문제의 복잡도를 어떻게 감소시키는지, 언제 그리고 어떻게 그런가를 특성화하는 것.
• 유한한 이산 조언을 포함한 Type-2 튜링 기계 모델 내에서 실수 체계의 Church-Turing 논법에 대응하는 이론을 수립하는 것.

제안 방법

• 함수 f가 계산 가능해지기 위해 필요한 최소한의 조언 비트 수를 측정하기 위해 '레벨'(Lev(f)) 개념을 사용한다.
• 특히 $2\text{--}\Sigma_1$ 클래스를 포함한 효과적 Borel 계층을 적용하여 조언 집합의 위상 복잡도를 특성화한다.
• 스펙트럼 불변량(예: 랭크, 서로 다른 고유값의 수)의 하부 계산 가능성 및 하부 연속성을 활용하여, 함수가 연속성이 되는 효과적 열린 집합을 구성한다.
• 레퍼런스 9d를 적용하여 조언 집합 $\operatorname{LEV}(f,i)$ 가 연속성 영역으로 나누어진 최소 분할을 이룬다는 것을 보인다.
• 필요한 조언의 하한을 증명하기 위해 'k-불연속성의 증거' 개념을 사용한다.
• 스펙트럼 불변량에서 유도된 효과적 열린 집합을 통해 함수 도메인의 위상적 구조를 통해 계산 가능성 문제를 환원한다.

실험 결과

연구 질문

• RQ1 특이 실수 $n\times n$ 행렬 $A$에 대해 $A\cdot\vec{x}=0$ 를 푸는 문제를 계산 가능하게 하기 위해 필요한 최소한의 이산 조언은 얼마인가?
• RQ2 서로 다른 고유값의 수가 대칭 행렬의 대각화 문제를 계산 가능하게 하기 위한 최소 조언인가?
• RQ3 단일 고유벡터를 찾는 데 필요한 최소 조언을 특성화할 수 있으며, 이것이 최적인가?
• RQ4 도메인을 연속성 영역으로 나누는 분할이 크기와 유일성(순열을 제외한 유일성) 측면에서 최소일 조건은 무엇인가?
• RQ5 유한한 이산 조언을 사용하여 실수 체계의 Church-Turing 논법에 대응하는 형태를 정의할 수 있는가?

주요 결과

• 특이 실수 $n\times n$ 행렬 $A$에 대해 $A\cdot\vec{x}=0$ 를 푸는 문제는 정확히 $n$ 비트의 조언(즉, $\operatorname{rank}(A)\in\{0,1,\ldots,n-1\}$)이 필요하며, 이는 최적이다.
• 실수 대칭 $n\times n$ 행렬 $A$의 대각화는 정확히 서로 다른 고유값의 수(1에서 $n$ 사이의 정수)가 조언으로 제공될 경우에만 계산 가능하며, 이 경우 $n$ 비트가 필요하고 충분하다.
• 대칭 $n\times n$ 행렬의 단일 고유벡터를 찾는 데는 오직 $\lfloor\log_2 n\rfloor + 1$ 비트의 조언만 필요하다—구체적으로는 최소 차원의 고유공간의 차원의 절단된 이진 로그이며, 이는 최적이다.
• 비균일 계산 가능성의 복잡도는 효과적 Borel 계층을 통해 특성화되며, $2\text{--}\Sigma_1$ 집합이 조언 집합의 위상적 구조를 포괄한다.
• 다중값 함수 $f$의 레벨 $\operatorname{Lev}(f)$ 는 계산 가능성을 위해 필요한 최소 비트 수를 나타내며, 핵심 문제들에 대해 이 값이 엄밀하게 유 bounds 된다.
• 논문은 $\operatorname{LEV}(f,i)$ 집합이 연속성 영역으로 나누어진 최소 분할을 이룬다는 것을 증명하였으며, 특정 조건 하에서는 이 분할이 순열을 제외한 유일성도 갖는다.