論文の概要: Expansion of higher-dimensional cubical complexes with application to
quantum locally testable codes
- arxiv url: http://arxiv.org/abs/2402.07476v1
- Date: Mon, 12 Feb 2024 08:32:13 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-13 15:08:43.331958
- 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=4$ の場合、我々の構成は 4-タプルのランダム線型写像のロバスト性に関する予想を条件に、量子局所テスト可能な符号の族を与える。
- 参考スコア(独自算出の注目度): 5.871639335723556
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We introduce a higher-dimensional "cubical" chain complex and apply it to the
design of quantum locally testable codes. Our cubical chain complex can be
constructed for any dimension $t$, and in a precise sense generalizes the
Sipser-Spielman construction of expander codes (case $t=1$) and the
constructions by Dinur et. al and Panteleev and Kalachev of a square complex
(case $t$=2), which have been applied to the design of classical locally
testable and quantum low-density parity check codes respectively. For $t=4$ our
construction gives a family of quantum locally testable codes conditional on a
conjecture about robustness of four-tuples of random linear maps. These codes
have linear dimension, inverse poly-logarithmic relative distance and
soundness, and polylogarithmic-size parity checks.
Our complex can be built in a modular way from two ingredients. Firstly, the
geometry (edges, faces, cubes, etc.) is provided by a set $G$ of size $N$,
together with pairwise commuting sets of actions $A_1,\ldots,A_t$ on it.
Secondly, the chain complex itself is obtained by associating local coefficient
spaces based on codes, with each geometric object, and introducing local maps
on those coefficient spaces.
We bound the cycle and co-cycle expansion of the chain complex. The
assumptions we need are two-fold: firstly, each Cayley graph $Cay(G,A_j)$ needs
to be a good (spectral) expander, and secondly, the families of codes and their
duals both need to satisfy a form of robustness (that generalizes the condition
of agreement testability for pairs of codes). While the first assumption is
easy to satisfy, it is currently not known if the second can be achieved.
- Abstract(参考訳): より高次元の「キュービカル」鎖複体を導入し、量子局所テスト可能な符号の設計に適用する。
我々の立方体鎖複体は任意の次元$t$で構成することができ、正確には、拡張符号(例$t=1$)のシプサー・スピールマン構成とディンルらによる構成を一般化する。
al と Panteleev と Kalachev の平方体(例 $t$=2) は、それぞれ古典的局所的テスト可能および量子的低密度パリティチェック符号の設計に適用されている。
t=4$ の場合、我々の構成は 4-タプルのランダム線型写像のロバスト性に関する予想を条件に、量子局所テスト可能な符号の族を与える。
これらの符号は線形次元、逆多対数相対距離と音質、多対数パリティチェックを有する。
私たちの複合体は2つの材料からモジュラーな方法で構築できます。
第一に、幾何学(縁、面、立方体など)は、A_1,\ldots,A_t$というアクションのペア交換セットと共に、サイズ$N$のセット$G$で提供される。
第二に、連鎖複体は、符号に基づく局所係数空間を各幾何学的対象に関連付け、それらの係数空間上の局所写像を導入することによって得られる。
我々は連鎖錯体のサイクルと共サイクル展開を制限した。
第一に、各cayley graph $cay(g,a_j)$ は良い(スペクトル)展開である必要があり、第二に、コードのファミリーとそれらの双対はどちらも堅牢性の形式を満たす必要がある(コードのペアに対する合意テスト可能性の条件を一般化する)。
第1の仮定は満足しやすいが、現在、第2の仮定が達成できるかどうかは分かっていない。
関連論文リスト
- Efficient Unitary T-designs from Random Sums [0.6640968473398456]
Unitary $T$-Designsは、量子アルゴリズム、ベンチマーク、トモグラフィ、通信における様々な応用において、量子情報において重要な役割を果たす。
我々は、$tildeO(T2 n2)$量子ゲートを用いたランダム行列理論による$T$-designsの新たな構成を提供する。
論文 参考訳(メタデータ) (2024-02-14T17:32:30Z) - Geometrically Local Quantum and Classical Codes from Subdivision [11.640839589988788]
幾何学的に局所的な量子符号は$mathbbRD$内の誤り訂正符号であり、チェックは固定空間距離内の量子ビットにのみ作用する。
本稿では,ポリログまでの最適エネルギー障壁を持つコードを構築することにより,Portnoyの研究を拡張した。
論文 参考訳(メタデータ) (2023-09-28T02:12:38Z) - Homological Quantum Rotor Codes: Logical Qubits from Torsion [51.9157257936691]
ホモロジー量子ローター符号は 論理ローターと論理キューディットを 同一のコードブロックにエンコードできる
0$-$pi$-qubit と Kitaev の現在のミラー量子ビットは、確かにそのような符号の小さな例である。
論文 参考訳(メタデータ) (2023-03-24T00:29:15Z) - Divisible Codes for Quantum Computation [0.6445605125467572]
可分符号は、符号語重みが1より大きい共通の因子を共有する性質によって定義される。
本稿では、論理ゲートによって変換される量子情報を保護するために、それらがどのように使用できるかを検討する。
論文 参考訳(メタデータ) (2022-04-27T20:18:51Z) - 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) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。
CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
論文 参考訳(メタデータ) (2021-08-10T15:00:20Z) - Quantum double aspects of surface code models [77.34726150561087]
基礎となる量子double $D(G)$対称性を持つ正方格子上でのフォールトトレラント量子コンピューティングの北エフモデルを再検討する。
有限次元ホップ代数$H$に基づいて、我々の構成がどのように$D(H)$モデルに一般化するかを示す。
論文 参考訳(メタデータ) (2021-06-25T17:03:38Z) - Building manifolds from quantum codes [0.0]
我々は、$mathbbZ$ systolic freedom の最初の例を構築した。
グラフの弱基本サイクル基底を構築するための効率的なランダム化アルゴリズムを与える。
この結果を用いて、構成する多様体の基本群を自明にする。
論文 参考訳(メタデータ) (2020-12-03T20:36:50Z) - Average-case Complexity of Teaching Convex Polytopes via Halfspace
Queries [55.28642461328172]
平均的なケースの教えの複雑さは$Theta(d)$であり、最悪のケースの教えの複雑さは$Theta(n)$とは対照的である。
我々の洞察は、$phi$-separable dichotomiesの平均ケースの複雑さに厳密な拘束力を確立することを可能にする。
論文 参考訳(メタデータ) (2020-06-25T19:59:24Z) - Decodable quantum LDPC codes beyond the $\sqrt{n}$ distance barrier
using high dimensional expanders [0.5929956715430168]
長さの平方根よりも速く成長する最小距離の量子LDPC符号を構築する。
2次元ラマヌジャン複体または3次元ラマヌジャン複体の2次元スケルトンを用いると、最小距離の量子LDPC符号が得られる。
量子LDPC符号の平方根障壁上をデコードする最初のアルゴリズムを考案する。
論文 参考訳(メタデータ) (2020-04-16T20:36:28Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。