scholarly journals QUANTUMNESS OF CORRELATIONS AND ENTANGLEMENT

2011 ◽  
Vol 09 (07n08) ◽  
pp. 1757-1771 ◽  
Author(s):  
A. R. USHA DEVI ◽  
A. K. RAJAGOPAL ◽  
SUDHA
Keyword(s):  
Density Matrix ◽  
General Setting ◽  
Trace Class ◽  
Quantum Correlations ◽  
Completely Positive ◽  
Generalized Measurement ◽  
Linear Maps ◽  
Classical Quantum ◽  
First Time ◽  
General Perspective

Generalized measurement schemes on one part of bipartite states, which would leave the set of all separable states insensitive are explored here to understand quantumness of correlations in a more general perspective. This is done by employing linear maps associated with generalized projective measurements. A generalized measurement corresponds to a quantum operation mapping a density matrix to another density matrix, preserving its positivity, hermiticity, and trace class. The positive operator valued measure (POVM) — employed earlier in the literature to optimize the measures of classical/quantum correlations — correspond to completely positive (CP) maps. The other class, the not completely positive (NCP) maps, are investigated here, in the context of measurements, for the first time. It is shown that such NCP projective maps provide a new clue to the understanding of quantumness of correlations in a general setting. Especially, the separability–classicality dichotomy gets resolved only when both the classes of projective maps (CP and NCP) are incorporated as optimizing measurements. An explicit example of a separable state — exhibiting nonzero quantum discord, when possible optimizing measurements are restricted to POVMs — is reexamined with this extended scheme incorporating NCP projective maps to elucidate the power of this approach.

scholarly journals Entanglement Breaking Channels

2003 ◽  
Vol 15 (06) ◽  
pp. 629-641 ◽  
Author(s):  
Michael Horodecki ◽  
Peter W. Shor ◽  
Mary Beth Ruskai
Keyword(s):  
Density Matrix ◽  
Positive Operator ◽  
Extreme Points ◽  
Completely Positive ◽  
Classical Quantum ◽  
Positive Operator Valued Measure ◽  
Special Classes

This paper studies the class of stochastic maps, or channels, for which (I⊗Φ)(Γ) is always separable (even for entangled Γ). Such maps are called entanglement breaking, and can always be written in the form Φ(ρ)=∑kRk Tr Fkρ where each Rk is a density matrix and Fk>0. If, in addition, Φ is trace-preserving, the {Fk} must form a positive operator valued measure (POVM). Some special classes of these maps are considered and other characterizations given. Since the set of entanglement-breaking trace-preserving maps is convex, it can be characterized by its extreme points. The only extreme points of the set of completely positive trace preserving maps which are also entanglement breaking are those known as classical-quantum or CQ. However, for d≥3, the set of entanglement breaking maps has additional extreme points which are not extreme CQ maps.

scholarly journals CONSTRAINTS IN QUANTUM GEOMETRODYNAMICS

2004 ◽  
Vol 19 (10) ◽  
pp. 1609-1638 ◽  
Author(s):  
ADRIAN P. GENTLE ◽  
NATHAN D. GEORGE ◽  
ARKADY KHEYFETS ◽  
WARNER A. MILLER
Keyword(s):  
Quantum Gravity ◽  
General Setting ◽  
Square Root ◽  
Dynamical Equations ◽  
Dynamic Content ◽  
Quantization Formalism ◽  
Canonical Quantum Gravity ◽  
First Time ◽  
Quantum Geometrodynamics ◽  
Canonical Quantum

We compare different treatments of the constraints in canonical quantum gravity. The standard approach on the superspace of 3-geometries treats the constraints as the sole carriers of the dynamic content of the theory, thus rendering the traditional dynamical equations obsolete. Quantization of the constraints in both the Dirac and ADM square root Hamiltonian approaches leads to the well known problems of time evolution. These problems of time are of both an interpretational and technical nature. In contrast, the geometrodynamic quantization procedure on the superspace of the true dynamical variables separates the issues of quantization from the enforcement of the constraints. The resulting theory takes into account states that are off-shell with respect to the constraints, and thus avoids the problems of time. We develop, for the first time, the geometrodynamic quantization formalism in a general setting and show that it retains all essential features previously illustrated in the context of homogeneous cosmologies.

Positive Linear Maps on C*-Algebras

1972 ◽  
Vol 24 (3) ◽  
pp. 520-529 ◽  
Author(s):  
Man-Duen Choi
Keyword(s):  
Vector Spaces ◽  
Complex Numbers ◽  
Complex Matrices ◽  
Completely Positive ◽  
C Algebras ◽  
Linear Maps ◽  
Positive Linear Maps

The objective of this paper is to give some concrete distinctions between positive linear maps and completely positive linear maps on C*-algebras of operators.Herein, C*-algebras possess an identity and are written in German type . Capital letters A, B, C stand for operators, script letters for vector spaces, small letters x, y, z for vectors. Capital Greek letters Φ, Ψ stand for linear maps on C*-algebras, small Greek letters α, β, γ for complex numbers.We denote by the collection of all n × n complex matrices. () = ⊗ is the C*-algebra of n × n matrices over .

scholarly journals Physical Implementability of Linear Maps and Its Application in Error Mitigation

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 600
Author(s):  
Jiaqing Jiang ◽  
Kun Wang ◽  
Xin Wang
Keyword(s):  
General Linear ◽  
Local Error ◽  
Decomposition Technique ◽  
Completely Positive ◽  
Linear Map ◽  
Quantum Operations ◽  
Error Mitigation ◽  
Linear Maps ◽  
Analytic Expressions ◽  
Sampling Cost

Completely positive and trace-preserving maps characterize physically implementable quantum operations. On the other hand, general linear maps, such as positive but not completely positive maps, which can not be physically implemented, are fundamental ingredients in quantum information, both in theoretical and practical perspectives. This raises the question of how well one can simulate or approximate the action of a general linear map by physically implementable operations. In this work, we introduce a systematic framework to resolve this task using the quasiprobability decomposition technique. We decompose a target linear map into a linear combination of physically implementable operations and introduce the physical implementability measure as the least amount of negative portion that the quasiprobability must pertain, which directly quantifies the cost of simulating a given map using physically implementable quantum operations. We show this measure is efficiently computable by semidefinite programs and prove several properties of this measure, such as faithfulness, additivity, and unitary invariance. We derive lower and upper bounds in terms of the Choi operator's trace norm and obtain analytic expressions for several linear maps of practical interests. Furthermore, we endow this measure with an operational meaning within the quantum error mitigation scenario: it establishes the lower bound of the sampling cost achievable via the quasiprobability decomposition technique. In particular, for parallel quantum noises, we show that global error mitigation has no advantage over local error mitigation.

Dynamics of Interacting Classical and Quantum Systems

2011 ◽  
Vol 18 (04) ◽  
pp. 339-351 ◽  
Author(s):  
Dariusz Chruściński ◽  
Andrzej Kossakowski ◽  
Giuseppe Marmo ◽  
E. C. G. Sudarshan
Keyword(s):  
Characteristic Feature ◽  
Quantum Dynamics ◽  
Quantum Discord ◽  
Main Idea ◽  
Quantum Correlations ◽  
Quantum Systems ◽  
Quantum States ◽  
Algebra Of Observables ◽  
Classical Quantum ◽  
True Quantum

We analyze the dynamics of coupled classical and quantum systems. The main idea is to treat both systems as true quantum ones and impose a family of superselection rules which imply that the corresponding algebra of observables of one subsystem is commutative and hence may be treated as a classical one. Equivalently, one may impose a special symmetry which restricts the algebra of observables to the 'classical' subalgebra. The characteristic feature of classical-quantum dynamics is that it leaves invariant a subspace of classical-quantum states, that is, it does not create quantum correlations as measured by the quantum discord.

scholarly journals A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras

2019 ◽  
Vol 29 (06) ◽  
pp. 783-809
Author(s):  
Jules Hedges ◽  
Mehrnoosh Sadrzadeh
Keyword(s):  
Natural Language ◽  
Vector Space ◽  
Generative Grammar ◽  
Distributional Semantics ◽  
Compositional Semantics ◽  
Finite Dimensional ◽  
Linear Maps ◽  
First Time ◽  
Quantifier Theory ◽  
Compositional Distributional Semantics

AbstractCategorical compositional distributional semantics is a model of natural language; it combines the statistical vector space models of words with the compositional models of grammar. We formalise in this model the generalised quantifier theory of natural language, due to Barwise and Cooper. The underlying setting is a compact closed category with bialgebras. We start from a generative grammar formalisation and develop an abstract categorical compositional semantics for it, and then instantiate the abstract setting to sets and relations and to finite-dimensional vector spaces and linear maps. We prove the equivalence of the relational instantiation to the truth theoretic semantics of generalised quantifiers. The vector space instantiation formalises the statistical usages of words and enables us to, for the first time, reason about quantified phrases and sentences compositionally in distributional semantics.

scholarly journals Infinite dimensional generalizations of Choi’s Theorem

2019 ◽  
Vol 7 (1) ◽  
pp. 67-77
Author(s):  
Shmuel Friedland
Keyword(s):  
Hilbert Spaces ◽  
Quantum Channel ◽  
Trace Class ◽  
Natural Generalization ◽  
Linear Operators ◽  
Completely Positive Map ◽  
Completely Positive ◽  
Bounded Linear ◽  
Positive Map ◽  
Finite Dimensional

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.

Sign in / Sign up

Export Citation Format

Share Document