Certifying Numerical Decompositions of Compact Group Representations

Felipe Montealegre-Mora, Denis Rosset, Jean-Daniel Bancal +1

We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addres…