Deviation from linear reduced dynamics always occurs for each non-factorisable system-environment unitary evolution

arXiv:2608.18977v1 Announce Type: new Abstract: In the simplest approximation, the reduced dynamics of a quantum system $S$ interacting with its environment $E$ is considered to be given by a completely positive map. But, in general, this is not the case. In fact, the reduced dynamics of the system in not even linear, in general. Whether the reduced dynamics is linear or not is determined by two factors: the set of possible initial states of the system-environment $\mathcal{S}=\left\lbrace \rho_{SE} \right\rbrace $, and the joint system-environment unitary evolution $U$. When $U$ is factorisable as $U=U_S\otimes U_E$, then we can choose $\mathcal{S}=\mathcal{D}$, where $\mathcal{D}$ is the set of all system-environment density operators. In other words, when $U$ is factorisable, the reduced dynamics of the system $S$ is linear (in fact unitary) for arbitrary initial state of the system-environment $\rho_{SE}$. We show that this result cannot be generalized to any non-factorisable $U$: For any non-factorisable unitary evolution of the whole system-environment $U$, the set $\mathcal{S}$ must be chosen as a proper subset of $\mathcal{D}$ to achieve linear reduced dynamics. As a byproduct, considering a convex set of possible initial states of the system-environment $\mathcal{S}$ such that $\mathrm{Tr}_{E} \ \mathcal{S}=\mathrm{Tr}_{E} \ \mathcal{D}$, we show that when the reduced dynamics of the system, for one system-environment unitary evolution $U_1$, is positive, but not completely positive, this implies that reduced dynamics is not linear for another $U_2$.

Abstract:In the simplest approximation, the reduced dynamics of a quantum system $S$ interacting with its environment $E$ is considered to be given by a completely positive map. But, in general, this is not the case. In fact, the reduced dynamics of the system in not even linear, in general. Whether the reduced dynamics is linear or not is determined by two factors: the set of possible initial states of the system-environment $\mathcal{S}=\left\lbrace \rho_{SE} \right\rbrace $, and the joint system-environment unitary evolution $U$. When $U$ is factorisable as $U=U_S\otimes U_E$, then we can choose $\mathcal{S}=\mathcal{D}$, where $\mathcal{D}$ is the set of all system-environment density operators. In other words, when $U$ is factorisable, the reduced dynamics of the system $S$ is linear (in fact unitary) for arbitrary initial state of the system-environment $\rho_{SE}$. We show that this result cannot be generalized to any non-factorisable $U$: For any non-factorisable unitary evolution of the whole system-environment $U$, the set $\mathcal{S}$ must be chosen as a proper subset of $\mathcal{D}$ to achieve linear reduced dynamics. As a byproduct, considering a convex set of possible initial states of the system-environment $\mathcal{S}$ such that $\mathrm{Tr}_{E} \ \mathcal{S}=\mathrm{Tr}_{E} \ \mathcal{D}$, we show that when the reduced dynamics of the system, for one system-environment unitary evolution $U_1$, is positive, but not completely positive, this implies that reduced dynamics is not linear for another $U_2$.

arXiv:2608.18977 [quant-ph]

(or arXiv:2608.18977v1 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2608.18977 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

analiza aiqbench

Deviation from linear reduced dynamics always occurs for each non-factorisable system-environment unitary evolution

Subiecte conexe