[論文レビュー] Quantum Power Flows: From Theory to Practice

Junyu Liu, Han Zheng+3 more|arXiv (Cornell University)|Nov 10, 2022

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

本稿では、再生可能エネルギーが豊富なスマートグリッドにおける潮流計算の高速化を目的として、量子アルゴリズム——特にHHLアルゴリズムと変分量子線形ソルバー（VQLS）——を提案する。HHLを用いたスパース行列の逆行列計算により、指数的高速化の可能性を示し、6キュービットのVQLSシミュレーションとIBMの量子ハードウェア上での実験を通じて、近い将来の実装可能性を検証した。ノイズのある環境下で約5–10%の不一致度を達成した。

ABSTRACT

Climate change is becoming one of the greatest challenges to the sustainable development of modern society. Renewable energies with low density greatly complicate the online optimization and control processes, where modern advanced computational technologies, specifically quantum computing, have significant potential to help. In this paper, we discuss applications of quantum computing algorithms toward state-of-the-art smart grid problems. We suggest potential, exponential quantum speedup by the use of the Harrow-Hassidim-Lloyd (HHL) algorithms for sparse matrix inversions in power-flow problems. However, practical implementations of the algorithm are limited by the noise of quantum circuits, the hardness of realizations of quantum random access memories (QRAM), and the depth of the required quantum circuits. We benchmark the hardware and software requirements from the state-of-the-art power-flow algorithms, including QRAM requirements from hybrid phonon-transmon systems, and explicit gate counting used in HHL for explicit realizations. We also develop near-term algorithms of power flow by variational quantum circuits and implement real experiments for 6 qubits with a truncated version of power flows.

研究の動機と目的

• 再生可能エネルギーが豊富なスマートグリッドにおけるオンライン最適化と制御の計算負荷を、高頻度の変動性、低エネルギー密度、および増加するシステムの複雑さの要因として取り上げる。
• 大規模な潮流問題という電力系統運用の核心的課題を解消するため、量子コンピューティングを加速手法として検討する。
• 現在のノイズの多い中規模量子（NISQ）環境下における実世界の潮流問題に適用可能な、HHLおよびVQLSの実装を実践的に調査する。
• 量子潮流ソルバーに必要なハードウェアおよびソフトウェア要件（QRAMおよびゲート数を含む）をベンチマーク化する。
• IBMハードウェア上での6キュービットの断片的潮流インスタンスを用いたシミュレーションと実際の量子実験を通じて、実現可能性を実証する。

提案手法

• スパース行列の逆行列計算にHarrow-Hassidim-Lloyd（HHL）アルゴリズムを適用し、指数的高速化の可能性を実現する。
• 潮流問題を線形方程式Ax = bとしてモデル化し、電力バランス方程式から導かれるヤコビ行列Aを用いる。
• 多項式近似（例：切断テイラー展開またはチェビシェフ近似）を用いて制御回転による固有値反転を実装し、ゲート数を削減し、スケーラビリティを向上させる。
• 近い将来の量子デバイスで線形方程式を解くために、パラメータ化されたアーサンツ回路を用いた変分量子線形ソルバー（VQLS）を実装する。
• 実験的実装可能性を高めるために、ユニタリ行列の線形結合（LCU）係数を切断し、回路の深さとキュービット数を削減する。
• qBraidおよびQiskitを用いたノイズなしおよびノイズありのシミュレーションを実施し、IBMのibmq_jakartaおよびibm_nairobiデバイス上で実際の実験を実施する。

実験結果

リサーチクエスチョン

• RQ1 HHLアルゴリズムは、再生可能エネルギーが豊富なスマートグリッドにおける潮流問題に対して、スパース行列の逆行列計算を通じて指数的高速化を達成できるか？
• RQ2 HHLを実際の潮流シナリオに実装するにあたり、特にQRAM、ゲート数、回路の深さといった実用的ハードウェアおよびソフトウェア制約は何か？
• RQ3 量子ノイズと誤差伝搬は、VQLSのような変分量子アルゴリズムの性能に、実際の潮流問題の解法においてどのように影響を与えるか？
• RQ4 限られたキュービット数とコherences時間（例：6キュービットシステム）を有する近い将来の量子デバイスは、断片的潮流問題をどれほど正確にシミュレートおよび解くことができるか？
• RQ5 ノイズありのシミュレーションおよび実際の量子ハードウェア実験におけるVQLSの達成可能な忠実度と収束特性はどの程度か？

主な発見

• HHLアルゴリズムは、潮流問題におけるスパース行列の逆行列計算に対して理論的に指数的高速化の道筋を提供するが、QRAM、回路の深さ、ノイズの制約により実装が制限される。
• 固有値反転のナイーブな実装ではO(2^n)の制御回転が必要となるが、多項式近似によりO(n^d)ゲートに削減され、スケーラビリティが向上する。
• 6キュービットのVQLSシミュレーションでは、ノイズなし条件下で適切に収束したが、ノイズありのシミュレーションおよび実デバイス実行では強いフラクチュエーションと不安定性を示した。
• ibmq_jakarta上で3つの断片的LCU係数と1段階の回路を用いた実験では、10回の最適化反復後に最終的な不一致度が約5–10%に達した。
• ibmq_jakarta上での10ステップのVQLSの合計実行時間は26,297秒（7.3時間）であり、全2,520ジョブの平均実行時間は10.4秒であった。
• ibm_nairobiのノイズモデルを用いたノイズありシミュレーションでは、顕著な性能劣化が観察され、近い将来のVQLS応用における量子ノイズの挑戦が浮き彫りになった。