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
1answer
52 views

SWAP test and density matrix distinguishability

Let us either be given the density matrix \begin{equation} |\psi\rangle\langle \psi| \otimes |\psi\rangle\langle \psi| , \end{equation} for an $n$ qubit pure state $|\psi \rangle$ or the maximally ...
1
vote
1answer
23 views

how to know the appropriate time to know the SWAP gate operation in dipole interaction

Consider dipole-dipole interaction between two qubits,$H_{int} = g \boldsymbol\sigma_{1}\cdot\boldsymbol\sigma_{2}=g(X_1X_2+Y_1Y_2+Z_1Z_2)$. How can I show that by turning on this interaction for an ...
2
votes
2answers
175 views

Proof for Cardinality of the Clifford Group

In this article: (http://home.lu.lv/~sd20008/papers/essays/Clifford%20group%20[paper].pdf) a proof is given for the cardinality of the Clifford group. I understand all the parts of it except for how ...
1
vote
2answers
33 views

Compute ${\rm tr}(a_k a_{k'}\rho)$ with $\rho=e^{-\beta H}/Z(\beta)$ Gibbs state and $a_k$ ladder operators

Consider a harmonic oscillator with hamiltonian $H=\sum_k\omega_k a_k^\dagger a_k$ and a state $\rho=\frac{e^{-\beta H}}{Z(\beta)}$ where $Z(\beta)=\text{tr}[{e^{-\beta H}}]$. The quantity $$A:=\sum_{...
6
votes
3answers
292 views

Interpretation of the unitaries involved in the eigenvalue decomposition of a density operator

If $\rho=\sum_{i}p_{i}|\psi_{i}\rangle\langle \psi_{i}|$, this ensemble doesn't require $\langle \psi_{i}|\psi_{j}\rangle$=0. Given that $\rho$ is positive semi-definite, by the spectral theorem it ...
3
votes
0answers
78 views

Is there a way to write down the eigenstates of this two-qubit density matrix?

I am considering the density matrix which represents an arbitrary state for a pair of qubits. When written out in terms of the Pauli operators, this is as follows (certain terms vanish for another ...
3
votes
1answer
32 views

Relation between symmetric subspaces and $n$-exchangeable density matrices

Let us consider $n$ elements, each taken from the set $\{1, 2, \ldots, d\}$ and let $S_n$ be the set of all permutations on these $n$ elements. Define a permutation operator on the set of $n$ qudits ...
1
vote
2answers
39 views

How to combine/calculate for interference using density matrices?

Let's assume following two density matrices are corresponding to the A and B in the Stern-Gerlach apparatus bellow (I know Stern-Gerlach is a more of a physics experiment but I think it can equally be ...
4
votes
1answer
122 views

Can all mixed states be written as a convex combination $\rho=\sum_j p_j |\psi_j\rangle\langle \psi_j|$?

States belonging to some space $\mathcal H$ can be described by density operators $\rho\in L(\mathcal H)$ that are positive and have trace one. Pure states are the ones that can be written as $\rho=|\...
2
votes
1answer
89 views

Average output state of random quantum circuits

Let $|\psi\rangle = C_1 |0^{n}\rangle$ be a quantum state, such that $C_1$ is a Haar random unitary circuit. Consider a density matrix $\rho$ as follows \begin{equation} \rho_1 = \mathbb{E}[|\psi\...
2
votes
1answer
88 views

Finding Kraus operators from the output density matrix

I have a question regarding Kraus operators. Any quantum channel can be written in terms of Kraus operators as $E(\rho)= \sum_{i=0}^n K_i \rho K_i^{\dagger}$ where $\rho$ is the initial density ...
4
votes
1answer
56 views

Concavity of Conditional Quantum Entropy

Let's say I have a bipartite density operator $\gamma_{12} = (1 - \epsilon) \rho_{12} + \epsilon\sigma_{12}$, for $0 \le \epsilon \le 1$, i.e., a convex combination of $\rho_{12}$ and $\sigma_{12}$. I ...
5
votes
2answers
105 views

How to calculate the spectral norm of the density operator used in Molina et al. 2012 paper?

In Molina et al (2012)'s article on quantum money, the proof of security of Wiesner's quantum money scheme depends on the fact that the density operator $$Q = \frac{1}{4}\sum_{k \in \{0, 1, +, -\}}\...
2
votes
1answer
61 views

How is a classical bipartite state written in quantum notation?

As in the title, is a classical bipartite state on $AA'$ given by $$\sum_{ij} p_{ij} \vert i\rangle\langle i\vert_A \otimes \vert j\rangle\langle j\vert_{A'}$$ with $\sum_{ij}p_{ij} = 1$. In ...
1
vote
1answer
32 views

Increasing entropy for projective LCPT mapping

Given a set of projectors $\{P_i\}$ acting on a space $\mathcal H_S$, let $\Phi$ be the LCPT map defined by $$\Phi(\rho)=\sum_i P_i\rho P_i.$$ The goal is to show that $S(\Phi(\rho))\ge S(\rho)$. The ...
2
votes
2answers
76 views

Classical versus quantum correlations and partial traces

Given a bipartite state $\rho_{AB}$ living in the Hilbert space $\mathcal H(A\otimes B)$ we can always define two local states on $A$ and $B$ respectively by taking the appropriate partial traces: $$\...
6
votes
2answers
160 views

Can one always find purifications which preserve equality of statistical mixtures?

When pure states $|\psi_1⟩$, $|\psi_2⟩$ and $|\phi_1⟩$, $|\phi_2⟩$ in $\mathcal{H}_A \otimes \mathcal{H}_B$ have identical statistical mixtures $$\frac{1}{2}(|\psi_1⟩⟨\psi_1| + |\psi_2⟩⟨\psi_2|) = \...
0
votes
1answer
76 views

How do get $\rho_{BA}$ if I have $\rho_{AB}$

If Alice and Bob share the state: $$\left| {{\psi _{AB}}} \right\rangle = \sin \theta \left| {10} \right\rangle + \cos \theta \left| {01} \right\rangle $$ then $\rho_{AB}$ can be obtained as: $${\...
1
vote
1answer
155 views

Is there an algorithm that can decide if a state is a mixed state or a pure state?

Given we are using the computational basis,is there a quantum algorithm that can decide if an arbitrary input state $\vert A\rangle$ ( using $N$ qubits) is a pure state or a mixed state? $\vert A\...
5
votes
2answers
283 views

What are the conditions ensuring a two-qubit density matrix is positive semidefinite?

I've seen some papers writing $$\rho=\frac{1}{4}\left(\mathbb{I} \otimes \mathbb{I}+\sum_{k=1}^{3} a_{k} \sigma_{k} \otimes \mathbb{I}+\sum_{l=1}^{3} b_{l} \mathbb{I} \otimes \sigma_{l}+\sum_{k, l=1}^{...
1
vote
2answers
72 views

On existence of orthonormal basis for each subsystem in Separable state [closed]

A separable state in $\mathcal{H}_{a}\otimes\mathcal{H}_{b}$ is given by $$\rho_{s}=\sum_{\alpha,\beta}p(\alpha,\beta)|\alpha\rangle\!\langle\alpha|\otimes|\beta\rangle\!\langle\beta|.$$ Now, my ...
0
votes
1answer
31 views

Write the difference of 2 density operators in terms of a spectral decomposition

An exercise question (9.7) from Quantum computation and Quantum Information by Michael E. Nielson and Isaac L. Chuang says that I can write the difference of any 2 arbitrary density operators $\rho,\...
2
votes
3answers
117 views

How to describe the evolution of a density matrix using the Choi matrix?

How do I apply the Choi matrix on a Density matrix. Say my process is a Hadamard gate, and my input state is the ground state on 1 qubit (qubit id 0). $U = H = \dfrac{1}{\sqrt{2}} \begin{bmatrix}1&...
3
votes
1answer
132 views

Prove the fidelity can be written in terms of Pauli expectation values as ${\rm tr}(\rho\sigma)=\sum_k \chi_\rho(k)\chi_\sigma(\rho)$

I am reading through "Direct Fidelity Estimation from Few Pauli Measurements" and it states that the measure of fidelity between a desired pure state $\rho$ and an arbitrary state $\sigma$ ...
7
votes
1answer
99 views

Can one quantify entanglement between different parts of a system?

Consider some state $|\psi\rangle$ of $n$ qubits. One can take any subsystem $A$ and compute its density matrix $\rho_A =Tr_{B} |\psi\rangle \langle\psi|$. The entanglement between subsystem $A$ and ...
2
votes
0answers
91 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
54 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
45 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
99 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
88 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
25 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
105 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
345 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
112 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
105 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
103 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
61 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
37 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
183 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
58 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
75 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
70 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
67 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
181 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
64 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
189 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
82 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
2 3 4 5