論文の概要: Self-Testing Quantum Error Correcting Codes: Analyzing Computational Hardness
- arxiv url: http://arxiv.org/abs/2409.01987v1
- Date: Tue, 3 Sep 2024 15:30:57 GMT
- ステータス: 処理完了
- システム内更新日: 2024-09-06 00:50:24.722025
- Title: Self-Testing Quantum Error Correcting Codes: Analyzing Computational Hardness
- Title(参考訳): 自己検証型量子エラー訂正符号:計算硬度の解析
- Authors: En-Jui Kuo, Li-Yi Hsu,
- Abstract要約: 量子誤り訂正符号に対する傾きベルの不等式を一般化する。
我々はまた, citebaccari 2020deviceで詳述した, 自己検査の証明のための枠組みも確立した。
我々は、ISSELFTESTと呼ばれる計算問題を定義し、この問題定式化を、特定のベル型不等式に対する最大違反が、特定の絡み合い部分空間を自己テストできるという声明として解釈する方法を説明する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present a generalization of the tilted Bell inequality for quantum [[n,k,d]] error-correcting codes and explicitly utilize the simplest perfect code, the [[5,1,3]] code, the Steane [[7,1,3]] code, and Shor's [[9,1,3]] code, to demonstrate the self-testing property of their respective codespaces. Additionally, we establish a framework for the proof of self-testing, as detailed in \cite{baccari2020device}, which can be generalized to the codespace of CSS stabilizers. Our method provides a self-testing scheme for $\cos\theta \lvert \bar{0} \rangle + \sin\theta \lvert \bar{1} \rangle$, where $\theta \in [0, \frac{\pi}{2}]$, and also discusses its experimental application. We also investigate whether such property can be generalized to qudit and show one no-go theorem. We then define a computational problem called ISSELFTEST and describe how this problem formulation can be interpreted as a statement that maximal violation of a specific Bell-type inequality can self-test a particular entanglement subspace. We also discuss the computational complexity of ISSELFTEST in comparison to other classical complexity challenges and some related open problems.
- Abstract(参考訳): 我々は、量子 [[n,k,d] の傾きベルの不等式を一般化し、最も単純な完全符号、[5,1,3] 符号、Steane [[7,1,3] 符号、およびShor's [[9,1,3] 符号を明示的に利用し、それぞれの符号空間の自己検査特性を実証する。
さらに我々は,CSS安定化器のコード空間に一般化可能な,自己テストの証明のためのフレームワークを,‘cite{baccari2020device} で詳述した。
我々の手法は、$\cos\theta \lvert \bar{0} \rangle + \sin\theta \lvert \bar{1} \rangle$に対して自己テストスキームを提供する。
また、そのような性質がquditに一般化できるかどうかも検討し、1つのno-go定理を示す。
次に、ISSELFTESTと呼ばれる計算問題を定義し、この問題の定式化を、特定のベル型不等式に対する最大違反が、特定の絡み合い部分空間を自己テストできるという声明として解釈する。
また、ISSELFTESTの計算複雑性を、他の古典的複雑性問題や関連するオープン問題と比較する。
関連論文リスト
- Entanglement-assisted Quantum Error Correcting Code Saturating The Classical Singleton Bound [44.154181086513574]
量子誤り訂正符号 (EAQECCs) は, 従来のシングルトン境界を, frackn = frac13$以下のコードレートの既知の方法よりも少ない共有エンタングルメントで飽和させる。
古典的な $[n,k,d]_q$ のコードはパラメータ $[n,k,d;2k]]_q$ の EAQECC に変換できる。
論文 参考訳(メタデータ) (2024-10-05T11:56:15Z) - Qudit-based quantum error-correcting codes from irreducible representations of SU(d) [0.0]
クイディットは自然にマルチレベル量子システムに対応するが、その信頼性は量子エラー補正能力に基づいている。
a general procedure for constructing error-correcting qudit codes through the irreducible representations of $mathrmSU(d)$ for any odd integer $d geq 3.$
我々は、論理的なquditを$(d-1)2$の物理量子ビットに符号化する無限クラスの誤り訂正符号を構築するために、我々の手順を使用する。
論文 参考訳(メタデータ) (2024-10-03T11:35:57Z) - An encoding of argumentation problems using quadratic unconstrained binary optimization [1.104960878651584]
そこで本研究では,NP-Complete問題から準拘束的二項最適化問題への抽象化問題を符号化する手法を開発した。
QUBOの定式化により、QuantumやDigital Annealersといった新しいコンピューティングアーキテクチャを活用することができる。
論証や議論の実施における古典的問題の正しさと適用性を証明するために,実験を行った。
論文 参考訳(メタデータ) (2024-09-09T11:29:46Z) - Quantum One-Wayness of the Single-Round Sponge with Invertible Permutations [49.1574468325115]
スポンジハッシュは、広く使われている暗号ハッシュアルゴリズムのクラスである。
これまでのところ、不規則な置換は根本的なオープンな問題のままである。
ランダムな2n$-bit置換でゼロペアを見つけるには、少なくとも$Omega(2n/2)$多くのクエリが必要である。
論文 参考訳(メタデータ) (2024-03-07T18:46:58Z) - Spectral Norm of Convolutional Layers with Circular and Zero Paddings [55.233197272316275]
畳み込み層をゼロにするためのGramの反復法を一般化し、その二次収束を証明した。
また、円と零のパッドド・コンボリューションのスペクトルノルムのギャップを埋めるための定理も提供する。
論文 参考訳(メタデータ) (2024-01-31T23:48:48Z) - Extracting topological orders of generalized Pauli stabilizer codes in two dimensions [5.593891873998947]
本稿では,2次元システムにおける変換不変な一般化されたパウリ安定化符号から位相データを抽出するアルゴリズムを提案する。
このアルゴリズムは$mathbbZ_d$ quditsに適用される。
論文 参考訳(メタデータ) (2023-12-18T13:18:19Z) - Quantum Worst-Case to Average-Case Reductions for All Linear Problems [66.65497337069792]
量子アルゴリズムにおける最悪のケースと平均ケースの削減を設計する問題について検討する。
量子アルゴリズムの明示的で効率的な変換は、入力のごく一部でのみ正し、全ての入力で正しくなる。
論文 参考訳(メタデータ) (2022-12-06T22:01:49Z) - Quantum Goemans-Williamson Algorithm with the Hadamard Test and
Approximate Amplitude Constraints [62.72309460291971]
本稿では,n+1$ qubitsしか使用しないGoemans-Williamsonアルゴリズムの変分量子アルゴリズムを提案する。
補助量子ビット上で適切にパラメータ化されたユニタリ条件として目的行列を符号化することにより、効率的な最適化を実現する。
各種NPハード問題に対して,Goemans-Williamsonアルゴリズムの量子的効率的な実装を考案し,提案プロトコルの有効性を実証する。
論文 参考訳(メタデータ) (2022-06-30T03:15:23Z) - Constrained mixers for the quantum approximate optimization algorithm [55.41644538483948]
ヒルベルト空間全体の部分空間への発展を制限する混合作用素を構築するための枠組みを提案する。
我々は,「ワンホット」状態の部分空間を保存するために設計された「XY」ミキサーを,多くの計算基底状態によって与えられる部分空間の一般の場合に一般化する。
我々の分析は、現在知られているよりもCXゲートが少ない"XY"ミキサーのトロタライズも有効である。
論文 参考訳(メタデータ) (2022-03-11T17:19:26Z) - Quantum soundness of testing tensor codes [9.42581332803306]
軸平行線対点検定は量子プローサの絡み合いに対して健全であることを示す。
我々の証明はまた、量子プローバーの無限次元可換演算モデルにも一般化する。
論文 参考訳(メタデータ) (2021-11-15T23:04:16Z) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。
CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
論文 参考訳(メタデータ) (2021-08-10T15:00:20Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。