# 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)

9 questions
Filter by
Sorted by
Tagged with
49 views

### Simulating Classical Probabilistic Transitions with superoperators

I'm working on the following exercise: "Show how a classical probabilistic transition on an M -state system can be simulated by a quantum algorithm by adding an additional M -state ‘ancilla’ ...
105 views

### How is partial trace related to operator sum representation?

In Quantum Computation and Quantum Information by Nielsen and Chuang, the authors introduce operator sum representation in Section 8.2.3. They denote the evolution of a density matrix, when given an ...
83 views

### Prove that the partial trace is equivalent to measuring and discarding

I'm trying to solve the following question: "Prove that one way to compute $\mathrm Tr_B$ is to assume that someone has measured system $B$ in any orthonormal basis but does not tell you the ...
50 views

### What are nontrivial examples of $n$-sharable bipartite states?

A bipartite state $\newcommand{\ket}{\lvert #1\rangle}\rho_{AB}$ is said to be $n$-sharable when it is possible to find an extended state $\rho_{AB_1\cdots B_n}$ such that partial tracing over any ...
580 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 ...
174 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 ...
158 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$-...
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 ...