論文の概要: Graphical CSS Code Transformation Using ZX Calculus
- arxiv url: http://arxiv.org/abs/2307.02437v2
- Date: Fri, 1 Sep 2023 06:07:27 GMT
- ステータス: 処理完了
- システム内更新日: 2023-09-04 16:31:41.394915
- Title: Graphical CSS Code Transformation Using ZX Calculus
- Title(参考訳): ZX計算を用いた図形CSSコード変換
- Authors: Jiaxin Huang (Dept. of Computer Science, Hong Kong University of
Science and Technology), Sarah Meng Li (Institute for Quantum Computing,
Dept. of Combinatorics & Optimization, University of Waterloo), Lia Yeh
(Dept. of Computer Science, University of Oxford, Quantinuum), Aleks
Kissinger (Dept. of Computer Science, University of Oxford), Michele Mosca
(Institute for Quantum Computing, Dept. of Combinatorics & Optimization,
University of Waterloo, Perimeter Institute for Theoretical Physics), Michael
Vasmer (Institute for Quantum Computing, University of Waterloo, Perimeter
Institute for Theoretical Physics)
- Abstract要約: 位相フリーなZXダイアグラムと等価性に基づいてCSSコードを変換する汎用的なアプローチを提案する。
本稿では、ZXおよびグラフィカルエンコーダマップが、これらのコード変換操作において、どのようにいくつかの等価な視点を関連づけるかを示す。
- 参考スコア(独自算出の注目度): 0.6734802552703861
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this work, we present a generic approach to transform CSS codes by
building upon their equivalence to phase-free ZX diagrams. Using the ZX
calculus, we demonstrate diagrammatic transformations between encoding maps
associated with different codes. As a motivating example, we give explicit
transformations between the Steane code and the quantum Reed-Muller code, since
by switching between these two codes, one can obtain a fault-tolerant universal
gate set. To this end, we propose a bidirectional rewrite rule to find a (not
necessarily transversal) physical implementation for any logical ZX diagram in
any CSS code.
Then we focus on two code transformation techniques: code morphing, a
procedure that transforms a code while retaining its fault-tolerant gates, and
gauge fixing, where complimentary codes can be obtained from a common subsystem
code (e.g., the Steane and the quantum Reed-Muller codes from the [[15,1,3,3]]
code). We provide explicit graphical derivations for these techniques and show
how ZX and graphical encoder maps relate several equivalent perspectives on
these code-transforming operations.
- Abstract(参考訳): 本稿では,フェーズフリーなzxダイアグラムの等価性に基づいて,cssコードを変換するための汎用的アプローチを提案する。
ZX計算を用いて、異なるコードに関連付けられた地図を符号化する際の図形変換を示す。
モチベーションの例として、Steane符号と量子リード・ミュラー符号の間に明確な変換を与えるが、この2つの符号を切り替えることで、フォールトトレラントな普遍ゲート集合を得ることができる。
この目的のために、CSSコード内の任意の論理ZXダイアグラムに対する(必ずしも逆でない)物理実装を見つけるための双方向書き換えルールを提案する。
次に,2つのコード変換手法に注目して,フォールトトレラントゲートを保持しながらコードを変換するcode morphingと,[[15,1,3,3]のコードから[[15,3,3]のsteaneとquantum reed-mullerコードから補完コードを取得可能なゲージ固定を行う。
本稿では,これらの手法の明示的なグラフィカル導出を行い,ZXおよびグラフィカルエンコーダマップがコード変換操作において,等価な視点をどう関連づけるかを示す。
関連論文リスト
- Targeted Clifford logical gates for hypergraph product codes [61.269295538188636]
ハイパーグラフ製品コードのための論理ゲートを明示的に構築する。
具体的な例として、$[[18,2,3]]$トーリック符号に対して論理回路を与える。
論文 参考訳(メタデータ) (2024-11-26T02:32:44Z) - Equivalence Classes of Quantum Error-Correcting Codes [49.436750507696225]
量子過程に影響を与える固有のノイズに対処するために、量子誤り訂正符号(QECC)が必要である。
我々は、テンソルネットワークからなるZXダイアグラムと呼ばれる形式でQECCを表す。
論文 参考訳(メタデータ) (2024-06-17T20:48:43Z) - Towards Accurate Image Coding: Improved Autoregressive Image Generation
with Dynamic Vector Quantization [73.52943587514386]
既存のベクトル量子化(VQ)ベースの自己回帰モデルは、2段階生成パラダイムに従う。
画像領域を可変長符号に符号化する動的量子化VAE(DQ-VAE)を提案する。
論文 参考訳(メタデータ) (2023-05-19T14:56:05Z) - Homological Quantum Rotor Codes: Logical Qubits from Torsion [51.9157257936691]
ホモロジー量子ローター符号は 論理ローターと論理キューディットを 同一のコードブロックにエンコードできる
0$-$pi$-qubit と Kitaev の現在のミラー量子ビットは、確かにそのような符号の小さな例である。
論文 参考訳(メタデータ) (2023-03-24T00:29:15Z) - CSS code surgery as a universal construction [51.63482609748332]
連鎖複体間の写像を用いて,Calderbank-Shor-Steane (CSS) 符号間のコードマップを定義する。
鎖状錯体のカテゴリにおいて,特定のコリミットを用いたコード間のコード手術について述べる。
論文 参考訳(メタデータ) (2023-01-31T16:17:25Z) - Phase-free ZX diagrams are CSS codes (...or how to graphically grok the
surface code) [0.0]
位相自由ZX図とCalderbank-Shor-Steane符号の直接対応を示す。
CSSコードは、古典的な符号から構築された量子エラー訂正符号のファミリーである。
我々は、この翻訳を、"曲げワイヤ"によって、任意の(最大でないかもしれない)CSSコードの安定化子や論理演算子に拡張できることを示します。
論文 参考訳(メタデータ) (2022-04-29T12:17:51Z) - Morphing quantum codes [77.34726150561087]
我々は15キュービットのReed-Muller符号を変形し、フォールトトレラントな論理的な$T$ゲートを持つ最小の安定化器符号を得る。
色符号を変形させることにより、ハイブリッドな色履歴符号の族を構築する。
論文 参考訳(メタデータ) (2021-12-02T17:43:00Z) - Quantum Lego: Building Quantum Error Correction Codes from Tensor
Networks [0.0]
単純なコードや状態のテンソルから構築されたテンソルネットワークとして、複雑なコード構造を表現する。
このフレームワークは、構築したコードにネットワークのジオメトリを付与し、安定化器コードの構築に有効である。
非自明なコードを構築するために、単純な安定化コードを結合する例をいくつか紹介する。
論文 参考訳(メタデータ) (2021-09-16T18:00:00Z) - Trellis Decoding For Qudit Stabilizer Codes And Its Application To Qubit
Topological Codes [3.9962751777898955]
トレリス復号器は強い構造を持ち、古典的符号化理論を用いて結果をガイドとして拡張し、復号グラフの構造特性を計算できる正準形式を示す。
修正されたデコーダは、任意の安定化コード$S$で動作し、コードの正規化子のコンパクトでグラフィカルな表現を構築するワンタイムオフライン、$Sperp$、Viterbiアルゴリズムを使った高速でパラレルなオンライン計算である。
論文 参考訳(メタデータ) (2021-06-15T16:01:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。