Table of Contents
Fetching ...

A new algorithm for computing branching rules and Clebsch-Gordan coefficients of unitary representations of compact groups

Alberto Ibort, Alberto López-Yela, Julio Moro

TL;DR

The paper presents a numerical, tomography-inspired algorithm to decompose a finite-dimensional irreducible unitary representation $(\mathcal{H},U)$ of a compact group $G$ with respect to a subgroup $H$. It leverages generic adapted quantum states and diagonalization to construct the Clebsch–Gordan matrix $C$ without requiring prior knowledge of the subgroup's irreps, yielding an adapted basis that block-diagonalizes all $U(h)$, $h\in H$. The method is validated on the regular representations of $S_3$ and $A_4$ and on SU(2) tensor products, achieving high numerical accuracy in characters and CG coefficients. The approach broadens numerical access to representation decompositions for compact groups and suggests extensions to non‑compact groups with attention to stability.

Abstract

A numerical algorithm that computes the decomposition of any finite-dimen\-sio\-nal unitary reducible representation of a compact Lie group is presented. The algorithm, which does not rely on an algebraic insight on the group structure, is inspired by quantum mechanical notions. After generating two adapted states (these objects will be conveniently defined in {\bf Def.\,II.1}) and after appropriate algebraic manipulations, the algorithm returns the block matrix structure of the representation in terms of its irreducible components. It also provides an adapted orthonormal basis. The algorithm can be used to compute the Clebsch--Gordan coefficients of the tensor product of irreducible representations of a given compact Lie group. The performance of the algorithm is tested on various examples: the decomposition of the regular representation of two finite groups and the computation of Clebsch--Gordan coefficients of two examples of tensor products of representations of $SU(2)$.

A new algorithm for computing branching rules and Clebsch-Gordan coefficients of unitary representations of compact groups

TL;DR

The paper presents a numerical, tomography-inspired algorithm to decompose a finite-dimensional irreducible unitary representation of a compact group with respect to a subgroup . It leverages generic adapted quantum states and diagonalization to construct the Clebsch–Gordan matrix without requiring prior knowledge of the subgroup's irreps, yielding an adapted basis that block-diagonalizes all , . The method is validated on the regular representations of and and on SU(2) tensor products, achieving high numerical accuracy in characters and CG coefficients. The approach broadens numerical access to representation decompositions for compact groups and suggests extensions to non‑compact groups with attention to stability.

Abstract

A numerical algorithm that computes the decomposition of any finite-dimen\-sio\-nal unitary reducible representation of a compact Lie group is presented. The algorithm, which does not rely on an algebraic insight on the group structure, is inspired by quantum mechanical notions. After generating two adapted states (these objects will be conveniently defined in {\bf Def.\,II.1}) and after appropriate algebraic manipulations, the algorithm returns the block matrix structure of the representation in terms of its irreducible components. It also provides an adapted orthonormal basis. The algorithm can be used to compute the Clebsch--Gordan coefficients of the tensor product of irreducible representations of a given compact Lie group. The performance of the algorithm is tested on various examples: the decomposition of the regular representation of two finite groups and the computation of Clebsch--Gordan coefficients of two examples of tensor products of representations of .

Paper Structure

This paper contains 8 sections, 4 theorems, 88 equations, 2 figures, 5 tables.

Key Result

Theorem 3.1

Let $\rho$ be any generic adapted state and let $V$ be any unitary matrix such that $V^{\dagger}\rho V$ is diagonal. Then, where $C$ is the Clebsch--Gordan matrix defined as in Definition CG_matrix_def, $P$ is any permutation matrix and $X=\mathrm{diag}(X^1,X^2,\ldots,X^N)$ with $X^\alpha$ given by for any set of $c_\alpha\times c_\alpha$ unitary matrices $\left\{Q^\alpha_j\right\}_{j=1}^{n_\al

Figures (2)

  • Figure :
  • Figure :

Theorems & Definitions (8)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Theorem 3.1
  • Corollary 3.2
  • Corollary 3.3
  • Lemma 3.4