The Interferometer QTM has been defined and discussed by Benioff [17]. It illustrates that there are dpg step operators, which generate computational graphs having an interferometric structure with different actions on the lattice site qubits in the two interferometric arms.

The step operator is defined as:

The Turing head lives in a nine-dimensional Hilbert space with basis .

The lattice spins are living in a two-dimensional Hilbert space with basis . The basis state serves as a marker state to trigger certain actions while the Turing head is scanning the lattice sites.

The unitary operators are defined as follows.

The initial QTM state is defined to be:

head in state at lattice site position
lattice state
hence: . See Figure 1.

Figure 1.

Next we show the main steps to build this QTM using the QTS toolkit.

Set up the step operator T as a sum of partial step operators.

Do the same for the adjoint step operator.

Now define the basic case structure for calling the appropriate partial step operators with the correct choice.

Do the same for the adjoint step operator.

Next define the individual partial step operators.

Do the same for the adjoint partial step operators.

Use the formatting function FmtState to produce a textbook format.

Define a shortcut step operator TC as

and produce some output for a given iteration count.