Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953068264> ?p ?o ?g. }
- W2953068264 abstract "The class $MIP^*$ of promise problems that can be decided through an interactive proof system with multiple entangled provers provides a complexity-theoretic framework for the exploration of the nonlocal properties of entanglement. Little is known about the power of this class. The only proposed approach for establishing upper bounds is based on a hierarchy of semidefinite programs introduced independently by Pironio et al. and Doherty et al. This hierarchy converges to a value that is only known to coincide with the provers' maximum success probability in a given proof system under a plausible but difficult mathematical conjecture, Connes' embedding conjecture. No bounds on the rate of convergence are known. We introduce a rounding scheme for the hierarchy, establishing that any solution to its $N$-th level can be mapped to a strategy for the provers in which measurement operators associated with distinct provers have pairwise commutator bounded by $O(ell^2/sqrt{N})$ in operator norm, where $ell$ is the number of possible answers per prover. Our rounding scheme motivates the introduction of a variant of $MIP^*$, called $MIP_delta^*$, in which the soundness property is required to hold as long as the commutator of operations performed by distinct provers has norm at most $delta$. Our rounding scheme implies the upper bound $MIP_delta^* subseteq DTIME(exp(exp(poly)/delta^2))$. In terms of lower bounds we establish that $MIP^*_{2^{-poly}}$, with completeness $1$ and soundness $1-2^{-poly}$, contains $NEXP$. The relationship of $MIP_delta^*$ to $MIPstar$ has connections with the mathematical literature on approximate commutation. Our rounding scheme gives an elementary proof that the Strong Kirchberg Conjecture implies that $MIPstar$ is computable. We discuss applications to device-independent cryptography." @default.
- W2953068264 created "2019-06-27" @default.
- W2953068264 creator A5019616211 @default.
- W2953068264 creator A5026395918 @default.
- W2953068264 date "2015-10-01" @default.
- W2953068264 modified "2023-09-27" @default.
- W2953068264 title "Interactive proofs with approximately commuting provers" @default.
- W2953068264 cites W109763408 @default.
- W2953068264 cites W1689842540 @default.
- W2953068264 cites W1972937787 @default.
- W2953068264 cites W1985083346 @default.
- W2953068264 cites W1986407511 @default.
- W2953068264 cites W1997865614 @default.
- W2953068264 cites W2012287288 @default.
- W2953068264 cites W2019578639 @default.
- W2953068264 cites W2025323993 @default.
- W2953068264 cites W2028815089 @default.
- W2953068264 cites W2073801892 @default.
- W2953068264 cites W2080578129 @default.
- W2953068264 cites W2086653003 @default.
- W2953068264 cites W2093419514 @default.
- W2953068264 cites W2097206148 @default.
- W2953068264 cites W2105098759 @default.
- W2953068264 cites W2109989966 @default.
- W2953068264 cites W2114382532 @default.
- W2953068264 cites W2116397277 @default.
- W2953068264 cites W2119901068 @default.
- W2953068264 cites W2135830616 @default.
- W2953068264 cites W2149974280 @default.
- W2953068264 cites W2162178369 @default.
- W2953068264 cites W2195657359 @default.
- W2953068264 cites W2943245616 @default.
- W2953068264 cites W2950303908 @default.
- W2953068264 cites W2950502875 @default.
- W2953068264 cites W3010301980 @default.
- W2953068264 cites W3105429216 @default.
- W2953068264 cites W913429490 @default.
- W2953068264 hasPublicationYear "2015" @default.
- W2953068264 type Work @default.
- W2953068264 sameAs 2953068264 @default.
- W2953068264 citedByCount "0" @default.
- W2953068264 crossrefType "posted-content" @default.
- W2953068264 hasAuthorship W2953068264A5019616211 @default.
- W2953068264 hasAuthorship W2953068264A5026395918 @default.
- W2953068264 hasConcept C108710211 @default.
- W2953068264 hasConcept C111919701 @default.
- W2953068264 hasConcept C11413529 @default.
- W2953068264 hasConcept C114614502 @default.
- W2953068264 hasConcept C118615104 @default.
- W2953068264 hasConcept C131671149 @default.
- W2953068264 hasConcept C134306372 @default.
- W2953068264 hasConcept C136625980 @default.
- W2953068264 hasConcept C136643341 @default.
- W2953068264 hasConcept C15547884 @default.
- W2953068264 hasConcept C159718280 @default.
- W2953068264 hasConcept C17744445 @default.
- W2953068264 hasConcept C191795146 @default.
- W2953068264 hasConcept C199360897 @default.
- W2953068264 hasConcept C199539241 @default.
- W2953068264 hasConcept C2524010 @default.
- W2953068264 hasConcept C2780990831 @default.
- W2953068264 hasConcept C29248071 @default.
- W2953068264 hasConcept C311688 @default.
- W2953068264 hasConcept C33923547 @default.
- W2953068264 hasConcept C34388435 @default.
- W2953068264 hasConcept C39637292 @default.
- W2953068264 hasConcept C39920170 @default.
- W2953068264 hasConcept C41008148 @default.
- W2953068264 hasConcept C45374587 @default.
- W2953068264 hasConcept C77553402 @default.
- W2953068264 hasConceptScore W2953068264C108710211 @default.
- W2953068264 hasConceptScore W2953068264C111919701 @default.
- W2953068264 hasConceptScore W2953068264C11413529 @default.
- W2953068264 hasConceptScore W2953068264C114614502 @default.
- W2953068264 hasConceptScore W2953068264C118615104 @default.
- W2953068264 hasConceptScore W2953068264C131671149 @default.
- W2953068264 hasConceptScore W2953068264C134306372 @default.
- W2953068264 hasConceptScore W2953068264C136625980 @default.
- W2953068264 hasConceptScore W2953068264C136643341 @default.
- W2953068264 hasConceptScore W2953068264C15547884 @default.
- W2953068264 hasConceptScore W2953068264C159718280 @default.
- W2953068264 hasConceptScore W2953068264C17744445 @default.
- W2953068264 hasConceptScore W2953068264C191795146 @default.
- W2953068264 hasConceptScore W2953068264C199360897 @default.
- W2953068264 hasConceptScore W2953068264C199539241 @default.
- W2953068264 hasConceptScore W2953068264C2524010 @default.
- W2953068264 hasConceptScore W2953068264C2780990831 @default.
- W2953068264 hasConceptScore W2953068264C29248071 @default.
- W2953068264 hasConceptScore W2953068264C311688 @default.
- W2953068264 hasConceptScore W2953068264C33923547 @default.
- W2953068264 hasConceptScore W2953068264C34388435 @default.
- W2953068264 hasConceptScore W2953068264C39637292 @default.
- W2953068264 hasConceptScore W2953068264C39920170 @default.
- W2953068264 hasConceptScore W2953068264C41008148 @default.
- W2953068264 hasConceptScore W2953068264C45374587 @default.
- W2953068264 hasConceptScore W2953068264C77553402 @default.
- W2953068264 hasLocation W29530682641 @default.
- W2953068264 hasOpenAccess W2953068264 @default.
- W2953068264 hasPrimaryLocation W29530682641 @default.
- W2953068264 hasRelatedWork W1481496916 @default.