BSS 모델에서 비계산 가능 함수와 대수적 실수의 계층

초록

본 논문은 Blum‑Shub‑Silver (BSS) 실수 계산 모델에서 대수적 실수들의 차수에 따른 오라클 능력을 조사한다. 차수 d 이하의 대수적 실수 집합에 대한 오라클만으로 차수 d + 1인 실수를 판별할 수 없음을 증명하고, 더 나아가 카운트 가능한 오라클 아래에서는 BSS 정지 문제조차 결정 불가능함을 보인다. 핵심 기법은 매개변수와 오라클에 대해 대수적으로 독립인 실수 튜플을 입력으로 사용하는 것이다.

상세 분석

논문은 먼저 BSS 기계가 실수 연산을 무한정 사용할 수 있다는 전제 하에, 대수적 실수 집합 A_d = {실수 x | x는 차수 ≤ d인 최소 다항식의 근}에 대한 오라클이 얼마나 강력한지를 체계적으로 분석한다. 저자들은 “오라클 A_d가 A_{d+1}을 결정할 수 없는” 사실을 보이기 위해, 입력값으로 선택된 실수 벡터 α = (α_1,…,α_k)가 매개변수와 오라클에 대해 대수적으로 독립임을 보장한다. 이때 BSS 기계가 수행하는 모든 연산은 유리함수와 비교 연산에 국한되므로, 기계가 만든 모든 중간값 역시 α에 대한 유리함수 형태를 유지한다. 따라서 기계가 최종적으로 출력하는 결정은 α에 대한 어떤 다항식 관계를 암시하게 되는데, 대수적 독립성 때문에 그런 관계는 존재하지 않는다. 결과적으로 A_d 오라클만으로는 A_{d+1}의 원소 여부를 판단할 수 없으며, 이는 차수에 따른 엄격한 계층 구조를 형성한다는 것을 의미한다.

다음으로 저자들은 카운트 가능한 오라클 집합 C에 대해 BSS 정지 문제 HALT_BSS가 C 이하에서는 결정 불가능함을 증명한다. 여기서는 C가 포함하는 모든 실수가 가산 집합이므로, C와 독립적인 대수적 독립 실수 튜플을 선택할 수 있다. 그런 입력에 대해 어떤 BSS 기계가 HALT_BSS를 결정하려 하면, 기계는 결국 유한한 연산과 비교만으로 무한히 많은 경우를 구분해야 하는데, 이는 불가능함을 보인다. 더 나아가 저자들은 오라클 집합의 기수(cardinality)와 BSS 기계가 사용할 수 있는 파라미터 수 사이에 필요한 관계를 제시한다. 즉, 오라클의 크기가 기계가 다룰 수 있는 파라미터보다 작으면, 해당 오라클 아래에서는 어떤 비가산 집합도 완전하게 결정할 수 없다는 일반적인 제한을 도출한다.

전체적으로 논문은 BSS 모델에서 “대수적 독립성”이라는 수학적 도구를 활용해, 전통적인 Turing 모델과는 다른 형태의 비계산 가능성을 밝힌다. 특히 차수에 따른 대수적 실수 집합의 오라클 능력 차이는 BSS 계산 복잡도 이론에 새로운 계층 구조를 제시하며, 정지 문제와 같은 고전적인 결정 문제도 카운트 가능한 오라클 아래에서는 여전히 불가능함을 보여준다. 이러한 결과는 BSS 모델이 실수 연산을 직접 다루는 상황에서 어떤 정보가 실제로 계산에 기여할 수 있는지를 정량화하는 데 중요한 통찰을 제공한다.