論文の概要: Robust self-testing for nonlocal games with robust game algebras
- arxiv url: http://arxiv.org/abs/2411.03259v1
- Date: Tue, 05 Nov 2024 16:55:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-11-06 14:58:39.980495
- Title: Robust self-testing for nonlocal games with robust game algebras
- Title(参考訳): 頑健なゲーム代数を持つ非局所ゲームに対するロバスト自己テスト
- Authors: Yuming Zhao,
- Abstract要約: 量子相関 p がロバストな自己テストであることは、すべての(抽象的な)状態の中で p を達成する唯一のものであることを示している。
自己検定は、関連するゲーム代数上の有限次元の軌跡状態の特異性と同値であることを示す。
この自己検定を並列反復に応用することにより、同期ゲームが完全量子戦略の自己検定であることを示す。
- 参考スコア(独自算出の注目度): 3.069161525997864
- License:
- Abstract: We give an operator-algebraic formulation of robust self-testing in terms of states on C*-algebras. We show that a quantum correlation p is a robust self-test only if among all (abstract) states, there is a unique one achieving p. We show that the "if" direction of this statement also holds, provided that p is optimal/perfect for a nonlocal game that has a robust game algebra. This last condition applies to many nonlocal games of interest, including all XOR games, synchronous games, and boolean constrained system (BCS) games. For those nonlocal games with robust game algebras, we prove that self-testing is equivalent to the uniqueness of finite-dimensional tracial states on the associated game algebra, and robust self-testing is equivalent to the uniqueness of amenable tracial states. Applying this tracial-state characterization of self-testing to parallel repetition, we show that a synchronous game is a self-test for perfect quantum strategies if and only if its parallel repeated version is a self-test for perfect quantum strategies. As a proof approach, we give the first quantitative Gower-Hatami theorem that is applicable to C*-algebras. Here "quantitative" means there is a constructive bound on the distance between the approximate representations and exact representations. We also demonstrate how this quantitative Gowers-Hatami theorem can be used to calculate the explicit robustness function of a self-test.
- Abstract(参考訳): 我々は、C*-代数上の状態の観点から、頑健な自己検定の作用素代数的定式化を与える。
量子相関 p がロバストな自己テストであることは、すべての(抽象的な)状態の中で p を達成する唯一のものであることを示している。
この主張の「if」方向もまた、p がロバストなゲーム代数を持つ非局所ゲームに対して最適かつ完全であることを示す。
この最後の条件は、XORゲーム、同期ゲーム、ブール制約システム(BCS)ゲームを含む多くの非ローカルゲームに適用される。
頑健なゲーム代数を持つこれらの非局所ゲームに対して、自己テストは関連するゲーム代数上の有限次元トラキア状態の特異性と同値であり、頑健な自己テストは可換なトラキア状態の特異性と同値であることを示す。
並列反復に対する自己検定のこの特性を応用して、同期ゲームが完全量子戦略の自己検定であり、その並列反復バージョンが完全量子戦略の自己検定である場合に限り、完全量子戦略の自己検定であることを示す。
証明的アプローチとして、C*-代数に適用できる最初の量的ゴワー・ハタミ定理を与える。
ここで「定性的」とは、近似表現と正確な表現の間の距離に構成的境界が存在することを意味する。
また、この量的ゴワーズ・ハタミ定理が自己テストの明示的な堅牢性関数を計算するためにどのように使用できるかを実証する。
関連論文リスト
- A bound on the quantum value of all compiled nonlocal games [49.32403970784162]
暗号コンパイラは、任意の非ローカルゲームを単一の計算バウンド証明器で対話的プロトコルに変換する。
我々は、コンパイルされた2人プレイヤの非ローカルゲームに対して量子音響結果を確立する。
論文 参考訳(メタデータ) (2024-08-13T08:11:56Z) - Counterexamples in self-testing [0.0]
非ローカルゲームにおける自己テストについて検討する。
特に、ある特定の量子状態の存在を証明した量子優位性を持つ2党の非局所ゲームやベルの不等式は、すべて不等式であるだろうか?
私たちのカウンターサンプルは、独立した関心を持つゲームのクラスに基づいています。
論文 参考訳(メタデータ) (2022-12-22T09:52:18Z) - The quantum commuting model (Ia): The CHSH game and other examples:
Uniqueness of optimal states [91.3755431537592]
2つのプレイヤーゲームに対する普遍代数上の状態空間として、量子交換相関の普遍的記述を用いる。
この共通代数にCHSHゲームが一つの最適状態を残していることが分かる。
論文 参考訳(メタデータ) (2022-10-07T17:38:31Z) - Connes implies Tsirelson: a simple proof [91.3755431537592]
コンヌ埋め込み問題は同期的ツィレルソン予想を意味することを示す。
また、コンネスの代数 $mathcalRomega$ の異なる構成もコンネス埋め込み問題に現れる。
論文 参考訳(メタデータ) (2022-09-16T13:59:42Z) - Learning Correlated Equilibria in Mean-Field Games [62.14589406821103]
我々は平均場相関と粗相関平衡の概念を発展させる。
ゲームの構造に関する仮定を必要とせず,効率よくゲーム内で学習できることが示される。
論文 参考訳(メタデータ) (2022-08-22T08:31:46Z) - Nonparametric Conditional Local Independence Testing [69.31200003384122]
条件付き局所独立は、連続的な時間プロセス間の独立関係である。
条件付き地域独立の非パラメトリックテストは行われていない。
二重機械学習に基づく非パラメトリックテストを提案する。
論文 参考訳(メタデータ) (2022-03-25T10:31:02Z) - Rounding near-optimal quantum strategies for nonlocal games to strategies using maximally entangled states [0.0]
特に、ほぼ完全な量子戦略は、小さなフロベニウスノルムにおける対応するBCS代数の近似表現であることを示す。
XOR の非局所ゲームに対して、準最適量子戦略はゲームに関連する対応する *-代数の近似表現であることを示す。
論文 参考訳(メタデータ) (2022-03-04T19:05:58Z) - Better Regularization for Sequential Decision Spaces: Fast Convergence
Rates for Nash, Correlated, and Team Equilibria [121.36609493711292]
大規模2プレーヤワイドフォームゲームの計算平衡問題に対する反復的な一階法の適用について検討する。
正則化器を用いて一階法をインスタンス化することにより、相関平衡と元アンティー座標のチーム平衡を計算するための最初の加速一階法を開発する。
論文 参考訳(メタデータ) (2021-05-27T06:10:24Z) - Practical parallel self-testing of Bell states via magic rectangles [0.0]
自己検査は、純粋に古典的な統計から特定の量子状態を持つことを検証する方法である。
3倍のマジック長方形ゲームを使って、シングルキュービットのパウリオブザーバブルを測るだけで、n$ Bell状態のセルフテストを得ることができます。
論文 参考訳(メタデータ) (2021-05-09T23:07:18Z) - Constant-sized robust self-tests for states and measurements of
unbounded dimension [0.0]
相関は$p_n,x$で、基礎となる状態と測定をしっかりと自己検定する。
我々は、非有界次元の測定のための定数サイズの自己検定を初めて行った。
論文 参考訳(メタデータ) (2021-03-02T14:02:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。