[논문 리뷰] Efficient Quantum Solution of Differential Equations

Thomas Szkopek, Vwani Roychowdhury외 2명|arXiv (Cornell University)|2004. 08. 20.

Quantum Computing Algorithms and Architecture인용 수 1

한 줄 요약

이 논문은 마이컬슨 방정식과 같은 미분방정식을 양자역학적 시스템에 매핑하는 양자 알고리즘을 제안하며, 고전적 방법에 비해 지수적 메모리 절감과 다항식 속도 향상을 가능하게 한다. 10^16개의 격자점 문제에 대해 고전적 방법과 비교해 약 70개의 논리적 큐비트와 약 10^7단계만으로도 충분하며, 고전적 방법의 약 10^21단계에 비해 전자기 모드 주파수 계산에서 O(N^3)의 시간 속도 향상을 달성한다.

ABSTRACT

We demonstrate how differential equations can be mapped onto a quantum mechanical system, and can thus be emulated by a quantum processor. We specify the class of differential equations for which computation can be achieved with an exponential reduction in memory space required, and a power law reduction in time resources compared to classical simulation. For example, we find Maxwell's electromagnetic equations can be emulated with logarithmic cost in the total number of grid points, and a time speed up of O(N^3) compared to a classical finite difference scheme, in calculating electromagnetic mode frequencies of resonant structures, where N is the total number of grid points along a Cartesian axis. Numerically, a problem with 10^16 grid points would require only ~70 logical qubits, and could be computed in only ~10^7 iterative steps, while the classical solution would require ~10^21 iterative steps.

연구 동기 및 목표

• 고전적 방법에 비해 지수적 자원 절감을 이룰 수 있는 효율적인 양자 알고리즘을 개발하는 것.
• 양자 시뮬레이션을 통해 상당한 계산적 이점을 얻을 수 있는 미분방정식의 범주를 규명하는 것.
• 대규모 전자기장 문제를 해결함에 있어 기억장치의 지수적 감소와 시간의 다항식 속도 향상을 입증하는 것.
• 작은 수의 논리적 큐비트로 대규모 공진 구조를 시뮬레이션할 수 있는 가능성을 보여주는 것.

제안 방법

• 양자역학적 해밀토니안에 미분방정식을 매핑하여 양자 시뮬레이션을 가능하게 하는 것.
• 상태 준비 기법과 양자 위상 추정을 활용해 중첩 상태에서 시스템을 진화시키는 것.
• 모든 격자점에서 동시에 해를 계산하기 위해 양자 병렬성을 활용하는 것.
• 공간 이산화를 이진 표현을 통해 큐비트 레지스터에 인코딩하여 자원 소비를 로그 스케일링하는 것.
• 반복적 양자 알고리즘을 적용해 공진 구조의 고유주파수를 효율적으로 추출하는 것.
• 논리적 큐비트 인코딩과 고장내성 양자 계산 원리를 통해 오류에 강건한 설계를 확보하는 것.

실험 결과

연구 질문

• RQ1 미분방정식을 양자 시스템에 매핑하여 계산 속도의 지수적 향상을 달성할 수 있는가?
• RQ2 어떤 종류의 미분방정식이 큐비트 자원의 로그 스케일링과 다항식 시간 감소를 가능하게 하는가?
• RQ3 맥스웰 방정식을 해결하는 데 있어 양자 시뮬레이션이 고전적 유한차분 기법에 비해 어느 정도 뛰어난 성능을 보일 수 있는가?
• RQ4 대규모 전자기 문제를 고전적으로는 해결할 수 없는 경우, 필요한 논리적 큐비트 수와 단계 수는 각각 얼마인가?
• RQ5 고전적 반복 해법에 비해 양자 접근의 이론적 시간 복잡도 이점은 무엇인가?

주요 결과

• 양자 알고리즘은 전자기 모드 주파수 계산에서 고전적 유한차분 기법에 비해 O(N^3)의 시간 속도 향상을 달성한다.
• 10^16개의 격자점 문제에 대해 약 70개의 논리적 큐비트만으로도 대규모 공진 구조의 스케일러블 시뮬레이션을 가능하게 한다.
• 기존의 O(N^3)의 기억장치 요구량에서 격자점 수에 대해 로그 스케일링으로 감소시킨다.
• 반복 단계 수는 고전적 방법의 약 10^21단계에서 양자 계산을 통해 약 10^7단계로 감소한다.
• 자원 제약으로 인해 고전 컴퓨터로는 구현이 불가능한 전자기 시스템의 효율적 시뮬레이션을 가능하게 한다.
• 대규모 미분방정식에 대해 정확도를 유지하면서도 계산 비용을 극적으로 감소시킨다.