The quantum commuting model (Ia): The CHSH game and other examples: Uniqueness of optimal states

• URL: http://arxiv.org/abs/2210.03716v1
• Date: Fri, 7 Oct 2022 17:38:31 GMT
• Title: The quantum commuting model (Ia): The CHSH game and other examples: Uniqueness of optimal states
• Authors: Alexander Frei
• Abstract summary: We use the universal description of quantum commuting correlations as state space on the universal algebra for two player games. We find that the CHSH game leaves a single optimal state on this common algebra.
• Score: 91.3755431537592
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We present in this paper that the CHSH game admits one and only one optimal state and so remove all ambiguity of representations. More precisely, we use the well-known universal description of quantum commuting correlations as state space on the universal algebra for two player games, and so allows us to unambigiously compare quantum strategies as states on this common algebra. As such we find that the CHSH game leaves a single optimal state on this common algebra. In turn passing to any non-minimal Stinespring dilation for this unique optimal state is the only source of ambiguity (including self-testing): More precisely, any state on some operator algebra may be uniquely broken up into its minimal Stinespring dilation as an honest representation for the operator algebra followed by its vector state. Any other Stinespring dilation however arises simply as an extension of the minimal Stinespring dilation (i.e., as an embedding of the minimal Hilbert space into some random ambient one). As such this manifests the only source of ambiguity appearing in most (but not all!) traditional self-testing results such as for the CHSH game as well as in plenty of similar examples. We then further demonstrate the simplicity of our arguments on the Mermin--Peres magic square and magic pentagram game. Most importantly however, we present this article as an illustration of operator algebraic techniques on optimal states and their quotients, and we further pick up the results of the current article in another following one (currently under preparation) to derive a first robust self-testing result in the quantum commuting model.

Related papers

• Robust self-testing for nonlocal games with robust game algebras [3.069161525997864]
  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 prove that self-testing is equivalent to the uniqueness of finite-dimensional tracial states on the associated game algebra. 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.
  arXiv  Detail & Related papers  (2024-11-05T16:55:39Z)
• The tilted CHSH games: an operator algebraic classification [77.34726150561087]
  This article introduces a general systematic procedure for solving any binary-input binary-output game. We then illustrate on the prominent class of tilted CHSH games. We derive for those an entire characterisation on the region exhibiting some quantum advantage.
  arXiv  Detail & Related papers  (2023-02-16T18:33:59Z)
• Sparse random Hamiltonians are quantumly easy [105.6788971265845]
  A candidate application for quantum computers is to simulate the low-temperature properties of quantum systems. This paper shows that, for most random Hamiltonians, the maximally mixed state is a sufficiently good trial state. Phase estimation efficiently prepares states with energy arbitrarily close to the ground energy.
  arXiv  Detail & Related papers  (2023-02-07T10:57:36Z)
• Connes implies Tsirelson: a simple proof [91.3755431537592]
  We show that the Connes embedding problem implies the synchronous Tsirelson conjecture. We also give a different construction of Connes' algebra $mathcalRomega$ appearing in the Connes embedding problem.
  arXiv  Detail & Related papers  (2022-09-16T13:59:42Z)
• On the relation between completely bounded and $(1,cb)$-summing maps with applications to quantum XOR games [65.51757376525798]
  We show that given a linear map from a general operator space into the dual of a C$*$-algebra, its completely bounded norm is upper bounded by a universal constant times its $(''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''
  arXiv  Detail & Related papers  (2021-12-09T21:06:52Z)
• On states of quantum theory [0.0]
  We study normal states, i.e. states which are represented by density operators, and singular states, i.e. states can not be represented by density operators. It is given an approach to the resolution of bounded linear functionals into quantum states by applying the GNS construction.
  arXiv  Detail & Related papers  (2021-10-02T12:42:01Z)
• Monotonic multi-state quantum $f$-divergences [0.0]
  We write down a class of multi-state quantum $f$-divergences and prove that they satisfy the data processing inequality. For two states, this class includes the $(alpha,z)$-R'enyi divergences, the $f$-divergences of Petz, and the measures in citematsumoto2015new as special cases. We conjecture that these multi-state R'enyi divergences have operational interpretations in terms of the optimal error probabilities in asymmetric multi-state quantum state discrimination.
  arXiv  Detail & Related papers  (2021-03-17T20:10:04Z)
• Sample-Efficient Learning of Stackelberg Equilibria in General-Sum Games [78.65798135008419]
  It remains vastly open how to learn the Stackelberg equilibrium in general-sum games efficiently from samples. This paper initiates the theoretical study of sample-efficient learning of the Stackelberg equilibrium in two-player turn-based general-sum games.
  arXiv  Detail & Related papers  (2021-02-23T05:11:07Z)
• On-State Commutativity of Measurements and Joint Distributions of Their Outcomes [2.170169149901781]
  We analyze joint probability distributions that arise from outcomes of measurements performed on sets of quantum states. We prove that a joint distribution exists iff measurement operators "on-state" permute (permutability is the commutativity of more than two operators) We explore the new concept of on-state commutativity by showing a simple proof that if two projections almost on-state commute, then there is a commuting pair operators that are on-state close to the originals.
  arXiv  Detail & Related papers  (2021-01-20T20:43:49Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.