읽지 않는 메모리와 양자 계산의 새로운 가능성

초록

본 논문은 읽기 전용 메모리(Write‑Only Memory, WOM)를 양자 유한 자동기에 결합했을 때, 기존의 고전적·양자 모델이 해결하지 못하던 문제들을 해결할 수 있음을 보인다. 특히 실시간 양자 유한 자동기가 다양한 접근 모드와 용량을 가진 WOM을 이용하면, 서브로그 메모리 제한 하의 양방향 확률 튜링 기계가 풀 수 없는 언어들을 인식할 수 있음을 증명한다.

상세 분석

이 연구는 먼저 고전 컴퓨팅에서 WOM이 실질적인 계산 이득을 제공하지 못한다는 전통적인 인식을 재검토한다. 고전적 확률 기계에 WOM을 추가해도 상태 전이 확률 분포에 영향을 주는 입력 정보를 얻을 수 없으므로, 언어 인식 능력은 변하지 않는다. 반면 양자 컴퓨팅에서는 상태가 복소수 진폭의 중첩으로 표현되며, 측정 전까지는 정보가 비가시적으로 존재한다. 저자들은 이 점을 이용해, 양자 유한 자동기(QFA)가 WOM에 기록하는 과정 자체가 양자 얽힘과 위상 간섭을 유도함을 보였다. 특히 실시간 QFA는 입력 심볼을 한 번만 읽으며, 동시에 WOM에 기록된 비가시적 정보를 내부 유니터리 연산에 활용한다.

논문은 세 가지 WOM 접근 모드를 정의한다: (1) 순차 쓰기 전용, (2) 무작위 쓰기 전용, (3) 양방향 쓰기 전용. 각 모드마다 기록된 비트열이 양자 레지스터와 어떻게 결합되는지를 수학적으로 모델링하고, 이를 통해 언어 L₁ = {aⁿbⁿcⁿ | n≥1}와 같은 비정규 언어를 실시간 QFA+WOM이 인식할 수 있음을 증명한다. 특히 순차 쓰기 전용 WOM의 경우, 기록된 심볼 순서가 자동기의 내부 큐와 동일한 위상 관계를 형성해, 최종 측정 시 원하는 패턴만을 강화하고 나머지는 소멸시킨다.

또한 용량 제한을 고려해, 로그 규모의 WOM(즉, O(log n) 셀)만으로도 기존 양자 유한 자동기가 풀 수 없는 언어들을 해결할 수 있음을 보였다. 이는 기존 연구에서 양자 유한 자동기가 O(1) 메모리만을 사용해 정규 언어만 인식한다는 한계를 뛰어넘는 결과이다. 마지막으로, 서브로그 메모리(예: o(log n) 셀)만을 허용하는 양방향 확률 튜링 기계와 비교했을 때, QFA+WOM은 동일한 메모리 제약 하에서도 더 높은 언어 복잡성을 다룰 수 있음을 실험적 시뮬레이션과 이론적 경계 분석을 통해 확인했다.

이러한 결과는 양자 컴퓨팅에서 “읽히지 않는” 정보가 실제로 계산 자원으로 활용될 수 있음을 최초로 입증한 것으로, 양자 알고리즘 설계 시 메모리 접근 모델을 재고해야 함을 시사한다.