量子コンピュータは、新しい医薬品の設計から複雑な材料のモデリングに至るまで、今日のコンピュータでは不可能な問題を解決するという約束を掲げています。しかし、これらのマシンは極めて脆弱で、読み取るのが難しいことで知られています。量子コンピュータが何を行っているのかを理解するために、科学者たちはその状態を測定しなければなりませんが、このプロセスには困難が伴います。彼らが求める情報は、互いにうまく機能しない、微小で相互作用する部品の集合体にエンコードされていることが多く、一つの部分を測定すると他の部分を乱してしまうことがあります。また、確認する必要のある特性の多くは、同時に観測することができません。これはボトルネックを生み出します。システムを明確に把握するためには、研究者は測定を数千回、あるいは数百万回繰り返さなければならず、このプロセスは貴重な時間とリソースを消費します。中心となる課題は、いかにして最も少ない高価な測定回数で、可能な限り正確な情報を収集するかという点です。
ある研究チームが、収集するデータの見方を変えることで、この問題に取り組む新しい戦略を開発しました。彼らの手法は、量子状態を一度だけ測定して最善を期すのではなく、同時に2つの同一の状態のコピーを用意するというものです。これら2つのコピーを同時に探索することで、研究者は以前には不可能だった方法でシステムの特性に関する情報を抽出することができます。彼らは、この「二重」のアプローチによって、ある特性の平均値を決定できるだけでなく、決定的なことに、測定が行われている最中にその測定の不確地(不確かさ)を計算できることを見出しました。このエラーに関するリアルタイムの知識により、システムはどこに労力を注ぐべきかを賢く判断できるようになります。システムは、どの部分がまだ不透明であるかを即座に認識し、すでに十分に理解されている部分にリソースを浪費することなく、そこに次の測定を集中させることができるのです。
研究チームは、量子アルゴリズムのコンピュータシミュレーションを用いてこのアイデアをテストし、彼らの新手法を既存の最良の手法と競わせました。彼らは2種類のシステムに焦点を当てました。一つは格子状に配置された核スピンのモデル、もう一つは水素分子のシミュレーションです。これらのシミュレーションにおいて、測定する必要のある量子特性はしばしば互いに衝突しており、つまり、従来の方法ではそれらを同時に測定できないことを意味していました。チームの新しいプロトコル(彼らが「ダブル・スキーム」と呼ぶもの)は、これらの困難なシナリオにおいて、著しく高い効率性を示しました。特性が高度に非可換である場合(つまり、一緒に測定されることに抵抗がある場合)、新手法は、従来のメソッドと同じ精度に達するために必要な総測定回数が大幅に少なくなりました。いくつかのケースでは、測定回数を2倍以上削減しており、これは、あらゆる測定が重要となる量子コンピューティングの世界において、実質的な節約となります。
このアプローチの成功は、巧妙なフィードバックループに基づいています。アルゴリズムは、各測定の結果に基づいてシステムの理解を常に更新します。それは統計的な手法を用いて、どの測定が全体の不確かさを最も減少させるかを予測します。もしシステムがある特性の「符号」(正か負か)について不確かさを持っている場合、アルゴリズムはその特性のみを測定すべきであることを理解します。もし大きさ(特性がどれほど強いか)について不確かさを持っている場合は、ダブル・スキームを用いることで、符号を知る前にその大きさの明確な姿を得ることができます。この適応的な戦略により、コンピュータは単に盲目的に測定を繰り返すのではなく、進歩しながら学習し、最も不確かな部分に優先順位をつけることができます。研究者たちは、彼らのエラー推定が統計的に妥当であることを確認しました。つまり、彼らが計算した不確かさは実際の変動と一致しており、進捗状況を測るための信頼できる尺度となっていたのです。
ダブル・スキームは強力なツールですが、研究者たちはそれがあらゆる状況における万能薬ではないことも指摘しています。この手法は、状態の2つのコピーを保持するために、より多くの物理的リソース、具体的には2倍の量子ビットを必要とし、測定される特性が互いにまとめにくい場合に最も効果を発揮します。特性がすでに同時に測定しやすい場合、ダブル・スキームによる追加のコストは見合わない可能性があります。しかし、量子コンピュータが解決するために設計された複雑な問題、すなわち多くの特性が絡み合い、非可換である場合において、この新手法は明確な道筋を提供します。これは、状態の複数のコピーを使用し、測定戦略をその場で適応させることで、科学者がより少ない労力でより多くの情報を抽出できることを示唆しており、量子コンピュータの実用性を現実へと一歩近づけています。
技術要約:非可換パウリ演算子の同時プロービングによる量子コンピュータ上の測定の高度化
問題提起
量子コンピュータにおいて、観測量 O^ の期待値を正確に推定することは、アルゴリズム、特に変分量子アルゴリズム(VQA)における根本的なボトルネックとなっている。観測量は通常、パウリ文字列(PS)の重み付き和 O^=∑ciP^i として表される。標準的な測定プロトコルでは、同時に測定するために可換なPSをグループ化する必要がある。しかし、観測量に多くの非可換なPSが含まれている場合、必要な測定グループの数が増加するため、推定誤差を最小化するために有限の測定予算(M)を効率的に配分する戦略が必要となる。古典的シャドウやグルーピング戦略などの既存の手法は、平均と統計的誤差の両方の単一実行(single-run)での精密な推定に苦慮することが多く、あるいは非可換項が支配的な場合にショットを最適に配分できない。
手法
著者らは、マルチコピー量子状態準備とベイズ統計フレームワークを組み合わせた「ダブル」測定スキームを提案している。
- マルチコピー原理: 単一のコピー ∣ϕ⟩ を測定する代わりに、このプロトコルでは2つの同一のコピー ∣ψ⟩=∣ϕ⟩⊗∣ϕ⟩ を準備する。これにより、「ダブル」パウリ文字列 P^i⊗P^i の同時測定が可能になる。極めて重要な点は、P^i と P^j が非可換であっても、それらの倍加されたバージョンである P^i⊗P^i と P^j⊗P^j は常に可換であり、すべてのパウリ項の大きさを可換関係に関わらず同時に評価できることである。
- ベイズ推定: このスキームは、単一のパウリ測定で +1 を得る確率 θi と、ダブル測定で +1 を得る確率 ϕi を推定するために、ベイズ推論を採用している。
- 単一とダブルの出力間の関係は ϕi=θi2+(1−θi)2 として導出される。
- プロトコルは、平均 O^ と、決定的な要素として、推定量の分散 (ΔO^)2 を推定するために、後験分布 P1(単一/ダブルの出力に関する1つのPS)および P2(可換なPSペアの相関出力に関するもの)を構築する。
- 以前の研究ではPSの共分散から分散を計算していたが、本手法は「推定値そのもの」の分散を計算するため、リアルタイムでのエラーモニタリングが可能となる。
- 適応的ショット配分: アルゴリズムは、「ダブル」スキーム(すべての P^i⊗P^i を測定)と「シングル」スキーム(可換な P^i のグループを測定)の間で、測定ショットを動的に配分する。
- アルゴリズムは「仮想測定」を用いて、各選択肢における (ΔO^)2 の減少量を予測する。
- ダブルスキームのリソースオーバーヘッド(2倍の量子ビットと潜在的な回路深さが必要)を考慮し、有効ショット数 Meff=Msingle+2αMdouble を定義する。
- アルゴリズムは、最も不確実性の高いパウリ項を優先的にサンプリングし、特にダブル測定の対称性に起因する符号の曖昧さ(⟨P^i⟩≈0 の場合)の解決をターゲットとする。
主な貢献
- 初の実装: 本研究は、ベイズ統計を統合した測定プロトコル内における、2コピー・スキームの最初の実装を提示している。
- 高度なエラーモニタリング: この手法は、平均値とともに、統計的誤差 (ΔO^)2 の正確な単一実行推定値を提供する。AEQuOが単一実行のエラー推定が可能な最先端のアプローチとして挙げられているが、本研究は、特定の領域で優れたエラー低減を実現するマルチコピー・フレームワークと統合することで、その能力を拡張している。
- 適応型アルゴリズム: 著者らは、現在の知識に基づき、シングル測定とダブル測定の間のトレードオフをインテリジェントに切り替えるアルゴリズムを開発し、リソースコストとエラー低減を最適化している。
- 理論的確認: 本研究は、期待値がゼロの項における分散とショット数の間の平方根の関係など、マルチコピー・スキームのオーバーヘッドに関する理論的予測を数値的に確認している。
結果
水素分子(H2)のハミルトニアンおよび、様々な格子サイズを持つ量子イジングモデルを用いて数値ベンチマークが行われた。
- 最先端手法との比較: ダブルスキームは、非可換なパウリ項を多く含む観測量(例:分子ハミルトニアン)の領域において、最先端のAEQuOプロトコルや固定配分戦略を大幅に上回る性能を示す。これらのケースでは、ダブルスキームは、与えられた有効測定予算に対してより低い推定誤差を達成する。ただし、著者らは、特定のシナリオ(特定のイジングモデルのインスタンスなど)では、瞬時的な知識に基づくショット配分戦略の違いにより、AEQuOの方が優れた誤差を示すことがあると指摘している。
- 領域依存性: 優位性は観測量の特性に強く依存する。非可換項が多いシステム(グルーピングが困難な場合)では、ダブルスキームが優れている。しかし、期待値がゼロに近い項については、ダブルスキームの効率が低下し(分散が 1/M ではなく 1/M でスケールする)、アルゴリズムはこれらの特定の領域においてダブル測定への配分を適応的に減少させる。
- 統計的妥当性: 推定されたエラーバー (ΔO^)2 は、実験を繰り返すことなく、推定量の不確実性を正しく捉えており、統計的に意味のあるものであることが示された。
- リソースのスケーリング: アルゴリズムの時間計算量は O(p2M3) に制限されるが、並列化とバッチ配分戦略によって O(M) まで最適化可能である。
意義と主張
本論文は、提案された「ダブル」スキームが、量子測定のための実用的かつ実装可能な進歩であることを主張している。その主な意義は、特に量子化学シミュレーションに見られるような、非可換項が支配的な複雑な観測量において、目標精度に達するために必要な総ショット数を最小化できる点にある。堅牢な単一実行のエラー推定を提供することで、本手法は、現在のベストプラクティスよりも効率的なことが多い適応的測定戦略を可能にする。ただし、相対的なパフォーマンスは観測量の可換構造に依存する。著者らは、このスキームがリソースのオーバーヘッド(ショット数と量子ビットの2倍のコスト)を伴うものの、非自明なシステムにおける収束に必要な総ショット数の削減によって、このコストがしばしば相殺されると述べている。本研究は、このアプローチが、測定予算が厳格に制限されている近未来の量子シミュレーションにおいて特に適していると結論付けている。
毎週最高の quantum physics 論文をお届け。
スタンフォード、ケンブリッジ、フランス科学アカデミーの研究者に信頼されています。
受信トレイを確認して登録を完了してください。
問題が発生しました。もう一度お試しください。
スパムなし、いつでも解除可能。
週刊ダイジェスト — 最新の研究をわかりやすく。登録