論文の概要: Finding the disjointness of stabilizer codes is NP-complete
- arxiv url: http://arxiv.org/abs/2108.04738v1
- Date: Tue, 10 Aug 2021 15:00:20 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-18 21:20:26.861991
- Title: Finding the disjointness of stabilizer codes is NP-complete
- Title（参考訳）: 安定化符号の不一致はnp完全である
- Authors: John Bostanci and Aleksander Kubica
- Abstract要約: 我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。
CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
- 参考スコア（独自算出の注目度）: 77.34726150561087
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The disjointness of a stabilizer code is a quantity used to constrain the
level of the logical Clifford hierarchy attainable by transversal gates and
constant-depth quantum circuits. We show that for any positive integer constant
$c$, the problem of calculating the $c$-disjointness, or even approximating it
to within a constant multiplicative factor, is NP-complete. We provide bounds
on the disjointness for various code families, including the CSS codes,
concatenated codes and hypergraph product codes. We also describe numerical
methods of finding the disjointness, which can be readily used to rule out the
existence of any transversal gate implementing some non-Clifford logical
operation in small stabilizer codes. Our results indicate that finding
fault-tolerant logical gates for generic quantum error-correcting codes is a
computationally challenging task.
- Abstract（参考訳）: 安定化器符号の不一致性は、横断ゲートと定深さ量子回路によって達成可能な論理クリフォード階層のレベルを制限するために用いられる量である。
任意の正の整数定数 $c$ に対して、$c$-disjointness を計算するか、あるいはそれを定数乗算係数の範囲内で近似する問題は NP-完全であることを示す。
CSSコード、連結コード、ハイパーグラフ製品コードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
また,非クリフォード論理演算を小さな安定化符号で実装した任意のトランスバーサルゲートの存在を排除できる不連続性を求める数値的手法についても述べる。
その結果,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの探索は計算上難しい課題であることがわかった。
関連論文リスト
- Targeted Clifford logical gates for hypergraph product codes [61.269295538188636]
ハイパーグラフ製品コードのための論理ゲートを明示的に構築する。
具体的な例として、$[[18,2,3]]$トーリック符号に対して論理回路を与える。
論文 参考訳（メタデータ） (2024-11-26T02:32:44Z) - Measurement-free code-switching for low overhead quantum computation using permutation invariant codes [6.281229317487581]
普遍量子計算のための無測定符号スイッチングプロトコルを提案する。
この符号スイッチングプロトコルによって実現された新しい非クリフォードゲートは、クリフォード$+T$ゲートセットよりも効率的なユニバーサルゲートセットの実装を可能にする。
論文 参考訳（メタデータ） (2024-11-20T09:16:07Z) - Transversal non-Clifford gates for quantum LDPC codes on sheaves [1.0878040851638]
量子コンピューティングの大きな目標は、フォールトトレラントな量子コンピュータを構築することである。
1つのアプローチは、非クリフォードゲートをサポートする量子低密度パリティチェック(qLDPC)コードである。
論文 参考訳（メタデータ） (2024-10-18T17:31:19Z) - Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
本稿では,量子リード・ミュラー符号(RM)のゲートを,古典的特性を利用して特徴付けることを目的とする。
RM符号のための安定化器生成器のセットは、特定の次元のサブキューブに作用する$X$と$Z$演算子によって記述することができる。
論文 参考訳（メタデータ） (2024-10-10T04:07:24Z) - Hierarchical memories: Simulating quantum LDPC codes with local gates [0.05156484100374058]
一定のレートの低密度パリティチェック(LDPC)符号は、効率的なフォールトトレラント量子メモリを構築する上で有望な候補である。
我々は、多くの論理量子ビット K = Omega(N/log(N)2) を符号化する階層符号の新しい族を構築する。
保守的な仮定の下では、階層的コードは、全ての論理量子ビットが曲面コードに符号化される基本符号化よりも優れていることが分かる。
論文 参考訳（メタデータ） (2023-03-08T18:48:12Z) - Quantum Worst-Case to Average-Case Reductions for All Linear Problems [66.65497337069792]
量子アルゴリズムにおける最悪のケースと平均ケースの削減を設計する問題について検討する。
量子アルゴリズムの明示的で効率的な変換は、入力のごく一部でのみ正し、全ての入力で正しくなる。
論文 参考訳（メタデータ） (2022-12-06T22:01:49Z) - Transversal Injection: A method for direct encoding of ancilla states
for non-Clifford gates using stabiliser codes [55.90903601048249]
非クリフォードゲートのこのオーバーヘッドを低減するためのプロトコルを導入する。
予備的な結果は、より広い距離で高品質な忠実さを示唆している。
論文 参考訳（メタデータ） (2022-11-18T06:03:10Z) - A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit [73.70667578066775]
ほとんどの人造システム、特にコンピュータは決定論的に機能する。
本稿では、量子物理学が確率法則に従うときの直観的なアプローチである量子情報理論による接続を提供する。
論文 参考訳（メタデータ） (2022-09-08T17:55:30Z) - Finite-rate sparse quantum codes aplenty [1.1279808969568252]
本稿では、ランダムな二部グラフ上の制約満足度問題(CSP)を解決するために、ランダムなマルチキュービット安定化器符号を生成する手法を提案する。
現状のCSPソルバを用いて、満足度しきい値の存在を証明できる証拠を得る。
良好な位相にあるスパース符号は、消去ノイズのチャネル容量を実質的に達成する。
論文 参考訳（メタデータ） (2022-07-07T20:39:39Z) - Partitioning qubits in hypergraph product codes to implement logical
gates [0.0]
トランスバーサルゲートは、最も単純なフォールトトレラント論理ゲートである。
LDPC符号における普遍量子コンピューティングの基盤としてゲートが利用できることを示す。
論文 参考訳（メタデータ） (2022-04-22T16:45:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。