[論文レビュー] Error Correction of Quantum Algorithms: Arbitrarily Accurate Recovery Of Noisy Quantum Signal Processing

Andrew K. Tan, Yuan Liu+2 more|arXiv (Cornell University)|Jan 20, 2023

Quantum Computing Algorithms and Architecture被引用数 6

ひとこと要約

本稿は、量子信号処理（QSP）におけるアルゴリズムレベルの誤り訂正（ALEC）を導入し、multiplicative rotation error parameter ε における任意の次数にまで、パウリ X および Y 誤りを抑制するノイジーサンプルの回復 QSP シーケンスをコherent に付加することで実現する。回復シーケンス長 O(2^k c^{k^2} d) で、c 個の固有位相を持つ長さ d の任意の QSP を ε に関して k 階にまで訂正可能であり、追加の仮定の下で k=1 の場合に最適性が示される。

ABSTRACT

The intrinsic probabilistic nature of quantum systems makes error correction or mitigation indispensable for quantum computation. While current error-correcting strategies focus on correcting errors in quantum states or quantum gates, these fine-grained error-correction methods can incur significant overhead for quantum algorithms of increasing complexity. We present a first step in achieving error correction at the level of quantum algorithms by combining a unified perspective on modern quantum algorithms via quantum signal processing (QSP). An error model of under- or over-rotation of the signal processing operator parameterized by $ε< 1$ is introduced. It is shown that while Pauli $Z$-errors are not recoverable without additional resources, Pauli $X$ and $Y$ errors can be arbitrarily suppressed by coherently appending a noisy `recovery QSP.' Furthermore, it is found that a recovery QSP of length $O(2^k c^{k^2} d)$ is sufficient to correct any length-$d$ QSP with $c$ unique phases to $k^{th}$-order in error $ε$. Allowing an additional assumption, a lower bound of $Ω(cd)$ is shown, which is tight for $k = 1$, on the length of the recovery sequence. Our algorithmic-level error correction method is applied to Grover's fixed-point search algorithm as a demonstration.

研究の動機と目的

• 量子アルゴリズムにおけるゲートレベル誤りを、状態やゲートレベルではなくアルゴリズムレベルで訂正する方法を開発すること。
• QSP 演算子における系統的誤り（具体的には、回転不足または過剰回転）を、誤りパラメータ ε の事前知識なしに是正することの挑戦に取り組むこと。
• 信号パラメータ θ に依存せず、完全にコherent かつ決定論的な回復シーケンスを設計し、量子アルゴリズム全体に広く適用可能であることを保証すること。
• QSP の文脈において、回復シーケンスのリソースバウンドと最適性条件を確立し、量子特異値変換（QSVT）への影響を示すこと。

提案手法

• QSP 回転が固定された未知の ε によって乗法的に摂動され、信号処理演算子が回転不足または過剰回転するノイズモデルを導入する。
• 元のノイズのある QSP に付加される回復 QSP シーケンスを構築し、ε に関して k 階にまで誤りをキャンセルするように設計する。この手法は、QSP フレームワークそのもののみを用いる。
• 摂動的図式展開を用いて誤り伝搬を分析し、誤りキャンセルが成立する条件を導出する。
• パウリ Z 誤りは追加リソースなしでは回復不可能であることを証明するが、X および Y 誤りは回復シーケンスによって任意の次数にまで抑制可能であることを示す。
• 長さ d の QSP に c 個の固有位相がある場合、ε に関して k 階にまで訂正可能な回復シーケンス長に対する上界を O(2^k c^{k^2} d) として導出する。
• 追加の仮定の下で、回復長に対する下界が Ω(cd) であることを示し、これは k=1 の場合にタイトであり、この場合の構成の最適性を証明する。

実験結果

リサーチクエスチョン

• RQ1 信号パラメータ θ に依存せず、誤りパラメータ ε の知識なしに、量子信号処理におけるアルゴリズムレベルでの誤り訂正が可能か？
• RQ2 標準 QSP フレームワーク内でのみ、コherent かつ決定論的な回復シーケンスを用いて、QSP におけるパウリ X および Y 誤りを ε に関して任意の次数にまで抑制可能か？
• RQ3 QSP における k 階誤り訂正を達成するための最小リソース要件（シーケンス長）は何か？ そして、これらはタイトにバウンド可能か？
• RQ4 回復シーケンスのスケーリングは、元の QSP サーキットの固有位相数 c および深さ d にどのように依存するか？
• RQ5 回復構成は量子特異値変換（QSVT）に一般化可能か？ これにより、すべての特異値部分空間に同時に誤りを是正可能か？

主な発見

• 提案された回復フレームワークでは、追加リソースなしではパウリ Z 誤りは是正できないことが示され、この手法の根本的な制限が特定された。
• パウリ X および Y 誤りは、コherent な回復 QSP シーケンスを用いて、ε に関して任意の次数 k にまで抑制可能であり、高次元のアルゴリズムレベル誤り訂正の実現可能性が示された。
• 長さ O(2^k c^{k^2} d) の回復シーケンスがあれば、c 個の固有位相を持つ任意の長さ d の QSP を、ε に関して k 階にまで訂正可能である。
• k=1 の場合、回復シーケンス長に対する下界は Ω(cd) であり、これはタイトであるため、この場合の構成の最適性が証明された。
• 誤り閾値 ε*ₖ は k と共に増加する傾向にあり、高次元回復シーケンスはより大きな誤りを耐えられる可能性を示唆するが、k→∞ における極限は未解決の問題のままである。
• 回復構成は QSVT に直接一般化可能であり、QSVT の統一的構造のおかげで、すべての特異値部分空間に同時に誤りを是正可能である。