Clear Sky Science · ja

一般的雑音下における連続変数耐障害量子計算

· 一覧に戻る

雑音を帯びた光を制御する意義

量子コンピュータは、複雑な分子のシミュレーションから全球的な物流の最適化まで、現行の機械では手に負えない問題を解く可能性を秘めています。こうした装置の中でも最も拡張性が期待されるプラットフォームの多くは光に基づいており、情報は個々の粒子ではなく電磁波の連続的な振幅や位相の揺らぎによって担われます。問題は現実の光が雑音を含むことです:小さな揺らぎや損失、歪みが繊細な量子情報を急速に損なう可能性があります。本論文は、非常に一般的で現実的な種類の雑音の下でも、適切に設計されていれば光ベースの量子コンピュータが信頼して動作できることを、初めて厳密に示しています。

Figure 1
Figure 1.

なめらかな波からデジタルな量子ビットへ

光学的な「連続変数」システムでは、情報は光場の強度や位相に格納され、これらは滑らかに変化します。これにより大規模なエンタングルメント光ネットワークの生成や操作が比較的容易になり、拡張性の高い量子ハードウェアの有望なルートとなります。しかし、信頼できる量子計算の理論の多くは離散的な二準位系(キュービット)と比較的単純な誤りモデルを前提に発展してきました。このギャップを埋めるための中心的手法がGottesman–Kitaev–Preskill(GKP)符号で、これはオシレーターの連続的自由度の中に巧妙に一つのキュービットを埋め込みます。符号は、光の振幅や位相の小さなシフトが既知のキュービット誤りのように振る舞い、原理的には訂正できるように量子状態を配置します。しかしこれまでの解析は、純粋にガウス的なランダムシフトのような非常に特殊な雑音にしか有効でなく、しばしば物理的には実現不可能な理想化された符号状態に依存していました。

訂正可能な誤りの再定義

著者らの第一の取り組みは、非現実的な仮定に頼らない、より現実的なGKP符号化状態と誤りの記述を与えることです。彼らは安定化子サブシステム分解と呼ばれる数学的枠組みを用い、光の全状態空間を論理キュービットを担う部分と誤りに関する“シンドローム”情報を記録する別の部分に分割します。この図式の中で彼らは「rフィルター」を定義し、これは事実上状態がシンドローム空間の無誤り領域からどれだけ離れているかを問います。近似的なGKP状態は、デルタ関数状の完璧な格子によってではなく、原点周辺の小さな四角いパッチ内にどれだけきゅっと収まっているかで特徴付けられます。状態がこのパッチ内に留まっている限り、基底にある波動関数が乱れていても、符号化されたキュービットはまだクリーンなものとして解釈できます。

雑音とエネルギーの両方を抑える

実際の光学システムは二つの絡み合った問題に直面します:誤りは時間とともに蓄積し、ゲートを適用するにつれて光場のエネルギーが無制限に増大し得ることです。キュービット用に使われる標準的な雑音の測度は任意に高エネルギーの試験状態を想定するため、光における微小な位相ずれさえ「最大限に悪い」と判断してしまいます。この非現実的な判決を避けるため、著者らは物理過程間の距離にエネルギー制約を導入し、固定された光子数閾値以下の状態に対してのみチャネルの作用を比較します。さらに、量子テレポーテーションに基づく特定の誤り訂正ステップを設計し、論理情報を定期的に適度なエネルギーの新たに準備されたGKP状態へ転送します。この“Knill型”手順は、変位様誤りを訂正するだけでなくエネルギーを随時リセットし、符号化状態が任意に脆弱になることを防ぎます。

Figure 2
Figure 2.

実験室の雑然とした雑音を整った論理誤りへ

これらの道具を用いて、論文は物理的に現実的な広いクラスの雑音を定義します—独立でマルコフ的だがそれ以外はかなり一般的です。各光モードは損失、ランダムな位相回転、不完全なGKP状態準備、有限な検出器分解能、あるいは非ガウス的歪みなどを被る可能性があり得ますが、それらの総合的強度がエネルギー制約的意味で有界であり、追加的な変位を限定量以上もたらさないことが条件です。著者らは、そのような雑音が耐障害GKPベース回路に作用するとき、その複雑で連続的な影響は論理キュービット上の局所的かつマルコフ的な有効雑音モデルに翻訳され、既に強力なしきい値定理が存在する標準的設定と同様になることを示します。重要なのは、この論理雑音がどれだけ強くなり得るかを、最大許容変位、許容される誤り強度、エネルギー上限といった実験的に意味のあるいくつかのパラメータで上界を与えている点です。

光ベース量子計算の真のしきい値

物理的雑音を論理キュービット雑音へ変換する彼らの結果と、結合符号(concatenated qubit codes)に関する既知の結果を組み合わせることで、著者らは連続変数量子計算に対する完全なしきい値定理を証明します。平たく言えば、一般的な光学雑音の強さがゼロでないある閾値未満であれば、符号化と階層的な誤り訂正を施すことで、リソースの多項対数的オーバーヘッドだけで計算全体を任意の信頼度にまで高められるということです。本研究はまた、光ベースのアーキテクチャとキュービットベースのそれとの質的な違いを強調します:連続変数システムでは、入念なエネルギー管理は単なる工学的細部ではなく、耐障害性の核心的要件です。この厳密な枠組みは、実験者に対してスクイージング、損失、位相安定性、検出器性能といったスケールの具体的な目標を提示し、雑音を含む光から構築するスケーラブルで耐障害な量子コンピュータの実現に道筋を与えます。

引用: Matsuura, T., Menicucci, N.C. & Yamasaki, H. Continuous-variable fault-tolerant quantum computation under general noise. Nat Commun 17, 1709 (2026). https://doi.org/10.1038/s41467-026-69036-5

キーワード: 連続変数量子計算, GKP符号, 量子誤り訂正, 耐障害性, 光学量子システム