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
88 views

Confusing notation in Wikipedia's quantum channel article

In the Wikipedia's Quantum channel article, it is said that a purely quantum channel $\phi$ (it's not exactly the same phi calligraphy but it's close), in the Schrodinger picture, is a linear map ...
2
votes
0answers
25 views

Is quantum deletion via a partial randomization procedure possible?

The paper, Quantum deletion is possible via a partial randomization procedure claims that it is possible to bypass the no-deleting theorem by a procedure called R-deletion. But this seems to go ...
2
votes
1answer
74 views

CPTP, Kraus representation and classical registers

What is the best mathematical representation of a quantum system that has some classical registers and some quantum registers? I'm asking because I'm considering any "physical" process $\pi()$ that ...
5
votes
2answers
157 views

Explicit form for composition of Choi representation quantum channels

Let $|\Omega \rangle$ be the maximally entangled state over a bipartite system whose parts are each dimension $d$, i.e. $$ | \Omega \rangle \equiv \sum_i^{d}| ii \rangle $$ Then one way of writing ...
1
vote
1answer
215 views

How does qiskit finally implement a noise model?

I have been reading qiskit documentation for hours and I still don't get how does it implements noise in the circuit. I have understood that it works with a objects of the class QuantumError which ...
3
votes
0answers
95 views

Forbidden/allowed outputs of a quantum channel

The coherent information of a channel $\mathcal{E}_{A'\rightarrow B}$ is defined as the maximum value obtained by the following function where the maximization is over all input states $$I_{\rm{coh}}(...
2
votes
1answer
262 views

What does a "Choi state" where we relax the partial trace condition represent?

Consider Hilbert spaces $\mathcal{X}, \mathcal{Y}$. For any quantum channel $\mathcal{E}_{\mathcal{X}\rightarrow \mathcal{Y}}$, the bipartite Choi state $J(\mathcal{E}) \in L(\mathcal{Y}\otimes\...
4
votes
1answer
200 views

What does it mean "less than identity" in the operator sum representation?

In Quantum Computation and Quantum Information by Isaac Chuang and Michael Nielsen, section 8.2.3, $\mathcal{E}=\sum_{k}E_k\rho E_k^{\dagger}$ gives the operator-sum representation. In general, it ...
3
votes
1answer
120 views

Optimizing over quantum channels

I am given fixed quantum states $\rho_X$ and $\sigma_Y$ and some function of the form $\text{Tr}(N_{X\rightarrow Y}(\rho_X)\sigma_Y)$. I would like to maximize this function over all completely ...
1
vote
1answer
56 views

Kraus decomposition for non trace preserving operation: shouldn't we have $0 \leq \sum_k E_k^{\dagger} E_k \leq I$

In N&Chuang, on page 368 is written the following theorem: The map $\mathcal{E}$ satisfies axioms A1,A2,A3 if and only if $$\mathcal{E}(\rho)=\sum_k E_k \rho E_k^{\dagger}$$ Where $\sum_k ...
13
votes
1answer
293 views

Does higher channel fidelity imply higher entanglement fidelity?

Consider two noisy quantum channels (CPTP maps), $\Phi_1^A$ and $\Phi_2^A$, acting on a system $A$. Suppose that for any pure state $\left|\psi\right>\in \mathcal H_A$, $$ F\big(\psi, \Phi_1^A(\psi)...
3
votes
0answers
66 views

Proof that quantum entanglement does not increase the asymptotic capacity of classical channel

Consider a classical channel $N_{X\rightarrow Y}$ which takes every input alphabet $x\in X$ to output alphabet $y\in Y$ with probability $P(y|x)_{Y|X}$. It is stated in many papers that even if the ...
3
votes
2answers
76 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’ ...
4
votes
1answer
123 views

How to obtain the tensor-product of two quantum operations (superoperators) explicitly?

I have an amplitude damping channel, denoted as a superoperator $\mathcal{E}$ with operator elements \begin{matrix} E_1=\begin{pmatrix} 1 & 0 \\ 0 & \sqrt{1-r} \end{pmatrix},\quad ...
5
votes
3answers
515 views

How is the partial trace related to the operator sum representation? [duplicate]

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 ...
4
votes
0answers
48 views

What is the difference between intercept-resend attack and measure-resend attack?

I am going through different types of attacks that eve can perform on the quantum channel. I came across the intercept-resend attack and measure-resend attack. What is the difference between the two? ...
5
votes
2answers
520 views

How to define a quantum channel for the partial trace?

I understand that the partial trace is a linear map, a completely positive map and a trace-preserving map. However, I have no idea how to define a quantum channel with the partial trace because ...
4
votes
1answer
67 views

What goes wrong if I try to simulate a system with a larger Hilbert space with a smaller Hilbert space?

System 1: This has a Hilbert space of dimension $N$. System 2: This has a Hilbert space of dimension $N'$, with the condition that $N' \ll N$. We want to simulate system 1 using the system 2, and so ...
3
votes
2answers
213 views

If a state is only "close to" an eigenstate of an operator, how many applications of the operator does it take to scramble the state?

Suppose we have an operator $U$, and a register $|\lambda\rangle$ in an eigenstate of $U$ with eigenvalue $\lambda=1$. Repeatedly applying $U$ to $|\lambda\rangle$ does not affect $|\lambda\rangle$ - ...
2
votes
1answer
76 views

The solution when we transmit a qubit through a Pauli channel?

A Pauli channel is defined as a convex combination of Pauli operators, i.e. $\epsilon_{\text{Pauli}} (\rho)=\sum_{j} q_j\sigma_j\rho \sigma_j$, where $0 \leq q_j \leq 1$ and $\sum_j q_j=1$. Now, I ...
6
votes
3answers
233 views

Is there a quantum operation whose output is always orthogonal to the input?

I'm trying to show/convince myself the following statement is correct (I haven't been able to find any similar posts): "There is no reversible quantum operation that transforms any input state to a ...
8
votes
0answers
61 views

Entanglement-assisted hashing bound for asymmetric depolarizing channels

I reading the paper EXIT-Chart Aided Quantum Code Design Improves the Normalised Throughput of Realistic Quantum Devices, which proposes the use of QTCs in order to do quantum error correction for ...
3
votes
2answers
171 views

Why does entanglement not increase the classical capacity of a channel?

In a recent paper, the authors quote an older work of Bennett, Shor and others and make the following statement While entanglement assistance can increase achievable rates for classical point-to-...
5
votes
1answer
131 views

Why can any LOCC operation be written as $\sum_k (A_k\otimes B_k)\rho(A_k^\dagger\otimes B_k^\dagger)$?

This statement can be found in Vedral et al. 1997, eq. (1). More precisely, given a bipartite state $\rho_{AB}$, they claim that any operation on $\rho_{AB}$ involving local operations plus classical ...
5
votes
1answer
306 views

Do the eigenvalues of the Choi matrix have any direct physical interpretation?

Let $\Phi\in\mathrm T(\mathcal X,\mathcal Y)$ be a CPTP map, and let $J(\Phi)$ be its Choi representation. As is well known, any such map can be written in a Kraus representation of the form $$\Phi(X)=...
4
votes
2answers
639 views

Do the Kraus operators of a CPTP channel need to be orthogonal?

Let $\Phi\in\mathrm T(\mathcal X,\mathcal Y)$ be a CPTP map. Any such channel admits a Kraus decomposition of the form $$\Phi(X)=\sum_a A_a X A_a^\dagger,$$ for a set of operators $A_a\in\mathrm{Lin}(\...
3
votes
1answer
190 views

What exactly is the relation between the Holevo quantity and the mutual information?

On this page, it is stated that the Holevo quantity is an upper bound to the accessible information of a quantum state. In the scenario where Alice encodes classical information into a quantum state ...
6
votes
1answer
442 views

Can the Kraus decomposition always be chosen to be a statistical mixture of unitary evolutions?

If $\mathcal{E}$ is a CPTP map between hermitian operators on two Hilbert spaces, then we can find a set of operators $\{K_j\}_j$ such that $$\mathcal{E}(\rho)=\sum_j K_j\rho K_j^\dagger $$ in the ...
5
votes
1answer
114 views

What is the unitary operator realizing a given CPTP operator

Complete Positive Trace Preserving Map (CPTP) operator is the most general operation that can be performed on a quantum system. This post mentioned that a CPTP operator is nothing but a unitary ...
2
votes
1answer
177 views

Are CPTP operators and unitary operators the same thing?

I am reading some quantum papers (In particular, this one page 34) . One of the theorem statement reads, "For every CPTP operator M, we have that .... " I ...
7
votes
1answer
148 views

Derive phase damping quantum operation

I am reading about the phase damping quantum operation on page 384 of Nielsen & Chuang's Quantum Computation and Quantum Information (10th Anniversary Edition). Nielsen & Chuang derived the ...
2
votes
2answers
124 views

Find the Kraus operators of the amplitude damping channel, partial tracing after evolution through a beamsplitter

To find operation elements for the Amplitude Damping channel, Nielsen and Chuang (in Section 8.3.5 of my copy) use the action of a beamsplitter on an initial state $ \alpha |0\rangle + \beta |1\rangle$...
5
votes
2answers
310 views

Find the quantum operation corresponding to a given unitary evolution and projective measurement

I'm trying to (understand and) solve this problem from Nielsen and Chuang's Quantum Computation and Quantum Information. I know the definition of Operation Elements: $\sum_{k} E_k \rho E_k^†$ with $...
8
votes
1answer
591 views

Does the Choi-Jamiolkowski isomorphism really establish a connection between kinematics and dynamics?

I understand the mathematical construction of the Choi-Jamiolkowski isomorphism aka channel-state duality. It all makes sense formally, yet I still struggle to grasp its physical (or quantum-...
7
votes
2answers
161 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^\...
12
votes
1answer
1k views

Twirling Quantum Channels: Pauli and Clifford Twirling

I am currently working through some papers related with approximations of more general quantum channels such as amplitude and phase damping channels to Pauli channels. The reason to do so is so that ...
4
votes
1answer
71 views

Structural Physical Approximation of Partial Transpose

To make the partial transpose a complete positive and therefore physical map, one has to mix it with enough of the maximally mixed state to offset the negative eigenvalues. The most negative ...
2
votes
2answers
172 views

Does the dilation in Naimark's theorem produce a state?

A POVM, as defined for example in (Peres and Wooters 1991), is defined by a set of positive operators $\mu(a)$ satisfying $\sum_a \mu(a)=\mathbb 1$. We do not require the $\mu(a)$ to be projectors, ...
3
votes
1answer
67 views

How does a map being "only" positive reflect on its Choi representation?

We know that a map $\Phi\in\mathrm T(\mathcal X,\mathcal Y)$ being completely positive is equivalent to its Choi representation being positive: $J(\Phi)\in\operatorname{Pos}(\mathcal Y\otimes\mathcal ...
3
votes
1answer
183 views

Direct derivation of the Kraus representation from the natural representation, using SVD

$\newcommand{\Y}{\mathcal{Y}}\newcommand{\X}{\mathcal{X}}\newcommand{\rmL}{\mathrm{L}}$As explained for example in Watrous' book (chapter 2, p. 79), given an arbitrary linear map $\Phi\in\rmL(\rmL( \X)...
4
votes
1answer
298 views

How are witness operators physically implemented?

Let's take an example of an entanglement witness of the form $W = | \phi \rangle \langle \phi | ^{T_2}$ where $ | \phi \rangle $ is some pure entangled state. If I wanted to test some state $\rho$, I ...
3
votes
1answer
87 views

State of a system after the second qubit of a Bell state sent through a bit flip error channel

The second qubit of a two-qubit system in the Bell state $$|\beta_{01}\rangle= \frac{1}{\sqrt{2}}(|01\rangle+|10\rangle)$$ is sent through an error channel which introduces a bit flip error with ...
4
votes
1answer
153 views

Degradable channels and their quantum capacity

Note: I'm reposting this question as it was deleted by the original author, so that we do not lose out on the existing answer there, by Prof. Watrous. Further answers are obviously welcome. I have ...
4
votes
1answer
115 views

Prove that quantum channels cannot increase the Holevo information of an ensemble

I need to prove the fact that a quantum channel (a superoperator) cannot increase the Holevo information of an ensemble $\epsilon = \{\rho_x, p_x\}$. Mathematically expressed I need to prove $$\begin{...
3
votes
1answer
77 views

Counting channel uses of the lossy bosonic channel or definition of channel uses

The PLOB-bound ("Fundamental Limits of Repeaterless Quantum Communications") gives an asymptotic upper bound on the secret-key rate per used lossy bosonic channel. However, I'm not sure how to count ...
2
votes
1answer
56 views

What is the relevance of preservation of trace in completely postive trace preserving (CPTP) maps?

Why is the trace preserving part necessary? Is it not enough if it can take all matrices to matrices of trace 1?
4
votes
0answers
99 views

Implementing a depolarizing channel for 2 qubits on IBM Q

I am trying to use IBM Q to perform the following depolarizing channel on a state of 2 qubits $\rho=|\psi \rangle \langle \psi |$: $$\rho \to (1-\lambda)\rho + \frac{\lambda}{4}I$$ This is within ...
7
votes
2answers
232 views

How should we interpret these quantum logic gates as physical observables?

In quantum mechanics each operator corresponds to some physical observable, but say we have the operators $X,Y,Z,H, \operatorname{CNOT}$. I understand how these gates act on qubits, but what do they ...
6
votes
1answer
2k views

What's the difference between Kraus operators and measurement operators?

It is said in a lecture note[1] by John Preskill that, Equivalently, we may imagine measuring system $B$ in the basis $\{|a\rangle\}$, but failing to record the measurement outcome, so we are ...
5
votes
1answer
301 views

What is an example of a measurement that is LOCC but not separable?

Could you give me an example of a measurement which is separable but not LOCC (Local Operations Classical Communication)? Given an ensable of states $\rho^{N}$, a separable measurement on it is a POVM ...