Skip to main content

Questions tagged [quantum-operation]

For questions about quantum channels or more generally quantum maps and the related formalism. For questions about unitary operations, please use quantum-gate instead.

Filter by
Sorted by
Tagged with
1 vote
1 answer
126 views

What does the inequality $\sum_k A_k^* A_k \leq I$ represent in Kraus' theorem?

Nielsen and Chuang's statement of Kraus' Theorem includes the inequality $$ \sum_k A_k^* A_k \leq I.$$ What does this inequality represent? What quantities are being compared by this symbol?
5 votes
1 answer
70 views

What are examples of channels whose Holevo capacity can be computed explicitly?

Given a channel $\Phi:\operatorname{Lin}(\mathbb{C}^n)\to\operatorname{Lin}(\mathbb{C}^m)$, we define its Holevo capacity as $$\chi(\Phi) = \sup_\eta \chi(\Phi(\eta)),$$ with the sup taken with ...
7 votes
1 answer
643 views

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

In Quantum Computation and Quantum Information by Nielsen and Chuang, Section 8.2.3, $\mathcal{E}=\sum_{k}E_k\rho E_k^{\dagger}$ gives the operator-sum representation. In general, it requires $\sum_k ...
2 votes
0 answers
84 views

Finding solutions to commutation relation

In a Hilbert space of dimension $d$, a positive definite operator $A>0$ is given. I would be interested in the set of operators $B>0$ such that there exists some $C>0$ that satisfies: $$i[A,B]...
3 votes
0 answers
47 views

Reset channels for two-qubit space

In the paper "Unbiased Simulation of Near-Clifford Quantum Circuits" by Ryan S. Bennink et al. (arXiv) the authors define a Pauli reset ("Pauli measurements followed by Clifford ...
3 votes
1 answer
454 views

How does the CPTP constraint reflect on the matrix representation of a qubit channel in the Pauli basis?

Let us write the possible states of a qubit in the Bloch representation as $$\newcommand{\bs}[1]{{\boldsymbol{#1}}}\rho_{\bs r}\equiv \frac{I+\bs r\cdot\bs \sigma}{2},$$ where $\bs\sigma=(\sigma_1,\...
1 vote
0 answers
112 views

Improving the Bound on $\|\Phi^k[\mathbf{I}_d] - \Phi^{k+1}[\mathbf{I}_d]\|$ for a CP Map

I am analyzing a completely positive (CP) linear map $\Phi : \mathbb{R}^{d \times d} \to \mathbb{R}^{d \times d}$ with the following properties: $\Phi[\mathbf{I}_d] \preccurlyeq \mathbf{I}_d$, All ...
23 votes
6 answers
2k views

Counterexamples in quantum information theory

As was already asked about in this phys.SE question many years ago—which, sadly, got closed and never received an answer—is there a collection of counterexamples in quantum information theory, "...
4 votes
1 answer
186 views

Given a POVM, what's the channel that optimally preserves coherence in the post-measurement outcomes?

It is well-known that a POVM $\boldsymbol\mu\equiv (\mu_a)_{a\in\Sigma}$ describes outcome probabilities, but not post-measurement outcomes, which in many scenarios exist and are of interest. To ...
14 votes
3 answers
5k views

What is the "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?
1 vote
1 answer
33 views

How to obtain $U$, representing the action of the amplitude dampening channel?

How to obtain $U$ for the amplitude dampening channel? The behaviour of the amplitude damping channel on the system can be represented by $U$, a unitary matrix which has the following effect: $U|00\...
4 votes
3 answers
422 views

Why do we need/have the operator sum representation (Kraus representation)?

I am reading through Nielsen & Chuang, and I am on the section about operator sum representation. They performed this derivation. \begin{align} \mathcal{E}(\rho) &= \sum_k \langle e_k | U \...
0 votes
0 answers
57 views

Quantum process tomography of a non-CPTP map

Let's say I have a theoretical/ computational process that inverts the outputs of a quantum channel and returns noise-free input density matrices. I perform quantum process tomography on my process ...
8 votes
2 answers
293 views

What is the definition of physical gate error rate?

The fidelity of two quantum states $\rho$ and $\sigma$ is a well-defined (up to discussions about a square): $$ F(\rho, \sigma) = \left(\text{Tr} \sqrt{ \sqrt{\rho} \sigma \sqrt{\rho}}\right)^2. $$ ...
4 votes
1 answer
113 views

Infidelity as distance measure

Let $\mathcal{X} \in {\rm CP}(\mathcal{H}, \mathcal{K})$ and unital (compositive positive and unital maps). Let $\mathcal{Y} \in {\rm CPT}(\mathcal{H}, \mathcal{K})$(complete positive and trace ...
3 votes
1 answer
100 views

Fidelity bound under composed channels?

Suppose $\mathcal{E}_1, \mathcal{E}_2$ are CPTP maps. Is the following bound true? $$F(\mathcal{E}_1 \circ \mathcal{E}_2 (\rho), \rho) \stackrel{?}{\geq} F(\mathcal{E}_1(\rho), \rho) + F(\mathcal{E}_2(...
5 votes
3 answers
366 views

Why is the operation in Nielsen and Chuang's Section 8.5 not a quantum operation?

In Section 8.5 of the 10th anniversary edition, Nielsen and Chuang discuss the limitations of the quantum operations framework. They give an example of a qubit prepared in an unknown state $\rho$, ...
3 votes
1 answer
53 views

How to switch between the definitions of Choi as $(\mathcal{N}_A \otimes id_B)(\phi^+_{AB})$ and $(id_A \otimes \mathcal{N}_B)(\phi^+_{AB})$?

For the channel $\mathcal{N}$ the Choi state can be either defined as $(\mathcal{N}_A \otimes id_B)(\phi^+_{AB})$ or $(id_A \otimes \mathcal{N}_B)(\phi^+_{AB}) $, where $\phi^+_{AB}$ is the maximally ...
6 votes
2 answers
198 views

Why do completely positive maps satisfy ${\rm Tr}[\Psi(\rho)_++\Psi(-\rho)_+]\leq{\rm Tr}[\Psi(\rho_+)]+{\rm Tr}[\Psi((-\rho)_+)]$?

I am studying a paper of M. Plenio, "Logarithmic Negativity: A Full Entanglement Monotone That is not Convex", PRL 2005 [arXiv:quant-ph/0505071]. In the paper, I do not fully understand the ...
2 votes
1 answer
64 views

Basic questions about google superconducting qubit system model

In this paper about Google superconducting qubit system, I want to understand the origin of equation (1), and the origin of the $\nu/2 Z$ term in equation (2). Regarding the first point, I want to ...
3 votes
1 answer
101 views

Finding a density matrix for a distribution of pure states

Let $\theta$ be a Gaussian variable with mean 0 and variance 1. Then for $t>0$, the variable $\theta \sqrt{t}$ is also Gaussian with mean $0$ and variance $t$. Let $|\psi_0\rangle$ be an arbitrary ...
1 vote
1 answer
64 views

Prove a linear map $\mathcal{N}$ is completely positive if its Choi operator is positive semi-definite

I'm doing exercise 4.4.1 in Quantum information theory by Wilde. The exercise asks to prove that a linear map $\mathcal{N}_{A\to B}$ is completely positive if its Choi operator is a positive semi-...
2 votes
1 answer
49 views

What would a master equation describe for a Hamiltonian $H=\alpha 1 + \beta \sigma_x$?

Consider the following master equation: $$ \partial_{t} \rho = -i [H, \rho ] + \gamma (\sigma_{-} \rho \sigma_{+} - \frac{1}{2} \sigma_{+} \sigma_{-} \rho - \frac{1}{2} \rho \sigma_{+} \...
2 votes
0 answers
51 views

Bloch representation of a quantum channel acting on a 2-qubit density-matrix

A previous answer nicely show the relationship between the Pauli transfer matrix (PTM) and the Bloch representation of a quantum channel that acts on single-qubit density matrix. In short, given a ...
2 votes
1 answer
78 views

When performing a projective measurement on a subsystem X entangled with another system Y, can the evolution of Y be unitary?

I am interested in the evolution of a subsystem Y entangled with another subsystem X. X and Y are initially in a pure product state. They undergo some global joint evolution E (not necessarily unitary)...
6 votes
0 answers
430 views

Verification of local unitary equivalence between two pure states

This might be a non-trivial and hard problem. I've been thinking about this for days but couldn't find a good answer, so I hope any of you could give me a good answer/intuition for me to move forward. ...
2 votes
1 answer
146 views

Invalid coefficients in Quantum Process Tomography of the Hadamard gate

I am trying to perform QPT for the Hadamard operation as outlined in this document. The basis they use is $$ \{ \rho_{j} \} = \{|0\rangle \langle 0|, |1\rangle \langle 1|, |+\rangle \langle +|, |+i\...
1 vote
1 answer
152 views

Mathematical properties used to derive Kraus operators

In this answer, it was very well explained why Kraus operators are not numbers as it might seem when reading Nielsen and Chuang for the first time. I have a minor, purely technical and probably simple ...
2 votes
2 answers
361 views

In exercise 8.23 of Nielsen and Chuang why is the quantum operation no longer trace-preserving?

My question is about this exercise from Nielsen & Chuang: For context, $\mathcal{E}_{AD}$ is the quantum operation for amplitude damping on a single physical qubit, with operation elements given ...
2 votes
1 answer
387 views

How can the depolarizing channel, defined as $\mathcal E(\rho) = (1-p)\rho + p\frac{I}{2}$, be a linear quantum operation? [duplicate]

In Quantum Computing: From Linear Algebra to Physical Realizations it states that A quantum operation maps a density matrix to another density matrix linearly But let $\rho\in M_2$ be a density ...
1 vote
1 answer
185 views

What is the operator-sum representation of the two-qubit depolarizing channel?

I want to get the operator-sum representation of the two-qubit depolarizing channel $$ \mathcal{E}(\rho) = (1-\lambda)\rho + \frac{\lambda I}{4}$$ Using $\frac{I}{2} = \frac{\rho +X\rho X +Y\rho Y +Z\...
6 votes
5 answers
135 views

Evolution of a state vector: Why is the action of $N$ equivalent to the action of $UNU^{†}$?

There is another question asked on this on stack exchange but I did not find any answers there that fully answered the question. In Gottesman's paper "The Heisenberg Representation of Quantum ...
10 votes
2 answers
1k views

What is the difference between quantum gates and quantum channels?

I'm not sure if this is a dumb question, since they seem to be very basic building blocks of quantum information theory; however, I can't seem to wrap my head around the difference between the two. As ...
1 vote
1 answer
248 views

Can this minus operation be implemented via a quantum channel?

For an any given $\rho_1$ and $\rho_2=1-\rho_1$, the initial density matrix $\varrho_0$ is $\varrho_0=$Diag$[\rho_1,\rho_2,0]$. (Assume $\rho_1>\rho_2$, or swap them) Can we extract $\rho_2/2$ from ...
3 votes
2 answers
1k views

What is the most general way to describe post-measurement states?

Background Generally speaking, the description of post-measurement states associated with a POVM seems to always pass through, in some form or another, the formalism of Kraus operators. For example: ...
2 votes
4 answers
541 views

Why are entanglement breaking channels, defined as $\Phi(\rho)=\sum_a \operatorname{Tr}(\mu(a)\rho)\sigma_a$, entanglement breaking?

Define an entanglement breaking channel $\Phi$ as a channel (CPTP map) of the form $$\Phi(\rho) = \sum_a \operatorname{Tr}(\mu(a)\rho) \sigma_a\tag A$$ for some POVM $\{\mu(a)\}_a$ and states $\...
1 vote
3 answers
147 views

Do POVM and generalized measurements really describe all possible measurements we can do on a quantum system (open dynamics)?

My understanding in the motivation of POVMs and generalized measurements is that they allow to describe more general measurements than projective ones, if we don't describe the environment around the ...
0 votes
0 answers
48 views

What are "Nice" characterizations of every $n$-qubit CPTP

I would like to know if there is a "nice" way to parametrize the set of $n$-qubit CPTP map? I guess I could parametrize it by using the channel state duality (to every CPTP I can attribute a ...
2 votes
1 answer
71 views

Heisenberg picture for a quantum measurement where the outcome is recorded

I asked a related question here. From the answer by Mateus, we see that one cannot describe a quantum measurement (where the measurement outcome is recorded) as a quantum map. That is because the ...
2 votes
1 answer
77 views

time evolution of Hamiltonian to generate the Bell pair

Consider two different Hamiltonians: $$H_1(t) = ZZ + \alpha(t)X_1 + \beta(t)X_2\quad\text{ and }H_2(t) = XX + \alpha(t)Z_1 + \beta(t)Z_2\,,$$ where $\alpha(t)$ and $\beta(t)$ are time-dependent ...
-1 votes
2 answers
116 views

Trouble understanding operator sum representation [duplicate]

I am having lot of trouble trying to understand the operator sum representation in Nielsen and Chuang: I get the very first equation in above but how does that translate to 2 and how does the 3rd ...
1 vote
1 answer
60 views

Tests for unitarity of a quantum channel that don't require the Choi state

I am aware that the rank of the Choi state is a test for whether or not a channel is unitary. Are there any other equivalent tests that we can do to test if a channel is unitary without involving a ...
2 votes
2 answers
44 views

In the Choi of the state preparation map, what is the maximally entangled state with the trivial space $\mathbb{C}$?

I am following Section 4.6.1 of Mark Wilde's book. The preparation map goes from a trivial input Hilbert space $\mathbb{C}$ to some output Hilbert space $\mathcal{H}_A$. Let it prepare the state $\...
2 votes
1 answer
59 views

Is the extension of a pure operation also a pure operation?

Given some quantum channel—or, more generally, some positive linear map—$\Phi:\mathbb C^{n\times n}\to\mathbb C^{n\times n}$ one usually calls $\Phi$ a pure operation if for all $\rho\geq 0$ pure (...
2 votes
2 answers
183 views

What are use cases for learning about unknown quantum states and processes?

I've seen numerous research papers about learning unknown quantum states or unitary operations from multiple copies of them. This includes fields such as quantum machine learning and tomography. I’m ...
2 votes
1 answer
114 views

Can a quantum operation inflate the Bloch sphere?

The depolarizing noise channel uniformly deflates the Bloch sphere to a single point, which is $\mathbf{n}= (0,0,0)$ or in terms of quantum qubit states, we get a maximally mixed state $\rho = \frac{1}...
0 votes
1 answer
103 views

Could this map be a quantum channel?

A quantum channel is defined as a completely positive, trace-preserving (CPTP) linear map between spaces of operators. Suppose we have the following operation $$\mathcal{E}(\rho) = \sum_{j=1}^n K_j \...
22 votes
1 answer
7k 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 ...
2 votes
1 answer
212 views

Affine transformation of the Bloch sphere to Kraus representation of qubit channels

It is known that qubit channels can be written in the form: $$ \begin{align} \Phi(\rho) = \frac{1}{2}\left(I+(T\vec{r}+\vec{t})\cdot\sigma\right)\ \end{align} $$ where $\vec{r}$ is the Bloch vector ...
2 votes
2 answers
1k views

Find the Kraus operators of a combined amplitude and phase damping channel

I am going through the paper Surface code with decoherence: An analysis of three superconducting architectures and I have a doubt about how the authors get what they refer to as the combined channel ...

1
2 3 4 5
11