Questions tagged [density-matrix]

A density matrix is a matrix that can be used to describe a quantum system in a mixed state, a statistical ensemble of several quantum states. This should be contrasted with a single state vector that describes a quantum system in a pure state.

Filter by
Sorted by
Tagged with
2
votes
0answers
106 views

How can a density matrix be prepared on a quantum register?

I am currently trying to implement the VQSE algorithm. There the biggest eigenvalues and their corresponding eigenvectors of a density matrix $\rho$ are computed. In contrast to VQE, the matrix $\rho$ ...
1
vote
1answer
59 views

Properties of frames in quasiprobability representation

Let $\mathbb{C}^{d}$ be a complex Euclidean space. Let $\mathsf{H}(\mathbb{C}^{d})$ be the set of all Hermitian operators, mapping vectors from $\mathbb{C}^{d}$ to $\mathbb{C}^{d}$. I had some ...
4
votes
2answers
56 views

Does the definition of separability of pure states require the components of the summands to be pure?

Does the definition of separability of pure states require the components of the summands to be pure? More precisely, let $\rho$ be a pure state (i.e., $\rho=|\phi\rangle\langle\phi|$) on the space $...
1
vote
1answer
64 views

When does Hermitian operator with unit trace become a density operator?

The definition of density operators is that (i) positive semidefinite; and (ii) unit trace. Given a Hermitian matrix $\rho$ (say, the size is $2\times 2$) with unit trace, I know that such matrix may ...
2
votes
1answer
143 views

How to find the $A_i$ in the matrix product state representation?

From what I understand, MPS is just a simpler way to write out a state, compared to the density matrix. But how do I get those $A_i$ matrices? From all the examples I read, people just somehow "...
5
votes
2answers
96 views

Why are commuting density operators said to be "classical states"?

In quantum information it is commonly said that a set of states $S=\{ \rho_i \}_i$ is classical if $[\rho_m, \rho_n] = 0, \,\forall \rho_m,\rho_n \in S$. This is meant in the sense that all observed ...
0
votes
0answers
29 views

How to trace out qubits from a multipartite density matrix [duplicate]

I have a density made up of 4 qubits. Say system A is made up of the first and second qubits while system B is made up of qubits 3 and 4. I want to trace out 2nd and 3rd qubits. Is there any reference ...
4
votes
3answers
122 views

How to find the distance between a given $\rho$ and the nearest pure state(s)?

I have a $d$-dimensional state $\rho$. Is there any way to find the (possibly not unique) trace distance to the nearest pure state: $$ \min_{|\psi\rangle} \,\,\lVert \rho - |\psi\rangle\langle \psi| \...
4
votes
2answers
387 views

Quantum teleportation of a mixed state through a pure state?

Let's assume we have a register of qubits present in a mixed state $$\rho = \sum_i^n p_i|\psi_i\rangle \langle \psi_i|$$ and we want to teleport $\rho$ through a random pure state $|\phi\rangle$. What ...
3
votes
0answers
51 views

Modeling building blocks for quantum computation

If I would design library for quantum computation I would naively consider a sequences of entangled qudits with unit length as a building blocks. I.e., unit length elements from $$\mathbb{C}^{d_{1}}\...
5
votes
1answer
127 views

What is the superop simulator in Qiskit for?

I'm trying to understand what the use case of a superop simulator would be. My understanding is that density matrix is generally more resource intensive than state vector, but it has additional ...
2
votes
1answer
74 views

Given $|\psi\rangle=(U_A\otimes U_B)|0,0\rangle$, is $|\psi\rangle\!\langle\psi|$ always a product state?

say I have some state in the combined space $\psi$ ∈ $H_A\otimes H_B$, where $\psi=U_A \otimes U_B|0,0\rangle$ (operators from respective spaces), and $\rho_A, \rho_B$ the respective density matrices. ...
1
vote
1answer
138 views

How to get Bloch sphere Cartesian coordinates from density matrix

I am vexed by a particular derivation. Given a state $\psi$ and corresponding density matrix $\rho = |\psi\rangle \langle \psi|$, or $\rho = \begin{bmatrix} a & c \\ b & d \end{bmatrix}$, I ...
0
votes
1answer
109 views

Does $\mathrm{Tr}(\rho\sigma) > 0$ prove that a state $\sigma$ is separable?

As an example I have the density matrix: $\rho = \frac{1}{3}(| \phi^+ \rangle\langle\phi^+| + | 00 \rangle\langle 00|+| 11 \rangle\langle11| )$ And the two-qubit state is: $\frac{1}{3}(| \phi^- \...
2
votes
2answers
72 views

Can we write the density operator as a sum of mixed states?

In every resource I find (like Nielsen and Chuang or online courses), the density operator is defined as follows: we consider a sequence of pure states $\left|\psi_i\right\rangle$ with associated ...
2
votes
1answer
42 views

How can we prove that the covariance satisfies $\mathrm{Cov}_\rho(X,Y)=\mathrm{Cov}_\rho(Y,X)$?

While attempting to prove the Cauchy Schwarz Inequality I came across this problem. First of all, if we are given a $\rho$ density matrix and two matrix of obserables $X,Y$, after defining the ...
2
votes
3answers
262 views

Why does the trace of density operators need to be one?

Usually, the textbook starts with a few assumptions of what density operator $\rho$ has. One of them is $Tr(\rho) = 1$. Why is that?
1
vote
1answer
63 views

Purification applied to indistinguishability

In Zhandry's compressed oracle paper, one can read the following: Next, we note that the oracle $h$ being chosen at random is equivalent (from the adversary’s point of view) to $h$ being in uniform ...
3
votes
0answers
78 views

Analyzing the composition of a channel with its adjoint in relation with an identical composition obtained for the channel's complement

Let us consider two quantum channels $\Phi:M_d\rightarrow M_{d_1}$ and $\Phi_c:M_d\rightarrow M_{d_2}$ that are complementary to each other, i.e., there exists an isometry $V:\mathbb{C}^d\rightarrow \...
4
votes
1answer
79 views

Quantum indistinguishability using density operators

There is something that bugs me concerning the use of density matrices. For instance, to argue that quantum teleportation does not spread an information faster than light, Nielsen and Chuang state the ...
1
vote
1answer
93 views

Setting the Initial State of Density Matrix Simulation in Cirq

I am trying to use the DensityMatrixSimulator in Cirq. I want to append gates to the circuit conditional on measurements. In order to reduce computational resources, I am trying to run these ...
3
votes
2answers
205 views

Does a partial transpose always have real eigenvalues?

I am working with a tripartite system, but when I partially transpose the $8\times 8$ density matrix I get two complex eigenvalues. I know the criteria for the positive and negative eigenvalues, but ...
3
votes
2answers
67 views

How do you mix two pure states to obtain a mixed state?

If we have the following two states \begin{equation} |\psi\rangle_1 = \frac{1}{\sqrt{2}}|0\rangle_A|0\rangle_B + \frac{1}{\sqrt{2}} |1\rangle_A |1\rangle_B \end{equation} \begin{equation} |\psi\...
1
vote
1answer
222 views

Calculate the von Neumann Entropy of a two-qubit entangled state

After working through an exercise I got a confusion answer/solution that either may be because I've made a mistake or I'm not understanding von Neumann Entropy. I have the two qubit system $$ | \psi \...
0
votes
0answers
91 views

Stinespring dilation using ancilla in mixed state?

The Stinespring dilation theorem states that any CPTP map $\Lambda$ on a system with Hilbert space $\mathcal{H}$ can be represented as $$\Lambda[\rho]=tr_\mathcal{A}(U^\dagger (\rho\otimes |\phi\...
1
vote
1answer
43 views

What is the conjugate transpose of $|0\rangle_{A}|1\rangle_{B}$?

Suppose a composite state is in $|0\rangle_{A}|1\rangle_{B}$. Then their conjugate transpose would be $\langle 0|_{A}\langle 1|_{B}$? Note: Why this question? Because I was checking MIT's "...
2
votes
1answer
44 views

How would I compute a density matrix of a complex qubit mixed state?

I am currently reading Nielsen & Chuang, and one of the questions asks to calculate a density matrix with the following mixed state, $$ \frac{1}{9}\begin{bmatrix} 5 & 1 & −i \\ 1 & 2 &...
2
votes
1answer
50 views

How would I compute a density matrix of a 2 qubit mixed state?

I am currently reading Nielsen & Chuang, and one of the questions asks to calculate a density matrix with the following mixed states, how would I do this? $$ |00> \;with \;probability \; 2/4 \\ ...
0
votes
1answer
44 views

How many real numbers are required to describe density matrix for $n$ qubits?

(All of these coming from the topic of simulation of quantum systems) A density matrix $\rho$ Which describe state of $n$ qubits will have $2^{n} \times 2^{n}$ size. We have couple of conditions like ...
0
votes
1answer
107 views

Derivation of Equation $8.7$ in Nielsen Chuang [duplicate]

Equation \eqref{eq:sp1} represents the reduced state of the system after tracing over environment.(Page number 358) $$\mathcal{E}(\rho) = \mathrm{tr}_{env}(\lbrack U(\rho \otimes \rho_{env} )U^{\...
0
votes
0answers
43 views

What does "bipartite system" mean? [duplicate]

I have seen this term appearing multiple times when discussing density matrices. For example here is an excerpt from the lecture notes: We are now ready to introduce the idea of a reduced density ...
2
votes
1answer
163 views

How to express a probability distribution $P(x,y,z)= \sum_\lambda P(x|y,\lambda)P(y|\lambda,z)P(z)P(\lambda)$ in terms of a trace of a density matrix?

I have been given and expression for a probability distribution $$P(x,y,z)= \sum_\lambda P(x|y,\lambda)P(y|\lambda,z)P(z)P(\lambda)$$ and I have been asked to show that the above expression can be ...
1
vote
1answer
87 views

Is there an easy way to calculate the eigenvalues of the partial transpose of a given matrix? [duplicate]

Consider the state $$|\psi\rangle=(\cos\theta_A|0\rangle+\sin\theta_A|1\rangle)\otimes(\cos\theta_B|0\rangle+e^{i\phi_B}\sin\theta_B|1\rangle).$$ To calculate the $\rho^{T_B}$ I first calculate the $\...
2
votes
1answer
63 views

How can one argue that the partial transpose $\rho^{T_B}$ of a general separable state is positive?

How can one argue that the partial transpose $\rho^{T_B}$ of a general separable state is positive?
-1
votes
1answer
74 views

How do I calculate the eigenvalues of the positive partial transpose of this two-qubit state?

How can I calculate the eigenvalues of $\rho^{T_{B}}$ (PPT) of the following state $$ \rho =\frac{1}{2}|0\rangle\langle0|\otimes|+\rangle\langle+|+\frac{1}{2}|+\rangle\langle+|\otimes|1\rangle\langle1|...
4
votes
1answer
158 views

What is the difference between $|0\rangle+|1\rangle$ and a balanced mixture of $|0\rangle$ and $|1\rangle$? [duplicate]

Suppose I have a quantum state $\frac{1}{\sqrt{2}}|0\rangle+\frac{1}{\sqrt{2}}|1\rangle$. Also I have a mixture of two quantum states $S_{1} = |0\rangle$ and $S_{2} = |1\rangle$. In this mixture $50\%$...
4
votes
1answer
155 views

How do I determine if a given pure two-qubit state is separable?

I'm trying to self-study some topics about quantum computing and I came across a topic of state separability. Talking about that, I wanted to determine separability on the following state (from Qiskit ...
8
votes
3answers
2k views

What do the off-diagonal elements of a density matrix physically represent?

For simplicity, let's take a density matrix for a single qubit, written in the $\{|0\rangle,|1\rangle\}$ basis: $$ \rho = \begin{pmatrix} \rho_{00} & \rho_{01} \\ \rho_{10}^* & 1-\rho_{00} \...
3
votes
1answer
60 views

$\rho_{SE}(0)=\rho_S(0)\otimes\rho_E(0)$: No coupling or no entanglement?

We know that the entangled states cannot be expressed like product state, e.g. $|\omega\rangle = |\psi\rangle\otimes|\phi\rangle$. In the density matrix describing the correlations between system $S$ ...
8
votes
2answers
457 views

What's the 'physical consistency' in the partial trace scenario?

I'm reading 'Why the partial trace' section on page 107 in Nielsen and Chuang textbook. Here's part of their explanations that I don't quite understand: Physical consistency requires that any ...
4
votes
1answer
91 views

What's the difference between $p(i|m)$ and $p(m|i)$ in measurement?

Suppose we perform a measurement described by measurement operators $M_m$. If the initial state is $|{\psi_i}\rangle$, then the probability of getting result $m$ is $$ \begin{align} p(m|i)=\| M_m|\...
-1
votes
1answer
74 views

Uniqueness of Density Operator

I have been reading "Introduction to Quantum Information Science" by Masahito Hayashi, Satoshi Ishizaka,Akinori Kawachi, Gen Kimura and Tomohiro Ogawa; Springer Publication. I'm currently in ...
4
votes
1answer
92 views

How is a qubit in superposition between $|0\rangle$ and $|1\rangle$ different from a mixture of $|0\rangle$ and $|1\rangle$? [duplicate]

Given that a qubit in equal superposition of $|0\rangle$ and $|1\rangle$ is represented by following wave function \begin{equation} \Psi = \frac{1}{\sqrt 2}(|0\rangle + |1\rangle) \end{equation} and ...
2
votes
1answer
61 views

What is the largest absolute value attainable by an off-diagonal real or complex component of a $4 \times 4$ density matrix?

To repeat the titular question: "What is the largest absolute value attainable by an off-diagonal real or complex component of a $4 \times 4$ density matrix?"
3
votes
0answers
45 views

Pure state ensembles achieving the Holevo $\chi$-quantity with at most $d^2$ states

Theorem 8.10 in Chapter 8 of Theory of Quantum Information asserts that the Holevo capacity of a quantum channel (between density operators on $\mathbb{C}^d$) can be achieved by an ensemble consisting ...
2
votes
1answer
139 views

In a bipartite system $AB$, why does the entanglement negativity $\mathcal{N}(\rho^{T_A})$ measure the entanglement between $A$ and $B$?

Consider a system composed of two subsystems $A$ and $B$ living in $\mathcal{H}=\mathcal{H}_A \otimes \mathcal{H}_B$. The density matrix of the system $AB$ is defined to be $\rho$. The entanglement ...
1
vote
1answer
208 views

Unitary freedom in the ensemble for density matrices

I was reading the book by Nielsen & Chuang. I got the part about why we use the density operators. And then I got to the section of theorem 2.6. It says roughly this thing:- The sets $|{\tilde\...
5
votes
2answers
145 views

How are the eigenvalues of $\rho=\frac12(|a\rangle\!\langle a| +|b\rangle\!\langle b|)$ derived?

Let's say I have a density matrix of the following form: $$ \rho := \frac{1}{2} (|a \rangle \langle a| + |b \rangle \langle b|), $$ where $|a\rangle$ and $|b\rangle$ are quantum states. I saw that ...
2
votes
1answer
96 views

Question about quantum error correction and density matrixs

I am now studying QEC and feel confused. If I have a density matrix before the correction: The circuit is: $\rho = p^0(1-p)^3|\varphi\rangle \langle\varphi|+p^1(1-p)^2\sum_{i=1}^3X_i|\varphi\rangle \...
2
votes
1answer
74 views

Two qubit state + Depolarizing channel = Bell diagonal state?

In multiple sources, e.g. RGK, KGR, it is stated (without proof) that if you take any two qubit state and send it through a depolarizing channel, the resulting state would be a Bell-diagonal state. ...