On the algebraic proof complexity of Tensor Isomorphism

Nicola Galesi, Joshua A. Grochow, Toniann Pitassi +1

The Tensor Isomorphism problem (TI) has recently emerged as having connections to multiple areas of research within complexity and beyond, but the current best upper bound is essen…