How to get the matrices in partial trace

Click For Summary
SUMMARY

The discussion focuses on the calculation of the partial trace of a matrix \( L_{AB} \) using the formula \( tr_A(L_{AB})=\sum_i [(\langle i|\otimes id)L_{AB}(|i\rangle\otimes id)] \). The participants clarify that \( d \) represents the dimension of the Hilbert space, and the first \( 2 \times 4 \) matrix is derived from the tensor product and bra-ket notation. The example provided illustrates the computation of the trace, resulting in the matrix \( \left(\array{0&0\\1&0} \right) \).

PREREQUISITES
  • Understanding of quantum mechanics, specifically bra-ket notation.
  • Familiarity with matrix operations, including tensor products.
  • Knowledge of linear algebra concepts, particularly traces of matrices.
  • Basic comprehension of Hilbert spaces and their dimensions.
NEXT STEPS
  • Study the properties of tensor products in quantum mechanics.
  • Learn about the trace operation in linear algebra.
  • Explore examples of partial traces in quantum systems.
  • Investigate the significance of Hilbert space dimensions in quantum mechanics.
USEFUL FOR

Quantum physicists, mathematicians specializing in linear algebra, and students studying quantum mechanics who seek to understand matrix operations and partial traces.

munirah
Messages
28
Reaction score
0

Homework Statement


Good day,

I want to ask the matrix that obtained from below formula and example.

$$tr_A(L_{AB})=\sum_i [(\langle i|\otimes id)L_{AB}(|i\rangle\otimes id)]$$

this formula above can be represented as in matrix form below,

$$tr_A(L_{AB})= \left(\array{1&0&0&0\\0&1&0&0}\right)\cdot \left(\array{0&0&1&0\\1&0&0&0\\0&0&0&0\\0&0&0&0} \right)\cdot \left( \array{1&0\\0&1\\0&0\\0&0}\right)=\left(\array{0&0\\1&0} \right)$$

My question are:

1.what its mean by d in this formula? How can I get this d?

2.How he get the first 2X4 matrix? I already calculate but I just get first row only. How it compute from the formula exactly?

Thank you
 
Physics news on Phys.org
Can you give more information from where you took this example as it seems a little out of context.

From what I see the i stands for the identity matrix, and id for the 0 matrix, the O with the cross stands for tensor product, and take into account that < | and | > come from bra - ket notation of vectors and covectors.

This appears to be a formula for the trace of a matrix L_{AB} which I have no idea from where comes.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 2 ·
Replies
2
Views
882
  • · Replies 1 ·
Replies
1
Views
2K
Replies
7
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K