Quantum Meta-Operational Mathematics: A Complete and Rigorous Extension of Meta-Operational Mathematics to Quantum Operations and Their Compositional Inverses

Liu S

Dec 31, 20250 citations

Notes on completely positive map

Haiyang Li

The sufficient and necessary conditions of positive and trace preserving map,completely positive and trace preserving map are given and proved so as to they can be well-understanded and used,the convexity of quantum channels is also proved.

Computer Engineering and Applications JournalJan 1, 20110 citations

Quantum Information and Computation

Invertible quantum operations and perfect encryption of quantum states

NayakAshwin, SenPranab

Published Jan 1, 2007• 26 citations

Publisher

Abstract

DOI: 10.5555/2011706.2011712

Related papers

Invertible quantum operations and perfect encryption of quantum states

Ashwin Nayak, P. Sen

In this note, we characterize the form of an invertible quantum operation, i.e., a completely positive trace preserving linear transformation (a CPTP map) whose inverse is also a CPTP map. The precise form of such maps becomes important in contexts such as self-testing and encryption. We show that these maps correspond to applying a unitary transformation to the state along with an ancilla initialized to a fixed state, which may be mixed. The characterization of invertible quantum operations implies that one-way schemes for encrypting quantum states using a classical key may be slightly more general than the "private quantum channels'' studied by Ambainis, Mosca, Tapp and de Wolf {AmbainisMTW00}. Nonetheless, we show that their results, most notably a lower bound of 2n bits of key to encrypt n quantum bits, extend in a straightforward manner to the general case.In this note, we characterize the form of an invertible quantum operation, i.e., a completely positive trace preserving linear transformation (a CPTP map) whose inverse is also a CPTP map. The precise form of such maps becomes important in contexts such as self-testing and encryption. We show that these maps correspond to applying a unitary transformation to the state along with an ancilla initialized to a fixed state, which may be mixed. The characterization of invertible quantum operations implies that one-way schemes for encrypting quantum states using a classical key may be slightly more general than the "private quantum channels'' studied by Ambainis, Mosca, Tapp and de Wolf {AmbainisMTW00}. Nonetheless, we show that their results, most notably a lower bound of 2n bits of key to encrypt n quantum bits, extend in a straightforward manner to the general case.

arXiv:quant-ph/0605041Quantum Information and ComputationJan 1, 200761 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.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.06118Physical Review AMar 16, 202012 citations

Choi representation of completely positive maps in brief

Gábor Homa, Adrián Ortega, Mátyás Koniorczyk

Abstract The Choi representation of completely positive trace preserving (CPTP) maps, i.e. quantum channels is often used in the context of quantum information and computation as it is easy to work with. It is a correspondence between CPTP maps and quantum states also termed as the Choi–Jamiołkowski isomorphism. It is especially useful if a parametrization of the set of CPTP maps is needed in order to consider a general map or optimize over the set of these. Here we provide a brief introduction to this topic, focusing on certain useful calculational techniques which are presented in full detail.Abstract The Choi representation of completely positive trace preserving (CPTP) maps, i.e. quantum channels is often used in the context of quantum information and computation as it is easy to work with. It is a correspondence between CPTP maps and quantum states also termed as the Choi–Jamiołkowski isomorphism. It is especially useful if a parametrization of the set of CPTP maps is needed in order to consider a general map or optimize over the set of these. Here we provide a brief introduction to this topic, focusing on certain useful calculational techniques which are presented in full detail.

arXiv:2402.12944Zeitschrift für Naturforschung AOct 17, 20248 citations

Maps preserving trace of products and invertible completely positive maps

Huajun Huang, Ming-Cheng Tsai

We show the linearity and injectivity of two maps $\phi_1$ and $\phi_2$ between certain subsets of matrix spaces that satisfy $\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)$ . We apply it to characterize maps $\phi_i$ ( $i=1, \ldots, m$ ) satisfying $\operatorname{tr} (\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr} (A_1\cdots A_m)$ on maps $\mathcal{S}\to \mathcal{S}$ in which $\mathcal{S}$ is the set of $n$ -by- $n$ general or Hermitian matrices for $m\ge 3$ and positive definite matrices for $m\ge 2$ , and on completely positive maps $M_n\to M_n$ for $m\ge 2$ . Then we give several equivalent characterizations of invertible completely positive maps, that is, $\phi: M_n\to M_k$ and $\psi:M_k\to M_n$ such that $\psi(\phi(A))=A$ for $A\in M_n$ , and provide a comprehensive list of such examples. These maps are connected to the trace-of-product preserving property and are useful in quantum information theory. In addition, we show that a linear map $\phi$ between matrix spaces satisfies $\phi(I)=I$ and $\phi(A^k)=\phi(A)^k$ for a fixed integer $k\ge 2$ if and only if $\phi(A^r)=\phi(A)^r$ for all $r\in {\mathbb Z}_+$ . We characterize maps $\phi, \psi: \mathcal{S} \to \mathcal{S}$ satisfying $\operatorname{tr} (\phi(A)\psi(B))=\operatorname{tr} (AB)$ and $\operatorname{tr} (\phi(A)\psi(B)^k)=\operatorname{tr} (AB^k)$ for a fixed $k\ge 2$ , where $\mathcal{S}$ is the set of general or Hermitian matrices.We show the linearity and injectivity of two maps $\phi_1$ and $\phi_2$ between certain subsets of matrix spaces that satisfy $\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $\phi_i$ ($i=1, \ldots, m$) satisfying $$\operatorname{tr} (\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr} (A_1\cdots A_m)$$ on maps $\mathcal{S}\to \mathcal{S}$ in which $\mathcal{S}$ is the set of $n$-by-$n$ general or Hermitian matrices for $m\ge 3$ and positive definite matrices for $m\ge 2$, and on completely positive maps $M_n\to M_n$ for $m\ge 2$. Then we give several equivalent characterizations of invertible completely positive maps, that is, $\phi: M_n\to M_k$ and $\psi:M_k\to M_n$ such that $\psi(\phi(A))=A$ for $A\in M_n$, and provide a comprehensive list of such examples. These maps are connected to the trace-of-product preserving property and are useful in quantum information theory. In addition, we show that a linear map $\phi$ between matrix spaces satisfies $\phi(I)=I$ and $\phi(A^k)=\phi(A)^k$ for a fixed integer $k\ge 2$ if and only if $\phi(A^r)=\phi(A)^r$ for all $r\in {\mathbb Z}_+$. We characterize maps $\phi, \psi: \mathcal{S} \to \mathcal{S}$ satisfying $\operatorname{tr} (\phi(A)\psi(B))=\operatorname{tr} (AB)$ and $\operatorname{tr} (\phi(A)\psi(B)^k)=\operatorname{tr} (AB^k)$ for a fixed $k\ge 2$, where $\mathcal{S}$ is the set of general or Hermitian matrices.

Mar 22, 20210 citations

Quantum Meta-Operational Mathematics: A Complete and Rigorous Extension of Meta-Operational Mathematics to Quantum Operations and Their Compositional Inverses

Liu S

This work constitutes the systematic and rigorous extension of the entire framework of Meta Operational Mathematics to the domain of quantum operations and their compositional inverses.Quantum mechanics, as the fundamental theory of nature at the microscopic scale, provides a uniquely rich testing ground for the meta-operational philosophy: operations that act upon quantum states—such as completely positive trace-preserving (CPTP) maps, quantum measurements, quantum instruments, and unitary evolutions—can themselves be operated upon, composed, iterated, added, multiplied, differentiated, exponentiated, logarithmized, and subjected to algebraic,analytic, and geometric transformations.We establish a complete four-level hierarchical framework tailored specifically to quantum theory: Level 0 consists of density matrices (quantum states) as elements of the base space F =Tsa(H); Level 1 consists of quantum operations as smooth mappings on F; Level 2 consists of quantum meta-operations as smooth mappings on quantum operations; and Level 3 consists of meta-meta-operations acting upon meta-operations. Within this framework, every fundamental operation of quantum mechanics is canonically lifted to a meta-operation, and the interactions among these meta-operations—through composition, pointwise addition, pointwise multiplication, differentiation, quantum randomization, exponentiation, and logarithm—generate the entire quantum operad QOp in its bornological closure.A fundamental distinction from the hyperbolic, elliptic, Gamma, Beta, Zeta, and probabilistic cases is rigorously established. In quantum theory, the base space F = Tsa(H) is not a subset of the complex plane but a non-commutative Banach space of trace-class self-adjoint operators.The compositional inverse of a quantum channel is not merely a formal inverse but the quantum error correction recovery map, which embodies the fundamental duality between CPTP maps and their Stinespring dilations. The complementary channel operation—corresponding to the environmental output of a Stinespring dilation—satisfies a twisted antipode axiom in the Hopf operad structure, reflecting the irreversible accumulation of information leaked to the environment. The completely positive constraint endows the quantum operad with a non-trivial boundary structure absent in all other cases.The eight fundamental meta-operations generating the entire quantum operad are: composition, pointwise addition, pointwise multiplication, differentiation, quantum randomization, the identity operation, the quantum channel evaluation operation, and the quantum measurement operation. Their irreducibility is proved through a careful analysis of the dependence structure of each generator on the remaining seven, using the Stinespring dilation theorem, the uniqueness of Kraus representations, and the Choi-Jamiołkowski isomorphism for complete positivity. The three essential features of quantum theory—positivity and complete positivity, complementarity and uncertainty relations, and entanglement and inseparability—are systematically elevated to the meta-operational level as algebraic axioms, analytic tools, and geometric objects, constructing a self-contained Quantum Meta-Operational Mathematics. All conjectures and open problems originally stated within this research program have either been resolved as theorems within the body of this work or are precisely formulated as remaining open problems with partial progress rigorously indicated.This work constitutes the systematic and rigorous extension of the entire framework of Meta Operational Mathematics to the domain of quantum operations and their compositional inverses.Quantum mechanics, as the fundamental theory of nature at the microscopic scale, provides a uniquely rich testing ground for the meta-operational philosophy: operations that act upon quantum states—such as completely positive trace-preserving (CPTP) maps, quantum measurements, quantum instruments, and unitary evolutions—can themselves be operated upon, composed, iterated, added, multiplied, differentiated, exponentiated, logarithmized, and subjected to algebraic,analytic, and geometric transformations.We establish a complete four-level hierarchical framework tailored specifically to quantum theory: Level 0 consists of density matrices (quantum states) as elements of the base space F =Tsa(H); Level 1 consists of quantum operations as smooth mappings on F; Level 2 consists of quantum meta-operations as smooth mappings on quantum operations; and Level 3 consists of meta-meta-operations acting upon meta-operations. Within this framework, every fundamental operation of quantum mechanics is canonically lifted to a meta-operation, and the interactions among these meta-operations—through composition, pointwise addition, pointwise multiplication, differentiation, quantum randomization, exponentiation, and logarithm—generate the entire quantum operad QOp in its bornological closure.A fundamental distinction from the hyperbolic, elliptic, Gamma, Beta, Zeta, and probabilistic cases is rigorously established. In quantum theory, the base space F = Tsa(H) is not a subset of the complex plane but a non-commutative Banach space of trace-class self-adjoint operators.The compositional inverse of a quantum channel is not merely a formal inverse but the quantum error correction recovery map, which embodies the fundamental duality between CPTP maps and their Stinespring dilations. The complementary channel operation—corresponding to the environmental output of a Stinespring dilation—satisfies a twisted antipode axiom in the Hopf operad structure, reflecting the irreversible accumulation of information leaked to the environment. The completely positive constraint endows the quantum operad with a non-trivial boundary structure absent in all other cases.The eight fundamental meta-operations generating the entire quantum operad are: composition, pointwise addition, pointwise multiplication, differentiation, quantum randomization, the identity operation, the quantum channel evaluation operation, and the quantum measurement operation. Their irreducibility is proved through a careful analysis of the dependence structure of each generator on the remaining seven, using the Stinespring dilation theorem, the uniqueness of Kraus representations, and the Choi-Jamiołkowski isomorphism for complete positivity. The three essential features of quantum theory—positivity and complete positivity, complementarity and uncertainty relations, and entanglement and inseparability—are systematically elevated to the meta-operational level as algebraic axioms, analytic tools, and geometric objects, constructing a self-contained Quantum Meta-Operational Mathematics. All conjectures and open problems originally stated within this research program have either been resolved as theorems within the body of this work or are precisely formulated as remaining open problems with partial progress rigorously indicated.

Dec 31, 20250 citations

Notes on completely positive map

Haiyang Li

Computer Engineering and Applications JournalJan 1, 20110 citations

\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.

We show the linearity and injectivity of two maps

\phi_1

and

\phi_2

between certain subsets of matrix spaces that satisfy

\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)

. We apply it to characterize maps

\phi_i

(

i=1, \ldots, m

) satisfying

\operatorname{tr} (\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr} (A_1\cdots A_m)

on maps

\mathcal{S}\to \mathcal{S}

in which

\mathcal{S}

is the set of

n

-by-

n

general or Hermitian matrices for

m\ge 3

and positive definite matrices for

m\ge 2

, and on completely positive maps

M_n\to M_n

for

m\ge 2

. Then we give several equivalent characterizations of invertible completely positive maps, that is,

\phi: M_n\to M_k

and

\psi:M_k\to M_n

such that

\psi(\phi(A))=A

for

A\in M_n

, and provide a comprehensive list of such examples. These maps are connected to the trace-of-product preserving property and are useful in quantum information theory. In addition, we show that a linear map

\phi

between matrix spaces satisfies

\phi(I)=I

and

\phi(A^k)=\phi(A)^k

for a fixed integer

k\ge 2

if and only if

\phi(A^r)=\phi(A)^r

for all

r\in {\mathbb Z}_+

. We characterize maps

\phi, \psi: \mathcal{S} \to \mathcal{S}

satisfying

\operatorname{tr} (\phi(A)\psi(B))=\operatorname{tr} (AB)

and

\operatorname{tr} (\phi(A)\psi(B)^k)=\operatorname{tr} (AB^k)

for a fixed

k\ge 2

, where

\mathcal{S}

is the set of general or Hermitian matrices.