Computer scientists and others who are interested in learning more about quantum computation might be exposed, or re-exposed, to various concepts and classes of matrices from linear algebra. For example because of familiarity with truth-tables, (classical) reversible operators are often introduced in conjunction with unitary matrices.
Within quantum mechanics, there are a number of classes of matrices that are commonly used:
- As mentioned, unitary matrices are matrices $U$ such that $U^\dagger U = UU^\dagger = I$. These unitary matrices form the basis for discussion within the gate model of computation.
- Furthermore hermitian matrices are matrices $A$ such that $A = A^\dagger$. These matrices form the basis for, among other things, adiabatic computation.
- Additionally there are matrices, such as the creation $a^\dagger$, annihilation $a$, and number $N=a^\dagger a$ matrices, commonly referred to as ladder operators.
The familiar Pauli matrices $X$, $Y$, and $Z$ are both hermitian and unitary, while the creation and annihilation matrices are neither. Nonetheless reviewing Feynman's 1985 paper "Quantum Mechanical Computers", it appears that Feynman envisioned programming a quantum computer with an algebra or a calculus of sorts with sums and products of these ladder operators; indeed, he considered three qubits $a,b,c$ with $a$ and $b$ controlling the negation of $c$, and wrote a Toffoli gate explicitly as:
$$\mathsf{CCNOT}=1+a^\dagger ab^\dagger b(c+c^\dagger-1).$$
But other than Feynman's paper, I'm not aware of any extensive use of these ladder operators in any other model of quantum computation.
Is there any such model of quantum computation that focuses on ladder operators in lieu of unitary or hermitian operators? Did Feynman's "calculus" in his 1985 paper ever gain traction anywhere?
This is also partly motivated because I've read that Sophus Lie sort of envisioned infinitesimal generators of what we now call a Lie algebra as actual elements of the Lie group; it took others like Killing and Cartan to revise and formalize this intuition, and to put the Lie group - Lie algebra correspondence on more solid footing in the sense that the Lie algebra "linearizes" or is "tangent to" the Lie group.
I think perhaps there may be a similar analogy between the works of Feynman and, for example, Lloyd and Kitaev and Aharanov and others who came after, in the sense that these ladder operators somehow "linearize" or are "tangent to" the Hamiltonian, which enables Hamiltonian simulation. I'm trying to understand more of Feynman's intuition regarding these operators, but I might be making this analogy in hindsight.