[論文レビュー] Bosonic coding: introduction and use cases

Victor V. Albert|arXiv (Cornell University)|Nov 10, 2022

Quantum Computing Algorithms and Architecture被引用数 10

ひとこと要約

本稿は、電磁気的または機械的モードなどの連続変数系を用いたロバストな量子情報処理のためのフレームワークとしてボソン符号を導入する。ボソン符号を安定化子符号とフォック状態符号に分類し、有限次元量子系における禁断の定理を回避できることを示し、量子メモリ、フォールトトレランスゲート、トポロジカル相のシミュレーションへの応用を強調している。GKP符号およびキャット符号を用いて、ブレークイーブンを超える誤り訂正を達成している。

ABSTRACT

Bosonic or continuous-variable coding is a field concerned with robust quantum information processing and communication with electromagnetic signals or mechanical modes. I review bosonic quantum memories, characterizing them as either bosonic stabilizer or bosonic Fock-state codes. I then enumerate various applications of bosonic encodings, four of which circumvent no-go theorems due to the intrinsic infinite-dimensionality of bosonic systems.

研究の動機と目的

• 本稿は、量子情報分野の研究者を対象に、ボソン符号について包括的な紹介をすることを目的としている。
• ボソン安定化子符号とフォック状態符号の違いを明確にし、それらの数学的基盤に焦点を当てる。
• 無限次元ヒルベルト空間が、離散変数量子計算では不可能なプロトコルを可能にすることを示す。
• 改善された量子メモリ、連続パラメータゲート族、マジック状態の精錬の代替手法といった実用的応用を提示することを目的としている。
• 本稿は、スケーラブルな量子技術の実現に向け、ボソン符号と離散変数符号の誤り訂正を統合する可能性についても検討している。

提案手法

• 本稿は、標準的なヒルベルト空間形式を超えて、シュワーツ空間に基づくフレームワークを用いてボソン量子状態を定義する。
• モジュラ位相および運動量といったチェック演算子を用いて、ボソン安定化子符号を導入し、キュービット安定化子符号を一般化する。
• フォック状態符号は、数演算子および位相演算子を用いて定式化され、キャット符号やGKP符号などの例が挙げられる。
• 本稿は、減衰や位相拡散といった一般的なノイズチャネル下での符号性能を分析している。
• 連続変数系に適応されたKnill-Laflamme誤り訂正条件を用いている。
• 理論的スケーリング解析を用いて、特にマルチモード符号における符号の利得およびしきい値特性を評価している。

実験結果

リサーチクエスチョン

• RQ1 連続変数系において、ボソン符号を安定化子符号とフォック状態符号に体系的に分類する方法は何か？
• RQ2 無限次元ボソン系は、有限次元キュービットベースの符号に比べて、量子誤り訂正においてどのような利点を提供するか？
• RQ3 ボソン符号は、離散変数量子計算を制限する禁断の定理をどのように回避するか？
• RQ4 アモニット減衰や位相拡散といった現実的なノイズモデル下で、ボソン符号はどのように性能を示すか？
• RQ5 ボソン符号は、量子メモリ、ゲート合成、トポロジカル相のシミュレーションにおいて、どのような実用的応用を有するか？

主な発見

• キャット符号を用いて、ブレークイーブン誤り訂正の初回の実証が達成された。これにより、論理的誤り率が物理的誤り率を下回ることが示された。
• 最近の実験では、GKP符号を用いて1を超える符号利得が達成された。これは、フォールトトレランス量子計算への道筋を示している。
• ボソン符号は、無限次元ヒルベルト空間のおかげで、離散変数量子計算では不可能な連続パラメータゲート族を可能にする。
• マルチモードGKP符号はゲージ理論と関連づけられており、量子誤り訂正と素粒子物理学の間の深い関係を示唆している。
• ボソン系では、スクリーニングを用いることで調和振動子ハミルトニアン下での時間発展を増幅可能であり、これは有限次元では不可能なタスクである。
• 本稿は、将来の量子誤り訂正は、スケーラビリティとパフォーマンスを最大化するため、ボソン符号と離散変数符号の両方の戦略を統合する可能性が高いと主張している。