[論文レビュー] Logical blocks for fault-tolerant topological quantum computation

Héctor Bombín, Christopher Dawson+4 more|arXiv (Cornell University)|Dec 22, 2021

Quantum Computing Algorithms and Architecture被引用数 12

ひとこと要約

本稿では、『論理ブロック』——空間と時間を統合する論理ゲートの3次元表現——を用いた、プラットフォームに依存しない耐故障型トポロジカル量子計算のフレームワークを提案する。表面コードとLDPCコードを連結することで、数値的に検証された効率的で万能なゲート集合を実現し、メモリと同等の閾値を示す。境界条件やねじれのトランスポート（twist teleportation）を用いることで、リソースのオーバーヘッドを最大50％まで低減可能であることを示した。

ABSTRACT

Logical gates constitute the building blocks of fault-tolerant quantum computation. While quantum error-corrected memories have been extensively studied in the literature, explicit constructions and detailed analyses of thresholds and resource overheads of universal logical gate sets have so far been limited. In this paper, we present a comprehensive framework for universal fault-tolerant logic motivated by the combined need for platform-independent logical gate definitions, flexible and scalable tools for numerical analysis, and exploration of novel schemes for universal logic that improve resource overheads. Central to our framework is the description of logical gates holistically in a way which treats space and time on a similar footing. Focusing on schemes based on surface codes, we introduce explicit, but platform-independent representations of topological logic gates -- called logical blocks -- and generate new, overhead-efficient methods for universal quantum computation. As a specific example, we propose fault-tolerant schemes based on surface codes concatenated with more general low-density parity check (LDPC) codes. The logical blocks framework enables a convenient mapping from an abstract description of the logical gate to a precise set of physical instructions for both circuit-based and fusion-based quantum computation (FBQC). Using this, we numerically simulate a surface-code-based universal gate set implemented with FBQC, and verify that their thresholds are consistent with the bulk memory threshold. We find that boundaries, defects, and twists can significantly impact the logical error rate scaling, with periodic boundary conditions potentially halving the resource requirements. Motivated by the favorable logical error rates for boundaryless computation, we introduce a novel computational scheme based on the teleportation of twists that may offer further resource reductions.

研究の動機と目的

• トポロジカル量子計算における論理ゲートの定義と解析のための統合的かつプラットフォームに依存しないフレームワークの開発。
• トポロジカルコードにおける万能な論理ゲート集合の耐故障性閾値とリソースのオーバーヘッドに関する包括的分析の不足に応えること。
• 回路ベースと融合ベースの両方の量子計算モデルにおいて、論理ゲートの効率的かつ数値的に検証可能なシミュレーションとコンパイルを可能にすること。
• 境界条件の最適化やねじれのトランスポート（twist teleportation）といった新規スキームを活用し、万能な耐故障型計算に必要なリソース要件を低減すること。
• 完全なスケールのシミュレーションに依存せずに、時間依存の誤りチェーンを捉えることができる、プロトコルの耐故障距離の堅牢な定義を確立すること。

提案手法

• 空間と時間を対称的に扱う3次元トポロジカルオブジェクト（『論理ブロック』）として論理ゲートを表現し、包括的なゲート最適化を可能にする。
• 耐故障性を定量化するための故障距離プロキシを用い、トポロジカルコードにおける時間的誤りチェーンを捉えることで、完全な数値シミュレーションを回避する。
• ポートを理想的な安定化子測定を持つモジュラー境界条件として扱うことで、論理ブロックの性能を独立して評価可能にする。
• 10^9回を超えるデコーダー試行を用いた数値シミュレーションにより論理誤り率を推定し、最小二乗回帰を用いて減衰係数αpとβpをフィットする。
• ソフトウェアベースのマッピングにより、論理ブロックを回路ベース量子計算（CBQC）および融合ベース量子計算（FBQC）の物理的命令にコンパイルする。
• ねじれのトランスポートに基づく新規スキームを提案し、境界のない計算を実現し、リソースのオーバーヘッドを低減する。

実験結果

リサーチクエスチョン

• RQ1 トポロジカル量子計算における論理ゲートは、どのような形で、下位の物理的プラットフォームに依存しない形で定義可能か？
• RQ2 境界、欠陥、ねじれといったトポロジカル特徴が、論理誤り率のスケーリングと耐故障性閾値に与える影響は何か？
• RQ3 誤りが複数の時間ステップにわたる場合に、論理ゲートプロトコルの故障距離が意味的に定義可能であり、耐故障性のプロキシとして有効に使えるか？
• RQ4 境界条件の最適化やねじれのトランスポートといった新規スキームを用いることで、リソースのオーバーヘッドをどの程度低減できるか？
• RQ5 表面コードとLDPCコードを連結した万能なゲート集合の性能は、標準的な表面コードメモリの閾値と比較してどの程度か？

主な発見

• 論理誤り率は $ P_p(d) = \alpha_p e^{-\beta_p d} $ とスケーリングし、$ \beta_p $ がバルクメモリの閾値と一致することから、ゲートとメモリの耐故障性が一貫していることが確認された。
• 周期的境界条件を用いることで、標準的な境界条件と比較してリソース要件を最大で2倍まで低減でき、大幅な効率向上が達成された。
• 境界、欠陥、ねじれは論理誤り率のスケーリングに顕著な影響を及ぼすため、耐故障型アーキテクチャの設計において注意深い設計が不可欠である。
• 提案された論理ブロックフレームワークにより、CBQCおよびFBQCの両方のモデルにおいて、ソフトウェアベースでプラットフォームに依存しない論理ゲートのコンパイルが可能になった。
• 個々の論理ブロックが任意の組み合わせにおいて耐故障性を維持するモジュラー設計が可能であり、理想的なポート境界条件が適用されていれば成立する。
• ねじれのトランスポートにより境界のない計算が可能となり、リソースのオーバーヘッドがさらなる低減が期待される。また、安定化子の同値性により、パウリ論理演算子の追跡性が確認された。