An operator concept used to encode measurable quantities, transformations, or noise processes in a quantum model. It governs how outcome statistics and transformations are computed from state vectors or density operators. It does not guarantee physical relevance unless required properties such as positivity and normalization are satisfied. It determines allowed values, conserved quantities, and admissible state transformations under the model. The concept is generally stable, though formal treatments and numerical implementations improve over time.

Principle

Translate properties of linear maps into properties of operators on a tensor product: positivity of the Choi matrix characterizes complete positivity; partial traces of J(Λ) express trace-preserving or unital constraints.

Demonstration

For the identity channel Id_H the Choi matrix is the projector on the maximally entangled state; for the completely depolarizing channel the Choi matrix is proportional to the maximally mixed operator on H⊗K.

Misapplication

Using the Choi criterion without attending to basis/convention choices (normalized vs unnormalized |Φ⟩ or transposition conventions) or applying the positivity test to maps on infinite-dimensional spaces without domain control.

Consequence

Converts channel verification and tomography into state-based tasks, enables semidefinite programming constraints for channels, and directly relates channel entanglement properties to operator entanglement of the Choi matrix.

Reversal

Instead of mapping maps to operators, one can treat superoperator representations or Kraus decompositions as primitive; the reversal is to analyze the linear map itself rather than its Choi operator.

Boundary

Standard finite-dimensional construction between spaces of equal input dimension H (or with an appropriate reference basis); subtlety arises for infinite-dimensional Hilbert spaces, for maps that are not completely positive, or when input and reference spaces differ.

Semantic Tension

Tension with other matrix unfoldings (reshaping, natural representation, dynamical matrix): different conventions produce related matrices that differ by transposition or reshuffling while encoding the same information.

Synthesis

The Choi Matrix is the operator representation of a linear map obtained by acting the map on one half of a maximally entangled state; positivity and partial traces of this operator capture complete positivity and trace constraints of the original map.