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

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

Arindam Mitra, Jatin Ghai

quant-phSubmitted Dec 8, 2025• Announced Dec 9, 2025• 0 citations• Revised Oct 25, 2026 (v5)
v1 · Dec 8, 2025v2 · Feb 25, 2026v3 · Mar 5, 2026v4 · Apr 9, 2026v5 · Oct 25, 2026
arXivHTMLPDF

Abstract

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.

Comments
14 pages, 2 figures, Typos fixed

Related papers

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

Quantum Maps Between CPTP and HPTP

Ningping Cao, Maxwell Fitzsimmons, Zachary Mann +2 more

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.

arXiv:2308.01894•Aug 3, 2023•0 citations

Realizing Non-Physical Actions through Hermitian-Preserving Map Exponentiation

Fuchuan Wei, Zhenhuan Liu, Guoding Liu +4 more

Quantum mechanics features a variety of distinct properties such as coherence and entanglement, which could be explored to showcase potential advantages over classical counterparts in information processing. In general, legitimate quantum operations must adhere to principles of quantum mechanics, particularly the requirements of complete positivity and trace preservation. Nonetheless, non-physical maps, especially Hermitian-preserving maps, play a crucial role in quantum information science. To date, there exists no effective method for implementing these non-physical maps with quantum devices. In this work, we introduce the Hermitian-preserving map exponentiation algorithm, which can effectively realize the action of an arbitrary Hermitian-preserving map by encoding its output into a quantum process. We analyze the performances of this algorithm, including its sample complexity and robustness, and prove its optimality in certain cases. When combined with algorithms such as the Hadamard test and quantum phase estimation, it allows for the extraction of information and generation of states from outputs of Hermitian-preserving maps, enabling various applications. Utilizing positive but not completely positive maps, this algorithm provides exponential advantages in entanglement detection and quantification compared to protocols based on single-copy operations. In addition, it facilitates the recovery of noiseless quantum states from multiple copies of noisy states by implementing the inverse map of the corresponding noise channel, offering an intriguing approach to handling quantum errors. Our findings present a pathway for systematically and efficiently implementing non-physical actions with quantum devices, thereby boosting the exploration of potential quantum advantages across a wide range of information processing tasks.

arXiv:2308.07956•Aug 15, 2023•0 citations

Entanglement Fidelity in Standard Quantum Channels

Niccolò Zanieri, Marios Kountouris

Entanglement fidelity quantifies how well a quantum channel preserves the correlations between a transmitted system and an inaccessible reference system. We derive closed-form expressions for the entanglement fidelity associated with several standard quantum noise models, including the random Pauli-X, dephasing, depolarizing, Werner-Holevo, generalized Pauli (Weyl), and amplitude-damping channels. For each model, we express the entanglement fidelity in terms of a general input density operator $ρ$, using Schumacher's Kraus-operator approach, which provides a channel-agnostic recipe applicable to any completely positive trace-preserving (CPTP) map with a finite Kraus representation. We then specialize to a communication scenario in which the source emits a two-letter parametric alphabet, thereby making explicit the dependence of entanglement preservation on both channel and source parameters. The resulting expressions enable direct comparisons of channel performance and rankings for representative families of input states, including common qubit states.

quant-pharXiv:2603.07761•Mar 10, 2026•0 citations

Quasi-inversion of qubit channels

Vahid Karimipour, Fabio Benatti, Roberto Floreanini B

In general quantum operations, or quantum channels cannot be inverted by physical operations, i.e., by completely positive trace-preserving maps. An arbitrary state passing through a quantum channel loses its fidelity with the input. Given a quantum channel $\mathcal{E}$, we discuss the concept of its quasi-inverse as a completely positive trace-preserving map ${\mathcal{E}}^{qi}$ which when composed with $\mathcal{E}$ increases its average input-output fidelity in an optimal way. The channel ${\mathcal{E}}^{qi}$ comes as close as possible to the inverse of a quantum channel. We give a complete classification of such maps for qubit channels and provide quite a few illustrative examples.

arXiv:1909.06118•Physical Review A•Mar 16, 2020•12 citations

Extending quantum operations

Teiko Heinosaari, Maria Anastasia Jivulescu, David Reeb +1 more

For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on quantum states are trace-preserving completely positive maps, but we also consider variants of these requirements. We generalize the definition of complete positivity to linear maps defined on arbitrary subspaces, then formulate this notion as a semidefinite program, and relate it by duality to approximative extensions of this map. This gives a characterization of the maps which can be approximated arbitrarily well as the restriction of a map that is completely positive on the whole algebra, also yielding the familiar extension theorems on operator spaces. For quantum channel extensions and extensions by probabilistic operations we obtain semidefinite characterizations, and we also elucidate the special case of Abelian inputs or outputs. Finally, revisiting a theorem by Alberti and Uhlmann, we provide simpler and more widely applicable conditions for certain extension problems on qubits, and by using a semidefinite programming formulation we exhibit counterexamples to seemingly reasonable but false generalizations of the Alberti-Uhlmann theorem.

arXiv:1205.0641•Journal of Mathematical Physics•Oct 1, 2012•43 citations
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.
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.
Quantum mechanics features a variety of distinct properties such as coherence and entanglement, which could be explored to showcase potential advantages over classical counterparts in information processing. In general, legitimate quantum operations must adhere to principles of quantum mechanics, particularly the requirements of complete positivity and trace preservation. Nonetheless, non-physical maps, especially Hermitian-preserving maps, play a crucial role in quantum information science. To date, there exists no effective method for implementing these non-physical maps with quantum devices. In this work, we introduce the Hermitian-preserving map exponentiation algorithm, which can effectively realize the action of an arbitrary Hermitian-preserving map by encoding its output into a quantum process. We analyze the performances of this algorithm, including its sample complexity and robustness, and prove its optimality in certain cases. When combined with algorithms such as the Hadamard test and quantum phase estimation, it allows for the extraction of information and generation of states from outputs of Hermitian-preserving maps, enabling various applications. Utilizing positive but not completely positive maps, this algorithm provides exponential advantages in entanglement detection and quantification compared to protocols based on single-copy operations. In addition, it facilitates the recovery of noiseless quantum states from multiple copies of noisy states by implementing the inverse map of the corresponding noise channel, offering an intriguing approach to handling quantum errors. Our findings present a pathway for systematically and efficiently implementing non-physical actions with quantum devices, thereby boosting the exploration of potential quantum advantages across a wide range of information processing tasks.
Entanglement fidelity quantifies how well a quantum channel preserves the correlations between a transmitted system and an inaccessible reference system. We derive closed-form expressions for the entanglement fidelity associated with several standard quantum noise models, including the random Pauli-X, dephasing, depolarizing, Werner-Holevo, generalized Pauli (Weyl), and amplitude-damping channels. For each model, we express the entanglement fidelity in terms of a general input density operator ρρρ, using Schumacher's Kraus-operator approach, which provides a channel-agnostic recipe applicable to any completely positive trace-preserving (CPTP) map with a finite Kraus representation. We then specialize to a communication scenario in which the source emits a two-letter parametric alphabet, thereby making explicit the dependence of entanglement preservation on both channel and source parameters. The resulting expressions enable direct comparisons of channel performance and rankings for representative families of input states, including common qubit states.
In general quantum operations, or quantum channels cannot be inverted by physical operations, i.e., by completely positive trace-preserving maps. An arbitrary state passing through a quantum channel loses its fidelity with the input. Given a quantum channel E\mathcal{E}E, we discuss the concept of its quasi-inverse as a completely positive trace-preserving map Eqi{\mathcal{E}}^{qi}Eqi which when composed with E\mathcal{E}E increases its average input-output fidelity in an optimal way. The channel Eqi{\mathcal{E}}^{qi}Eqi comes as close as possible to the inverse of a quantum channel. We give a complete classification of such maps for qubit channels and provide quite a few illustrative examples.
For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on quantum states are trace-preserving completely positive maps, but we also consider variants of these requirements. We generalize the definition of complete positivity to linear maps defined on arbitrary subspaces, then formulate this notion as a semidefinite program, and relate it by duality to approximative extensions of this map. This gives a characterization of the maps which can be approximated arbitrarily well as the restriction of a map that is completely positive on the whole algebra, also yielding the familiar extension theorems on operator spaces. For quantum channel extensions and extensions by probabilistic operations we obtain semidefinite characterizations, and we also elucidate the special case of Abelian inputs or outputs. Finally, revisiting a theorem by Alberti and Uhlmann, we provide simpler and more widely applicable conditions for certain extension problems on qubits, and by using a semidefinite programming formulation we exhibit counterexamples to seemingly reasonable but false generalizations of the Alberti-Uhlmann theorem.