Invariant theory is a classical field of mathematics that studies actions of groups on vector spaces and the underlying symmetries. Many fundamental problems in algebraic complexity can be stated in the language of invariant theory. We will survey recent progress on designing optimization based algorithms for various problems in invariant theory such as null cone membership and orbit-closure intersection, and also mention plenty of open problems.

This video was produced by the International Centre for Physical Sciences, forming part of the Workshop on Algebraic Complexity Theory.