A quantum mechanics concept defining a model element, mathematical object, or experimental method used to predict measurable outcomes. It applies when required assumptions and definitions are specified and yields computable probabilities and expectation values. It does not ensure correctness without validation of approximations, numerical stability, and consistency of units and conventions. It materially affects interpretation of experiments and the reliability of theoretical predictions across quantum systems. The concept is generally stable, though methods and implementations evolve over time.

Principle

Positivity of a map on isolated systems is insufficient in quantum theory; physical validity requires positivity to survive extension by the identity on any ancilla dimension, ensuring that entangled states remain positive under the map—this is the requirement of complete positivity.

Demonstration

On finite-dimensional spaces, any map with Kraus operators {K_i} defined by Φ(ρ)=∑_i K_i ρ K_i† is completely positive. A counterexample: the transposition map T is positive on single-system density operators but not completely positive because id ⊗ T produces nonpositive operators on maximally entangled states.

Misapplication

Assuming that any positive map is physically implementable on part of an entangled system; using a merely positive map on a subsystem can yield nonphysical (nonpositive) joint states when the global state is entangled.

Consequence

Complete positivity is a necessary structural condition for mathematical descriptions of subsystem dynamics arising from unitary evolution on a larger system; requiring CP constrains allowable representations and ensures stability of positivity under extension.

Reversal

Relaxing complete positivity to positivity yields maps that may be valid only for uncorrelated inputs; conversely, enforcing CP while dropping linearity or other operational constraints leads outside the standard quantum operations framework.

Boundary

Defined among linear maps on operator spaces; complete positivity must hold for all ancilla dimensions. Excludes nonlinear transformations and maps that are positive only on restricted sets; in infinite dimensions additional technical domain issues can arise.

Semantic Tension

Completely Positive vs Positive: positivity tests the image of positive operators, while complete positivity tests positivity after arbitrary ancilla extension; the distinction is crucial when entanglement is present.

Synthesis

A completely positive map is the linear operator-level condition ensuring a transformation acts positively on systems even when they are entangled with arbitrary ancillas; in finite dimensions it is equivalent to existence of a Kraus operator-sum representation and underlies physically implementable subsystem evolutions.