Questions tagged [quantum-operation]

In quantum mechanics, a quantum operation is a mathematical formalism used to describe a broad class of transformations that a quantum mechanical system can undergo. The quantum operation formalism describes not only unitary time evolution or symmetry transformations of isolated systems, but also the effects of measurement and transient interactions with an environment. If appropriate, also use the [quantum-channel] tag. (Wikipedia)

5
votes
0answers
67 views

Calculating power of a quantum computer — RSA

As discussed in this question, the expected security of 1024-bit RSA is 80-bits: NIST SP 800-57 §5.6.1 p.62–64 specifies a correspondence between RSA modulus size $n$ and expected security strength ...
2
votes
0answers
60 views

Kronecker notation of an operator

Suppose I have the state $|A\rangle=|x\rangle^l\otimes |y\rangle^l \otimes |z\rangle^l \otimes |0\rangle_x^l\otimes |0\rangle_y^l\otimes |0\rangle_z^l$. I perform the transformation between the $|x\...
4
votes
1answer
50 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 ...
1
vote
1answer
42 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, ...
2
votes
0answers
28 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 ...
2
votes
1answer
42 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
252 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 ...
2
votes
1answer
36 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?
3
votes
0answers
28 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 ...
6
votes
2answers
94 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 ...
2
votes
1answer
80 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 ...
0
votes
1answer
44 views

Identifying a matrix with the fundamental quantum logic gates [closed]

I have the following matrix \begin{bmatrix} 1 & 0 & 0 & 0\\ 0 & \frac{1}{\sqrt{2}} & \frac{-i}{\sqrt{2}} & ...
4
votes
1answer
112 views

Classical vs. quantum channel capacities

The classical channel capacity ($C_{ea}$) and the quantum channel capacity ($Q$) as defined here (eqs. 1 and 2) are given by \begin{equation} C_{ea} = \text{sup}_{\rho} \Big[S(\rho) + S(\Phi_t \rho) -...
4
votes
1answer
159 views

What is Stinespring Dilation?

I've consulted Nielsen and Chuang to understand the Stinespring Dilation, but wasn't able to find anything useful. How does this operation relate to partial trace, Kraus operators, and purification?
3
votes
1answer
142 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 ...
2
votes
1answer
238 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} ...
4
votes
2answers
115 views

POVM three-qubit circuit for symmetric quantum states

I have been reading this paper but don't yet understand how to implement a circuit to determine in which state the qubit is not for a cyclic POVM. More specifically, I want to implement a cyclic POVM ...
2
votes
1answer
68 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$. ...
4
votes
1answer
59 views

Partial Transpose and Positive Operators

Question: For 2x2 and 2x3 systems, is the partial transpose the only positive but not completely positive operation that is possible? Why this came up: The criteria for detecting if a state $\rho$ is ...
3
votes
0answers
46 views

What do you specify when you physically apply a unitary?

In the Environment and Quantum Operations in Nielsen and Chuang, section 8.2.2, they say that when you apply a unitary on a state, you expect the output as the just the state transformed by the ...
1
vote
1answer
309 views

Depolarizing channel operator sum representation

In Nielsen and Chuang, 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 matrix with ...
5
votes
1answer
50 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$-...
2
votes
0answers
139 views

Dephasing channels

I'm taking a quantum information course and one of my exercises says to find $p,p'$, for which there is a channel $\tilde\Lambda(\Lambda(\rho))=\Lambda'(\rho)$, where $\Lambda$ and $\Lambda'$ are ...
3
votes
0answers
45 views

Isometric Extension of an Erasure Channel

Show that an isometric extension of the erasure channel is $$U^N_{A\to BE} =\sqrt{1−\epsilon}\left(|0\rangle_B \langle 0|_A +|1\rangle_B \langle 1|_A \right)\otimes|e\rangle_E+ \sqrt{\epsilon}|e\...
3
votes
1answer
96 views

Confusion on the definition of the phase-damping channel

I am reading about the phase damping channel, and I have seen that some of the different references talking about such channel give different definitions of the Kraus operators that define the action ...
3
votes
0answers
66 views

Quantum channel Holevo information additivity: proof approach

I have an interesting idea for a proof approach that someone might find useful. Here it is. Suppose we are given a quantum qubit channel $N$ (for example the amplitude damping channel) whose Holevo ...
2
votes
0answers
59 views

Three sender quantum simultaneous decoder conjecture

Recently I have started to read about network quantum information theory, where network problems are studied under the classical-quantum channel. For example, capacities of the cq-MAC, cq-broadcast or ...
5
votes
1answer
376 views

Kraus operator of dephasing channel

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 ...
6
votes
1answer
133 views

How are Rigetti and IBM QX device parameters related to Kraus operators?

Rigetti reports the following parameters: (https://www.rigetti.com/qpu) T1, T2* times 1-qubit gate fidelity (F1q) 2-qubit gate fidelity (F2q) and, read-out fidelity (Fro) IBM QX reports the ...
6
votes
1answer
199 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^*\\ ...
4
votes
2answers
111 views

Image of a sum of positive operators contains the images of each individual operator?

In the proof of Proposition 2.52 of John Watrous' QI book, there is the statement that $\text{im}(\eta(a))\subset\text{im}(\rho)$, where $\rho=\sum_{i=1}^{N}\eta(i)$ is a sum of positive operators and ...
6
votes
1answer
309 views

Advances in Quantum Channel Capacity

I have been reading about the Quantum Channel Capacity and it seems to be an open problem to find such capacity in general. Quantum capacity is the highest rate at which quantum information can be ...
3
votes
1answer
181 views

Tensor product properties used to obtain Kraus operator decomposition of a channel

I work on a Quantum Information Science II: Quantum states, noise and error correction MOOC by Prof. Aram Harrow, and I do not understand which property of tensor products is used in one of the ...
4
votes
1answer
53 views

How to find the fidelity between two state when one is an operator?

I am going through Nielsen and Chuang and am finding the chapter on error-correction particularly confusing. At the moment I am stuck on exercise 10.12 which states Show that the fidelity between the ...
8
votes
1answer
262 views

Quantum Channel Models

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\...
10
votes
3answers
304 views

Positive maps on pure states?

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 ...
6
votes
2answers
132 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 $$\...
15
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
479 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, ...
22
votes
7answers
1k 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 ...