[論文レビュー] Decoding in Hyperbolic Spaces: LDPC Codes With Linear Rate and Efficient Error Correction

M. B. Hastings|arXiv (Cornell University)|Dec 9, 2013

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

ひとこと要約

本稿は、双曲的4次元多様体上に定義された4次元トーリックコードを提案し、線形レートを達成するとともに、グリーディで局所的に並列化可能なデコーディング手順により、効率的な古典的誤り訂正を実現する。この手法は、双曲幾何の負の曲率を活用して誤り鎖を対数時間で収縮させ、定数のオーバーヘッドで故障に強く耐性のある量子計算の閾値を達成する。

ABSTRACT

We analyze the four dimensional toric code in a hyperbolic space and show that it has a classical error correction procedure which runs in almost linear time and can be parallelized to almost constant time, giving an example of a quantum LDPC code with linear rate and efficient error correction.

研究の動機と目的

• 故障に強く耐性のある量子計算のための線形レートを有する量子LDPC符号と、効率的な古典的デコーディング手順を構築すること。
• 双曲的4次元多様体における誤り訂正が、各ラウンドあたりほぼ定数時間にまで並列化可能であることを示すこと。
• 敵対的ノイズ下でも閾値を有するというコード族の性質を示し、長期的な量子メモリの安定性を可能にすること。
• 双曲的多様体の単射半径が、局所的な幾何的性質を用いた有効な誤り検出および訂正を可能にすることを確立すること。

提案手法

• 符号は、定数の負の曲率を有する4次元双曲的多様体上に定義され、細分により1-セルにキュービットを割り当て、0-セルおよび2-セルに安定化子を割り当てる。
• 誤り訂正には、双曲空間の曲率を利用したグリーディな局所的手順を採用し、誤り鎖を収縮させる。このとき、大きなループは局所的に高い曲率を持つことが強制される。
• デコーディングプロセスは、時間の粗粒度化を用いて並列化され、$k \sim \log(1/p)$のサイズのブロックに分割され、有効なグラフ次数が低下し、定数時間の並列ラウンドが可能になる。
• プロシージャは、$\mathbb{H}^4$の$\delta$-双曲的性質を用いて、誤りループを分割または短縮する。ここで、任意の測地線三角形の辺上の点は、他の辺から有界な距離内にある。
• 有界次数のグラフにおける木の数え上げを用いた確率的境界が導出され、総誤り確率が$({\rm const.} \times p)^{\log N}$のオーダーで減少することが示され、$\tau$が多項式的である場合に成立する。
• 解析では、任意の集合$X$における誤り確率が$p^{|X|}$で有界である敵対的ノイズモデルを仮定し、$O(\log N)$ラウンド経過後、誤り鎖が高確率で訂正されることを示している。

実験結果

リサーチクエスチョン

• RQ1 線形レートを有する量子LDPC符号を構築可能であり、その古典的デコーディング手順がほぼ線形時間で実行され、ほぼ定数時間にまで並列化可能であるか。
• RQ2 4次元双曲的多様体の負の曲率が、誤り鎖を効率的に収縮させる局所的でグリーディなデコーディング手順を可能にするか。
• RQ3 このような符号の誤り閾値挙動は敵対的ノイズ下でどのように振る舞い、定数オーバーヘッドで故障に強く耐性のある量子計算を可能にするか。
• RQ4 双曲的多様体の単射半径が、符号の距離および誤り訂正能力にどのように影響するか。

主な発見

• 双曲的4次元多様体上に定義された4次元トーリックコードは、線形レートを達成しており、キュービット数は多様体の体積に比例する。
• 古典的デコーディング手順は、各ラウンドあたりほぼ定数時間にまで並列化可能であり、$O\left(\log N\right)$ラウンドで誤りを訂正する必要がある。
• 誤り確率は$\left({\rm const.} \times p\right)^{\log N}$のオーダーで減少し、$N$の多項式的ランタイム$\tau$に対して閾値が存在することを示唆する。
• 多様体の単射半径$R_{\rm inj}$により、$R_{\rm inj}$未満の長さの誤り鎖は局所的に訂正可能であり、符号距離は$N^\alpha$（$0 < \alpha < 1$）のオーダーで増加する。
• 先行研究で示されたように、定数要因のオーバーヘッドを満たす条件を満たしている。
• 解析により、$O\left(\log N\right)$時間ステップを経過しても生存する誤り鎖は、ほとんど確率が無視できるほど小さく、高精度の符号語への回復が保証される。