[논문 리뷰] About the quantum mechanical speeding up of classical algorithms

Yuri Ozhigov|ArXiv.org|1997. 06. 02.

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

한 줄 요약

이 논문은 상대적 확산 변환(RDT)을 도입하며, 이는 병렬-순차 처리를 활용하여 고전적 계산을 양자 컴퓨터에서 가속화하는 유니터리 양자 연산이다. 고전적 1차원 세포자기모형에서 시간 T와 공간 S를 소모하는 계산은 √T개의 크기 O(S)인 양자 장치를 사용하여 확실하게 O(S√T) 시간 내에 수행될 수 있음을 증명하며, 양자 병렬성과 오рак루 기반 부분공간 조작을 통해 고전적 방법에 비해 제곱근 수준의 가속도를 달성한다.

ABSTRACT

This work introduces a relative diffusion transformation (RDT) - a simple unitary transformation which acts in a subspace, localized by an oracle. Such a transformation can not be fulfilled on quantum Turing machines with this oracle in polynomial time in general case. It is proved, that every function computable in time T and space S on classical 1-dimensional cellular automaton, can be computed with certainty in time O(S \sqrt T) on quantum computer with RDTs over the parts of intermediate products of classical computation. This requires multiprocessor, which consists of \sqrt T quantum devices each of O(S) size, working in parallel-serial mode and interacting by classical lows.

연구 동기 및 목표

• 기존의 쇼어 또는 거버 알고리즘과 같은 특정 알고리즘을 초월해 양자역학이 고전 알고리즘에 대해 체계적인 가속도를 제공할 수 있는지 탐색한다.
• 표준 양자 Turning 기계가 고전 계산을 가속화하기 위해 필요한 특정 유니터리 변환을 효율적으로 구현하는 데에 한계가 있음을 다룬다.
• 제어된, 오라클에 국한된 유니터리 진동을 가능하게 하는 새로운 양자 메커니즘인 상대적 확산 변환(RDT)을 제안한다.
• RDT가 다중처리기 양자 아키텍처에 구현되었을 때 고전적 1차원 세포자기모형 계산에 대해 결정론적 제곱근 수준의 가속도를 가능하게 함을 보여준다.

제안 방법

• 논문은 오라클에 의해 정의된 부분공간에 작용하는 유니터리 연산인 상대적 확산 변환(RDT)을 도입하며, 이는 양자 상태 내에서 선택적 진폭 조작을 가능하게 한다.
• RDT는 힐베르트 공간의 부분공간 내에서 작용하도록 설계되었으며, 오라클에 의해 국한된 상태에서 작동하며, 표준 양자 Turning 기계에서 다항 시간 내에 효율적으로 실행될 수 없다.
• 이 방법은 √T개의 양자 장치로 구성된 다중처리기 양자 아키텍처를 사용하며, 각 장치의 크기는 O(S)이며, 병렬-순차 모드로 작동하여 고전 계산의 중간 단계를 시뮬레이션한다.
• 각 양자 장치는 고전 계산의 중간 결과의 일부를 처리하며, 장치 간의 고전적 통신을 통해 전체 계산을 조율한다.
• 이 변환은 고전적 시간 T로 제한된 원래의 고전 함수 계산을 가속화하기 위해 양자 병렬성과 간섭을 활용한다.
• 분석은 각 단계가 결정론적이고 국소적인 1차원 세포자기모형 모델을 가정하며, 이 모델을 RDT를 사용한 양자 회로로 매핑하여 총 실행 시간을 단축시킨다.

실험 결과

연구 질문

• RQ1 양자역학은 사실화나 검색과 같은 특정 케이스를 초월해 임의의 고전 알고리즘을 일반적으로 가속화할 수 있는 방법을 제공할 수 있는가?
• RQ2 왜 표준 양자 Turning 기계 모델은 고전 계산을 가속화하기 위해 필요한 특정 유니터리 변환을 효율적으로 실행할 수 없는가?
• RQ3 오라클에 의해 정의된 부분공간에서만 작용하는 상대적 확산 변환(RDT)을 구성할 수 있는가? 그리고 이는 더 빠른 계산을 가능하게 하는가?
• RQ4 고전적 1차원 세포자기모형에 대해 증명 가능한 가속도를 달성하기 위해 최소한의 양자 자원(큐비트 수와 깊이)이 필요한가?
• RQ5 여러 개의 작은 양자 장치 간의 고전적 통신을 어떻게 활용하여 더 큰 양자 계산을 시간 복잡도를 줄여가며 시뮬레이션할 수 있는가?

주요 결과

• 논문은 고전적 1차원 세포자기모형 계산이 시간 T와 공간 S를 소모할 경우, RDT를 사용하여 확실하게 O(S√T) 시간 내에 양자 컴퓨터에서 시뮬레이션할 수 있음을 증명한다.
• 필요한 양자 아키텍처는 √T개의 양자 장치로 구성되며, 각 장치의 크기는 O(S)이며, 고전적 통신을 통해 병렬-순차 모드로 작동한다.
• 가속도는 고전적 시간 T에 대해 제곱근 수준이며, 오라클에 의해 정의된 부분공간 내에서 올바른 계산 경로의 진폭을 증폭하기 위해 RDT를 사용함으로써 달성된다.
• RDT 변환은 표준 양자 Turning 기계에서 다항 시간 내에 실행될 수 없으며, 이는 표준 모델이 이 유형의 문제에 대해 한계를 가짐을 시사한다.
• 이 결과는 고전적 1차원 세포자기모형에 대해 Grover나 쇼어 스타일 알고리즘에 기반하지 않은 새로운 종류의 양자 가속도를 설정한다.
• 이 방법은 확률적 결과에 의존하는 진폭 증폭 기법과 달리 결정론적 계산을 보장한다.