Abstract
A unitary -design is a powerful tool in quantum information science and fundamental physics. Despite its usefulness, only approximate implementations were known for general . In this paper, we provide for the first time quantum circuits that generate exact unitary -designs for any on an arbitrary number of qubits. Our construction is inductive and is of practical use in small systems. We then introduce a -th order generalization of randomized benchmarking (-RB) as an application of exact -designs. We particularly study the -RB in detail and show that it reveals self-adjointness of quantum noise, a new metric related to the feasibility of quantum error correction (QEC). We numerically demonstrate that the -RB in one- and two-qubit systems is feasible, and experimentally characterize background noise of a superconducting qubit by the -RB. It is shown from the experiment that interactions with adjacent qubits induce the noise that may result in an obstacle toward the realization of QEC.