[論文レビュー] Challenges for quantum computation of nonlinear dynamical systems using linear representations

Yen Ting Lin, Robert B. Lowrie+3 more|arXiv (Cornell University)|Feb 4, 2022

Model Reduction and Neural Networks被引用数 16

ひとこと要約

本稿は、量子コンピュータ上で非線形力学系をシミュレートするために線形表現——特にコープマン＝フォン・ノイマン力学およびコープマン表現——の使用を検討する。無限次元ヒルベルト空間における非線形力学の線形化の理論的有望性にもかかわらず、有限次元への射影は制御不能な数値アーティファクトを必然的に引き起こし、精度と信頼性を制限する。これは、一般の非線形系に対する実用的量子シミュレーションの根本的な課題を露呈する。

ABSTRACT

A number of recent studies have proposed that linear representations are appropriate for solving nonlinear dynamical systems with quantum computers, which fundamentally act linearly on a wave function in a Hilbert space. Linear representations, such as the Koopman representation and Koopman von Neumann mechanics, have regained attention from the dynamical-systems research community. Here, we aim to present a unified theoretical framework, currently missing in the literature, with which one can compare and relate existing methods, their conceptual basis, and their representations. We also aim to show that, despite the fact that quantum simulation of nonlinear classical systems may be possible with such linear representations, a necessary projection into a feasible finite-dimensional space will in practice eventually induce numerical artifacts which can be hard to eliminate or even control. As a result, a practical, reliable and accurate way to use quantum computation for solving general nonlinear dynamical systems is still an open problem.

研究の動機と目的

• 非線形力学的系の線形表現（コープマンおよびコープマン＝フォン・ノイマン力学を含む）を統一的に比較する理論的枠組みを確立すること。
• 無限次元線形表現を有限次元量子計算空間に射影する際の実用的限界を調査すること。
• 数値シミュレーションを通じて、有限次元への切り捨てが、低次元非線形系ですら制御不能な誤差を引き起こすことを示すこと。
• 量子シミュレーションの文脈において、コープマン（ペロン＝フロベニウスの双対）とコープマン＝フォン・ノイマン（ペロン＝フロベニウス）表現の概念的違いを明確にすること。
• 近似精度と計算忠実度の間の根本的トレードオフを踏まえ、一般の非線形古典的系を解くために量子アルゴリズムを用いる可能性を評価すること。

提案手法

• 古典的非線形系の線形表現を分類する統一的枠組みを形式化し、コープマン（観測量に基づく）とペロン＝フロベニウス（リウヴィル／KvNに基づく）形式の区別を明確にすること。
• 1次元および2次元非線形力学的系における数値シミュレーションを用い、カルレマン線形化およびコープマン＝フォン・ノイマン力学における有限次元射影の影響を可視化すること。
• 閉じたスキームが欠如しているため、切断されたカルレマン線形化における誤差伝搬を分析し、発散的予測を引き起こす原因を特定すること。
• コープマン＝フォン・ノイマン力学における空間離散化を検討し、ガリブ・的現象を誘発し、力学の微細構造的性質を歪めることを明らかにすること。
• 多数体系による非線形シュレーディンガー方程式の平均場シミュレーションを含む、さまざまな量子シミュレーション手法の効率性と正確性を比較すること。
• 有限次元近似における基底関数選択の役割を評価し、最適な射影を求める一般のデータ駆動型手法の欠如を指摘すること。

実験結果

リサーチクエスチョン

• RQ1 量子コンピュータは、コープマンやコープマン＝フォン・ノイマン力学のような線形表現を用いて、一般の非線形力学的系を信頼性高くシミュレートできるか？
• RQ2 無限次元線形表現を有限次元量子ヒルベルト空間に射影する際の根本的限界は何か？
• RQ3 制御不能な誤差（切断に起因するものやガリブ現象）といった数値アーティファクトが、非線形系の量子シミュレーションの正確性にどのように影響を与えるか？
• RQ4 カルレマン線形化や平均場近似に基づく既存手法は、理論的には線形であるが、時間の経過とともに根本的な精度の低下を示すのはなぜか？
• RQ5 有限次元近似の制約を踏まえると、量子アルゴリズムは古典的制限をどれほど克服できるのか？

主な発見

• カルレマン線形化におけるように、無限次元線形表現の有限次元射影は、閉じたスキームが欠如している場合、制御不能な誤差を引き起こし、発散的予測を生じる。
• コープマン＝フォン・ノイマン力学において、空間離散化はガリブ的現象を誘発し、微細構造的力学の分解能を損なって統計的正確性を低下させる。
• 線形表現に基づく量子シミュレーションの正確性は、有限の時間スケールに限定され、それ以上は数値アーティファクトが支配的になる。アルゴリズムの完璧さにかかわらず同様である。
• コープマンおよびコープマン＝フォン・ノイマン形式における理論的線形性にもかかわらず、実用的実装は有限次元近似の必要性によって制限される。
• 非線形シュレーディンガー方程式のシミュレーションにおける平均場アプローチは、効率的ではあるが、時間の経過とともに指数関数的に増大する誤差境界を示し、切断カルレマン法と類似する。
• 有限次元近似における最適基底関数の選択を求める一般の手法は存在せず、単純な切断は不安定性を引き起こす可能性がある。これは、重要な未解決課題を示している。