Editing Probabilistic Cloning

This protocol achieves the functionality of [[Quantum Cloning]]. The term Probabilistic Machine identifies that the output copies are exactly identical to the original state but the protocol is not successful in all of the rounds. The probabilistic cloner is not a [[Quantum Cloning|universal quantum cloning machine]] and it is limited to a special class of input states. The laws of quantum mechanics allow a probabilistic cloner to make copies from a set of linearly-independent quantum states.</br></br>
'''Tags:''' [[Quantum Cloning#Protocols|Non-Universal Cloning]], [[Phase Variant Cloning]], [[State Dependent N-M Cloning]] [[Category: Building Blocks]] [[:Category: Building Blocks|Building Blocks]], [[Quantum Cloning]], [[Quantum Cloning|Non-Universal Cloning]], copying quantum states, [[:Category: Quantum Functionality|Quantum Functionality]][[Category: Quantum Functionality]], [[:Category:Specific Task|Specific Task]][[Category:Specific Task]], [[Optimal Universal N-M Cloning|Optimal or Symmetric Cloning]]
==Assumptions==
* We assume that the protocol succeeds with a certain probability and we are able to get the exact copies of the input states.
* The probabilistic quantum cloning machine can only produce exact copies with a positive success probability from a set of quantum input states which are linearly independent.
==Outline==
The probabilistic cloning machine is a quantum cloner which is only able to produce copies of a limited set of linearly-dependent states with a probability of success. Despite deterministic protocols which usually consist of performing a unitary transformation, probabilistic cloning protocols are continued by a measurement. Two cases for probabilistic cloning are discussed below, general case and special case of two qubits. The two-qubit case means that our probabilistic machine is able to copy two non-orthogonal qubits efficiently. A probabilistic cloning protocol has three stages: blank or ancillary state preparation, unitary evolution and, measurement. The protocol can be described as follows
[[File:Probabilisticcloner.jpg|right|thumb|1000px| Probabilistic cloner circuit for a single-qubit state (from set of two nonorthogonal but linearly independent state): Qubits <math>x</math>, <math>y</math> and <math>z</math> are the original qubit, blank qubit, and assistant qubit, respectively.<math>\circ</math> and <math>\bullet</math> respectively mean that the control states are <math>|0\rangle</math> and <math>|1\rangle</math>. <math>\otimes</math> indicates the operational qubit of the CNOT gate. <math>U_1</math> and <math>U_2</math> denote the unitary operations controlled by qubit x (explained in details in the Pseudo-code section). <math>H</math> is the Hadamard gate. <math>PM</math> represents the measurement.]]
*'''General case:''' First, an orthonormal set of states should be prepared. These states will be used as ancillary states for the protocol. Then a unitary transformation will take the input states to a [[superposition]](linear combination of quantum states) of a successful two identically copied states and unsuccessful two-qubit states along with probes states to be measured later. The last stage is the measurement. The output is measured in the basis of the ancillary orthonormal states. With some probability of success, the result of the measurement is the desired outcome and the final state collapses to the two identical desired copies. Otherwise, the protocol is aborted. 
*'''Two qubit case:''' This special case is a more practical and clear example of the above general probabilistic cloner. One is only interested in two non-orthogonal qubits to be effectively copied by the probabilistic cloning machine. Here, the orthonormal bases are <math>|0\rangle</math> and <math>|1\rangle</math>. At the first stage of the protocol, only two blank states (<math>|0\rangle|0\rangle</math>) are needed. At the second stage, the unitary transformation takes the states to a superposition of two identical states along with the state <math>|0\rangle</math> and a two-qubit state (wrong state) along with the qubit <math>|1\rangle</math>. At the final stage, the third qubit is be measured in basis <math>\{|0\rangle,|1\rangle\}</math>. If the result of the measurement is <math>|0\rangle</math> the protocol is successful. Otherwise, the round is discarded. This construction can be shown more clearly in the quantum circuit below.

==Notation==
* <math>S = {|\psi_1\rangle, |\psi_2\rangle, ...}:</math> Set of linearly independent states which can be copied by the probabilistic cloning machine
* <math>|\psi\rangle:</math> Input state of the probabilistic cloner
* <math>\{|A_k\rangle\}:</math> Set of orthonormal states used as ancillary states for the general probabilistic cloning machine
* <math>U:</math> The unitary evolution of the quantum cloning machine
* <math>p_i:</math> The success probability of the desired copies
* <math>c_{ij}:</math> Coefficients of the final state of the output qubits when the protocol fails
* <math>\Phi^{j}_{AB}:</math> The state of the output qubits when the protocol fails
* <math>|\psi_+\rangle, |\psi_-\rangle:</math> The states of the two possible non-orthogonal input qubits which the probabilistic cloner can produce copies of them (two-qubit case)
* <math>p:</math> The success probability for the two-qubit case
* <math>U_1,U_2:</math> Unitary gates used in the quantum circuit of the two-qubit probabilistic cloner 
* <math>H:</math> [[Hadamard gate]]

==Properties==
'''Success Probability Claims'''</br>
*'''General case:''' The success probability for cloning the elements of the input set of linearly independent states satisfies the following matrix relation:</br>
<math>X^{(1)} = \sqrt{P}X^{(2)}\sqrt{P^{\dagger}} + CC^{\dagger}</math></br></br>
where <math>\sqrt{P} = \sqrt{P^{\dagger}} = diag(\sqrt{p_1}, .... \sqrt{p_n})</math>,</br>
<math>X^{(k)} = \langle\psi_i|\psi_j\rangle^k</math>, </br>
and <math>C = [c_{ij}]</math>
*'''Two qubits case:''' The optimal success probability for the probabilistic machine which is able to clone two non-orthogonal qubits is:</br>
<math>p = \frac{1}{1 + cos2\eta}</math>

==Protocol Description==
The probabilistic cloning machine can only perform effectively for a special set of input states. It was shown that states chosen from a set <math>S = \{|\psi_1\rangle, |\psi_2\rangle, ..., |\psi_n\rangle,\}</math> can be probabilistic-ally cloned if and only if the <math>|\psi_i\rangle</math> are linearly independent. This protocol in general consists of three stages as follows:
===General case===
'''<u>Stage 1</u>''' Ancilla preparation
# Prepare an orthonormal set of states such as <math>\{|A_k\rangle\}</math> where <math>\langle A_k|A_l\rangle = \delta_{kl}</math> for <math>k,l= 0,1,...,n</math>. These states act as ancillary states of the protocol. </br></br>
'''<u>Stage 2</u>''' Unitary Evolution</br></br>
'''Input:''' <math>|\psi_i\rangle</math>, <math>|0\rangle</math>, <math>|A\rangle</math></br>
'''Output:''' <math>U|\psi_i\rangle|0\rangle|A\rangle</math>
# Perform the unitary transformation of the following form:</br>
<math>U|\psi_i\rangle|0\rangle|A\rangle = \sqrt{p_i}|\psi_i\rangle|\psi_i\rangle|A_0\rangle + \sum_{j=1}^{n} c_{ij}|\Phi^{j}_{AB}\rangle|A_j\rangle</math></br></br>
'''<u>Stage 3</u>''' Measurements </br>
'''Input:''' <math>\sqrt{p_i}|\psi_i\rangle|\psi_i\rangle|A_0\rangle + \sum_{j=1}^{n} c_{ij}|\Phi^{j}_{AB}\rangle|A_j\rangle</math></br>
'''Output:''' <math>|\psi_i\rangle|\psi_i\rangle</math> with probability <math>p_i</math>
#  Measure the ancilla states on the basis <math>{|A_k\rangle}</math>.
##'''If''' The output of the measurement is the state <math>|A_0\rangle</math>
##'''Then''' the protocol is successful and the output is the desired clones.
##'''Else''' Abort

===Two qubit case===
'''General Informaton:''' The special case of the above probabilistic cloning machine is the following protocol for two nonorthogonal qubit states. The input states for this machine are presented in the following form:</br>
<math>|\psi_{\pm}\rangle = cos\eta|0\rangle \pm sin\eta|1\rangle, \quad \eta \in [0,\pi/4]</math></br>
where <math>|0\rangle</math> and <math>|1\rangle</math> are two orthogonal bases of a single qubit.</br></br>
'''<u>Stage 1</u>''' Ancilla preparation</br>
# Prepare two blank states $|0\rangle|0\rangle$. One of these states is the blank state that we will copy on it and the other one is the ancilla. </br></br>
'''<u>Stage 2</u>''' Unitary Evolution</br></br>
'''Input:''' <math>|\psi_{\pm}\rangle</math>, <math>|0\rangle|0\rangle</math></br>
'''Output:''' <math>U|\psi_{\pm}\rangle_x|0\rangle_y|0\rangle_z</math></br>
#  Perform the unitary transformation expressed as:</br>
<math>U|\psi_{\pm}\rangle_x|0\rangle_y|0\rangle_z = \sqrt{p}|\psi_{\pm}\rangle_x|\psi_{\pm}\rangle_y|0\rangle_z + \sqrt{1-p}|\Phi\rangle_{xy}|1\rangle_z</math></br>
here we labelled the three qubits by x, y and z</br></br>
'''<u>Stage 3</u>''' Measurements </br>
'''Input:''' <math>\sqrt{p}|\psi_{\pm}\rangle_x|\psi_{\pm}\rangle_y|0\rangle_z + \sqrt{1-p}|\Phi\rangle_{xy}|1\rangle_z</math></br>
'''Output:''' <math>|\psi_{\pm}\rangle_x|\psi_{\pm}\rangle_y</math> with probabiliy p
# Measure qubit z in the standard basis (<math>|0\rangle</math> and <math>|1\rangle</math> basis).
##'''If''' the output of the measurement is <math>|0\rangle</math>
##'''Then''' the protocol is successful and the final state of the machine are <math>|\psi_{\pm}\rangle_x|\psi_{\pm}\rangle_y</math>
##'''Else''' the protocol failed and the final state of the machine is <math>|\Phi\rangle_{xy}</math>

===The quantum circuit===
Finally, the quantum circuit which illustrates the above stages can be described to consist of following gates and parts which have been also shown in the figure in [[Probabilistic Cloning#Outline|Outline]]
* Reverse Controlled <math>U_1</math> gate: A controlled unitary gates with the <math>x</math> (original) qubit as the control qubit and the <math>z</math> qubit as the operational qubit. The unitary gate <math>U_1</math> acts only if the control qubit is <math>|0\rangle</math>. The unitary <math>U_1</math> is:</br>
<math>U_1 = sin\beta |0\rangle\langle 0| + cos\beta |1\rangle\langle 0| + cos\beta |1\rangle\langle 0| - sin\beta |1\rangle\langle 1|</math></br>
where the <math>\beta = arcsin\Bigg(\sqrt{\frac{1+tan^4\eta}{2}}\Bigg)</math>
* A normal [[CNOT]] gate: The control qubit is <math>y</math> and the operational qubit is <math>x</math> (The flip occurs if the control qubit is <math>|1\rangle</math>)
* Reverse Controlled $U_2$ gate: A controlled unitary gates with the <math>x</math> (original) qubit as the control qubit and the <math>y</math> qubit as the operational qubit. The unitary gate <math>U_2</math> acts only if the control qubit is <math>|0\rangle</math>. The unitary <math>U_2</math> is:</br>
<math>U_2 = sin\delta |0\rangle\langle 0| + cos\delta |1\rangle\langle 0| + cos\delta |1\rangle\langle 0| - sin\delta |1\rangle\langle 1|</math></br>
where the <math>\delta = arcsin[(\sqrt{\frac{2}{1+tan^4\eta}} + \sqrt{\frac{2}{1+tan^{-4}\eta}})/2]</math>
* [[Hadamard gate]]: A Hadamard gate on qubit <math>y</math>
* Measurement part: Measuring qubit <math>z</math> in the standard basis.

==Further Information==
<div style='text-align: right;'>''*contributed by Mina Doosti''</div>