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:1903.06086 · Lobachevskii Journal of Mathematics

On Extension of Quantum Channels and Operations to the Space of Relatively Bounded Operators

Максим Евгеньевич Широков

Published Apr 1, 2020• 7 citations
arXivHTMLPDF

Abstract

We analyse possibility to extend a quantum operation (sub-unital normal completely positive linear map on the algebra $$\mathfrak{B}(\mathcal{H})$$ of bounded operators on a separable Hilbert space $$\mathcal{H}$$ ) to the space of all operators on $$\mathcal{H}$$ relatively bounded w.r.t. a given positive unbounded operator. We show that a quantum operation $$\Phi$$ can be uniquely extended to a bounded linear operator on the Banach space of all $$\sqrt{G}$$ -bounded operators on $$\mathcal{H}$$ provided that the operation $$\Phi$$ is $$G$$ -limited: the predual operation $$\Phi_{*}$$ maps the set of positive trace class operators $$\rho$$ with finite value of $$\textrm{Tr}\rho G$$ into itself. Assuming that $$G$$ has discrete spectrum of finite multiplicity we prove that for a wide class of quantum operations the existence of the above extension implies the $$G$$ -limited property. Applications to the theory of Bosonic Gaussian channels are considered.

DOI
10.1134/s199508022004023x

Related papers

0 A CHARACTERIZATION OF POSITIVE LINEAR MAPS AND CRITERIA OF ENTANGLEMENT FOR QUANTUM STATES

Jinchuan Hou

Let $H$ and $K$ be (finite or infinite dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from ${\mathcal B}(H)$ into ${\mathcal B}(K)$ is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is give which shows that a state $\rho$ on $H\otimes K$ is separable if and only if $(\Phi\otimes I)\rho\geq 0$ for all positive finite rank elementary operators $\Phi$. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.

•Aug 16, 2016•41 citations

Infinite dimensional generalizations of Choi’s Theorem

Shmuel Friedland

In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi’s characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A completely positive map μ is called a quantum channel, if it is trace preserving, and μ is called a quantum subchannel if it decreases the trace of a positive operator.We give simple neccesary and sufficient condtions for μ to be a quantum subchannel.We show that μ is a quantum subchannel if and only if it hasHellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.

•Jul 1, 2019•7 citations

Infinite dimensional generalizations of Choi’s Theorem

Shmuel Friedland

Abstract In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi’s characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A completely positive map μ is called a quantum channel, if it is trace preserving, and μ is called a quantum subchannel if it decreases the trace of a positive operator.We give simple neccesary and sufficient condtions for μ to be a quantum subchannel.We show that μ is a quantum subchannel if and only if it hasHellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.

arXiv:1806.06938•Special Matrices•Jan 1, 2019•1 citation

1 Normal Completely Positive Maps on the Space of Quantum Operations

Giulio Chiribella, Alessandro Toigo

Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps transforming quantum operations with input in a separable von Neumann algebra and output in the algebra of the bounded operators on a given separable Hilbert space. In this setting we prove two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. Finally, we consider the case of quantum superinstruments, namely measures with values in the set of quantum supermaps, and derive a dilation theorem for them that is analogue to Ozawa's theorem for quantum instruments. The three dilation theorems presented here show that all the supermaps defined in this paper can be implemented by connecting devices in quantum circuits.

•Aug 17, 2016•7 citations

Almost-idempotent quantum channels and approximate $C^*$-algebras

Alexei Kitaev

Let $Φ$ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that $Φ$ is $η$-idempotent, namely, $\|Φ^2-Φ\|_{\mathrm{cb}} \leη$, and construct an associated $\varepsilon$-$C^*$ algebra (of almost-invariant observables) for $\varepsilon=O(η)$. This type of structure has the axioms of a unital $C^*$ algebra but the associativity and other axioms involving the multiplication and the unit hold up to $\varepsilon$. We prove that any finite-dimensional $\varepsilon$-$C^*$ algebra $A$ is $O(\varepsilon)$-isomorphic to some genuine $C^*$ algebra $B$. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When $A$ comes from a finite-dimensional $η$-idempotent UCP map $Φ$, the $O(η)$-isomorphism and its inverse can be realized by UCP maps. This gives an approximate factorization of the quantum channel $Φ^*$ into a decoding channel, producing a state on $B$, and an encoding channel.

arXiv:2405.02434•May 3, 2024•0 citations

The Law of Large Numbers for Discrete Generalized Quantum Channels

Sviatoslav V. Dzhenzher, Vsevolod Zhanovich Sakbaev

We consider random linear operators $$\Omega\to\mathcal{L}(\mathcal{T}_{p},\mathcal{T}_{p})$$ acting in a $$p$$ th Schatten class $$\mathcal{T}_{p}$$ in a separable Hilbert space $$\mathcal{H}$$ for some $$1\leqslant p<\infty$$ . Such a superoperator is called pre-channel since it is an extension of a quantum channel to a wider class of operators without requirements of trace-preserving and positivity. Instead of sum of i.i.d. variables there may be considered the composition of random semigroups $$e^{A_{i}t/n}$$ in the Banach space $$\mathcal{T}_{p}$$ . The law of large numbers is known in the case $$p=2$$ in the form of the usual law of large numbers for random operators in a Hilbert space. We obtain the law of large numbers for the case $$1\leqslant p\leqslant 2$$ .

arXiv:2504.10033•Lobachevskii Journal of Mathematics•Jun 1, 2025•1 citation
We analyse possibility to extend a quantum operation (sub-unital normal completely positive linear map on the algebra B(H)\mathfrak{B}(\mathcal{H})B(H) of bounded operators on a separable Hilbert space H\mathcal{H}H ) to the space of all operators on H\mathcal{H}H relatively bounded w.r.t. a given positive unbounded operator. We show that a quantum operation Φ\PhiΦ can be uniquely extended to a bounded linear operator on the Banach space of all G\sqrt{G}G​ -bounded operators on H\mathcal{H}H provided that the operation Φ\PhiΦ is GGG -limited: the predual operation Φ∗\Phi_{*}Φ∗​ maps the set of positive trace class operators ρ\rhoρ with finite value of TrρG\textrm{Tr}\rho GTrρG into itself. Assuming that GGG has discrete spectrum of finite multiplicity we prove that for a wide class of quantum operations the existence of the above extension implies the GGG -limited property. Applications to the theory of Bosonic Gaussian channels are considered.
Let HHH and KKK be (finite or infinite dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from B(H){\mathcal B}(H)B(H) into B(K){\mathcal B}(K)B(K) is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is give which shows that a state ρ\rhoρ on H⊗KH\otimes KH⊗K is separable if and only if (Φ⊗I)ρ≥0(\Phi\otimes I)\rho\geq 0(Φ⊗I)ρ≥0 for all positive finite rank elementary operators Φ\PhiΦ. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.
In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi’s characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A completely positive map μ is called a quantum channel, if it is trace preserving, and μ is called a quantum subchannel if it decreases the trace of a positive operator.We give simple neccesary and sufficient condtions for μ to be a quantum subchannel.We show that μ is a quantum subchannel if and only if it hasHellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.
Abstract In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi’s characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A completely positive map μ is called a quantum channel, if it is trace preserving, and μ is called a quantum subchannel if it decreases the trace of a positive operator.We give simple neccesary and sufficient condtions for μ to be a quantum subchannel.We show that μ is a quantum subchannel if and only if it hasHellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.
Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps transforming quantum operations with input in a separable von Neumann algebra and output in the algebra of the bounded operators on a given separable Hilbert space. In this setting we prove two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. Finally, we consider the case of quantum superinstruments, namely measures with values in the set of quantum supermaps, and derive a dilation theorem for them that is analogue to Ozawa's theorem for quantum instruments. The three dilation theorems presented here show that all the supermaps defined in this paper can be implemented by connecting devices in quantum circuits.
Almost-idempotent quantum channels and approximate C∗C^*C∗-algebras
Let ΦΦΦ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that ΦΦΦ is ηηη-idempotent, namely, ∥Φ2−Φ∥cb≤η\|Φ^2-Φ\|_{\mathrm{cb}} \leη∥Φ2−Φ∥cb​≤η, and construct an associated ε\varepsilonε-C∗C^*C∗ algebra (of almost-invariant observables) for ε=O(η)\varepsilon=O(η)ε=O(η). This type of structure has the axioms of a unital C∗C^*C∗ algebra but the associativity and other axioms involving the multiplication and the unit hold up to ε\varepsilonε. We prove that any finite-dimensional ε\varepsilonε-C∗C^*C∗ algebra AAA is O(ε)O(\varepsilon)O(ε)-isomorphic to some genuine C∗C^*C∗ algebra BBB. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When AAA comes from a finite-dimensional ηηη-idempotent UCP map ΦΦΦ, the O(η)O(η)O(η)-isomorphism and its inverse can be realized by UCP maps. This gives an approximate factorization of the quantum channel Φ∗Φ^*Φ∗ into a decoding channel, producing a state on BBB, and an encoding channel.
We consider random linear operators Ω→L(Tp,Tp)\Omega\to\mathcal{L}(\mathcal{T}_{p},\mathcal{T}_{p})Ω→L(Tp​,Tp​) acting in a ppp th Schatten class Tp\mathcal{T}_{p}Tp​ in a separable Hilbert space H\mathcal{H}H for some 1⩽p<∞1\leqslant p<\infty1⩽p<∞ . Such a superoperator is called pre-channel since it is an extension of a quantum channel to a wider class of operators without requirements of trace-preserving and positivity. Instead of sum of i.i.d. variables there may be considered the composition of random semigroups eAit/ne^{A_{i}t/n}eAi​t/n in the Banach space Tp\mathcal{T}_{p}Tp​ . The law of large numbers is known in the case p=2p=2p=2 in the form of the usual law of large numbers for random operators in a Hilbert space. We obtain the law of large numbers for the case 1⩽p⩽21\leqslant p\leqslant 21⩽p⩽2 .