The constraints imposed by the initial system-environment correlation can lead to nonpositive dynamical maps. We find the conditions for positivity and complete positivity of such dynamical maps by using the concept of an assignment map. Any initial system-environment correlations make the assignment map nonpositive, while the positivity of the dynamical map depends on the interplay between the assignment map and the system-environment coupling. We show how this interplay can reveal or hide the nonpositivity of the assignment map. We discuss the role of this interplay in Markovian models.
Given an open quantum system
S with environment
E, we establish a one-to-one correspondence between completely positive trace-preserving (CPTP) maps from
S to
E and assignment maps initializing the composite system
SE in a possibly correlated state prior to unitary evolution. We show that every possible joint state
ρSE can be realized by such assignment maps, which are inherently Hermiticity-preserving and trace-preserving (HPTP). While these maps sacrifice global positivity, we derive a simple necessary and sufficient condition for any local state of
S to belong to their domain of validity. Furthermore, we prove that the geometry of this domain is governed by the joint state assigned to the maximally mixed input, ensuring that a non-zero volume of admissible local states can readily coexist with initial system-environment entanglement. Finally, we provide an operational protocol for witnessing such limits of validity.