[논문 리뷰] Quantum algorithm for nonlinear differential equations

Seth Lloyd, Giacomo De Palma외 6명|arXiv (Cornell University)|2020. 11. 12.

Quantum Computing Algorithms and Architecture참고 문헌 4인용 수 24

한 줄 요약

이 논문은 비선형 미분방정식을 해결하기 위한 양자 알고리즘을 제시하며, 시스템 상태를 양자 레지스터에 인코딩하고 다중 양자 얽힌 복사본을 사용하여 비선형 슈뢰딩거 방정식 근사법을 통해 다항 비선형성을 시뮬레이션함으로써 고전적 방법에 비해 지수적 속도 향상을 달성한다. 이 알고리즘은 통합 시간에 대해 제곱근으로, 상태 공간 차원에 대해 로그로 스케일링되어, 나비에-스토크스 방정식과 플라즈마 유체역학과 같은 고차원 문제의 효율적 해결을 가능하게 한다.

ABSTRACT

Quantum computers are known to provide an exponential advantage over classical computers for the solution of linear differential equations in high-dimensional spaces. Here, we present a quantum algorithm for the solution of nonlinear differential equations. The quantum algorithm provides an exponential advantage over classical algorithms for solving nonlinear differential equations. Potential applications include the Navier-Stokes equation, plasma hydrodynamics, epidemiology, and more.

연구 동기 및 목표

• 비선형 미분방정식을 해결하는 데 있어 고전적 해법에 비해 지수적 이점을 제공하는 양자 알고리즘을 개발하기 위해.
• 이전의 비선형 방정식을 위한 양자 방법들이 비선형성으로 인해 자원 소모가 기하급수적으로 증가하는 문제를 다중 복사본 안정적 접근법을 통해 극복하기 위해.
• 근접한 양자 컴퓨터를 활용해 유체역학 및 플라즈마 모델과 같은 고차원 비선형 시스템을 효율적으로 시뮬레이션할 수 있도록 하기 위해.
• 희소하고 계산 가능한 텐서와 안정적인 수치 통합 기법을 활용하여 알고리즘의 확장성과 정확도를 보장하기 위해.
• 선형 시스템을 넘어서 물리적으로 관련성이 있는 비선형 역학을 포함한 양자 미분방정식 해법의 적용 범위를 확장하기 위해.

제안 방법

• 비선형 미분방정식의 상태 벡터를 차원 d인 힐베르트 공간 내 양자 상태로 인코딩한다.
• 다중 복사본을 사용하여 비선형 슈뢰딩거 방정식 근사법을 통해 다항 비선형 항을 시뮬레이션한다.
• 비선형 역학을 나타내는 희소 텐서 F로 정의된 상호작용을 갖는 n개의 시스템 복사본을 포함하는 시간 진화 해밀토니안을 구현한다.
• 트로터-수즈키 분해를 적용하여 다중 복사본 시스템의 시간 진화를 시뮬레이션하고, 효과적인 단일 시스템 역학을 근사한다.
• 복사본 수 n이 통합 시간 T에 대해 제곱근으로 증가함으로써 정확도를 확보하며, 오차 억제가 1/n 비례로 유지된다.
• 다중 복사본 시스템에서 양자 선형 미분방정식 해법을 적용하여 비선형 역학을 효율적으로 시뮬레이션한다.

실험 결과

연구 질문

• RQ1 비선형성이 표준 양자 선형 해법에 도전하는 바에 불구하고, 비선형 미분방정식을 해결하는 데 있어 양자 알고리즘이 지수적 속도 향상을 달성할 수 있는가?
• RQ2 다중 복사본에서만 선형 연산을 사용하는 양자 프레임워크 내에서 비선형 미분방정식의 비선형성을 어떻게 효율적으로 인코딩하고 시뮬레이션할 수 있는가?
• RQ3 이 알고리즘의 자원 스케일링은 통합 시간과 상태 공간 차원 측면에서 어떻게 되며, 기하급수적 스케일링을 초월해 향상시킬 수 있는가?
• RQ4 이 알고리즘에서 사용하는 평균장 근사가 장시간 시뮬레이션 동안 여전히 유효한 조건은 무엇인가?
• RQ5 희소하고 계산 가능한 상호작용 텐서를 갖는 물리적으로 관련성이 있는 비선형 방정식, 예를 들어 나비에-스토크스 방정식이나 볼츠만 방정식에 이 방법을 적용할 수 있는가?

주요 결과

• 이 양자 알고리즘은 상태 공간의 차원 d에 대해 로그로 스케일링되고 통합 시간 t에 대해 제곱근으로 스케일링되어 고전적 해법에 비해 지수적 속도 향상을 달성한다.
• 필요한 양자 자원의 수, 복사본 수 포함, 통합 시간 T에 대해 제곱근으로 증가하여 이전 방법들이 겪었던 기하급수적 스케일링 문제를 피한다.
• 복사본 수 n이 트로터 단계 수 T보다 크게 유지될 경우 정확도가 유지되며, 오차 억제가 1/n 비례로 보장된다.
• 나비에-스토크스, 플라즈마 유체역학, 볼츠만 방정식 등에서 발생하는 국소적 상호작용과 보존 법칙으로 인해 희소하고 계산 가능한 텐서 F를 갖는 방정식에 이 방법이 적용 가능하다.
• 양자 푸리에 변환 및 양자 특이값 변환과 같은 기법을 사용한 양자 후처리를 통해 파wer 스펙트럼과 주요 성분과 같은 특징을 추출할 수 있다.
• 각 단계에서 복사본을 기각하는 기존의 비선형 방정식을 위한 양자 알고리즘에 비해 이 접근법이 자원 소모가 기하급수적으로 증가하는 문제를 악화시키지 않아 성능이 뛰어나다.