Abstract:We consider random quantum circuits (RQC) on arbitrary connected graphs whose edges determine the allowed $2$-qudit interactions. Prior work has established that such $n$-qudit circuits with local dimension $q$ on 1D, complete, and $D$-dimensional graphs form approximate unitary designs, that is, they generate unitaries from distributions close to the Haar measure on the unitary group $U(q^n)$ after polynomially many gates. Here, we extend those results by proving that RQCs comprised of $O(\mathrm{poly}(n,k))$ gates on a wide class of graphs form approximate unitary $k$-designs. We prove that RQCs on graphs with spanning trees of bounded degree and height form $k$-designs after $O(|E|n\,\mathrm{poly}(k))$ gates, where $|E|$ is the number of edges in the graph. Furthermore, we identify larger classes of graphs for which RQCs generate approximate designs in polynomial circuit size. For $k \leq 4$, we show that RQCs on graphs of certain maximum degrees form designs after $O(|E|n)$ gates, providing explicit constants. We determine our circuit size bounds from the spectral gaps of local Hamiltonians. To that end, we extend the finite-size (or Knabe) method for bounding gaps of frustration-free Hamiltonians on regular graphs to arbitrary connected graphs. We further introduce a new method based on the Detectability Lemma for determining the spectral gaps of Hamiltonians on arbitrary graphs. Our methods have wider applicability as the first method provides a succinct alternative proof of [Commun. Math. Phys. 291, 257 (2009)] and the second method proves that RQCs on any connected architecture form approximate designs in quasi-polynomial circuit size.

The Locally Twisted Cubes.

On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes

Symmetric properties and two variants of shuffle-cubes

Randomly Twisted Hypercubes: Between Structure and Randomness

Constructing three completely independent spanning trees in hypercubes

Three kinds of connectivity of folded spined cubes

Link fault tolerability of 3-ary n-cube based on g-good-neighbor r-component edge-connectivity

A concentration phenomenon for $h$-extra edge-connectivity reliability analysis of enhanced hypercubes Q_{n,2} with exponentially many faulty links

A note on circular wirelength for hypercubes

Weaving Complex Graph on simple low-dimensional qubit lattices

KCube: A Novel Architecture for Interconnection Networks

A Note on the Subcubes of the $n$-Cube

Algorithmic Theory of Qubit Routing

Scalable Quantum Networks: Congestion-Free Hierarchical Entanglement Routing with Error Correction

Local random quantum circuits form approximate designs on arbitrary architectures

The h-faulty-block connectivity of k-ary n-cubes

Expansion of higher-dimensional cubical complexes with application to quantum locally testable codes

On the Spanning Cyclability of k-ary n-cube Networks

The linkedness of cubical polytopes: beyond the cube

$C_{10}$ has positive Turán density in the hypercube

Twisted Kitaev quantum double model as local topological order