論文の概要: Quantum soundness of testing tensor codes
- arxiv url: http://arxiv.org/abs/2111.08131v3
- Date: Tue, 6 Dec 2022 08:19:53 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-08 01:59:55.023837
- Title: Quantum soundness of testing tensor codes
- Title(参考訳): テンソル符号の量子健全性
- Authors: Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen
- Abstract要約: 軸平行線対点検定は量子プローサの絡み合いに対して健全であることを示す。
我々の証明はまた、量子プローバーの無限次元可換演算モデルにも一般化する。
- 参考スコア(独自算出の注目度): 9.42581332803306
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A locally testable code is an error-correcting code that admits very
efficient probabilistic tests of membership. Tensor codes provide a simple
family of combinatorial constructions of locally testable codes that generalize
the family of Reed-Muller codes. The natural test for tensor codes, the
axis-parallel line vs. point test, plays an essential role in constructions of
probabilistically checkable proofs.
We analyze the axis-parallel line vs. point test as a two-prover game and
show that the test is sound against quantum provers sharing entanglement. Our
result implies the quantum-soundness of the low individual degree test, which
is an essential component of the MIP* = RE theorem. Our proof also generalizes
to the infinite-dimensional commuting-operator model of quantum provers.
- Abstract(参考訳): ローカルテスト可能なコードは、非常に効率的なメンバシップの確率的テストを認めるエラー訂正コードである。
テンソル符号は、リード・ミュラー符号の族を一般化する局所テスト可能な符号の組合せ構成の単純な族を提供する。
テンソル符号の自然なテストである軸平行線対点検定は、確率的にチェック可能な証明を構成する上で重要な役割を果たす。
軸並列線対点検定を2つのプロファイラゲームとして解析し,量子プロデューサ間の絡み合いに対して実験が健全であることを示す。
この結果は、MIP* = RE定理の重要な構成要素である低次検定の量子音響性を意味する。
我々の証明はまた、量子プローバーの無限次元可換演算モデルにも一般化する。
関連論文リスト
- Self-Testing Quantum Error Correcting Codes: Analyzing Computational Hardness [0.0]
量子誤り訂正符号に対する傾きベルの不等式を一般化する。
我々はまた, citebaccari 2020deviceで詳述した, 自己検査の証明のための枠組みも確立した。
我々は、ISSELFTESTと呼ばれる計算問題を定義し、この問題定式化を、特定のベル型不等式に対する最大違反が、特定の絡み合い部分空間を自己テストできるという声明として解釈する方法を説明する。
論文 参考訳(メタデータ) (2024-09-03T15:30:57Z) - Exploring quantum weight enumerators from the $n$-qubit parallelized SWAP test [19.183393329155567]
量子量列挙器と$n$-qubit並列化SWAPテストの接続を構築する。
それぞれのシャドウ列挙子は$n$-qubit並列化SWAPテストの確率と正確に一致することがわかった。
アプリケーションでは、$n$-qubit並列化SWAPテストを用いて量子誤り訂正符号の距離を判定する。
論文 参考訳(メタデータ) (2024-06-26T12:06:40Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳(メタデータ) (2024-02-29T01:35:46Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Validation tests of GBS quantum computers give evidence for quantum
advantage with a decoherent target [62.997667081978825]
複数モードデータの検証に指紋としてグループカウント確率の正P位相空間シミュレーションを用いる。
偽データを解き放つ方法を示し、これを古典的なカウントアルゴリズムに適用する。
論文 参考訳(メタデータ) (2022-11-07T12:00:45Z) - Quantum Symbolic Execution [0.0]
量子記号実行(QSE)は、テストケースを生成するために提案され、量子プログラムのバグを見つけるのに役立つ。
QSEは量子プログラムのデバッグを可能にするだけでなく、古典的シンボリック実行における制約の解決という難しい問題を回避している。
論文 参考訳(メタデータ) (2022-09-18T15:14:17Z) - VeriQBench: A Benchmark for Multiple Types of Quantum Circuits [8.089552684513448]
量子回路のオープンソースベンチマークであるVeriQBenchを紹介する。
様々な回路タイプの高レベル量子回路抽象化を提供する。
VeriQBenchは、異なるアプリケーションに対する量子ソフトウェア検証に使用できる多用途ベンチマークである。
論文 参考訳(メタデータ) (2022-06-22T07:03:20Z) - Incompatibility of observables, channels and instruments in information
theories [68.8204255655161]
運用確率論におけるテストの整合性の概念について検討する。
ある理論が不整合性テストを認めていることは、ある情報が障害なく抽出できない場合に限る。
論文 参考訳(メタデータ) (2022-04-17T08:44:29Z) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。
CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
論文 参考訳(メタデータ) (2021-08-10T15:00:20Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。