<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://www2.physics.siu.edu/qunet/wiki/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Ndewaele</id>
	<title>Qunet - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://www2.physics.siu.edu/qunet/wiki/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Ndewaele"/>
	<link rel="alternate" type="text/html" href="https://www2.physics.siu.edu/qunet/wiki/index.php/Special:Contributions/Ndewaele"/>
	<updated>2026-04-09T22:48:52Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.31.7</generator>
	<entry>
		<id>https://www2.physics.siu.edu/qunet/wiki/index.php?title=Chapter_6_-_Noise_in_Quantum_Systems&amp;diff=1891</id>
		<title>Chapter 6 - Noise in Quantum Systems</title>
		<link rel="alternate" type="text/html" href="https://www2.physics.siu.edu/qunet/wiki/index.php?title=Chapter_6_-_Noise_in_Quantum_Systems&amp;diff=1891"/>
		<updated>2012-11-05T17:06:26Z</updated>

		<summary type="html">&lt;p&gt;Ndewaele: /* Physical Interpretation of the Unitary Freedom */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;===Introduction===&lt;br /&gt;
&lt;br /&gt;
Noise is the greatest obstacle to building a scalable and reliable quantum computing device.  Furthermore, all realistic quantum systems are noisy.  Therefore, the main goal of experimentalists trying to build quantum computing devices is to eliminate as much noise as possible.  In this chapter, the objective will be to understand how to describe noise.&lt;br /&gt;
&lt;br /&gt;
In [[Chapter 3 - Physics of Quantum Information|Chapter 3]], the Schrodinger equation was discussed as a way to describe quantum &amp;lt;nowiki&amp;gt;systems'&amp;lt;/nowiki&amp;gt; evolution.  The process described by [[Chapter 3 - Physics of Quantum Information#Schrodinger's Equation|Schrodinger's Equation]] is the evolution of a system which has been isolated from everything else ([[Index#C|closed system]]).  However, as just stated, realistic systems are noisy often because of unwanted interactions with the environment.  There are other noises---such as a gating operation that necessarily has a finite precision.  Such noise can also be described by the representations of open quantum system evolution that are provided in this chapter.  This chapter is about noise in general.&lt;br /&gt;
&lt;br /&gt;
===SMR Representation or Operator-Sum Representation===&lt;br /&gt;
&lt;br /&gt;
The operator-sum representation is a method for representing open system evolution.  It now goes by other names, such as Kraus representation or Kraus decomposition.  However, it originated with [[Bibliography#SMR|Sudarshan, Mathews, and Rau]] in 1961 (SMR) and was later taken up by [[Bibliography#Kraus:83|Kraus]] and others.  Kraus's name is now attached to it due to a set of lecture notes published in the early 1970's.  In this section, it will likely be clear that the description in all its generality was very well (and simply) described by [[Bibliography#SMR|SMR]] and that is the line of argument which will be followed.  &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
Let us consider a mapping from one density operator to another with no other restrictions.  This can be written as a linear map,&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime = A \rho,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.1}}&lt;br /&gt;
or more explicitly,&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime_{r^\prime s^\prime} = \sum_{r,s}A_{r^\prime s^\prime,rs} \rho_{rs}.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.2}}&lt;br /&gt;
One way to think of this is a linear mapping from one vector (&amp;lt;math&amp;gt;\rho \,\!&amp;lt;/math&amp;gt;) to another (&amp;lt;math&amp;gt;\rho^\prime \,\!&amp;lt;/math&amp;gt;) by a matrix (&amp;lt;math&amp;gt;A \,\!&amp;lt;/math&amp;gt;).  (&amp;lt;math&amp;gt;\rho\,\!&amp;lt;/math&amp;gt; can be viewed as a vector.  Simply rearrange the elements of the matrix into a column vector.  &amp;lt;math&amp;gt;A \,\!&amp;lt;/math&amp;gt; is then a matrix.)  It is apparent that this is a very general mapping; yet one might think a more general one could be constructed by adding a constant term.  This would be, in fact, not more general as it can be absorbed into the definition of &amp;lt;math&amp;gt;A\,\!&amp;lt;/math&amp;gt;.  We recall that the density matrix is required to be Hermitian, positive semi-definite (has no negative eigenvalues), and having a trace of one.  Thus the following are true:&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\rho = \rho^\dagger,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.3}}&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\rho \geq 0,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.4}}&lt;br /&gt;
and&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\mbox{Tr}\rho = 1.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.5}}&lt;br /&gt;
The first condition ensures real eigenvalues, while the second and third ensure a valid probability interpretation of the density matrix.  &lt;br /&gt;
One can show that, given the properties Eqs. [[#eq6.3|(6.3)]], [[#eq6.4|(6.4)]], and [[#eq6.5|(6.5)]], the mapping &amp;lt;math&amp;gt;A\,\!&amp;lt;/math&amp;gt; (which can be considered a matrix) has the following properties:&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
A_{sr,s^\prime r^\prime} = (A_{rs,r^\prime s^\prime})^*,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.6}}&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\sum_{rsr^\prime s^\prime} x_r^*x_sA_{sr,s^\prime r^\prime}y^*_{s^\prime}y_{r^\prime} \geq 0,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.7}}&lt;br /&gt;
and&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\sum_r A_{rr,s^\prime r^\prime} = \delta_{s^\prime r^\prime}.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.8}}&lt;br /&gt;
We could also introduce a new matrix, &amp;lt;math&amp;gt;B\,\!&amp;lt;/math&amp;gt;, which is related to &lt;br /&gt;
&amp;lt;math&amp;gt;A\,\!&amp;lt;/math&amp;gt; by relabeling, &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
B_{rr^\prime,s s^\prime}\equiv A_{sr,s^\prime r^\prime}.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.9}}&lt;br /&gt;
This has the following properties:&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
B_{rr^\prime,s s^\prime}=(B_{ss^\prime,r r^\prime})^*,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.10}}&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\sum_{rsr^\prime s^\prime}z^*_{rr^\prime}B_{rr^\prime,s s^\prime}z_{ss^\prime} \geq 0,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.11}}&lt;br /&gt;
and&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\sum_r B_{rr^\prime,r s^\prime} = \delta_{r^\prime s^\prime}.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.12}}&lt;br /&gt;
Now the important point to note is that &amp;lt;math&amp;gt;B\,\!&amp;lt;/math&amp;gt; can be considered &lt;br /&gt;
a Hermitian matrix and thus diagonalizable.  Letting &lt;br /&gt;
&amp;lt;math&amp;gt;\eta_\alpha\,\!&amp;lt;/math&amp;gt; be its eigenvalues and &amp;lt;math&amp;gt;\xi^{(\alpha)}\,\!&amp;lt;/math&amp;gt; the &lt;br /&gt;
corresponding eigenvectors, we see that the mapping &lt;br /&gt;
[[#eq6.2|(6.2)]] can be written as &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime_{r^\prime s^\prime} = \sum_\alpha &lt;br /&gt;
               \eta_\alpha \xi^{(\alpha)}_{r^\prime r} \rho_{rs} \xi^{(\alpha)*}_{s^\prime s}, &lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.13}}&lt;br /&gt;
or in a short-hand notation (defining &amp;lt;math&amp;gt;\xi^{(\alpha)}_{r^\prime r} = C_{(\alpha)}\,\!&amp;lt;/math&amp;gt;),&lt;br /&gt;
&amp;lt;center&amp;gt;&amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime = \sum_\alpha \eta_\alpha C_{(\alpha)}^{}\rho C_{(\alpha)}^\dagger.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
If all of the &amp;lt;math&amp;gt;\eta_\alpha\,\!&amp;lt;/math&amp;gt; are positive, then a factor of &amp;lt;math&amp;gt;\sqrt{\eta_\alpha}\,\!&amp;lt;/math&amp;gt; can be absorbed into the  &amp;lt;math&amp;gt;C_{(\alpha)}\,\!&amp;lt;/math&amp;gt;.  In other words, if we define &amp;lt;math&amp;gt;D_{(\alpha)}= \sqrt{\eta_\alpha}\; C_{(\alpha)}\,\!&amp;lt;/math&amp;gt;, then the map can be written as &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime = \sum_\alpha D_{(\alpha)}^{}\rho D_{(\alpha)}^\dagger.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.14}}&lt;br /&gt;
This is what is sometimes called the Operator-Sum representation or Kraus decomposition, originally given in  [[Bibliography#SMR|SMR]].&lt;br /&gt;
&lt;br /&gt;
===Modelling Open System Evolution===&lt;br /&gt;
&lt;br /&gt;
Noise in a quantum system can arise in two different ways.  The first is through imperfect controls; a unitary transformation is not implemented exactly as one would like due to experimental limitations.  The second is through an unwanted interaction with another system, usually called a bath or environment.  Both of these can be modelled using completely positive maps if the assumption is made that the system and bath are initially uncorrelated.  The definition, concept, and assumption of complete positivity will be discussed in a later section.  &lt;br /&gt;
&lt;br /&gt;
====Initially Uncorrelated System and Bath====&lt;br /&gt;
&lt;br /&gt;
The dynamics of an open quantum system coupled to a bath is formally obtained from the evolution &amp;lt;math&amp;gt;U=\exp(-iHt)\,\!&amp;lt;/math&amp;gt; under the combined system-bath Hamiltonian, &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
H=H_{S}\otimes I + I\otimes H_{B} + \sum_{\gamma }S_{\gamma }\otimes B_{\gamma },&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.15}}&lt;br /&gt;
where &amp;lt;math&amp;gt;H_{S}\,\!&amp;lt;/math&amp;gt; is the Hamiltonian for the system alone, &amp;lt;math&amp;gt;H_{B}\,\!&amp;lt;/math&amp;gt; is the&lt;br /&gt;
Hamiltonian for the bath alone, and the &amp;lt;math&amp;gt;S_{\gamma }\,\!&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;B_{\gamma }\,\!&amp;lt;/math&amp;gt; are&lt;br /&gt;
operators on the system and the bath respectively.  This last term couples the system to the bath so that the system is no longer considered a closed quantum system; the bath and system do not evolve independently.  If we assume that the system and the bath are decoupled at the beginning of the experiment, then we may write at &amp;lt;math&amp;gt;t = 0\,\!&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;center&amp;gt; &amp;lt;math&amp;gt;&lt;br /&gt;
\rho(t=0) = \rho_S \otimes \rho_B.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;&amp;lt;/center&amp;gt;&lt;br /&gt;
We then act with a unitary operator on the closed system (our system plus the bath) and trace (or average) over the bath using a [[Index#P|partial trace]] to get&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\rho_S(t)=\mathrm{Tr}_{B}[{U}\left( \rho_S (0)\otimes \rho_{B}(0)\right) &lt;br /&gt;
          {U}^{\dagger }]&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.16}}&lt;br /&gt;
where &amp;lt;math&amp;gt;\rho_S (0)\,\!&amp;lt;/math&amp;gt; is the initial density matrix of the (open) system and &amp;lt;math&amp;gt;\rho_{B}(0)\,\!&amp;lt;/math&amp;gt; is the initial density matrix of the bath.  If we take the bath to be in a state &amp;lt;math&amp;gt;\rho_B = \sum_i \mu_i|i\rangle\langle i|\,\!&amp;lt;/math&amp;gt;, then we can write Eq. [[#eq6.16|(6.16)]] as &lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;\begin{align}&lt;br /&gt;
\rho_S^\prime(t) &amp;amp;= \sum_{i,j} \langle j|(U_{tot}(t)&lt;br /&gt;
\rho_S(0)\otimes \mu_i|i\rangle\langle i| U_{tot}^\dagger (t)|j\rangle &lt;br /&gt;
  \\&lt;br /&gt;
              &amp;amp;= \sum_{i,j}\mu_i \langle j|U_{tot}(t) |i\rangle&lt;br /&gt;
 \rho_S(0)\langle i| U_{tot}^\dagger(t) |j\rangle.&lt;br /&gt;
\end{align}&lt;br /&gt;
&amp;lt;/math&amp;gt;|6.17}} &lt;br /&gt;
Now we may define a new index, &amp;lt;math&amp;gt;\alpha \equiv (i,j)\,\!&amp;lt;/math&amp;gt;, as well as&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
A_\alpha(t) \equiv \sqrt{\mu_i}\;\langle j|U_{tot}(t) |i\rangle.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.18}}&lt;br /&gt;
In an analogous way, we define &amp;lt;math&amp;gt;A_\alpha^\dagger\,\!&amp;lt;/math&amp;gt; so that the [[Index#O|operator-sum representation]] is given by &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\rho_S^\prime (t)= \sum_\alpha A_\alpha(t) \rho_S A_\alpha^\dagger(t). &lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.19}}&lt;br /&gt;
Note the relation to Eq.[[#eq6.14|(6.14)]].  It should be noted that in some places the definition [[#eq6.18|(6.18)]] will be used without the factor &amp;lt;math&amp;gt;\sqrt{\mu_i}\,\!&amp;lt;/math&amp;gt;; this is, however, of little consequence.&lt;br /&gt;
The equation [[#eq6.19|(6.19)]] is the operator &lt;br /&gt;
sum decomposition or the Kraus decomposition (or, as it was initially called, the eigenvalue decomposition) that was outlined in the last section.  The &amp;lt;math&amp;gt;A\,\!&amp;lt;/math&amp;gt;s are the [[Index#K|Kraus operators]].  &lt;br /&gt;
&lt;br /&gt;
We should note that, in order for the density matrix to keep its trace equal to one (in other words for the map to be trace-preserving), &lt;br /&gt;
&amp;lt;center&amp;gt;&amp;lt;math&amp;gt;&lt;br /&gt;
\sum_\alpha A_\alpha^\dagger A_\alpha = I_S.  &lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
It can be shown that this agrees with the most general quantum evolution consistent with the condition of complete positivity, the so-called operator sum representation (OSR) [[Bibliography#SMR|SMR]], [[Bibliography#Kraus:83|Kraus]], [[Bibliography#Schumacher:96a|Schumacher]]: &lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;\begin{align}&lt;br /&gt;
 \mathcal{E}_{t}(\rho(0)) &amp;amp;\equiv  \rho (t)   \\&lt;br /&gt;
  &amp;amp;= \!\sum_{\mu \nu }\!A_{\mu \nu }(t)\rho (0)A_{\mu \nu }^{\dagger}(t) &lt;br /&gt;
\end{align}&lt;br /&gt;
&amp;lt;/math&amp;gt;|6.20}}&lt;br /&gt;
&lt;br /&gt;
====Fixed-Basis Operations====&lt;br /&gt;
&lt;br /&gt;
Another expression for the time-dependent density operator is the following: &lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;\begin{align}&lt;br /&gt;
 \mathcal{E}_{t}(\rho(0)) =  \sum_{\alpha ,\beta }\!\chi _{\alpha \beta }(t)K_{\alpha }\rho(0)&lt;br /&gt;
         K_{\beta }^{\dagger}.&lt;br /&gt;
\end{align}&lt;br /&gt;
&amp;lt;/math&amp;gt;|6.21}} &lt;br /&gt;
In the last section, we defined the operators &amp;lt;math&amp;gt;A_{\mu \nu }(t)=\sqrt{\lambda _{\nu }}\langle&lt;br /&gt;
\mu |U(t)|\nu \rangle \,\!&amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;U=\exp (-iHt/\hbar )\,\!&amp;lt;/math&amp;gt; and the initial bath&lt;br /&gt;
density matrix written as &amp;lt;math&amp;gt;\rho _{B}(0)=\sum_{\nu }\lambda _{\nu }|\nu&lt;br /&gt;
\rangle \langle \nu |\,\!&amp;lt;/math&amp;gt; [[Bibliography#Lidar:CP01|Lidar, et al.]]. They satisfy the normalization&lt;br /&gt;
condition, &amp;lt;math&amp;gt;\sum_{\mu }A_{\mu \nu }^{\dagger }A_{\mu \nu } = I_{S}\,\!&amp;lt;/math&amp;gt;.  The matrix &amp;lt;math&amp;gt;\chi _{\alpha \beta&lt;br /&gt;
}(t)=\sum_{i}b_{i,\alpha }b_{i,\beta }^{\ast }\,\!&amp;lt;/math&amp;gt; is a time-dependent&lt;br /&gt;
Hermitian coefficient matrix defined by a transformation of the Kraus&lt;br /&gt;
operators to a fixed operator basis &amp;lt;math&amp;gt;K_{\alpha }\,\!&amp;lt;/math&amp;gt;: &amp;lt;math&amp;gt;A_{\mu \nu&lt;br /&gt;
}(t)=\sum_{\alpha }b_{\mu \nu ;\alpha }(t)K_{\alpha }\,\!&amp;lt;/math&amp;gt;. &lt;br /&gt;
&lt;br /&gt;
We can express our &amp;lt;math&amp;gt;A_\alpha\,\!&amp;lt;/math&amp;gt; in terms of a fixed basis of operators.  &lt;br /&gt;
The &amp;lt;math&amp;gt;A_\alpha\,\!&amp;lt;/math&amp;gt; are functions of time (since &amp;lt;math&amp;gt;U_{tot}\,\!&amp;lt;/math&amp;gt; is) &lt;br /&gt;
and are thus ''not'' fixed operators.  We can expand these &amp;lt;math&amp;gt;A\,\!&amp;lt;/math&amp;gt;'s in terms of a complete fixed &lt;br /&gt;
chosen basis &amp;lt;math&amp;gt;\{K_m\}\,\!&amp;lt;/math&amp;gt;: &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
A_\alpha = \sum_m b_{\alpha,m}(t) K_m,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.22}}&lt;br /&gt;
so that the time-dependence is in the &amp;lt;math&amp;gt;b\,\!&amp;lt;/math&amp;gt;'s.  Now we would like to see how Eq. [[#eq6.21|(6.21)]] transforms under a change of basis, that is, when the &amp;lt;math&amp;gt;K\,\!&amp;lt;/math&amp;gt;'s are different.  We will do this to first order in time.  We should note that the very general form of the Hamiltonian (Eq. [[#eq6.15|(6.15)]]) tells us that each term of the Hamiltonian could be made Hermitian depending on the order and grouping in the terms of the sum.  We will not see at any point where this choice will make a significant difference in our analysis since most of the bases we use are arbitrary.  Thus, to first order (and without the factor &amp;lt;math&amp;gt;\sqrt{\mu_i}\,\!&amp;lt;/math&amp;gt;)&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
A_\alpha \approx \delta_{ij} + &lt;br /&gt;
(-i\Delta t)\sum_\gamma S_\gamma \langle i | B_\gamma |j\rangle.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.23}}&lt;br /&gt;
Since the &amp;lt;math&amp;gt;S_\gamma\,\!&amp;lt;/math&amp;gt; are Hermitian, they can be expanded in a &lt;br /&gt;
complete basis for the algebra of the &amp;lt;math&amp;gt;d\times d\,\!&amp;lt;/math&amp;gt; &lt;br /&gt;
unitary matrices, plus &lt;br /&gt;
the identity if the system is &amp;lt;math&amp;gt;d\,\!&amp;lt;/math&amp;gt;-dimensional.  Therefore, under a &lt;br /&gt;
unitary transformation of the operators &amp;lt;math&amp;gt;K\,\!&amp;lt;/math&amp;gt; or for that matter &amp;lt;math&amp;gt;A\,\!&amp;lt;/math&amp;gt;, &lt;br /&gt;
the operators transform as (see the note above equ.(\ref{bsnKs}))&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
K^\prime_m = UK_m U^\dagger = \sum_n U a_{mn} \lambda_n U^\dagger,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.24}}&lt;br /&gt;
where the set &amp;lt;math&amp;gt;\{\lambda_n\}\,\!&amp;lt;/math&amp;gt; are a complete set of basis elements &lt;br /&gt;
for the algebra of &amp;lt;math&amp;gt;d\,\!&amp;lt;/math&amp;gt;-dimensional unitary matrices, with &amp;lt;math&amp;gt;n\,\!&amp;lt;/math&amp;gt; ranging &lt;br /&gt;
from zero to &amp;lt;math&amp;gt;d^2-1\,\!&amp;lt;/math&amp;gt; with &amp;lt;math&amp;gt;\lambda_0\equiv I\,\!&amp;lt;/math&amp;gt;.  This transformation &lt;br /&gt;
can be written as &lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;\begin{align}&lt;br /&gt;
A^\prime_\alpha &amp;amp;= \sum_m b_{\alpha m} K^\prime_m   \\&lt;br /&gt;
                &amp;amp;= \sum_{m,n,p} b_{\alpha m} a_{mn} R_{np} \lambda_p,&lt;br /&gt;
\end{align}&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.25}} &lt;br /&gt;
where &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
U\lambda_n U^\dagger = \sum_p R_{np} \lambda_p   &lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.26}}&lt;br /&gt;
defines an action by the adjoint representation of the group.  &lt;br /&gt;
Alternatively, we can redefine the &amp;lt;math&amp;gt;b_{\alpha m}\,\!&amp;lt;/math&amp;gt; such that &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\tilde{b}_{\alpha n} =  b_{\alpha m} a_{mn},&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.27}}&lt;br /&gt;
so that our fixed basis stays fixed and we look at the transformation as an active, rather than a passive one.  (That is, we transform the object instead of the basis.)&lt;br /&gt;
&lt;br /&gt;
It is interesting to note that upon comparison of Eqs. [[#eq6.21|(6.21)]] and [[#eq6.22|(6.22)]] we can identify &amp;lt;math&amp;gt;b\,\!&amp;lt;/math&amp;gt;s and &amp;lt;math&amp;gt;K\,\!&amp;lt;/math&amp;gt;s as [[Bibliography#Lidar:CP01|Lidar, et al.]]&lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
K_\gamma = S_\gamma,\;\;\;\;\;\;\; &lt;br /&gt;
b_{\gamma,m} = (-i\Delta t)\langle i | B_\gamma |j\rangle.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.28}}&lt;br /&gt;
&lt;br /&gt;
===Unitary Degree of Freedom in the OSR===&lt;br /&gt;
&lt;br /&gt;
The operator sum decomposition is not unique.  There is a freedom in choosing the operators in Eq. [[#eq6.14|(6.14)]] (or [[#eq6.19|(6.19)]].  It turns out, and this will be shown, that this is equivalent to having the freedom to choose a basis for the bath.  &lt;br /&gt;
&lt;br /&gt;
====Unitary Freedom====&lt;br /&gt;
&lt;br /&gt;
Let us consider an operator-sum decomposition, of the form given in Eq. [[#eq6.19|(6.19)]] which represents some quantum process whereby one quantum system, a bath, interacts with another and is then traced out.  Now consider another given by a linear combination of the operators &lt;br /&gt;
&amp;lt;math&amp;gt;A_\alpha\,\!&amp;lt;/math&amp;gt;, &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
D_\alpha = \sum_\beta u_{\beta\alpha}A_\alpha.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.29}}&lt;br /&gt;
Now, let us construct the operator-sum representation for the set of operators &amp;lt;math&amp;gt; \{ D_\beta \}\,\!&amp;lt;/math&amp;gt;.  This is &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\sum_\beta D_\beta\rho_S D_\beta^\dagger = \sum_{\alpha,\gamma}&lt;br /&gt;
u_{\beta\alpha}A_\alpha \rho_S u^*_{\beta\gamma}A_\gamma^\dagger.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.30}}&lt;br /&gt;
Rewriting this as &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\sum_\beta D_\beta\rho D_\beta^\dagger = \sum_{\alpha,\gamma}&lt;br /&gt;
(u_{\gamma\beta})^\dagger u_{\beta\alpha} A_\alpha \rho A_\gamma^\dagger,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.31}}&lt;br /&gt;
where &amp;lt;math&amp;gt;(u_{\gamma\beta})^\dagger = u^*_{\beta\gamma}\,\!&amp;lt;/math&amp;gt;,&lt;br /&gt;
(i.e. the  &amp;lt;math&amp;gt;(u_{\gamma\beta})\,\!&amp;lt;/math&amp;gt; are elements of a matrix  &amp;lt;math&amp;gt;U\,\!&amp;lt;/math&amp;gt;)&lt;br /&gt;
we see that if&lt;br /&gt;
&amp;lt;math&amp;gt;(u_{\gamma\beta})^\dagger u_{\beta\alpha}=\delta_{\gamma\alpha}\,\!&amp;lt;/math&amp;gt;,&lt;br /&gt;
then &lt;br /&gt;
{{Equation | &amp;lt;math&amp;gt;&lt;br /&gt;
\sum_\beta D_\beta\rho_S D_\beta^\dagger = \rho_S^\prime.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.32}}&lt;br /&gt;
Therefore the two different sets of operators &amp;lt;math&amp;gt; \{ A_\alpha \}\,\!&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt; \{ D_\beta \}\,\!&amp;lt;/math&amp;gt; give rise to the same open-system evolution of &amp;lt;math&amp;gt;\rho_S\,\!&amp;lt;/math&amp;gt; if they are related by a unitary transformation of the form of &amp;lt;math&amp;gt; U \,\!&amp;lt;/math&amp;gt;.  Note that if the two sets do not have the same number of elements, then we may either append zeroes (as is done&lt;br /&gt;
in [[Bibliography#NielsenChuang:book|Nielsen and Chuang's book]]) or let &amp;lt;math&amp;gt;U\,\!&amp;lt;/math&amp;gt; be a &amp;lt;nowiki&amp;gt;''right unitary matrix''&amp;lt;/nowiki&amp;gt;, which means the matrix &amp;lt;math&amp;gt;U^\dagger U = I\,\!&amp;lt;/math&amp;gt;, but the matrix need not be square or&lt;br /&gt;
have &amp;lt;math&amp;gt;UU^\dagger  = I\,\!&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
====Physical Interpretation of the Unitary Freedom====&lt;br /&gt;
&lt;br /&gt;
It is fairly easy to show that this unitary degree of freedom is associated with a change of the bath basis.  Let us first recall&lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;&lt;br /&gt;
A_{ij} = \langle i| U_{tot}^\dagger(t) |j\rangle.&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.33}} &lt;br /&gt;
So that when we write &amp;lt;math&amp;gt;u_{\beta\alpha}A_{\alpha}\,\!&amp;lt;/math&amp;gt; we interpret this as &lt;br /&gt;
&amp;lt;math&amp;gt;u_{kj}A_{ij} = \sqrt{\mu_j}\langle i| U_{tot}^\dagger(t) |j\rangle.\,\!&amp;lt;/math&amp;gt;.  However, this clearly makes no difference in the result since we are tracing over the bath.  One could just as well include this unitary transformation which changes the basis of the bath in &amp;lt;math&amp;gt;U_{tot}\,\!&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
===Examples===&lt;br /&gt;
&lt;br /&gt;
In this section several examples are given which are quite important to quantum error correction and quantum computing.  These are all examples of actions on single qubit density operators which, not only provide very relevant examples, but are also quite simple.  &lt;br /&gt;
&lt;br /&gt;
====Example 1: Bit-flip====&lt;br /&gt;
&lt;br /&gt;
Bit-flip errors have a direct analogy in classical computation.  If a &amp;lt;math&amp;gt;\left\vert 1\right\rangle\,\!&amp;lt;/math&amp;gt; is input, but, due to noise a  &amp;lt;math&amp;gt;\left\vert 0\right\rangle\,\!&amp;lt;/math&amp;gt; is output (or vice versa) then a bit-flip error has occurred.  If a quantum bit-flip error occurs with some probability &amp;lt;math&amp;gt;p\,\!&amp;lt;/math&amp;gt;, we may express this as&lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime = (1-p)\rho + p \sigma_x \rho \sigma_x,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.34}} &lt;br /&gt;
where &amp;lt;math&amp;gt;\sigma_x\,\!&amp;lt;/math&amp;gt; is the  &amp;lt;math&amp;gt;X\,\!&amp;lt;/math&amp;gt; [[Chapter 2 - Qubits and Collections of Qubits#The Pauli Matrices|The Pauli Matrix]], and &amp;lt;math&amp;gt;\rho \,\!&amp;lt;/math&amp;gt; can be expressed as in Eq.[[Chapter 3 - Physics of Quantum Information#eq3.33|(3.33)]].  This has a clear interpretation.  There is a probability &amp;lt;math&amp;gt;p\,\!&amp;lt;/math&amp;gt; that there is a bit flip, and there is a probability &amp;lt;math&amp;gt;(1-p)\,\!&amp;lt;/math&amp;gt; that nothing happens to the density operator.  The operators of the operator-sum representation of this map can be taken to be &amp;lt;math&amp;gt;\sqrt{p}I\,\!&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\sqrt{(1-p)} \sigma_x\,\!&amp;lt;/math&amp;gt;.  This is a very important type of error and therefore will be discussed in connection with quantum error prevention methods.&lt;br /&gt;
&lt;br /&gt;
====Example 2: Phase-flip====&lt;br /&gt;
&lt;br /&gt;
Phase-flip errors do not have a direct analogue in classical computation.  In this case a &amp;lt;math&amp;gt;\left\vert 1\right\rangle\,\!&amp;lt;/math&amp;gt; will acquire a (-1) sign change due to some noise, but a  &amp;lt;math&amp;gt;\left\vert 0\right\rangle\,\!&amp;lt;/math&amp;gt; is unaffected.  If a quantum phase-flip error occurs with some probability &amp;lt;math&amp;gt;p\,\!&amp;lt;/math&amp;gt;, we may express the phase flip error as&lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime = (1-p)\rho + p \sigma_z \rho \sigma_z,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.35}} &lt;br /&gt;
where &amp;lt;math&amp;gt;\sigma_z\,\!&amp;lt;/math&amp;gt; is the  &amp;lt;math&amp;gt;Z\,\!&amp;lt;/math&amp;gt; [[Chapter 2 - Qubits and Collections of Qubits#The Pauli Matrices|The Pauli Matrix]], and &amp;lt;math&amp;gt;\rho \,\!&amp;lt;/math&amp;gt; can be expressed as in Eq.[[Chapter 3 - Physics of Quantum Information#eq3.33|(3.33)]].  Here there is a probability &amp;lt;math&amp;gt;p\,\!&amp;lt;/math&amp;gt; that a phase-flip occurs, and there is a probability &amp;lt;math&amp;gt;(1-p)\,\!&amp;lt;/math&amp;gt; that nothing happens to the density operator.  The operators of the operator-sum representation of this map can be taken to be &amp;lt;math&amp;gt;\sqrt{p}I\,\!&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\sqrt{(1-p)} \sigma_z\,\!&amp;lt;/math&amp;gt;.  This is another very important type of error.&lt;br /&gt;
&lt;br /&gt;
====Example 3: Bit-flip and Phase-flip====&lt;br /&gt;
&lt;br /&gt;
Suppose that both errors occur.  If both errors occur with some probability &amp;lt;math&amp;gt;p\,\!&amp;lt;/math&amp;gt;, we may express the error as&lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime = (1-p)\rho + p \sigma_y \rho \sigma_y,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.36}} &lt;br /&gt;
where &amp;lt;math&amp;gt;\sigma_y=i\sigma_z\sigma_x\,\!&amp;lt;/math&amp;gt;, is the  &amp;lt;math&amp;gt;Y\,\!&amp;lt;/math&amp;gt; [[Chapter 2 - Qubits and Collections of Qubits#The Pauli Matrices|The Pauli Matrix]]. As before, &amp;lt;math&amp;gt;\rho \,\!&amp;lt;/math&amp;gt; can be expressed as in Eq.[[Chapter 3 - Physics of Quantum Information#eq3.33|(3.33)]].  Here there is a probability &amp;lt;math&amp;gt;p\,\!&amp;lt;/math&amp;gt; that a &amp;lt;math&amp;gt;Y \,\!&amp;lt;/math&amp;gt; occurs, and there is a probability &amp;lt;math&amp;gt;(1-p)\,\!&amp;lt;/math&amp;gt; that nothing happens to the density operator.  The operators of the operator-sum representation of this map can be taken to be &amp;lt;math&amp;gt;\sqrt{p}I\,\!&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\sqrt{(1-p)} \sigma_y\,\!&amp;lt;/math&amp;gt;.   Note that &amp;lt;math&amp;gt;\sigma_y^\dagger = (i\sigma_z\sigma_x)^\dagger = -i\sigma_x\sigma_z\,\!&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
It is important to note that the [[Chapter 2 - Qubits and Collections of Qubits#The Pauli Matrices|The Pauli Matrices]] form a basis for all of the possible errors on a qubit as discussed in Section [[Chapter 2 - Qubits and Collections of Qubits#Two-State Example: Bloch Sphere|3.5.4]].&lt;br /&gt;
&lt;br /&gt;
====Example 4: Depolarizing Error====&lt;br /&gt;
&lt;br /&gt;
A depolarizing error is an error which is symmetric in the three possible errors.  For example, suppose that each of the three possible types of errors on a qubit all occur with equal probability.  Let this probability be &amp;lt;math&amp;gt; p/3 \,\!&amp;lt;/math&amp;gt;.  The depolarizing operation is then&lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime = (1-p)\rho + (p/3) \sigma_x \rho \sigma_x + (p/3) \sigma_y \rho \sigma_y + (p/3) \sigma_z \rho \sigma_z,&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.37}} &lt;br /&gt;
Using Eq.[[Chapter 3 - Physics of Quantum Information#eq3.37|(3.37)]] and Eq.[[Chapter 3 - Physics of Quantum Information#eq3.33|(3.33)]], this can also be written as&lt;br /&gt;
{{Equation|&amp;lt;math&amp;gt;&lt;br /&gt;
\rho^\prime = \frac{1}{2}(I + (1-4p/3) n_x \sigma_x + (1-4p/3) n_y\sigma_y  + (1-4p/3) n_z\sigma_z) = \frac{1}{2}(I +(1-4p/3)\vec{n}\cdot\vec{\sigma}).&lt;br /&gt;
\,\!&amp;lt;/math&amp;gt;|6.38}}&lt;br /&gt;
Thus the depolarizing error has quite interesting and simple properties since it can be seen as a uniform shrinking of the polarization vector &amp;lt;math&amp;gt;\vec{n}\,\!&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
===Notes===&lt;br /&gt;
&lt;br /&gt;
Errors are the obstacle to building a quantum computing device.  These errors are caused by noise in quantum systems.  Noise in quantum systems is also known as decoherence although the original meaning of decoherence referred (roughly) to the loss of off-diagonal terms of the density matrix.  (An analogy of such loss is the &amp;lt;math&amp;gt;Z\,\!&amp;lt;/math&amp;gt; error example above.)  When a set of entangled states experiences decoherence, entanglement is lost.  Since entanglement is believed to be the source of advantages of quantum computing and a great deal of other quantum information processing, this is a serious concern.  &lt;br /&gt;
&lt;br /&gt;
In the following chapters, several methods designed to reduce or eliminate noise in quantum systems will be discussed.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Chapter 7 - Quantum Error Correcting Codes#Introduction|Continue to '''Chapter 7 - Quantum Error Correcting Codes''']]&lt;/div&gt;</summary>
		<author><name>Ndewaele</name></author>
		
	</entry>
</feed>