論文の概要: Expansion of higher-dimensional cubical complexes with application to quantum locally testable codes
- arxiv url: http://arxiv.org/abs/2402.07476v2
- Date: Thu, 11 Apr 2024 13:55:30 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-12 18:35:56.668126
- Title: Expansion of higher-dimensional cubical complexes with application to quantum locally testable codes
- Title(参考訳): 高次元立方体錯体の拡張と量子局所テスト可能符号への応用
- Authors: Irit Dinur, Ting-Chun Lin, Thomas Vidick,
- Abstract要約: 任意の次元 t>0 に対して高次元立方体錯体を導入し、量子局所テスト可能符号に適用する。
t=4 の場合、我々の構成は「最も良い」量子 LTC の族を与える。
- 参考スコア(独自算出の注目度): 5.224344210588583
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We introduce a high-dimensional cubical complex, for any dimension t>0, and apply it to the design of quantum locally testable codes. Our complex is a natural generalization of the constructions by Panteleev and Kalachev and by Dinur et. al of a square complex (case t=2), which have been applied to the design of classical locally testable codes (LTC) and quantum low-density parity check codes (qLDPC) respectively. We turn the geometric (cubical) complex into a chain complex by relying on constant-sized local codes $h_1,\ldots,h_t$ as gadgets. A recent result of Panteleev and Kalachev on existence of tuples of codes that are product expanding enables us to prove lower bounds on the cycle and co-cycle expansion of our chain complex. For t=4 our construction gives a new family of "almost-good" quantum LTCs -- with constant relative rate, inverse-polylogarithmic relative distance and soundness, and constant-size parity checks. Both the distance of the quantum code and its local testability are proven directly from the cycle and co-cycle expansion of our chain complex.
- Abstract(参考訳): 任意の次元 t>0 に対して高次元立方体錯体を導入し、量子局所テスト可能な符号の設計に適用する。
我々の複体はパンテレーエフとカラチェフとディンルらによる構成の自然な一般化である。
古典的局所テスト可能符号 (LTC) と量子低密度パリティチェック符号 (qLDPC) の設計にそれぞれ応用された平方複体 (例 t=2) の al である。
我々は幾何学的(キュビカルな)複素数体を、ガジェットとして一定サイズの局所符号(h_1,\ldots,h_t$)を頼りに鎖複数体に変換する。
Panteleev と Kalachev の最近の成果は、製品展開中のコードのタプルの存在によって、我々の鎖複合体のサイクルとコサイクル展開の低い境界を証明できる。
t=4 の場合、我々の構成は「最も良い」量子 LTC の族を与える。
量子コードの距離と局所的なテスト容易性は、我々の鎖複合体のサイクルとコサイクル展開から直接証明される。
関連論文リスト
- Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
本稿では,量子リード・ミュラー符号(RM)のゲートを,古典的特性を利用して特徴付けることを目的とする。
RM符号のための安定化器生成器のセットは、特定の次元のサブキューブに作用する$X$と$Z$演算子によって記述することができる。
論文 参考訳(メタデータ) (2024-10-10T04:07:24Z) - Transform Arbitrary Good Quantum LDPC Codes into Good Geometrically Local Codes in Any Dimension [11.695180823001566]
重要な課題は、寸法と距離の両方を最大化する最適なコード構造を特定することです。
最近の進歩はいくつかの構成を生み出しているが、これらは特定の良い量子低密度パリティチェック(qLDPC)符号に依存しているか、3次元に限定されている。
我々は、優れたqLDPCコードを最適な幾何学的局所量子コードに変換することができる構成を導入する。
論文 参考訳(メタデータ) (2024-08-03T12:46:05Z) - Geometrically Local Quantum and Classical Codes from Subdivision [10.357542321841887]
幾何学的に局所的な量子符号は$mathbbRD$内の誤り訂正符号であり、チェックは固定空間距離内の量子ビットにのみ作用する。
最近、Portnoyはコードによってポリログまでの最適な寸法と距離を達成し、大きなブレークスルーを遂げた。
本稿では、このステップを回避し、優れた量子低密度パリティチェック符号、バランスの取れた積符号の族が自然に2次元構造を持つことに気づき、構成を合理化する。
論文 参考訳(メタデータ) (2023-09-28T02:12:38Z) - Complexity for one-dimensional discrete time quantum walk circuits [0.0]
1次元離散時間量子ウォーク(DTQW)から導かれる混合状態密度演算子の複雑性を計算する。
この複雑さは、混合状態の正準浄化から得られる2量子ビット量子回路を用いて計算される。
論文 参考訳(メタデータ) (2023-07-25T12:25:03Z) - Homological Quantum Rotor Codes: Logical Qubits from Torsion [51.9157257936691]
ホモロジー量子ローター符号は 論理ローターと論理キューディットを 同一のコードブロックにエンコードできる
0$-$pi$-qubit と Kitaev の現在のミラー量子ビットは、確かにそのような符号の小さな例である。
論文 参考訳(メタデータ) (2023-03-24T00:29:15Z) - Short Proofs of Linear Growth of Quantum Circuit Complexity [3.8340125020400366]
量子ゲートの複雑さは、それを構築するための基本ゲートの最小数として定義され、量子情報と計算において重要な概念である。
近年、ランダムな量子回路から構築される量子ゲートの複雑さは、ビルディングブロックの数とともにほぼ確実に線形に増加することが示されている。
論文 参考訳(メタデータ) (2022-05-11T17:53:57Z) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。
CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
論文 参考訳(メタデータ) (2021-08-10T15:00:20Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳(メタデータ) (2021-08-03T17:49:09Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Minimal distances for certain quantum product codes and tensor products
of chain complexes [0.5076419064097732]
量子誤り訂正符号への写像と部分空間射影を用いて、最小ホモロジー距離で下界を得る。
構築における符号、サブシステム製品符号およびゲージ固定された変種は、いくつかの既知の量子誤り訂正符号の族を一般化する。
論文 参考訳(メタデータ) (2020-07-23T17:32:34Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。