# Questions tagged [partial-trace]

In linear algebra and functional analysis, the partial trace is a generalization of the trace. Whereas the trace is a scalar valued function on operators, the partial trace is an operator-valued function. (Wikipedia)

5 questions
2answers
337 views

### Partial trace over a product of matrices - one factor is in tensor product form

$$Tr(\rho^{AB} (\sigma^A \otimes I/d)) = Tr(\rho^A \sigma^A)$$ I came across the above, but I'm not sure how it's true. I figured they first partial traced out the B subsystem, and then trace A, but ...
1answer
48 views

### How many Kraus operators are required to characterise a channel with different start and end dimensions?

If we have a quantum channel mapping from a $d$-dimensional state to a $d$-dimensional state, it can be described by at most $d^2$ Kraus operators. Suppose our channel maps instead from a $d_1$-...
2answers
222 views

### Only assuming the universe evolves according to a positive trace-preserving map, is there a proof that all subsystem evolution must be CPTP?

If we only assume that the wavefunction of the universe evolves according to $e^{-iHt}$, is there any proof that all subsystems of the universe (partial traces over parts of the universe) must evolve ...
1answer
171 views

### Tensor product properties used to obtain Kraus operator decomposition of a channel

I work on a Quantum Information Science II: Quantum states, noise and error correction MOOC by Prof. Aram Harrow, and I do not understand which property of tensor products is used in one of the ...
1answer
95 views

### Partial Trace over a complicated looking state

In the Quantum Operations section in Nielsen and Chuang, (page 358 in the 2002 edition), they have the following equation: $$\varepsilon(\rho) = tr_{env} [U(\rho \otimes \rho_{env})U^\dagger]$$ They ...