The description is given for the faithful normal conditional expectation from a hyperfinite factor onto the diagonal of nest algebra of the hyperfinite factor.
As multiple-quantum operator algebra theory mentioned, any unitary transformation can be decomposed into a sequence of a limited number of one-qubit quantum gates and two-qubit diagonal gates.