arXiv:2409.17215 · Physical review. B./Physical review. B

Hopf algebras and solvable unitary circuits

Zhiyuan Wang

Published Mar 24, 2025• 6 citations

Abstract

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.

DOI: 10.1103/physrevb.111.104315

Related papers

Solvable Quantum Circuits in Tree + 1 Dimensions

Oliver Breach, Benedikt Placke, Pieter W. Claeys +1 more

We devise tractable models of unitary quantum many-body dynamics on tree graphs, as a first step toward a deeper understanding of dynamics in non-Euclidean spaces. To this end, we first demonstrate how to construct strictly local quantum circuits that preserve the symmetries of trees, such that their dynamical light cones grow isotropically. For trees with coordination number z , such circuits can be built from z -site gates. We then introduce a family of gates for which the dynamics are exactly solvable; these satisfy a set of constraints that we term “tree-unitarity.” Notably, tree-unitarity reduces to the previously established notion of dual-unitarity for z = 2 , when the tree reduces to a line. Among the unexpected features of tree-unitarity is a trade-off between “maximum butterfly velocity” dynamics of out-of-time-order correlators and the existence of nonvanishing correlation functions in multiple directions, a tension absent in one-dimensional dual-unitary models and their Euclidean generalizations. We connect the existence of (a wide class of) solvable dynamics with nonmaximal butterfly velocity directly to a property of the underlying circuit geometry called δ -hyperbolicity, and argue that such dynamics can only arise in non-Euclidean geometries. We give various examples of tree-unitary gates, discuss dynamical correlations, out-of-time-order correlators, and entanglement growth, and show that the kicked Ising model on a tree is a physically motivated example of maximum-velocity tree-unitary dynamics.

arXiv:2503.20927PRX QuantumSep 2, 20253 citations

Tangent Space Generators of Matrix Product States and Exact Floquet Quantum Scars

Marko Ljubotina, Elena Petrova, Norbert Schuch +1 more

The advancement of quantum simulators motivates the development of a theoretical framework to assist with efficient state preparation in quantum many-body systems. Generally, preparing a target entangled state via unitary evolution with time-dependent couplings is a challenging task and very little is known about the existence of solutions and their properties. In this work we develop a constructive approach for preparing matrix product states (MPS) via continuous unitary evolution. We provide an explicit construction of the operator that exactly implements the evolution of a given MPS along a specified direction in its tangent space. This operator can be written as a sum of local terms of finite range, yet it is in general non-Hermitian. Relying on the explicit construction of the non-Hermitian generator of the dynamics, we demonstrate the existence of a Hermitian sequence of operators that implements the desired MPS evolution with an error that decreases exponentially with the operator range. The construction is benchmarked on an explicit periodic trajectory in a translationally invariant MPS manifold. We demonstrate that the Floquet unitary generating the dynamics over one period of the trajectory features an approximate MPS-like eigenstate embedded among a sea of thermalizing eigenstates. These results show that our construction is not only useful for state preparation and control of many-body systems, but also provides a generic route towards Floquet scars—periodically driven models with quasilocal generators of dynamics that have exact MPS eigenstates in their spectrum. Published by the American Physical Society 2024

arXiv:2403.12325PRX QuantumOct 23, 20245 citations

Circuits of space and time quantum channels

Pavel Kos, Georgios Styliaris

Exact solutions in interacting many-body systems are scarce but extremely valuable since they provide insights into the dynamics. Dual-unitary models are examples in one spatial dimension where this is possible. These brick-wall quantum circuits consist of local gates, which remain unitary not only in time, but also when interpreted as evolutions along the spatial directions. However, this setting of unitary dynamics does not directly apply to real-world systems due to their imperfect isolation, and it is thus imperative to consider the impact of noise to dual-unitary dynamics and its exact solvability. In this work we generalise the ideas of dual-unitarity to obtain exact solutions in noisy quantum circuits, where each unitary gate is substituted by a local quantum channel. Exact solutions are obtained by demanding that the noisy gates yield a valid quantum channel not only in time, but also when interpreted as evolutions along one or both of the spatial directions and possibly backwards in time. This gives rise to new families of models that satisfy different combinations of unitality constraints along the space and time directions. We provide exact solutions for the spatio-temporal correlation functions, spatial correlations after a quantum quench, and the structure of steady states for these families of models. We show that noise unbiased around the dual-unitary family leads to exactly solvable models, even if dual-unitarity is strongly violated. We prove that any channel unital in both space and time directions can be written as an affine combination of a particular class of dual-unitary gates. Finally, we extend the definition of solvable initial states to matrix-product density operators. We completely classify them when their tensor admits a local purification.

arXiv:2206.12155QuantumMay 24, 202322 citations

Exact subsystem dynamics in the deterministic Floquet-PXP model

Katja Klobas

The dynamics of local subsystems in a thermodynamically large quantum many-body system can be understood as effectively open as the system produces its own effective bath. The action of this bath can be characterised in terms of the so-called influence matrices. In generic situations, the complexity of these objects grows unfavourably with time, however, there exist solvable cases where influence matrices can be characterised exactly even in the presence of non-trivial interactions. Here we show that Rule 201, a deterministic version of the Floquet-PXP model, is one of these solvable instances. Indeed, it admits influence matrices given by a finite-dimensional matrix-product operator (MPO) that solves a finite set of algebraic conditions. We provide the solution, and characterise multi-time autocorrelation functions.

cond-mat.stat-mechCross-listedarXiv:2606.27337Jun 26, 20260 citations

Growth of entanglement of generic states under dual-unitary dynamics

Alessandro Foligno, Bruno Bertini

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.

arXiv:2208.00030Physical review. B./Physical review. BMay 24, 202329 citations

Entanglement membrane in exactly solvable lattice models

Michael A. Rampp, Suhail Ahmad Rather, Pieter W. Claeys

Entanglement membrane theory is an effective coarse-grained description of entanglement dynamics and operator growth in chaotic quantum many-body systems. The fundamental quantity characterizing the membrane is the entanglement line tension. However, determining the entanglement line tension for microscopic models is in general exponentially difficult. We compute the entanglement line tension in a recently introduced class of exactly solvable yet chaotic unitary circuits, so-called generalized dual-unitary circuits, obtaining a nontrivial form that gives rise to a hierarchy of velocity scales with v E < v B . For the lowest level of the hierarchy, L ¯ 2 circuits, the entanglement line tension can be computed entirely, while for the higher levels the solvability is reduced to certain regions in spacetime. This partial solvability enables us to place bounds on the entanglement velocity. We find that L ¯ 2 circuits saturate certain bounds on entanglement growth that are also saturated in holographic models. Furthermore, we relate the entanglement line tension to temporal entanglement and correlation functions. We also develop methods of constructing generalized dual-unitary gates, including constructions based on complex Hadamard matrices that exhibit additional solvability properties and constructions that display behavior unique to local dimension greater than or equal to three. Our results shed light on entanglement membrane theory in microscopic Floquet lattice models and enable us to perform nontrivial checks on the validity of its predictions by comparison to exact and numerical calculations. Moreover, they demonstrate that generalized dual-unitary circuits display a more generic form of information dynamics than dual-unitary circuits. Published by the American Physical Society 2024

arXiv:2312.12509Physical Review ResearchSep 9, 202419 citations