[논문 리뷰] Quantum differential equation solvers: limitations and fast-forwarding

Dong An, Jinpeng Liu외 2명|arXiv (Cornell University)|2022. 11. 09.

Neural Networks and Reservoir Computing인용 수 25

한 줄 요약

본 논문은 양자 역학을 넘어 선형 ODE에 대한 양자 알고리즘을 분석하고, 실수부 차이(real-part gaps)와 비정규성(non-normality)과 연관된 하한을 증명하며, 고유값 체계가 알려진 특수한 경우에 대해 구현 속도 향상(fast-forwarding) 기법을 개발한다, 포함된다 진化 PDE를.

ABSTRACT

We study the limitations and fast-forwarding of quantum algorithms for linear ordinary differential equation (ODE) systems with a particular focus on non-quantum dynamics, where the coefficient matrix in the ODE is not anti-Hermitian or the ODE is inhomogeneous. On the one hand, for generic linear ODEs, by proving worst-case lower bounds, we show that quantum algorithms suffer from computational overheads due to two types of ``non-quantumness'': real part gap and non-normality of the coefficient matrix. We then show that homogeneous ODEs in the absence of both types of ``non-quantumness'' are equivalent to quantum dynamics, and reach the conclusion that quantum algorithms for quantum dynamics work best. To obtain these lower bounds, we propose a general framework for proving lower bounds on quantum algorithms that are amplifiers, meaning that they amplify the difference between a pair of input quantum states. On the other hand, we show how to fast-forward quantum algorithms for solving special classes of ODEs which leads to improved efficiency. More specifically, we obtain exponential improvements in both $T$ and the spectral norm of the coefficient matrix for inhomogeneous ODEs with efficiently implementable eigensystems, including various spatially discretized linear evolutionary partial differential equations. We give fast-forwarding algorithms that are conceptually different from existing ones in the sense that they neither require time discretization nor solving high-dimensional linear systems.

연구 동기 및 목표

• 일반적인 양자 ODE 해법에서 양자 역학을 넘어서는 근본적인 한계(하한)를 식별한다.
• 비양자성(real-part gaps, non-normality)이 효율성에 방해가 되는 조건을 특성화한다.
• 알려진 고유값 체계를 갖는 맞춤형 ODE 해법에 대한 fast-forwarding 전략을 개발한다.
• 공간적으로 이산화된 PDE에 적용하고 비동형 ODE로 확장하는 fast-forwarding을 확장한다.
• 시간 이산화를 피하고 고차원 선형 시스템을 피하는 원샷(one-shot) 해법 설계를 제안한다.

제안 방법

• ODE 해법을 양자 상태 판별과 관련지어 하한을 도출하는 증폭기 기반 프레임워크를 도입한다.
• 고유값의 실수부 차이가 존재할 때 지수적 오버헤드를 보이는 하한을 증명한다.
• 비정규(coefficient) 행렬인 경우 선형 오버헤드를 보이는 하한을 증명한다.
• 실수 상수만큼 A를 시프트하는 시프트 동등성: A를 실수 상수만큼 시프트하면 동형 비양자 역학이 양자 역학과 정렬된다.
• 고유값/고유벡터가 알려진 음의 반정 A 및 일반 행렬에 대해 고전적으로 계산 가능한 고유쌍과 양자적으로 구현 가능한 고유상태를 갖는 경우에 대한 fast-forwarding 알고리즘을 개발한다.
• 양자 상태의 선형 조합을 사용하여 비동형 ODE 및 시간 의존적 비동형 항으로 일반화한다.

실험 결과

연구 질문

• RQ1 eigen-value real-part gaps and matrix non-normality impose fundamental lower bounds on generic quantum ODE solvers?
• RQ2 Can we fast-forward quantum ODE solvers for special classes of A (e.g., with known eigensystems) and/or structured inhomogeneous terms?
• RQ3 How do shifting equivalence and normality relate to equivalence with quantum dynamics?
• RQ4 Can fast-forwarding extend to time-dependent or inhomogeneous terms and to PDE discretizations?
• RQ5 What are practical applications to evolutionary PDEs with spatial discretization?

주요 결과

• 낮은 하한: 고유값의 실수부가 서로 다른 경우(real-part gap) 지수적 오버헤드.
• 낮은 하한: A가 비정규인 경우(비정규성 측정에 기반) 선형 오버헤드.
• 동형 ODE에서 A가 정규이고 실수부가 공통인 경우 시프트 동등성을 통해 양자 역학과 동등하다.
• 특정 A에 대해 fast-forwarding이 가능: 고유값/고유벡터가 클래식으로 계산 가능하고 양자적으로 구현 가능할 때 시간 T 및/또는 노름 ∥A∥에 대해 지수적 개선.
• 비동형 ODE의 시간 순서를 피해 homogeneous 및 inhomogeneous 부분을 선형 결합으로 결합하여 fast-forwarding을 달성.
• 고유값 체계가 알려진 진보 PDE(진화형)에서 빠른 진행 가능: 열역학적, 파동적 및 고차 PDE에 적용.