Quantum Approximate Optimization Algorithm with Cat Qubits

技術要約：キャット量子ビットを用いた量子近似最適化アルゴリズム（QAOA）

問題提起
量子近似最適化アルゴリズム（QAOA）は、中規模量子（NISQ）プロセッサ上で組合せ最適化問題を解くための有力な候補である。しかし、その性能は現在ハードウェアのノイズによって制限されており、回路の深さが増すにつれてアルゴリズムの効果が低下する。変分アルゴリズムは浅い回路で動作するように設計されているが、より深い回路を実現するには、ノイズをより良く許容できるハードウェア実装が必要となる。本研究では、ボゾン系、具体的にはカー・非線形共振器（KNR）によって実現される「キャット量子ビット」に量子ビットをエンコードすることで、MaxCutのような離散最適化問題を解く際に、標準的な二準位系量子ビットに対して性能上の優位性を提供できるかどうかを調査する。

手法
著者らは、キャット量子ビットを用いたQAOAの実装を提案し、シミュレーションを行っている。ここで、キャット量子ビットは、駆動されたカー・パラメトリック発振器の反対方向の振幅を持つコヒーレント状態（$|\pm\alpha\rangle$）によってエンコードされる。

• エンコードとノイズの偏り： キャット量子ビットのエンコーディング（具体的には、偶および奇のパリティのキャット状態の重ね合わせ）は、「偏ったノイズ（biased noise）」をもたらす。主要なエラーメカニズムである単一光子損失の下では、ノイズは主に位相（$\hat{Z}$）エラーとして現れ、ビット反転（$\hat{X}$）エラーは指数関数的に抑制される。
• ゲート実装： 本研究では、キャット量子ビットのユニバーサル・ゲートセット（$R_Z(\phi)$、$R_X(\theta)$、$R_Y(\phi)$、および $R_{ZZ}(\Theta)$）を利用する。これらは、KNRにおける特定の駆動および相互作用を通じて実装される。
• シミュレーション戦略：
  1. 小規模スケール（原理実証）： 著者らはまず、単一光子損失の下でのアプローチを検証するために、リンドブラッド・マスター方程式を用いて2量子ビットのExact Cover問題をシミュレートした。
  2. 大規模スケール（6, 8, 10 量子ビット）： より大きな系のヒルベルト空間の指数関数的なスケーリングを克服するため、著者らはパウリ転送行列（PTM）形式を採用している。彼らは、単一光子損失によって誘起されるエラーチャネルを計算部分空間上で特性化し、連続的な時間発展をクラウス演算子へと変換した。
  3. 公平な比較： 標準的な量子ビットとキャット量子ビットとの間で公平な比較を行うため、著者らは標準的な量子ビットの緩和率（$T_1$）を調整し、平均ゲートフィデリティがキャット量子ビット（具体的には $\alpha = 1.36$ の場合）と一致するようにした。これにより、単純なゲートフィデリティの向上ではなく、ノイズの偏りの恩恵を分離して抽出している。

主な貢献

• ボゾン系における離散最適化： 従来のボゾンQAOA研究が連続変数の最適化に焦点を当てていたのに対し、本研究はキャット量子ビットを用いて離散的な組合せ問題（MaxCutおよびExact Cover）に対処している。
• ノイズ偏りの保持に関する分析： $R_{ZZ}$ ゲートはノイズの偏りを保持する（単一光子損失を $\hat{Z}$ エラーに変換する）一方で、$R_X$ ゲートはそうではない（$\hat{Z}$ エラーを $\hat{Z}$ と $\hat{Y}$ エラーの組み合わせに変換し、その特定のゲートに対してノイズチャネルをアンバイアスにする）ことを、本論文は示している。
• 性能ベンチマーク： 本研究は、平均ゲートフィデリティを制御した条件下で、ランダムなMaxCutインスタンスに対するキャット量子ビットと標準的な量子ビットのQAOA性能の数値比較を提供している。

結果

• 近似比： 6, 8, 10 量子ビットのランダムなMaxCutインスタンスにおいて、キャット量子ビットで実装されたQAOAは、両方のシステムが同一の平均ゲートフィデリティで動作している場合でも、標準的な量子ビットによる実装よりも高い平均近似比を達成している。
• 深さに対する堅牢性： 両方のシステムにおいて、近似比は回路の深さ（$p$）とともに最初は増加し、その後ノイズの蓄積によって減少するが、キャット量子ビットの実装はすべてのテストされた深さレベルにおいて優れた性能を維持している。
• エラーメカニズム： この性能上の優位性は、典型的なMaxCut回路において、ノイズの偏りを保持する $R_{ZZ}$ ゲートの数が、保持しない $R_X$ ゲートの数よりも多いという事実に起因している。その結果、キャット量子ビットにおける支配的なエラーメカニズムは依然として偏ったもの（$\hat{Z}$）であり、標準的な量子ビットはすべてのゲートタイプに影響を与える非構造的なエラー（$\hat{X}, \hat{Y}, \hat{Z}$）に苦しむことになる。
• ボゾン的QAOAのバリアント： 著者らは「純粋にボゾン的な」QAOAのバリアント（ボゾン・アニーリング・ハミルトニアンをトロッター分解するもの）も探索したが、キャット量子ビットを用いた標準的なQAOAアプローチと比較して改善は見られなかった。これは、レゾネータの状態を量子ビットの計算基底にマッピングすることの困難さに起因すると仮定されている。

意義と主張
本論文は、キャット量子ビットのようなノイズに偏った量子ビットが、近未来の中規模量子プロセッサ上でQAOAを実装する際に標準的な量子ビットよりも好ましいと主張している。主な意義は、非偏り保持ゲート（$R_X$ など）を必要とする場合であっても、偏ったノイズ（デフェージングを好む）の特定の構造がアルゴリズムの性能を高められることを示した点にある。著者らは、これらの結果はおそらく問題に依存しないものであり、他の組合せ問題も同様にこの性能差の恩恵を受けるだろうと考えている。結論として、本アプローチは、現実的なカー・レゾネータのパラメータを用いたMaxCutの達成可能な近似比の具体的な推定値を提供し、NISQ時代における、より深く効果的な量子回路への実行可能な道筋を示すものである。