Conservation of quantum coherence?

If we understand coherence as "coherent superposition", then yes, coherence is conserved in a certain sense.

A simple superposition of two states evolves unitarily as $$ \alpha\;|a\rangle + \beta\;|b\rangle \;\; \rightarrow\;\; \alpha\;e^{-iHt}|a\rangle + \beta\;e^{-iHt}|b\rangle \equiv \alpha\;|a(t)\rangle + \beta\;|b(t)\rangle $$ so we can say that at any time the relative phase of the evolved components $|a(t)\rangle$ and $|b(t)\rangle$ is the same as the relative phase of initial components $|a\rangle$ and $|b\rangle$.

In fact, the same goes for density matrix elements of mixed states. We have $\rho(t) = e^{-iHt} \rho(0) e^{iHt}$, but also $$ \langle a(t) |\rho(t)|b(t)\rangle = \langle a |\rho(0)|b\rangle $$

Further, in a non-interacting bipartite system evolving under Hamiltonian $H = H_A + H_B$, the relative phase of contributions to a total pure state is preserved in the sense that $$ |\Psi_{AB}(0)\rangle = \alpha\;|\psi_A \otimes \psi_B\rangle + \beta\;|\phi_A \otimes \phi_B\rangle \;\; \rightarrow\;\; |\Psi_{AB}(t)\rangle = \alpha\;|\psi_A(t) \otimes \psi_B(t)\rangle + \beta\;|\phi_A(t) \otimes \phi_B(t)\rangle $$ where $$ \alpha\;|\psi_A(t) \otimes \psi_B(t)\rangle + \beta\;|\phi_A(t) \otimes \phi_B(t)\rangle \equiv \alpha\;e^{-iHt}|\psi_A \otimes \psi_B\rangle + \beta\;e^{-iHt}|\phi_A \otimes \phi_B\rangle $$ for $$ |\psi_A(t)\rangle = e^{-iH_At}|\psi_A\rangle, \;\; |\phi_A(t)\rangle = e^{-iH_At}|\phi_A\rangle\\ |\psi_B(t)\rangle = e^{-iH_Bt}|\psi_A\rangle, \;\; |\phi_B(t)\rangle = e^{-iH_Bt}|\phi_A\rangle $$ And although in this case the states of subsystems A and B are no longer "coherent" pure states, but "incoherent" mixed states, $\rho_{A(B)} = Tr_{B(A)}|\Psi_{AB}\rangle\langle \Psi_{AB}|$, we can say that a certain degree of coherence is still conserved in time even in the mixed states, since their matrix elements still satisfy $$ \langle \psi_A(t) |\rho_A(t)|\psi_A(t)\rangle = \langle \psi_A |\rho_A(0)|\psi_A\rangle,\;\;\;\langle \psi_A(t) |\rho_A(t)|\phi_A(t)\rangle = \langle \psi_A |\rho_A(0)|\phi_A\rangle\;\;, \text{etc} $$ and similarly for B.

Note however that we cannot talk of a single conserved quantity representing coherence. We can only say that a unitary evolution preserves relative phase relationships between unitarily evolved pure states, both in pure state superpositions and in mixed states.


No, coherence is not conserved by unitary transformations, in general. It's easiest to see this with a simple example. Consider a one-dimensional quantum harmonic oscillator, with Hamiltonian ($\hbar = 1$) $$ H = \omega a^\dagger a,$$ possessing energy eigenstates $H\lvert n\rangle = n\omega \lvert n\rangle$. Now, coherence (in the usual sense of the word) can only be defined with respect to a particular choice of basis. In quantum optics, in the study of nano-mechanical oscillators, and in many other applications of the quantum harmonic oscillator, coherence is usually defined with respect to the energy eigenbasis. That is, a state $\rho$ possesses coherence if its expansion in the energy eigenbasis $$ \rho = \sum_{m,n} \rho_{mn} \lvert m \rangle \langle n\rvert, $$ has at least one term where $\rho_{mn}\neq 0$ for $m\neq n$. Indeed, such a term is technically referred to as a coherence (in the energy eigenbasis).

Thus, the ground state of the system $\lvert 0 \rangle$ does not possess coherence. On the other hand, a coherent state $\lvert \alpha\rangle$, such that $a \lvert \alpha\rangle = \alpha \lvert \alpha \rangle$, does possess lots of coherence (surprise!). However, the two are related by a unitary transformation, the well known unitary displacement operation $\lvert \alpha\rangle = D(\alpha)\lvert 0 \rangle$, where $$ D(\alpha) = \exp \left ( \alpha a^\dagger - \alpha^* a \right ), $$ and clearly $D^\dagger(\alpha) D(\alpha) = 1$. A coherence measure $C(\rho)$ satisfying the OP's condition 1 thus implies $$ C(\lvert \alpha \rangle \langle \alpha \rvert) = C(D(\alpha)\lvert 0 \rangle \langle 0 \rvert D^\dagger(\alpha)) = C(\lvert 0 \rangle \langle 0 \rvert ). $$ Therefore $C(\rho)$ is a rather poor measure, as it assigns the same amount of "coherence" to the vacuum state (normally considered to have no coherence) and to a coherent state (normally considered to have "maximal" coherence).

It is straightforward to generalize this to multipartite systems. One finds that, for example, $C(\rho)$ assigns the same amount of "coherence" to maximally entangled pure states and to separable pure states. Again, this is exactly the opposite of what one would normally call coherence.

Overall, we see that no sensible coherence measure can be invariant under all unitary transformations. In fact, a coherence measure should only be generally invariant under unitaries which are diagonal in the chosen reference basis (i.e. the energy eigenbasis in these examples).