Abstract:We introduce an algorithm to decompose orthogonal matrix representations of the symmetric group over the reals into irreducible representations, which as a by-product also computes the multiplicities of the irreducible representations. The algorithm applied to a $d$-dimensional representation of $S_n$ is shown to have a complexity of $O(n^2 d^3)$ operations for determining which irreducible representations are present and their corresponding multiplicities and a further $O(n d^4)$ operations to fully decompose representations with non-trivial multiplicities. These complexity bounds are pessimistic and in a practical implementation using floating point arithmetic and exploiting sparsity we observe better complexity. We demonstrate this algorithm on the problem of computing multiplicities of two tensor products of irreducible representations (the Kronecker coefficients problem) as well as higher order tensor products. For hook and hook-like irreducible representations the algorithm has polynomial complexity as $n$ increases. We also demonstrate an application to constructing a basis of multivariate orthogonal polynomials with respect to a tensor product weight so that applying a permutation of variables induces an irreducible representation.

The Orthogonal and the Natural Representation for Symmetric Groups

An Efficient Algorithm for Evaluating the Standard Young-Yamanouchi Orthogonal Representation with Two-Column Young Tableaux for Symmetric Groups

Unipotent representations of real classical groups

Representations of the symmetric group are decomposable in polynomial time

Representation stability in the intrinsic hyperplane arrangements associated to irreducible representations of the symmetric-groups

Representations of Two-parameter Quantum Orthogonal and Symplectic Groups

Irreducible Characters for the Symmetric Groups and Kostka Matrices

Dual Pairs and Contragredients of Irreducible Representations

Rational Orthogonal Matrices and Isomorphism of Graphs

Irreducible Projective Representations and Their Physical Applications

Computing Young's Natural Representations for Generalized Symmetric Groups

On Minimal Polynomials of Elements in Symmetric and Alternating Groups

Representations of symmetric and alternating groups and their double covers that remain irreducible modulo every prime

Totally orthogonal finite simple groups

Coxeter groups preserving orthants

Symmetric group characters as symmetric functions (extended abstract)

Linear and smooth oriented equivalence of orthogonal representations of finite groups

On subgroup adapted bases for representations of the symmetric group

Effective Invariant Theory of Permutation Groups using Representation Theory

The Representation of Generalized Inverse AT,S(2,3) and Its Applications