- #1

- 6

- 0

## Main Question or Discussion Point

So, say I have a composite hilbert space [tex]H = H_A \otimes H_B[/tex], can I write any operator in H as [tex]U_A \otimes U_B[/tex]?

Thanks

Thanks

- Thread starter ArjSiv
- Start date

- #1

- 6

- 0

So, say I have a composite hilbert space [tex]H = H_A \otimes H_B[/tex], can I write any operator in H as [tex]U_A \otimes U_B[/tex]?

Thanks

Thanks

- #2

- 12,981

- 540

- #3

Haelfix

Science Advisor

- 1,950

- 212

Like are they seperable or not.

- #4

- 29

- 1

You can find some operators that are simple tensor products of local operators, however, in general any operator acting on the composite space can be decomposed as a linear combination of products of dyad operators. To see this use the completeness relation (i.e. that the sum of projection operators equals the identity for both spaces):

[tex]I_A \otimes I_B = \sum_j \sum_k \vert e_j \rangle \langle e_j \vert \otimes \vert f_k \rangle \langle f_k \vert [/tex]

Then for any operator O on the composite space we get

[tex]O = I . O . I = \sum_j \sum_k \sum_m \sum_n \langle e_j , f_k \vert O \vert e_m, f_n \rangle \vert e_j \rangle \langle e_m \vert \otimes \vert f_k \rangle \langle f_n \vert[/tex]

[tex]I_A \otimes I_B = \sum_j \sum_k \vert e_j \rangle \langle e_j \vert \otimes \vert f_k \rangle \langle f_k \vert [/tex]

Then for any operator O on the composite space we get

[tex]O = I . O . I = \sum_j \sum_k \sum_m \sum_n \langle e_j , f_k \vert O \vert e_m, f_n \rangle \vert e_j \rangle \langle e_m \vert \otimes \vert f_k \rangle \langle f_n \vert[/tex]

Last edited:

- #5

vanesch

Staff Emeritus

Science Advisor

Gold Member

- 5,028

- 16

As others pointed out, the operators of the form [tex]U_A \otimes U_B[/tex] span the algebra of operators, but not all operators in that algebra are of that form themselves.So, say I have a composite hilbert space [tex]H = H_A \otimes H_B[/tex], can I write any operator in H as [tex]U_A \otimes U_B[/tex]?

Exactly like the vectors of [tex]H = H_A \otimes H_B[/tex] which are not all of the form [tex] |\psi_A> \otimes |\psi_B > [/tex], but the entire space is nevertheless spanned by those vectors.

- #6

reilly

Science Advisor

- 1,075

- 1

Thus the hilbert space in which the hydrogen atom lives cannot be decomposed into separate spaces for the constituants(sp?). This is discussed in most QM texts.

Regards.

Reilly Atkinson

- Replies
- 3

- Views
- 1K

- Replies
- 3

- Views
- 731

- Replies
- 3

- Views
- 2K

- Replies
- 2

- Views
- 2K

- Replies
- 6

- Views
- 2K

- Replies
- 2

- Views
- 3K

- Last Post

- Replies
- 3

- Views
- 974

- Replies
- 8

- Views
- 925

- Last Post

- Replies
- 31

- Views
- 6K

- Last Post

- Replies
- 1

- Views
- 2K