Separate and efficient characterization of state-preparation and measurement errors using single-qubit operations

本論文は、単一量子ビットゲートと非破壊測定を反復して用いる効率的なプロトコルを提示し、状態準備誤差と測定誤差を個別に特徴づける手法を提案するとともに、IBM 量子デバイスにおけるその適用を示し、測定誤差軽減において偏った結果を回避するために状態準備誤差を考慮する必要性を強調する。

要約

非常に繊細な微小な物体（量子ビット、または「キュービット」）の極めて精密な写真を撮影しようとしていると想像してください。良い写真を得るためには、以下の 2 つのことが完璧に機能する必要があります。

1. 舞台設定（状態準備）： シャッターを切る前に、物体を正確な位置に配置しなければなりません。
2. 撮影（測定）： カメラは、画像をぼかしたり誤解釈したりすることなく、そこに存在するものを正確に記録しなければなりません。

量子コンピュータの世界では、これら 2 つのステップのどちらもエラーが発生しやすくなっています。多くの場合、ミスはコンピュータが実際の作業を開始する「前」（舞台設定の誤り）か、終了した「後」（カメラが結果を読み間違える）に発生します。これらは総じてSPAM エラー（状態準備および測定エラー）と呼ばれます。

問題は、これらのエラーを修正するための既存の大半の方法が、それらを単一の厄介な塊として扱っている点です。それらは「カメラ」だけが間違っていると仮定するか、あるいは複雑で遅く、エラーを起こしやすいツールを使ってすべてを一度に修正しようとしています。

本論文は、QSPAM（Quantum SPAM）と呼ばれる新しく巧妙な手法を導入します。これは探偵のように、シンプルで高速なツールのみを用いて、「舞台設定」のエラーと「撮影」のエラーを分離します。

核心的なアイデア：「リセットなし」のトリック

通常、量子ビットを測定すると、そのプロセスによって状態が破壊され、再試行するには最初からやり直す必要があります。本論文は異なるアプローチを提案します。量子ビットをリセットすることなく、連続して 2 回測定するという方法です。

以下のように考えてみてください。

• 標準的な方法： 友人に「電気がついていますか？」と尋ねます。彼らは「はい」と答えます。その後、部屋をリセットして再度尋ねると、「いいえ」と答えます。電気が変わったのか、それとも友人が答え方が下手なだけなのかを推測しなければなりません。
• QSPAM 方法： 「電気がついていますか？」と尋ねます。彼らは「はい」と答えます。部屋を変えることなく、すぐに「電気がまだついていますか？」と尋ねます。彼らは「はい」と答えます。

これらの連続した質問に対する回答のパターンを見ることで、著者らは数学的に 2 つの問題を解きほぐすことができることを示しています。

1. 友人は実際には電気が消えている状態で始めたが、点いていると思い込んでいたのでしょうか？（状態準備エラー）
2. 友人は電気を正しく見ましたが、偶然間違った言葉を言ってしまったのでしょうか？（測定エラー）

彼らがどのように行ったか（シンプルなツール）

著者らは複雑で重厚な機械を必要としませんでした。彼らが使用したのは、単一キュービット操作（量子ビットの単純な回転）と反復測定のみです。

• 比喩： 初期に重りが乗っている（バランスが取れていない）だけでなく、針がベタつき（常に正しい数字を指さない）秤を較正しようとしていると想像してください。高価で新しい秤を作る代わりに、既知の重りを乗せて計量し、すぐに再度計量します。2 つの結果を比較することで、秤が初期にどれだけずれていたか、そして針がどれだけベタついているかを正確に計算できます。

彼らが発見したこと

チームは IBM が提供する実際の量子コンピュータでこれをテストしました。彼らが発見したことは以下の通りです。

1. エラーは実在し、分離している： 「舞台設定」のエラー（準備）と「結果の読み取り」のエラー（測定）は明確に区別されることを発見しました。場合によっては、準備のエラーが最大6.5%、読み取りのエラーが**19%**に達していました。これは精密な計算を行おうとするコンピュータにとって、膨大なノイズです。
2. 「カメラ」は常に単純ではない： 一部のキュービットにおいて、測定プロセスは単純な「はい/いいえ」のスイッチよりも複雑であることを発見しました。それは標準的ではない挙動をする「不具合」を少し持っています。彼らの新しいプロトコルはこの不具合を検出できましたが、古い方法では見逃していたでしょう。
3. 問題の半分だけを修正すると、事態が悪化する： これは決定的な発見です。「カメラ」のエラー（測定）を修正しようとして、「舞台設定」のエラー（準備）を無視すると、最終的な答えはわずかに間違っているだけでなく、とんでもなく間違ったものになり得ます。
   • 比喩： 人々のグループの平均身長を計算しようとしていると想像してください。曲がった定規（測定エラー）を使えば、間違った答えになります。しかし、もし全員を傾いたプラットフォーム（準備エラー）に乗せ、定規だけを修正しようとした場合、最終的な計算結果は人々の身長が 10 フィートあると結論づけてしまうかもしれません！この論文は、「傾いたプラットフォーム」を無視することが「非物理的」な結果（現実にはあり得ない数値）につながることを示しています。

なぜこれが重要なのか

この論文は、量子コンピュータを実用的にするためには、エラーがどこから来ているかを正確に知る必要があると主張しています。

• 効率性： 彼らの手法は高速です。コンピュータのサイズに合わせて成長する複雑な回路を構築する必要はありません。2 キュービットでも 100 キュービットでも同様に機能します。
• 精度： エラーを分離することで、個別に修正できます。これにより、量子アルゴリズムを実行する際の結果の精度が大幅に向上します。
• 現実的な検証： 彼らは、エラーを修正する「標準的な」方法（設定が完璧であると仮定するもの）はしばしば私たちに嘘をつき、間違った答えに対して確信を抱かせていることを証明しました。

要約すると、著者らはシンプルで効率的な「診断ツール」を構築しました。これにより、量子エンジニアは自らの機械が設定と読み取りをどのように誤っているかを正確に把握でき、推測するのではなく機械を適切に修正することが可能になります。

技術概要

以下は、Khan、Norris、および Viola による論文「Separate and efficient characterization of state-preparation and measurement errors using single-qubit operations」の詳細な技術的サマリーです。

1. 問題提起

量子コンピューティングプラットフォーム（特に超伝導量子ビット）において、状態準備および測定（SPAM）エラーは、単一量子ビットゲートエラーよりも支配的であることが多い。これらのエラーの正確な特性評価は、以下の点で極めて重要である。

• 効果的なエラー軽減戦略の開発。
• ハードウェア忠実度の向上。
• 量子アルゴリズム（例：位相推定、エラー訂正）の信頼性の確保。

既存プロトコルの限界：

• 結合された特性評価： 標準的なプロトコルは、SP エラーと測定（M）エラーの積（$\alpha_M \alpha_{SP}$）を推定する傾向があり、それらを分離しない。これは SP エラーが無視できる（$\alpha_{SP} \approx 1$）という仮定に依存しており、現在のデバイスでは頻繁に無効である。
• リソース集約性： これらのエラーを分離するプロトコルは、多くの場合、二量子ビットゲート（二量子ビットゲートの忠実度に精度が制限される）または補助量子ビットを必要とし、スケーリングが困難である。
• スケーラビリティ： 単一量子ビットゲートを使用する既存の手法の中には、システムサイズに対して多項式的にスケールする回路に依存するものがあり、環境ノイズが推定値を汚染することを許容している。
• 軽減におけるバイアス： SP エラーを無視する現在の測定エラー軽減技術は、観測量の期待値の推定値にバイアスをもたらすだけでなく、時には非物理的な値をもたらす可能性がある。

2. 手法：QSPAM プロトコル

著者らは、高忠実度の単一量子ビットゲートとリセットなしの繰り返し測定のみを使用して、SP エラーと M エラーを独立して特性評価する量子 SPAM（QSPAM）プロトコルを提案する。

核心的な仮定

• 高忠実度の単一量子ビットゲート： ゲートエラーは SPAM エラーと比較して無視できる。
• 非破壊的測定： 量子ビット状態は測定プロセスを生き延びる（または既知の測定後状態にリセットされる）。
• 無相関エラー： SP エラーと M エラーは、量子ビット間で空間的および時間的に無相関である。
• 古典的 M エラー： 測定エラーは古典的な割り当てエラー（対角 POVM 要素）としてモデル化されるが、このプロトコルはこの仮定からの逸脱を検出できる。

理論的枠組み

このプロトコルは、2 つのバージョンを区別する。

1. sQSPAM（簡易 QSPAM）： 測定（クラウス）演算子が対角であると仮定する。量子ビットあたり5 つの実験を必要とする。
2. QSPAM（一般 QSPAM）： 非対角な測定演算子（クラウス演算子内の非対角要素）を考慮する。量子ビットあたり8 つの実験を必要とする。

主要なメカニズム：
このプロトコルは、リセットなしの繰り返し測定を利用する。状態を準備し、それを測定し、最初の結果に基づいて直ちに再度測定することで、初期状態準備の忠実度（$\alpha_{SP}$）から読み出しの忠実度（$\alpha_M$）を分離する非線形方程式系を構築する。

• 標準 SPAM： $P_{z+ \to z-}$ と $P_{z- \to z+}$ を測定する。これにより、3 つの未知数（$\alpha_M, \delta, \alpha_{z,SP}$）を含む 2 つの方程式が得られるため、$\alpha_{z,SP} \approx 1$ という仮定が必要となる。
• QSPAM： 系列 $P_{z+ \to z+ \to z+}$（2 回測定）を追加する。これにより 3 つ目の独立した方程式が得られ、完全な状態準備を仮定することなく、$\alpha_M, \delta,$ および $\alpha_{z,SP}$ の一意の解を導き出すことができる。
• 完全な特性評価： 測定前にハダマード（$H$）および $\sqrt{X}$（$SX$）ゲートを使用して初期状態を回転させることで、プロトコルは SP ブロッホベクトルの 3 つの成分（$\alpha_{x,SP}, \alpha_{y,SP}, \alpha_{z,SP}$）すべてを特性評価する。

回路深度とスケーラビリティ

• 回路深度は一定であり、システムサイズ（$N$）に依存しない。
• このプロトコルは高度に並列化可能であり、デバイス内のすべての量子ビットを同時に特性評価できる。
• 精度は $\nu^{-1/2}$（$\nu$ はショット数）としてスケールし、統計的ノイズによってのみ制限される。

3. 主要な貢献

1. SP と M エラーの分離： 「完全な SP」という仮定を必要とせず、単一量子ビット演算のみを使用して SP と M パラメータを独立して抽出する厳密な手法。
2. 効率性： システムサイズに関係なく、量子ビットあたり固定数の実験（5 または 8）を必要とし、既存手法のスケーリングの問題を回避する。
3. 非対角 M 演算子の検出： 一般 QSPAM プロトコルは、標準的な対角モデルが見逃す測定演算子内の非対角要素（$\epsilon$ でパラメータ化）を検出および定量化できる。
4. バイアス補正： SP エラーを無視する標準的な軽減が、特に GHZ 状態の安定化子のような集合的観測量に対して、観測量の期待値の過大評価につながることを実証した。

4. 実験結果

著者らは、IBM Quantum デバイス（具体的には ibm_brisbane および ibm_sherbrooke）上でプロトコルを検証した。

• 独立性の検証： 初期化に $R_x(\phi)$ 回転を介して人工的に SP エラーを注入することにより、特性評価された M エラーパラメータ（$\hat{\alpha}_M$）は安定したまま、SP パラメータ（$\hat{\alpha}_{z,SP}$）は予測通り正確に変化することを示した。これにより、プロトコルが 2 つのエラー源を正常に分離していることが確認された。
• デバイスの特性評価：
  • SP 非忠実度は有意であり、最大**6.57%**に達した。
  • 読み出し割り当てエラーは最大**19.1%**に達した。
  • ほとんどの量子ビットは対角な測定演算子（$\epsilon \approx 0$）を示したが、量子ビット 61は有意な非対角成分（$\hat{\epsilon} \approx 0.0015$）を示し、一般 QSPAM プロトコルの必要性を実証した。
• GHZ 状態実験：
  • 著者らは最大 12 量子ビットで GHZ 状態を準備し、集合的観測量 $\langle Z^{\otimes N} \rangle$ を測定した。
  • 標準軽減： 完全な SP を仮定したため、期待値の過大評価が顕著に生じ（時には 1 を超える非物理的な値をもたらす）、
  • QSPAM 軽減： SP エラーを正しく考慮し、ノイズのあるシステムに対する理論的予測と一致する正確な期待値をもたらした。
  • 量子ビット数が増加するにつれて、標準軽減と QSPAM 軽減の差は拡大し、未補正の SP エラーの累積効果を浮き彫りにした。

5. 意義と影響

• ハードウェアベンチマーク： ハードウェア開発者がパフォーマンスのボトルネックが状態準備にあるのか読み出しにあるのかを特定するためのリソース効率の高いツールを提供し、ターゲットを絞ったハードウェア改善を導く。
• アルゴリズム信頼性の向上： 正確な SPAM 軽減を可能にすることで、近未来の量子アルゴリズム（NISQ）における結果のバイアスを防止し、特に集合的観測量やエラー訂正シンドロームを含むアルゴリズムにおいて重要である。
• スケーラビリティ： 一定深度で並列化可能な QSPAM の性質は、二量子ビットゲートベースの特性評価がノイズ過多または遅すぎる大規模量子プロセッサに適している。
• 理論的洞察： この作業は、軽減プロトコルにおいて SP エラーを無視することが単なる近似ではなく、非物理的な結論につながる可能性のある根本的なバイアスの源であることを浮き彫りにしている。

結論として、QSPAM プロトコルは、状態準備と測定エラーを分離するという長年の課題に対する実用的でスケーラブルかつ理論的に厳密な解決策を提供し、現在および将来の量子ハードウェアにおける量子特性評価とエラー軽減の信頼性を大幅に向上させる。