We use the following notation throughout the following: A Hilbert space is denoted by H , and B ( H ) denotes the bounded linear operators on H . Tensor products are denoted by superscripts, e.g., H 12 = H 1 ⊗ ⊗ H 2 . The trace is denoted by T r .