[論文レビュー] A linear-time benchmarking tool for generalized surface codes

Nicolas Delfosse, Pavithran Iyer+1 more|arXiv (Cornell University)|Nov 14, 2016

Advanced Data Storage Technologies参考文献 34被引用数 7

ひとこと要約

本論文は、ホモロジー不変量を用いてデコーディングアルゴリズムを実行せずに量子エラーの訂正可能性を特定することにより、一般化された表面コードの線形時間ベンチマーク手法を提示する。この手法により、表面コードアーキテクチャの高速かつスケーラブルな性能評価が可能となり、100,000量子ビットに達するハイパボリックコードと平面レイアウトで実証された。CPU時間1日未塔で結果が得られ、従来の高コストなシミュレーションを著しく上回る。

ABSTRACT

Quantum information processors need to be protected against errors and faults. One of the most widely considered fault-tolerant architecture is based on surface codes. While the general principles of these codes are well understood and basic code properties such as minimum distance and rate are easy to characterize, a code's average performance depends on the detailed geometric layout of the qubits. To date, optimizing a surface code architecture and comparing different geometric layouts relies on costly numerical simulations. Here, we propose a benchmarking algorithm for simulating the performance of surface codes, and generalizations thereof, that runs in linear time. We implemented this algorithm in a software that generates performance reports and allows to quickly compare different architectures.

研究の動機と目的

• 現実的なノイズモデル下での表面コード性能をシミュレートする際の高い計算コストに対処すること。
• エラー訂正コードの評価に高価なデコーディング手順を回避する、高速かつスケーラブルなベンチマークツールを開発すること。
• 穴や複雑な境界構造を持つハイパボリックおよび平面アーキテクチャを含む、さまざまな表面コードレイアウトの迅速な比較を可能にすること。
• 高価なフルシミュレーションを実行する前段階で、耐故障性量子コンピューティングアーキテクチャの最適化に実用的なツールを提供すること。
• 任意の genus、穴、混合境界タイプを持つ一般化された表面コードへのホモロジー法の適用範囲を拡張すること。

提案手法

• エラー訂正がGF(2)上での線形方程式系の解法に帰着される簡素化された量子エラー消失チャネルモデルを用いる。
• エラーの訂正可能性はホモロジー的特徴付けにより決定される：エラーが非自明な論理的サイクルをカバーしない場合（すなわち、誘導されたホモロジー群のランクが自明である場合）に訂正可能である。
• デコーディングを避けるために、エラー化された量子ビットに関連するホモロジー群のランクを効率的な線形代数を用いて計算するアルゴリズムを採用する。
• 穴、オープン／クローズド境界、非可定向構造を含む、任意の曲面上の表面コードへ一般化可能である。
• ラティスの構築、性能指標の計算、比較レポートの生成を統合したソフトウェアフレームワークに、このホモロジー的テストを組み込むベンチマークツールを構築する。
• 相関のあるエラー消失にもこのアプローチを拡張し、将来的なLDPCコード分析の基盤として提案する。

実験結果

リサーチクエスチョン

• RQ1 フルデコーディングアルゴリズムを実行せずに一般化された表面コードの性能を評価可能か？ そのベンチマークプロセスはどの程度高速か？
• RQ2 表面コードにおける量子ビットのエラー集合の訂正可能性を決定するトポロジカル不変量は何か？
• RQ3 線形時間での大規模表面コードのベンチマークを実現するため、ホモロジー不変量をどのように効率的に計算できるか？
• RQ4 この手法は、有限サイズ効果が強く、標準的なモンテカルロ法ではシミュレートが困難なハイパボリック表面コードに適用可能か？
• RQ5 このベンチマークフレームワークは、カラーレジストやねじれ欠陥を有するLDPCコードを含む、他の量子コードへどの程度一般化可能か？

主な発見

• ホモロジー不変量を活用することで、一般化された表面コードに対してO(n)の線形時間でベンチマークが実行可能であり、nは物理的量子ビット数である。
• エラー化された集合に誘導されるホモロジー群のランクを計算することで、デコーディングを必要とせずに訂正可能なエラーを正しく同定する。
• ソフトウェアツールは、n = 100,000の物理的量子ビットとk > 10,000の論理的量子ビットを持つハイパボリック表面コードを1日未塔のCPU時間でシミュレートに成功した。
• シミュレーションにより、ハイパボリックコードに閾値に類似した挙動が観測され、これは従来の計算制限により到達できなかった耐障害性の兆候を示唆している。
• 平面コードでは、X、Z、および組み合わせエラー訂正に関するパフォーマンスレポートを通じて、穴や混合境界タイプを有するさまざまなラティスレイアウトの迅速な比較が可能となった。
• このアプローチは相関エラーにも拡張可能であり、一般の族では線形複雑性を保つ課題があるものの、量子LDPCコードのベンチマークの基盤を提供する。