How to define quantum Turing machines?

(note: the full desciption is a bit complex, and has several subtleties which I prefered to ignore. The following is merely the high-level ideas for the QTM model) When defining a Quantum Turing machine (QTM), one would like to have a simple model, similar to the classical TM (that is, a finite state machine plus an infinite tape), but allow the new model the advantage of quantum mechanics. Similarly to the classical model, QTM has:

1. $Q={q_0,q_1,..}$ – a finite set of states. Let $q_0$ be an initial state.
2. $Sigma={sigma_0,sigma_1,…}$, $Gamma={gamma_0,..}$ – set of input/working alphabet
3. an infinite tape and a single “head”.

However, when defining the transition function, one should recall that any quantum computation must be reversible. Recall that a configuration of TM is the tuple $C=(q,T,i)$ denoting that the TM is at state $qin Q$, the tape contains $Tin Gamma^*$ and the head points to the $i$th cell of the tape. Since, at any given time, the tape consist only a finite amount of non-blank cells, we define the (quantum) state of the QTM as a unit vector in the Hilbert space $mathcal{H}$ generated by the configuration space $QtimesSigma^*times mathrm{Z}$. The specific configuration $C=(q,T,i)$ is represented as the state $$|Crangle = |qrangle |Trangle |irangle.$$ (remark: Therefore, every cell in the tape isa $Gamma$-dimensional Hilbert space.) The QTM is initialized to the state $|psi(0)rangle = |q_0rangle |T_0rangle |1rangle$, where $T_0in Gamma^*$ is concatenation of the input $xinSigma^*$ with many “blanks” as needed (there is a subtlety here to determine the maximal length, but I ignore it). At each time step, the state of the QTM evolves according to some unitary $U$ $$|psi(i+1)rangle = U|psi(i)rangle$$ Note that the state at any time $n$ is given by $|psi(n)rangle = U^n|psi(0)rangle$. $U$ can be any unitary that “changes” the tape only where the head is located and moves the head one step to the right or left. That is, $langle q',T',i'|U|q,T,irangle$ is zero unless $i'= i pm 1$ and $T'$ differs from $T$ only at position $i$. At the end of the computation (when the QTM reaches a state $q_f$) the tape is being measured (using, say, the computational basis). The interesting thing to notice, is that each “step” the QTM’s state is a superposition of possible configurations, which gives the QTM the “quantum” advantage. The answer is based on Masanao Ozawa, On the Halting Problem for Quantum Turing Machines. See also David Deutsch, Quantum theory, the Church-Turing principle and the universal quantum computer.