A Deterministic Polynomial Time Algorithm for Non-commutative Rational Identity Testing
Ankit K. Garg, Leonid I Gurvits, Rafael Oliveira, Avi Wigderson · 2016
Symbolic matrices in non-commuting variables, andthe related structural and algorithmic questions, have a remarkablenumber of diverse origins and motivations. They ariseindependently in (commutative) invariant theory and representationtheory, linear algebra, optimization, linear system theory,quantum information theory, and naturally in non-commutativealgebra.