Editing Quantum operation (section)

{{Short description|Class of transformations that quantum systems and processes can undergo}}

In [[quantum mechanics]], a '''quantum operation''' (also known as '''quantum dynamical map''' or '''[[quantum process]]''') is a mathematical formalism used to describe a broad class of transformations that a quantum mechanical system can undergo. This was first discussed as a general stochastic transformation for a [[density matrix]] by [[George Sudarshan]].<ref>{{cite journal | last1=Sudarshan | first1=E. C. G. | last2=Mathews | first2=P. M. | last3=Rau | first3=Jayaseetha | title=Stochastic Dynamics of Quantum-Mechanical Systems | journal=Physical Review | publisher=American Physical Society (APS) | volume=121 | issue=3 | date=1961-02-01 | issn=0031-899X | doi=10.1103/physrev.121.920 | pages=920–924| bibcode=1961PhRv..121..920S }}</ref> The quantum operation formalism describes not only unitary time evolution or symmetry transformations of isolated systems, but also the effects of measurement and transient interactions with an environment. In the context of [[quantum computation]], a quantum operation is called a [[quantum channel]].

Note that some authors use the term "quantum operation" to refer specifically to [[completely positive]] (CP) and non-trace-increasing maps on the space of density matrices, and the term "[[quantum channel]]" to refer to the subset of those that are strictly trace-preserving.<ref name="weedbrook">{{cite journal | last1=Weedbrook | first1=Christian | last2=Pirandola | first2=Stefano | last3=García-Patrón | first3=Raúl | last4=Cerf | first4=Nicolas J. | last5=Ralph | first5=Timothy C. | last6=Shapiro | first6=Jeffrey H. | last7=Lloyd | first7=Seth |display-authors=5| title=Gaussian quantum information | journal=Reviews of Modern Physics | volume=84 | issue=2 | date=2012-05-01 | issn=0034-6861 | doi=10.1103/revmodphys.84.621 | pages=621–669| arxiv=1110.3234 | bibcode=2012RvMP...84..621W | hdl=1721.1/71588 | s2cid=119250535 | hdl-access=free }}</ref>

Quantum operations are formulated in terms of the [[density matrix|density operator]] description of a quantum mechanical system.  Rigorously, a quantum operation is a [[linear]], [[completely positive]] map from the set of density operators into itself. In the context of quantum information, one often imposes the further restriction that a quantum operation <math>\mathcal E</math> must be ''physical'',{{sfnp|Nielsen|Chuang|2010}} that is, satisfy <math>0 \le \operatorname{Tr}[\mathcal E(\rho)] \le 1</math> for any state <math>\rho</math>.

Some [[quantum process]]es cannot be captured within the quantum operation formalism;<ref name="pechukas">{{cite journal | last=Pechukas | first=Philip | title=Reduced Dynamics Need Not Be Completely Positive | journal=Physical Review Letters | publisher=American Physical Society (APS) | volume=73 | issue=8 | date=1994-08-22 | issn=0031-9007 | doi=10.1103/physrevlett.73.1060 | pages=1060–1062| pmid=10057614 | bibcode=1994PhRvL..73.1060P }}</ref> in principle, the density matrix of a quantum system can undergo completely arbitrary time evolution.  Quantum operations are generalized by [[quantum instrument]]s, which capture the classical information obtained during measurements, in addition to the [[quantum information]].