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:2308.01894

Quantum Maps Between CPTP and HPTP

Ningping Cao, Maxwell Fitzsimmons, Zachary Mann, Rajesh Pereira, Raymond Laflamme

Published Aug 3, 2023• 0 citations
arXivHTMLPDF

Abstract

For an open quantum system to evolve under CPTP maps, assumptions are made on the initial correlations between the system and the environment. Hermitian-preserving trace-preserving (HPTP) maps are considered as the local dynamic maps beyond CPTP. In this paper, we provide a succinct answer to the question of what physical maps are in the HPTP realm by two approaches. The first is by taking one step out of the CPTP set, which provides us with Semi-Positivity (SP) TP maps. The second way is by examining the physicality of HPTP maps, which leads to Semi-Nonnegative (SN) TP maps. Physical interpretations and geometrical structures are studied for these maps. The non-CP SPTP maps $Ψ$ correspond to the quantum non-Markovian process under the CP-divisibility definition ($Ψ= Ξ\circ Φ^{-1}$, where $Ξ$ and $Φ$ are CPTP). When removing the invertibility assumption on $Φ$, we land in the set of SNTP maps. A by-product of set relations is an answer to the following question -- what kind of dynamics the system will go through when the previous dynamic $Φ$ is non-invertible. In this case, the only locally well-defined maps are in $SN\backslash SP$, they live on the boundary of $SN$. Otherwise, the non-local information will be irreplaceable in the system's dynamic. With the understanding of physical maps beyond CPTP, we prove that the current quantum error correction scheme is still sufficient to correct quantum non-Markovian errors. In some special cases, lack of complete positivity could provide us with more error correction methods with less overhead.

DOI
10.48550/arxiv.2308.01894

Related papers

Assignment maps for arbitrary reduced quantum dynamics

James Fullwood, Weixiang Ye

Given an open quantum system $S$ with environment $E$, we establish a one-to-one correspondence between completely positive trace-preserving (CPTP) maps from $S$ to $E$ and assignment maps initializing the composite system $SE$ in a possibly correlated state prior to unitary evolution. We show that every possible joint state $ρ_{SE}$ can be realized by such assignment maps, which are inherently Hermiticity-preserving and trace-preserving (HPTP). While these maps sacrifice global positivity, we derive a simple necessary and sufficient condition for any local state of $S$ to belong to their domain of validity. Furthermore, we prove that the geometry of this domain is governed by the joint state assigned to the maximally mixed input, ensuring that a non-zero volume of admissible local states can readily coexist with initial system-environment entanglement. Finally, we provide an operational protocol for witnessing such limits of validity.

quant-pharXiv:2610.27338•Oct 21, 2026•0 citations

On the relevance of Hermitian-preserving trace-preserving linear maps in asymptotic information retrieval in quantum communication

Arindam Mitra, Jatin Ghai

In quantum technologies, quantum channels are essential for transmitting quantum states. Quantum channels usually introduce noise, thereby reducing the information in a state. These are mathematically described by completely positive trace-preserving linear maps that represent the generic evolution of quantum systems and are also special cases of Hermitian-preserving trace-preserving (HPTP) linear maps. Concatenating a quantum channel with another quantum channel makes it noisier and degrades its information and resource preservability. In this work, we demonstrate a physically meaningful way to compare a pair of quantum channels using Hermitian-preserving trace-preserving linear maps. Precisely, given a pair of quantum channels $Λ_1, Λ_2$ and an arbitrary unknown input state, we show that the output state of the quantum channel $Λ_2$ from the pair can be uniquely identified from the output statistics of the other channel $Λ_1$ from the pair, using some POVM, iff $Λ_2$ can be obtained from $Λ_1$ by concatenating it with a Hermitian-preserving trace-preserving linear map that is not necessarily positive. In such cases, $Λ_2$ may not always be obtained from $Λ_1$ through post-processing. The relation between these channels is a preorder, and we study its characterization in this work. In other words, we provide an operational interpretation of this preorder induced by HPTP linear maps in a communication scenario. Furthermore, we characterize the difficulty of implementing $Λ_2$ given that $Λ_1$ has already been implemented via a quantifier, namely, physical implementability. We also illustrate the implications of our results for the incompatibility of quantum devices through an example. In short, we provide valuable insights about the relevance of Hermitian-preserving trace-preserving linear maps in physically motivated settings.

quant-pharXiv:2512.07822•Dec 9, 2025•0 citations

Efficient implementation of arbitrary Hermitian-preserving and trace-preserving maps

Weizhou Cai, Zi-Jie Chen, Xuanqiang Zhao +4 more

Quantum control has been a cornerstone of quantum information science, driving major advances in quantum computing, quantum communication, and quantum sensing. Over the years, it has enabled the implementation of arbitrary completely positive and trace-preserving (CPTP) maps; an important next step is to extend control to Hermitian-preserving and trace-preserving (HPTP) maps, which underpin applications such as entanglement detection, quantum error mitigation, quantum simulation, and quantum machine learning. Here we present an efficient and fully constructive method for implementing arbitrary HPTP maps. Unlike existing methods that decompose an HPTP map into multiple CPTP maps or approximate it using bipartite Hamiltonians with large Hilbert spaces, our approach compiles a target HPTP map into a single executable CPTP map whose Kraus rank is guaranteed to be no larger than the intrinsic rank of the target HPTP map plus one, followed by simple classical post-processing. Numerical results for inverse noise channels used in quantum error mitigation, including bosonic photon loss, confirm substantial reductions in resources and highlight scalability in higher-dimensional settings. Together with our numerical benchmarks, these results validate the efficiency and versatility of the proposed framework, opening a route to broader quantum-information applications enabled by HPTP processing.

quant-pharXiv:2602.05777•Feb 6, 2026•0 citations

Non-completely positive maps: properties and applications

Christopher J. Wood

We investigate the evolution of open quantum systems in the presence of initial correlations with an environment. Here the standard formalism of describing evolution by completely positive trace preserving (CPTP) quantum operations can fail and non-completely positive (non-CP) maps may be observed. A new classification of correlations between a system and environment using quantum discord is explored. However, we find quantum discord is not a symmetric quantity between exchange of systems and this leads to ambiguity in classifications - states which are both quantum and classically correlated depending on the order of the two systems. State preparation in quantum process tomography is investigated with regard to non-CP maps. In SQPT the preparation procedure can influence the complete-positivity of the reconstructed quantum operation if our system is initially correlated with an environment. We examine a recently proposed preparation procedures using projective measurements, and propose our own protocol that uses a single measurement followed by unitary rotations. The former can give rise to non-CP evolution while the later will always give rise to a CP map. State preparation in AAPT was found always to give rise to CP evolution. We examine the effect of statistical noise in process tomography and find it can result in the identification of a non-CP when the evolution should be CP. The variance of the distribution for reconstructed processes is found to be inversely proportional to the number of copies of a state used to perform tomography. Finally, we detail an experiment using currently available linear optics QC devices to demonstrate non-CP maps arising in SQPT.

arXiv:0911.3199•Nov 17, 2009•4 citations

On the Use of Total State Decompositions for the Study of Reduced Dynamics

Andrea Smirne, Nina Megier, Bassano Vacchini

The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a time-dependent completely positive trace preserving (CPTP) map. Here, we take into account an approach that is based on a decomposition of any possibly correlated bipartite state as a conical combination involving statistical operators on the environment and general linear operators on the system, which allows one to fix the reduced-system evolution via a finite set of time-dependent CPTP maps. In particular, we show that such a decomposition always exists, also for infinite dimensional Hilbert spaces, and that the number of resulting CPTP maps is bounded by the Schmidt rank of the initial global state. We further investigate the case where the CPTP maps are semigroups with generators in the Gorini-Kossakowski-Lindblad-Sudarshan form; for two simple qubit models, we identify the positivity domain defined by the initial states that are mapped into proper states at any time of the evolution fixed by the CPTP semigroups.

arXiv:2209.02288•Open Systems & Information Dynamics•Jun 1, 2022•1 citation

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

Alireza Shabani, Daniel A. Lidar

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.

arXiv:0902.2478•Physical Review A•Jul 9, 2009•40 citations
For an open quantum system to evolve under CPTP maps, assumptions are made on the initial correlations between the system and the environment. Hermitian-preserving trace-preserving (HPTP) maps are considered as the local dynamic maps beyond CPTP. In this paper, we provide a succinct answer to the question of what physical maps are in the HPTP realm by two approaches. The first is by taking one step out of the CPTP set, which provides us with Semi-Positivity (SP) TP maps. The second way is by examining the physicality of HPTP maps, which leads to Semi-Nonnegative (SN) TP maps. Physical interpretations and geometrical structures are studied for these maps. The non-CP SPTP maps ΨΨΨ correspond to the quantum non-Markovian process under the CP-divisibility definition (Ψ=Ξ∘Φ−1Ψ= Ξ\circ Φ^{-1}Ψ=Ξ∘Φ−1, where ΞΞΞ and ΦΦΦ are CPTP). When removing the invertibility assumption on ΦΦΦ, we land in the set of SNTP maps. A by-product of set relations is an answer to the following question -- what kind of dynamics the system will go through when the previous dynamic ΦΦΦ is non-invertible. In this case, the only locally well-defined maps are in SN\SPSN\backslash SPSN\SP, they live on the boundary of SNSNSN. Otherwise, the non-local information will be irreplaceable in the system's dynamic. With the understanding of physical maps beyond CPTP, we prove that the current quantum error correction scheme is still sufficient to correct quantum non-Markovian errors. In some special cases, lack of complete positivity could provide us with more error correction methods with less overhead.
Given an open quantum system SSS with environment EEE, we establish a one-to-one correspondence between completely positive trace-preserving (CPTP) maps from SSS to EEE and assignment maps initializing the composite system SESESE in a possibly correlated state prior to unitary evolution. We show that every possible joint state ρSEρ_{SE}ρSE​ can be realized by such assignment maps, which are inherently Hermiticity-preserving and trace-preserving (HPTP). While these maps sacrifice global positivity, we derive a simple necessary and sufficient condition for any local state of SSS to belong to their domain of validity. Furthermore, we prove that the geometry of this domain is governed by the joint state assigned to the maximally mixed input, ensuring that a non-zero volume of admissible local states can readily coexist with initial system-environment entanglement. Finally, we provide an operational protocol for witnessing such limits of validity.
In quantum technologies, quantum channels are essential for transmitting quantum states. Quantum channels usually introduce noise, thereby reducing the information in a state. These are mathematically described by completely positive trace-preserving linear maps that represent the generic evolution of quantum systems and are also special cases of Hermitian-preserving trace-preserving (HPTP) linear maps. Concatenating a quantum channel with another quantum channel makes it noisier and degrades its information and resource preservability. In this work, we demonstrate a physically meaningful way to compare a pair of quantum channels using Hermitian-preserving trace-preserving linear maps. Precisely, given a pair of quantum channels Λ1,Λ2Λ_1, Λ_2Λ1​,Λ2​ and an arbitrary unknown input state, we show that the output state of the quantum channel Λ2Λ_2Λ2​ from the pair can be uniquely identified from the output statistics of the other channel Λ1Λ_1Λ1​ from the pair, using some POVM, iff Λ2Λ_2Λ2​ can be obtained from Λ1Λ_1Λ1​ by concatenating it with a Hermitian-preserving trace-preserving linear map that is not necessarily positive. In such cases, Λ2Λ_2Λ2​ may not always be obtained from Λ1Λ_1Λ1​ through post-processing. The relation between these channels is a preorder, and we study its characterization in this work. In other words, we provide an operational interpretation of this preorder induced by HPTP linear maps in a communication scenario. Furthermore, we characterize the difficulty of implementing Λ2Λ_2Λ2​ given that Λ1Λ_1Λ1​ has already been implemented via a quantifier, namely, physical implementability. We also illustrate the implications of our results for the incompatibility of quantum devices through an example. In short, we provide valuable insights about the relevance of Hermitian-preserving trace-preserving linear maps in physically motivated settings.
Quantum control has been a cornerstone of quantum information science, driving major advances in quantum computing, quantum communication, and quantum sensing. Over the years, it has enabled the implementation of arbitrary completely positive and trace-preserving (CPTP) maps; an important next step is to extend control to Hermitian-preserving and trace-preserving (HPTP) maps, which underpin applications such as entanglement detection, quantum error mitigation, quantum simulation, and quantum machine learning. Here we present an efficient and fully constructive method for implementing arbitrary HPTP maps. Unlike existing methods that decompose an HPTP map into multiple CPTP maps or approximate it using bipartite Hamiltonians with large Hilbert spaces, our approach compiles a target HPTP map into a single executable CPTP map whose Kraus rank is guaranteed to be no larger than the intrinsic rank of the target HPTP map plus one, followed by simple classical post-processing. Numerical results for inverse noise channels used in quantum error mitigation, including bosonic photon loss, confirm substantial reductions in resources and highlight scalability in higher-dimensional settings. Together with our numerical benchmarks, these results validate the efficiency and versatility of the proposed framework, opening a route to broader quantum-information applications enabled by HPTP processing.
We investigate the evolution of open quantum systems in the presence of initial correlations with an environment. Here the standard formalism of describing evolution by completely positive trace preserving (CPTP) quantum operations can fail and non-completely positive (non-CP) maps may be observed. A new classification of correlations between a system and environment using quantum discord is explored. However, we find quantum discord is not a symmetric quantity between exchange of systems and this leads to ambiguity in classifications - states which are both quantum and classically correlated depending on the order of the two systems. State preparation in quantum process tomography is investigated with regard to non-CP maps. In SQPT the preparation procedure can influence the complete-positivity of the reconstructed quantum operation if our system is initially correlated with an environment. We examine a recently proposed preparation procedures using projective measurements, and propose our own protocol that uses a single measurement followed by unitary rotations. The former can give rise to non-CP evolution while the later will always give rise to a CP map. State preparation in AAPT was found always to give rise to CP evolution. We examine the effect of statistical noise in process tomography and find it can result in the identification of a non-CP when the evolution should be CP. The variance of the distribution for reconstructed processes is found to be inversely proportional to the number of copies of a state used to perform tomography. Finally, we detail an experiment using currently available linear optics QC devices to demonstrate non-CP maps arising in SQPT.
The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a time-dependent completely positive trace preserving (CPTP) map. Here, we take into account an approach that is based on a decomposition of any possibly correlated bipartite state as a conical combination involving statistical operators on the environment and general linear operators on the system, which allows one to fix the reduced-system evolution via a finite set of time-dependent CPTP maps. In particular, we show that such a decomposition always exists, also for infinite dimensional Hilbert spaces, and that the number of resulting CPTP maps is bounded by the Schmidt rank of the initial global state. We further investigate the case where the CPTP maps are semigroups with generators in the Gorini-Kossakowski-Lindblad-Sudarshan form; for two simple qubit models, we identify the positivity domain defined by the initial states that are mapped into proper states at any time of the evolution fixed by the CPTP semigroups.
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.