論文の概要: A bound on the quantum value of all compiled nonlocal games

• arxiv url: http://arxiv.org/abs/2408.06711v1
• Date: Tue, 13 Aug 2024 08:11:56 GMT
• ステータス: 処理完了
• システム内更新日: 2024-08-14 18:16:48.346424
• Title: A bound on the quantum value of all compiled nonlocal games
• Title（参考訳）: すべてのコンパイルされた非局所ゲームにおける量子値上の有界性
• Authors: Alexander Kulpe, Giulio Malavolta, Connor Paddock, Simon Schmidt, Michael Walter,
• Abstract要約: 我々は、コンパイルされた2人プレイヤの非ローカルゲームに対して量子音響結果を確立する。 我々は、基礎となる非局所ゲームの量子交換演算子値が、基礎となるコンパイルされたゲームの量子値の上界であることを証明した。
• 参考スコア（独自算出の注目度）: 49.32403970784162
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: A compiler introduced by Kalai et al. (STOC'23) converts any nonlocal game into an interactive protocol with a single computationally-bounded prover. Although the compiler is known to be sound in the case of classical provers, as well as complete in the quantum case, quantum soundness has so far only been established for special classes of games. In this work, we establish a quantum soundness result for all compiled two-player nonlocal games. In particular, we prove that the quantum commuting operator value of the underlying nonlocal game is an upper bound on the quantum value of the compiled game. Our result employs techniques from operator algebras in a computational and cryptographic setting to establish information-theoretic objects in the asymptotic limit of the security parameter. It further relies on a sequential characterization of quantum commuting operator correlations which may be of independent interest.
• Abstract（参考訳）: Kalai et al (STOC'23) によって導入されたコンパイラは、任意の非ローカルゲームを1つの計算バウンド証明器で対話的なプロトコルに変換する。 コンパイラは古典的プローバーの場合や量子の場合では完全であるのが知られているが、量子音響性は今のところゲームの特別なクラスに対してのみ確立されている。 本研究では,コンパイルされた2人プレイヤの非ローカルゲームに対して,量子音響性(quantum Soundness)の計算結果を確立する。 特に、基礎となる非局所ゲームにおける量子交換演算子値は、コンパイルされたゲームの量子値の上限であることを示す。 この結果、演算子から計算および暗号設定の手法を用いて、セキュリティパラメータの漸近的極限における情報理論オブジェクトを確立する。 さらに、独立した興味を持つかもしれない量子交換作用素相関のシーケンシャルな特徴づけに依存している。

関連論文リスト

• Transfer of quantum game strategies [0.0]
  ゲーム間の戦略伝達に必要なQNS相関の新たなクラスを示す。 連関相関を定義し,各ゲームパーティに関連する標準$rm C*$-代数のテンソル積に作用するトレースに対応することを示す。
  論文  参考訳（メタデータ） (2024-10-12T17:25:58Z)
• A Computational Tsirelson's Theorem for the Value of Compiled XOR Games [9.818381970014284]
  Kalaiらによって提案されたコンパイラは,任意の2プレーヤXORゲームに対して健全であることを示す。 提案手法を用いて並列繰り返しXORゲームのコンパイル値の厳密なバウンダリを含む,いくつかの追加結果を得た。
  論文  参考訳（メタデータ） (2024-02-27T08:24:21Z)
• Photonic implementation of the quantum Morra game [69.65384453064829]
  本研究は,古典ゲームを特殊なケースとして含めることにより,従来の研究を基盤とした2プレーヤ量子モラゲームの忠実な翻訳について研究する。 本稿では、アリスが古典ゲームのバランスを崩し、勝利の優位性を持つ量子状態におけるゲームの自然な変形を提案する。 量子情報と通信の研究における量子モラゲームの可能性について論じる。
  論文  参考訳（メタデータ） (2023-11-14T19:41:50Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。 我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。 すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
  論文  参考訳（メタデータ） (2023-03-02T14:18:17Z)
• Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
  Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。 我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。 絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
  論文  参考訳（メタデータ） (2022-05-26T20:32:36Z)
• Quantum Advantage from Any Non-Local Game [14.903809621145893]
  我々は,任意の$k$プロデューサ非ローカルゲームを単一プロデューサインタラクティブゲームにコンパイルする一般的な方法を示す。 我々のコンパイラは任意の量子同型暗号スキームを使用する。
  論文  参考訳（メタデータ） (2022-03-29T19:45:44Z)
• Depth-efficient proofs of quantumness [77.34726150561087]
  量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。 本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
  論文  参考訳（メタデータ） (2021-07-05T17:45:41Z)
• Synchronicity for quantum non-local games [0.7646713951724009]
  量子グラフの量子準同型(quantum homomorphisms of quantum graphs)は、そのグラフの古典的準同型(classical homomorphisms of the graphs)とみなすことができる。 量子グラフ準同型ゲームにおける完全量子交換と完全近似量子戦略について記述する。
  論文  参考訳（メタデータ） (2021-06-22T02:40:41Z)
• Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
  古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。 悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。 我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
  論文  参考訳（メタデータ） (2020-10-15T17:55:31Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。