Editing State Dependent N-M Cloning


This [[example protocol]] achieves the functionality of [[Quantum Cloning]]. A state-dependent cloner is a Quantum Cloning Machine (QCM) which is dependent on the input states. The main purpose of a state-dependent cloner is to design a QCM which produces better copies (compared to the universal QCMs) by having some partial information about the input states. We investigate the general $N \rightarrow M$ approximate state-dependent cloner which transforms two set of non-orthogonal states (consisting of N states) to M identical clones with a special constraint on the inner product of the final states. For the special case of $1 \rightarrow 2$ cloner, it is shown that, in general, this machine acts much better than the [[Quantum Cloning#Protocols|universal cloning]] protocol for two special set of states.


'''Tags:''' [[Quantum Cloning#Protocols|Non-Universal Cloning]], State-Dependent Cloning [[Category: Building Blocks]][[:Category: Building Blocks|Building Blocks]], [[Quantum Cloning]], Universal Cloning, asymmetric cloning, copying quantum states, [[:Category: Quantum Functionality|Quantum Functionality]][[Category: Quantum Functionality]], [[:Category:Specific Task|Specific Task]][[Category:Specific Task]],symmetric or [[Optimal Universal N-M Cloning|Optimal or Symmetric Cloning]], [[Probabilistic Cloning]] 
==Assumptions==
* We assume that no ancillary (or extra) states are not needed for this state-dependent protocol.
* We assume that this state-dependent QCM is symmetric.
* We assume that the transformation is a \textbf{unitary} transformation acting on the Hilbert space of $M$ qubits and thus the following relation holds between the inner product of input and output states:\\
<math>\langle\alpha_{NM}|\beta_{NM}\rangle = (\langle a|b \rangle)^N = S^N</math>
* We assume that protocol is optimal on the input states meaning that it will give the maximum possible fidelity value on average for a given set of states.
==Outline==
This state-dependent QCM can only act effectively on two sets of states. These states are non-orthogonal (orthogonal case is trivial). For a state-dependent cloner, the only thing that we need is to perform a transformation which takes N identical input state and <math>M-N</math> blank state, to M copies, in such a way that it gives us the best copies for the given special input states. It is important to note that this transformation is useful when we have a prior information about our input states.
==Notations Used==
*<math>|a\rangle, |b\rangle:</math> Two nonorthogonal input states
*<math>S:</math> The inner (scalar) product of two input states <math>|a\rangle</math> and <math>|b\rangle</math>
*<math>|\alpha_{NM}\rangle, |\beta_{NM}\rangle,</math> Output states produced by the state-dependent QCM acting on input states
*<math>F_g^{opt}(N,M):</math> The global optimal fidelity for <math>N \rightarrow M</math> state-dependent cloning protocol
*<math>F_{sd}(N,M):</math> The fidelity of the subsystem for <math>N \rightarrow M</math> state-dependent cloning protocol

==Properties==
* State-dependent cloning machine only transforms a set of two nonorthogonal input states, parametrized as follows:
<math>|a\rangle = cos\theta |0\rangle + sin\theta |1\rangle,</math></br>
|b\rangle = sin\theta |0\rangle + cos\theta |1\rangle,</math></br>
where <math>\theta \in [0, \pi/4]</math> and their scalar product (or inner product) is specified as <math>S = \langle a|b \rangle = sin 2\theta</math>.
* Unitarity gives the following constraint on the scalar product of the final states:</br>
<math>\langle\alpha_{NM}|\beta_{NM}\rangle = (\langle a|b \rangle)^N = S^N</math>
*Fidelity Claims
** '''Optimal global fidelity:''' The average global fidelity of the machine for both sets of input states in terms of the inner(scalar) product of the two sets will be:</br>
<math>F_g^{opt}(N,M) = \frac{1}{2}(1 + S^{N+M} + \sqrt{1 - S^{2N}} \sqrt{1 - S^{2M}})</math>
** '''Subsystem fidelity:''' The fidelity of the '''density matrix''' of the subsystem with the original state <math>a</math> in terms of the inner product (similar fidelity for the subsystem b):</br>
<math>F_{sd}(N,M) = \langle a|\rho_{\alpha}|a\rangle = A^2(1 + S^2 + 2S^M) + B^2(1 + S^2 - 2S^M) + 2AB(1 - S^2)</math></br>
where the reduced density matrix of the subsystem <math>a</math> (The quantum state of a subsystem in density matrix representation) is described as:</br>
<math>\rho_{\alpha} = (A+B)^2 |a\rangle\langle a| + (A-B)^2 |b\rangle\langle b| + (A^2 - B^2)S^{M-1}(|a\rangle\langle b| + |b\rangle\langle a|)</math></br>
A and B are presented in the [[Protocol]] section.
==Pseudo Code==
'''General Case'''
For more generality, we use the [[density matrix]] representation of the states which includes [[mixed states]] as well as [[pure states]]. For a simple pure state <math>|\psi\rangle</math> the density matrix representation will be <math>\rho_{\psi} = |\psi\rangle\langle\psi|</math>. Let us assume the initial qubit to be in an unknown state <math>\rho_{\psi}</math>. Our task is to clone this qubit universally, i.e. input-state independently, in such a way, that we can control the scaling of the original and the clone at the output. In other words, we look for output which can be represented as below:</br>
<math>\rho_{a}^{out} = s_0 \rho_{\psi} + \frac{1 - s_0}{2} \hat{I}</math></br>
<math>\rho_{b}^{out} = s_1 \rho_{\psi} + \frac{1 - s_1}{2} \hat{I}</math></br>
Here we assume that the original qubit after the cloning is “scaled” by the factor $s_0$, while the copy is scaled by the factor <math>s_1</math>. These two scaling parameters are not independent and they are related by a specific inequality.</br></br>
<u>'''Stage 1'''</u> Cloner State Preparation
# Prepare the original qubit and two additional blank qubits <math>m</math> and <math>n</math> in pure states: <math>|0\rangle_{m_0} \otimes |0\rangle_{n_0} \equiv |00\rangle</math>
#Prepare <math>|\psi\rangle_{m_1,n_1} = c_1|00\rangle + c_2|01\rangle + c_3|10\rangle + c_4|11\rangle</math>, where the complex <math>c_i</math> coefficients will be specified so that the flow of information between the clones will be as desired. </br>At this stage the original qubit is not involved, but this preparation stage will affect the fidelity of the clones at the end of the process. 
#To prepare the <math>|\psi\rangle_{m_1,n_1}</math> state, a Unitary gate must be performed so that: 
<math>U|00\rangle = |\psi\rangle_{m_1,n_1}</math> 
*Use following relations to specify $c_j$ in terms of <math>a</math> and <math>b</math>:</br>
<math>c_1 = \sqrt{\frac{s_0 + s_1}{2}}</math>, <math>c_2 = \sqrt{\frac{1 - s_0}{2}}</math>, <math>c_3 = 0</math>, <math>c_4 = \sqrt{\frac{1 - s_1}{2}}</math></br>
these <math>c_j</math> satisfy the scaling equations and also the normalization condition of the state <math>|\psi\rangle_{m_1,n_1}</math>. They are being used to control the flow of information between the clones</br></br>
<u>'''Stage 2'''</u> Cloning Circuit
*The cloning circuit consists of four CNOT gates acting on original and pre-prepared qubits from stage 2. We call the original qubit <math>|\psi\rangle_{in}</math>, ``first qubit", the first ancillary qubit of $|\psi\rangle_{m_1,n_1}$, ``second qubit" and the second one, ``third qubit". The CNOT gates will act as follows:
#First CNOT acts on first and second qubit while the first qubit is control and the second qubit is the target.
#Second CNOT acts on first and third qubit while the first qubit is control and the third qubit is the target.
# Third CNOT acts on first and second qubit while the second qubit is control and the first qubit is the target.
# Forth CNOT acts on first and third qubit while the third qubit is control and the first qubit is the target.
*Mathematically the cloning part of the protocol can be shown as:</br>
<math>|\psi\rangle_{out} = P_{3,1} P_{2,1} P_{1,3} P_{1,2} |\psi\rangle_{in} |\psi\rangle_{m_1,n_1}</math></br></br>
<u>'''Stage 3'''</u> Discarding ancillary state
*Discard one of the extra states. The output states will be the first and second (or third) output.</br></br>
'''Special case with bell state:'''</br>
<u>'''Stage 1'''</u> Cloner state preparation
# Prepare the original qubit and two additional blank qubits <math>m</math> and <math>n</math> in pure states: <math>|0\rangle_{m_0} \otimes |0\rangle_{n_0} \equiv |00\rangle</math>
# Prepare <math>|\psi\rangle_{m_1,n_1} = a|\Phi^{+}\rangle_{m_1,n_1} + b|0\rangle_{m_1} |+\rangle_{n_1}</math>, where <math>|\Phi^{+}\rangle</math> is a [[Bell state]] and <math>|+\rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle)</math>. In this case, the density matrix representation of the output states will be:</br>
<math>\rho_{a}^{out} = (1 - b^2) |\psi\rangle\langle\psi| + \frac{b^2}{2} \hat{I}</math></br>
<math>\rho_{b}^{out} = (1 - a^2) |\psi\rangle\langle\psi| + \frac{a^2}{2} \hat{I}</math></br>
<u>'''Stage 2'''</u> Cloning Circuit
* The cloning circuit is exactly the same as the general case. after the cloning circuit, the output state will be:</br>
<math>a|\psi\rangle_{in} |\Phi^+\rangle_{m,n} + b|\psi\rangle_m |\Phi^+\rangle_{in,n}</math>
The reduced density matrix of two clones A and B can be written in terms of their fidelities:</br>
<math>\rho_{a}^{out} = F_a |\psi\rangle\langle\psi| + (1 - F_a)|\psi^{\perp}\rangle\langle\psi^{\perp}|</math></br>
<math>\rho_{b}^{out} = F_b |\psi\rangle\langle\psi| + (1 - F_b)|\psi^{\perp}\rangle\langle\psi^{\perp}|</math></br>
<u>'''Stage 3'''</u> Discarding ancillary state
* The same as the general case.

==Further Information==
One of the most important applications of quantum cloning is to analyze the security of [[Quantum Key Distribution]] (QKD) protocols. Usually, an eavesdropper is supposed in QKD protocols os assumed to be able to perform any attacks, including copying of states used by parties involved in the protocol. Special states which are being used in different QKD protocols will lead to different state-dependent cloners for analyzing cloning attacks.