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
30
votes
8answers
4k views

If all quantum gates must be unitary, what about measurement?

All quantum operations must be unitary to allow reversibility, but what about measurement? Measurement can be represented as a matrix, and that matrix is applied to qubits, so that seems equivalent to ...
5
votes
1answer
678 views

How does the vectorization map relate to the Choi and Kraus representations of a channel?

I know that the Choi operator is a useful tool to construct the Kraus representation of a given map, and that the vectorization map plays an important role in such construction. How exactly does the ...
8
votes
1answer
655 views

What is the relationship between Choi and Chi matrix in Qiskit?

I'm struggling with the framework for quantum process tomography on Qiskit. The final step of such a framework is running fit method of ...
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}(\...
6
votes
2answers
270 views

What does it mean to take the Choi-Jamiolkowski of a quantum channel?

The Choi-Jamiolkowski of a channel $\newcommand{\on}[1]{\operatorname{#1}}\Lambda : \on{End}(\mathcal{H_A}) \xrightarrow{} \on{End}(\mathcal{H_B})$ is obtained through an isomorphism of the form: $$ ...
8
votes
2answers
571 views

Is the Kraus representation of a quantum channel equivalent to a unitary evolution in an enlarged space?

I understand that there are two ways to think about 'general quantum operators'. Way 1 We can think of them as trace-preserving completely positive operators. These can be written in the form $$\...
2
votes
1answer
855 views

What is a complementary map?

I have a quantum map described by the following Kraus operators $$A_0 = c_0 \begin{pmatrix} 1 & 0\\ 0 & 1 \end{pmatrix}, \qquad A_1 = c_1 \begin{pmatrix} ...
6
votes
3answers
262 views

What does the adjoint of a channel represent physically?

Given a quantum channel (CPTP map) $\Phi:\mathcal X\to\mathcal Y$, its adjoint is the CPTP map $\Phi^\dagger:\mathcal Y\to\mathcal X$ such that, for all $X\in\mathcal X$ and $Y\in\mathcal Y$, $$\...
5
votes
1answer
1k views

Deduce the Kraus operators of the dephasing channel using the Choi

I'm trying to deduce the Kraus representation of the dephasing channel using the Choi operator (I know the Kraus operators can be guessed in this case, I want to understand the general case). The ...
3
votes
1answer
131 views

What is the standard noise channel that is applied in simulations?

I know there are various quantum noise channels, which include the depolarizing channel, the dephasing channel and the bit-flip channel; We can apply them in simulators easily. However, is there any ...
13
votes
3answers
611 views

Is acting with a positive map on a state not part of a larger system allowed?

In the comments to a question I asked recently, there is a discussion between user1271772 and myself on positive operators. I know that for a positive trace-preserving operator $\Lambda$ (e.g. the ...
8
votes
1answer
530 views

Depolarizing channel implementation on IBM Q

Given a single qubit in the computational basis, $|\psi\rangle =\alpha |0\rangle + \beta|1\rangle$, the density matrix is $\rho=|\psi\rangle\langle\psi|=\begin{pmatrix} \alpha^2 & \alpha \beta^*\\ ...
17
votes
2answers
2k views

Significance of The Church of the Higher Hilbert space

The term "Church of the Higher Hilbert Space" is used in quantum information frequently when analysing quantum channels and quantum states. What does this term mean (or, alternately, what does the ...
4
votes
1answer
1k views

What is the difference between signaling and non-signaling quantum correlations, and what is a signaling channel?

This article talks about correlation and causality in quantum mechanics. In the abstract, under Framework for local quantum mechanics, it says (emphasis mine): The most studied, almost epitomical, ...
4
votes
2answers
2k views

How to find the operator sum representation of the depolarizing channel?

In Nielsen and Chuang (page:379), it is shown that the operator sum representation of a depolarizing channel $\mathcal{E}(\rho) = \frac{pI}{2} + (1-p)\rho$ is easily seen by substituting the identity ...
3
votes
1answer
769 views

The meaning of measurements in different bases

There are other similar questions. But I don't understand the answers. Suppose I express $a|0⟩+b|1⟩$ in the form $\frac{c}{\sqrt2}(|0⟩+|1⟩)+\frac{d}{\sqrt 2}(|0⟩−|1⟩)$ where $a,b,c,d∈\mathbb C$. ...
6
votes
2answers
510 views

How many Kraus operators are required to characterise a channel with different start and end dimensions?

If we have a quantum channel mapping from a $d$-dimensional state to a $d$-dimensional state, it can be described by at most $d^2$ Kraus operators. Suppose our channel maps instead from a $d_1$-...
3
votes
1answer
117 views

How to compute the tensor product of the depolarizing channel with the identity?

Consider two quantum systems A and B, B goes through a depolarizing noise channel, while A is not changed, i.e., they go through the channel $\mathbb{I}_A \otimes \mathcal{E_{\text{depol}}} $. If the ...
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 ...
2
votes
1answer
101 views

Can any channel be written as $\Phi(X)=\operatorname{Tr}_{\mathcal Z}[U(X\otimes \sigma)U^\dagger]$ for any state $\sigma$?

We know that every CPTP map $\Phi:\mathcal X\to\mathcal Y$ can be represented via an isometry $U:\mathcal X\otimes\mathcal Z\to\mathcal Y\otimes\mathcal Z$, as $$\Phi(X) = \operatorname{Tr}_{\mathcal ...
8
votes
1answer
543 views

What quantum channels are considered in quantum communication, and how does this choice affect the construction of error correction codes?

The so-called depolarizing channel is the channel model that is mostly used when constructing quantum error correction codes. The action of such channel over a quantum state $\rho$ is $$\rho\...
4
votes
1answer
94 views

How to use the Kraus operators to represent the total density matrix instead of the reduced one?

In Nielsen's book, the Kraus operator can be attained by trace out the enviroment: $$\operatorname{Tr}_{\rm env}[\hat{U}(|\psi\rangle\otimes|0\rangle)(\langle\psi|\otimes\langle 0|)\hat{U}^\dagger]. $$...
4
votes
1answer
159 views

How to calculate the average fidelity of an amplitude damping channel

An answer to this question shows how to calculate the average fidelity of a depolarizing channel. How would one go about calculating this for an amplitude dampening channel? I tried working out the ...
4
votes
3answers
87 views

Does a quantum channel map the maximally mixed input state into an output state with maximal rank?

Consider a quantum channel $\Phi : M_n \rightarrow M_m$ and let $\frac{\mathbb{I}_n}{n}$ be the maximally mixed input state. For all input states $\rho\in M_n$, is it true that $$\quad \text{rank} \, \...
3
votes
1answer
97 views

What are examples of Kraus operators describing the process of control error?

Noise, such as photon loss or dephasing, is often described with Kraus operators. Are there examples of Kraus operators describing the process of control error?
2
votes
1answer
91 views

What is the most general quantum operation that preserves the marginal?

Suppose I have two states $\rho_{AB}$ and $\sigma_{AB}$ such that the marginals $\rho_A = \sigma_A$. What is the most general operation that could have acted on $\rho$ to output $\sigma$? For example, ...
2
votes
3answers
140 views

What is the Kraus representation of the quantum channel with Choi $\lambda |\phi^+\rangle \langle\phi^+| + (1-\lambda )|\phi^-\rangle \langle\phi^-|$?

This matrix $$c_{\lambda} = \lambda |\phi^+\rangle \langle\phi^+| + (1-\lambda )|\phi^-\rangle \langle\phi^-|$$ is the Choi–Jamiołkowski matrix of a quantum channel for any $\lambda \in [0,1]$. The ...
2
votes
0answers
40 views

What is the best method for estimating average channel fidelity?

This thesis shows an efficient way to estimate average channel fidelity (in chapter 4). However, it is somewhat old (from 2005). Are there any better methods out there? By better I mean: are there ...
2
votes
2answers
144 views

How can I find a quantum channel connecting two arbitrary quantum states?

Given two arbitrary density matrices $\rho, \sigma\in \mathcal{H}$ (they have unit trace and are positive), how do I go about finding a possible quantum channel $\mathcal{E}$ such that $\mathcal{E}(\...
1
vote
1answer
79 views

Prove that different Kraus decompositions are related through a unitary, using the Choi isomorphism

I consider a process $\mathcal{E}$ that is at least CP and hermitian preserving. I know that the Choi matrix then has the form: $$ M = \sum_k |M_k \rangle \rangle \langle \langle M_k | $$ Where $|M_k \...
1
vote
1answer
48 views

Show that $\lambda |\phi^+\rangle \langle\phi^+| + (1-\lambda )|\phi^-\rangle \langle\phi^-|$ is the Choi–Jamiołkowski matrix of a quantum channel

I'm curious how to show how this matrix: $$c = \lambda |\phi^+\rangle \langle\phi^+| + (1-\lambda )|\phi^-\rangle \langle\phi^-|$$ is the Choi–Jamiołkowski matrix of a quantum channel for any $\...
1
vote
1answer
171 views

Simulate a quantum channel with a certain fidelity

I am looking for an easy-to-use framework for simulating a quantum channel that can accept the desired average fidelity of the channel as input. For example, if I want a channel with 98% average ...
0
votes
1answer
70 views

What is the Kraus representation of quantum-to-classical channels?

As discussed in Watrous' book, quantum-to-classical channels are CPTP maps whose output is always fully depolarised. These can always be written as $$\Phi_\mu(X) = \sum_a \langle X,\mu(a)\rangle E_{a,...
0
votes
1answer
417 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 ...