[논문 리뷰] Conditions for a quadratic quantum speedup in nonlinear transforms with applications to energy contract pricing

Gabriele Agliardi, Corey O’Meara외 9명|arXiv (Cornell University)|2023. 04. 20.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 다항수렴과 양자 하다르드 곱셈(QHP)을 사용하여 이차형 위험 함수를 효율적으로 평가하기 위한 하이브리드 양자-고전 알고리즘을 제안한다. 효율적인 데이터 로딩 유니터리가 가능할 경우, 제곱근 수준의 양자 속도 향상—다항로그 인자까지 고려할 때—을 달성한다. 이 방법은 동적 회로와 향상된 이중 방향 인코딩을 활용하여 회로 깊이를 줄이고, 근접한 양자 하드웨어에서의 성능을 향상시킨다.

ABSTRACT

Computing nonlinear functions over multilinear forms is a general problem with applications in risk analysis. For instance in the domain of energy economics, accurate and timely risk management demands for efficient simulation of millions of scenarios, largely benefiting from computational speedups. We develop a novel hybrid quantum-classical algorithm based on polynomial approximation of nonlinear functions, computed through Quantum Hadamard Products, and we rigorously assess the conditions for its end-to-end speedup for different implementation variants against classical algorithms. In our setting, a quadratic quantum speedup, up to polylogarithmic factors, can be proven only when forms are bilinear and approximating polynomials have second degree, if efficient loading unitaries are available for the input data sets. We also enhance the bidirectional encoding, that allows tuning the balance between circuit depth and width, proposing an improved version that can be exploited for the calculation of inner products. Lastly, we exploit the dynamic circuit capabilities, recently introduced on IBM Quantum devices, to reduce the average depth of the Quantum Hadamard Product circuit. A proof of principle is implemented and validated on IBM Quantum systems.

연구 동기 및 목표

• 에너지 계약 가격 산정과 같은 위험 분석에서 비선형 함수를 계산하기 위한 확장 가능한 양자 알고리즘 개발
• 양자 연산의 선형성으로 인해 비선형성을 양자 회로에 효율적으로 표현하는 데 도전
• 다중선형 형식의 다항식 함수 평가에서 고전적 몬테카를로 방법에 비해 양자 속도 향상 달성
• 향상된 이중 방향 직교 인코딩(BOE) 기법을 사용하여 회로 깊이와 너비의 상호 교환 최적화
• IBM Quantum 장치에서 동적 회로 기능을 활용하여 실제 장치에서의 방법 검증

제안 방법

• 비선형 함수를 표현하기 위해 다항수렴을 사용하여 양자 회로를 통한 평가 가능
• 양자 하다르드 곱셈(QHP)을 사용해 진폭의 거듭제곱을 계산하고, 다항식 항의 평가 기초 제공
• 회로 깊이와 너비의 상호 교환을 조절하기 위해 향상된 이중 방향 직교 인코딩(BOE) 도입
• IBM Quantum 프로세서의 최근 동적 회로 발전을 활용해 중간 회로 측정을 통한 동적 정지 적용으로 평균 회로 깊이 감소
• 최종 다항식 값의 정밀한 추정을 위해 양자 진폭 추정(QAE) 또는 그 변종(IQAE 등) 사용
• 다섯 가지 구현 변종 간 체계적 비교를 통해 최적의 속도 향상을 달성한 변종(c) 선택

실험 결과

연구 질문

• RQ1 다항수렴을 사용한 양자 회로에서 이중형 위험 함수 평가에 대해 제곱근 수준의 양자 속도 향상을 달성할 수 있는가?
• RQ2 특히 인코딩 방식, 회로 깊이, QAE 변종의 차이가 전체 성능 및 복잡도에 어떤 영향을 미치는가?
• RQ3 동적 회로 기능이 위험 평가를 위한 양자 알고리즘에서 평균 회로 깊이 감소에 어떤 영향을 미치는가?
• RQ4 향상된 이중 방향 직교 인코딩은 양자 알고리즘에서 회로 너비와 깊이의 상호 교환을 어떻게 향상시키는가?
• RQ5 제안된 알고리즘이 고전적 몬테카를로 방법에 비해 어떤 조건에서 속도 향상을 달성하는가?

주요 결과

• 효율적인 데이터 로딩 유니터리가 가능할 경우, 이중형 형식의 제2차 다항수렴에 대해 다항로그 인자까지 고려할 때 제곱근 수준의 양자 속도 향상 달성
• 최적화된 변종(c)은 $ O(C_{\text{c,load}}(N) + C_{\text{d,load}}(N)N^{K/2 - 1/2}\lg N) $ 의 시간 복잡도를 가지며, $ K=2 $ 일 때 $ C_{\text{d,load}}(N) \ll N^{1/2} $ 조건에서 속도 향상 달성
• 중간 회로 측정을 통한 동적 정지로 평균 회로 깊이 감소하여 근접한 장치에서 성능 향상
• 향상된 이중 방향 직교 인코딩은 깊이-너비 상호 교환에 대한 더 나은 제어를 가능하게 하며 효율적인 내적 계산 지원
• 정밀도를 적절히 조정할 경우 문제 크가 증가함에 따라 일관된 오차 스케일링을 보이며 IBM Quantum 시스템에서 실험적 검증 완료
• 변종(c)는 $ K=2 $ 에서 고전적 벤치마크 및 다른 양자 변종에 비해 시간 복잡도에서 뛰어난 성능 보여주며, $ K=3 $ 인 고차수 다항식의 경우 고전적 방법에 비해 오직 로그 수준의 향상만 보임