Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0902.2478 · Physical Review A

Maps for general open quantum systems and a theory of linear quantum error correction

Alireza Shabani, Daniel A. Lidar

Published Jul 9, 2009• 40 citations
arXivHTMLPDF

Abstract

We show that quantum subdynamics of an open quantum system can always be described by a linear, Hermitian map irrespective of the form of the initial total system state. Since the theory of quantum error correction was developed based on the assumption of completely positive (CP) maps, we present a generalized theory of linear quantum error correction, which applies to any linear map describing the open system evolution. In the physically relevant setting of Hermitian maps, we show that the CP-map-based version of quantum error correction theory applies without modifications. However, we show that a more general scenario is also possible, where the recovery map is Hermitian but not CP. Since non-CP maps have nonpositive matrices in their range, we provide a geometric characterization of the positivity domain of general linear maps. In particular, we show that this domain is convex and that this implies a simple algorithm for finding its boundary.

DOI
10.1103/physreva.80.012309

Related papers

Quantum Error Correction Beyond Completely Positive Maps

Alireza Shabani, Daniel A. Lidar

By introducing an operator sum representation for arbitrary linear maps, we develop a generalized theory of quantum error correction (QEC) that applies to any linear map, in particular maps that are not completely positive (CP). This theory of "linear quantum error correction" is applicable in cases where the standard and restrictive assumption of a factorized initial system-bath state does not apply.

arXiv:quant-ph/0610028•Oct 5, 2006•1 citation

Linear Quantum Error Correction

Alireza Shabani, Daniel A. Lidar

We develop a generalized theory of quantum error correction (QEC) that applies to any linear map, in particular maps that are not completely positive (CP). This theory describes entanglement-assisted QEC for invertible noise maps, which we use to provides an example of the physical implementation of non-CP recovery maps. We argue that a consistent map-based theory of fault-tolerant QEC (whether Markovian or not) requires linear, non-CP maps, and that this impacts the value of the fault-tolerance threshold.

arXiv:0708.1953•Aug 14, 2007•3 citations

Beyond Complete Positivity

Jason Dominy, Daniel A. Lidar

We provide a general and consistent formulation for linear subsystem quantum dynamical maps, developed from a minimal set of postulates, primary among which is a relaxation of the usual, restrictive assumption of uncorrelated initial system-bath states. We describe the space of possibilities admitted by this formulation, namely that, far from being limited to only completely positive (CP) maps, essentially any $\mathbb{C}$-linear, Hermiticity-preserving, trace-preserving subsystem map can arise as a legitimate subsystem dynamical map from a joint unitary evolution of a system coupled to a bath. The price paid for this added generality is a trade-off between the set of admissible initial states and the allowed set of joint system-bath unitary evolutions. As an application we present a simple example of a non-CP map constructed as a subsystem dynamical map that violates some fundamental inequalities in quantum information theory, such as the quantum data processing inequality.

arXiv:1503.05342•Mar 18, 2015•1 citation

Single-Qubit Error Mitigation by Simulating Non-Markovian Dynamics

Mirko Rossini, Dominik Maile, Joachim Ankerhold +1 more

Quantum simulation is a powerful tool to study the properties of quantum systems. The dynamics of open quantum systems are often described by completely positive (CP) maps, for which several quantum simulation schemes exist. Such maps, however, represent only a subset of a larger class of maps: the general dynamical maps which are linear, Hermitian preserving, and trace preserving but not necessarily positivity preserving. Here we present a simulation scheme for these general dynamical maps, which occur when the underlying system-reservoir model undergoes entangling (and thus non-Markovian) dynamics. Such maps also arise as the inverse of CP maps, which are commonly used in error mitigation. We illustrate our simulation scheme on an IBM quantum processor, demonstrating its ability to recover the initial state of a Lindblad evolution. This paves the way for a novel form of quantum error mitigation. Our scheme only requires one ancilla qubit as an overhead and a small number of one and two qubit gates. Consequently, we expect it to be of practical use in near-term quantum devices.

arXiv:2303.03268•Physical Review Letters•Sep 15, 2023•12 citations

Guaranteeing completely positive quantum evolution

Daniel Dilley, Alvin Gonzales, Mark Byrd

Abstract In open quantum systems, it is known that if the system and environment are in a product state, the evolution of the system is given by a linear completely positive (CP) Hermitian map. CP maps are a subset of general linear Hermitian maps, which also include non completely positive (NCP) maps. NCP maps can arise in evolutions such as non-Markovian evolution, where the CP divisibility of the map (writing the overall evolution as a composition of CP maps) usually fails. Positive but NCP maps are also useful as entanglement witnesses. In this paper, we focus on transforming an initial NCP map to a CP map through composition with the asymmetric depolarizing map. We use separate asymmetric depolarizing maps acting on the individual subsystems. Previous work have looked at structural physical approximation (SPA), which is a CP approximation of an NCP map using a mixture of the NCP map with a completely depolarizing map. We prove that the composition can always be made CP without completely depolarizing in any direction. It is possible to depolarize less in some directions. We give the general proof by using the Choi matrix and an isomorphism from a maximally entangled two qudit state to a set of qubits. We also give measures that describe the amount of disturbance the depolarization introduces to the original map. Given our measures, we show that asymmetric depolarization has many advantages over SPA in preserving the structure of the original NCP map. Finally, we give some examples. For some measures and examples, completely depolarizing (while not necessary) in some directions can give a better approximation than keeping the depolarizing parameters bounded by the required depolarization if symmetric depolarization is used.

arXiv:2105.00085•Journal of Physics A Mathematical and Theoretical•Oct 8, 2021•2 citations

Open system quantum evolution and the assumption of complete positivity (A Tutorial)

Mark Byrd, Russell R. Ceballos, Eric Chitambar

Quantum systems which interact with an unknown environment cannot be described in terms of a unitary evolution on the system alone. For such evolution one can use a map from one density operator to another and use any other known information to model the system. Such maps are required to be positive (at least on their domain) — they take positive density operators to positive density operators — so as to be physically reasonable. A map [Formula: see text] which is positive but not completely positive (CP) is one which takes positive operators to positive operators, but when extended by the identity [Formula: see text], i.e. [Formula: see text] does not give a positive map for some [Formula: see text]. The map is CP if and only if the extension is positive for all [Formula: see text]. Recently some effort has been put forth to try to understand if, and/or, under what circumstances one might utilize a non-CP map. Here, after a tutorial-type introduction to maps from one density operator to another, some examples which do not fit the standard prescription (SP) for deriving a CP map are given. In cases where the physical system is constrained by some knowledge of the interaction, it is possible that the SP cannot be used directly. Our example is robust to changes in the initial and final conditions.

International Journal of Quantum Information•Aug 18, 2016•2 citations
We show that quantum subdynamics of an open quantum system can always be described by a linear, Hermitian map irrespective of the form of the initial total system state. Since the theory of quantum error correction was developed based on the assumption of completely positive (CP) maps, we present a generalized theory of linear quantum error correction, which applies to any linear map describing the open system evolution. In the physically relevant setting of Hermitian maps, we show that the CP-map-based version of quantum error correction theory applies without modifications. However, we show that a more general scenario is also possible, where the recovery map is Hermitian but not CP. Since non-CP maps have nonpositive matrices in their range, we provide a geometric characterization of the positivity domain of general linear maps. In particular, we show that this domain is convex and that this implies a simple algorithm for finding its boundary.
We develop a generalized theory of quantum error correction (QEC) that applies to any linear map, in particular maps that are not completely positive (CP). This theory describes entanglement-assisted QEC for invertible noise maps, which we use to provides an example of the physical implementation of non-CP recovery maps. We argue that a consistent map-based theory of fault-tolerant QEC (whether Markovian or not) requires linear, non-CP maps, and that this impacts the value of the fault-tolerance threshold.
We provide a general and consistent formulation for linear subsystem quantum dynamical maps, developed from a minimal set of postulates, primary among which is a relaxation of the usual, restrictive assumption of uncorrelated initial system-bath states. We describe the space of possibilities admitted by this formulation, namely that, far from being limited to only completely positive (CP) maps, essentially any C\mathbb{C}C-linear, Hermiticity-preserving, trace-preserving subsystem map can arise as a legitimate subsystem dynamical map from a joint unitary evolution of a system coupled to a bath. The price paid for this added generality is a trade-off between the set of admissible initial states and the allowed set of joint system-bath unitary evolutions. As an application we present a simple example of a non-CP map constructed as a subsystem dynamical map that violates some fundamental inequalities in quantum information theory, such as the quantum data processing inequality.
Quantum simulation is a powerful tool to study the properties of quantum systems. The dynamics of open quantum systems are often described by completely positive (CP) maps, for which several quantum simulation schemes exist. Such maps, however, represent only a subset of a larger class of maps: the general dynamical maps which are linear, Hermitian preserving, and trace preserving but not necessarily positivity preserving. Here we present a simulation scheme for these general dynamical maps, which occur when the underlying system-reservoir model undergoes entangling (and thus non-Markovian) dynamics. Such maps also arise as the inverse of CP maps, which are commonly used in error mitigation. We illustrate our simulation scheme on an IBM quantum processor, demonstrating its ability to recover the initial state of a Lindblad evolution. This paves the way for a novel form of quantum error mitigation. Our scheme only requires one ancilla qubit as an overhead and a small number of one and two qubit gates. Consequently, we expect it to be of practical use in near-term quantum devices.
Abstract In open quantum systems, it is known that if the system and environment are in a product state, the evolution of the system is given by a linear completely positive (CP) Hermitian map. CP maps are a subset of general linear Hermitian maps, which also include non completely positive (NCP) maps. NCP maps can arise in evolutions such as non-Markovian evolution, where the CP divisibility of the map (writing the overall evolution as a composition of CP maps) usually fails. Positive but NCP maps are also useful as entanglement witnesses. In this paper, we focus on transforming an initial NCP map to a CP map through composition with the asymmetric depolarizing map. We use separate asymmetric depolarizing maps acting on the individual subsystems. Previous work have looked at structural physical approximation (SPA), which is a CP approximation of an NCP map using a mixture of the NCP map with a completely depolarizing map. We prove that the composition can always be made CP without completely depolarizing in any direction. It is possible to depolarize less in some directions. We give the general proof by using the Choi matrix and an isomorphism from a maximally entangled two qudit state to a set of qubits. We also give measures that describe the amount of disturbance the depolarization introduces to the original map. Given our measures, we show that asymmetric depolarization has many advantages over SPA in preserving the structure of the original NCP map. Finally, we give some examples. For some measures and examples, completely depolarizing (while not necessary) in some directions can give a better approximation than keeping the depolarizing parameters bounded by the required depolarization if symmetric depolarization is used.
Quantum systems which interact with an unknown environment cannot be described in terms of a unitary evolution on the system alone. For such evolution one can use a map from one density operator to another and use any other known information to model the system. Such maps are required to be positive (at least on their domain) — they take positive density operators to positive density operators — so as to be physically reasonable. A map [Formula: see text] which is positive but not completely positive (CP) is one which takes positive operators to positive operators, but when extended by the identity [Formula: see text], i.e. [Formula: see text] does not give a positive map for some [Formula: see text]. The map is CP if and only if the extension is positive for all [Formula: see text]. Recently some effort has been put forth to try to understand if, and/or, under what circumstances one might utilize a non-CP map. Here, after a tutorial-type introduction to maps from one density operator to another, some examples which do not fit the standard prescription (SP) for deriving a CP map are given. In cases where the physical system is constrained by some knowledge of the interaction, it is possible that the SP cannot be used directly. Our example is robust to changes in the initial and final conditions.