scholarly journals Additivity violation of quantum channels via strong convergence to semi-circular and circular elements

Author(s):  
Motohisa Fukuda ◽  
Takahiro Hasebe ◽  
Shinya Sato

Additivity violation of minimum output entropy, which shows non-classical properties in quantum communication, had been proved in most cases for random quantum channels defined by Haar-distributed unitary matrices. In this paper, we investigate random completely positive maps made of Gaussian Unitary Ensembles and Ginibre Ensembles regarding this matter. Using semi-circular systems and circular systems of free probability, we not only show the multiplicativity violation of maximum output norms in the asymptotic regimes but also prove the additivity violation via Haagerup inequality for a new class of random quantum channels constructed by rectifying the above completely positive maps based on strong convergence.

Entropy ◽  
2021 ◽  
Vol 23 (5) ◽  
pp. 625
Author(s):  
Katarzyna Siudzińska ◽  
Sagnik Chakraborty ◽  
Dariusz Chruściński

A new class of positive maps is introduced. It interpolates between positive and completely positive maps. It is shown that this class gives rise to a new characterization of entangled states. Additionally, it provides a refinement of the well-known classes of entangled states characterized in terms of the Schmidt number. The analysis is illustrated with examples of qubit maps.


2006 ◽  
Vol 16 (3) ◽  
pp. 429-451 ◽  
Author(s):  
ELLIE D'HONDT ◽  
PRAKASH PANANGADEN

We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between the usual state-transformer semantics and the weakest precondition semantics. Rather than trying to reduce quantum computation to probabilistic programming, we develop a notion that is directly taken from concepts used in quantum computation. The proof that weakest preconditions exist for completely positive maps follows immediately from the Kraus representation theorem. As an example, we give the semantics of Selinger's language in terms of our weakest preconditions. We also cover some specific situations and exhibit an interesting link with stabilisers.


1992 ◽  
Vol 03 (02) ◽  
pp. 185-204 ◽  
Author(s):  
MASAMICHI HAMANA

The main result asserts that given two monotone complete C*-algebras A and B, B is faithfully represented as a monotone closed C*-subalgebra of the monotone complete C*-algebra End A(X) consisting of all bounded module endomorphisms of some self-dual Hilbert A-module X if and only if there are sufficiently many normal completely positive maps of B into A. The key to the proof is the fact that each pre-Hilbert A-module can be completed uniquely to a self-dual Hilbert A-module.


Sign in / Sign up

Export Citation Format

Share Document