Random quantum circuits continue to inspire a wide range of applications in quantum information science and many-body quantum physics, while remaining analytically tractable through probabilistic methods.Motivated by an interest in deterministic circuits with similar applications, we construct classes of nonrandom unitary Clifford circuits by imposing translation invariance in both time and space.Further imposing dual unitarity, our circuits effectively become crystalline spacetime lattices whose vertices are SWAP or iSWAP two-qubit gates and whose edges may contain one-qubit gates.One can then require invariance under (subgroups of) the crystal's point group.Working on the square and kagome lattices, we use the formalism of Clifford quantum cellular automata to describe operator spreading, entanglement generation, and recurrence times of these circuits.A full classification on the square lattice reveals, of particular interest, a "nonfractal good scrambling class" with dense operator spreading that generates codes with linear contiguous code distance and high performance under erasure errors at the end of the circuit.We also break unitarity by adding spacetime translation-invariant measurements and find a class of such circuits with fractal dynamics.
Random quantum circuits continue to inspire a wide range of applications in quantum information science and many-body quantum physics, while remaining analytically tractable through probabilistic methods.Motivated by an interest in deterministic circuits with similar applications, we construct classes of nonrandom unitary Clifford circuits by imposing translation invariance in both time and space.Further imposing dual unitarity, our circuits effectively become crystalline spacetime lattices whose vertices are SWAP or iSWAP two-qubit gates and whose edges may contain one-qubit gates.One can then require invariance under (subgroups of) the crystal's point group.Working on the square and kagome lattices, we use the formalism of Clifford quantum cellular automata to describe operator spreading, entanglement generation, and recurrence times of these circuits.A full classification on the square lattice reveals, of particular interest, a "nonfractal good scrambling class" with dense operator spreading that generates codes with linear contiguous code distance and high performance under erasure errors at the end of the circuit.We also break unitarity by adding spacetime translation-invariant measurements and find a class of such circuits with fractal dynamics.
Abstract Many-body quantum dynamics defined on a spatial lattice and in discrete time—either as stroboscopic Floquet systems or quantum circuits—has been an active area of research for several years. Being discrete in space and time, a natural question arises: when can such a model be viewed as evolving unitarily in space as well as in time? Models with this property, which sometimes goes by the name space-time duality, have been shown to have a number of interesting features related to entanglement growth and correlations. One natural way in which the property arises in the context of (brickwork) quantum circuits is by choosing dual unitary gates: two site operators that are unitary in both the space and time directions. We introduce a class of models with q states per site, defined on the square lattice by a complex partition function and paremeterized in terms of q × q Hadamard matrices, that have the property of space-time duality. These may interpreted as particular dual unitary circuits or stroboscopically evolving systems, and generalize the well studied self-dual kicked Ising model. We explore the operator dynamics in the case of Clifford circuits, making connections to Clifford cellular automata (Schlingemann et al 2008 J. Math. Phys. 49 112104) and in the q → ∞ limit to the classical spatiotemporal cat model of many body chaos (Gutkin et al 2021 Nonlinearity 34 2800). We establish integrability and the corresponding conserved charges for a large subfamily and show how the long-range entanglement protocol discussed in the recent paper (Lotkov et al 2022 Phys. Rev. B 105 144306) can be reinterpreted in purely graphical terms and directly applied here.
We examine the following problem: given a collection of Clifford gates, describe the set of unitaries generated by circuits composed of those gates. Specifically, we allow the standard circuit operations of composition and tensor product, as well as ancillary workspace qubits as long as they start and end in states uncorrelated with the input, which rule out common "magic state injection" techniques that make Clifford circuits universal. We show that there are exactly 57 classes of Clifford unitaries and present a full classification characterizing the gate sets which generate them. This is the first attempt at a quantum extension of the classification of reversible classical gates introduced by Aaronson et al., another part of an ambitious program to classify all quantum gate sets. The classification uses, at its center, a reinterpretation of the tableau representation of Clifford gates to give circuit decompositions, from which elementary generators can easily be extracted. The 57 different classes are generated in this way, 30 of which arise from the single-qubit subgroups of the Clifford group. At a high level, the remaining classes are arranged according to the bases they preserve. For instance, the CNOT gate preserves the X and Z bases because it maps X-basis elements to X-basis elements and Z-basis elements to Z-basis elements. The remaining classes are characterized by more subtle tableau invariants; for instance, the T_4 and phase gate generate a proper subclass of Z-preserving gates.
We study locality preserving automorphisms of operator algebras on D-dimensional uniform lattices of prime p-dimensional qudits quantum cellular automata (QCAs), specializing in those that are translation invariant (TI), and map every prime p-dimensional Pauli matrix to a tensor product of Pauli matrices (Clifford). We associate antihermitian forms of the unit determinant over Laurent polynomial rings to TI Clifford QCA with lattice boundaries and prove that the form determines the QCA up to Clifford circuits and shifts (trivial). It follows that every 2D TI Clifford QCA is trivial since the antihermitian form in this case is always trivial. Furthermore, we prove that for any D, the fourth power of any TI Clifford QCA is trivial. We present explicit examples of nontrivial TI Clifford QCA for D = 3 and any odd prime p and show that the Witt group of the finite field Fp is a subgroup of the group C(D=3,p) of all TI Clifford QCA modulo trivial ones. That is, C(D=3,p≡1mod4)⊇Z2×Z2 and C(D=3,p≡3mod4)⊇Z4. The examples are found by disentangling the ground state of a commuting Pauli Hamiltonian, which is constructed by coupling layers of prime dimensional toric codes such that an exposed surface has an anomalous topological order that is not realizable by commuting Pauli Hamiltonians strictly in two dimensions. In an appendix independent of the main body of this paper, we revisit a recent theorem of Freedman and Hastings that any two-dimensional QCA, which is not necessarily Clifford or translation invariant, is a constant depth quantum circuit followed by a shift. We give a more direct proof of the theorem without using any ancillas.
We introduce a class of quantum circuits that are unitary along three distinct ``arrows of time.'' These dynamics share some of the analytical tractability of ``dual-unitary'' circuits, while exhibiting distinctive and richer phenomenology. We find that two-point correlations in these dynamics are strictly confined to three directions in (1+1)-dimensional spacetime---the two light cone edges, $\ensuremath{\delta}x=\ifmmode\pm\else\textpm\fi{}v\ensuremath{\delta}t$, and the static worldline $\ensuremath{\delta}x=0$. Along these directions, correlation functions are obtained exactly in terms of quantum channels built from the individual gates that make up the circuit. We prove that, for a class of initial states, entanglement grows at the maximum allowed speed up to an entropy density of at least one half of the thermal value, at which point it becomes model-dependent. Finally, we extend our circuit construction to 2+1 dimensions, where two-point correlation functions are confined to the one-dimensional edges of a tetrahedral light cone---a subdimensional propagation of information reminiscent of ``fractonic'' physics.
We propose a new type of locally interacting quantum circuits—quantum cellular automata—that are generated by unitary interactions round-a-face (IRF). Specifically, we discuss a set (or manifold) of dual-unitary IRFs with local Hilbert space dimension d [DUIRF(d)], which generate unitary evolutions both in space and time directions of an extended 1+1 dimensional lattice. We show how arbitrary dynamical correlation functions of local observables can be evaluated in terms of finite-dimensional completely positive trace preserving unital maps in complete analogy to recently studied circuits made of dual-unitary brick gates (DUBGs). The simplest non-vanishing local correlation functions in dual-unitary IRF circuits are shown to involve observables non-trivially supported on two neighboring sites. We completely characterize the ten-dimensional manifold of DUIRF(2) for qubits (d=2) and provide, for d=3,4,…,7, empirical estimates of its dimensionality based on numerically determined dimensions of tangent spaces at an ensemble of random instances of dual-unitary IRF gates. In parallel, we apply the same algorithm to determine dimDUBG(d) and show that they are of similar order though systematically larger than dimDUIRF(d) for d=2,3,…,7. It is remarkable that both sets have a rather complex topology for d≥3 in the sense that the dimension of the tangent space varies among different randomly generated points of the set. Finally, we provide additional data on dimensionality of the chiral extension of DUBG circuits with distinct local Hilbert spaces of dimensions d≠d′ residing at even/odd lattice sites.
Quantum cellular automata (QCAs) describe locality-preserving quantum dynamics and link quantum information, many-body physics, and topological quantum field theory (TQFT). Constructing a QCA from a TQFT, however, remains challenging: although a topological action yields a Hamiltonian with commuting terms that realizes the desired ground state, it does not by itself specify an automorphism of the full operator algebra. We develop a unified algebraic construction that extends such Hamiltonians to complete separator-flipper algebras on the full tensor-product Hilbert space, thereby defining the corresponding QCAs microscopically. In 3 spatial dimensions, our framework unifies all previously known QCA constructions associated with the Z8×Z2 subgroup of the Witt group, including the U(1)2 and U(1)4 QCAs. The same algebraic structure yields new infinite families of generalized U(1)2 and U(1)4 non-Clifford QCAs in spatial dimensions d=4k−1. We also reformulate the 4-dimensional w2w3 QCA and use it to construct QCAs from TQFTs associated with arbitrary products of Stiefel--Whitney classes. For example, we explicitly construct two infinite families: w2nw3m QCAs in dimension d=2n+3m−1 and w2w4k−1 QCAs in dimension d=4k. For the 5-dimensional w32 and w23 QCAs, our construction gives finite-depth quantum circuits, consistent with the cobordism classification. More generally, we show that our construction yields a finite-depth quantum circuit whenever the corresponding Stiefel-Whitney number vanishes on every closed oriented manifold. Overall, these results convert invertible TQFTs into microscopic QCAs, provide higher-dimensional constructions beyond the Clifford setting, and open a systematic route to characterizing their stable structures and boundary anomalies.