論文の概要: Divisible Codes for Quantum Computation
- arxiv url: http://arxiv.org/abs/2204.13176v1
- Date: Wed, 27 Apr 2022 20:18:51 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-15 09:00:53.990703
- Title: Divisible Codes for Quantum Computation
- Title(参考訳): 量子計算のための可分符号
- Authors: Jingzhen Hu, Qingzhong Liang, Robert Calderbank
- Abstract要約: 可分符号は、符号語重みが1より大きい共通の因子を共有する性質によって定義される。
本稿では、論理ゲートによって変換される量子情報を保護するために、それらがどのように使用できるかを検討する。
- 参考スコア(独自算出の注目度): 0.6445605125467572
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Divisible codes are defined by the property that codeword weights share a
common divisor greater than one. They are used to design signals for
communications and sensing, and this paper explores how they can be used to
protect quantum information as it is transformed by logical gates. Given a CSS
code $\mathcal{C}$, we derive conditions that are both necessary and sufficient
for a transversal diagonal physical operator $U_Z$ to preserve $\mathcal{C}$
and induce $U_L$. The group of $Z$-stabilizers in a CSS code $\mathcal{C}$ is
determined by the dual of a classical $[n, k_1]$ binary code $\mathcal{C}_1$,
and the group of $X$-stabilizers is determined by a classical $[n, k_2]$ binary
code $\mathcal{C}_2$ that is contained in $\mathcal{C}_1$. The requirement that
a diagonal physical operator $U_Z$ fixes a CSS code $\mathcal{C}$ leads to
constraints on the congruence of weights in cosets of $\mathcal{C}_2$. These
constraints are a perfect fit to divisible codes, and represent an opportunity
to take advantage of the extensive literature on classical codes with two or
three weights. We construct new families of CSS codes using cosets of the first
order Reed Muller code defined by quadratic forms. We provide a simple
alternative to the standard method of deriving the coset weight distributions
(based on Dickson normal form) that may be of independent interest. Finally, we
develop an approach to circumventing the Eastin-Knill Theorem which states that
no QECC can implement a universal set of logical gates through transversal
gates alone. The essential idea is to design stabilizer codes in layers, with
$N_1$ inner qubits and $N_2$ outer qubits, and to assemble a universal set of
fault tolerant gates on the inner qubits.
- Abstract(参考訳): 可除符号は、符号語重みが1より大きい共通の因子を共有する性質によって定義される。
これらは通信やセンシングのための信号の設計に使われており、論理ゲートによって変換される量子情報を保護するためにどのように使用されるのかを考察する。
CSS コード $\mathcal{C}$ が与えられた場合、この条件は、逆対角演算子 $U_Z$ が $\mathcal{C}$ を保存し、$U_L$ を誘導するのに必要で十分である。
CSSコード内の$Z$-stabilizersのグループ$\mathcal{C}$は、古典的な$[n, k_1]$バイナリコード$\mathcal{C}_1$の双対によって決定され、$X$-stabilizersのグループは、$\mathcal{C}_1$に含まれる古典的な$[n, k_2]$バイナリコード$\mathcal{C}_2$によって決定される。
対角形物理演算子 $u_z$ が css コード $\mathcal{c}$ を修正するという要求は、$\mathcal{c}_2$ のコセットにおける重みの合同の制約をもたらす。
これらの制約は分別可能な符号に最適であり、2つまたは3つの重みを持つ古典符号の広範な文献を利用する機会を表している。
二次形式で定義される1次リードミュラー符号のコセットを用いてcss符号の新しいファミリーを構築する。
我々は、(ディクソン正規形式に基づく)コセットウェイト分布を導出する標準的な方法の簡単な代替手段を提供する。
最後に,Eastin-Knill理論を回避し,QECCが論理ゲートのみを通じて論理ゲートの普遍的集合を実装できないというアプローチを開発する。
基本的な考え方は、内部量子ビットに$N_1$、外部量子ビットに$N_2$の安定化符号を設計し、内部量子ビットにフォールトトレラントゲートの普遍的なセットを組み立てることである。
関連論文リスト
- The Not-So-Secret Fourth Parameter of Quantum Codes [0.0]
量子符号は通常、物理量子ビット数$n$、符号空間の次元$K$、符号距離$d$の3つのパラメータを使って参照される。
しかし、これらの3つのパラメータは、コードの下で量子コードの唯一の不変量ではない。
我々は、この結果が一般に証明され、新しい"パラメータ$Gに関して、厳密に安定化符号を上回る3つの非付加符号のファミリーを構築するのに使用される。
論文 参考訳(メタデータ) (2023-10-26T17:59:33Z) - CSS code surgery as a universal construction [77.73399781313893]
連鎖複体間の写像を用いて,Calderbank-Shor-Steane (CSS) 符号間のコードマップを定義する。
鎖状錯体のカテゴリにおいて,特定のコリミットを用いたコード間のコード手術について述べる。
論文 参考訳(メタデータ) (2023-01-31T16:17:25Z) - Quantum Resources Required to Block-Encode a Matrix of Classical Data [56.508135743727934]
回路レベルの実装とリソース推定を行い、古典データの高密度な$Ntimes N$行列をブロックエンコードして$epsilon$を精度良くすることができる。
異なるアプローチ間のリソーストレードオフを調査し、量子ランダムアクセスメモリ(QRAM)の2つの異なるモデルの実装を検討する。
我々の結果は、単純なクエリの複雑さを超えて、大量の古典的データが量子アルゴリズムにアクセスできると仮定された場合のリソースコストの明確な図を提供する。
論文 参考訳(メタデータ) (2022-06-07T18:00:01Z) - Exponential Separation between Quantum and Classical Ordered Binary
Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
量子順序付き二項決定図($OBDD$)モデルについて検討する。
入力変数の任意の順序で、OBDDの下位境界と上位境界を証明します。
read$k$-times Ordered Binary Decision Diagrams (k$-OBDD$)の幅の階層を拡張します。
論文 参考訳(メタデータ) (2022-04-22T12:37:56Z) - Morphing quantum codes [77.34726150561087]
我々は15キュービットのReed-Muller符号を変形し、フォールトトレラントな論理的な$T$ゲートを持つ最小の安定化器符号を得る。
色符号を変形させることにより、ハイブリッドな色履歴符号の族を構築する。
論文 参考訳(メタデータ) (2021-12-02T17:43:00Z) - Climbing the Diagonal Clifford Hierarchy [0.6445605125467572]
Clifford階層において,あるレベル$l$の論理対角ゲートを目標とする符号を合成する手法を提案する。
この方法は、結合、$Z$-stabilizersの削除、$X$-stabilizersの追加の3つの基本的な操作を組み合わせる。
コヒーレントノイズモデルでは、デコヒーレンスフリーな部分空間において、中間結果の計算と記憶を切り替える方法について述べる。
論文 参考訳(メタデータ) (2021-10-22T17:08:18Z) - Partially Concatenated Calderbank-Shor-Steane Codes Achieving the
Quantum Gilbert-Varshamov Bound Asymptotically [36.685393265844986]
我々は,量子-Omega-Varshamovを有界に達成する量子誤り訂正符号の新たなファミリを構築する。
$mathscrQ$は$O(N)$とdeep $O(sqrtN)$の回路で非常に効率的に符号化できる。
$mathscrQ$は$O(sqrtN)$timeで並列に復号することもできる。
論文 参考訳(メタデータ) (2021-07-12T03:27:30Z) - Quantum double aspects of surface code models [77.34726150561087]
基礎となる量子double $D(G)$対称性を持つ正方格子上でのフォールトトレラント量子コンピューティングの北エフモデルを再検討する。
有限次元ホップ代数$H$に基づいて、我々の構成がどのように$D(H)$モデルに一般化するかを示す。
論文 参考訳(メタデータ) (2021-06-25T17:03:38Z) - Small Covers for Near-Zero Sets of Polynomials and Learning Latent
Variable Models [56.98280399449707]
我々は、s$ of cardinality $m = (k/epsilon)o_d(k1/d)$ に対して $epsilon$-cover が存在することを示す。
構造的結果に基づいて,いくつかの基本的高次元確率モデル隠れ変数の学習アルゴリズムを改良した。
論文 参考訳(メタデータ) (2020-12-14T18:14:08Z) - Mitigating Coherent Noise by Balancing Weight-2 $Z$-Stabilizers [2.4851820343103035]
閉じ込められたイオンのような物理的プラットフォームはコヒーレントノイズに悩まされ、エラーは特定の軸の回転として現れ、時間とともに蓄積される。
本研究では,非コヒーレンス自由部分空間によるパッシブ緩和について検討し,安定化符号の符号空間を保存するためにノイズを必要とする。
これらの部品のサイズを調整することで、コヒーレントノイズを排除し、大量のQECC符号を構築できる。
論文 参考訳(メタデータ) (2020-10-31T06:09:40Z) - Classical Coding Problem from Transversal $T$ Gates [10.478611957969145]
論理的に$T$を実現する唯一のCSSコードは、物理的に$T$である。
また、Axの定理を用いて量子リード・ミュラー符号の族上で実現された論理演算を特徴づける。
論文 参考訳(メタデータ) (2020-01-14T16:45:48Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。