Suppose we construct a non-unitary quantum system α in hilbert space. It entails that this system would have no direct parallel in quantum circuitry as it is a requirement that all quantum gates are unitary and therefore the function constructed from them is also unitary. But does this mean that we cannot practically implement α?

A potential parallel is found in the simulation of classical computations on a quantum computer, achieved by simulating an information-destroying NAND gate using an information-preserving Toffoli gate. If a non-unitary quantum system was such because it implemented a 'quantum NAND gate', it would be possible to redesign it as a unitary system using a Toffoli gate. It is not clear to me (and I cannot immediately find literature on this) if there are clearly defined bounds on what non-unitary operations can be simulated using unitary equivalents.

Is there a clearly defined subset of non-unitary quantum systems where α is practically implementable? Is it, perhaps, universal?

  • 1
    $\begingroup$ To conclude from Peter and Frederics' answers, any map that is completely positive and inclusively trace reducing (e.g. tr(E(p)) <= tr(p)) is physically realizable. If it is not completely positive it fails by counter example, if it is trace increasing then it is not a legitimate probabilistic circuit. $\endgroup$ – Tim Atkinson Jul 6 '16 at 10:20

I complete here Peter’s answer with a characterization of physical maps as CPTP maps.

As you know, if the system is isolated, the only operations you can implement are the unitary operations. But, as you noticed, if you use an ancillary subsystem and throw a subsystem away, you can implement some other operations. The set of physical operations are the completely positive trace preserving maps. (Following most of the literature, I’ll call them CPTP maps), and Stinespring’s dilation theorem indeed ensures that any CPTP map can be written as the partial trace of a unitary acting on a larger Hilbert space.

Since we are looking at non isolated subsystem, its quantum state has to be described by a density matrix $ρ$. In full generality, a density matrix has to be positive ($ρ≥0$) and having a unit trace ($\mathrm{Tr}ρ=1$). Let suppose we have a generic physical map $\mathcal{E}:ρ↦\mathcal{E}(ρ)$. To be physical $\mathcal{E}(ρ)$ needs to be a physical state for any input state $ρ$, that is, we should have $∀ρ:ρ≥0$, $\mathcal{E}(ρ)≥0$ and $\mathrm{Tr}\mathcal{E}(ρ)=\mathrm{Tr}ρ$. In other words, $\mathcal{E}$ has to be positive and trace preserving.

However, it is not enough. For example, the transpose $\mathcal{T}$, is a positive trace preserving map, which is unphysical. The idea is the one behind the Peres-Hordecki criterion: suppose you have a channel performing $\mathcal{T}$ on the thystem $A$. You can add another system $B$ of the same dimension, where you perform the identity $\mathcal{I}$ i.e. wher you don’t do anything. The global map on $AB$ is then $\mathcal{T}_A⊗\mathcal{I}_B$, which is not positive any more: some linear algebra shows $\mathcal{T}_A⊗\mathcal{I}_B(Φ_{AB})$ has $d(d-1)/2$ negative eignevalues, where $Φ_{AB}$ is a maximally entangled state.

For a map $\mathcal E$ to be physical, any extension of the form $\mathcal E⊗\mathcal I$ has therefore to be positive. This is the definition of complete positivity. The Stinespring dilation theorem then shows that this necessary condition is sufficient, since it gives a recipe to implement any CPTP map with an ancillary subsystem and and a unitary.

  • 1
    $\begingroup$ Thanks, that is very informative! I've been struggling to find an intuitive explanation of this. Is there some literature from which you draw the counter-example for the requirement of the map to be completely positive? $\endgroup$ – Tim Atkinson Jul 4 '16 at 15:47
  • 1
    $\begingroup$ Another interesting question is whether it is impossible for some map to not be a CPTP (and therefore not fall under Stinespring's dilation theorem) but still be physically realizable using an ancillary subsystem? $\endgroup$ – Tim Atkinson Jul 4 '16 at 15:51
  • 1
    $\begingroup$ I found this example through my own struggle with the concept of CPTP maps and partial transpose years ago 😉. The counter example directly comes from the Peres-Horodecki criterion. $\endgroup$ – Frédéric Grosshans Jul 4 '16 at 17:14
  • 1
    $\begingroup$ If a map is positive but not CP, one can construct an entangled state which would transform into a nonpositive (hence non physical) state. Therefore this map is not physically realisable. Such maps are used as entanglement witnesses and are useful for theoreticians, but there really is no hope to create them experimentally. $\endgroup$ – Frédéric Grosshans Jul 4 '16 at 17:19
  • 1
    $\begingroup$ “Trace preserving” is the technical term for “probability preserving”. You cannot have trace increasing maps, otherwise you could have result happening with probability greater than 100%, which makes no sense. Trace decreasing maps are used sometimes to describe “part of maps” or maps which have a finite probability of uninteresting events (often failures),similarly to the use of subnormal density matrices e.g. $\mathrm{Tr}\mathcal E(ρ)=.83$ means that the map has a probability to fail of 17%. It can also be described by a TP map, where the fail event is included in the output Hilbert space $\endgroup$ – Frédéric Grosshans Jul 5 '16 at 12:20

Look at John Preskill's Lecture Notes; particularly Section 3.2.

As you noted, you can do a NAND gate by using a Toffoli gate and throwing away some of the output qubits. This results in decoherence, so you no longer necessarily have a pure state of your system.

For non-unitary quantum operations, if you assume that the environment doesn't remember anything, then the most general thing you can do is a unitary operation followed by throwing away some part of the system.

If you assume that the environment has memory, things get much more complicated. But note that here, your operations aren't consistent because the outcome of an operation will depend on what the input was the last time you performed the operation. I don't know if you want to include this class of operations. While they are important in physics, they aren't very useful for quantum computation.

  • $\begingroup$ Thanks! :) The lecture notes are very helpful. Is there a general method/algorithm for constructing a unitary operation from a non-unitary operation? $\endgroup$ – Tim Atkinson Jul 1 '16 at 9:06
  • 2
    $\begingroup$ What you're asking for is an algorithm version of the Stinespring dilation theorem. I believe most proofs of this theorem can be turned into algorithms; however, offhand I don't know a good reference for this. $\endgroup$ – Peter Shor Jul 1 '16 at 11:22
  • $\begingroup$ Great, that's more than enough to give me a direction. Thank you for the help! $\endgroup$ – Tim Atkinson Jul 1 '16 at 11:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.