Abstract: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 addresses a problem arising when one seeks solutions to semi-definite programs (SDPs) with a group symmetry. Indeed, in this context, the dimension of the SDP can be significantly reduced if the irreducible representations of the group action are explicitly known. Rigorous numerical algorithms for decomposing a given group representation into irreps are known, but fairly expensive. To avoid this performance problem, existing software packages -- e.g. RepLAB, which motivated the present work -- use randomized heuristics. While these seem to work well in practice, the problem of to which extent the results can be trusted arises. Here, we provide rigorous guarantees applicable to finite and compact groups, as well as a software implementation that can interface with RepLAB. Under natural assumptions, a commonly used previous method due to Babai and Friedl runs in time O(n^5) for n-dimensional representations. 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. A reference implementation interfacing with RepLAB is provided.

Certifying Anosov representations

The Discrete Subgroups and Jørgensen’s Inequality for SL(m,ℂ P )

Topological restrictions on relatively Anosov representations

On projective Anosov subgroups of symplectic groups

Cubulated hyperbolic groups admit Anosov representations

Simple Anosov representations of closed surface groups

Finite-sided Dirichlet domains and Anosov subgroups

A virtual $\mathrm{PGL}_r$-$\mathrm{SL}_r$ correspondence for projective surfaces

On Borel Anosov subgroups of ${\rm SL}(d,\mathbb{R})$

Anosov representations, strongly convex cocompact groups and weak eigenvalue gaps

Certifying nontriviality of Ceresa classes of curves

Certifying Numerical Decompositions of Compact Group Representations

Non-maximal Anosov representations from surface groups to $\mathrm{SO}_0(2,3)$

Maximal and Borel Anosov representations in $Sp(4,\mathbb{R})$

Constructive Recognition of Special Linear Groups

Outer automorphisms of algebraic groups and determining groups by their maximal tori

Enumerating Finite Braid Group Orbits on $SL_2(\C)$-Character Varieties

The pressure metric for Anosov representations

On the Surjectivity of Certain Maps II: For Generalized Projective Spaces

Robust quasi-isometric embeddings inapproximable by Anosov representations

A noncommutative analogue of the Peskine--Szpiro Acyclicity Lemma