양자 자동자의 추상적 개념 탐구

초록

본 논문은 고전 추상 상태 기계(ASM)를 양자 정보 처리에 적용하기 위해, 제어 유닛과 메모리 두 부분으로 구성된 상태 구조와 확률·양자 연산을 도입한 새로운 모델인 ‘추상 양자 자동자’를 정의한다. 이를 통해 양자 텔레포테이션 과정을 형식적으로 기술하고, 양자 메모리 변환의 수학적 기반을 제시한다.

상세 분석

논문은 먼저 고전적인 추상 상태 기계(ASM)의 정의와 그 한계를 짚는다. 기존 ASM은 상태를 단일 집합으로 보고, 전이 함수를 결정론적으로 정의한다는 점에서 양자 시스템의 비결정성 및 중첩 현상을 포착하기 어렵다. 이를 보완하기 위해 저자들은 상태를 두 개의 서브스페이스, 즉 ‘제어 유닛 상태(C)’와 ‘메모리 상태(M)’로 분리한다. 제어 유닛은 유한한 제어 흐름을 담당하고, 메모리 상태는 연산 대상이 되는 데이터 공간을 의미한다. 이 구조는 전통적인 튜링 기계에서 제어와 테이프를 구분하는 방식과 유사하지만, 여기서는 메모리 공간이 반드시 고전적인 비트열이 아니라 복소수 힐베르트 공간이 될 수 있다는 점이 핵심이다.

다음 단계에서는 전이 메커니즘을 결정론적 함수에서 확률적(스톡캐스틱) 함수로 일반화한다. 구체적으로, 현재 제어 상태와 메모리 상태에 대한 입력을 받아, 새로운 제어 상태와 메모리 상태의 확률 분포를 반환하는 ‘전이 연산자’를 정의한다. 이 연산자는 마코프 체인과 유사한 구조를 가지지만, 메모리 부분에 대해서는 확률적 전이 행렬 대신 완전 양자 채널(완전 양자 연산)을 적용한다. 즉, 메모리 변환은 완전 양자 연산(완전 양자 채널, CPTP 맵)으로 모델링되며, 이는 Kraus 연산자 집합으로 표현된다.

양자 확장 부분에서는 고전적인 메모리 변환을 양자 연산으로 교체함으로써 ‘추상 양자 자동자(abstract quantum automaton, AQA)’를 도입한다. AQA는 (C, M, δ) 삼중체로 정의되며, 여기서 δ는 (c, ρ) ↦ Σ_i p_i (c_i, 𝔈_i(ρ)) 형태의 확률·양자 전이 함수를 의미한다. p_i는 전이 확률, c_i는 다음 제어 상태, 𝔈_i는 메모리(양자 상태) ρ에 적용되는 완전 양자 채널이다. 이 정의는 양자 얽힘과 측정에 의한 비가역성을 자연스럽게 포함한다는 장점을 가진다.

논문은 이러한 형식적 틀을 실제 양자 텔레포테이션 프로토콜에 적용한다. 텔레포테이션 과정은 (1) 얽힌 쌍 생성, (2) 발신자의 베르스테인 측정, (3) 측정 결과에 따른 수신자의 보정 연산이라는 세 단계로 구성된다. 저자들은 각 단계마다 제어 상태와 메모리 상태를 명시하고, 전이 함수 δ를 Kraus 연산자와 조건부 클래식 제어 흐름으로 구체화한다. 예를 들어, 베르스테인 측정은 네 개의 Kraus 연산자 {M_k}와 각각의 측정 결과 k에 대응하는 제어 전이 c→c_k, 그리고 수신자의 보정 연산 U_k를 포함한다. 이를 통해 텔레포테이션 전체가 AQA의 하나의 연속적인 전이 궤적으로 표현됨을 보인다.

핵심 통찰은 다음과 같다. 첫째, 제어와 메모리를 명시적으로 분리함으로써 양자 연산과 고전 제어 로직을 동일한 수학적 프레임워크 안에 통합할 수 있다. 둘째, 확률·양자 전이 함수를 Kraus 연산자와 조건부 확률 분포로 기술함으로써, 양자 알고리즘의 비결정적 흐름을 정확히 모델링한다. 셋째, AQA는 기존 양자 회로 모델이나 양자 Turing machine과 달리, 추상 상태 기계의 유연성을 유지하면서도 물리적 양자 채널을 직접 다룰 수 있는 중간 단계 모델을 제공한다. 이는 양자 프로토콜 검증, 양자 소프트웨어 설계, 그리고 양자-고전 하이브리드 시스템의 형식적 분석에 유용한 도구가 될 전망이다.