Abstract:Complete positivity of quantum dynamics is often viewed as a litmus test for physicality; yet, it is well known that correlated initial states need not give rise to completely positive evolutions. This observation spurred numerous investigations over the past two decades attempting to identify necessary and sufficient conditions for complete positivity. Here, we describe a complete and consistent mathematical framework for the discussion and analysis of complete positivity for correlated initial states of open quantum systems. This formalism is built upon a few simple axioms and is sufficiently general to contain all prior methodologies going back to Pechakas (Phys Rev Lett 73:1060–1062, 1994). The key observation is that initial system-bath states with the same reduced state on the system must evolve under all admissible unitary operators to system-bath states with the same reduced state on the system, in order to ensure that the induced dynamical maps on the system are well defined. Once this consistency condition is imposed, related concepts such as the assignment map and the dynamical maps are uniquely defined. In general, the dynamical maps may not be applied to arbitrary system states, but only to those in an appropriately defined physical domain. We show that the constrained nature of the problem gives rise to not one but three inequivalent types of complete positivity. Using this framework, we elucidate the limitations of recent attempts to provide conditions for complete positivity using quantum discord and the quantum data processing inequality. In particular, we correct the claim made by two of us (Shabani and Lidar in Phys Rev Lett 102:100402–100404, 2009) that vanishing discord is necessary for complete positivity, and explain that it is valid only for a particular class of initial states. The problem remains open, and may require fresh perspectives and new mathematical tools. The formalism presented herein may be one step in that direction.

Completely Positive Maps Within the Framework of Direct-Sum Decomposition of State Space

A Class of Completely Positive Maps

Dynamics of Open Systems with Affine Maps

A Characterization of Positive Linear Maps and Criteria of Entanglement for Quantum States

Positive Maps That Are Not Completely Positive

Decomposability and Optimality of a Class of Positive Maps

Interpolations of Entanglement Breaking Channels and Equivalent Conditions for Completely Positive Maps

On non-completely positive quantum dynamical maps on spin chains

Completely positive linear maps on maximal and minimal operator system structures

Notes on Completely Positive Map

A general framework for complete positivity

Quantum Measurements and Maps Preserving Strict Convex Combinations and Pure States

Construction of a Family of Positive But Not Completely Positive Map For the Detection of Bound Entangled States

Positive Maps and Entanglement in Real Hilbert Spaces

Ergodic decomposition in the space of unital completely positive maps

A Class of Generalized Positive Linear Maps on Matrix Algebras

Linear Maps Preserving Separability of Pure States

On the use of total state decompositions for the study of reduced dynamics

Linear maps as sufficient criteria for entanglement depth and compatibility in many-body systems

Choi representation of completely positive maps: a technical introduction

Deterministic Quantum State Transformations