|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| 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>[http://prola.aps.org/abstract/PR/v121/i3/p920_1 "Stochastic Dynamics of Quantum-Mechanical Systems"] .</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]].
| | When cleansing, drying out is actually a critical point. If you have any inquiries regarding where and ways to make use of [http://harrisdhcg.livejournal.com/8576.html Dallas roof repair], you can call us at our own web-site. UN Environmental Programme Executive Director said in a report to the Environmental News Service, "The international community has indicated it's willingness to assist. However, since most of the time you may not know who the adjuster is for a day or two, it is generally acceptable to go ahead and remove things like particle board toekicks under cabinets, mdf baseboard or other materials that are not salvageable even if dried. When the mold spores get into the walls you could be living next to them and not even knowing it. Getting the water out of your carpets isn't even the bare minimum of restoring your carpets to their former glory. <br><br>After the job, the contractor should present proper documentation of the affected area's successful restoration. Clean and well organized kitchen is always found in a successful man's life. A person can die or become severely ill from black water. t know is that it can also cause a danger to our health. You can't play an NTSC video with a PAL system and vice versa. <br><br>Even computer hard drives have been known to be restored with the proper cleaning procedures after having been flooded. Symptoms that often accompany adrenal fatigue are constipation, dry skin and hair, and both muscle pain and weakness. Luckily, a professional water restoration company can prove to be a great help for you in such situation since it can do what you can't and suction up the water that is soaked into the carpet and the pad beneath the carpet. Find out for more info also here [ TARGET= . However, the softener needs to be revitalized or restored if it converts gallons of hard water each day. Keeping the area dry will help to ensure that mold does not occur again. The IICRC is an industry regulator that ensures safe and healthy restoration practices across the country. Moreover, water damage in a shopping mall could put the health and safety of mall employees and the public at risk. In this day and age, natural disasters takes place constantly so if your carpets has been subject to flood damage. Some states only forbid use of cameras on areas that should be fully non-public like bedrooms and bathrooms. All our professional cleaning crews are pre-screened and are trusted and preferred by property owners and insurance companies. Residents are being advised to prepare for storms and flooding that is already a constant event for them. Members of this industry include carpet and rug cleaners, odor control specialists, water damage restorers and mold remediation professionals, upholstery cleaners, and master fire and smoker restorers. Since different materials react differently to various corrosive agents, knowing the type of materials used can give clues to the vulnerability of the structure to corrosion. Never use steel wool on a countertop - Do not cut, chop or slice directly on a laminate countertop, always use a cutting board.] |
| | |
| 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.
| |
| | |
| Some [[quantum process]]es cannot be captured within the quantum operation formalism;<ref name="pechukas">Philip Pechukas, [http://prl.aps.org/abstract/PRL/v73/i8/p1060_1 "Reduced Dynamics Need Not Be Completely Positive"], ''Phys. Rev. Lett.'' '''73''', 1060 (1994).</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 obtainined during measurements, in addition to the [[quantum information]].
| |
| | |
| == Background ==
| |
| | |
| The [[Schrödinger picture]] provides a satisfactory account of [[time evolution]] of state for a quantum mechanical system under certain assumptions. These assumptions include | |
| | |
| * The system is non-relativistic
| |
| * The system is isolated.
| |
| | |
| The Schrödinger picture for time evolution has several mathematically equivalent formulations. One such formulation expresses the [[derivative|time rate of change]] of the state via the [[Schrödinger equation]]. A more suitable formulation for this exposition is expressed as follows:
| |
| | |
| : The effect of the passage of ''t'' units of time on the state of an isolated system '''S''' is given by a unitary operator ''U''<sub>''t''</sub> on the Hilbert space ''H'' associated to '''S'''.
| |
| | |
| This means that if the system is in a state corresponding to ''v'' ∈ ''H'' at an instant of time ''s'', then the state after ''t'' units of time will be ''U''<sub>''t''</sub> ''v''. For [[Special relativity|relativistic]] systems, there is no universal time parameter, but we can still formulate the effect of certain reversible transformations on the quantum mechanical system. For instance, state transformations relating observers in different frames of reference are given by unitary transformations. In any case, these state transformations carry pure states into pure states; this is often formulated by saying that in this idealized framework, there is no [[decoherence]].
| |
| | |
| For interacting (or open) systems, such as those undergoing measurement, the situation is entirely different. To begin with, the state changes experienced by such systems cannot be accounted for exclusively by a transformation on the set of pure states (that is, those associated to vectors of norm 1 in ''H''). After such an interaction, a system in a pure state φ may no longer be in the pure state φ. In general it will be in a statistical mix of a sequence of pure states φ<sub>1</sub>,..., φ<sub>''k''</sub> with respective probabilities λ<sub>1</sub>,..., λ<sub>''k''</sub>. The transition from a pure state to a mixed state is known as decoherence.
| |
| | |
| Numerous mathematical formalisms have been established to handle the case of an interacting system. The quantum operation formalism emerged around 1983 from work of [[Karl Kraus (physicist)|Karl Kraus]], who relied on the earlier mathematical work of [[Man-Duen Choi]]. It has the advantage that it expresses operations such as measurement as a mapping from density states to density states. In particular, the effect of quantum operations stays within the set of density states.
| |
| | |
| == Definition ==
| |
| | |
| Recall that a [[density operator]] is a non-negative operator on a [[Hilbert space]] with unit trace.
| |
| | |
| Mathematically, a quantum operation is a [[linear map]] Φ between spaces of [[trace class]] operators on Hilbert spaces ''H'' and ''G'' such that
| |
| * If ''S'' is a density operator, Tr(Φ(''S'')) ≤ 1.
| |
| * Φ is [[Choi's theorem on completely positive maps|completely positive]], that is for any natural number ''n'', and any square matrix of size ''n'' whose entries are trace-class operators
| |
| :<math> \begin{bmatrix} S_{11} & \cdots & S_{1 n}\\ \vdots & \ddots & \vdots \\ S_{n 1} & \cdots & S_{n n}\end{bmatrix} </math>
| |
| and which is non-negative, then
| |
| :<math> \begin{bmatrix} \Phi(S_{11}) & \cdots & \Phi(S_{1 n})\\ \vdots & \ddots & \vdots \\ \Phi(S_{n 1}) & \cdots & \Phi(S_{n n})\end{bmatrix} </math>
| |
| is also non-negative. In other words, Φ is completely positive if <math>\Phi \otimes I_n</math> is positive for all ''n'', where <math>I_n</math> denotes the identity map on the [[C*-algebra]] of <math>n \times n</math> matrices.
| |
| | |
| Note that, by the first condition, quantum operations may not preserve the normalization property of statistical ensembles. In probabilistic terms, quantum operations may be [[sub-Markovian]]. In order that a quantum operation preserve the set of density matrices, we need the additional assumption that it is trace-preserving.
| |
| | |
| In the context of [[quantum information]], the quantum operations defined here, i.e. completely positive maps that do not increase the trace, are also called [[quantum channel]]s or ''stochastic maps''. The formulation here is confined to channels between quantum states; however, it can be extended to include classical states as well, therefore allowing quantum and classical information to be handled simultaneously.
| |
| | |
| == Kraus operators ==
| |
| Kraus' theorem characterizes maps that model quantum operations between density operators of quantum state:
| |
| | |
| '''Theorem'''.<ref>This theorem is proved in the Nielsen and Chuang reference, Theorems 8.1 and 8.3.</ref> Let ''H'' and ''G'' be Hilbert spaces of dimension ''n'' and ''m'' respectively, and Φ be a quantum operation taking the density matrices acting on ''H'' to those acting on ''G''. Then there are matrices
| |
| :<math>\{ B_i \}_{1 \leq i \leq nm}</math>
| |
| mapping ''G'' to ''H'', such that
| |
| :<math> \Phi(S) = \sum_i B^*_i S B_i. </math>
| |
| Conversely, any map Φ of this form is a quantum operation provided
| |
| :<math> \sum_i B_i B^*_i \leq 1. </math>
| |
| | |
| The matrices <math>\{ B_i \}</math> are called ''Kraus operators''. (Sometimes they are known as ''noise operators'' or ''error operators'', especially in the context [[quantum information processing]] where the quantum operation represents the noisy, error-producing effects of the environment.) The [[Stinespring factorization theorem]] extends the above result to arbitrary separable Hilbert spaces ''H'' and ''G''. There, ''S'' is replaced by a trace class operator and <math>\{ B_i \}</math> by a sequence of bounded operators.
| |
| | |
| ===Unitary equivalence===
| |
| Kraus matrices are not uniquely determined by the quantum operation Φ in general. For example, different [[Cholesky factorization]]s of the Choi matrix might give different sets of Kraus operators. The following theorem states that all systems of Kraus matrices which represent the same quantum operation are related by a unitary transformation:
| |
| | |
| '''Theorem'''. Let Φ be a (not necessarily trace preserving) quantum operation on a finite dimensional Hilbert space ''H'' with two representing sequences of Kraus matrices {''B''<sub>''i''</sub>}<sub>''i''≤ N</sub> and {''C''<sub>''i''</sub>}<sub>''i''≤ N </sub>. Then there is a unitary operator matrix <math>\; (u_{ij})_{ij}</math> such that
| |
| :<math> C_i = \sum_{j} u_{ij} B_j . \quad</math>
| |
| | |
| In the infinite dimensional case, this generalizes to a relationship between two [[Stinespring factorization theorem|minimal Stinespring representations]].
| |
| | |
| It is a consequence of Stinespring's theorem that all quantum operations can be implemented via unitary evolution after coupling a suitable [[ancilla (quantum computing)|ancilla]] to the original system.
| |
| | |
| ===Remarks===
| |
| These results can be also derived from [[Choi's theorem on completely positive maps]], characterizing a completely positive finite-dimensional map by a unique Hermitian-positive density operator ([[Choi matrix]]) with respect to the trace. Among all possible Kraus representations of a given [[quantum channel|channel]], there exists a canonical form
| |
| distinguished by the orthogonality relation of Kraus operators, <math>{\rm Tr} A^{\dagger}_i A_j \sim \delta_{ij} </math>. Such a canonical set of orthogonal Kraus operators can be obtained by diagonalising the corresponding Choi matrix and reshaping its eigenvectors into square matrices.
| |
| | |
| There also exists an infinite dimensional algebraic generalization of Choi's theorem, known as 'Belavkin's Radon-Nikodym theorem for completely positive maps', which defines a density operator as a "Radon-Nikodym derivative" of a [[quantum channel]] with respect to a dominating completely positive map (reference channel). It is used for defining the relative fidelities and mutual informations for quantum channels.
| |
| | |
| ==Dynamics==
| |
| For a non-relativistic quantum mechanical system, its [[time evolution]] is described by a [[one-parameter group]] of automorphisms {α<sub>''t''</sub>}<sub>''t''</sub> of ''Q''. This can be narrowed to unitary transformations: under certain weak technical conditions (see the article on [[quantum logic]] and the Varadarajan reference), there is a strongly continuous one-parameter group {''U''<sub>''t''</sub>}<sub>''t''</sub> of unitary transformations of the underlying Hilbert space such that the elements ''E'' of ''Q'' evolve according to the formula
| |
| :<math> \alpha_t(E) = U^*_t E U_t. </math>
| |
| The system time evolution can also be regarded dually as time evolution of the statistical state space. The evolution of the statistical state is given by a family of operators {β<sub>''t''</sub>}<sub>''t''</sub>
| |
| such that
| |
| :<math> \operatorname{Tr}(\beta_t(S) E) = \operatorname{Tr}(S \alpha_{-t}(E)) = \operatorname{Tr}(S U _t E U^*_t )=\operatorname{Tr}( U^*_t S U _t E ).</math>
| |
| | |
| Clearly, for each value of ''t'', ''S'' → ''U''*<sub>''t''</sub> ''S'' ''U''<sub>''t''</sub> is a quantum operation. Moreover, this operation is ''reversible''.
| |
| | |
| This can be easily generalized: If ''G'' is a connected [[Lie group]] of symmetries of ''Q'' satisfying the same weak continuity conditions, then the [[group action|action]] of any element ''g'' of ''G'' is given by a unitary operator ''U'':
| |
| :<math> g \cdot E = U_g E U_g^*. \quad</math>
| |
| This mapping ''g'' → ''U''<sub>''g''</sub> is known as a [[projective representation]] of ''G''. The mappings ''S'' → ''U''*<sub>''g''</sub> ''S'' ''U''<sub>''g''</sub> are reversible quantum operations.
| |
| | |
| ==Quantum measurement==
| |
| Quantum operations can be used to describe the process of [[quantum measurement]]. The presentation below describes measurement in terms of self-adjoint projections on a separable complex Hilbert space ''H'', that is, in terms of a [[PVM]]. In the general case, measurements can be made using non-orthogonal operators, via the notions of [[POVM]]. The non-orthogonal case is interesting, as it can improve the overall efficiency of the [[quantum instrument]].
| |
|
| |
| ===Binary measurements ===
| |
| Quantum systems may be measured by applying a series of ''yes–no questions''. This set of questions can be understood to be chosen from an [[orthocomplemented lattice]] ''Q'' of propositions in [[quantum logic]]. The lattice is equivalent to the space of self-adjoint projections on a separable complex Hilbert space ''H''.
| |
| | |
| Consider a system in some state ''S'', with the goal of determining whether it has some property ''E'', where ''E'' is an element of the lattice of quantum ''yes-no'' questions. Measurement, in this context, means submitting the system to some procedure to determine whether the state satisfies the property. The reference to system state, in this discussion, can be given an [[operational definition|operational meaning]] by considering a [[statistical ensemble]] of systems. Each measurement yields some definite value 0 or 1; moreover application of the measurement process to the ensemble results in a predictable change of the statistical state. This transformation of the statistical state is given by the quantum operation
| |
| :<math> S \mapsto E S E + (I - E) S (I - E). </math>
| |
| Here ''E'' can e understood to be a [[projection operator]].
| |
| | |
| ===General case===
| |
| In the general case, measurements are made on observables taking on more than two values.
| |
| | |
| When an observerable ''A'' has a [[Self-adjoint operator#Pure point spectrum|pure point spectrum]], it can be written in terms of an [[orthonormal]] basis of eigenvectors. That is, ''A'' has a spectral decomposition
| |
| :<math> A = \sum_\lambda \lambda \operatorname{E}_A(\lambda)</math>
| |
| where E<sub>''A''</sub>(λ) is a family of pairwise orthogonal [[projection]]s, each onto the respective eigenspace of ''A'' associated with the measurement value λ.
| |
| | |
| Measurement of the observable ''A'' yields an eigenvalue of ''A''. Repeated measurements, made on a [[statistical ensemble]] ''S'' of systems, results in a probability distribution over the eigenvalue spectrum of ''A''. It is a [[discrete probability distribution]], and is given by
| |
| ::<math> \operatorname{Pr}(\lambda) = \operatorname{Tr}(S \operatorname{E}_A(\lambda)).</math>
| |
| | |
| Measurement of the statisical state ''S'' is given by the map
| |
| ::<math> S \mapsto \sum_\lambda \operatorname{E}_A(\lambda) S \operatorname{E}_A(\lambda)\ .</math>
| |
| That is, immediately after measurement, the statistical state is a classical distribution over the eigenspaces associated with the possible values λ of the observable: ''S'' is a [[mixed state (physics)|mixed state]].
| |
| | |
| ==Non-completely positive maps==
| |
| | |
| Shaji and [[George Sudarshan|Sudarshan]] argued in a Physics Letters A paper that, upon close examination, complete positivity is not a requirement for a good representation of open quantum evolution. Their calculations show that, when starting with some fixed initial correlations between the observed system and the environment, the map restricted to the system itself is not necessarily even positive. However, it is not positive only for those states that do not satisfy the assumption about the form of initial correlations. Thus, they show that to get a full understanding of quantum evolution, non completely-positive maps should be considered as well.<ref name="pechukas"/><ref>Anil Shaji and E.C.G. Sudarshan [http://www.sciencedirect.com/science/article/pii/S0375960105005748 "Who's Afraid of not Completely Positive Maps?"], ''Physics Letters A'' Volume '''341''', 20 June 2005, Pages 48–54</ref>
| |
| | |
| == References ==
| |
| <references/>
| |
| | |
| * M. Nielsen and I. Chuang, ''Quantum Computation and Quantum Information'', Cambridge University Press, 2000
| |
| | |
| * M. Choi, ''Completely Positive Linear Maps on Complex matrices'', Linear Algebra and Its Applications, 285–290, 1975
| |
| | |
| * E. C. G. Sudarshan et al. ''Stochastic Dynamics of Quantum-Mechanical Systems'', Phys. Rev. 121, 920–924, 1961.
| |
| | |
| * V. P. Belavkin, P. Staszewski, Radon–Nikodym Theorem for Completely Positive Maps, Reports on Mathematical Physics, v.24, No 1, 49–55, 1986.
| |
| | |
| * K. Kraus, ''States, Effects and Operations: Fundamental Notions of Quantum Theory'', Springer Verlag 1983
| |
| | |
| * W. F. Stinespring, ''Positive Functions on C*-algebras'', Proceedings of the American Mathematical Society, 211–216, 1955
| |
| | |
| * V. Varadarajan, ''The Geometry of Quantum Mechanics'' vols 1 and 2, Springer-Verlag 1985
| |
| | |
| *
| |
| | |
| {{DEFAULTSORT:Quantum Operation}}
| |
| [[Category:Quantum mechanics]]
| |
When cleansing, drying out is actually a critical point. If you have any inquiries regarding where and ways to make use of Dallas roof repair, you can call us at our own web-site. UN Environmental Programme Executive Director said in a report to the Environmental News Service, "The international community has indicated it's willingness to assist. However, since most of the time you may not know who the adjuster is for a day or two, it is generally acceptable to go ahead and remove things like particle board toekicks under cabinets, mdf baseboard or other materials that are not salvageable even if dried. When the mold spores get into the walls you could be living next to them and not even knowing it. Getting the water out of your carpets isn't even the bare minimum of restoring your carpets to their former glory.
After the job, the contractor should present proper documentation of the affected area's successful restoration. Clean and well organized kitchen is always found in a successful man's life. A person can die or become severely ill from black water. t know is that it can also cause a danger to our health. You can't play an NTSC video with a PAL system and vice versa.
Even computer hard drives have been known to be restored with the proper cleaning procedures after having been flooded. Symptoms that often accompany adrenal fatigue are constipation, dry skin and hair, and both muscle pain and weakness. Luckily, a professional water restoration company can prove to be a great help for you in such situation since it can do what you can't and suction up the water that is soaked into the carpet and the pad beneath the carpet. Find out for more info also here [ TARGET= . However, the softener needs to be revitalized or restored if it converts gallons of hard water each day. Keeping the area dry will help to ensure that mold does not occur again. The IICRC is an industry regulator that ensures safe and healthy restoration practices across the country. Moreover, water damage in a shopping mall could put the health and safety of mall employees and the public at risk. In this day and age, natural disasters takes place constantly so if your carpets has been subject to flood damage. Some states only forbid use of cameras on areas that should be fully non-public like bedrooms and bathrooms. All our professional cleaning crews are pre-screened and are trusted and preferred by property owners and insurance companies. Residents are being advised to prepare for storms and flooding that is already a constant event for them. Members of this industry include carpet and rug cleaners, odor control specialists, water damage restorers and mold remediation professionals, upholstery cleaners, and master fire and smoker restorers. Since different materials react differently to various corrosive agents, knowing the type of materials used can give clues to the vulnerability of the structure to corrosion. Never use steel wool on a countertop - Do not cut, chop or slice directly on a laminate countertop, always use a cutting board.]