Any Hamiltonian dynamic on a qubit is necessarily a rotation.
I consider a two level system having a Hamiltonian $H$. Decomposing this Hamiltonian on the Pauli basis and using the fact it is Hermitian, it is easy to show that it can be rewritten as: $$H=\frac{\hbar \Omega}{2}\overrightarrow{n}.\overrightarrow{\sigma}$$ This Hamiltonian implements the following unitary when evolved to a time $t$:
$$U_t = e^{-\frac{i \Omega t}{2} \overrightarrow{n}.\overrightarrow{\sigma}}$$
Such transformation induces a rotation in the Bloch-sphere around the axis $\overrightarrow{n}$ of an angle $\theta=\Omega t$.
Then, any (time-independent) Hamiltonian necessarily performs a rotation in the Bloch sphere. Why not.
Reflexion is a "valid" operation to do on a Bloch vector.
On the other hand, a qubit density matrix can be written as:
$$ \rho = \frac{1}{2} \left( \sigma_0 + \overrightarrow{p}.\overrightarrow{\sigma} \right)$$
Seeing it as a column vector $(1,\overrightarrow{p})$ (its decomposition in the Pauli basis), its evolution for a trace-preserving process can be computed through the Pauli-transfer matrix that has the following shape:
$$M=\begin{pmatrix} 1 & \overrightarrow{0} & \\ \overrightarrow{t} & A \end{pmatrix}$$
Where $A$ is a $3$x$3$ matrix, there are $0$'s on the first line for trace preservation. In the particular case $\overrightarrow{t}=0$ (unital map), $A$ is simply a matrix acting on $\overrightarrow{p}$. I could imagine $A$ being a reflexion: $A^T A= I$ but $det(A)=-1$
And this is where I get confused: We saw that a time-independent Hamiltonian necessarily induces a rotation. But as we can reason in $\mathbb{R}^3$ when seeing a qubit, reflections are perfectly valid operations to perform on it.
Does that imply that reflections are:
- Not unitary operations when "translated" on the Bloch sphere
- Are unitary operations, but cannot be implemented by a time-independent Hamiltonian (but I guess my example could be generalized as well to those cases...)
I would also be interested in a generalisation of this in higher dimension.
Note: I think this is very closely related to some notions of group theory, like the relationship between $U(n)$ and $O(n)$. But I have extremely bad memories of all that. So if an answer uses those notions, could you please remind me the very basic properties to know about this.