2025-11-25T01:10:17.376877

Simon's algorithm in the NISQ cloud

Robertson, Doucet, Spicer et al.

Simon's algorithm was one of the first problems to demonstrate a genuine quantum advantage. The algorithm, however, assumes access to noise-free qubits. In our work we use Simon's algorithm to benchmark the error rates of devices currently available in the "quantum cloud." As a main result we obtain an objective comparison between the different physical platforms made available by IBM and IonQ. Our study highlights the importance of understanding the device architectures and chip topologies when transpiling quantum algorithms onto hardware. For instance, we demonstrate that two-qubit operations on spatially separated qubits on superconducting chips should be avoided.

academic

NISQ クラウドにおけるサイモン算法

基本情報

論文ID: 2406.11771
タイトル: Simon's algorithm in the NISQ cloud
著者: Reece Robertson, Emery Doucet, Ernest Spicer, Sebastian Deffner
分類: quant-ph cs.ET
発表日: 2024年6月18日 (arXiv プレプリント)
論文リンク: https://arxiv.org/abs/2406.11771

概要

サイモン算法は、真の量子優位性を示す最初の問題の一つである。しかし、本アルゴリズムはノイズのない量子ビットへのアクセスを仮定している。本研究はサイモン算法を用いて、現在の「量子クラウド」で利用可能なデバイスのエラー率をベンチマークする。主な成果は、IBMおよびIonQが提供する異なる物理プラットフォームの客観的な比較である。本研究は、量子アルゴリズムをハードウェアに変換する際に、デバイスアーキテクチャとチップトポロジーを理解することの重要性を強調している。例えば、超伝導チップ上で空間的に分離された量子ビット間の2量子ビット操作は避けるべきであることが実証されている。

研究背景と動機

問題背景

量子優位性の理論と実践のギャップ: サイモン算法は理論上指数関数的な量子加速を有するが、これはノイズのない量子ビットの仮定に基づいており、現在のNISQ(Noisy Intermediate-Scale Quantum)デバイスは顕著なノイズを有している。
NISQ デバイス性能評価の必要性: 量子計算への投資が急増し(2030年代中盤までに1.3兆ドルの市場規模に達すると予想)、現在の量子クラウドデバイスの実際の性能を客観的に評価する必要がある。
アルゴリズム移植の課題: 異なる量子ハードウェアプラットフォーム(超伝導対イオントラップ)は異なるアーキテクチャ特性を有し、これらの違いがアルゴリズム性能に与える影響を理解する必要がある。

研究動機

サイモン算法はノイズに対して高度に敏感であり、NISQ デバイスのノイズ診断に理想的なツールとなる
異なる量子クラウドプラットフォームの体系的な比較研究が不足している
ハードウェアトポロジーがアルゴリズム性能に与える具体的な影響を理解する必要がある

核心的貢献

体系的ベンチマーク: IBMおよびIonQの複数の量子デバイスに対するサイモン算法による包括的なエラー率ベンチマークテストを初めて実施
プラットフォーム比較分析: 超伝導量子ビット(IBM)とイオントラップ(IonQ)プラットフォームの客観的な性能比較を提供
トポロジー依存性の発見: 量子ビットの空間分離が超伝導プラットフォーム性能に与える顕著な悪影響を実証
ノイズモデル検証: 既存のノイズシミュレーターが実際のハードウェアの動作を正確に予測できないことを発見
量子優位性閾値分析: 現在のNISQ デバイスが真の量子優位性から離れている具体的な距離を特定

方法の詳細

タスク定義

サイモン問題: 関数fが与えられたとき、それが一対一関数であるか、秘密文字列sを持つ二対一周期関数であるかを判定し、後者の場合はsを見つけ出す。

数学的表現: n ビット文字列入力に対して、f は一対一であるか、同じ出力にマップされる任意の2つの入力 x₁ と x₂ に対して x₁ ⊕ x₂ = s が成立する。

アルゴリズム実装

量子回路構造

初期化: 2つのn量子ビットレジスタを|0⟩状態に初期化
第1次ハダマール変換: 第1レジスタにH ゲートを適用し、均一重ね合わせ状態を生成
オラクル操作: Uₓを適用し、Uₓ(|x⟩|y⟩) = |x⟩|f(x)⊕y⟩を実装
第2次ハダマール変換: 第1レジスタに再度H ゲートを適用し、干渉パターンを生成
測定: すべての量子ビットを測定し、秘密文字列sと直交する結果を抽出

オラクル実装の変種

複雑なオラクル: 最大数の2量子ビットゲートを使用

複数のCNOT ゲートと単一量子ビット回転を含む
最大エンタングルメント操作下でのハードウェア性能をテスト

シンプルなオラクル: 最小数の2量子ビットゲートを使用

エンタングルメント操作を最小化
性能基準線として機能

性能評価指標

アルゴリズムエラー率: 秘密文字列sと直交しない結果を返す反復の割合として定義

理想的には0%であるべき
50%のエラー率はランダム推測と同等であり、アルゴリズムが完全に失効していることを示す

実験設定

テストプラットフォーム

IBM 超伝導プラットフォーム

デバイス: Brisbane、Osaka、Kyoto(すべて127量子ビット Eagle チップ)
特性: 固定接続トポロジー、遠距離操作にはSWAP ゲートが必要
ノイズモデル: IBM AER ローカルシミュレーター、単一/2量子ビットゲートエラーと読み出しエラーを含む

IonQ イオントラッププラットフォーム

デバイス: Harmony(11量子ビット)、Aria(25量子ビット)、Forte(32量子ビット)
特性: 完全接続トポロジー、任意の量子ビット間で直接操作が可能
利点: より高い精度、予測可能性、コヒーレンス時間

実験パラメータ

問題規模: n ∈ 2, 12
繰り返し回数: 各構成3回の実験、シミュレーター30回
量子ビット割り当て: IBM システムが物理量子ビット選択を動的に最適化することを許可
キャリブレーション更新: 各実験前に最新のノイズ特性を取得

実験結果

主な発見

1. 全体的性能トレンド

すべてのNISQ デバイスは問題規模の増加に伴いエラー率の上昇を示す
重要な閾値: 約12量子ビット時に、複雑なオラクルのエラー率が50%に接近
量子優位性予測: 53量子ビットまで外挿すると、すべてのデバイスのエラー率が50%に達する

2. プラットフォーム差異

IBM 超伝導プラットフォーム:

複雑なオラクル: 非線形エラー増加、n>8で急速に悪化
シンプルなオラクル: 良好な性能、エラー率は低く保たれる
空間分離の影響: CNOT ゲートエラー率は量子ビット間の距離に伴い顕著に増加

IonQ イオントラッププラットフォーム:

エラー率は一貫した線形増長パターンを示す
完全接続トポロジーは空間分離の問題を回避
全体的性能はより予測可能

3. シミュレーター対実際のハードウェア

IBM: ノイズシミュレーターは複雑なオラクルのエラー率を大幅に過小評価
IonQ: シミュレーターは傾向を正しく予測するが、エラー率を約2倍過小評価
重要な問題: 既存のノイズモデルは相関エラーを十分に考慮していない

定量的結果

物理パラメータ比較

パラメータ	IBM Brisbane	IBM Osaka	IBM Kyoto	IonQ Forte	IonQ Aria
T₁時間	213.12 μs	297.17 μs	215.43 μs	100 s	100 s
T₂時間	145.97 μs	127.23 μs	109.44 μs	1 s	1 s
2量子ビットゲートエラー率	0.74%	0.93%	0.92%	0.74%	8.57%
読み出しエラー率	1.32%	2.18%	1.48%	0.5%	0.52%

空間分離の影響

IBM プラットフォーム上では、CNOT ゲートエラー率は制御ビットと標的ビット間の距離に伴い明らかな増長傾向を示し、ノイズシミュレーターはこの効果を正確に捉えることができない。

結論と議論

主な結論

NISQ の制限: 現在の量子クラウドデバイスは依然としてノイズが多すぎて、真の量子優位性をサポートできない
アーキテクチャの重要性: デバイスアーキテクチャとチップトポロジーを理解することはアルゴリズム変換に不可欠である
空間効果: 超伝導チップ上では空間的に分離された量子ビット間の2量子ビット操作を避けるべき
シミュレーター不足: 既存のノイズシミュレーターは実際のハードウェア動作を正確に予測できない

技術的洞察

超伝導プラットフォーム最適化戦略

アルゴリズム設計時に量子ビット接続トポロジーを考慮する必要がある
SWAP ゲートが必要な長距離操作を最小化する
動的量子ビット割り当てはトポロジー制限を部分的に緩和できる

イオントラッププラットフォームの利点

完全接続性はアルゴリズム実装を簡素化する
より優れたエラー予測可能性
現在の量子ビット数の制限が主なボトルネック

制限事項

アルゴリズム特異性: 結論は主にサイモン算法に基づいており、他のアルゴリズムは異なる性能を示す可能性がある
時間依存性: 量子デバイス性能は継続的に改善されており、結論には時効性がある
規模制限: デバイス能力の制限により、より大規模な問題のテストができていない
コスト制約: IonQ Forte テストは予算制限を受け、データポイントが少ない

将来の方向性

アルゴリズム範囲の拡張: ドイッチ・ジョザ、ベルンシュタイン・ヴァジラニ、ショア等のアルゴリズムをテスト
ノイズ耐性: 量子優位性を維持しながらサイモン算法が許容できるノイズ閾値を研究
ブール線形システム: ノイズのあるブール線形方程式系を解く効率的なアルゴリズムを開発
ハードウェア改善: デバイス性能向上がアルゴリズム性能に与える影響を追跡

深い評価

利点

体系性が強い: 複数の量子クラウドプラットフォームに対するサイモン算法の包括的ベンチマークテストを初めて実施
実用価値が高い: 量子アルゴリズム開発者が適切なプラットフォームを選択するための重要な参考資料を提供
重要な発見: 空間分離が超伝導プラットフォーム性能に与える顕著な影響を明らかにした
方法が科学的: 複雑/シンプルなオラクルの比較により、異なる要因の影響を効果的に分離
データが公開: 完全なコードとデータを提供し、結果の再現を支援

不足点

アルゴリズム制限: サイモン算法のみをテストしており、結論の普遍性は検証が必要
規模制限: 最大テスト規模(24量子ビット)は量子優位性閾値までの距離がまだ遠い
時効性: NISQ デバイスの急速な発展により、結論は急速に時代遅れになる可能性がある
理論分析不足: 観察された現象に対する深い理論的説明が不足している
コスト制約: 一部の実験は予算制限を受け、データの完全性に改善の余地がある

影響力

学術的貢献:

NISQ デバイス性能評価のための新しいベンチマーク方法を提供
ハードウェアトポロジーがアルゴリズム性能に与える重要な影響を明らかにした
量子優位性実現の時間予測にデータサポートを提供

実用的価値:

量子アルゴリズム開発者がハードウェアプラットフォームを選択する際の指針
量子クラウドサービスプロバイダーがデバイスを改善するための方向性を提供
投資家が量子計算の発展段階を評価するための参考資料

再現可能性:

完全な GitHub コードリポジトリを提供
実験設定とパラメータを詳細に説明
公開アクセス可能な量子クラウドプラットフォームを使用

適用シナリオ

NISQ アルゴリズム開発: 開発者にハードウェア選択の指針を提供
量子クラウドサービス評価: ユーザーが適切な量子計算プラットフォームを選択するのを支援
ハードウェア改善指導: 量子デバイス製造業者に最適化方向を提供
教育研究: 量子計算コースの実践的なケーススタディとして機能
投資決定: 量子計算投資に対する技術現状の参考資料を提供

参考文献

本論文は47篇の重要な文献を引用しており、主に以下を含む:

Simon, D.R. (1997): サイモン算法の原論文
Nielsen & Chuang (2010): 量子計算と量子情報の古典的教科書
Preskill, J. (2018): NISQ 時代の開拓的論文
IBM および IonQ の技術文書と API 説明書
最近の量子優位性実験に関する関連研究

要約: 本論文はサイモン算法を通じて現在の主流量子クラウドプラットフォームに対する体系的ベンチマークテストを実施し、NISQ デバイスの性能制限と異なるハードウェアアーキテクチャの特性を明らかにした。研究結果は量子計算分野に重要な実用的価値を有するが、真の量子優位性実現までにはかなりの距離があることも示している。量子ハードウェアの急速な発展に伴い、継続的な性能監視と評価はこの分野の重要な研究方向となるであろう。