Sciweavers

COCO
2008
Springer
90views Algorithms» more  COCO 2008»
13 years 6 months ago
The Power of Unentanglement
r of Unentanglement (Extended Abstract) Scott Aaronson MIT Salman Beigi MIT Andrew Drucker MIT Bill Fefferman University of Chicago Peter Shor MIT The class QMA (k), introduced by...
Scott Aaronson, Salman Beigi, Andrew Drucker, Bill...
COCO
2008
Springer
97views Algorithms» more  COCO 2008»
13 years 6 months ago
Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as mult...
Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xi...
COCO
2008
Springer
100views Algorithms» more  COCO 2008»
13 years 6 months ago
Detecting Rational Points on Hypersurfaces over Finite Fields
We study the complexity of deciding whether a given homogeneous multivariate polynomial has a nontrivial root over a finite field. Given a homogeneous algebraic circuit C that com...
Swastik Kopparty, Sergey Yekhanin
COCO
2008
Springer
129views Algorithms» more  COCO 2008»
13 years 6 months ago
Constraint Logic: A Uniform Framework for Modeling Computation as Games
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
Erik D. Demaine, Robert A. Hearn
COCO
2008
Springer
118views Algorithms» more  COCO 2008»
13 years 6 months ago
Quantum Expanders: Motivation and Constructions
: We define quantum expanders in a natural way. We give two constructions of quantum expanders, both based on classical expander constructions. The first construction is algebraic,...
Avraham Ben-Aroya, Oded Schwartz, Amnon Ta-Shma
COCO
2008
Springer
81views Algorithms» more  COCO 2008»
13 years 6 months ago
Amplifying Lower Bounds by Means of Self-Reducibility
Eric Allender, Michal Koucký
COCO
2008
Springer
91views Algorithms» more  COCO 2008»
13 years 6 months ago
Amplifying ZPP^SAT[1] and the Two Queries Problem
This paper shows a complete upward collapse in the Polynomial Hierarchy (PH) if for ZPP, two queries to a SAT oracle is equivalent to one query. That is, ZPPSAT[1] = ZPPSAT [2] = ...
Richard Chang, Suresh Purini
COCO
2008
Springer
74views Algorithms» more  COCO 2008»
13 years 6 months ago
Approximation Resistant Predicates from Pairwise Independence
We study the approximability of predicates on k variables from a domain [q], and give a new sufficient condition for such predicates to be approximation resistant under the Unique...
Per Austrin, Elchanan Mossel
COCO
2008
Springer
84views Algorithms» more  COCO 2008»
13 years 6 months ago
New Results on Noncommutative and Commutative Polynomial Identity Testing
Vikraman Arvind, Partha Mukhopadhyay, Srikanth Sri...