Exact Quench Dynamics of the Floquet Quantum East Model at the Deterministic Point.

We study the nonequilibrium dynamics of the Floquet quantum East model (a Trotterized version of the kinetically constrained quantum East spin chain) at its "deterministic point," where evolution is defined in terms of CNOT permutation gates. We solve exactly the thermalization dynamics for a broad class of initial product states by means of "space evolution." We prove: (i) the entanglement of a block of spins grows at most at one-half the maximal speed allowed by locality (i.e., half the speed of dual-unitary circuits); (ii) if the block of spins is initially prepared in a classical configuration, speed of entanglement is a quarter of the maximum; (iii) thermalization to the infinite temperature state is reached exactly in a time that scales with the size of the block.

Localized Dynamics in the Floquet Quantum East Model.

We introduce and study the discrete-time version of the quantum East model, an interacting quantum spin chain inspired by simple kinetically constrained models of classical glasses. Previous work has established that its continuous-time counterpart displays a disorder-free localization transition signaled by the appearance of an exponentially large (in the volume) family of nonthermal, localized eigenstates. Here we combine analytical and numerical approaches to show that (i) the transition persists for discrete times, in fact, it is present for any finite value of the time step apart from a zero measure set; (ii) it is directly detected by following the nonequilibrium dynamics of the fully polarized state. Our findings imply that the transition is currently observable in state-of-the-art platforms for digital quantum simulation.

Nonequilibrium Full Counting Statistics and Symmetry-Resolved Entanglement from Space-Time Duality.

Owing to its probabilistic nature, a measurement process in quantum mechanics produces a distribution of possible outcomes. This distribution-or its Fourier transform known as full counting statistics (FCS)-contains much more information than say the mean value of the measured observable, and accessing it is sometimes the only way to obtain relevant information about the system. In fact, the FCS is the limit of an even more general family of observables-the charged moments-that characterize how quantum entanglement is split in different symmetry sectors in the presence of a global symmetry. Here we consider the evolution of the FCS and of the charged moments of a U(1) charge truncated to a finite region after a global quantum quench. For large scales these quantities take a simple large-deviation form, showing two different regimes as functions of time: while for times much larger than the size of the region they approach a stationary value set by the local equilibrium state, for times shorter than region size they show a nontrivial dependence on time. We show that, whenever the initial state is also U(1) symmetric, the leading order in time of FCS and charged moments in the out-of-equilibrium regime can be determined by means of a space-time duality. Namely, it coincides with the stationary value in the system where the roles of time and space are exchanged. We use this observation to find some general properties of FCS and charged moments out of equilibrium, and to derive an exact expression for these quantities in interacting integrable models. We test this expression against exact results in the Rule 54 quantum cellular automaton and exact numerics in the XXZ spin-1/2 chain.

Integrable Digital Quantum Simulation: Generalized Gibbs Ensembles and Trotter Transitions.

The Trotter-Suzuki decomposition is a promising avenue for digital quantum simulation (DQS), approximating continuous-time dynamics by discrete Trotter steps of duration τ. Recent work suggested that DQS is typically characterized by a sharp Trotter transition: when τ is increased beyond a threshold value, approximation errors become uncontrolled at large times due to the onset of quantum chaos. Here, we contrast this picture with the case of integrable DQS. We focus on a simple quench from a spin-wave state in the prototypical XXZ Heisenberg spin chain, and study its integrable Trotterized evolution as a function of τ. Because of its exact local conservation laws, the system does not heat up to infinite temperature and the late-time properties of the dynamics are captured by a discrete generalized Gibbs ensemble (dGGE). By means of exact calculations we find that, for small τ, the dGGE depends analytically on the Trotter step, implying that discretization errors remain bounded even at infinite times. Conversely, the dGGE changes abruptly at a threshold value τ_{th}, signaling a novel type of Trotter transition. We show that the latter can be detected locally, as it is associated with the appearance of a nonzero staggered magnetization with a subtle dependence on τ. We highlight the differences between continuous and discrete GGEs, suggesting the latter as novel interesting nonequilibrium states exclusive to digital platforms.

Solution of the BEC to BCS Quench in One Dimension.

A gas of interacting fermions confined in a quasi one-dimensional geometry shows a BEC to BCS crossover upon slowly driving its coupling constant through a confinement-induced resonance. On one side of the crossover the fermions form tightly bound bosonic molecules behaving as a repulsive Bose gas, while on the other they form Cooper pairs, whose size is much larger than the average interparticle distance. Here we consider the situation arising when the coupling constant is varied suddenly from the BEC to the BCS value. Namely, we study a BEC-to-BCS quench. By exploiting a suitable continuum limit of recently discovered solvable quenches in the Hubbard model, we show that the local stationary state reached at large times after the quench can be determined exactly by means of the quench action approach. We provide an experimentally accessible characterization of the stationary state by computing local pair correlation function as well as the quasiparticle distribution functions. We find that the steady state is increasingly dominated by two-particle spin singlet bound states for stronger interaction strength, but that bound state formation is inhibited at larger BEC density. The bound state rapidity distribution displays quartic power-law decay suggesting a violation of Tan's contact relations.

Entanglement Negativity and Mutual Information after a Quantum Quench: Exact Link from Space-Time Duality.

We study the growth of entanglement between two adjacent regions in a tripartite, one-dimensional many-body system after a quantum quench. Combining a replica trick with a space-time duality transformation, we derive an exact, universal relation between the entanglement negativity and Rényi-1/2 mutual information that holds at times shorter than the sizes of all subsystems. Our proof is directly applicable to any local quantum circuit, i.e., any lattice system in discrete time characterized by local interactions, irrespective of the nature of its dynamics. Our derivation indicates that such a relation can be directly extended to any system where information spreads with a finite maximal velocity.

Bogoliubov-Born-Green-Kirkwood-Yvon Hierarchy and Generalized Hydrodynamics.

We consider fermions defined on a continuous one-dimensional interval and subject to weak repulsive two-body interactions. We show that it is possible to perturbatively construct an extensive number of mutually compatible conserved charges for any interaction potential. However, the contributions to the densities of these charges at second order and higher are generally nonlocal and become spatially localized only if the potential fulfils certain compatibility conditions. We prove that the only solutions to the first of these conditions are the Cheon-Shigehara potential (fermionic dual to the Lieb-Liniger model) and the Calogero-Sutherland potentials. We use our construction to show how generalized hydrodynamics emerges from the Bogoliubov-Born-Green-Kirkwood-Yvon hierarchy, and argue that generalized hydrodynamics in the weak interaction regime is robust under nonintegrable perturbations.

Duality between Weak and Strong Interactions in Quantum Gases.

In one-dimensional quantum gases there is a well known "duality" between hard core bosons and noninteracting fermions. However, at the field theory level, no exact duality connecting strongly interacting bosons to weakly interacting fermions is known. Here we propose a solution to this long-standing problem. Our derivation relies on regularizing the only pointlike interaction between fermions in one dimension that induces a discontinuity in the wave function proportional to its derivative. In contrast to all known regularizations our potential is weak for small interaction strengths. Crucially, this allows one to apply standard methods of diagrammatic perturbation theory to strongly interacting bosons. As a first application we compute the finite temperature spectral function of the Cheon-Shigehara model, the fermionic model dual to the celebrated Lieb-Liniger model.

Chaos and Ergodicity in Extended Quantum Systems with Noisy Driving.

We study the time-evolution operator in a family of local quantum circuits with random fields in a fixed direction. We argue that the presence of quantum chaos implies that at large times the time-evolution operator becomes effectively a random matrix in the many-body Hilbert space. To quantify this phenomenon, we compute analytically the squared magnitude of the trace of the evolution operator-the generalized spectral form factor-and compare it with the prediction of random matrix theory. We show that for the systems under consideration, the generalized spectral form factor can be expressed in terms of dynamical correlation functions of local observables in the infinite temperature state, linking chaotic and ergodic properties of the systems. This also provides a connection between the many-body Thouless time τ_{th}-the time at which the generalized spectral form factor starts following the random matrix theory prediction-and the conservation laws of the system. Moreover, we explain different scalings of τ_{th} with the system size observed for systems with and without the conservation laws.

Exact Thermalization Dynamics in the "Rule 54" Quantum Cellular Automaton.

We study the out-of-equilibrium dynamics of the quantum cellular automaton known as "Rule 54." For a class of low-entangled initial states, we provide an analytic description of the effect of the global evolution on finite subsystems in terms of simple quantum channels, which gives access to the full thermalization dynamics at the microscopic level. As an example, we provide analytic formulas for the evolution of local observables and Rényi entropies. We show that, in contrast to other known examples of exactly solvable quantum circuits, Rule 54 does not behave as a simple Markovian bath on its own parts, and displays typical nonequilibrium features of interacting integrable many-body quantum systems such as finite relaxation rate and interaction-induced dressing effects. Our study provides a rare example where the full thermalization dynamics can be solved exactly at the microscopic level.

Exact Correlation Functions for Dual-Unitary Lattice Models in 1+1 Dimensions.

We consider a class of quantum lattice models in 1+1 dimensions represented as local quantum circuits that enjoy a particular dual-unitarity property. In essence, this property ensures that both the evolution in time and that in space are given in terms of unitary transfer matrices. We show that for this class of circuits, generically nonintegrable, one can compute explicitly all dynamical correlations of local observables. Our result is exact, nonpertubative, and holds for any dimension d of the local Hilbert space. In the minimal case of qubits (d=2) we also present a classification of all dual-unitary circuits which allows us to single out a number of distinct classes for the behavior of the dynamical correlations. We find noninteracting classes, where all correlations are preserved, the ergodic and mixing one, where all correlations decay, and, interestingly, also classes that are both interacting and nonergodic.

Universal Broadening of the Light Cone in Low-Temperature Transport.

We consider the low-temperature transport properties of critical one-dimensional systems that can be described, at equilibrium, by a Luttinger liquid. We focus on the prototypical setting where two semi-infinite chains are prepared in two thermal states at small but different temperatures and suddenly joined together. At large distances x and times t, conformal field theory characterizes the energy transport in terms of a single light cone spreading at the sound velocity v. Energy density and current take different constant values inside the light cone, on its left, and on its right, resulting in a three-step form of the corresponding profiles as a function of ζ=x/t. Here, using a nonlinear Luttinger liquid description, we show that for generic observables this picture is spoiled as soon as a nonlinearity in the spectrum is present. In correspondence of the transition points x/t=±v, a novel universal region emerges at infinite times, whose width is proportional to the temperatures on the two sides. In this region, expectation values have a different temperature dependence and show smooth peaks as a function of ζ. We explicitly compute the universal function describing such peaks. In the specific case of interacting integrable models, our predictions are analytically recovered by the generalized hydrodynamic approach.

Exact Spectral Form Factor in a Minimal Model of Many-Body Quantum Chaos.

The most general and versatile defining feature of quantum chaotic systems is that they possess an energy spectrum with correlations universally described by random matrix theory (RMT). This feature can be exhibited by systems with a well-defined classical limit as well as by systems with no classical correspondence, such as locally interacting spins or fermions. Despite great phenomenological success, a general mechanism explaining the emergence of RMT without reference to semiclassical concepts is still missing. Here we provide the example of a quantum many-body system with no semiclassical limit (no large parameter) where the emergence of RMT spectral correlations is proven exactly. Specifically, we consider a periodically driven Ising model and write the Fourier transform of spectral density's two-point function, the spectral form factor, in terms of a partition function of a two-dimensional classical Ising model featuring a space-time duality. We show that the self-dual cases provide a minimal model of many-body quantum chaos, where the spectral form factor is demonstrated to match RMT for all values of the integer time variable t in the thermodynamic limit. In particular, we rigorously prove RMT form factor for an odd t, while we formulate a precise conjecture for an even t. The results imply ergodicity for any finite amount of disorder in the longitudinal field, rigorously excluding the possibility of many-body localization. Our method provides a novel route for obtaining exact nonperturbative results in nonintegrable systems.

Transport in Out-of-Equilibrium XXZ Chains: Exact Profiles of Charges and Currents.

We consider the nonequilibrium time evolution of piecewise homogeneous states in the XXZ spin-1/2 chain, a paradigmatic example of an interacting integrable model. The initial state can be thought of as the result of joining chains with different global properties. Through dephasing, at late times, the state becomes locally equivalent to a stationary state which explicitly depends on position and time. We propose a kinetic theory of elementary excitations and derive a continuity equation which fully characterizes the thermodynamics of the model. We restrict ourselves to the gapless phase and consider cases where the chains are prepared: (1) at different temperatures, (2) in the ground state of two different models, and (3) in the "domain wall" state. We find excellent agreement (any discrepancy is within the numerical error) between theoretical predictions and numerical simulations of time evolution based on time-evolving block decimation algorithms. As a corollary, we unveil an exact expression for the expectation values of the charge currents in a generic stationary state.

Determination of the Nonequilibrium Steady State Emerging from a Defect.

We consider the nonequilibrium time evolution of a translationally invariant state under a Hamiltonian with a localized defect. We discern the situations where a light cone spreads out from the defect and separates the system into regions with macroscopically different properties. We identify the light cone and propose a procedure to obtain a (quasi)stationary state describing the late time dynamics of local observables. As an explicit example, we study the time evolution generated by the Hamiltonian of the transverse-field Ising chain with a local defect that cuts the interaction between two sites (a quench of the boundary conditions alongside a global quench). We solve the dynamics exactly and show that the late time properties can be obtained with the general method proposed.

Prethermalization and Thermalization in Models with Weak Integrability Breaking.

We study the effects of integrability-breaking perturbations on the nonequilibrium evolution of many-particle quantum systems. We focus on a class of spinless fermion models with weak interactions. We employ equation of motion techniques that can be viewed as generalizations of quantum Boltzmann equations. We benchmark our method against time-dependent density matrix renormalization group computations and find it to be very accurate as long as interactions are weak. For small integrability breaking, we observe robust prethermalization plateaux for local observables on all accessible time scales. Increasing the strength of the integrability-breaking term induces a "drift" away from the prethermalization plateaux towards thermal behavior. We identify a time scale characterizing this crossover.