양자 튜링머신의 결정적 정지와 SRQTM 모델

초록

본 논문은 양자 튜링머신(QTM)의 한 하위 클래스인 SRQTM을 정의한다. SRQTM은 모든 계산 경로가 동일한 시간 단계에서 멈추고, 테이프 헤드 위치가 결정적으로 유지된다. 이를 시각화하기 위해 양자 상태 전이 다이어그램(QSTD)을 제안하고, QSTD를 이용해 근접-자명 변환(near‑trivial transformation)을 구현하는 보편적인 SRQTM을 구성한다. 마지막으로 SRQTM이 오류 허용 범위 내에서 일반 QTM와 계산 복잡도 측면에서 동등함을 증명함으로써, SRQTM을 모델로 삼을 경우 전통적인 “정지 스킴 문제”가 사라짐을 보인다.

상세 분석

SRQTM은 기존 양자 튜링머신이 갖는 두 가지 근본적인 모호성을 해소한다. 첫째, 일반 QTM은 각 계산 분기마다 정지 시점이 달라 “정지 검증” 과정에서 비단위 연산이 필요해 물리적 구현이 복잡해진다. SRQTM은 모든 분기가 동일한 스텝 수에서 멈추도록 설계되어, 측정 없이도 정지 여부를 확정할 수 있다. 둘째, 헤드 위치가 결정적이라는 제약은 상태 공간을 명시적으로 제한함으로써, 전이 규칙을 그래프 형태인 QSTD로 직관적으로 표현한다. QSTD는 정점이 기계의 내부 상태와 헤드 위치, 간선이 복소수 진폭을 갖는 전이 연산을 나타내며, 전통적인 회로 모델과 유사한 구조적 가독성을 제공한다. 논문은 QSTD를 이용해 ‘근접‑자명 변환’이라 부르는, 입력 벡터의 두 성분만을 선택적으로 회전·위상 변환하는 연산을 구현한다. 이러한 변환은 임의의 유니터리 연산을 근사화하는 기본 블록으로, SRQTM이 보편적인 양자 연산을 수행할 수 있음을 증명한다. 또한, SRQTM이 일반 QTM과 동일한 언어 인식 능력을 갖는다는 ‘계산 동등성 정리’를 증명한다. 증명은 SRQTM을 다항식 시간 내에 일반 QTM로 시뮬레이션할 수 있음을 보이며, 반대로 일반 QTM를 오류 허용 범위(예: BQP) 내에서 SRQTM으로 변환할 수 있음을 보여준다. 결과적으로, SRQTM은 물리적 구현이 용이하면서도 이론적 강력함을 유지하는 새로운 양자 계산 모델로 자리매김한다.