The discovery of chaotic quantum circuits with (partially) solvable dynamics has played a key role in our understanding of non-equilibrium quantum matter and, at the same time, has helped the development of concrete platforms for quantum computation. It was shown that solvability does not prevent the generation of chaotic dynamics, however, it imposes non-trivial constraints on the generated correlations. A natural question is then whether it is possible to gain insight into the generic case despite the latter being very hard to access. To address this question here we introduce a family of 'asymptotically solvable' quantum circuits where the solvability constraints only affect correlations on length scales beyond a tuneable threshold. This means that their dynamics are only solvable for long enough times: for times shorter than the threshold they are generic. We show this by computing both their dynamical correlations on the equilibrium (infinite temperature) state and their thermalisation dynamics following quantum quenches from compatible (asymptotically solvable) non-equilibrium initial states. The class of systems we introduce is generically ergodic but contains a non-interacting point, which we use to provide exact analytical results, complementing those of numerical experiments, on the non-solvable early time regime.
The discovery of chaotic quantum circuits with (partially) solvable dynamics has played a key role in our understanding of non-equilibrium quantum matter and, at the same time, has helped the development of concrete platforms for quantum computation. It was shown that solvability does not prevent the generation of chaotic dynamics, however, it imposes non-trivial constraints on the generated correlations. A natural question is then whether it is possible to gain insight into the generic case despite the latter being very hard to access. To address this question here we introduce a family of 'asymptotically solvable' quantum circuits where the solvability constraints only affect correlations on length scales beyond a tuneable threshold. This means that their dynamics are only solvable for long enough times: for times shorter than the threshold they are generic. We show this by computing both their dynamical correlations on the equilibrium (infinite temperature) state and their thermalisation dynamics following quantum quenches from compatible (asymptotically solvable) non-equilibrium initial states. The class of systems we introduce is generically ergodic but contains a non-interacting point, which we use to provide exact analytical results, complementing those of numerical experiments, on the non-solvable early time regime.
Recently, random unitary quantum circuits have received increasing attention as minimal models for the chaotic quantum many-body dynamics, since they allow for exact computation of quantities that are notoriously hard to study in traditional Hamiltonian systems. A natural question is whether nonrandom quantum circuits exist, also allowing for the derivation of analytic results. The answer is provided in this work, where the authors exhibit a class of interacting quantum circuits for which they are able to compute exactly for an infinite family of initial configurations the dynamics of correlation functions and entanglement.
Dual-unitary circuits are a class of locally interacting quantum many-body systems displaying unitary dynamics also when the roles of space and time are exchanged. These systems have recently emerged as a remarkable framework where certain features of many-body quantum chaos can be studied exactly. In particular, they admit a class of ``solvable'' initial states for which, in the thermodynamic limit, one can access the full nonequilibrium dynamics. This reveals a surprising property: when a dual-unitary circuit is prepared in a solvable state the quantum entanglement between two complementary spatial regions grows at the maximal speed allowed by the local structure of the evolution. Here we investigate the fate of this property when the system is prepared in a generic pair-product state. We show that in this case, the entanglement increment during a time step is submaximal for finite times, however, it approaches the maximal value in the infinite-time limit. This statement is proven rigorously for dual-unitary circuits generating high enough entanglement, while it is argued to hold for the entire class.
The interplay between symmetries and entanglement in out-of-equilibrium quantum systems is currently at the center of an intense multidisciplinary research effort. Here we introduce a setting where these questions can be characterized exactly by considering dual-unitary circuits with an arbitrary number of U ( 1 ) charges. After providing a complete characterization of these systems we show that one can introduce a class of solvable states, which extends that of generic dual-unitary circuits, for which the nonequilibrium dynamics can be solved exactly. In contrast to the known class of solvable states, which relax to the infinite-temperature state, these states relax to a family of nontrivial generalized Gibbs ensembles. The relaxation process of these states can be simply described by a linear growth of the entanglement entropy followed by saturation to a nonmaximal value but with maximal entanglement velocity. We then move on to consider the dynamics from nonsolvable states, combining the exact results with the entanglement membrane picture we argue that the entanglement dynamics from these states is qualitatively different from that of the solvable ones. It shows two different growth regimes characterized by two distinct slopes, both corresponding to submaximal entanglement velocities. Moreover, we show that nonsolvable initial states can give rise to the quantum Mpemba effect, where less symmetric initial states restore the symmetry faster than more symmetric ones.
Influence-solvability: a systematic theory of (1+1)D solvability and its application to brickwork circuits
`Solvable' circuits, such as dual unitaries and its generalisations, have arisen as paradigmatic examples of tractable chaotic non-equilibrium dynamics, both in classical and quantum systems. However, while increasingly complicated sufficient conditions have been proposed, a systematic theory classifying and understanding general features of Solvable circuits is missing. In this work we develop such a theory by deriving the most general local necessary and sufficient conditions under which a (1+1)D circuit is Solvable. Concretely, we define a circuit to be \emph{influence-solvable} if its influence matrix, representing the `bath' generated by its own evolution, is given by a uniform MPS with finite bond-dimension χ. This property allows for efficient computation of subsystem dynamics and essentially contains all known examples of Solvable circuits. The set of necessary and sufficient local conditions follows from a new version of the fundamental theorem of MPS for open boundary conditions. Next, we apply our theory to brickwork circuits with χ=1 influence-solvability and perform a systematic classification of classical brickwork circuits with local dimension up to d=3 and quantum brickwork circuits with d=2. Our search reveals new Solvable circuits that are not captured by known conditions.
Phenomena in quantum chaotic systems such as spectral fluctuations are known to be described remarkably well by the random matrix theory (RMT) in small energy intervals and over large time scales. However, in exchange for analytical tractability, RMT has been constructed to leave out an important element of realistic physical systems { the notion of locality. Since quantum information propagates at a finite speed in a spatially-extended quantum chaotic system, there exists time scales before which RMT is effective. How do we describe the non-equilibrium quantum dynamics at intermediate timescales which are much longer than the local relaxation time but too short for RMT to apply? What are the signatures of many-body quantum chaotic systems beyond the description of RMT? In this thesis, we address these questions by analysing minimal models that incorporate a notion of locality and at the same time retain some analytical tractability of RMT. More specifically, we study Floquet quantum circuits that are random in space but periodic in time. These circuits consist of local and random quantum gates that act on a q-state `spin' at each site. After a brief review of classical chaos, quantum chaos, and quantum circuits in Chapter 1, we present three main results. In Chapter 2, we formulate a diagrammatical approach for computing ensemble averages of observables over random unitary circuits, and derive exact results on spectral statistics and dynamical observables for a Floquet circuit in the large-q limit. In Chapter 3, we further investigate the spectral statistics in spatiallyextended many-body quantum chaotic systems by computing the spectral form factor K(t) analytically and numerically. We show that K(t) follows the RMT description at times longer than the Thouless time tTh and identify the scaling of tTh at the large-q limit of a Floquet circuit. In Chapter 4, we discuss eigenstate correlations for spatially-extended many-body quantum chaotic systems, in terms of the statistical properties of matrix elements of local observables. While the eigenstate thermalization hypothesis (ETH) is known to give an excellent description of these quantities, the phenomenon of scrambling and the butterfly effect imply structure beyond ETH. We determine analytically and verify numerically the universal form of this structure at long distances and small eigenvalue separations for Floquet systems.
Exactly solvable models in quantum many-body dynamics provide valuable insights into many interesting physical phenomena and serve as platforms for rigorously investigating fundamental theoretical questions. Nevertheless, they are extremely rare and existing solvable models and solution techniques have serious limitations. In this paper, we present a family of exactly solvable unitary circuits that model quantum many-body dynamics in discrete space and time. Unlike many previous solvable models, one can exactly compute the full quantum dynamics initialized from any matrix product state in this family of models. The time evolution of local observables and correlations, the linear growth of Rényi entanglement entropy, spatiotemporal correlations, and out-of-time-order correlations are all exactly computable. A key property of these models enabling the exact solution is that any time-evolved local operator is an exact matrix product operator with a finite bond dimension, even at arbitrarily long times, which we prove using the underlying C * -(weak) Hopf algebra structure along with tensor network techniques. We lay down the general framework for construction and solution of this family of models, and give several explicit examples. In particular, we study in detail a model constructed out of a C * -weak Hopf algebra that is very close to a Floquet version of the PXP model, and the exact results we obtain may shed light on the phenomenon of quantum many-body scars, and more generally, Floquet quantum dynamics in constrained systems.