Again: why do quantum computations need to be reversible?

Question

In quantum computing, there is famous "law" which is to say that all the computation must be reversible. I understand that, for simplicity, it may be easier to consider reversible operation, and that they are general enough to make us happy to stick to these reversible circuits, and if necessary, perform the measurements at the very end. However I don't see why it would need to be reversible all the time. I read lot's of random answers on the internet, and none of them convince me. For example, the other question on Phys.SE states that

quantum mechanics is reversible (and even more specifically it is unitary). [...] Even measurement can be modeled as a reversible unitary operation, inconvenient though that may be.

And the measurement is exactly the thing that disturb me, and "breaks" for me the reversible property of quantum mechanics.

For example, let us imagine that I create, in my lab, a "gate" that project one qubit into the canonical (computational) basis, which is already completely possible. Then if I get $|0\rangle$ , I won't be able to know if I had at the beginning, for example $|0\rangle$ or $\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)$.

And even the formalism based on density matrix and CPTP maps (Completely Positive Trace Preserving maps) cannot explain this, because if I consider the above "gate", then the CPTP map associated would be $M: \rho \rightarrow |0\rangle\langle0|\rho|0\rangle\langle0| + |1\rangle\langle1|\rho|1\rangle\langle1|$, which, basically, forget all the information contained in the two inverse diagonal coefficients of $\rho$: $\rho_{1,0}$ and $\rho_{0,1}$, so has no chance to be invertible.

So can anyone explain me precisely what we have in mind when we say that quantum computation need to be reversible?

-- EDIT --

To answer ACuriousMind question about references for the "law", you can find lot's of courses that make this kind of assumption that quantum computation is always unitary, like this one that states on first page, section 2, first line of the section:

Quantum evolution is unitary; a quantum circuit corresponds to a unitary operator $U$ acting on kets in $\mathcal{C}^{2n}$.

The affirmation "Quantum evolution is unitary" looks pretty general.

In research paper you also see lot's of things about reversible quantum gates. On this one for example they say page 4 section 4 second paragraph:

Unlike many classical logic gates, quantum logic gates are reversible.

And the first thing that a reader will understand is that all the quantum gates are reversible, so it exists no irreversible quantum gate, so because all the circuits could be "packed" as a new quantum gate, then there exists no irreversible quantum circuit... Which is quite disturbing.

And I don't even talk about forums that try to prove by "reductio ad absurdum" that the gates must be unitary...

Answer 1

There are models of quantum computation other than the gate based schemes mentioned in the comments. In general these models do not have to be reversible. For example, measurement based quantum computing is based on first preparing a highly entangled resource state, and then performing measurements on it to perform the computation. These measurements are irreversible, yet the scheme still performs quantum computation. Indeed, it is equivalent to the gate based model of quantum computation.

Answer 2

The deferred measurement principle is a mathematical theorem that basically says that WLOG you can always move all measurements to the very end of the quantum circuit without changing anything important. Making measurements as intermediate rather than final steps is never helpful in a fully coherent quantum circuit. So you can always assume that you never measure anything until the very end, and up until that measurement everything must be unitary and therefore reversible.

Answer 3

This is just my speculation, rather than a definitive answer, but you might find it interesting.

You can represent logic gates using mechanical systems where information is transmitted by marbles or billiard balls (e.g. https://en.wikipedia.org/wiki/Billiard-ball_computer). Consider an XOR gate made this way. It has two 'input' holes for balls to go in, leading into a tunnel which is only wide enough for one ball to fit through, which goes to the 'output' hole. If a single ball is sent through at one time, a single ball comes out of the output. If balls are sent in both of the inputs at the same time, they collide and get stuck, and nothing comes out at the output. Importantly, they are not allowed to go back out through the input holes in the second situation; they come to rest inside the gate.

When the balls come to rest, physically we say that their energy has been dissipated as heat. But if we really wanted to, we could look at the molecules that make up the balls, and track down where the kinetic energy went exactly. Then we wouldn't call this energy 'heat', but would describe it as kinetic energy of a bunch of molecules. So saying that the energy has been dissipated as heat really just means we have given up on tracking the full dynamics of the system. Therefore we have lost the ability to reverse the dynamics; we can't infer where the balls started from a macroscopic description of where they ended up. To do that, we would need a microscopic description of where they ended up, including all of their constituent molecules.

Now we want to make a 'quantum' version of the same logic gate, which operates on individual electrons or photons or something like that. If Particle A and particle B go into the two inputs at the same time, they are supposed to get stuck in the gate so that nothing comes out from any of the holes. If this happens, the energy has been dissipated as heat, again meaning that we don't know precisely where the energy went. But because the particles are not made up of any smaller particles, this means we must have lost track of them entirely. How can this be? The interactions of the particles are well understood physically, and the initial conditions were controlled, but the final state is unknown.

Therefore we simply don't know enough about the logic gate that we built to figure out what happened to the particles we sent into it. In this sense, an irreversible gate is simply a system whose action on quantum particles is not known to enough precision to reliably predict its dynamics. And therefore it is not useful as a logic gate; even if we send in only a single particle at a time, the behavior will still be unpredictable. If we were able to predict what would happen when we sent a single particle in, we would be able to predict what would happen when we sent two particles in, but we can do neither.

Answer 4

So can anyone explain me precisely what we have in mind when we say that quantum computation need to be reversible?

I think it's simply referring to the conservation of the probabilistic interpretation of the wavefunction.

Take a generic qubit:

$$|\psi>=\alpha |0>+\beta |1>$$

Given the probabilistic interpretation we know that $||\psi>|^2= |\alpha|^2 + |\beta|^2 =1$. To conserve this probability, any operator acting on it must be unitary. By definition of unitarity, it exist an inverse operator.

Therefore the operation must be reversible.

Answer 5

Not sure if you ever got your answer.

The answer I got (and found most intuitive) is that given our current knowledge of physics, we cannot construct a device that can delete information. So if our qubit is for example the spin of an atom or the polarization of an electron, we can not just delete the spin or the polarization, or the information contained within.

Hope this makes sense.