[논문 리뷰] Actual computational time-cost of the Quantum Fourier Transform in a quantum computer using nuclear spins

Akihiro Saito, K. Kioi외 3명|ArXiv.org|2000. 01. 31.

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

한 줄 요약

이 논문은 핵 스핀 기반 양자 컴퓨터인 블록 스핀 공명(BSR) 및 스핀 공명 트anz이스터(SRT)에서 양자 푸리에 변환(QFT)의 실제 계산 시간 비용을 분석한다. 특히 단계 이동과 비접속 제어 상호작용 게이트의 게이트 의존적 작동 시간으로 인해 실제 시간 비용이 $O(n2^n)$으로 증가함을 보여주며, 이는 이상적인 $O(n^2)$ 비용을 크게 초월하여 대규모 인수분해의 실현 가능성에 대한 우려를 제기한다.

ABSTRACT

We found that the actual computational time-cost of the QFT is O(n 2^n) for large n in a quantum computer using nuclear spins. The computational cost of a quantum algorithm has usually been estimated as the sum of the universal gates required in such ideal mathematical models as the Quantum Turing Machine(QTM) and the quantum circuit. This cost is proportional to an actual time-cost in the physical implementation where all quantum operations can be achieved in the same time. However, if the implementation takes a different time for each quantum gate, there is a possibility that the actual time-cost will have a different behavior from the ideal cost. So we estimated the actual time-cost of the QFT in these implementations by considering the gating time. The actual time-cost is drastically different from O(n^2) estimated by complexity analysis.

연구 동기 및 목표

• 핵 스핀을 사용한 물리적 양자 컴퓨터에서 QFT의 실제 시간 비용을 평가하여 이상화된 복잡도 모델을 넘어서는 것.
• BSR 및 SRT 환경에서 단일 큐비트 및 이중 큐비트 게이트의 작동 시간이 어떻게 변하는지 조사하는 것.
• 접한 큐비트 간의 스왑을 통한 비접한 게이트 구성이 총 실행 시간에 미치는 영향을 평가하는 것.
• 이상화된 $O(n^2)$ 복잡도와 실제 하드웨어 의존적 시간 비용 간의 비교를 통해 현실적인 물리적 환경에서의 성능를 평가하는 것.
• 자기장 제어 및 게이트 타이밍의 현실적인 물리적 제약 하에서 대규모 양자 인수분해의 실현 가능성 평가.

제안 방법

• 표준 양자 게이트를 사용하여 QFT를 모델링함: 하다마드 게이트 ($H_j$), 단계 이동 ($R_{yj}( heta)$, $R_{zj}( heta)$), 제어 상호작용 게이트 ($C_{j,k}( heta)$), 제어 단계 이동 게이트 ($D_{j,k}( heta)$).
• BSR 및 SRT에서의 게이트 작동을 분석함. 여기서 게이트 시간은 펄스 지속 시간 또는 자기장 강도에 따라 달라지며, 단계 이동은 이동 각도에 비례하는 시간을 소요함.
• 비접한 이중 큐비트 게이트를 인접 스왑 연산 ($S_{j,k}$)을 사용하여 모델링함. 제어 큐비트를 이동시키기 위해 $S_{k,k-1} \cdots S_{j+1,j} U_{j,j+1} S_{j,j+1} \cdots S_{k,k-1}$ 와 같은 순서를 사용함.
• 모든 단계 이동과 스왑 연산의 시간을 합산하여 총 시간 비용을 유도함. 이때 $n$에 따라 필요한 이동 각도가 지수적으로 증가함을 고려함.
• QFT 회로의 대칭성을 활용하여 중복 스왑을 줄임으로써 최적화 후에는 오직 $O(n^2)$개의 스왑만 남는다는 것을 보임.
• 지속 시간 제어(각도 비례 시간)와 강도 제어(고정 시간 매 게이트)를 비교함. 지속 시간 제어 방식이 지수적 시간 스케일링을 유도함을 보임.

실험 결과

연구 질문

• RQ1 핵 스핀 양자 컴퓨터에서 QFT의 실제 시간 비용은 이상화된 $O(n^2)$ 복잡도와 어떻게 다를까?
• RQ2 특히 단계 이동에 대해 게이트 의존적 작동 시간이 QFT의 총 실행 시간에 어떤 영향을 미치는가?
• RQ3 접한 스왑을 통한 비접한 제어 상호작용 게이트 구성이 총 시간 비용에 어떤 영향을 미치는가?
• RQ4 QFT 회로의 대칭성은 필요한 스왑 연산 수를 줄일 수 있으며, 만약 그렇다면 어느 정도까지 줄일 수 있는가?
• RQ5 필요한 자기장 강도가 지수적으로 증가함에 따라 대규모 QFT를 구현하는 데 실질적인 제약은 무엇인가?

주요 결과

• BSR 및 SRT 환경에서 QFT의 실제 시간 비용은 큰 $n$에 대해 $O(n2^n)$으로 증가하며, 이는 이상적인 $O(n^2)$ 비용을 크게 초월한다.
• 지속 시간 제어 모드에서는 각 단계 이동의 시간이 이동 각도에 비례하므로 $n$에 따라 지수적 시간 증가가 발생한다.
• 강도 제어 모드에서는 게이트 시간이 일정하지만, 필요한 자기장 강도는 $n$에 따라 지수적으로 증가하며, 최소 이동이 $10^{-3}$ T일 경우 100 큐비트 QFT에 대해 $B \sim 10^{27}$ T에 이를 수 있다.
• 비접한 제어 상호작용 게이트는 난이도 있는 구성 방식으로 $O(n^3)$개의 인접 스왑이 필요하지만, 대칭성을 활용한 최적화로 $O(n^2)$개의 스왑으로 줄일 수 있다.
• 실제 시간 비용은 스왑 연산이 아니라 단계 이동에 의해 주로 결정되며, 이는 물리적 환경에서의 게이트 타이밍이 핵심 병목 현상이 된다는 것을 의미한다.
• 이 연구는 이상화된 복잡도 분석만으로는 실현 가능성 평가가 부족하며, 대규모 양자 알고리즘을 구현하기 위해서는 실제 시간 비용을 반드시 고려해야 한다고 결론 내린다.