Random Quantum Circuits Beyond Moment Matching
Abstract
Random quantum circuits aim to efficiently reproduce the statistical properties of ideal random quantum evolution. One approach is to construct approximate unitary designs, which match the moments of Haar-random unitaries up to a prescribed order with controlled error. In this work, we establish quantitative guarantees for how accurately these designs reproduce the full distributions of individual output probabilities. We show that, for every strong ε-approximate unitary k-design on n qubits, the distribution of each individual output probability is within O(√(2n/(k(k+2n)))+ε) in Kolmogorov distance of the finite-dimensional Porter-Thomas distribution, a beta distribution with parameters $1$ and 2n−1. This bound is optimal up to constant factors, implying that a substantially better uniform bound requires additional structure. We further show that local invariance yields an exponential improvement in the dependence on k, with guarantees also in the stronger metric of total variation: every strong ε-approximate unitary k-design invariant under unitary translations acting on log k+O(1) qubits achieves error 2−Ω(k)+O(ε) in Kolmogorov distance and 2−Ω(k)+O(εlog(2/ε)) in total variation distance. These results identify both the distributional accuracy guaranteed by moment matching and the additional structure that substantially improves it. As an application, we show that if the marginal distribution of each output probability of a strong approximate design is within Kolmogorov distance η of its Haar counterpart, then the expected Shannon entropy of the output distribution differs from its Haar value by O(√η).
Related
BibTeX
@misc{hung2026random,
title = {{Random Quantum Circuits Beyond Moment Matching}},
author = {Shih-Han Hung},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.02135},
eprint = {2610.02135},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.02135},
}
RIS
TY - UNPB
TI - Random Quantum Circuits Beyond Moment Matching
AU - Shih-Han Hung
PY - 2026
DA - 2026/10/01
PB - arXiv
DO - 10.48550/arxiv.2610.02135
UR - https://arxiv.org/abs/2610.02135
AB - Random quantum circuits aim to efficiently reproduce the statistical properties of ideal random quantum evolution. One approach is to construct approximate unitary designs, which match the moments of Haar-random unitaries up to a prescribed order with controlled error. In this work, we establish quantitative guarantees for how accurately these designs reproduce the full distributions of individual output probabilities. We show that, for every strong ε-approximate unitary k-design on n qubits, the distribution of each individual output probability is within O(√(2^n/(k(k+2^n)))+ε) in Kolmogorov distance of the finite-dimensional Porter-Thomas distribution, a beta distribution with parameters $1$ and 2^n−1. This bound is optimal up to constant factors, implying that a substantially better uniform bound requires additional structure. We further show that local invariance yields an exponential improvement in the dependence on k, with guarantees also in the stronger metric of total variation: every strong ε-approximate unitary k-design invariant under unitary translations acting on log k+O(1) qubits achieves error 2^−Ω(k)+O(ε) in Kolmogorov distance and 2^−Ω(k)+O(εlog(2/ε)) in total variation distance. These results identify both the distributional accuracy guaranteed by moment matching and the additional structure that substantially improves it. As an application, we show that if the marginal distribution of each output probability of a strong approximate design is within Kolmogorov distance η of its Haar counterpart, then the expected Shannon entropy of the output distribution differs from its Haar value by O(√η).
ER -