Video Lectures

Separate tags with a comma.

In quantum complexity theory, QMA and QCMA represent two different generalizations of NP. Both are defined as sets of languages whose Yes instances can be efficiently checked by a quantum verifier that is given a witness. With QMA the witness can be...

Tensors of Minimal Border Rank

Joseph Landsberg

A class of tensors, called "concise (m,m,m)-tensors  of minimal border rank", play an important role in proving upper bounds for the complexity of matrix multiplication. For that reason Problem 15.2 of "Algebraic Complexity Theory" by Bürgisser...

Dot-Product Proofs

Yuval Ishai

A dot-product proof is a simple probabilistic proof system in which the verifier decides whether to accept an input vector based on a single linear combination of the entries of the input and a proof vector. I will present constructions of linear...