[논문 리뷰] Simulations of Quantum Turing Machines by Quantum Multi-Stack Machines

Daowen Qiu|ArXiv.org|2005. 01. 30.

Quantum Computing Algorithms and Architecture참고 문헌 25인용 수 3

한 줄 요약

이 논문은 확장된 카운팅 기능(±1, ±2, ..., ±n, n > 1)을 가진 양자 다중스택 기계(QMSMs)와 양자 다중카운터 기계(QMCMs)를 도입하며, 유니터리(evolution)를 보장하기 위해 잘 정의된(W-F) 조건을 설정한다. QMSMs는 다항 시간의 느려짐을 동반하면서도 양자 튜링 기계(QTMs)를 효율적으로 $(n,t)$-모의실험할 수 있으며, QMCMs도 동일한 시간 복잡도로 QMSMs를 모의실험할 수 있어, 양자 모델에서 QTM과 QMSMs/QMCMs 간의 계산적 동치성을 확립한다.

ABSTRACT

As was well known, in classical computation, Turing machines, circuits, multi-stack machines, and multi-counter machines are equivalent, that is, they can simulate each other in polynomial time. In quantum computation, Yao [11] first proved that for any quantum Turing machines $M$, there exists quantum Boolean circuit $(n,t)$-simulating $M$, where $n$ denotes the length of input strings, and $t$ is the number of move steps before machine stopping. However, the simulations of quantum Turing machines by quantum multi-stack machines and quantum multi-counter machines have not been considered, and quantum multi-stack machines have not been established, either. Though quantum counter machines were dealt with by Kravtsev [6] and Yamasaki {\it et al.} [10], in which the machines count with $0,\pm 1$ only, we sense that it is difficult to simulate quantum Turing machines in terms of this fashion of quantum computing devices, and we therefore prove that the quantum multi-counter machines allowed to count with $0,\pm 1,\pm 2,...,\pm n$ for some $n>1$ can efficiently simulate quantum Turing machines. Therefore, our mail goals are to establish quantum multi-stack machines and quantum multi-counter machines with counts $0,\pm 1,\pm 2,...,\pm n$ and $n>1$, and particularly to simulate quantum Turing machines by these quantum computing devices.

연구 동기 및 목표

• 다중스택으로 일반화된 양자 푸시다운 온체인(quantum pushdown automata, QPDAs)을 기반으로 양자 다중스택 기계(QMSMs)를 정의하고, 모든 스택 구성에 대해 전이 앰플리튜드가 유니터리 조건을 만족하도록 잘 정의된(W-F) 조건을 통해 유니터리 진동을 보장한다.
• 확장된 카운팅(0, ±1, ±2, ..., ±n, n > 1)을 가진 양자 다중카운터 기계(QMCMs)를 도입하며, 이는 이전의 양자 카운터 온체인(QCAs)과 다름을 분명히 하며, W-F 조건을 정의한다.
• ±n( n > 1)으로 카운팅할 수 있는 QMCM은 0, ±1로만 카운팅하는 QMCM을 통해 효율적으로 모의실험할 수 있음을 보여준다.
• 양자 튜링 기계(QTMs)는 QMSMs를 통해 $(n,t)$-모의실험할 수 있으며, QMCMs도 동일한 시간 복잡도로 QMSMs를 모의실험할 수 있음을 증명한다.
• QTMs, QMSMs, QMCMs 간의 계산적 동치성 기반을 마련하여, 고전적 계산적 동치성을 양자 영역으로 확장한다.

제안 방법

• QPDAs를 다중스택 시스템으로 일반화하여 양자 다중스택 기계(QMSMs)를 정의하고, 상태 전이 함수가 전체 스택 구성에 대해 작용하도록 한다.
• 유니터리 진동을 보장하기 위해 QMSMs의 W-F 조건을 유니터리 진동 조건을 만족하는 전이 앰플리튜드에 기반하여 정의한다.
• 확장된 카운팅(0, ±1, ..., ±n, n > 1)을 가진 양자 다중카운터 기계(QMCMs)를 도입하며, 전이에서 전체 카운터 상태 정보를 사용함으로써 이전의 QCAs와 차별화한다.
• 시간 진동의 유니터리성을 보장하기 위해 QMCMs의 W-F 조건을 이전 연구보다 더 간결한 형식으로 설정한다.
• QTM의 테이프와 헤드 위치를 스택 및 카운터 상태에 인코딩하여 QMSM을 통해 QTM의 $(n,t)$-모의실험을 구성하며, 시간 복잡도를 유지한다.
• 유니터리성과 시간 효율성을 유지하는 카운터 인코딩 기법을 사용하여, 확장된 카운팅 기능을 가진 QMCMs를 0, ±1로만 카운팅하는 QMCMs로 모의실험한다.

실험 결과

연구 질문

• RQ1 양자 다중스택 기계(QMSMs)는 잘 정의된(W-F) 조건을 통해 유니터리 진동을 보장할 수 있으며, 양자 튜링 기계(QTMs)를 효율적으로 모의실험할 수 있는가?
• RQ2 확장된 카운팅(0, ±1, ..., ±n, n > 1)을 가진 양자 다중카운터 기계(QMCMs)는 다항 시간의 오버헤드를 동반하면서도 QTMs를 모의실험할 수 있는가?
• RQ3 ±n(n > 1)으로 카운팅하는 QMCM은 0, ±1로만 카운팅하는 QMCM을 통해 시간 복잡도와 유니터리성을 유지하면서 모의실험할 수 있는가?
• RQ4 제안된 QMSMs와 QMCMs의 W-F 조건은 기존의 양자 카운터 온체인(QCAs)의 것과 비교해 복잡성과 표현력 면에서 어떻게 다른가?
• RQ5 양자 다중스택 기계는 동일한 시간 복잡도로 양자 다중카운터 기계를 모의실험할 수 있으며, 이는 QTM의 계층적 모의실험을 가능하게 하는가?

주요 결과

• 논문은 QPDAs를 다중스택으로 일반화하여 QMSMs를 정의하고, 시스템의 유니터리 진동을 보장하는 간결한 W-F 조건을 제시한다.
• 확장된 카운팅 기능(0, ±1, ..., ±n, n > 1)을 가진 QMCMs를 도입하였으며, 이들의 W-F 조건은 유니터리성을 유지하도록 구성되었다.
• ±n(n > 1)으로 카운팅하는 QMCM은 0, ±1로만 카운팅하는 QMCM을 통해 효율적으로 모의실험할 수 있으며, 시간 복잡도가 유지된다.
• 양자 튜링 기계(QTMs)는 QMSMs를 통해 $O(n + t)$의 다항 시간 느려짐을 동반하면서도 $(n,t)$-모의실험할 수 있으며, 이는 계산적 동치성을 확립한다.
• QMCMs는 QMSMs를 동일한 시간 복잡도로 모의실험할 수 있으며, 이는 QMSMs가 QMCMs보다 적어도 동일한 수준의 능력을 지닌다는 것을 확인한다.
• QMSMs와 QMCMs의 W-F 조건는 기존의 QCAs에 비해 더 간결하여, 양자 온체인 설계의 명확성과 실용성을 향상시킨다.