summaryrefslogtreecommitdiff
path: root/source/know/concept/quantum-entanglement/index.md
blob: 72aa91b27996ed14d31c8d8cd194bb332a66aa81 (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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
---
title: "Quantum entanglement"
date: 2021-03-07
categories:
- Physics
- Quantum mechanics
- Quantum information
layout: "concept"
---

Consider a composite quantum system which consists of two subsystems $A$ and $B$,
respectively with basis states $\Ket{a_n}$ and $\Ket{b_n}$.
All accessible states of the sytem $\Ket{\Psi}$ lie in
the tensor product of the subsystems'
[Hilbert spaces](/know/concept/hilbert-space/) $\mathbb{H}_A$ and $\mathbb{H}_B$:

$$\begin{aligned}
    \Ket{\Psi} \in \mathbb{H}_A \otimes \mathbb{H}_B
\end{aligned}$$

A subset of these states can be written as the tensor product (i.e. Kronecker product in a basis)
of a state $\Ket{\alpha}$ in $A$ and a state $\Ket{\beta}$ in $B$,
often abbreviated as $\Ket{\alpha} \Ket{\beta}$:

$$\begin{aligned}
    \Ket{\Psi}
    = \Ket{\alpha} \Ket{\beta}
    = \Ket{\alpha} \otimes \Ket{\beta}
\end{aligned}$$

The states that can be written in this way are called **separable**,
and states that cannot are called **entangled**.
Therefore, we are dealing with **quantum entanglement**
if the state of subsystem $A$ cannot be fully described
independently of the state of subsystem $B$, and vice versa.

To detect and quantify entanglement,
we can use the [density operator](/know/concept/density-operator/) $\hat{\rho}$.
For a pure ensemble in a given (possibly entangled) state $\Ket{\Psi}$,
$\hat{\rho}$ is given by:

$$\begin{aligned}
    \hat{\rho} = \Ket{\Psi} \Bra{\Psi}
\end{aligned}$$

From this, we would like to extract the corresponding state of subsystem $A$.
For that purpose, we define the **reduced density operator** $\hat{\rho}_A$ of subsystem $A$ as follows:

$$\begin{aligned}
    \boxed{
        \hat{\rho}_A
        = \Tr_B(\hat{\rho})
        = \sum_m \Bra{b_m} \Big( \hat{\rho} \Big) \Ket{b_m}
    }
\end{aligned}$$

Where $\Tr_B(\hat{\rho})$ is called the **partial trace** of $\hat{\rho}$,
which basically eliminates subsystem $B$ from $\hat{\rho}$.
For a pure composite state $\Ket{\Psi}$,
the resulting $\hat{\rho}_A$ describes a pure state in $A$ if $\Ket{\Psi}$ is separable,
else, if $\Ket{\Psi}$ is entangled, it describes a mixed state in $A$.
In the former case we simply find:

$$\begin{aligned}
    \boxed{
        \Ket{\Psi} = \Ket{\alpha} \otimes \Ket{\beta}
        \quad \implies \quad
        \hat{\rho}_A = \Ket{\alpha} \Bra{\alpha}
    }
\end{aligned}$$

We call $\Ket{\Psi}$ **maximally entangled**
if its reduced density operators are **maximally mixed**,
where $N$ is the dimension of $\mathbb{H}_A$ and $\hat{I}$ is the identity matrix:

$$\begin{aligned}
    \hat{\rho}_A
    = \frac{1}{N} \hat{I}
\end{aligned}$$

Suppose that we are given an entangled pure state
$\Ket{\Psi} \neq \Ket{\alpha} \otimes \Ket{\beta}$.
Then the partial traces $\hat{\rho}_A$ and $\hat{\rho}_B$
of $\hat{\rho} = \Ket{\Psi} \Bra{\Psi}$ are mixed states with the same probabilities $p_n$
(assuming $\mathbb{H}_A$ and $\mathbb{H}_B$ have the same dimensions,
which is usually the case):

$$\begin{aligned}
    \hat{\rho}_A
    = \Tr_B(\hat{\rho})
    = \sum_n p_n \Ket{a_n} \Bra{a_n}
    \qquad \quad
    \hat{\rho}_B
    = \Tr_A(\hat{\rho})
    = \sum_n p_n \Ket{b_n} \Bra{b_n}
\end{aligned}$$

There exists an orthonormal choice
of the subsystem basis states $\Ket{a_n}$ and $\Ket{b_n}$,
such that $\Ket{\Psi}$ can be written as follows,
where $p_n$ are the probabilities in the reduced density operators:

$$\begin{aligned}
    \Ket{\Psi}
    = \sum_n \sqrt{p_n} \Big( \Ket{a_n} \otimes \Ket{b_n} \Big)
\end{aligned}$$

This is the **Schmidt decomposition**,
and the **Schmidt number** is the number of nonzero terms in the summation,
which can be used to determine if the state $\Ket{\Psi}$
is entangled (greater than one) or separable (equal to one).

By looking at the Schmidt decomposition, we can notice that,
if $\hat{O}_A$ and $\hat{O}_B$ are the subsystem observables
with basis eigenstates $\Ket{a_n}$ and $\Ket{b_n}$,
then measurement results of these operators
will be perfectly correlated across $A$ and $B$.
This is a general property of entangled systems,
but beware: correlation does not imply entanglement!

But what if the composite system is in a mixed state $\hat{\rho}$?
The state is separable if and only if:

$$\begin{aligned}
    \boxed{
        \hat{\rho}
        = \sum_m p_m \Big( \hat{\rho}_A \otimes \hat{\rho}_B \Big)
    }
\end{aligned}$$

Where $p_m$ are probabilities,
and $\hat{\rho}_A$ and $\hat{\rho}_B$ can be any subsystem states.
In reality, it is very hard to determine, using this criterium,
whether an arbitrary given $\hat{\rho}$ is separable or not.

As a final side note, the expectation value
of an obervable $\hat{O}_A$ acting only on $A$ is given by:

$$\begin{aligned}
    \expval{\hat{O}_A}
    = \Tr\!\big(\hat{\rho} \hat{O}_A\big)
    = \Tr_A\!\big(\Tr_B(\hat{\rho} \hat{O}_A)\big)
    = \Tr_A\!\big(\Tr_B(\hat{\rho}) \hat{O}_A)\big)
    = \Tr_A\!\big(\hat{\rho}_A \hat{O}_A\big)
\end{aligned}$$


## References
1.  J.B. Brask,
    *Quantum information: lecture notes*,
    2021, unpublished.