Showing 1–43 of 43 results for author: Kastoryano, M

Fast and Flexible Quantum-Inspired Differential Equation Solvers with Data Integration

Authors: Lucas Arenstein, Martin Mikkelsen, Michael Kastoryano

Abstract: Accurately solving high-dimensional partial differential equations (PDEs) remains a central challenge in computational mathematics. Traditional numerical methods, while effective in low-dimensional settings or on coarse grids, often struggle to deliver the precision required in practical applications. Recent machine learning-based approaches offer flexibility but frequently fall short in terms of… ▽ More Accurately solving high-dimensional partial differential equations (PDEs) remains a central challenge in computational mathematics. Traditional numerical methods, while effective in low-dimensional settings or on coarse grids, often struggle to deliver the precision required in practical applications. Recent machine learning-based approaches offer flexibility but frequently fall short in terms of accuracy and reliability, particularly in industrial contexts. In this work, we explore a quantum-inspired method based on quantized tensor trains (QTT), enabling efficient and accurate solutions to PDEs in a variety of challenging scenarios. Through several representative examples, we demonstrate that the QTT approach can achieve logarithmic scaling in both memory and computational cost for linear and nonlinear PDEs. Additionally, we introduce a novel technique for data-driven learning within the quantum-inspired framework, combining the adaptability of neural networks with enhanced accuracy and reduced training time. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Functional matrix product state simulation of continuous variable quantum circuits

Authors: Andreas Bock Michelsen, Frederik K. Marqversen, Michael Kastoryano

Abstract: We introduce a functional matrix product state (FMPS) based method for simulating the real-space representation of continuous-variable (CV) quantum computation. This approach efficiently simulates non-Gaussian CV systems by leveraging their functional form. By addressing scaling bottlenecks, FMPS enables more efficient simulation of shallow, multi-mode CV quantum circuits with non-Gaussian input s… ▽ More We introduce a functional matrix product state (FMPS) based method for simulating the real-space representation of continuous-variable (CV) quantum computation. This approach efficiently simulates non-Gaussian CV systems by leveraging their functional form. By addressing scaling bottlenecks, FMPS enables more efficient simulation of shallow, multi-mode CV quantum circuits with non-Gaussian input states. The method is validated by simulating random shallow and cascaded circuits with highly non-Gaussian input states, showing superior performance compared to existing techniques, also in the presence of loss. △ Less

Submitted 8 April, 2025; originally announced April 2025.

Variational Tensor Network Simulation of Gaussian Boson Sampling and Beyond

Authors: Jonas Vinther, Michael James Kastoryano

Abstract: The continuous variable quantum computing platform constitutes a promising candidate for realizing quantum advantage, as exemplified in Gaussian Boson Sampling. While noise in the experiments makes the computation attainable for classical simulations, it has been suggested that the addition of non-linear elements to the experiment will help retain the quantum advantage. We propose a classical simu… ▽ More The continuous variable quantum computing platform constitutes a promising candidate for realizing quantum advantage, as exemplified in Gaussian Boson Sampling. While noise in the experiments makes the computation attainable for classical simulations, it has been suggested that the addition of non-linear elements to the experiment will help retain the quantum advantage. We propose a classical simulation tool for general continuous variable sampling problems, including Gaussian Boson Sampling and beyond. We reformulate the sampling problem as that of finding the ground state of a simple few-body Hamiltonian. This allows us to employ powerful variational methods based on tensor networks and to read off the simulation error directly from the expectation value of the Hamiltonian. We validate our method by simulating Gaussian Boson Sampling, where we achieve results comparable to the state of the art. We also consider a non-Gaussian sampling problem, for which we develop novel local basis optimization techniques based on a non-linear parameterization of the implicit basis, resulting in high effective cutoffs with diminished computational overhead. △ Less

Submitted 24 October, 2024; originally announced October 2024.

A little bit of self-correction

Authors: Michael J. Kastoryano, Lasse B. Kristensen, Chi-Fang Chen, András Gilyén

Abstract: We investigate the emergence of stable subspaces in the low-temperature quantum thermal dynamics of finite spin chains. Our analysis reveals the existence of effective decoherence-free qudit subspaces, persisting for timescales exponential in $β$. Surprisingly, the appearance of metastable subspaces is not directly related to the entanglement structure of the ground state(s). Rather, they arise fr… ▽ More We investigate the emergence of stable subspaces in the low-temperature quantum thermal dynamics of finite spin chains. Our analysis reveals the existence of effective decoherence-free qudit subspaces, persisting for timescales exponential in $β$. Surprisingly, the appearance of metastable subspaces is not directly related to the entanglement structure of the ground state(s). Rather, they arise from symmetry relations in low-lying excited states. Despite their stability within a 'phase', practical realization of stable qubits is hindered by susceptibility to symmetry-breaking perturbations. This work highlights that there can be non-trivial quantum behavior in the thermal dynamics of noncommuting many body models, and opens the door to more extensive studies of self-correction in such systems. △ Less

Submitted 27 August, 2024; originally announced August 2024.

Quantum generalizations of Glauber and Metropolis dynamics

Authors: András Gilyén, Chi-Fang Chen, Joao F. Doriguello, Michael J. Kastoryano

Abstract: Classical Markov Chain Monte Carlo methods have been essential for simulating statistical physical systems and have proven well applicable to other systems with complex degrees of freedom. Motivated by the statistical physics origins, Chen, Kastoryano, and Gilyén [CKG23] proposed a continuous-time quantum thermodynamic analog to Glauber dynamic that is (i) exactly detailed balanced, (ii) efficient… ▽ More Classical Markov Chain Monte Carlo methods have been essential for simulating statistical physical systems and have proven well applicable to other systems with complex degrees of freedom. Motivated by the statistical physics origins, Chen, Kastoryano, and Gilyén [CKG23] proposed a continuous-time quantum thermodynamic analog to Glauber dynamic that is (i) exactly detailed balanced, (ii) efficiently implementable, and (iii) quasi-local for geometrically local systems. Physically, their construction gives a smooth variant of the Davies' generator derived from weak system-bath interaction. In this work, we give an efficiently implementable discrete-time quantum counterpart to Metropolis sampling that also enjoys the desirable features (i)-(iii). Also, we give an alternative highly coherent quantum generalization of detailed balanced dynamics that resembles another physically derived master equation, and propose a smooth interpolation between this and earlier constructions. We study generic properties of all constructions, including the uniqueness of the fixed-point and the locality of the resulting operators. We hope our results provide a systematic approach to the possible quantum generalizations of classical Glauber and Metropolis dynamics. △ Less

Submitted 30 May, 2024; originally announced May 2024.

An efficient and exact noncommutative quantum Gibbs sampler

Authors: Chi-Fang Chen, Michael J. Kastoryano, András Gilyén

Abstract: Preparing thermal and ground states is an essential quantum algorithmic task for quantum simulation. In this work, we construct the first efficiently implementable and exactly detailed-balanced Lindbladian for Gibbs states of arbitrary noncommutative Hamiltonians. Our construction can also be regarded as a continuous-time quantum analog of the Metropolis-Hastings algorithm. To prepare the quantum… ▽ More Preparing thermal and ground states is an essential quantum algorithmic task for quantum simulation. In this work, we construct the first efficiently implementable and exactly detailed-balanced Lindbladian for Gibbs states of arbitrary noncommutative Hamiltonians. Our construction can also be regarded as a continuous-time quantum analog of the Metropolis-Hastings algorithm. To prepare the quantum Gibbs state, our algorithm invokes Hamiltonian simulation for a time proportional to the mixing time and the inverse temperature $β$, up to polylogarithmic factors. Moreover, the gate complexity reduces significantly for lattice Hamiltonians as the corresponding Lindblad operators are (quasi-) local (with radius $\simβ$) and only depend on local Hamiltonian patches. Meanwhile, purifying our Lindbladians yields a temperature-dependent family of frustration-free "parent Hamiltonians", prescribing an adiabatic path for the canonical purified Gibbs state (i.e., the Thermal Field Double state). These favorable features suggest that our construction is the ideal quantum algorithmic counterpart of classical Markov chain Monte Carlo sampling. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 39 pages, 4 figures

Quantum algorithms: A survey of applications and end-to-end complexities

Authors: Alexander M. Dalzell, Sam McArdle, Mario Berta, Przemyslaw Bienias, Chi-Fang Chen, András Gilyén, Connor T. Hann, Michael J. Kastoryano, Emil T. Khabiboulline, Aleksander Kubica, Grant Salton, Samson Wang, Fernando G. S. L. Brandão

Abstract: The anticipated applications of quantum computers span across science and industry, ranging from quantum chemistry and many-body physics to optimization, finance, and machine learning. Proposed quantum solutions in these areas typically combine multiple quantum algorithmic primitives into an overall quantum algorithm, which must then incorporate the methods of quantum error correction and fault to… ▽ More The anticipated applications of quantum computers span across science and industry, ranging from quantum chemistry and many-body physics to optimization, finance, and machine learning. Proposed quantum solutions in these areas typically combine multiple quantum algorithmic primitives into an overall quantum algorithm, which must then incorporate the methods of quantum error correction and fault tolerance to be implemented correctly on quantum hardware. As such, it can be difficult to assess how much a particular application benefits from quantum computing, as the various approaches are often sensitive to intricate technical details about the underlying primitives and their complexities. Here we present a survey of several potential application areas of quantum algorithms and their underlying algorithmic primitives, carefully considering technical caveats and subtleties. We outline the challenges and opportunities in each area in an "end-to-end" fashion by clearly defining the problem being solved alongside the input-output model, instantiating all "oracles," and spelling out all hidden costs. We also compare quantum solutions against state-of-the-art classical methods and complexity-theoretic limitations to evaluate possible quantum speedups. The survey is written in a modular, wiki-like fashion to facilitate navigation of the content. Each primitive and application area is discussed in a standalone section, with its own bibliography of references and embedded hyperlinks that direct to other relevant sections. This structure mirrors that of complex quantum algorithms that involve several layers of abstraction, and it enables rapid evaluation of how end-to-end complexities are impacted when subroutines are altered. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Comments: Survey document with wiki-like modular structure. 337 pages, including bibliography and sub-bibliographies. Comments welcome

Quantum Thermal State Preparation

Authors: Chi-Fang Chen, Michael J. Kastoryano, Fernando G. S. L. Brandão, András Gilyén

Abstract: Preparing ground states and thermal states is essential for simulating quantum systems on quantum computers. Despite the hope for practical quantum advantage in quantum simulation, popular state preparation approaches have been challenged. Monte Carlo-style quantum Gibbs samplers have emerged as an alternative, but prior proposals have been unsatisfactory due to technical obstacles rooted in energ… ▽ More Preparing ground states and thermal states is essential for simulating quantum systems on quantum computers. Despite the hope for practical quantum advantage in quantum simulation, popular state preparation approaches have been challenged. Monte Carlo-style quantum Gibbs samplers have emerged as an alternative, but prior proposals have been unsatisfactory due to technical obstacles rooted in energy-time uncertainty. We introduce simple continuous-time quantum Gibbs samplers that overcome these obstacles by efficiently simulating Nature-inspired quantum master equations (Lindbladians). In addition, we construct the first provably accurate and efficient algorithm for preparing certain purified Gibbs states (called thermal field double states in high-energy physics) of rapidly thermalizing systems; this algorithm also benefits from a quantum walk speedup. Our algorithms' costs have a provable dependence on temperature, accuracy, and the mixing time (or spectral gap) of the relevant Lindbladian. We complete the first rigorous proof of finite-time thermalization for physically derived Lindbladians by developing a general analytic framework for nonasymptotic secular approximation and approximate detailed balance. Given the success of classical Markov chain Monte Carlo (MCMC) algorithms and the ubiquity of thermodynamics, we anticipate that quantum Gibbs sampling will become indispensable in quantum computing. △ Less

Submitted 15 November, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: 79 pages, 12 figures; v2 modified table 1 and improved presentation and bounds

Is there evidence for exponential quantum advantage in quantum chemistry?

Authors: Seunghoon Lee, Joonho Lee, Huanchen Zhai, Yu Tong, Alexander M. Dalzell, Ashutosh Kumar, Phillip Helms, Johnnie Gray, Zhi-Hao Cui, Wenyuan Liu, Michael Kastoryano, Ryan Babbush, John Preskill, David R. Reichman, Earl T. Campbell, Edward F. Valeev, Lin Lin, Garnet Kin-Lic Chan

Abstract: The idea to use quantum mechanical devices to simulate other quantum systems is commonly ascribed to Feynman. Since the original suggestion, concrete proposals have appeared for simulating molecular and materials chemistry through quantum computation, as a potential ``killer application''. Indications of potential exponential quantum advantage in artificial tasks have increased interest in this ap… ▽ More The idea to use quantum mechanical devices to simulate other quantum systems is commonly ascribed to Feynman. Since the original suggestion, concrete proposals have appeared for simulating molecular and materials chemistry through quantum computation, as a potential ``killer application''. Indications of potential exponential quantum advantage in artificial tasks have increased interest in this application, thus, it is critical to understand the basis for potential exponential quantum advantage in quantum chemistry. Here we gather the evidence for this case in the most common task in quantum chemistry, namely, ground-state energy estimation. We conclude that evidence for such an exponential advantage across chemical space has yet to be found. While quantum computers may still prove useful for quantum chemistry, it may be prudent to assume exponential speedups are not generically available for this problem. △ Less

Submitted 14 November, 2022; v1 submitted 3 August, 2022; originally announced August 2022.

Journal ref: Nat Commun 14, 1952 (2023)

Complexity phase transitions in instantaneous quantum polynomial-time circuits

Authors: Chae-Yeun Park, Michael J. Kastoryano

Abstract: We study a subclass of the Instantaneous Quantum Polynomial-time (IQP) circuit with a varying density of two-qubit gates. In addition to a known anticoncentration regime, we identify novel parameter conditions where the model is classically simulable or the output distribution follows the Porter-Thomas distribution. By showing that those parameter regimes do not coincide, we argue the presence of… ▽ More We study a subclass of the Instantaneous Quantum Polynomial-time (IQP) circuit with a varying density of two-qubit gates. In addition to a known anticoncentration regime, we identify novel parameter conditions where the model is classically simulable or the output distribution follows the Porter-Thomas distribution. By showing that those parameter regimes do not coincide, we argue the presence of more than two phases in the model. The learnability of the output distribution of this model is further studied, which indicates that an energy-based model fails to learn the output distribution even when it is not anticoncentrated. Our study reveals that a quantum circuit model can have multiple fine-grained complexity phases, suggesting the potential for quantum advantage even when the output distribution is far from the Porter-Thomas distribution. △ Less

Submitted 24 June, 2023; v1 submitted 19 April, 2022; originally announced April 2022.

Comments: 5+17 pages, 10 figures. Significantly revised by adding complexity-theoretical arguments

A highly efficient tensor network algorithm for multi-asset Fourier options pricing

Authors: Michael Kastoryano, Nicola Pancotti

Abstract: Risk assessment and in particular derivatives pricing is one of the core areas in computational finance and accounts for a sizeable fraction of the global computing resources of the financial industry. We outline a quantum-inspired algorithm for multi-asset options pricing. The algorithm is based on tensor networks, which have allowed for major conceptual and numerical breakthroughs in quantum man… ▽ More Risk assessment and in particular derivatives pricing is one of the core areas in computational finance and accounts for a sizeable fraction of the global computing resources of the financial industry. We outline a quantum-inspired algorithm for multi-asset options pricing. The algorithm is based on tensor networks, which have allowed for major conceptual and numerical breakthroughs in quantum many body physics and quantum computation. In the proof-of-concept example explored, the tensor network approach yields several orders of magnitude speedup over vanilla Monte Carlo simulations. We take this as good evidence that the use of tensor network methods holds great promise for alleviating the computation burden of risk evaluation in the financial and other industries, thus potentially lowering the carbon footprint these simulations incur today. △ Less

Submitted 5 March, 2022; originally announced March 2022.

Learning Neural Network Quantum States with the Linear Method

Authors: J. Thorben Frank, Michael J. Kastoryano

Abstract: Due to the strong correlations present in quantum systems, classical machine learning algorithms like stochastic gradient descent are often insufficient for the training of neural network quantum states (NQSs). These difficulties can be overcome by using physically inspired learning algorithm, the most prominent of which is the stochastic reconfiguration (SR) which mimics imaginary time evolution.… ▽ More Due to the strong correlations present in quantum systems, classical machine learning algorithms like stochastic gradient descent are often insufficient for the training of neural network quantum states (NQSs). These difficulties can be overcome by using physically inspired learning algorithm, the most prominent of which is the stochastic reconfiguration (SR) which mimics imaginary time evolution. Here we explore an alternative algorithms for the optimization of complex valued NQSs based on the linear method (LM), and present the explicit formulation in terms of complex valued parameters. Beyond the theoretical formulation, we present numerical evidence that the LM can be used successfully for the optimization of complex valued NQSs, to our knowledge for the first time. We compare the LM to the state-of-the-art SR algorithm and find that the LM requires up to an order of magnitude fewer iterations for convergence, albeit at a higher cost per epoch. We further demonstrate that the LM becomes the more efficient training algorithm whenever the cost of sampling is high. This advantage, however, comes at the price of a larger variance. △ Less

Submitted 22 April, 2021; originally announced April 2021.

Comments: 16 pages, 7 figures

Expressive power of complex-valued restricted Boltzmann machines for solving non-stoquastic Hamiltonians

Authors: Chae-Yeun Park, Michael J. Kastoryano

Abstract: Variational Monte Carlo with neural network quantum states has proven to be a promising avenue for evaluating the ground state energy of spin Hamiltonians. However, despite continuous efforts the performance of the method on frustrated Hamiltonians remains significantly worse than those on stoquastic Hamiltonians that are sign-free. We present a detailed and systematic study of restricted Boltzman… ▽ More Variational Monte Carlo with neural network quantum states has proven to be a promising avenue for evaluating the ground state energy of spin Hamiltonians. However, despite continuous efforts the performance of the method on frustrated Hamiltonians remains significantly worse than those on stoquastic Hamiltonians that are sign-free. We present a detailed and systematic study of restricted Boltzmann machine (RBM) based variational Monte Carlo for quantum spin chains, resolving how relevant stoquasticity is in this setting. We show that in most cases, when the Hamiltonian is phase connected with a stoquastic point, the complex RBM state can faithfully represent the ground state, and local quantities can be evaluated efficiently by sampling. On the other hand, we identify several new phases that are challenging for the RBM Ansatz, including non-topological robust non-stoquastic phases as well as stoquastic phases where sampling is nevertheless inefficient. Furthermore, we find that an accurate neural network representation of ground states in non-stoquastic phases is hindered not only by the sign structure but also by their amplitudes. △ Less

Submitted 2 November, 2022; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 14+10 pages, 20 Figures. Close to a version published in PRB

Journal ref: Phys. Rev. B 106, 134437 (2022)

Classical restrictions of generic matrix product states are quasi-locally Gibbsian

Authors: Yaiza Aragonés-Soria, Johan Åberg, Chae-Yeun Park, Michael J. Kastoryano

Abstract: We show that the norm squared amplitudes with respect to a local orthonormal basis (the classical restriction) of finite quantum systems on one-dimensional lattices can be exponentially well approximated by Gibbs states of local Hamiltonians (i.e., are quasi-locally Gibbsian) if the classical conditional mutual information (CMI) of any connected tripartition of the lattice is rapidly decaying in t… ▽ More We show that the norm squared amplitudes with respect to a local orthonormal basis (the classical restriction) of finite quantum systems on one-dimensional lattices can be exponentially well approximated by Gibbs states of local Hamiltonians (i.e., are quasi-locally Gibbsian) if the classical conditional mutual information (CMI) of any connected tripartition of the lattice is rapidly decaying in the width of the middle region. For injective matrix product states, we moreover show that the classical CMI decays exponentially, whenever the collection of matrix product operators satisfies a 'purity condition'; a notion previously established in the theory of random matrix products. We furthermore show that violations of the purity condition enables a generalized notion of error correction on the virtual space, thus indicating the non-generic nature of such violations. We make this intuition more concrete by constructing a probabilistic model where purity is a typical property. The proof of our main result makes extensive use of the theory of random matrix products, and may find applications elsewhere. △ Less

Submitted 17 September, 2021; v1 submitted 22 October, 2020; originally announced October 2020.

Comments: Published version

Journal ref: Journal of Mathematical Physics 62, 093511 (2021)

Avoiding local minima in variational quantum eigensolvers with the natural gradient optimizer

Authors: David Wierichs, Christian Gogolin, Michael Kastoryano

Abstract: We compare the BFGS optimizer, ADAM and Natural Gradient Descent (NatGrad) in the context of Variational Quantum Eigensolvers (VQEs). We systematically analyze their performance on the QAOA ansatz for the Transverse Field Ising Model (TFIM) as well as on overparametrized circuits with the ability to break the symmetry of the Hamiltonian. The BFGS algorithm is frequently unable to find a global min… ▽ More We compare the BFGS optimizer, ADAM and Natural Gradient Descent (NatGrad) in the context of Variational Quantum Eigensolvers (VQEs). We systematically analyze their performance on the QAOA ansatz for the Transverse Field Ising Model (TFIM) as well as on overparametrized circuits with the ability to break the symmetry of the Hamiltonian. The BFGS algorithm is frequently unable to find a global minimum for systems beyond about 20 spins and ADAM easily gets trapped in local minima. On the other hand, NatGrad shows stable performance on all considered system sizes, albeit at a significantly higher cost per epoch. In sharp contrast to most classical gradient based learning, the performance of all optimizers is found to decrease upon seemingly benign overparametrization of the ansatz class, with BFGS and ADAM failing more often and more severely than NatGrad. Additional tests for the Heisenberg XXZ model corroborate the accuracy problems of BFGS in high dimensions, but they reveal some shortcomings of NatGrad as well. Our results suggest that great care needs to be taken in the choice of gradient based optimizers and the parametrization for VQEs. △ Less

Submitted 19 May, 2020; v1 submitted 30 April, 2020; originally announced April 2020.

Comments: 16 pages, 6 figures, 1 table

Journal ref: Phys. Rev. Research 2, 043246 (2020)

Geometry of learning neural quantum states

Authors: Chae-Yeun Park, Michael J. Kastoryano

Abstract: Combining insights from machine learning and quantum Monte Carlo, the stochastic reconfiguration method with neural network Ansatz states is a promising new direction for high-precision ground state estimation of quantum many-body problems. Even though this method works well in practice, little is known about the learning dynamics. In this paper, we bring to light several hidden details of the alg… ▽ More Combining insights from machine learning and quantum Monte Carlo, the stochastic reconfiguration method with neural network Ansatz states is a promising new direction for high-precision ground state estimation of quantum many-body problems. Even though this method works well in practice, little is known about the learning dynamics. In this paper, we bring to light several hidden details of the algorithm by analyzing the learning landscape. In particular, the spectrum of the quantum Fisher matrix of complex restricted Boltzmann machine states exhibits a universal initial dynamics, but the converged spectrum can dramatically change across a phase transition. In contrast to the spectral properties of the quantum Fisher matrix, the actual weights of the network at convergence do not reveal much information about the system or the dynamics. Furthermore, we identify a new measure of correlation in the state by analyzing entanglement in eigenvectors. We show that, generically, the learning landscape modes with least entanglement have largest eigenvalue, suggesting that correlations are encoded in large flat valleys of the learning landscape, favoring stable representations of the ground state. △ Less

Submitted 13 October, 2020; v1 submitted 24 October, 2019; originally announced October 2019.

Comments: 18 pages, 10 Figures, close to a version published in Physical Review Research

Journal ref: Phys. Rev. Research 2, 023232 (2020)

The role of entropy in topological quantum error correction

Authors: Michael E. Beverland, Benjamin J. Brown, Michael J. Kastoryano, Quentin Marolleau

Abstract: The performance of a quantum error-correction process is determined by the likelihood that a random configuration of errors introduced to the system will lead to the corruption of encoded logical information. In this work we compare two different variants of the surface code with a comparable number of qubits: the surface code defined on a square lattice and the same model on a lattice that is rot… ▽ More The performance of a quantum error-correction process is determined by the likelihood that a random configuration of errors introduced to the system will lead to the corruption of encoded logical information. In this work we compare two different variants of the surface code with a comparable number of qubits: the surface code defined on a square lattice and the same model on a lattice that is rotated by $π/ 4$. This seemingly innocuous change increases the distance of the code by a factor of $\sqrt{2}$.However, as we show, this gain can come at the expense of significantly increasing the number of different failure mechanisms that are likely to occur. We use a number of different methods to explore this tradeoff over a large range of parameter space under an independent and identically distributed noise model. We rigorously analyze the leading order performance for low error rates, where the larger distance code performs best for all system sizes. Using an analytical model and Monte Carlo sampling, we find that this improvement persists for fixed sub-threshold error rates for large system size, but that the improvement vanishes close to threshold. Remarkably, intensive numerics uncover a region of system sizes and sub-threshold error rates where the square lattice surface code marginally outperforms the rotated model. △ Less

Submitted 12 December, 2018; originally announced December 2018.

Comments: 20 pages, 19 figures, comments welcome

Journal ref: J. Stat. Mech.:Theor. Exp. 2019, 073404 (2019)

Topological transport in the steady state of a quantum particle with dissipation

Authors: Michael J. Kastoryano, Mark S. Rudner

Abstract: We study topological transport in the steady state of a quantum particle hopping on a one-dimensional lattice in the presence of dissipation. The model exhibits a rich phase structure, with the average particle velocity in the steady state playing the role of a non-equilibrium order parameter. Within each phase the average velocity is proportional to a topological winding number and to the inverse… ▽ More We study topological transport in the steady state of a quantum particle hopping on a one-dimensional lattice in the presence of dissipation. The model exhibits a rich phase structure, with the average particle velocity in the steady state playing the role of a non-equilibrium order parameter. Within each phase the average velocity is proportional to a topological winding number and to the inverse of the average time between quantum jumps. While the average velocity depends smoothly on system parameters within each phase, nonanalytic behavior arises at phase transition points. We show that certain types of spatial boundaries between regions where different phases are realized host a number of topological bound states which is equal to the difference between the winding numbers characterizing the phases on the two sides of the boundary. These topological bound states are attractors for the dynamics; in cases where the winding number changes by more than one when crossing the boundary, the subspace of topological bound states forms a dark, decoherence free subspace for the dissipative system. Finally we discuss how the dynamics we describe can be realized in a simple cavity or circuit QED setup, where the topological boundary mode emerges as a robust coherent state of the light field. △ Less

Submitted 21 August, 2018; originally announced August 2018.

Comments: 9 pages, 4 figures

Journal ref: Phys. Rev. B 99, 125118 (2019)

Locality at the boundary implies gap in the bulk for 2D PEPS

Authors: Michael J. Kastoryano, Angelo Lucia, David Perez-Garcia

Abstract: Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in t… ▽ More Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in the thermodynamic limit; second, we then show that Gibbs state of a local, finite-range Hamiltonian satisfy such condition. The proof applies to the case of injective and MPO-injective PEPS, employs the martingale method of nearly commuting projectors, and exploits a result of Araki on the robustness of one dimensional Gibbs states. Our result provides one of the first rigorous connections between boundary theories and dynamical properties in an interacting many body system. △ Less

Submitted 14 December, 2018; v1 submitted 22 September, 2017; originally announced September 2017.

Comments: 31 pages, 9 figures. Revised version

Journal ref: Commun. Math. Phys. (2019) 366: 895

Divide and conquer method for proving gaps of frustration free Hamiltonians

Authors: Michael J. Kastoryano, Angelo Lucia

Abstract: Providing system-size independent lower bounds on the spectral gap of local Hamiltonian is in general a hard problem. For the case of finite-range, frustration free Hamiltonians on a spin lattice of arbitrary dimension, we show that a property of the ground state space is sufficient to obtain such a bound. We furthermore show that such a condition is necessary and equivalent to a constant spectral… ▽ More Providing system-size independent lower bounds on the spectral gap of local Hamiltonian is in general a hard problem. For the case of finite-range, frustration free Hamiltonians on a spin lattice of arbitrary dimension, we show that a property of the ground state space is sufficient to obtain such a bound. We furthermore show that such a condition is necessary and equivalent to a constant spectral gap. Thanks to this equivalence, we can prove that for gapless models in any dimension, the spectral gap on regions of diameter $n$ is at most $o\left(\frac{\log(n)^{2+ε}}{n}\right)$ for any positive $ε$. △ Less

Submitted 29 April, 2018; v1 submitted 26 May, 2017; originally announced May 2017.

Comments: This is an author-created, un-copyedited version of an article accepted for publication/published in Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing Ltd is not responsible for any errors or omissions in this version of the manuscript or any version derived from it. The Version of Record is available online at http://dx.doi.org/10.1088/1742-5468/aaa793, Journal of Statistical Mechanics: Theory and Experiment, March 2018

Journal ref: Journal of Statistical Mechanics: Theory and Experiment, Volume 2018, March 2018

Driven quantum dynamics: will it blend?

Authors: Leonardo Banchi, Daniel Burgarth, Michael J. Kastoryano

Abstract: Randomness is an essential tool in many disciplines of modern sciences, such as cryptography, black hole physics, random matrix theory and Monte Carlo sampling. In quantum systems, random operations can be obtained via random circuits thanks to so-called q-designs, and play a central role in the fast scrambling conjecture for black holes. Here we consider a more physically motivated way of generat… ▽ More Randomness is an essential tool in many disciplines of modern sciences, such as cryptography, black hole physics, random matrix theory and Monte Carlo sampling. In quantum systems, random operations can be obtained via random circuits thanks to so-called q-designs, and play a central role in the fast scrambling conjecture for black holes. Here we consider a more physically motivated way of generating random evolutions by exploiting the many-body dynamics of a quantum system driven with stochastic external pulses. We combine techniques from quantum control, open quantum systems and exactly solvable models (via the Bethe-Ansatz) to generate Haar-uniform random operations in driven many-body systems. We show that any fully controllable system converges to a unitary q-design in the long-time limit. Moreover, we study the convergence time of a driven spin chain by mapping its random evolution into a semigroup with an integrable Liouvillean and finding its gap. Remarkably, we find via Bethe-Ansatz techniques that the gap is independent of q. We use mean-field techniques to argue that this property may be typical for other controllable systems, although we explicitly construct counter-examples via symmetry breaking arguments to show that this is not always the case. Our findings open up new physical methods to transform classical randomness into quantum randomness, via a combination of quantum many-body dynamics and random driving. △ Less

Submitted 3 October, 2017; v1 submitted 10 April, 2017; originally announced April 2017.

Comments: 22 pages, 7 figures, accepted version in Phys. Rev. X

Journal ref: Phys. Rev. X 7, 041015 (2017)

Entanglement renormalization, quantum error correction, and bulk causality

Authors: Isaac H. Kim, Michael J. Kastoryano

Abstract: Entanglement renormalization can be viewed as an encoding circuit for a family of approximate quantum error correcting codes. The logical information becomes progressively more well-protected against erasure errors at larger length scales. In particular, an approximate variant of holographic quantum error correcting code emerges at low energy for critical systems. This implies that two operators t… ▽ More Entanglement renormalization can be viewed as an encoding circuit for a family of approximate quantum error correcting codes. The logical information becomes progressively more well-protected against erasure errors at larger length scales. In particular, an approximate variant of holographic quantum error correcting code emerges at low energy for critical systems. This implies that two operators that are largely separated in scales behave as if they are spatially separated operators, in the sense that they obey a Lieb-Robinson type locality bound under a time evolution generated bya local Hamiltonian. △ Less

Submitted 13 April, 2017; v1 submitted 30 December, 2016; originally announced January 2017.

Comments: 10 pages, 5 figures. typos corrected

Journal ref: JHEP 04 (2017) 40

Limits on the storage of quantum information in a volume of space

Authors: Steven T. Flammia, Jeongwan Haah, Michael J. Kastoryano, Isaac H. Kim

Abstract: We study the fundamental limits on the reliable storage of quantum information in lattices of qubits by deriving tradeoff bounds for approximate quantum error correcting codes. We introduce a notion of local approximate correctability and code distance, and give a number of equivalent formulations thereof, generalizing various exact error-correction criteria. Our tradeoff bounds relate the number… ▽ More We study the fundamental limits on the reliable storage of quantum information in lattices of qubits by deriving tradeoff bounds for approximate quantum error correcting codes. We introduce a notion of local approximate correctability and code distance, and give a number of equivalent formulations thereof, generalizing various exact error-correction criteria. Our tradeoff bounds relate the number of physical qubits $n$, the number of encoded qubits $k$, the code distance $d$, the accuracy parameter $δ$ that quantifies how well the erasure channel can be reversed, and the locality parameter $\ell$ that specifies the length scale at which the recovery operation can be done. In a regime where the recovery is successful to accuracy $ε$ that is exponentially small in $\ell$, which is the case for perturbations of local commuting projector codes, our bound reads $kd^{\frac{2}{D-1}} \le O\bigl(n (\log n)^{\frac{2D}{D-1}} \bigr)$ for codes on $D$-dimensional lattices of Euclidean metric. We also find that the code distance of any local approximate code cannot exceed $O\bigl(\ell n^{(D-1)/D}\bigr)$ if $δ\le O(\ell n^{-1/D})$. As a corollary of our formulation of correctability in terms of logical operator avoidance, we show that the code distance $d$ and the size $\tilde d$ of a minimal region that can support all approximate logical operators satisfies $\tilde d d^{\frac{1}{D-1}}\le O\bigl( n \ell^{\frac{D}{D-1}} \bigr)$, where the logical operators are accurate up to $O\bigl( ( n δ/ d )^{1/2}\bigr)$ in operator norm. Finally, we prove that for two-dimensional systems if logical operators can be approximated by operators supported on constant-width flexible strings, then the dimension of the code space must be bounded. This supports one of the assumptions of algebraic anyon theories, that there exist only finitely many anyon types. △ Less

Submitted 22 October, 2021; v1 submitted 19 October, 2016; originally announced October 2016.

Comments: 20+10 pages, 5 figures. v2, Final published version to appear in the journal Quantum. v3, fixing Lemma 15(iv)

Journal ref: Quantum 1, 4 (2017)

Finite correlation length implies efficient preparation of quantum thermal states

Authors: Fernando G. S. L. Brandao, Michael J. Kastoryano

Abstract: Preparing quantum thermal states on a quantum computer is in general a difficult task. We provide a procedure to prepare a thermal state on a quantum computer with a logarithmic depth circuit of local quantum channels assuming that the thermal state correlations satisfy the following two properties: (i) the correlations between two regions are exponentially decaying in the distance between the reg… ▽ More Preparing quantum thermal states on a quantum computer is in general a difficult task. We provide a procedure to prepare a thermal state on a quantum computer with a logarithmic depth circuit of local quantum channels assuming that the thermal state correlations satisfy the following two properties: (i) the correlations between two regions are exponentially decaying in the distance between the regions, and (ii) the thermal state is an approximate Markov state for shielded regions. We require both properties to hold for the thermal state of the Hamiltonian on any induced subgraph of the original lattice. Assumption (ii) is satisfied for all commuting Gibbs states, while assumption (i) is satisfied for every model above a critical temperature. Both assumptions are satisfied in one spatial dimension. Moreover, both assumptions are expected to hold above the thermal phase transition for models without any topological order at finite temperature. As a building block, we show that exponential decay of correlation (for thermal states of Hamiltonians on all induced subgraph) is sufficient to efficiently estimate the expectation value of a local observable. Our proof uses quantum belief propagation, a recent strengthening of strong sub-additivity, and naturally breaks down for states with topological order. △ Less

Submitted 12 February, 2019; v1 submitted 26 September, 2016; originally announced September 2016.

Comments: 16 pages, 4 figures

Journal ref: Communications in Mathematical Physics 365.1 (2019): 1-16

Emergence of spontaneous symmetry breaking in dissipative lattice systems

Authors: H. Wilming, M. J. Kastoryano, A. H. Werner, J. Eisert

Abstract: A cornerstone of the theory of phase transitions is the observation that many-body systems exhibiting a spontaneous symmetry breaking in the thermodynamic limit generally show extensive fluctuations of an order parameter in large but finite systems. In this work, we introduce the dynamical analogue of such a theory. Specifically, we consider local dissipative dynamics preparing a steady-state of q… ▽ More A cornerstone of the theory of phase transitions is the observation that many-body systems exhibiting a spontaneous symmetry breaking in the thermodynamic limit generally show extensive fluctuations of an order parameter in large but finite systems. In this work, we introduce the dynamical analogue of such a theory. Specifically, we consider local dissipative dynamics preparing a steady-state of quantum spins on a lattice exhibiting a discrete or continuous symmetry but with extensive fluctuations in a local order parameter. We show that for all such processes satisfying detailed balance, there exist metastable symmetry-breaking states, i.e., states that become stationary in the thermodynamic limit and give a finite value to the order parameter. We give results both for discrete and continuous symmetries and explicitly show how to construct the symmetry-breaking states. Our results show in a simple way that, in large systems, local dissipative dynamics satisfying detailed balance cannot uniquely and efficiently prepare states with extensive fluctuations with respect to local operators. We discuss the implications of our results for quantum simulators and dissipative state preparation. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: 15 pages

Journal ref: J. Math. Phys. 58, 033302 (2017)

Cellular automaton decoders of topological quantum memories in the fault tolerant setting

Authors: M. Herold, M. J. Kastoryano, E. T. Campbell, J. Eisert

Abstract: Active error decoding and correction of topological quantum codes - in particular the toric code - remains one of the most viable routes to large scale quantum information processing. In contrast, passive error correction relies on the natural physical dynamics of a system to protect encoded quantum information. However, the search is ongoing for a completely satisfactory passive scheme applicable… ▽ More Active error decoding and correction of topological quantum codes - in particular the toric code - remains one of the most viable routes to large scale quantum information processing. In contrast, passive error correction relies on the natural physical dynamics of a system to protect encoded quantum information. However, the search is ongoing for a completely satisfactory passive scheme applicable to locally-interacting two-dimensional systems. Here, we investigate dynamical decoders that provide passive error correction by embedding the decoding process into local dynamics. We propose a specific discrete time cellular-automaton decoder in the fault tolerant setting and provide numerical evidence showing that the logical qubit has a survival time extended by several orders of magnitude over that of a bare unencoded qubit. We stress that (asynchronous) dynamical decoding gives rise to a Markovian dissipative process. We hence equate cellular-automaton decoding to a fully dissipative topological quantum memory, which removes errors continuously. In this sense, uncontrolled and unwanted local noise can be corrected for by a controlled local dissipative process. We analyze the required resources, commenting on additional polylogarithmic factors beyond those incurred by an ideal constant resource dynamical decoder. △ Less

Submitted 30 June, 2017; v1 submitted 17 November, 2015; originally announced November 2015.

Comments: 8 pages, 3 figures, replaced with published version

Journal ref: New J. Phys. 19, 063012 (2017)

Non-commutative Nash inequalities

Authors: Michael J. Kastoryano, Kristan Temme

Abstract: A set of functional inequalities - called Nash inequalities - are introduced and analyzed in the context of quantum Markov process mixing. The basic theory of Nash inequalities is extended to the setting of non-commutative Lp spaces, where their relationship to Poincare and log-Sobolev inequalities are fleshed out. We prove Nash inequalities for a number of unital reversible semigroups. A set of functional inequalities - called Nash inequalities - are introduced and analyzed in the context of quantum Markov process mixing. The basic theory of Nash inequalities is extended to the setting of non-commutative Lp spaces, where their relationship to Poincare and log-Sobolev inequalities are fleshed out. We prove Nash inequalities for a number of unital reversible semigroups. △ Less

Submitted 11 August, 2015; originally announced August 2015.

Journal ref: J. Math. Phys. 57, 015217 (2016)

How fast do stabilizer Hamiltonians thermalize?

Authors: Kristan Temme, Michael J. Kastoryano

Abstract: We present rigorous bounds on the thermalization time of the family of quantum mechanical spin systems known as stabilizer Hamiltonians. The thermalizing dynamics are modeled by a Davies master equation that arises from a weak local coupling of the system to a large thermal bath. Two temperature regimes are considered. First we clarify how in the low temperature regime, the thermalization time is… ▽ More We present rigorous bounds on the thermalization time of the family of quantum mechanical spin systems known as stabilizer Hamiltonians. The thermalizing dynamics are modeled by a Davies master equation that arises from a weak local coupling of the system to a large thermal bath. Two temperature regimes are considered. First we clarify how in the low temperature regime, the thermalization time is governed by a generalization of the energy barrier between orthogonal ground states. When no energy barrier is present the Hamiltonian thermalizes in a time that is at most quadratic in the system size. Secondly, we show that above a universal critical temperature, every stabilizer Hamiltonian relaxes to its unique thermal state in a time which scales at most linearly in the size of the system. We provide an explicit lower bound on the critical temperature. Finally, we discuss the implications of these result for the problem of self-correcting quantum memories with stabilizer Hamiltonians. △ Less

Submitted 28 May, 2015; originally announced May 2015.

Quantum reverse hypercontractivity

Authors: Toby Cubitt, Michael Kastoryano, Ashley Montanaro, Kristan Temme

Abstract: We develop reverse versions of hypercontractive inequalities for quantum channels. By generalizing classical techniques, we prove a reverse hypercontractive inequality for tensor products of qubit depolarizing channels. We apply this to obtain a rapid mixing result for depolarizing noise applied to large subspaces, and to prove bounds on a quantum generalization of non-interactive correlation dist… ▽ More We develop reverse versions of hypercontractive inequalities for quantum channels. By generalizing classical techniques, we prove a reverse hypercontractive inequality for tensor products of qubit depolarizing channels. We apply this to obtain a rapid mixing result for depolarizing noise applied to large subspaces, and to prove bounds on a quantum generalization of non-interactive correlation distillation. △ Less

Submitted 5 October, 2015; v1 submitted 23 April, 2015; originally announced April 2015.

Comments: 14 pages; v2: minor corrections and clarifications, essentially published version

Journal ref: J. Math. Phys. 56, 102204 (2015)

Quantum Gibbs Samplers: the commuting case

Authors: Michael J. Kastoryano, Fernando G. S. L. Brandao

Abstract: We analyze the problem of preparing quantum Gibbs states of lattice spin Hamiltonians with local and commuting terms on a quantum computer and in nature. Our central result is an equivalence between the behavior of correlations in the Gibbs state and the mixing time of the semigroup which drives the system to thermal equilibrium (the Gibbs sampler). We introduce a framework for analyzing the corre… ▽ More We analyze the problem of preparing quantum Gibbs states of lattice spin Hamiltonians with local and commuting terms on a quantum computer and in nature. Our central result is an equivalence between the behavior of correlations in the Gibbs state and the mixing time of the semigroup which drives the system to thermal equilibrium (the Gibbs sampler). We introduce a framework for analyzing the correlation and mixing characteristics of quantum Gibbs states and quantum Gibbs samplers, which is rooted in the theory of non-commutative Lp spaces. We consider two distinct classes of Gibbs samplers, one of which being the well-studied Davies generators modelling the dynamics on the system due to weak-coupling with a large Markovian environment. We show that their gap is independent of system size if, and only if, a certain strong form of clustering of correlations holds in the Gibbs state. As concrete applications of our formalism, we show that for every one-dimensional lattice system, or for systems in lattices of any dimension at high enough temperatures, the Gibbs samplers of commuting Hamiltonians are always gapped, giving an efficient way of preparing these states on a quantum computer. △ Less

Submitted 7 June, 2016; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: 42 pages, 4 figures

Journal ref: Communications in Mathematical Physics, June 2016, Volume 344, Issue 3, pp 915-957

Cellular-automaton decoders for topological quantum memories

Authors: Michael Herold, Earl T. Campbell, Jens Eisert, Michael J. Kastoryano

Abstract: We introduce a new framework for constructing topological quantum memories, by recasting error recovery as a dynamical process on a field generating cellular automaton. We envisage quantum systems controlled by a classical hardware composed of small local memories, communicating with neighbours, and repeatedly performing identical simple update rules. This approach does not require any global oper… ▽ More We introduce a new framework for constructing topological quantum memories, by recasting error recovery as a dynamical process on a field generating cellular automaton. We envisage quantum systems controlled by a classical hardware composed of small local memories, communicating with neighbours, and repeatedly performing identical simple update rules. This approach does not require any global operations or complex decoding algorithms. Our cellular automata draw inspiration from classical field theories, with a Coulomb-like potential naturally emerging from the local dynamics. For a 3D automaton coupled to a 2D toric code, we present evidence of an error correction threshold above 6.1% for uncorrelated noise. A 2D automaton equipped with a more complex update rule yields a threshold above 8.2%. Our framework provides decisive new tools in the quest for realising a passive dissipative quantum memory. △ Less

Submitted 27 October, 2015; v1 submitted 9 June, 2014; originally announced June 2014.

Comments: 8+5 pages, 5 figures

Journal ref: npj Quant. Inf. 1, 15010 (2015)

Hypercontractivity of quasi-free quantum semigroups

Authors: Kristan Temme, Fernando Pastawski, Michael J. Kastoryano

Abstract: Hypercontractivity of a quantum dynamical semigroup has strong implications for its convergence behavior and entropy decay rate. A logarithmic Sobolev inequality and the corresponding logarithmic Sobolev constant can be inferred from the semigroup's hypercontractive norm bound. We consider completely-positive quantum mechanical semigroups described by a Lindblad master equation. To prove the norm… ▽ More Hypercontractivity of a quantum dynamical semigroup has strong implications for its convergence behavior and entropy decay rate. A logarithmic Sobolev inequality and the corresponding logarithmic Sobolev constant can be inferred from the semigroup's hypercontractive norm bound. We consider completely-positive quantum mechanical semigroups described by a Lindblad master equation. To prove the norm bound, we follow an approach which has its roots in the study of classical rate equations. We use interpolation theorems for non-commutative $L_p$ spaces to obtain a general hypercontractive inequality from a particular $p \rightarrow q$-norm bound. Then, we derive a bound on the $2 \rightarrow 4$-norm from an analysis of the block diagonal structure of the semigroup's spectrum. We show that the dynamics of an $N$-qubit graph state Hamiltonian weakly coupled to a thermal environment is hypercontractive. As a consequence this allows for the efficient preparation of graph states in time ${\rm poly}(\log(N))$ by coupling at sufficiently low temperature. Furthermore, we extend our results to gapped Liouvillians arising from a weak linear coupling of a free-fermion systems. △ Less

Submitted 9 December, 2014; v1 submitted 20 March, 2014; originally announced March 2014.

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 405303

Locality of temperature

Authors: M. Kliesch, C. Gogolin, M. J. Kastoryano, A. Riera, J. Eisert

Abstract: This work is concerned with thermal quantum states of Hamiltonians on spin and fermionic lattice systems with short range interactions. We provide results leading to a local definition of temperature, thereby extending the notion of "intensivity of temperature" to interacting quantum models. More precisely, we derive a perturbation formula for thermal states. The influence of the perturbation is e… ▽ More This work is concerned with thermal quantum states of Hamiltonians on spin and fermionic lattice systems with short range interactions. We provide results leading to a local definition of temperature, thereby extending the notion of "intensivity of temperature" to interacting quantum models. More precisely, we derive a perturbation formula for thermal states. The influence of the perturbation is exactly given in terms of a generalized covariance. For this covariance, we prove exponential clustering of correlations above a universal critical temperature that upper bounds physical critical temperatures such as the Curie temperature. As a corollary, we obtain that above the critical temperature, thermal states are stable against distant Hamiltonian perturbations. Moreover, our results imply that above the critical temperature, local expectation values can be approximated efficiently in the error and the system size. △ Less

Submitted 1 August, 2014; v1 submitted 3 September, 2013; originally announced September 2013.

Comments: 11 pages + 6 pages appendix, 6 figures; proof of the clustering theorem corrected, improved presentation

Journal ref: Phys. Rev. X 4, 031019 (2014)

Rapid mixing implies exponential decay of correlations

Authors: Michael J. Kastoryano, Jens Eisert

Abstract: We provide an analysis of the correlation properties of spin and fermionic systems on a lattice evolving according to open system dynamics generated by a local primitive Liouvillian. We show that if the Liouvillian has a spectral gap which is independent of the system size, then the correlations between local observables decay exponentially as a function of the distance between their supports. We… ▽ More We provide an analysis of the correlation properties of spin and fermionic systems on a lattice evolving according to open system dynamics generated by a local primitive Liouvillian. We show that if the Liouvillian has a spectral gap which is independent of the system size, then the correlations between local observables decay exponentially as a function of the distance between their supports. We prove, furthermore, that if the Log-Sobolev constant is independent of the system size, then the system satisfies clustering of correlations in the mutual information - a much more stringent form of correlation decay. As a consequence, in the latter case we get an area law (with logarithmic corrections) for the mutual information. As a further corollary, we obtain a stability theorem for local distant perturbations. We also demonstrate that gapped free-fermionic systems exhibit clustering of correlations in the covariance and in the mutual information. We conclude with a discussion of the implications of these results for the classical simulation of open quantum systems with matrix-product operators and the robust dissipative preparation of topologically ordered states of lattice spin systems. △ Less

Submitted 17 July, 2014; v1 submitted 25 March, 2013; originally announced March 2013.

Comments: 25 pages, 2 figures, replaced by final version

Journal ref: J. Math. Phys. 54, 102201 (2013)

Mutual information area laws for thermal free fermions

Authors: H. Bernigau, M. J. Kastoryano, J. Eisert

Abstract: We provide a rigorous and asymptotically exact expression of the mutual information of translationally invariant free fermionic lattice systems in a Gibbs state. In order to arrive at this result, we introduce a novel frameworkfor computing determinants of Toeplitz operators with smooth symbols, and for treating Toeplitz matrices with system size dependent entries. The asymptotically exact mutual… ▽ More We provide a rigorous and asymptotically exact expression of the mutual information of translationally invariant free fermionic lattice systems in a Gibbs state. In order to arrive at this result, we introduce a novel frameworkfor computing determinants of Toeplitz operators with smooth symbols, and for treating Toeplitz matrices with system size dependent entries. The asymptotically exact mutual information for a partition of the one-dimensional lattice satisfies an area law, with a prefactor which we compute explicitly. As examples, we discuss the fermionic XX model in one dimension and free fermionic models on the torus in higher dimensions in detail. Special emphasis is put onto the discussion of the temperature dependence of the mutual information, scaling like the logarithm of the inverse temperature, hence confirming an expression suggested by conformal field theory. We also comment on the applicability of the formalism to treat open systems driven by quantum noise. In the appendix, we derive useful bounds to the mutual information in terms of purities. Finally, we provide a detailed error analysis for finite system sizes. This analysis is valuable in its own right for the abstract theory of Toeplitz determinants. △ Less

Submitted 10 February, 2015; v1 submitted 23 January, 2013; originally announced January 2013.

Comments: 42 pages, 4 figures, replaced by final version

Journal ref: J. Stat. Mech. P02008 (2015)

Quantum logarithmic Sobolev inequalities and rapid mixing

Authors: Michael J. Kastoryano, Kristan Temme

Abstract: A family of logarithmic Sobolev inequalities on finite dimensional quantum state spaces is introduced. The framework of non-commutative $\bL_p$-spaces is reviewed and the relationship between quantum logarithmic Sobolev inequalities and the hypercontractivity of quantum semigroups is discussed. This relationship is central for the derivation of lower bounds for the logarithmic Sobolev (LS) constan… ▽ More A family of logarithmic Sobolev inequalities on finite dimensional quantum state spaces is introduced. The framework of non-commutative $\bL_p$-spaces is reviewed and the relationship between quantum logarithmic Sobolev inequalities and the hypercontractivity of quantum semigroups is discussed. This relationship is central for the derivation of lower bounds for the logarithmic Sobolev (LS) constants. Essential results for the family of inequalities are proved, and we show an upper bound to the generalized LS constant in terms of the spectral gap of the generator of the semigroup. These inequalities provide a framework for the derivation of improved bounds on the convergence time of quantum dynamical semigroups, when the LS constant and the spectral gap are of the same order. Convergence bounds on finite dimensional state spaces are particularly relevant for the field of quantum information theory. We provide a number of examples, where improved bounds on the mixing time of several semigroups are obtained; including the depolarizing semigroup and quantum expanders. △ Less

Submitted 12 June, 2013; v1 submitted 13 July, 2012; originally announced July 2012.

Comments: Updated manuscript, 30 pages, no figures

Journal ref: J. Math. Phys. 54, 052202 (2013)

Precisely timing dissipative quantum information processing

Authors: M. J. Kastoryano, M. M. Wolf, J. Eisert

Abstract: Dissipative engineering constitutes a framework within which quantum information processing protocols are powered by system-environment interaction rather than by unitary dynamics alone. This framework embraces noise as a resource, and consequently, offers a number of advantages compared to one based on unitary dynamics alone, e.g., that the protocols are typically independent of the initial state… ▽ More Dissipative engineering constitutes a framework within which quantum information processing protocols are powered by system-environment interaction rather than by unitary dynamics alone. This framework embraces noise as a resource, and consequently, offers a number of advantages compared to one based on unitary dynamics alone, e.g., that the protocols are typically independent of the initial state of the system. However, the time independent nature of this scheme makes it difficult to imagine precisely timed sequential operations, conditional measurements or error correction. In this work, we provide a path around these challenges, by introducing basic dissipative gadgets which allow us to precisely initiate, trigger and time dissipative operations, while keeping the system Liouvillian time-independent. These gadgets open up novel perspectives for thinking of timed dissipative quantum information processing. As an example, we sketch how measurement based computation can be simulated in the dissipative setting. △ Less

Submitted 29 November, 2012; v1 submitted 4 May, 2012; originally announced May 2012.

Comments: 5+5 pages, material added

Journal ref: Phys. Rev. Lett. 110, 110501 (2013)

A Cutoff Phenomenon for Quantum Markov Chains

Authors: Michael J. Kastoryano, David Reeb, Michael M. Wolf

Abstract: We derive upper and lower bounds on the convergence behavior of certain classes of one-parameter quantum dynamical semigroups. The classes we consider consist of tensor product channels and of channels with commuting Liouvillians. We introduce the notion of Cutoff Phenomenon in the setting of quantum information theory, and show how it exemplifies the fact that the convergence of (quantum) stochas… ▽ More We derive upper and lower bounds on the convergence behavior of certain classes of one-parameter quantum dynamical semigroups. The classes we consider consist of tensor product channels and of channels with commuting Liouvillians. We introduce the notion of Cutoff Phenomenon in the setting of quantum information theory, and show how it exemplifies the fact that the convergence of (quantum) stochastic processes is not solely governed by the spectral gap of the transition map. We apply the new methods to show that graph states can be prepared efficiently, albeit not in constant time, by dissipation, and give the exact scaling behavior of the time to stationarity. △ Less

Submitted 10 November, 2011; v1 submitted 9 November, 2011; originally announced November 2011.

Comments: 14 pages, 2 figures

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 075307

Driving two atoms in an optical cavity into an entangled steady state using engineered decay

Authors: Florentin Reiter, Michael J. Kastoryano, Anders S. Sørensen

Abstract: We propose various schemes for the dissipative preparation of a maximally entangled steady state of two atoms in an optical cavity. Harnessing the natural decay processes of cavity photon loss and spontaneous emission, we use an effective operator formalism to identify and engineer effective decay processes, which reach an entangled steady state of two atoms as the unique fixed point of the dissip… ▽ More We propose various schemes for the dissipative preparation of a maximally entangled steady state of two atoms in an optical cavity. Harnessing the natural decay processes of cavity photon loss and spontaneous emission, we use an effective operator formalism to identify and engineer effective decay processes, which reach an entangled steady state of two atoms as the unique fixed point of the dissipative time evolution. We investigate various aspects that are crucial for the experimental implementation of our schemes in present-day and future cavity quantum electrodynamics systems and analytically derive the optimal parameters, the error scaling and the speed of convergence of our protocols. Our study shows promising performance of our schemes for existing cavity experiments and favorable scaling of fidelity and speed with respect to the cavity parameters. △ Less

Submitted 18 June, 2012; v1 submitted 5 October, 2011; originally announced October 2011.

Comments: 37 pages, 14 figures

Journal ref: New J. Phys. 14, 053022 (2012)

A dissipative quantum Church-Turing theorem

Authors: M. Kliesch, T. Barthel, C. Gogolin, M. Kastoryano, J. Eisert

Abstract: We show that the time evolution of an open quantum system, described by a possibly time dependent Liouvillian, can be simulated by a unitary quantum circuit of a size scaling polynomially in the simulation time and the size of the system. An immediate consequence is that dissipative quantum computing is no more powerful than the unitary circuit model. Our result can be seen as a dissipative Church… ▽ More We show that the time evolution of an open quantum system, described by a possibly time dependent Liouvillian, can be simulated by a unitary quantum circuit of a size scaling polynomially in the simulation time and the size of the system. An immediate consequence is that dissipative quantum computing is no more powerful than the unitary circuit model. Our result can be seen as a dissipative Church-Turing theorem, since it implies that under natural assumptions, such as weak coupling to an environment, the dynamics of an open quantum system can be simulated efficiently on a quantum computer. Formally, we introduce a Trotter decomposition for Liouvillian dynamics and give explicit error bounds. This constitutes a practical tool for numerical simulations, e.g., using matrix-product operators. We also demonstrate that most quantum states cannot be prepared efficiently. △ Less

Submitted 22 December, 2011; v1 submitted 19 May, 2011; originally announced May 2011.

Comments: 4 pages + 5 pages appendix, Implication 3 corrected

Journal ref: Phys. Rev. Lett. 107, 120501 (2011)

Hilbert's projective metric in quantum information theory

Authors: David Reeb, Michael J. Kastoryano, Michael M. Wolf

Abstract: We introduce and apply Hilbert's projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or PPT operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under LOCC protocols or other cone-preserving operations. The results are formulated in… ▽ More We introduce and apply Hilbert's projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or PPT operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under LOCC protocols or other cone-preserving operations. The results are formulated in terms of general cones and base norms and lead to contractivity bounds for quantum channels, for instance improving Ruskai's trace-norm contraction inequality. A new duality between distinguishability measures and base norms is provided. For two given pairs of quantum states we show that the contraction of Hilbert's projective metric is necessary and sufficient for the existence of a probabilistic quantum operation that maps one pair onto the other. Inequalities between Hilbert's projective metric and the Chernoff bound, the fidelity and various norms are proven. △ Less

Submitted 15 August, 2011; v1 submitted 25 February, 2011; originally announced February 2011.

Comments: 32 pages including 3 appendices and 3 figures; v2: minor changes, published version

Report number: Mittag-Leffler-2010fall

Journal ref: J. Math. Phys. 52, 082201 (2011)

Dissipative preparation of entanglement in optical cavities

Authors: M. J. Kastoryano, F. Reiter, A. S. Sørensen

Abstract: We propose a novel scheme for the preparation of a maximally entangled state of two atoms in an optical cavity. Starting from an arbitrary initial state, a singlet state is prepared as the unique fixed point of a dissipative quantum dynamical process. In our scheme, cavity decay is no longer undesirable, but plays an integral part in the dynamics. As a result, we get a qualitative improvement in t… ▽ More We propose a novel scheme for the preparation of a maximally entangled state of two atoms in an optical cavity. Starting from an arbitrary initial state, a singlet state is prepared as the unique fixed point of a dissipative quantum dynamical process. In our scheme, cavity decay is no longer undesirable, but plays an integral part in the dynamics. As a result, we get a qualitative improvement in the scaling of the fidelity with the cavity parameters. Our analysis indicates that dissipative state preparation is more than just a new conceptual approach, but can allow for significant improvement as compared to preparation protocols based on coherent unitary dynamics. △ Less

Submitted 5 November, 2010; originally announced November 2010.

Comments: 4 pages, 2 figures

Journal ref: Phys. Rev. Lett. 106, 090502 (2011)

The $χ^2$-divergence and Mixing times of quantum Markov processes

Authors: K. Temme, M. J. Kastoryano, M. B. Ruskai, M. M. Wolf, F. Verstraete

Abstract: We introduce quantum versions of the $χ^2$-divergence, provide a detailed analysis of their properties, and apply them in the investigation of mixing times of quantum Markov processes. An approach similar to the one presented in [1-3] for classical Markov chains is taken to bound the trace-distance from the steady state of a quantum processes. A strict spectral bound to the convergence rate can be… ▽ More We introduce quantum versions of the $χ^2$-divergence, provide a detailed analysis of their properties, and apply them in the investigation of mixing times of quantum Markov processes. An approach similar to the one presented in [1-3] for classical Markov chains is taken to bound the trace-distance from the steady state of a quantum processes. A strict spectral bound to the convergence rate can be given for time-discrete as well as for time-continuous quantum Markov processes. Furthermore the contractive behavior of the $χ^2$-divergence under the action of a completely positive map is investigated and contrasted to the contraction of the trace norm. In this context we analyse different versions of quantum detailed balance and, finally, give a geometric conductance bound to the convergence rate for unital quantum Markov processes. △ Less

Submitted 5 April, 2024; v1 submitted 13 May, 2010; originally announced May 2010.

Comments: Proposition 6 of the older arxiv version has been removed in the published version as it is in error

Journal ref: J. Math. Phys. 51, 122201 (2010)