Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950055045> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2950055045 startingPage "105" @default.
- W2950055045 abstract "We show that any language solvable in nondeterministic time exp( exp(⋯exp(n))), where the number of iterated exponentials is an arbitrary function R(n), can be decided by a multiprover interactive proof system with a classical polynomial-time verifier and a constant number of quantum entangled provers, with completeness 1 and soundness 1 − exp(−Cexp(⋯exp(n))), where the number of iterated exponentials is R(n)−1 and C>0 is a universal constant. The result was previously known for R=1 and R=2; we obtain it for any time-constructible function R. The result is based on a compression technique for interactive proof systems with entangled provers that significantly simplifies and strengthens a protocol compression result of Ji (STOC’17). As a separate consequence of this technique we obtain a different proof of Slofstra’s recent result on the uncomputability of the entangled value of multiprover games (Forum of Mathematics, Pi 2019). Finally, we show that even minor improvements to our compression result would yield remarkable consequences in computational complexity theory and the foundations of quantum mechanics: first, it would imply that the class MIP* contains all computable languages; second, it would provide a negative resolution to a multipartite version of Tsirelson’s problem on the relation between the commuting operator and tensor product models for quantum correlations." @default.
- W2950055045 created "2019-06-27" @default.
- W2950055045 creator A5004508503 @default.
- W2950055045 creator A5019616211 @default.
- W2950055045 creator A5043930796 @default.
- W2950055045 creator A5085540097 @default.
- W2950055045 date "2018-01-01" @default.
- W2950055045 modified "2023-09-23" @default.
- W2950055045 title "Quantum proof systems for iterated exponential time, and beyond." @default.
- W2950055045 hasPublicationYear "2018" @default.
- W2950055045 type Work @default.
- W2950055045 sameAs 2950055045 @default.
- W2950055045 citedByCount "0" @default.
- W2950055045 crossrefType "journal-article" @default.
- W2950055045 hasAuthorship W2950055045A5004508503 @default.
- W2950055045 hasAuthorship W2950055045A5019616211 @default.
- W2950055045 hasAuthorship W2950055045A5043930796 @default.
- W2950055045 hasAuthorship W2950055045A5085540097 @default.
- W2950055045 hasConcept C114614502 @default.
- W2950055045 hasConcept C118615104 @default.
- W2950055045 hasConcept C121040770 @default.
- W2950055045 hasConcept C121332964 @default.
- W2950055045 hasConcept C134306372 @default.
- W2950055045 hasConcept C140479938 @default.
- W2950055045 hasConcept C166733315 @default.
- W2950055045 hasConcept C176181172 @default.
- W2950055045 hasConcept C199360897 @default.
- W2950055045 hasConcept C202444582 @default.
- W2950055045 hasConcept C2777027219 @default.
- W2950055045 hasConcept C33923547 @default.
- W2950055045 hasConcept C41008148 @default.
- W2950055045 hasConcept C51255310 @default.
- W2950055045 hasConcept C62520636 @default.
- W2950055045 hasConcept C84114770 @default.
- W2950055045 hasConceptScore W2950055045C114614502 @default.
- W2950055045 hasConceptScore W2950055045C118615104 @default.
- W2950055045 hasConceptScore W2950055045C121040770 @default.
- W2950055045 hasConceptScore W2950055045C121332964 @default.
- W2950055045 hasConceptScore W2950055045C134306372 @default.
- W2950055045 hasConceptScore W2950055045C140479938 @default.
- W2950055045 hasConceptScore W2950055045C166733315 @default.
- W2950055045 hasConceptScore W2950055045C176181172 @default.
- W2950055045 hasConceptScore W2950055045C199360897 @default.
- W2950055045 hasConceptScore W2950055045C202444582 @default.
- W2950055045 hasConceptScore W2950055045C2777027219 @default.
- W2950055045 hasConceptScore W2950055045C33923547 @default.
- W2950055045 hasConceptScore W2950055045C41008148 @default.
- W2950055045 hasConceptScore W2950055045C51255310 @default.
- W2950055045 hasConceptScore W2950055045C62520636 @default.
- W2950055045 hasConceptScore W2950055045C84114770 @default.
- W2950055045 hasOpenAccess W2950055045 @default.
- W2950055045 hasRelatedWork W1481496916 @default.
- W2950055045 hasRelatedWork W1672955339 @default.
- W2950055045 hasRelatedWork W1858333725 @default.
- W2950055045 hasRelatedWork W2028932986 @default.
- W2950055045 hasRelatedWork W2109437253 @default.
- W2950055045 hasRelatedWork W2401934382 @default.
- W2950055045 hasRelatedWork W2595281237 @default.
- W2950055045 hasRelatedWork W2807350215 @default.
- W2950055045 hasRelatedWork W2884970704 @default.
- W2950055045 hasRelatedWork W2949324793 @default.
- W2950055045 hasRelatedWork W2949992932 @default.
- W2950055045 hasRelatedWork W2950148416 @default.
- W2950055045 hasRelatedWork W2951067509 @default.
- W2950055045 hasRelatedWork W2951398975 @default.
- W2950055045 hasRelatedWork W2953068264 @default.
- W2950055045 hasRelatedWork W2953154275 @default.
- W2950055045 hasRelatedWork W2963963319 @default.
- W2950055045 hasRelatedWork W2966029787 @default.
- W2950055045 hasRelatedWork W3109292350 @default.
- W2950055045 hasRelatedWork W322903470 @default.
- W2950055045 hasVolume "25" @default.
- W2950055045 isParatext "false" @default.
- W2950055045 isRetracted "false" @default.
- W2950055045 magId "2950055045" @default.
- W2950055045 workType "article" @default.