1: \begin{abstract}

2: In the accompanying paper of arXiv:2408.13472, we have established the method of characterizing the maximal order of approximate unitary designs generated by symmetric local random circuits, and have explicitly specified the order in the cases of $\mathbb{Z}_2$, $\mathrm{U}(1)$, and $\mathrm{SU}(2)$ symmetries. 

3: Here, we provide full details on the derivation of the main theorems for general symmetry and for concrete symmetries. 

4: Furthermore, we consider a general framework where we have access to a finite set of connected compact unitary subgroups, which includes symmetric local unitary gate sets. 

5: \end{abstract}

6: