We construct a classical oracle proving that, in a relativized setting, the set of languages decidable by an efficient quantum verifier with a quantum witness (QMA) is strictly bigger than those decidable with access only to a classical witness (QCMA). The separating classical oracle we construct is for a decision ... more >>>

Classical results of Bennett and Gill (1981) show that with probability 1, $P^A \neq NP^A$ relative to a random oracle $A$, and with probability 1, $P^\pi \neq NP^\pi \cap coNP^\pi$ relative to a random permutation $Pi$. Whether $P^A = NP^A \cap coNP^A$ holds relative to a random oracle $A$ remains ... more >>>

One of the oldest problems in coding theory is to match the Gilbert--Varshamov bound with explicit binary codes. Over larger---yet still constant-sized---fields, algebraic-geometry codes are known to beat the GV bound. In this work, we leverage this phenomenon by taking traces of AG codes. Our hope is that the margin ... more >>>