自然界の動的プロセスから人間社会の金融モデルまで、世界のあらゆる事象の変化は微分方程式という共通言語によって記述される。流体の滑らかな動き、化学反応の激しい進行、あるいは市場の変動リスクなど、複数の要因が複雑に絡み合う現象を正確に予測することは、現代の科学技術が直面する最大の壁の一つである。変数が多く非線形性が強まるほど、現在最速の古典的なスーパーコンピュータでさえ、その解を導き出すために膨大な時間とエネルギーを浪費してしまう。この計算の限界を根底から打ち破る究極の装置として期待を集めているのが、量子コンピュータである。

だが、量子コンピュータの歴史は、同時に自然界のノイズとの過酷な闘いの歴史でもあった。計算の最小単位である量子ビットは、極わずかな温度変化や微弱な電磁波といった環境要因に触れただけで、その重なり合った繊細な状態を容易に崩壊させてしまう。「デコヒーレンス」と呼ばれるこの現象に対抗するため、物理学者たちは複数の不安定な「物理量子ビット」を巧みに束ねて、一つの強固な「論理量子ビット」を作り出す「量子エラー訂正(QEC)」という概念を考案した。

ここで、長年にわたり業界を悩ませてきた残酷なパラドックスが生じる。論理量子ビットを構築し、エラーを監視し続けるためには、補助的な量子ビットを大量に用意し、複雑な量子ゲート操作(オーバーヘッド)を連続して実行しなければならない。しかし、現在の量子ハードウェアはまだ不完全であるため、このエラーを直すための追加操作自体が、かえって新たなノイズを呼び込んでしまう。結果として、「苦労して論理量子ビットを構築するよりも、生の物理量子ビットのまま計算した方がまだ精度が高い」という自己矛盾に陥っていた。そのため、これまでに行われた論理量子ビットの実験は、ごく基本的なもつれ状態の準備や、アルゴリズムの小さな部品が動くかどうかを確認する箱庭の中のテストに限定されてきたのだ。

果たして、現在の過渡期にあるハードウェアのレベルで、この「エラー訂正のジレンマ」を突破し、現実の複雑な計算タスクにおいて論理量子ビットの真の優位性を証明する日は来るのか。

フランスの量子テクノロジー企業Pasqalの研究チームは、ルビジウム原子を用いた独自の中性原子量子プロセッサを駆使し、この根源的な問いに対する決定的な解答を突きつけた。彼らは量子カーネル法と呼ばれる最先端の機械学習アルゴリズムを用いて微分方程式を解き、論理量子ビットが物理量子ビットによる計算エラーを平均50%以上も削減することを世界で初めて実証した。これは、量子計算機がノイズの海を越え、真の実用性を獲得する「FTQC(誤り耐性量子計算)」時代への扉を開く、極めて重大なマイルストーンだ。

2605-fig1.webp
物理量子ビットと論理量子ビットによる計算性能を比較するエンドツーエンドの実験ワークフロー。量子カーネルを物理回路と論理回路の両方で算出し、その出力を古典アルゴリズムと組み合わせて微分方程式の解を近似する。最終的な残差(解の誤差)を比較することで、アプリケーションレベルでの論理量子ビットの優位性を検証した。(Credit: P. Mathiot, E. Garnaoui, A. U. Leriche, E. Philip, et al., arXiv:2605.21276v1 [quant-ph] (2026). DOI: 10.48550/arXiv.2605.21276)

AD

高次元の風景を映す鏡。量子カーネル法と「歪んだ定規」の正体

今回のブレイクスルーの核心を理解するためには、Pasqalが微分方程式を解くために採用した「量子カーネル法(Quantum Kernel Methods)」の性質を知る必要がある。カーネル法とは、そのままでは複雑すぎて分析できない低次元のデータを、計算上で極めて高い次元の空間(特徴空間)へと飛ばし、そこでデータ同士の類似度(内積)を測る数学的アプローチを指す。

この概念を直感的に掴むため、平面上に無秩序に散らばった赤と青の点を想像してほしい。これらを一本の直線で綺麗に分割できない場合、点が乗っている平面をトランポリンのように弾ませて空中に浮かせる。三次元の立体的な空間に飛び上がった点を見れば、平らな板を一枚差し込むだけで赤と青を鮮やかに切り分けることができる。この「弾ませる」作業を、古典コンピュータでは到底扱いきれないほど広大な量子状態のヒルベルト空間で行うのが量子カーネル法である。研究チームは、この量子空間で計算されたカーネルを基底関数(物差しとなる基本的な波の形)として用い、それらを足し合わせることで微分方程式の真の解の曲線を近似する手法をとった。

ここで物理量子ビットの限界が容赦なく牙を剥く。量子回路を構成するゲート操作には、常にわずかな角度のズレ(アンダーローテーションやオーバーローテーションなどのコヒーレントエラー)がつきまとう。このノイズは、出力されるカーネルの形状そのものを不規則に歪ませてしまう。

もし測定に使う物差しの目盛りがランダムに伸び縮みしたり、定規そのものが波打つように曲がっていたりすれば、どれほど巧妙に古典コンピュータで後処理を行っても、真の解の曲線を正確になぞることは不可能である。全体的な信号の弱まり(振幅の低下)であれば後処理の係数を掛け合わせることで吸収できるが、形状の歪みは致命的な「基底の不一致(Basis mismatch)」を引き起こし、計算結果を決定的に破壊してしまうのである。

競合を凌駕する動的再構成。中性原子アーキテクチャが描く最適解

この「定規の歪み」をハードウェアレベルで根本から正すため、Pasqalはルビジウム87原子を用いた自社の中性原子プロセッサを採用した。現在、量子コンピュータの開発競争においては、GoogleやIBMが主導する超伝導回路方式や、Quantinuumが推進するイオントラップ方式など、複数のアプローチが乱立している。その中でPasqalが採用する中性原子方式には、論理量子ビットを構築する上で極めて有利な構造的特性が備わっている。

超伝導方式の場合、量子ビット同士の配線はシリコンチップ上に物理的に固定されている。そのため、離れた場所にある量子ビット同士を相互作用させるには、隣り合う量子ビットを経由してデータをバケツリレーのように運ばなければならず、エラー訂正回路を組むだけで膨大な操作と隣接量子ビットが必要になる。

対照的に、中性原子方式は真空中に浮かべた個々の原子を「光のピンセット(専用のレーザー光)」で捕捉し、自由自在に配置を変えることができる。Pasqalのシステムは、空間を「計算ゾーン」「ロードゾーン」「ストレージゾーン」に明確に分割している。演算が必要な時だけ、対象となる原子を計算ゾーンへ物理的に移動(シャトリング)させ、リュードベリ状態と呼ばれる高エネルギー状態に励起して相互作用(CZゲート)を発生させる。この動的なルーティング能力により、配線の固定制約を完全に受けずに任意の量子ビット同士を直接結びつけることが可能となる。

この柔軟なアーキテクチャにより、同社のプロセッサは不要なクロストーク(隣接する量子ビットからの干渉)を極限まで抑え込み、2量子ビットゲート忠実度で99.4%という極めて高い数値を叩き出している。この純度の高い初期状態と自由な接続性こそが、重いオーバーヘッドを伴う論理エンコーディングを実用レベルで駆動させるための必須条件であった。

AD

パリティチェックとプロキシフェージング。[[4,2,2]]コードが仕掛ける巧妙な検品システム

基盤となるハードウェアの優位性を活かし、研究チームはこのシステム上に「[[4,2,2]]量子エラー検出コード」を展開した。これは、4つの物理量子ビットを使って2つの論理量子ビットを表現し、保護する手法である。このコードの最大の特長は、パリティチェック(偶奇性の確認)の仕組みを利用して、計算途中に発生した単一の量子ビットエラーを即座かつ確実に検知できる点にある。

2605-fig3.webp
中性原子プロセッサにおける量子カーネルの算出プロセス。a, bはルビジウム原子のエネルギー準位と、光ピンセットで配置された原子のアレイ(計算、ロード、ストレージの各ゾーン)。c, dはそれぞれ物理回路と論理回路の構成を示し、e, fのグラフは実験で得られたカーネルの形状を表す。物理カーネル(e)ではノイズによる形状の歪みが見られるが、論理カーネル(f)では理想的な曲線からのズレ(エラー)が大幅に抑制されている。(Credit: P. Mathiot, E. Garnaoui, A. U. Leriche, E. Philip, et al., arXiv:2605.21276v1 [quant-ph] (2026). DOI: 10.48550/arXiv.2605.21276)

しかし、このコードを微分方程式の求解に適用するためには、ある強烈な難問を乗り越える必要があった。量子カーネルを構築するには、量子ビットを任意の角度で滑らかに回転させる「非クリフォード操作」が不可欠である。ところが、論理量子ビットに対してこの滑らかな回転を直接行おうとすると、エラー訂正の保護空間を突き破り、情報が破壊されてしまうのである。

この絶望的な制約を回避するため、Pasqalのエンジニアたちは「プロキシフェージング(Proxy Phasing)」という高度な迂回技術を実装した。これは、論理量子ビットに直接触れるのではなく、別に用意したアンシラ(補助)量子ビットに論理状態を一時的に写し取り、その補助量子ビットの上で必要な回転操作を行い、再び元の論理量子ビットへ情報を戻すという手法である。中性原子の動的シャトリング能力によって、この複雑な「代理人を介した操作」が極めて効率的に実行された。

論理回路には、物理回路には存在しない多数の補助量子ビットや、複雑なエンタングルメント操作が含まれる。単純にゲートの数が増えれば、システム全体のエラー発生確率は確実に上昇する。しかし、[[4,2,2]]コードは極めて優秀な「検品システム」として機能した。

計算の過程でゲート操作が規定の角度から外れ、量子状態に異常が生じた場合、パリティチェック機構がそれをフラグとして掲げる。システムはこの警告を検知すると、その計算結果(ショット)を不良品とみなし、最終的な測定データから完全に破棄(ポストセレクション)する。この厳格な選別プロセスを経ることで、ノイズによって大きく歪められたデータは取り除かれ、理想的な曲線を描くデータのみが生き残る。結果として、論理量子ビットが生成した量子カーネルは、物理量子ビットのそれよりも真の数学的構造を忠実に反映した、まっすぐで正確な「定規」へと変貌を遂げたのである。

1000の微分方程式による過酷な試練。残差50%削減が示すパラダイムシフト

論理エンコーディングによって精度の高い量子カーネルを手に入れた研究チームは、最終目標である微分方程式の解決へと歩を進めた。検証の公平性と厳密性を担保するため、量子カーネルが理論上完全に表現できる1000個の線形微分方程式をランダムに自動生成し、物理カーネルと論理カーネルのそれぞれを用いて解の近似を試みた。

計算の正確さを測る指標は、導き出された近似解と真の解とのズレを示す「残差(Residual)」である。実験の結果、論理量子ビットが導き出した解の残差の中央値は0.042となり、物理量子ビットの0.069と比較して平均50%以上もの大幅なエラー削減を達成した。

さらに劇的な結果は、解析的な閉形式の解を持たない複雑な「非線形微分方程式」を解かせた際に現れた。この過酷なテストケースにおいて、物理カーネルの残差が0.122にとどまったのに対し、論理カーネルは0.011という驚異的な精度を叩き出した。実に約10倍もの精度向上である。

評価項目 物理量子ビット(エンコードなし) 論理量子ビット([[4,2,2]]コード)
回路の複雑さ 低(基本ゲートのみで構成) 高(プロキシフェージングと補助量子ビットが必要)
カーネルの形状 コヒーレントノイズによりピーク位置や曲線が歪む 異常なショットの検出と破棄により理想的な形状を保持
線形微分方程式(1000件)の残差中央値 0.069 0.042(約50%の精度改善)
特定の非線形微分方程式の残差 0.122 0.011(約10倍の精度改善)

この結果が意味するものは極めて重い。これまで量子コンピュータ業界では、生データのコントラスト(信号の強さ)や単一ゲートの忠実度といった、ハードウェアに近い低レイヤーの指標ばかりが比較されてきた。しかし、実際の機械学習や産業アプリケーションにおいては、単純な信号の減衰よりも「計算の土台となる空間の歪み」こそが致命傷になる。Pasqalの実験は、論理量子ビットを運用するための重いオーバーヘッドを差し引いてなお、アプリケーションの出力レベルにおいて得られる精度向上の恩恵がそれを上回ることを、データをもって決定的に証明したのである。

微分方程式の論理解法が高精度
量子カーネルを用いた微分方程式解決の精度評価。aは微分方程式のすべての解を含む広大な空間の中で、量子カーネルが表現可能な部分空間の概念図。bは1000個の線形微分方程式を解いた際の残差(真の解とのズレ)の分布ヒストグラム。論理量子ビット(紫)は物理量子ビット(緑)に比べて残差が低く、精度が高い領域に集中している。cは非線形微分方程式の解法例であり、論理カーネルが理論値(Exact solution)を極めて正確にトレースしていることがわかる。(Credit: P. Mathiot, E. Garnaoui, A. U. Leriche, E. Philip, et al., arXiv:2605.21276v1 [quant-ph] (2026). DOI: 10.48550/arXiv.2605.21276)

AD

NISQの暗雲を抜けて。FTQCへの橋渡しと産業応用へのマイルストーン

今回の息を呑むようなブレイクスルーは、フランス政府の国家投資イニシアチブ「France 2030」のもとで推進されている「PROQCIMA」プログラムの強力な支援によって実現した。航空機の空力設計から次世代エネルギー網の高度な制御に至るまで、微分方程式を高速かつ正確に解く能力は、現代産業の競争力そのものを左右する。PasqalがサウジアラビアのAramcoや欧州のThales、そして日本の住友商事など、名だたる世界的企業と提携を急拡大させている背景には、こうした実用的なハイブリッド量子・古典ワークフローの確立を見据えた明確な戦略がある。

もちろん、手放しで完全な勝利を宣言できる段階にはない。今回ハードウェアに実装されたのは2つの論理量子ビットに過ぎず、採用された[[4,2,2]]コードもエラーの「訂正(Correction)」ではなく、エラーを含むショットの「検出と破棄(Detection and post-selection)」にとどまっている。真に産業規模の量子優位性を確立するには、これを数百、数千の論理量子ビットへとスケールアップし、実行中にリアルタイムで状態を修復し続ける完全なエラー訂正プロトコルを実装する必要がある。

それでもなお、本研究が量子コンピューティングの歴史に刻んだ意義は揺るがない。私たちは長らく、ノイズにまみれたNISQ(Noisy Intermediate-Scale Quantum)デバイスの限界に打ちひしがれ、完全なFTQCマシンの完成という途方もなく遠い未来の約束だけを拠り所に研究を続けてきた。Pasqalの中性原子プロセッサが叩き出したこの結果は、現在手元にあるハードウェアアーキテクチャとアルゴリズムの巧妙な融合によって、その深く暗い渓谷に確かな橋を架けられることを実証した。

エラーの恐怖に怯え、計算のたびに曲がっていく定規をただ眺める時代は終焉を迎えようとしている。論理量子ビットという人類の知性の産物が、ついに現実の物理法則を解き明かすための鋭利なメスへと変貌を遂げたのである。