[論文レビュー] Transversal switching between generic stabilizer codes

Cupjin Huang, Michael Newman|arXiv (Cornell University)|Sep 26, 2017

Quantum Computing Algorithms and Architecture参考文献 14被引用数 3

ひとこと要約

この論文は、任意の2つの安定化子コード間での誤り耐性のあるコードスイッチングのための確率的安定化子リワイヤリングアルゴリズム（rSRA）を導入する。このアルゴリズムは中間段階の全過程で符号距離を維持しながら、トランスバーサル回路を構築する。本研究では、符号距離に比例する線形オーバーヘッドでそのような経路が存在することを証明し、高確率で O(d log(n/d) + log(1/ε)) 個のアーキバ・キュービットを用いる。これは、誤り耐性量子計算に不可欠な、普遍的かつ距離を保存するコード変換を可能にする。

ABSTRACT

We propose a randomized variant of the stabilizer rewiring algorithm (SRA), a method for constructing a transversal circuit mapping between any pair of stabilizer codes. As gates along this circuit are applied, the initial code is deformed through a series of intermediate codes before reaching the final code. With this randomized variant, we show that there always exists a path of deformations which preserves the code distance throughout the circuit, while using at most linear overhead in the distance. Furthermore, we show that a random path will almost always suffice, and discuss prospects for implementing general fault-tolerant code switching circuits.

研究の動機と目的

• 任意の安定化子コード間での論理的情報を誤りを露呈させることなく、誤り耐性的に変換する課題に対処すること。
• 従来の安定化子リワイヤリングアルゴリズム（SRA）の制限を克服すること。SRAは中間コードの距離が低くなる可能性があり、誤り耐性を損なう。
• 確率的変種であるSRA（rSRA）が、高確率で距離を保存する経路を信頼性高く生成できることを示すこと。
• トランスバーサルで距離を保存するコード変換に必要なアーキバ・キュービットのオーバーヘッドに対する普遍的な上界を提供すること。
• 量子計算における一般化された誤り耐性コードスイッチング回路の実装に向けた基盤を築くこと。

提案手法

• トランスバーサルゲートを介して1つのコードを別のコードに変形するための、安定化子リワイヤリングアルゴリズム（rSRA）の確率的変種を提案。中間の安定化子生成子をランダムに選択する。
• 中間コードが距離 d 以上を保つ確率を高めるための確率的構成を用い、パウリ重み分布の集中不等式を活用する。
• 生成子行列から導出される可換性行列 H を用いて、中間コードが正則な安定化子コードのまま保たれていることを検証する。
• KLダイバージェンス解析を適用し、失敗確率を上限付け、オーバーヘッドスケーリング O(d log(n/d) + log(1/ε)) を導出。
• 初期コードを一連の中間コードに段階的に変形するトランスバーサル回路の構築フレームワークを導入。各中間コードの距離は ≥ d を満たす。
• 実装スキームにおいて、中間コード状態の誤り耐性検証にショア形式の測定回路を用いる。

実験結果

リサーチクエスチョン

• RQ1 任意の2つの[[n,k,d]]安定化子コード間で、すべての中間コードが最小距離 d を保存するトランスバーサル回路を構築可能か？
• RQ2 高確率でそのような距離保存経路が存在するようにするために、必要な最小のオーバーヘッド（アーキバ・キュービット数）はどの程度か？
• RQ3 特定のコード表現に依存せず、効率的にそのような経路を発見できる確率的アルゴリズムは存在するか？
• RQ4 rSRAは、小規模なコードのための誤り耐性コードスイッチング回路を探索する汎用スキーマとして利用可能か？
• RQ5 トランスバーサルコードスイッチングにおける距離保存と誤り耐性の関係は何か？

主な発見

• rSRAは、任意の[[n,k,d]]安定化子コード間で、すべての中間コードの距離が d 以上であるトランスバーサル回路の存在を保証する。
• 高確率（1−ε）で、rSRAは O(d log(n/d) + log(1/ε)) 個のアーキバ・キュービットを用いてその経路を構築する。
• アルゴリズムは中間コードの数が有界であり、変換全体を通してトランスバーサルの性質が保たれ、論理的情報を保護する。
• 本手法は、コード構造に依存しない、距離保存コードスイッチングに必要なアーキバ・キュービットのオーバーヘッドに対する普遍的な上界を提供する。
• 構成は頑健である：初期のSRAが低距離の中間コードにより失敗しても、確率的変種は高確率で成功する。
• 小規模な例では、本手法の実現可能性が示されており、[[5,1,3]]と[[7,1,3]]コード間の経路が、オーバーヘッドなしにエラージャーに耐性を持つ。