[論文レビュー] Explicit Quantum Circuits for Block Encodings of Certain Sparse Matrices

Daan Camps, Lin Lin+2 more|arXiv (Cornell University)|Mar 19, 2022

Quantum Computing Algorithms and Architecture被引用数 15

ひとこと要約

本稿では、構造的スパース行列のブロック符号化の明示的量子回路構成を提示し、量子線形代数アルゴリズムの効率的実装を可能にしている。行列のスパース構造と値のオракルを活用することで、確率的行列や判別行列のような行列に対して実用的な量子回路を実現し、量子ウォークを用いたマーク付き頂点の検出において2乗の高速化を達成した。これは $n=6$ 量子ビットの QCLAB シミュレーションで検証された。

ABSTRACT

Many standard linear algebra problems can be solved on a quantum computer by using recently developed quantum linear algebra algorithms that make use of block encodings and quantum eigenvalue/singular value transformations. A block encoding embeds a properly scaled matrix of interest A in a larger unitary transformation U that can be decomposed into a product of simpler unitaries and implemented efficiently on a quantum computer. Although quantum algorithms can potentially achieve exponential speedup in solving linear algebra problems compared to the best classical algorithm, such gain in efficiency ultimately hinges on our ability to construct an efficient quantum circuit for the block encoding of A, which is difficult in general, and not trivial even for well-structured sparse matrices. In this paper, we give a few examples on how efficient quantum circuits can be explicitly constructed for some well-structured sparse matrices, and discuss a few strategies used in these constructions. We also provide implementations of these quantum circuits in MATLAB.

研究の動機と目的

• 量子線形代数アルゴリズムに不可欠な、スパース行列のブロック符号化のための効率的量子回路を構築する課題に対処すること。
• 確率的行列や判別行列のような、良好に構造化されたスパース行列のための明示的かつ実用的な量子回路の構築を提供すること。
• 行列のスパース構造と値のためのオラクルを、量子回路設計戦略を用いて効率的に実装できるようにすること。
• スケーリング係数 $1/s$ を用いない直接的な行列 $A$ のブロック符号化が、量子ウォーク応用において可能であることを示し、スケーリングを伴う符号化よりも効率を向上させること。
• グラフ上のマーク付き頂点を含む量子ウォークの QCLAB を用いたシミュレーションを通じて、この手法の妥当性を検証すること。

提案手法

• 著者らは、制御回転と制御操作を用いてスパース構造と非ゼロ値を符号化するオラクルを設計することで、$s$-スパース行列のブロック符号化を構築した。
• 量子特異値変換（QSVT）フレームワークを用いて、$A$ の多項式関数（例えばチェビシェフ多項式）を、ブロック符号化されたユニタリ行列 $U_A$ の制御的応用によって実装した。
• 量子ウォークの文脈では、遷移行列 $P$ に関連する判別行列 $D$ のブロック符号化を構築し、$U_D^k$ を用いて $k$ ステップ分のウォークをシミュレートした。
• 初期状態 $\ket{\psi_0} = \ket{0^n}(H^{\otimes n}\ket{0^n})$ を準備して量子ウォークを初期化し、$\ket{0^n}$ を測定する成功確率をモニタリングした。
• 回路は QCLAB MATLAB ツールボックスを用いて実装・テストされ、完全なコードは GitHub で公開されている。
• 対称的でない $P$ 行列と対称的である $P$ 行列の区別は、$U_D^k$ の下での成功確率 $p(\ket{0^n})$ の時間発展を分析することでなされた。

実験結果

リサーチクエスチョン

• RQ1 標準的な $A/s$ スケーリングが不十分な場合、構造的スパース行列のブロック符号化のための明示的量子回路をどのように構築できるか？
• RQ2 スパース行列のスパース構造と非ゼロ値の両方を、量子回路で効率的に実装するための戦略は何か？
• RQ3 スケーリング係数 $1/s$ を用いない直接的な行列 $A$ のブロック符号化は、量子ウォーク応用において可能か？ これによりアルゴリズムの効率が向上するか？
• RQ4 $U_D^k$ の下で $\ket{0^n}$ の測定成功確率はどのように変化するか？ また、これは対称的でない遷移行列と対称的でない遷移行列を区別できるか？
• RQ5 マーク付き頂点を検出するための最適なステップ数 $k$ は何か？ また、古典的ランダムウォークと比較するとどうなるか？

主な発見

• 非対称 $P$ の場合、$U_D$ が判別行列を符号化しているとき、$k = \lceil \pi\sqrt{N}/(2\sqrt{2}) \rceil$ ステップ後に $\ket{0^n}$ を測定する成功確率が $1/N$ に低下し、マーク付き頂点が検出されたことが示された。
• 6量子ビット（$N=64$）の場合、シミュレーションでは、2つの状態（対称的 vs. 非対称的 $P$）が $k_{\text{opt}} \approx 5.6$ で最大限に区別可能であり、理論的予測を確認した。
• 本手法は2乗の高速化を達成した：量子ウォークでは $\mathcal{O}(\sqrt{N})$ ステップでマーク付き頂点を検出可能であるのに対し、古典的ケースでは $\mathcal{O}(N)$ ステップを要する。
• 非対称ケースにおける $D$ のブロック符号化は、固有値 $1$ と $1 - \delta = (N-1)/N$ を持ち、最適な $k$ において $T_k(1 - \delta) \approx 0$ となるため、成功確率が最小化される。
• QCLAB に明示的なブロック符号化のための量子回路が実装され、完全なソースコードは https://github.com/QuantumComputingLab/explicit-block-encodings で公開されている。
• 著者らは、$A/s$ ではなく $A$ の直接ブロック符号化が、グラフ上の量子ウォークに適用可能であることを実証した。これにより、$1/s$ スケーリング係数に起因する性能劣化を回避できる。