Questions tagged [projection-operator]

A projection operator is one which when acts upon a quantum state (which is an element of a Hilbert space), "projects" it onto a subspace or onto another element of the same Hilbert space.

Filter by
Sorted by
Tagged with
2
votes
1answer
35 views

Does ${\rm tr}(\Pi_z\rho\Pi_z)\le p$ imply $\cal E(\rho)$ and $\cal E(\Pi_{-z}\rho\Pi_{-z})$ are close in trace distance?

Suppose I have a quantum operation $\mathcal{E}$ and a state $\rho$ such that: $$ \operatorname{tr}(\Pi_z \rho \Pi_z) \le p $$ for some probability $p$ and some projection $\Pi_z$ onto some subspace ...
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
1answer
50 views

What are the eigenvectors of the superoperator $[H,\cdot]$ with $H$ the Hamiltonian?

Let $\{A_\alpha\}$ be a set of hermitian operators and $\{\Pi(\varepsilon)\}$ a set of projectors on the (finite-dimensional) $\varepsilon$ subspace. Define $$A_\alpha(\Delta\varepsilon)=\sum_{\...
2
votes
0answers
81 views

Applying projectors with mid-circuit measurements

I am trying to apply a non-unitary projector (see image) to my two-qubit quantum circuit using mid-circuit measurements. $$ \begin{pmatrix} 0 & 0 & 0 & 0 \ 0 & 1 & 0 & 0 \ 0 &...
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 ...
5
votes
1answer
336 views

Implement a projection operator as a quantum circuit

Let the state $|\Psi\rangle\equiv a|0\rangle\otimes|\psi_0\rangle + b|1\rangle\otimes|\psi_1\rangle$, where $|\psi_0\rangle$ and $\psi_1\rangle$ belong to a multi-qubit register $R$ and the ...
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
0answers
46 views

If $\rho \approx_{\varepsilon}\sigma$, how to find $\Pi\rho\Pi$ to ensure that $\text{supp}(\Pi\rho\Pi)\subset\text{supp}(\sigma)$?

Let $\rho$ and $\sigma$ be positive semidefinite operators with trace less than or equal to 1. Let $\rho\approx_{\varepsilon}\sigma$ i.e. they are close in some distance, such as the trace distance. ...
4
votes
1answer
28 views

Does $\frac{\Pi_A\otimes I_B}{\text{Tr}((\Pi_A\otimes I_B)\rho_{AB})}\rho_{AB}=\rho_{AB}$ hold for a state $\rho_{AB}$ and projector $\Pi_A$?

For some projector $\Pi_A$ and state $\rho_{AB}$, let $$\sigma_{AB} = \frac{\Pi_A\otimes I_B}{\text{Tr}((\Pi_A\otimes I_B)\rho_{AB})}\rho_{AB}$$ Is it the case that $\sigma_B = \rho_B$? It seems ...
0
votes
2answers
81 views

Find the unitary implementing the transformation $|0\rangle\to\frac1{\sqrt2}(|0\rangle+|1\rangle),|1\rangle\to\frac1{\sqrt2}(|0\rangle-|1\rangle)$ [closed]

I have found a question for finding the Unitary operator for the following transformation: I found the solution as well. But I didn't understand how they got the solution!
3
votes
2answers
95 views

Is a projective measurements over a superposition of eigenstates possible?

All observables admit a spectral decomposition in terms of projectors $P_m$ into the eigenspace corresponding to the eigenvalue $m$. So given for example a collection of kets $|0\rangle, |1\rangle,...,...
4
votes
1answer
240 views

How do I prove that $P_\pm=\frac12(1\pm U)$ if $U^2=I$?

Suppose I have an $n$-qubit Hermitian operator $U$ such that $U^2=I$. The projection operators with eigenvalue $+1$ and $−1$ are $P_+$ and $P_-$. How can I prove that $P_+=\frac{1}{2}(1+U)$ and $P_-=\...
1
vote
2answers
91 views

How to project a composite system down into a smaller subspace in Python?

If we have a composite system over five qubits ($|\psi\rangle = |a\rangle|b\rangle|c\rangle|d\rangle|e\rangle$), and I want to project into a specific subspace of the first three systems, I can build ...
3
votes
0answers
59 views

Can we characterise how correlated the expectation values associated with a pair of observables are?

Consider a state $\rho$ and two observables $P$ and $Q$. Is there a good way to characterise how correlated the associated expectation values are? Be it in terms of mutual information or something ...
7
votes
3answers
161 views

What can I conclude about $\langle \phi|\pi_1\pi_2|\phi\rangle$ if $\langle \phi|\pi_i|\phi\rangle\ge e$?

If I have two projectors $\pi_1, \pi_2$ such that for some $|{\phi}\rangle$: $\langle {\phi}| \pi_1 |{\phi}\rangle \geq e$ and $\langle {\phi}| \pi_2 | {\phi}\rangle \geq e$ What can I conclude about ...
6
votes
1answer
154 views

Bob applies a projector - what happens to eigenvalues of Alice's reduced state?

Suppose Alice and Bob share a state $\rho_{AB}$. Let us denote the reduced states as $\rho_A = \text{Tr}_B(\rho_{AB})$ and $\rho_B = \text{Tr}_A(\rho_{AB})$. Bob applies a projector so the new global ...
0
votes
1answer
410 views

How to code a projector operator in qiskit?

I'm new to qiskit and I want to know how do I define a projector operator in qiskit? Specifically, I have prepared a 3 qubit system, and after applying a whole lot of gates and measuring it in a state ...
6
votes
3answers
372 views

What's the observable when measuring multiple qubits in the computational basis?

In Nielsen and Chuang (Quantum Computing and Quantum Information) the following definition is given to a projective measurement: Projective measurements are described by an observable $M$: $$M = \...
3
votes
0answers
76 views

Representing a von Neumann measurement as $[\mathcal{I} \otimes P_i] U(\rho_s \otimes \rho_a)U^{-1} [\mathcal{I} \otimes P_i]$, how do we choose $U$?

Given the state of a system as $\rho_s$ and that of the ancilla (pointer) as $\rho_a$, the Von-Neumann measurement involves entangling a system with ancilla and then performing a projective ...
2
votes
0answers
120 views

Increasing the von Neumann entropy despite the measurement?

Background Assume we have a density matrix $\rho$ of a sub-ensemble. However, we have an imperfect measuring instrument. While it does perform a measurement, we do not know exactly when it performs ...
3
votes
1answer
96 views

Showing measurement of a Hermitian Unitary operator gives final states as eigenvectors

This is related to exercise 4.34, The operation described can be written as $(H \otimes I)C^1(U)(H \otimes I)(|0\rangle \otimes |\psi\rangle)$ I can get to the point where the state of the system is ...
2
votes
3answers
99 views

What's the interpretation of the eigenvalues of qubit's projective operators?

Usually, while conducting a measurement on a qubit we are using two projectors, namely $P_0 = |0\rangle \langle 0|$ and $P_1 = |1\rangle \langle 1 |$. For the case of $P_0$ we have two possible ...
3
votes
1answer
70 views

Help in understanding the usage of eigenvalues in the definition of the projective measurement

Recently I was reading about the projective measurement in "Quantum Computation and Quantum Information" by Nielsen & Chuang, where they describe the projective measurement as follows: ...
2
votes
1answer
73 views

Prove that $P_{M_1}P_{M_2}= P_{M_2}P_{M_1}$ implies $\text{Pr}(\text{span}[M_1, M_2]) = \text{Pr}(M_1)+\text{Pr}(M_2)−\text{Pr}(M_1\cap M_2)$

Prove that if $\text{Proj}_{M_1}\text{Proj}_{M_2}= \text{Proj}_{M_2}\text{Proj}_{M_1}$ then $\text{Pr}(\text{span}[M_1, M_2]) = \text{Pr}(M_1) + \text{Pr}(M_2) − \text{Pr}(M_1 \cap M_2)$. In ...
3
votes
2answers
183 views

Quantum error correction using bit-flip code for the amplitude damping channel

I do not understand the error correction process that uses quantum codes for amplitude damping channel. I will take three bit-flip code for example. The logical state of a three bit-flip code is $|0\...
3
votes
1answer
118 views

Interpretation of specific Hamiltonian operator

In the paper https://arxiv.org/abs/1909.05820 the authors introduce several Hamiltonians. For example they define $$ H_G = A^\dagger \left( \mathbb{I} - \vert b \rangle \langle b \vert \right) A $$ in ...
3
votes
1answer
154 views

Implications of commuting within the code space

The question: I have a Hilbert space $\mathcal{H}=\mathcal{H}_A\otimes \mathcal{H}_B$, and a codespace $\mathcal{H}_{code}\subset \mathcal{H}$, so that $\mathcal{H}=\mathcal{H}_{code}\oplus\mathcal{...
3
votes
2answers
148 views

What does "measuring a state" mean?

I have been reading about secret sharing schemes, and they regularly come up with a line that says 'that a person upon receiving a state measures the state in one of the basis say the computational ...
4
votes
2answers
186 views

What is the relation between POVMs and projective measurements?

I'm a little confused about the terminology of measurement. So say that we have the single qubit state $|\phi \rangle=c_0|0\rangle+c_1|1\rangle$. If we perform the projective measurement $P_0=|0\...
2
votes
2answers
89 views

Projecting $\lvert ++ \rangle$ on Bell Basis

I understand that, projecting $\lvert 00\rangle$ on the Bell states would produce $\lvert\Phi^+\rangle$. Because, $$ CNOT(H\lvert0\rangle \otimes \lvert0\rangle) = \frac{1}{\sqrt{2}}(\lvert00\rangle +...
7
votes
2answers
160 views

Quantum channel representation of projective measurement

Let $P$ be a projector and $Q = I-P$ be its complement. How to find probability $p$ and unitaries $U_1, U_2$ such that for any $\rho$, $P\rho P + Q\rho Q = p U_1\rho U_1^\dagger + (1-p)U_2\rho U_2^\...
3
votes
1answer
108 views

Weeding out qubit states with leftmost qubit as 1

Need help! I was working on a project when I required to use a projection operator. For an example case, I have the Bell state, $$|\psi\rangle = \frac1{\sqrt2}\left(\color{blue}{|0}0\rangle+|11\rangle\...
6
votes
1answer
109 views

Error syndromes and recovery procedure in bit flip code

This question relates to exercise 10.4 in Nielsen and Chuang. For syndrome diagnosis, the textbook provides an example where one has four projectors, by which, you can identify where a one qubit ...
1
vote
1answer
100 views

What does it mean to perform a measurement in correspondence with different projections?

In error correction, like the bit flip, you perform a measurement which corresponds to different projections so that the outcomes can teach you about the error. What does it mean? How do you actually ...
2
votes
1answer
570 views

Projection operators and positive operators

I recently came across the concepts of operators. However with current my knowledge I am unable to solve the following problem.Given an operator $$\vec{A}=\frac{1}{2}(I+\vec{n}.\vec{\sigma})$$ where $\...
7
votes
2answers
253 views

Confusion regarding projection operator

Suppose we have a qutrit with the state vector $|\psi\rangle = a_0|0\rangle + a_1|1\rangle + a_2|2\rangle$, and we want to project its state onto the subspace having the basis $\{|0\rangle,|2\rangle\}$...