arXiv subjects

Pavel Kos

Publications and source records attributed to Pavel Kos.

At least 19 recordsLinked to original sources

arXiv2026

Magnetic domains stabilized by symmetry-protected zero modes

Understanding mechanisms for the breakdown of thermalization in closed quantum systems is a central problem in quantum many-body physics. We demonstrate strong non-ergodic behavior in the XX model on coupled chains, where domain-wall initial states retain an inhomogeneous magnetization profile for arbitrarily long times. We find that this effect arises due to exponentially many zero modes protected by chiral symmetry. Using an analysis based on the Lanczos algorithm, we identify a localization transition in the thermodynamic limit at a critical coupling between the chains. We further show that antiferromagnetic defects in the initial state and symmetry-breaking perturbations restore slow thermalization, whereas it remains robust for symmetry-conserving perturbations. These results establish that degenerate, symmetry-protected subspaces can give rise to thermodynamically stable non-ergodic dynamics in experimentally accessible quantum systems.

quant-ph↗

arXiv2026

Average-computation benchmarking for local expectation values in digital quantum devices

As quantum devices progress towards a quantum advantage regime, they become harder to benchmark. A particularly relevant challenge is to assess the quality of the whole computation, beyond testing the performance of each single operation. Here we introduce a scheme for this task that combines the target computation with variants of it, which, when averaged, allow for classically solvable correlation functions. Importantly, the variants exactly preserve the circuit architecture and depth, without simplifying the gates into a classically-simulable set. The method is based on replacing each gate by an ensemble of similar gates, which when averaged together form space-time channels [P. Kos and G. Styliaris, Quantum 7, 1020 (2023)]. We introduce explicit constructions for ensembles producing such channels, all applicable to arbitrary brickwork circuits, and provide a general recipe to find new ones through semidefinite programming. The resulting average computation retains important information about the original circuit and is able to detect noise beyond a Clifford benchmarking regime. Moreover, we provide evidence that estimating average-computation expectation values requires running only a limited number of different circuit realizations.

quant-ph↗

arXiv2026

Random Permutation Circuits Beyond Qubits are Quantum Chaotic

Random permutation circuits were recently introduced as minimal models for local many-body dynamics that can be interpreted both as classical and quantum. Standard dynamical complexity indicators such as damage spreading and out-of-time-order correlators (OTOCs), show that these systems exhibit sensitivity to initial conditions in the classical setting and operator scrambling in the quantum setting. Here, we address their quantum chaoticity - a stricter property - by studying the time evolution of local operator entanglement (LOE). We show that the behaviour of LOE in random permutation circuits depends on the dimension of the local configuration space q. When q = 2, i.e. the circuits act on qubits, random permutations are Clifford and the LOE of any local operator is bounded by a constant, indicating that they are not truly chaotic. On the other hand, when the dimension of the local configuration space exceeds two, the LOE grows linearly in time. We prove this in the limit of large q and present numerical evidence that a three-dimensional local configuration space is sufficient for a linear growth of LOE. Our findings highlight that quantum chaos can be produced by essentially classical dynamics. Moreover, we show that LOE can be defined also in the classical realm and put it forward as a universal indicator chaos, both quantum and classical.

cond-mat.stat-mech↗

arXiv2026

Can Theoretical Physics Research Benefit from Language Agents?

Large Language Models (LLMs) are rapidly advancing across diverse domains, yet their application in theoretical physics remains inadequate. While current models show competence in mathematical reasoning and code generation, we identify critical gaps in physical intuition, constraint satisfaction, and reliable reasoning that cannot be addressed through prompting alone. Physics demands approximation judgment, symmetry exploitation, and physical grounding that require AI agents specifically trained on physics reasoning patterns and equipped with physics-aware verification tools. We argue that LLM would require such domain-specialized training and tooling to be useful in real-world for physics research. We envision physics-specialized AI agents that seamlessly handle multimodal data, propose physically consistent hypotheses, and autonomously verify theoretical results. Realizing this vision requires developing physics-specific training datasets, reward signals that capture physical reasoning quality, and verification frameworks encoding fundamental principles. We call for collaborative efforts between physics and AI communities to build the specialized infrastructure necessary for AI-driven scientific discovery.

cs.CL↗

arXiv2026

Vanishing correlations in stochastic and bistochastic controlled circuits

We study the dynamics of circuits composed of stochastic and bistochastic controlled gates. This type of dynamics arises from quantum circuits with random controlled gates, as well as in stochastic circuits and deterministic classical cellular automata. We prove that stochastic and bistochastic controlled gates lead to two-point spatiotemporal correlation functions that vanish everywhere except when the two operators act on the same site. More generally, for multipoint correlations the two rightmost operators must act on the same site. We argue that autocorrelation, while hard to compute, typically decays exponentially toward a value that is exponentially small in the system size. Our results reveal a broad class of quantum systems that exhibit surprisingly simple correlation structures despite their complex microscopic dynamics.

quant-ph↗

arXiv2025

Mixed state deep thermalization

We introduce the notion of the mixed state projected ensemble (MSPE), a collection of mixed states describing a local region of a quantum many-body system, conditioned upon measurements of the complementary region which are incomplete. This constitutes a generalization of the pure state projected ensemble in which measurements are assumed ideal and complete, and which has been shown to tend towards limiting pure state distributions depending only on symmetries of the system, thus representing a new kind of universality in quantum equilibration dubbed deep thermalization. We study the MSPE generated by solvable (1+1)d dual-unitary quantum circuit evolution, and identify the limiting mixed state distributions which emerge at late times depending on the size of the incomplete measurement, which we assume to be lossy, finding that they correspond to certain random density matrix ensembles known in the literature. We also derive the rate of the emergence of such universality. Furthermore, we investigate the quantum information properties of the states composing the ensemble, specifically their capacity to teleport quantum information between the ends of the system. The teleportation fidelity is upper bounded by the quantum conditional entropy, which we find exhibits a sharp transition from zero to maximal when the number of measurements lost matches of that the number of degrees of freedom to be teleported. Our results initiate the first investigation of deep thermalization for mixed state ensembles, which are relevant for present-day quantum simulation experiments wherein measurements are typically not perfect, and also amount to a physical and natural way of sampling from hitherto abstract random density matrix ensembles.

quant-ph↗

arXiv2025

Magic Resources of the Heisenberg Picture

We study a non-stabilizerness resource theory for operators, which is dual to that describing states. We identify that the stabilizer Rényi entropy analog in operator space is a good magic monotone satisfying the usual conditions while inheriting efficient computability properties and providing a tight lower bound to the minimum number of non-Clifford gates in a circuit. Operationally, this measure quantifies how well an operator can be approximated by one with only a few Pauli strings -- analogous to how entanglement entropy relates to tensor-network truncation. A notable advantage of operator stabilizer entropies is their inherent locality, as captured by a Lieb-Robinson bound. This feature makes them particularly suited for studying local dynamical magic resource generation in many-body systems. We compute this quantity analytically in two distinct regimes. First, we show that under random evolution, operator magic typically reaches near-maximal value for all Rényi indices, and we evaluate the Page correction. Second, harnessing both dual unitarity and ZX graphical calculus, we solve the operator stabilizer entropy for interacting integrable XXZ circuit, finding that it quickly saturates to a constant value. Overall, this measure sheds light on the structural properties of many-body non-stabilizerness generation and can inspire Clifford-assisted tensor network methods.

quant-ph↗

arXiv2025

Quantum and Classical Dynamics with Random Permutation Circuits

Understanding thermalisation in quantum many-body systems is among the most enduring problems in modern physics. A particularly interesting question concerns the role played by quantum mechanics in this process, i.e. whether thermalisation in quantum many-body systems is fundamentally different from that in classical many-body systems and, if so, which of its features are genuinely quantum. Here we study this question in minimally structured many-body systems which are only constrained to have local interactions, i.e. local random circuits. We introduce a class of random permutation circuits (RPCs), where the gates locally permute basis states modelling generic microscopic classical dynamics, and compare them to random unitary circuits (RUCs), a standard toy model for generic quantum dynamics. We show that, like RUCs, RPCs permit the analytical computation of several key quantities such as out-of-time order correlators (OTOCs), or entanglement entropies. RPCs can be interpreted both as quantum or classical dynamics, which we use to find similarities and differences between the two. Performing the average over all random circuits, we discover a series of exact relations, connecting quantities in RUC and (quantum) RPCs. In the classical setting, we obtain similar exact results relating (quantum) purity to (classical) growth of mutual information and (quantum) OTOCs to (classical) decorrelators. Our results indicate that despite of the fundamental differences between quantum and classical systems, their dynamics exhibits qualitatively similar behaviours.

cond-mat.stat-mech↗

arXiv2024

Dual-isometric Projected Entangled Pair States

Efficient characterization of higher dimensional many-body physical states presents significant challenges. In this paper, we propose a new class of Project Entangled Pair State (PEPS) that incorporates two isometric conditions. This new class facilitates the efficient calculation of general local observables and certain two-point correlation functions, which have been previously shown to be intractable for general PEPS, or PEPS with only a single isometric constraint. Despite incorporating two isometric conditions, our class preserves the rich physical structure while enhancing the analytical capabilities. It features a large set of tunable parameters, with only a subleading correction compared to that of general PEPS. Furthermore, we analytically demonstrate that this class can encode universal quantum computations and can represent a transition from topological to trivial order.

quant-ph↗

arXiv2024

Quantum information spreading in generalised dual-unitary circuits

We study the spreading of quantum information in a recently introduced family of brickwork quantum circuits that generalises the dual-unitary class. These circuits are unitary in time, while their spatial dynamics is unitary only in a restricted subspace. First, we show that local operators spread at the speed of light as in dual-unitary circuits, i.e., the butterfly velocity takes the maximal value allowed by the geometry of the circuit. Then, we prove that the entanglement spreading can still be characterised exactly for a family of compatible initial states (in fact, for an extension of the compatible family of dual-unitary circuits) and that the asymptotic entanglement slope is again independent on the Rényi index. Remarkably, however, we find that the entanglement velocity is generically smaller than one. We use these properties to find a closed-form expression for the entanglement membrane in these circuits.

cond-mat.stat-mech↗

arXiv2024

Exact solution of long-range stabilizer Rényi entropy in the dual-unitary XXZ model

Quantum systems can not be efficiently simulated classically due to the presence of entanglement and nonstabilizerness, also known as quantum magic. Here we study the generation of magic under evolution by a quantum circuit. To be able to provide exact solutions, we focus on the dual-unitary XXZ model and a measure of magic called stabilizer Rényi entropy (SRE). Moreover, we focus also on long-range SRE, which cannot be removed by short-depth quantum circuits. To obtain exact solutions we use a ZX-calculus representation and graphical rules for the evaluation of the required expressions. We obtain exact results for SRE after short-time evolution in the thermodynamic limit and for long-range SRE for all times and all Rényi parameters for a particular partition of the state. Since the numerical evaluation of these quantities is exponentially costly in the Rényi parameter, we verify this numerically for low Rényi parameters and accessible system sizes and provide numerical results for the long-range SRE in other bipartitions.

quant-ph↗

arXiv2024

Localised 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 localisation transition signalled by the appearance of an exponentially large (in the volume) family of non-thermal, localised 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 non-equilibrium dynamics of the fully polarised state. Our findings imply that the transition is currently observable in state-of-the-art platforms for digital quantum simulation.

cond-mat.stat-mech↗

arXiv2024

Hierarchical generalization of dual unitarity

Quantum dynamics with local interactions in lattice models display rich physics, but is notoriously hard to study. Dual-unitary circuits allow for exact answers to interesting physical questions in clean or disordered one- and higher-dimensional quantum systems. However, this family of models shows some non-universal features, like vanishing correlations inside the light-cone and instantaneous thermalization of local observables. In this work we propose a generalization of dual-unitary circuits where the exactly calculable spatial-temporal correlation functions display richer behavior, and have non-trivial thermalization of local observables. This is achieved by generalizing the single-gate condition to a hierarchy of multi-gate conditions, where the first level recovers dual-unitary models, and the second level exhibits these new interesting features. We also extend the discussion and provide exact solutions to correlators with few-site observables and discuss higher-orders, including the ones after a quantum quench. In addition, we provide exhaustive parametrizations for qubit cases, and propose a new family of models for local dimensions larger than two, which also provides a new family of dual-unitary models.

quant-ph↗

arXiv2023

Scrambling is Necessary but Not Sufficient for Chaos

We show that out-of-time-order correlators (OTOCs) constitute a probe for Local-Operator Entanglement (LOE). There is strong evidence that a volumetric growth of LOE is a faithful dynamical indicator of quantum chaos, while OTOC decay corresponds to operator scrambling, often conflated with chaos. We show that rapid OTOC decay is a necessary but not sufficient condition for linear (chaotic) growth of the LOE entropy. We analytically support our results through wide classes of local-circuit models of many-body dynamics, including both integrable and non-integrable dual-unitary circuits. We show sufficient conditions under which local dynamics leads to an equivalence of scrambling and chaos.

quant-ph↗

arXiv2023

Circuits of space and time quantum channels

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.

cond-mat.stat-mech↗

arXiv2022

Exact Spectral Statistics in Strongly Localised Circuits

Since the seminal work of Anderson, localisation has been recognised as a standard mechanism allowing quantum many-body systems to escape ergodicity. This idea acquired even more prominence in the last decade as it has been argued that localisation -- dubbed many-body localisation (MBL) in this context -- can sometimes survive local interactions in the presence of sufficiently strong disorder. A conventional signature of localisation is in the statistical properties of the spectrum -- spectral statistics -- which differ qualitatively from those in the ergodic phase. Although features of the spectral statistics are routinely used as numerical diagnostics for localisation, they have never been derived from first principles in the presence of non-trivial interactions. Here we fill this gap and provide the example of a simple class of quantum many-body systems -- which we dub strongly localised quantum circuits -- that are interacting, localised, and where the spectral statistics can be characterised exactly. Furthermore, we show that these systems exhibit a cascade of three different regimes for spectral correlations depending on the energy scale: at small, intermediate, and large scales they behave as disconnected patches of three decreasing sizes. We argue that these features appear in generic MBL systems, with the difference that only at the smallest scale they do become Poissonian.

nlin.CD↗

arXiv2021

Thermalisation Dynamics and Spectral Statistics of Extended Systems with Thermalising Boundaries

We study thermalisation and spectral properties of extended systems connected, through their boundaries, to a thermalising Markovian bath. Specifically, we consider periodically driven systems modelled by brickwork quantum circuits where a finite section (block) of the circuit is constituted by arbitrary local unitary gates while its complement, which plays the role of the bath, is dual-unitary. We show that the evolution of local observables and the spectral form factor are determined by the same quantum channel, which we use to characterise the system's dynamics and spectral properties. In particular, we identify a family of fine-tuned quantum circuits -- which we call strongly non-ergodic -- that fails to thermalise even in this controlled setting, and, accordingly, their spectral form factor does not follow the random matrix theory prediction. We provide a set of necessary conditions on the local quantum gates that lead to strong non-ergodicity, and in the case of qubits, we provide a complete classification of strongly non-ergodic circuits. We also study the opposite extreme case of circuits that are almost dual-unitary, i.e., where thermalisation occurs with the fastest possible rate. We show that, in these systems, local observables and spectral form factor approach respectively thermal values and random matrix theory prediction exponentially fast. We provide a perturbative characterisation of the dynamics and, in particular, of the time-scale for thermalisation.

cond-mat.stat-mech↗

arXiv2021

Random Matrix Spectral Form Factor of Dual-Unitary Quantum Circuits

We investigate a class of brickwork-like quantum circuits on chains of $d-$level systems (qudits) that share the so-called `dual unitarity' property. Namely, these systems generate unitary dynamics not only when propagating in the time direction, but also when propagating in the space direction. We consider space-time homogeneous (Floquet) circuits and perturb them with a quenched single-site disorder, i.e. by applying independent single site random unitaries drawn from arbitrary non-singular distribution over ${\rm SU}(d)$, e.g. one concentrated around the identity, after each layer of the circuit. We identify the spectral form factor at time $t$ in the limit of long chains as the dimension of the commutant of a finite set of operators on a qudit ring of $t$ sites. For general dual unitary circuits of qubits $(d=2)$ and a family of their extensions to higher $d>2$, we provide explicit construction of the commutant and prove that spectral form factor exactly matches the prediction of circular unitary ensemble for all $t$, if only the local 2-qubit gates are different from a SWAP (non-interacting gate). We discuss and partly prove possible extensions of our results to a weaker (more singular) forms of disorder averaging, as well as to quantum circuits with time-reversal symmetry, and to computing higher moments of the spectral form factor.

math-ph↗