It is important that the same thermal noise R(t) is used both in the tilde Hamiltonian (9) and in the original Hamiltonian
(7), because the tilde space needs to be isomorphic to the original space. Then the TFD Hamiltonian Hˆ in the present double
Hilbert space is defined by