[論文レビュー] Branching MERA codes: a natural extension of polar codes

Andrew J. Ferris, David Poulin|arXiv (Cornell University)|Dec 16, 2013

Quantum Computing Algorithms and Architecture参考文献 18被引用数 8

ひとこと要約

本稿では、量子多体物理学における可約テンソルネットワークを用いて一般化された極性符号の新規クラスである分岐MERA符号を導入する。符号化回路を分岐MERAテンソルネットワークに再構成することで、極性化の強化とわずかな復号複雑性の増加（極性符号の約2倍）で、逐次取消復号を用いた対数線形の復号複雑性を維持しつつ、より優れた誤り訂正性能を達成する。

ABSTRACT

We introduce a new class of circuits for constructing efficiently decodable error-correction codes, based on a recently discovered contractible tensor network. We perform an in-depth study of a particular example that can be thought of as an extension to Arikan's polar code. Notably, our numerical simulation show that this code polarizes the logical channels more strongly while retaining the log-linear decoding complexity using the successive cancellation decoder. These codes also display improved error-correcting capability with only a minor impact on decoding complexity. Efficient decoding is realized using powerful graphical calculus tools developed in the field of quantum many-body physics. In a companion paper, we generalize our construction to the quantum setting and describe more in-depth the relation between classical and quantum error correction and the graphical calculus of tensor networks.

研究の動機と目的

• アリカンの極性符号の構造と性能を拡張する、効率的に復号可能な誤り訂正符号の新規族を開発すること。
• 特に可約な分岐MERAネットワークを用いたテンソルネットワークの図式的計算を活用して、復号プロセスを再定式化・改善すること。
• この新規符号構造が、標準の極性符号と比較してより強いチャネル極性化と、有限サイズにおける向上した誤り訂正性能を実現できることを示すこと。
• テンソルネットワークの縮約と逐次取消復号の間に明確な形式的関係を確立し、効率的な計算を可能にすること。

提案手法

• 各CNOTゲートを入力ビットと出力ビットに対応するインデックスを有するランク4のテンソルとして表現するなど、符号化回路をテンソルネットワーク（TN）として再定式化する。
• 復号問題をテンソルネットワークの縮約として再定式化し、出力チャネルの観測値が与えられたもとでのデータビットの配置の確率を逐次的縮約によって計算する。
• 分岐MERA構造は、接続性が向上した階層的で木構造のテンソルネットワークを導入し、標準の極性符号回路よりも効果的なチャネル極性化を可能にする。
• 逐次取消復号は、事前に復号済みビットの知識を用いて右から左への順序でネットワークを縮約することで実装する。
• 中間のテンソルランクを最小化する縮約スケジュールを用いて、ネットワークの木幅を制御し、対数線形複雑性を維持する。
• バイナリ消去、ビット反転、加法性ガウス白色雑音チャネルの各々において、数値シミュレーションを実施し、標準の極性符号と性能を比較する。

実験結果

リサーチクエスチョン

• RQ1 量子多体物理学におけるテンソルネットワーク構造を、性能向上を図る新しい古典的誤り訂正符号の設計に応用できるか？
• RQ2 分岐MERAアーキテクチャは、標準の極性符号構造よりも強いチャネル極性化を実現するか？
• RQ3 新しい符号が誤り訂正能力を向上させつつ、どの程度低い復号複雑性を維持できるか？
• RQ4 ネットワーク全体に分散するシンディーム情報の分布が、逐次取消復号の性能にどのように影響するか？
• RQ5 テンソルネットワークフレームワークは、他の符号族や復号アルゴリズムへ一般化可能か？

主な発見

• 分岐MERA符号は、標準の極性符号と比較してより強いチャネル極性化を示し、誤り率曲線における良好な性能と不良な性能の間の遷移が鋭くなる。
• バイナリ消去チャネルにおいて、同じレートとブロック長の極性符号と比較して、分岐MERA符号はより低い誤り床と、低誤り率領域でのより優れたスケーリングを達成する。
• ビット反転チャネルにおいて、分岐MERA符号はノイズ耐性が向上し、低誤り率領域で性能差が広がる。
• 符号は対数線形の復号複雑性を維持しており、極性符号の約2倍の計算量が必要とされるが、これはわずかなオーバーヘッドと見なされる。
• 小さな符号における最大尤度復号のシミュレーションでは、逐次取消復号よりもチャネル容量にはるかに近い性能が得られ、復号戦略の改善の余地があることが示唆される。
• 性能の向上は、シンディーム情報がネットワークの一方の側にきめ細かく集約されることに起因し、初期段階の逐次取消復号がより多くの情報を得られることに起因する。