Showing 1–18 of 18 results for author: Kastoryano, M J

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

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

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)

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)

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)

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)

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 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)

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)

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)