quantum algorithms:
In quantum probability theory/open quantum systems, a unitary quantum channel is a quantum channel whose restriction to pure states acts by a unitary transformation just as a loss-less quantum gate does.
Concretely, in terms of Kraus decomposition, a quantum channel
is unitary iff there exists a unitary operator $U \,\colon\, \mathscr{H}_1 \longrightarrow \mathscr{H}_2$ such that $ch$ is given by conjugation with this operator:
The crux of dynamical quantum decoherence is that fundamentally the (time-)evolution of any quantum system $\mathscr{H}$ may be assumed unitary (say via a Schrödinger equation) when taking the whole evolution of its environment $\mathscr{B}$ (the “bath”, ultimately the whole observable universe) into account, too, in that the evolution of the total system $\mathscr{H} \otimes \mathscr{B}$ is given by a unitary operator
after understanding the mixed states $\rho \,\colon\, \mathscr{H} \otimes \mathscr{H}^\ast$ (density matrices) of the given quantum system as coupled to any given mixed state $env \,\colon\, \mathscr{B} \otimes \mathscr{B}^\ast$ of the bath (via tensor product)
…the only catch being that one cannot — and in any case does not (want or need to) — keep track of the precise quantum state of the environment/bath, instead only of its average effect on the given quantum system, which by the rule of quantum probability is the mixed state that remains after the partial trace over the environment:
In summary this means for practical purposes that the probabilistic evolution of quantum systems $\mathscr{H}$ is always of the composite form
This composite turns out to be a “quantum channel” and in fact all quantum channels arise this way:
(quantum channels and decoherence)
Every quantum channel
may be written as
a unitary quantum channel, induced by a unitary operator $U_{tot} \,\colon\, \mathscr{H} \otimes \mathscr{B} \to \mathscr{H} \otimes \mathscr{B}$
on a compound system with some $\mathscr{B}$ (the “bath”), yielding a total system Hilbert space $\mathscr{H} \otimes \mathscr{B}$ (tensor product),
and acting on the given mixed state $\rho$ coupled (tensored) with a fixed mixed state $env \,\colon\, \mathscr{B} \otimes \mathscr{B}^\ast$ of the bath system,
followed by partial trace (averaging) over $\mathscr{B}$ (leading to decoherence in the remaining state)
in that
Conversely, every operation of the form (2) is a quantum channel.
Detailed proof, including the infinite-dimensional case: Attal, Thm. 6.5 & 6.7.
See the references at quantum channel, for instance:
Last revised on September 18, 2023 at 10:35:12. See the history of this page for a list of all contributions to it.