blob: 38bf50c5f0b6639539b1e43d9192b046f66f894f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
---
title: "No-cloning theorem"
firstLetter: "N"
publishDate: 2021-03-06
categories:
- Physics
- Quantum mechanics
- Quantum information
date: 2021-03-06T09:45:32+01:00
draft: false
markup: pandoc
---
# No-cloning theorem
In quantum mechanics, the **no-cloning theorem** states
there is no general way to make copies of an arbitrary quantum state $\ket{\psi}$.
This has profound implications for quantum information.
To prove this theorem, let us pretend that a machine exists
that can do just that: copy arbitrary quantum states.
Given an input $\ket{\psi}$ and a blank $\ket{?}$,
this machines turns $\ket{?}$ into $\ket{\psi}$:
$$\begin{aligned}
\ket{\psi} \ket{?}
\:\:\longrightarrow\:\:
\ket{\psi} \ket{\psi}
\end{aligned}$$
We can use this device to make copies of the basis vectors $\ket{0}$ and $\ket{1}$:
$$\begin{aligned}
\ket{0} \ket{?}
\:\:\longrightarrow\:\:
\ket{0} \ket{0}
\qquad \quad
\ket{1} \ket{?}
\:\:\longrightarrow\:\:
\ket{1} \ket{1}
\end{aligned}$$
If we feed this machine a superposition $\ket{\psi} = \alpha \ket{0} + \beta \ket{1}$,
we *want* the following behaviour:
$$\begin{aligned}
\Big( \alpha \ket{0} + \beta \ket{1} \Big) \ket{?}
\:\:\longrightarrow\:\:
&\Big( \alpha \ket{0} + \beta \ket{1} \Big) \Big( \alpha \ket{0} + \beta \ket{1} \Big)
\\
&= \Big( \alpha^2 \ket{0} \ket{0} + \alpha \beta \ket{0} \ket{1} + \alpha \beta \ket{1} \ket{0} + \beta^2 \ket{1} \ket{1} \Big)
\end{aligned}$$
Note the appearance of the cross terms with a factor of $\alpha \beta$.
The problem is that the fundamental linearity of quantum mechanics
dictates different behaviour:
$$\begin{aligned}
\Big( \alpha \ket{0} + \beta \ket{1} \Big) \ket{?}
= \alpha \ket{0} \ket{?} + \beta \ket{1} \ket{?}
\:\:\longrightarrow\:\:
\alpha \ket{0} \ket{0} + \beta \ket{1} \ket{1}
\end{aligned}$$
This is clearly not the same as before: we have a contradiction,
which implies that such a general cloning machine cannot ever exist.
## References
1. N. Brunner,
*Quantum information theory: lecture notes*,
2019, unpublished.
2. J.B. Brask,
*Quantum information: lecture notes*,
2021, unpublished.
|
