We have established the method of characterizing the unitary design generated by a symmetric local random circuit. Concretely, we have shown that the necessary and sufficient condition for the circuit asymptotically forming a t-design is given by simple integer optimization for general symmetry and locality. By using the result, we explicitly give the maximal order of unitary design under the Z2, U(1), and SU(2) symmetries for general locality. This work reveals the relation between the fundamental notions of symmetry and locality in terms of randomness.
@article{arxiv.2408.13472,
title = {Unitary Designs of Symmetric Local Random Circuits},
author = {Yosuke Mitsuhashi and Ryotaro Suzuki and Tomohiro Soejima and Nobuyuki Yoshioka},
journal= {arXiv preprint arXiv:2408.13472},
year = {2025}
}