[논문 리뷰] Further improving quantum algorithms for nonlinear differential equations via higher-order methods and rescaling

Pedro C. S. Costa, Philipp Schleich외 2명|arXiv (Cornell University)|2023. 12. 15.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 잘라낸 테일러 급수를 통한 고차수 시간 적분, 성공 확률 향상을 위한 재스케일링, 그리고 카를레만 선형화의 더 엄밀한 오차 한계를 도입하여 비선형 미분방정식을 위한 양자 알고리즘을 향상시켰다. 이 방법은 시간에 대해 거의 선형적이고 오차에 대해 로그적 의존성을 가지며, 고차수 공간 이산화와 결합할 경우 반응-확산 방정식과 같은 비선형 PDE의 효율적인 양자적 해법을 가능하게 한다.

ABSTRACT

The solution of large systems of nonlinear differential equations is needed for many applications in science and engineering. In this study, we present three main improvements to existing quantum algorithms based on the Carleman linearisation technique. First, by using a high-precision technique for the solution of the linearised differential equations, we achieve logarithmic dependence of the complexity on the error and near-linear dependence on time. Second, we demonstrate that a rescaling technique can considerably reduce the cost, which would otherwise be exponential in the Carleman order for a system of ODEs, preventing a quantum speedup for PDEs. Third, we provide improved, tighter bounds on the error of Carleman linearisation. We apply our results to a class of discretised reaction-diffusion equations using higher-order finite differences for spatial resolution. We show that providing a stability criterion independent of the discretisation can conflict with the use of the rescaling due to the difference between the max-norm and 2-norm. An efficient solution may still be provided if the number of discretisation points is limited, as is possible when using higher-order discretisations.

연구 동기 및 목표

• 이전의 비선형 ODE 및 PDE에 대한 양자 카를레만 선형화 알고리즘에서 발생하는 지수적 복잡도 장벽을 극복하기 위해.
• 고차수 유한차분 스킴을 활용하여 안정적이고 정확한 해를 얻기 위해 필요한 이산화 점 수를 줄이기 위해.
• 양자 PDE 해법에서 2-노름 재스케일링(높은 성공 확률을 위해 필요)과 PDE의 최대-노름 안정성 기준 사이의 갈등을 해결하기 위해.
• 카를레만 선형화 과정에서 잘라낸 오차에 대해 더 엄밀하고 해석적으로 유도된 한계를 제공하여 정확도 제어를 향상시키기 위해.
• 성공 확률이 높아지도록 보장함으로써 이산화 점 수에 대한 부분선형 스케일링을 가능하게 하기 위해.

제안 방법

• 선형화된 ODE 시스템을 해결하기 위해 잘라낸 테일러 급수 방법을 적용하여 총 진화 시간 T에 대해 거의 선형적 의존성을 달성한다.
• 원래 동역학을 재스케일링하는 기법을 도입하여 카를레만 벡터 내 해 성분의 진폭을 증가시켜 성공 확률을 향상시킨다.
• PDE의 공간 이산화에 고차수 유한차분 스킴을 사용하여 필요한 격점 수를 줄이고 전체 복잡도를 향상시킨다.
• 카를레만 선형화 과정에서 잘라내는 데서 발생하는 오차에 대해 더 엄밀한 해석적 한계를 도출하여 정확도 제어를 향상시킨다.
• 단위원의 선형 조합을 사용하여 카를레만 행렬의 블록 인코딩을 구성하며, 복잡도는 인코딩에 포함된 기저 상태 수에 비례한다.
• 최대-노름 안정성(=PDE 요구 조건), 2-노름 재스케일링(=양자 효율성 위해 필요), ODE 해법 안정성 간의 상호작용을 분석하여 알고리즘이 효율적으로 유지되는 조건을 규명한다.

실험 결과

연구 질문

• RQ1 카를레만 선형화에서 원래 동역학을 재스케일링하면 앰플리튜드 증폭의 성공 확률이 향상되어 이산화 점 수에 대한 부분선형 스케일링이 가능해지는가?
• RQ2 시간 진화에 잘라낸 테일러 급수를 사용하면 총 진화 시간 T에 대해 거의 선형적 스케일링이 이루어지며 이전 방법보다 향상되는가?
• RQ3 고차수 공간 이산화를 사용하면 안정성과 정확도를 확보하기 위해 필요한 격점 수를 줄일 수 있는가? 이는 양자 알고리즘 복잡도 향상에 기여하는가?
• RQ4 PDE의 최대-노름 안정성 기준과 효율적인 양자 상태 준비를 위해 필요한 2-노름 재스케일링 사이의 정밀한 관계는 무엇인가?
• RQ5 카를레만 선형화 잘라내기 오차에 대한 오차 한계는 얼마나 엄밀한가? 그리고 정확도를 보장하기 위해 해석적으로 유도될 수 있는가?

주요 결과

• 선형화된 ODE 시스템을 해결하기 위한 잘라낸 테일러 급수 방법은 총 진화 시간 T에 대해 거의 선형적 의존성을 보이며, 이는 이전 방법보다 크게 향상되었다.
• 원래 동역학을 재스케일링하면 앰플리튜드 증폭의 높은 성공 확률을 확보할 수 있으며, 이는 이산화 점 수에 대한 부분선형 스케일링을 달성하는 데 필수적이다.
• 카를레만 선형화 잘라내기 오차에 대해 더 엄밀한 해석적 한계가 도출되었으며, 이는 정확도 제어를 향상시키고 오차의 과대평가를 줄였다.
• 고차수 유한차분 스킴은 필요한 격점 수를 줄여, 재스케일링과 2-노름 기반 앰플리튜드 증폭과 함께 사용할 경우 효율유지를 위해 필수적이다.
• 최대-노름 안정성(=PDE 요구 조건)과 2-노름 재스케일링(=양자 효율성 필요 조건) 간의 갈등은 핵심 과제로 지목되었지만, 2-노름 안정성 조건을 만족하면 알고리즘이 여전히 효율적이다.
• 전반적인 양자 알고리즘은 오차에 대해 로그적 의존성과 시간에 대해 거의 선형적 의존성을 확보하여 특정 조건 하에서 비선형 PDE에 대한 실용적인 양자 스피드업을 가능하게 한다.