1: \begin{abstract}

2: Voiculescu discovered asymptotic freeness of independent Haar-distributed unitary matrices. Many refinements have been obtained, including strong asymptotic freeness

3: of random unitaries and strong asymptotic freeness of random permutations

4: acting on the orthogonal of the Perron-Frobenius eigenvector.

5: In this paper, we consider a new matrix unitary model appearing naturally from 

6: representation theory of compact groups.

7: We fix a nontrivial signature $\rho$, i.e., two finite sequences of non-increasing natural numbers, and

8: for $n$ large enough, consider the irreducible representation

9: $V_{n,\rho}$ of $\Un$ associated with the signature $\rho$.

10: We consider the quotient $\mathbb{U}_{n,\rho}$ of $\Un$ viewed as a matrix subgroup of $\mathbb{U}(V_{n,\rho})$, 

11: and show that 

12: strong asymptotic freeness holds in this generalized context when drawing independent copies of the Haar measure.

13: We also obtain the orthogonal variant of this result. 

14: Thanks to classical results in representation theory, this result is closely related to strong asymptotic freeness for tensors, 

15: which we establish as a preliminary. 

16: To achieve this result, we need to develop four new tools, each of independent theoretical interest:

17: (i) a centered Weingarten calculus and uniform estimates thereof,

18: (ii) a systematic and uniform comparison of Gaussian moments and unitary moments of matrices,

19: (iii) a generalized and simplified operator-valued non-backtracking theory in a general $C^*$-algebra, and finally,

20: (iv) combinatorics of tensor moment matrices.

21: \end{abstract}

22: