I was reading the paper Quantum computation, quantum state engineering, and quantum phase transitions driven by dissipation . The claim is that universal quantum computation can be achieved using the dissipative approach. That is, we let interactions with an environment drive quantum computation. For this, we need to find a Liouvillian in Lindblad form: \begin{equation} \mathcal{L}(\rho) = \sum_k L_k \rho L_k^{\dagger} - \frac{1}{2} \left \{ L_k^{\dagger}L_k, \rho \right \}. \end{equation} In the above equation, $\rho$ is a density matrix, $\{\cdot,\cdot \}$ is an anti-commutator, and $L_k$ are Lindblad operators representing couplings to an environment.
The quantum computation that should be realized through dissipation is $$|\psi_t\rangle = U_t U_{t-1} \cdots U_1 |0\rangle_1 \cdots |0\rangle_N.$$
To achieve this computation, the authors define two registers:
- The main register is initialized as $|0\rangle_1 \ldots |0\rangle_N$.
- An auxiliary time-register with states $\{|t\rangle\}_{t=0}^T$.
Given the definitions above, the authors choose the following Lindblad operators:
\begin{align} \tag{1} L_i &= |0\rangle_i\langle1| \otimes |0\rangle_t\langle 0|, \\ \tag{2} L_t &= U_t \otimes |t+1\rangle \langle t| + U^{\dagger}_t\otimes |t\rangle\langle t+1|, \end{align} where $i=1,\ldots,N$ and $t=0,\ldots, T$.
The simple challenge I'm facing:
I absolutely don't understand the sub-index notation on LHS and RHS of Eq (1) and Eq (2). To me, it seems they defined $L_i$ and then redefined it with $L_t$, which has a different meaning. I also don't understand the meaning of subindex in $|0\rangle_i$ and $|0\rangle_t$.
Moreover, since $i \in \{1, \ldots, N\}$ and $t \in \{0,\ldots, T\}$, we can easily have something like $k:=i=t$, then how would one understand what equation $L_k$ represents?