Questions tagged [quantum-operation]

For questions about completely positive (CP) linear maps between quantum states. Can also be used for trace-preserving CP maps (quantum channels). For questions about unitary operations, please use quantum-gate instead.

Filter by
Sorted by
Tagged with
3
votes
1answer
212 views

What is the root of the non-trace-preserving bit-flip map

I have a quantum channel defined by the Kraus operators: $$ U_1 = \begin{bmatrix} p & 0 \\ 0 & p \end{bmatrix},\quad U_2 = \begin{bmatrix} 0 & p \\ p & 0 \end{bmatrix} $$ i.e. $$ U_1\...
4
votes
1answer
86 views

What do commuting quantum channels look like?

Consider two channels, $\Phi,\Psi\in\mathrm C(\mathcal X)$ acting on some space $\mathcal X$, and suppose they commute, that is, $$\Phi(\Psi(\rho))=\Psi(\Phi(\rho))$$ for all states $\rho$. Can ...
2
votes
1answer
38 views

Can LOCC operations take product states to non-product states?

Given a product state $\rho^{(1)} \otimes \rho^{(2)}$, can this state become non-product state under LOCC? Can LOCC create correlations between two systems?
2
votes
1answer
87 views

How can one check if a given quantum channel is unitary?

A unitary channel is a channel $\mathcal{U}$ of the following form: $\mathcal{U}(\rho) = U\rho U^{\dagger}$. A mixed unitary channel is a channel $\mathcal{U}_m$ of the form: $\mathcal{U}_m(\rho) = \...
0
votes
0answers
25 views

Measuring with a certain probability in Qiskit

I have the following quantum operation on two qubits: $$ \mathcal{E}(\rho) = p \mathcal{T} \circ \mathcal{U}(\rho) + (1-p) \mathcal{U}(\rho) ​$$ where $p$ is some probability, $\mathcal{U}$ is some ...
3
votes
1answer
40 views

Special properties of a channel whose Kraus decomposition contains Identity

I would like to know if there are any special properties of channels that permit a Kraus representation that includes an identity? That is, if I am given a Kraus representation of a CPTP map $\Phi$ ...
2
votes
1answer
34 views

Can every unitary on $\mathcal{H}\otimes \mathcal{K}$ be modelled by quantum operations on $\mathcal{H}$?

In section 8.2.3 of Nielsen and Chuang, they discuss how unitary dynamics of a system and environment arise from quantum operations (i.e. Kraus operators $E_k$ such that $\sum_k E_k^*E_k=I$). ...
4
votes
1answer
55 views

Closeness of unitary dilations of CPTP maps

Let $\Phi_1,\Phi_2 \colon S(\mathcal{H}) \to S(\mathcal{H})$ be CPTP maps on the same Hilbert space $\mathcal{H}$ which are $\varepsilon$-close in diamond norm, and let $U_1,U_2$ be respective unitary ...
1
vote
0answers
18 views

What are examples of "LOCC linked" quantum instruments?

Define a quantum instrument $\mathfrak J$ as a collection of completely positive (CP) maps $(\mathcal E_j:j\in\Theta)\subset\mathrm{CP}(\mathcal H)$, such that $\sum_j \mathcal E_j$ is also trace-...
2
votes
1answer
50 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 ...
1
vote
0answers
25 views

How to detect and correct swap errors in a quantum circuit?

Let's assume that I have a density matrix $\rho$ that consists of $N$ qubits. If this density matrix undergoes an error-channel that swaps any two qubits with an equal probability, i.e. $$ \mathcal{E}(...
5
votes
3answers
218 views

Why does a quantum operation being trace-preserving imply that $\sum_k E_k^\dagger E_k=I$?

I am reading Nielsen Chuang Chapter 8. They say that if a quantum operation is trace-preserving, then \begin{equation} Tr\left(\sum_k E_k^{\dagger}E_k \rho\right) = 1 \end{equation} which I understand....
2
votes
1answer
61 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
44 views

In Schumacher’s noiseless channel coding theorem, how do we get the exponents in $|0\rangle ^{\otimes n(1−p)/2}|1\rangle ^{\otimes n(1−p)/2}$?

On pg. 55 in Nielsen and Chuang, it's said that: the $|0\rangle + |1\rangle$ product can be well approximated by a superposition of states of the form $|0\rangle ^{\otimes n(1−p)/2}|1\rangle ^{\...
4
votes
1answer
75 views

What is an algorithm to generate random error in depolarizing channel

The Qunatum Depolarizing Channel is parametrized by a single real variable $\lambda, 0 \leq \lambda \leq 1$. I have a system of $n$ qubits. I'd like to generate random errors from that channel. These ...
4
votes
0answers
60 views

What is the quantum capacity of the combined amplitude and phase damping channel?

Quantum capacity for the amplitude damping channel and the pure dephasing channel have closed-form formulas as it can be seen in section 24.7.2 of From Classical to Quantum Shannon Theory. However, I ...
2
votes
0answers
53 views

What is the algorithm for the optimal decoder in a quantum erasure channel?

I'm reading this paper : Holographic Quantum Error Correcting Codes and on page 3 they describe an optimal decoder for erasure channel. The description is for CSS codes but they claim that "it is ...
0
votes
0answers
45 views

How's the depolarization channel applied to one qubit circuits?

Suppose that in all gates used in a one qubit circuit the depolarization channel is applied, i.e. ...
1
vote
0answers
80 views

Why the partial derivative of cost function is written in this form?

I am reading a paper about QCNN and BP problem. And in the paper there is a part illustrating the relation between the trainability and variance of the cost. The cost function is written as, $C(\theta)...
3
votes
1answer
64 views

What is a covariant quantum channel?

A novice to this topic, I am trying to understand the notion of (irreducible) Covariant Quantum Channels. This article provides a definition that is not very "physical". My question: What ...
5
votes
1answer
53 views

What does it mean for a channel to be independent of the input state?

A 2007 paper shows how to construct quantum channels on finite-dimensional Hilbert spaces $$\sigma=\Phi(\rho)=\sum_i K_i \rho K_i^\dagger,\qquad \sum_i K_i^\dagger K_i=\mathbb{I}$$ for which $\Phi(\...
1
vote
1answer
75 views

Quantum channels and maps: Confusing terminology

1. On page 73 of John Watrous' famous book, a quantum channel is defined as a linear map $$\Phi: L(\mathcal{X})\rightarrow L(\mathcal{Y})$$ Now $L(\mathcal{X})$ stands for $L(\mathcal{X},\mathcal{X})$...
3
votes
0answers
29 views

Uhlmann's theorem analogue for channels

Let the stabilized channel fidelity between two channels $M_{A\rightarrow B}$ and $N_{A\rightarrow B}$ be defined as $$F(M,N) = \min\limits_{\vert\psi\rangle_{AR}} F\left((M\otimes I_R)\vert\psi\...
5
votes
2answers
260 views

How does the spectral decomposition of the Choi operator relate to Kraus operators?

In Nielsen and Chuang's QCQI, there is a proof states that Theorem 8.1: The map $\mathcal{E}$ satisfies axioms A1, A2 and A3 if and only if $$ \mathcal{E}(\rho)=\sum_{i} E_{i} \rho E_{i}^{\dagger} $$...
1
vote
0answers
72 views

Prove that autocompatible LCPT maps are antidegradable

A LCPT map $\Phi$ is antidegradable if and only if it is compatible with itself. The proof that an antidegradable map (satisfying $\Phi=\Lambda_E\circ \tilde\Phi$ where $\tilde\Phi$ is the ...
7
votes
1answer
467 views

What is the rank of a quantum channel?

I read the following sentence in a paper: We consider a quantum channel $\mathcal{E}_{\omega}(\rho)=\sum_{i=1}^{r} K_{i} \rho K_{i}^{\dagger}$ where $r$ is the rank of the channel. I didn't find the ...
2
votes
1answer
127 views

How does the Kraus decomposition imply the Stinespring representation?

To show that the Kraus decomposition $\Phi(\rho)=\sum_{k=1}^D M_k\rho_S M_k^\dagger$ implies the Stinespring form $$\Phi(\rho)=\text{tr}_E[U_{SE}(\rho_S\otimes|0\rangle\langle 0|_E)U_{SE}^\dagger]$$ ...
5
votes
1answer
85 views

Why are quantum channels described by linear maps?

Why should the quantum channels be described by linear maps?
2
votes
1answer
109 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 ...
2
votes
1answer
53 views

What can be said about the non-negativity of the relative entropy of $S(\rho_{AB}||\rho_{B})$?

Taking $\rho_{AB}=\rho_{A}\otimes \rho_{B}$, where $S(\rho_{A})$ and $S(\rho_{B})$ aren't 0, it's easy to see that $$S(\rho_{AB}||I \otimes \rho_{B})=-S(\rho_{A})-S(\rho_{B})+S(\rho_{B})=-S(\rho_{A}).$...
7
votes
0answers
164 views

How does the invertibility of a quantum map reflect on its Kraus operators?

Consider a quantum map $\Phi\in\mathrm T(\mathcal X)$, that is, a linear operator $\Phi:\mathrm{Lin}(\mathcal X)\to\mathrm{Lin}(\mathcal X)$ for some finite-dimensional complex vector spaces $\mathcal ...
4
votes
1answer
123 views

Is a quantum channel reversible if all Kraus operators are proportional to unitaries?

In preskill's online lecture p.13, he stated that if a channel is reversible, i.e., $\varepsilon^{-1}\circ\varepsilon(\rho)=\rho$ for any $\rho$, then the kraus operator of the quantum channel must be ...
1
vote
0answers
41 views

How is $I(\rho^{QC})=I_{CC}(\rho^{QC})$

On page 3 of this paper, for the proof of theorem 1, it states that, using Lemma 2 from the previous page, that if $$I(\Lambda_{A}\otimes\Gamma_{B})[\rho]=I(\rho))$$ then there exists $\Lambda_{A}^{*}$...
3
votes
1answer
58 views

Tradeoff between error and rates of quantum communication

Suppose Alice and Bob share $n$ copies of a noiseless quantum channel $I_{A\rightarrow B}$ which can be used to send quantum states and $H_A\cong H_B$ i.e. the input and output Hilbert spaces are the ...
0
votes
1answer
58 views

unexpected effect of coherent unitary error in qiskit

I'm trying to simulate the effect of a coherent unitary Z rotation at an arbitrary angle of a single qubit on the fidelity of a quantum circuit. I am using the qiskit Aer noisy simulator. More ...
4
votes
2answers
121 views

What properties do Kraus operators of Markovian processes have?

It is well-known that the Kraus operator can describe more kinds of processes than master equations. For example, the master equation cannot describe non-markovian processes while the Kraus operator ...
5
votes
2answers
277 views

Can quantum circuits/operations have truth tables?

In the caption for the following figure, the word "truth table" is put inside a quotation. I am wondering if this means that the truth table the caption refers to isn't exactly a real truth ...
4
votes
2answers
419 views

Inverting the depolarizing channel

I have a depolarizing channel acting on $2^n \times 2^n$ Hermitian matrices, defined as $$\tag{1} \mathcal{D}_p (X) = p X + (1-p) \frac{\text{Tr}(X)}{2^n} \mathbb{I}_{2^n} $$ where $\mathbb{I}_{d}$ is ...
3
votes
2answers
141 views

Bounding diamond norm distance using probability of error in transmission of classical information

Let us consider an encode, noisy channel and a decoder such that classical messages $m\in\mathcal{M}$ can be transmitted with some small error. That is, for a message $m$ that is sent by Alice, Bob ...
2
votes
0answers
90 views

A way to check if entanglement is increased or decreased

I was wondering if there is a way to check if the amount of entanglement is increased or decreased after a quantum operation without calculating the actual value. That is, it does not concern with the ...
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 ...
6
votes
0answers
72 views

How does the extremality of a POVM reflect on its Naimark dilation isometry?

Let $\mu:\Sigma\to\mathrm{Pos}(\mathcal X)$ be some POVM, with $\Sigma$ the finite set of possible outcomes, and $\mathrm{Pos}(\mathcal X)$ the set of positive semidefinite operators on a finite-...
1
vote
1answer
38 views

How do successive operators act in the Heisenberg picture?

In the Schrodinger picture, it is clear how write a single gate for two operators. For example if operators $A$ then $B$ act on a state $\vert \psi \rangle$, this gives $BA\vert \psi \rangle$, (noting ...
1
vote
1answer
29 views

What is the correct notation to denote operations conditional on a measurement outcome?

What is the correct mathematical notation to describe the following setup? I have classical state in register $A$ which I can think of as $\sum_i p_i \vert i\rangle\langle i \vert_A$. I measure this ...
2
votes
3answers
156 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
69 views

Equivalent statement of the unitary freedom of Kraus operator?

There is a well-known form of the unitary freedom of Kraus operators, which can be found in Nielsen's book, stating that two sets of Kraus operators describe the same physical process of the system(...
4
votes
3answers
347 views

How are eavesdroppers detected when using BB84 in the presence of noise?

I would like to expand upon this question: What is the probability of detecting Eve's tampering, in BB84? Let's say that when the receiver (colloquially referred to as Bob) receives a qubit and ...
2
votes
1answer
65 views

Is the trace norm monotone with respect to quantum operations?

The trace norm is defined to be $$\| K \| = \mathrm{tr}\sqrt{K^\dagger K}.$$ Is it true that we have $$\| \mathcal E(K) \|\leq \|K\|,$$ for any quantum operation $\mathcal{E}: A\otimes B \to A\otimes ...
4
votes
2answers
200 views

Determining whether there exists an equivalent set of unitary Kraus operators

I have a CPTP quantum channel $\mathcal{E}$ that I've characterized by an operator sum representation $\{E_i\}$ for $i=1, \dots, m$ which acts on an input state like $$ \mathcal{E}(\rho) = \sum_{i=1}^...
2
votes
3answers
83 views

Do sequences of operations (including measurements) applied to different halves of an entangled pair always commute?

Let us say $A$ has one half of an entangled qubit pair, and $B$ has the other half. $A$ may be able to perform any type of operation on their half of the pair, such as unitary operations, entangling ...

1
2 3 4 5