1: \begin{abstract}

2: 	Unitary $t$-designs are ``good'' finite subsets of the unitary group $\UG(d)$ that approximate the whole unitary group $\UG(d)$ well. Unitary $t$-designs have been applied in

3: 	randomized benchmarking, tomography, quantum cryptography and many other areas of

4: 	quantum information science.

5: 	If a unitary $t$-design itself is a group then it is called a unitary $t$-group. 

6: 	Although it is known that unitary $t$-designs in $\UG(d)$ exist for any $t$ and $d$, the unitary $t$-groups do not exist for $t\geq 4$ if $d\geq 3$, as it is shown by Guralnick-Tiep (2005) and Bannai-Navarro-Rizo-Tiep (BNRT, 2018). 

7: 	Explicit constructions of exact unitary $t$-designs in $\UG(d)$ are not easy in general. 

8: 	In particular, explicit constructions of unitary $4$-designs in $\UG(4)$ have been an open problem in quantum information theory. 

9: 	We prove that some exact unitary $(t+1)$-designs in the unitary group $\UG(d)$ are constructed from unitary $t$-groups in $\UG(d)$ that satisfy certain specific conditions. 

10: 	Based on this result, we specifically construct exact unitary $3$-designs in $\UG(3)$ from the unitary $2$-group $\SL(3,2)$ in $\UG(3),$ and also unitary $4$-designs in $\UG(4)$ from the unitary $3$-group $\Sp(4,3)$ in $\UG(4)$ numerically. 

11: 	We also discuss some related problems. 

12: \end{abstract}