1: \begin{abstract}

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

3:   This addresses a problem arising when one seeks solutions to semi-definite programs (SDPs) with a group symmetry.

4:   Indeed, in this context, the dimension of the SDP can be significantly reduced if the irreducible representations of the group action are explicitly known.

5:   Rigorous numerical algorithms for decomposing a given group representation into irreps are known, but fairly expensive.

6:   To avoid this performance problem, existing software packages -- e.g.\ RepLAB, which motivated the present work -- use randomized heuristics. 

7:   While these seem to work well in practice, the problem of to which extent the results can be trusted arises.

8:   Here, we provide rigorous guarantees applicable to finite and compact groups, as well as a software implementation that can interface with RepLAB.

9:   Under natural assumptions, a commonly used previous method due to Babai and Friedl runs in time $O(n^5)$ for $n$-dimensional representations.

10:   In our approach, the complexity of running both the heuristic decomposition and the certification step is $O(\max\{n^3\log n,D\, d^2\log d\})$, where $d$ is the maximum dimension of an irreducible subrepresentation, and $D$ is the time required to multiply elements of the group.

11:   A reference implementation interfacing with RepLAB is provided.

12: \end{abstract}

13: