Size-Consistent Quantum Chemistry on Quantum Computers

本研究は、最適に浅いユニタリ回路を用いて非相互作用の H$_2$サブシステムの分子エネルギーが最大 118 個のサブシステムに対して化学精度内で正確に保たれることを示すことで、現在の量子ハードウェアが化学的に関連するシステムサイズにおいてサイズの一貫性を保持することを実証する。

要約

クッキーを焼くことを想像してください。クッキー 1 枚を作るのに 1 ドルかかるなら、10 枚なら正確に 10 ドルかかるはずです。100 枚焼けば、100 ドルかかるはずです。この単純な規則、つまり総コストは個々の部分の単なる合計であるという規則こそが、科学者たちが「サイズ一貫性」と呼ぶものです。

量子化学（原子や電子の振る舞いを研究する分野）の世界では、この規則が極めて重要です。もしコンピュータプログラムが、分子 1 つの計算コストを 10 ドルと示しながら、その分子 10 個のコストを 150 ドルと示すなら、そのプログラムは破綻しています。化学反応がどう進行するか、あるいは材料がどう振る舞うかを予測する信頼性が失われます。

長らく、私たちが日常的に使用する古典的コンピュータは、非常に複雑で「強く相関する」分子を扱う際、この規則に苦しんできました。システムが大きくなるにつれて誤りが生じ始めたのです。一方、物理の奇妙な規則を用いて情報を処理する量子コンピュータは、これを解決すると期待されていました。しかし、そこにはノイズという欠点がありました。

問題：機械内の「雑音」

量子コンピュータを非常に繊細な楽器だと考えてみてください。極めて敏感であるため、わずかな空気の流れ（ノイズ）やわずかな振動さえも、音程を乱してしまいます。より大きく複雑な曲（より大きな分子のシミュレーション）を演奏しようとするほど、より多くの弦（量子ビット）とより多くの演奏時間が必要になります。演奏すればするほど、ノイズが音楽を台無しにする可能性が高まり、その「サイズ一貫性」の規則を破綻させる恐れがあります。

著者たちが問いかけた大きな疑問は、**「現在の量子コンピュータにおけるノイズは数学を台無しにし、分子 10 個の『コスト』を分子 1 個と比較して誤ったものにしてしまうのか？」**というものでした。

実験：H₂分子レゴセット

この検証のため、研究者たちは複雑な現実世界の医薬品や材料を使用しませんでした。代わりに、単純で反復的な構成要素である水素分子（H₂）を使用しました。

巨大な箱に同じレゴブロックが詰まっていると想像してください。

1. 彼らはブロック 1 個で構造を作りました。
2. 次に 2 個。
3. 次に 4 個、8 個、そして最大 16 個まで。
4. 重要なのは、彼らがブロック同士が互いに触れないようにしたことです。それらは単に横に並んでいるだけで、相互作用していませんでした。

ブロック同士が触れていないため、物理学の法則によれば、グループ全体の「エネルギー」（コスト）は、個々のブロックのエネルギーの合計と正確に一致しなければなりません。もし量子コンピュータが誤差を生じさせ、「ああ、16 個のブロックのコストは、1 個のブロックの 16 倍よりも少ない」と言い始めたなら、ノイズがシステムを破綻させたことになります。

結果：機械は耐えた

研究者たちは実際の量子コンピュータ（IBM の「Fez」プロセッサ）上でこれらのシミュレーションを実行し、希望に満ちたニュースを見つけました。

• 「1 ブロック」対「16 ブロック」テスト: ノイズが存在するにもかかわらず、コンピュータは驚くほど長い間、数学を正しく保ち続けました。
• 限界: 彼らは計算したところ、ノイズが「化学的精度」（実際の化学に必要な精度レベル）から数学を逸脱させる前に、コンピュータは（単純化された 1 量子ビットモデルを使用すれば）118 個、（やや複雑な 2 量子ビットモデルを使用すれば）71 個の独立した水素分子に相当するシステムを処理できることがわかりました。
• 比喩: これは、コインの山を数えようとしているようなものです。たとえ目が少しぼやけていても（ノイズ）、100 枚のコインを正しく数えることができます。100 万枚を数えようとすれば小さな誤りが生じ始めるかもしれませんが、化学において実際に重要となる規模の山であれば、まだぼやけた目は問題にはなりません。

「 glitches（不具合）」についてはどうでしょうか？

この論文はまた、コンピュータが電子を「励起」（より高いエネルギー状態へ移動させる）する頻度など、具体的な詳細にも焦点を当てました。

• 最も単純な設定では、コンピュータは完璧でした。
• より複雑な設定では、コンピュータは時折、幽霊のような電子を誤って数えたり、実際の電子を見逃したりするなどの小さな誤りを犯しました。
• しかし、研究者たちは、これらの小さな不具合があっても、全体的な傾向は正しく保たれていることを発見しました。誤りはシステムが大きくなるにつれて悪化せず、実際には平均化されました。これは、スイカの重さを推測する人々のグループを持っているようなものです。一部は高く推測し、一部は低く推測します。グループに人を増やせば増やすほど、平均的な推測はより正確になり、不正確になるのではありません。

結論

この論文は、量子コンピュータに対する「ストレステスト」です。それは、現在のハードウェアにおける「ノイズ」や不完全性にもかかわらず、これらの機械が非相互作用系をシミュレートする際に、化学の根本的な規則を破綻させないことを証明しています。

彼らは、結果が nonsens（ nonsens）になることなく、化学的に関連する規模（前述の 71 個または 118 個の水素分子など）のシステムをシミュレートできることを示しました。これは重要な第一歩です。それは、量子コンピュータが「完全な」ノイズフリーの機械を待つことなく、超伝導体や複雑な材料のモデリングといった本当に難しい問題に取り組み始める準備ができていることを私たちに伝えています。土台は、建設を始めるのに十分なほど堅固です。

技術概要

以下は、ノア・ギャレット、マイケル・ローズ、デビッド・A・マッツィオッティによる論文「量子コンピュータにおけるサイズ一貫性のある量子化学」の詳細な技術的概要です。

1. 問題提起

サイズ一貫性（size consistency）は、電子状態計算手法にとって基本的な要件であり、非相互作用のサブシステムから構成される系のエネルギーは、それらのサブシステムを独立して計算したエネルギーの総和と等しくなければならないと述べる。この原理の違反は、系サイズとともに増大する系統的誤差をもたらし、断絶された配置相互作用（CISD）などの手法を、結合解離、反応エネルギー、および大規模な周期系（例えば超伝導体）のモデル化に不適切なものとする。

多くの量子アルゴリズムは理論的にはサイズ一貫性を有しているが、ノイズ中間スケール量子（NISQ）デバイスは、回路深度と量子ビット数に比例して増大するノイズ（ゲート誤差および読み出し誤差）を導入する。この研究で扱われる重要な未解決の問いは、現在の量子ハードウェアがノイズの存在下でもサイズ一貫性を維持できるのか、あるいは名目上独立したサブシステム間のノイズ誘起結合がこの基本的性質を劣化させ、スケーラブルな量子優位性を阻害するのか、という点である。

2. 手法

著者らは、ハードウェアノイズがサイズ一貫性に及ぼす影響を分離するために、手法に依存しない戦略を採用した。

• 系モデル: 非相互作用の水素分子（$H_2$）の数（$N$）を増加させた複合系をシミュレートした。$H_2$分子は、最小基底セット（STO-3G）を用いて、厳密な基底状態としてフル配置相互作用（FCI）波動関数を用いてモデル化された。
• 量子ビット表現: 各$H_2$サブシステムに対して、3 つの異なる量子ビットマッピングが利用された。
  1. 単一量子ビット: 対称性（$D_{\infty h}$）と電子保存則により削減。
  2. 2 量子ビット: 対称性により削減。
  3. 4 量子ビット: 標準的なジョルダン・ウィグナー変換（スピン軌道 1 つあたり 1 量子ビット）。
• 回路構築: ハートリー・フォック参照状態を直接 FCI 基底状態に変換する、最適に浅いユニタリ回路が設計された。非相互作用系の FCI 波動関数は乗法的に分離可能であるため、これらのユニタリ回路はノイズのない環境において本質的にサイズ一貫性を維持する。
• ハードウェアおよびノイズ軽減: 実験はIBM Q Fezプロセッサ（156 量子ビット）で行われた。異なる系サイズ全体で一貫した誤差プロファイリングを確保するため、著者らはカスタム選択的サンプリング手順を用いた。ランダムな量子ビット選択の代わりに、ゲート/読み出し誤差で物理量子ビットをソートし、より大きな系のノイズ分布をより小さなサブシステム上で再現するようにサブセットを選択的にサンプリングした。
• 測定: エネルギーは、カスタムパウリ測定戦略を用いた量子状態トモグラフィにより得られた。重要なことに、サブシステムは非相互作用であるため、異なるサブシステムに作用するパウリ文字は可換であり、同じデータからすべてのサブシステムを同時に測定することが可能で、測定回数は系サイズに関係なく一定に保たれた。

3. 主な貢献

• ノイズの体系的評価: これは、NISQ ノイズが変化する系サイズにわたる量子シミュレーションのサイズ一貫性にどのように影響するかを体系的に評価した最初の研究である。
• スケーラビリティ限界の定量化: 著者らは、現在のデバイスが「化学的精度」（1 kcal/mol）を維持しながらシミュレートできるサブシステム数の定量的限界を確立した。
• 分離条件の検証: 本研究は、現実的なノイズ条件下で加法的分離性（エネルギーのスケーリング）と乗法的分離性（波動関数の構造）の両方を検証した。
• 手法に依存しない枠組み: 特定のバリエーションアルゴリズム（VQE など）ではなく、最適に浅い回路を使用することで、ハードウェアノイズをアルゴリズムの収束問題から分離した。

4. 主要な結果

本研究は、1 から 16 までの非相互作用$H_2$分子（単一量子ビットマッピングの場合、最大 16 量子ビット）からなる系をシミュレートした。

• エネルギーのスケーリング（加法的分離性）:
  • 単一量子ビットマッピング: $H_2$あたりのエネルギーは安定しており、量子ビットあたりの傾き偏差（$\Delta$）は$8.474 \times 10^{-3}$ kcal/mol であった。デバイスは、最大118 個の$H_2$サブシステム（118 量子ビット）まで化学的精度内でサイズ一貫性を維持すると推定される。
  • 2 量子ビットマッピング: 傾き偏差は$-7.000 \times 10^{-3}$ kcal/mol 量子ビットあたりであった。一貫性は最大71 個の$H_2$サブシステム（142 量子ビット）まで維持される。
  • 4 量子ビットマッピング: このより深い回路はより高いノイズの影響を受け、大きな誤差（$\Delta = 1.221 \times 10^{-1}$）を招いた。一貫性は2 個の$H_2$サブシステム（8 量子ビット）のみで維持された。
• 波動関数の性質（乗法的分離性）:
  • 二重励起人口: 二重励起の確率は、すべてのユニタリ回路において系サイズにわたって一定であり、乗法的分離性を確認した。興味深いことに、ノイズの存在下では、2 量子ビットおよび 4 量子ビット回路は、単一量子ビット回路よりも厳密な FCI 値に近い人口を生み出した。
  • 単一励起人口: FCI 状態は単一励起人口がゼロであるべきである。ノイズは 2 量子ビットおよび 4 量子ビット回路において非ゼロの人口を誘起した。しかし、単一量子ビットマッピングは、その符号化方式により、この誤差を自然に回避した。
• 誤差解析: 本研究では、エネルギー分散（ヘテロスケダスティシティ）が系サイズの増加とともに減少することが観察された。より大きな系は、トモグラフィ中に個々の量子ビット誤差を本質的に平均化するのに対し、より小さな系は使用された少数の量子ビットの特定のノイズプロファイルの影響を受けやすかった。

5. 意義と結論

この論文は、ノイズの存在にもかかわらず、現在の量子ハードウェアが化学的に関連する系サイズ全体でサイズ一貫性を維持できることを実証している。

• スケーラブルなシミュレーションの実現可能性: サイズ一貫性が約 100 量子ビットまで維持されるという発見は、近未来のデバイスが、古典的な断絶された手法（CISD など）が悩まされる系統的誤差なしに、強く相関する物質や断片化された分子系をシミュレートする能力を有していることを示唆している。
• 量子優位性の基盤: ノイズが、大規模系モデル化に必要な基本的なスケーリング特性を即座に破壊しないことを証明することで、この研究は量子化学における真の量子優位性を達成するための必要な前提条件を提供している。
• 材料科学への示唆: 非相互作用断片を正確にモデル化する能力は、結合解離、反応熱力学、および周期系（例えば超伝導体）の研究において不可欠であり、これらは組み合わせのスケーリングにより現在、古典コンピュータでは扱いが困難である。

要約すると、著者らは、ノイズが分散を導入するものの、最適に設計された量子回路のサイズ一貫性の性質を根本的に破ることはなく、複雑な物質の信頼性の高い大規模量子シミュレーションへの道を開くと結論付けている。