A. Neumaier said:
Our basic conflict is about the Heisenberg picture, so this simpler derivation is enough. It shows that the Heisenberg state is always constant, no matter whether the Hamiltonian is or isn't time-dependent. But you claimed that in most cases, the Heisenberg state is time-dependent, too, which flatly contradicts this conclusion. On the other hand, the 1-particle example you gave had the Heisenberg state
which is clearly independent of the time ##t##. You only made it look formally time-dependent by rewriting this state in a way that had multiple explicit occurrences of time. But this is not different than when you pretending that in the Schrödinger picture, the spin ##S_z## in z-direction is time-dependent because you can rewrite it as ##(t+1)S_z-tS_z##, which also looks formally time-dependent. Indeed, whether you write ##x_0## as ##x(0)## or as ##x(t)-tp## or as ##x(s)-sp## with an arbitrary ##s## totally unrelated to ##t##, it remains the same operator. Thus the time-dependence is only apparent.
I'll do so once the more basic conflict mentioned in the remainder of this post is resolved.
No, I did NOT claim what you claim I claim.
The total time derivative of the Heisenberg-picture statistical operator is ALWAYS 0 by definition of the picture. I think it's again a simple misunderstanding between different notations. In my opinion it's important to express the statistical operator as function of the fundamental observables at time ##t##, which brings in the IMPLICIT time dependence since in the Heisenberg picture the fundamental operators are evolving in time by a unitary time-evolution operator generated by ##\hat{H}##, no matter whether or not ##\hat{H}## is explicitly time-dependent or not.
But that necessarily implies that it is EXPLICITLY time dependent except for equilibrium states. The equation of motion for the Heisenberg picture is
$$\mathrm{d}_t \hat{\rho}(\hat{x},\hat{p},t)=\frac{1}{\mathrm{i} \hbar} [\hat{\rho}(\hat{x},\hat{p},t),\hat{H}(\hat{x},\hat{p},t)]+\partial_t \hat{\rho}[\hat{x},\hat{p},t]=0.$$
This of course implies
$$\hat{\rho}(\hat{x},\hat{p},t)=\hat{\rho}(\hat{x}_0,\hat{p}_0,0)=\text{const. in time},$$
where
$$\hat{x}_0=\hat{x}(t=0),\quad \hat{p}_0=\hat{p}(t=0).$$
The fundmental observables obey
$$\mathrm{d}_t \hat{x}=\frac{1}{\mathrm{i} \hbar} [\hat{x},\hat{H}], \quad \mathrm{d}_t \hat{p}=\frac{1}{\mathrm{i} \hbar} [\hat{p},\hat{H}].$$
The explicit time dependence of ##\hat{\rho}## in the Heisenberg picture for all non-equilibrium states is a simple mathematical necessity and common sense in all textbooks I know.
For the time dependence of the operators in any picture is completely irrelevant, whether the Hamiltonian is explicitly time-dependent or not. The general equation for the time-evolution operator for the state operators in an arbitrary picture (for the equations of motion, see my posting #11)
$$\hat{C}^{(j)}(t)=\mathcal{T}_c \exp \left(-\frac{\mathrm{i}}{\hbar} \int_0^t \mathrm{d} t' \hat{H}_1(\hat{x}(t'),\hat{p}(t'),t' \right),$$
and for the observable operators
$$\hat{A}^{(j)}(t)=\mathcal{T}_c \exp \left(+\frac{\mathrm{i}}{\hbar} \int_0^t \mathrm{d} t' \hat{H}_0(\hat{x}(t'),\hat{p}(t'),t' \right).$$
The only difference is in the Schrödinger or Heisenberg picture that for Hamiltonians that are not explicitly time dependent the time-evolution operators simplify a bit, i.e.,
$$\hat{C}^{(S)}(t)=\exp \left (-\frac{\mathrm{i}}{\hbar} \hat{H}^{(S)} t \right), \hat{A}^{(S)}(t)=\hat{1},\\
\hat{C}^{(H)}(t)=1, \quad \hat{A}^{(H)}(t)=\exp \left (\frac{\mathrm{i}}{\hbar} \hat{H}^{(H)} t \right).$$
Note that then
$$\hat{H}^{(S)}=\hat{H}^{(H)}=\text{const. in time}.$$