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)

Filter by
Sorted by
Tagged with
2
votes
0answers
56 views

How to compute the capacity of a quantum channel from its Kraus operators?

Is there a working rule to compute the capacity of a quantum channel described by a set of Kraus operators $\{K_i\}$?
2
votes
2answers
82 views

Prove that Depolarizing channel is completely positive

In two dimensions, for a density operator $\rho$ and probability $\lambda$, a depolarizing channel can be written as: $$\mathcal{E}(\rho) = (1-\lambda) \frac{\mathbb{I}}{2} + \lambda\rho$$ In ...
2
votes
1answer
47 views

Creating a W state for $2^k$ qubits

This question is available in Quantum Katas here In Task 2.6 of this notebook, we are required to create the W State for $2^k$ qubits. Input: $𝑁=2^𝑘$ qubits in ...
6
votes
2answers
120 views

What are boost and shift operators and why are they called so?

In some texts I see $X$ and $Z$ Pauli operators as being said as boost and shift operators respectively. But I came across some text that defines its own operators, namely: $$ X \vert j\rangle = \...
2
votes
0answers
41 views

Hadamard Overlap Test

I am trying to understand a test called Hadamard Overlap Test, which consists of a destructive swap test (section IV of swap test and Hong-Ou-Mandel effect are equivalent) right after a Hadamard test. ...
2
votes
0answers
47 views

How to construct a multi-qubit controlled rotation with variable angle?

I'm trying to construct a circuit that performs the quantum transformation : Where $f$ is some function. Is there a way to do it without going through every possible value of $i$ ?
2
votes
2answers
41 views

Basic computer requirements quantum computing locally

I currently have a tablet I don't have a desktop or laptop to access the IBM Quantum Experience. Do I have to upgrade to personal computer or laptop computer in order to be able to use the website or ...
2
votes
3answers
171 views

What does the minus sign in the four bell states represent?

I am in grade 11, so answers as simple as possible. I understand that in quantum teleportation, the bell measurement must be made on the teleportee and the sender, and I understand that yields one of ...
2
votes
2answers
108 views

How to implement the exponential of an outer product?

In exercise 6.7 page 258 in Nielsen and Chuang book, they have a Hamiltonian $H = \left| x \right\rangle \!\!\left\langle x \right| + \left| \psi \right\rangle \!\!\left\langle \psi \right|$ and the ...
4
votes
0answers
34 views

When can a non-completely-positive evolution of a state be physical?

Definitions: a map $\Phi$ is called positive if $\Phi(\rho)$ is positive semidefinite for any positive semidefinite $\rho$, and completely positive (CP) if $\Phi \otimes \mathrm{Id}$ is a positive map ...
1
vote
0answers
46 views

Understanding Quantum Channel and Choi Jamiolkowski Notation

I am given the following $\newcommand{\on}[1]{{\operatorname{#1}}}$ Let $|i\rangle$, $1 \leq i \leq \on{dim}\,\mathcal{H_A}, |s\rangle$, $1 \leq s \leq \on{dim}\,\mathcal{H_B}$ be unitary bases. ...
0
votes
1answer
47 views

Could someone give an example of this pic?

This is a picture from Wiki(https://en.wikipedia.org/wiki/Quantum_logic_gate). Can someone give me a simple example by using two qubits?
3
votes
1answer
186 views

Does Controlled-U gate entangle qubits?

I've read C-NOT gate entangles qubits, but is it only for C-NOT or any arbitrary CU gate (apart from the likes if CI) entangles qubits?
0
votes
1answer
65 views

Finding minimum with Grover

I am a beginner in quantum computing. I have already computed the sat quantum solver with Grover search and then, I would like to compute the "minimum search" of Dür and Hoyer. My question is: Is it ...
2
votes
0answers
21 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 ...
1
vote
1answer
51 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 ...
1
vote
2answers
50 views

Constructing a time evolution operator $e^{it H}$ for $H^2=I$

Consider a Hamiltonian $H = \sigma_x \otimes \sigma_z$ Construct the time evolution operator $U(t) = \mathrm{e}^{-\frac{iHt}{\frac{h}{2\pi}}}$ [Hint:Write down the expansion of $\mathrm{e}^x$ and use ...
4
votes
1answer
61 views

What is the difference between the action of $Z$ and $\exp(-i Z t)$ on a state?

What is the difference between performing $Z$ operation and performing $e^{-i Zt}$ operation on a state, given that $e^{-i Zt}= \mathbb{1} + (-i Zt) + ...$ is not equal to $Z$ for any value of $t$?
1
vote
2answers
154 views

Measuring T1 and T2 constants on IBM Q

We have been asked to measure relaxation and dephasing times T1 and T2 on the IBM Q using the composer only, Qiskit not allowed. I am a bit confused about the way to do so. Can someone explain the ...
3
votes
1answer
154 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 ...
2
votes
1answer
173 views

Quantum Principal Component analysis by Seth Lloyd

I am currently reading the paper quantum principal component analysis from Seth Lloyd's article Quantum Principal Component Analysis There is the following equation stated. I know from the ...
0
votes
2answers
66 views

Which gate combination should I use? [closed]

From my circuits in ibm q the final output is given by only a single qbit Which gives state |ψ⟩ Tell me a combination of gates to do the following If |ψ⟩ = |0⟩ Then output |0⟩ If |ψ⟩=α|0⟩+β|1⟩ ...
3
votes
2answers
54 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’ ...
3
votes
1answer
80 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 ...
4
votes
1answer
58 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
171 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$ - ...
3
votes
1answer
50 views

What's the difference between observing in a given direction and operating in that same direction?

So starting with an up particle: $$ \lvert \uparrow \rangle = \begin{bmatrix} 1 \\ 0 \\ \end{bmatrix} $$ My understanding is that you can measure $\lvert \uparrow \rangle$ in $X$ and have ...
6
votes
3answers
205 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 ...
0
votes
3answers
68 views

How to add scalar to quantum string

I need a way to add scalar values to a quantum string. Say if $| v \rangle = |1 1 0 \rangle + |1 0 1 \rangle$ then $|v \rangle + 5 = |1 0 1 1 \rangle + |1 1 0 0\rangle$ Is there a known method to ...
1
vote
2answers
88 views

Can one operator commute with four other operators?

I want to know whether I can have a operator $A$ which commutes with four other operators $M_1$, $M_2$, $M_3$, and $M_4$ (for instance, drawing the operators $M_j$ from $\{H,I,X,Y\}$). When can we ...
1
vote
1answer
194 views

Find the reduced density matrix for a four-qubit system

I have the state vector $|p\rangle$ made up of 4 qubits. Say system A is made up of the first and second qubits while system B is made up of qubits 3 and 4. I want to find the reduced density matrix ...
1
vote
1answer
54 views

Find the local unitary that takes the bell state to a state phi that has an extractable bell state

I have a state $|p\rangle$ that has an extractable Bell state and I want to write it as a Bell state, $|b\rangle$, with a local unitary acting on one side. Basically I am trying to find a local ...
4
votes
1answer
91 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
170 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
311 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}(\...
4
votes
1answer
271 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 ...
4
votes
1answer
58 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
98 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
110 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 ...
6
votes
0answers
103 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
68 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
56 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
89 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
39 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
100 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
281 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
46 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
65 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
126 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 ...
4
votes
1answer
1k 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 ...