School of Mathematics

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...