Академический Документы
Профессиональный Документы
Культура Документы
С.А.Чивилихин
КВАНТОВАЯ ИНФОРМАТИКА
Учебное пособие
Санкт-Петербург
2009
УДК 535
С.А.Чивилихин. Квантовая информатика. Учебное пособие, – СПб:
СПбГУИТМО, 2009. – 80с.
2
ОГЛАВЛЕНИЕ
Предисловие …………………………………………………….............. 4
Глава 1. Основные принципы квантовой информатики …………... 5
1.1. Кубит …………………………………………………………........... 5
1.2. Однокубитовые логические элементы …………………………… 9
Глава 2. Примеры однокубитовых элементов ………………………. 13
2.1. Логический элемент NOT …………………………………………. 13
2.2. Логический элемент Z ……………………………………………... 17
2.3.Логический элемент Адамара H …………………………………… 20
2.4.Логический элемент Y ……………………………………………... 22
π
2.5.Логический элемент ………………………………………….... 24
8
2.6.Логический элемент S …………………………………………….... 27
2.7. Логический элемент Φ ……………………………………………. 30
Глава 3. Двухкубитовые системы ……………………………………… 34
3.1. Двухкубитовые состояния и операторы ……………………...…... 34
3.2.Двухкубитовый квантовый логический элемент CNOT .………... 37
3.3. Попытка копирования неизвестного кубита с
помощью двухкубитового квантового элемента CNOT ...………........ 42
Глава 4. Квантовые схемы ……………………………………………... 45
4.1.Однокубитовые квантовые схемы. Введение ……..……………... 45
4.2. Однокубитовые квантовые схемы,
построенные из одинаковых элементов ………………………………. 47
4.3. Однокубитовые квантовые схемы,
построенные из разных элементов ………………………………. 51
4.4.Двухкубитовые квантовые схемы …………………………………. 51
4.5.Квантовая схема, создающая состояние Белла …………………… 56
Глава 5. Прикладные аспекты квантовой информатики …………….. 62
5.1.Алгоритм распознавания функций (алгоритм Дойча) …………… 62
5.2. Сверхплотное кодирование ……………………………………….. 66
5.3. Квантовая телепортация …………………………………………… 69
Глава 6. Информационная энтропия ………………………………….. 72
6.1.Классическая информационная энтропия ………………………… 72
6.2.Квантовая информационная энтропия ……………………………. 73
Литература ……………………………………………………………… 78
История кафедры фотоники и оптоинформатики …………………… 79
3
ПРЕДИСЛОВИЕ
4
Глава 1. Основные принципы квантовой
информатики
1.1. Кубит
ψ =α 0 +β1 , (1.1)
2 2
α + β = 1. (1.2)
0 0 = 1, 1 1 = 1 , 0 1 = 0. (1.3)
5
В этом случае удобно использовать тригонометрическое представление:
ϑ ϑ
α = eiγ cos , β = eiλ sin .
2 2
6
ϑ ϑ
ψ = eiγ cos 0 + eiλ sin 1 ,
2 2
или
⎛ ϑ ϑ ⎞
ψ = eiγ ⎜ cos 0 + e ( ) sin 1
i λ−γ
⎟.
⎝ 2 2 ⎠
φ=λ−γ
ϑ ϑ
ψ = cos 0 + eiφ sin 1 .(1.5)
2 2
7
получили бы бесконечно много информации, закодированной в одном
кубите.
Для этого мы должны были бы, в начале, получить сколь угодно копий
нашего кубита. Однако существует теорема о невозможности
клонирования кубита в неизвестном состоянии, которая будет изложена
ниже. Таким образом, из одного кубита можно получить только один бит
информации.
8
1.2.Однокубитовые логические элементы
ψ% = α% 0 + β% 1 . (1.6)
ψ% = Û ψ . (1.7)
∂Ψ ˆ Ψ .
ih =H (1.8)
∂t
Ψ t =0
= ψ
(
ˆ /h ψ .
ψ% = exp −iHt ) (1.9)
U (
ˆ = exp −iHt
ˆ /h . ) (1.10)
ˆ +H
H ˆ =I ( I - единичный оператор),
9
для того, чтобы его собственные числа – допустимые значения энергии
системы, были бы вещественными. Тогда из (1.10) вытекает, что оператор
Û должен быть унитарным:
ˆ +U
U (
ˆ = exp −iHt ) (
ˆ / h exp iH )
ˆ +t / h = I . (1.11)
ψ ψ = 1, (1.12)
ψ% ψ ˆ +U
% = ψU ˆ ψ = ψ ψ = 1. (1.13)
ˆ +U
U ˆ =I ⇒ U
ˆ + UU
ˆ ˆ −1 = U
ˆ −1 ⇒ U
ˆ −1 = U
ˆ +. (1.14)
~
ψ
ψ
10
был преобразован в выходной сигнал ψ% , то существует обратный
квантовый вычислительный процесс Û −1 , который осуществляет обратное
преобразование – см. рис.4. Отметим, что классические вычислительные
процессы не всегда обратимы.
~
ψ ψ
U ˆ ( α 0 + β 1 ) = αU
ˆ ψ = α% 0 + β% 1 = U ˆ 0 + βU
ˆ 1. (1.15)
Û 0 = U 00 0 + U10 1 ,
(1.16)
Û 1 = U 01 0 + U11 1 .
ˆ 0 , U10 = 1 U
U 00 = 0 U ˆ 0 ,
(1.17)
ˆ 1 , U11 = 1 U
U 01 = 0 U ˆ 1 .
11
Подставляя (1.16) в (1.15), получаем
α% 0 + β% 1 = α ( U 00 0 + U10 1 ) + β ( U 01 0 + U11 1 )
или
Введем вектора
β()
ψ= α ,
α%
% = ⎛⎜ % ⎞⎟ ,
ψ
⎝β⎠
(
U = U 00
U10 )
U 01 .
U11
(1.19)
(
⎛ α% ⎞ = U 00
⎜ β% ⎟ U10
⎝ ⎠ U11 β )( )
U 01 α , (1.20)
или
ψ% = Uψ . (1.21)
⎛ ∗
(
⎞ U 00
)
∗
U + U = ⎜ U 00
∗
U10
∗ ⎟
U 01 = I . (1.22)
⎝ U 01 U11 ⎠ U10 U11
12
Глава 2. Примеры однокубитовых элементов
X̂ 0 = 1 ,
(2.1)
X̂ 1 = 0 .
X ˆ ( α 0 + β 1 ) = αX
ˆ ψ =X ˆ 0 + βX
ˆ 1.
X̂ ψ = α 1 + β 0 = β 0 + α 1 . (2.2)
X 00 = 0, X10 = 1 ,
(2.3)
X 01 = 1, X11 = 0 .
( )
X= 0 1 .
1 0
(2.4)
13
вектор выходного кубита в виде:
( )( ) ( )
⎛ α% ⎞ = 0 1 α = β ,
⎜ β% ⎟ 1 0 β
⎝ ⎠ α
(2.5)
в соответствии с (2.2).
ψ =α 0 +β1
π
φ% = − φ . (2.7)
2
X̂ ψ λ
= λ ψ λ,
14
Тогда:
β
ψ
~
ψ
~
φ
φ
α
−λ 1 = λ 2 − 1 = 0 .
1 −λ
Отсюда:
λ1,2 = ±1 .
−λα + β = 0 ,
15
или
β = λα .
β = λα , β2 = −α 2 .
ψ 1,2 ±1( )
= 1 ,
ψ% 1,2
= ( )
1 1
2 ±1
.
16
2.2 Логический элемент Z
Ẑ 0 = 0 ,
(2.8)
Ẑ 1 = − 1 .
Zˆ ψ = Zˆ ( α 0 + β 1 ) = αZˆ 0 + βZˆ 1 .
Ẑ ψ = α 0 − β 1 . (2.9)
Z00 = 1, Z10 = 0 ,
(2.10)
Z01 = 0, Z11 = −1 .
(
Z= 1 0 .
0 −1 ) (2.11)
(
⎜ β% ⎟ 0 −1 β
⎝ ⎠
)( ) ( )
⎛ α% ⎞ = 1 0 α = α ,
−β
(2.12)
в соответствии с (2.9).
17
Полученная матрица Z является унитарной. В самом деле,
ψ =α 0 +β1
φ% = −φ . (2.14)
φ
~
φ α
ψ~
18
ϑ ϑ
ψ = cos 0 + eiφ sin 1 .
2 2
~
ψ
19
2.3 Логический элемент Адамара Н
1 ⎛1 1 ⎞
H= ⎜ ⎟. (2.15)
2 ⎝ 1 −1 ⎠
⎛ α% ⎞ 1 ⎛1 1 ⎞⎛ α ⎞ 1 ⎛ α + β ⎞
⎜ β% ⎟ = ⎜1 −1⎟⎜ β ⎟ = ⎜α − β⎟. (2.16)
⎝ ⎠ 2 ⎝ ⎠⎝ ⎠ 2 ⎝ ⎠
α+β α −β
Ĥ ψ = 0 + 1 . (2.17)
2 2
Ĥ ψ λ
= λ ψ λ,
⎛1 1 ⎞⎛ α ⎞ ⎛α⎞
⎜1 −1⎟⎜ β ⎟ = λ ⎜β⎟ .
⎝ ⎠⎝ ⎠λ ⎝ ⎠λ
Тогда
20
⎛1 − λ 1 ⎞⎛ α ⎞
⎜ 1 − 1 − λ ⎟⎜ β ⎟ = 0 .
⎝ ⎠⎝ ⎠λ
1− λ 1
= λ2 − 2 = 0 .
1 −1 − λ
Отсюда
λ1,2 = ± 2 .
(1 − λ ) α + β = 0 ,
или
β = ( λ − 1) α .
β1 = ( ) ( )
2 − 1 α1 , β 2 = − 2 − 1 α 2 .
⎛ 1 ⎞
ψ =⎜ ⎟,
⎝ ± 2 − 1⎠
1,2
1 ⎛ 1 ⎞
ψ% 1 = ⎜ ⎟,
4 − 2 2 ⎝ 2 − 1⎠
1 ⎛ 1 ⎞
ψ% 1 = ⎜ ⎟.
4 + 2 2 ⎝ − 2 − 1⎠
21
2.4 Логический элемент Y
⎛ 0 −i ⎞
Y=⎜ ⎟. (2.18)
⎝ i 0 ⎠
⎛ α% ⎞ ⎛ 0 −i ⎞⎛ α ⎞ ⎛ −iβ ⎞
⎜ β% ⎟ = ⎜ i 0 ⎟⎜ β ⎟ = ⎜ iα ⎟ . (2.19)
⎝ ⎠ ⎝ ⎠⎝ ⎠ ⎝ ⎠
Ŷ ψ = −iβ 0 + iα 1 . (2.20)
Ŷ ψ λ
= λ ψ λ,
⎛ 0 −i ⎞⎛ α ⎞ ⎛α⎞
⎜ i 0 ⎟⎜ β ⎟ = λ ⎜β⎟ .
⎝ ⎠⎝ ⎠λ ⎝ ⎠λ
22
Тогда
⎛ −λ −i ⎞⎛ α ⎞
⎜ i −λ ⎟⎜ β ⎟ = 0 .
⎝ ⎠⎝ ⎠λ
−λ −i
= λ2 − 1 = 0 .
i −λ
Отсюда
λ1,2 = ±1 .
λα + iβ = 0 ,
или
β = iλα .
β1,2 = ±iα1,2 ,
⎛1⎞
ψ =⎜ ⎟,
⎝ ±i ⎠
1,2
1 ⎛1⎞
ψ% = ⎜ ⎟.
1,2
2 ⎝ ±i ⎠
23
π
2.5 Логический элемент
8
⎛1 0 ⎞
T= ⎜ ⎟. (2.20)
⎛ π ⎞
⎜ 0 exp ⎜ i ⎟ ⎟
⎜ ⎟
⎝ ⎝ 8 ⎠⎠
⎛1 0 ⎞ ⎛ α ⎞
⎛ α% ⎞ ⎜ ⎟ ⎛α⎞ ⎜ ⎟
⎜ β% ⎟ = ⎜ 0 exp ⎛ i π ⎞ ⎟ ⎜ β ⎟ = ⎜ β exp ⎛ i π ⎞ ⎟ . (2.21)
⎝ ⎠ ⎜ ⎜ ⎟ ⎟⎝ ⎠ ⎜ ⎜ ⎟⎟
⎝ ⎝ 8 ⎠⎠ ⎝ ⎝ 8 ⎠⎠
⎛ π⎞
Tˆ ψ = Tˆ ( α 0 + β 1 ) = α 0 + β exp ⎜ i ⎟ 1 . (2.22)
⎝ ⎠8
Таким образом, оператор T̂ не изменяет коэффициент при базисном
векторе 0 и меняет фазу коэффициента при базисном векторе 1 .
⎛1 0 ⎞⎛ 1 0 ⎞
+
T T == ⎜ ⎟⎜ ⎟ = ⎛1 0⎞ = I.
⎜ ⎛ π ⎞ ⎟⎜ π
⎛ ⎞⎟ ⎜ ⎟
⎜ 0 exp ⎜ −i 8 ⎟ ⎟⎜ 0 exp ⎜ i 8 ⎟ ⎟ ⎝ 0 1 ⎠
⎝ ⎝ ⎠ ⎠⎝ ⎝ ⎠⎠
ϑ ϑ
ψ = cos 0 + eiφ sin 1 .
2 2
24
Оператор T̂ меняет фазу коэффициента при базисном векторе 1 . На
π
сфере Блоха это соответствует повороту на угол вокруг оси Z – см.
8
рис.7.
ψ
~
ψ
π
Рис.7.Геометрическое изображение преобразования T ≡ на сфере
8
Блоха.
T̂ ψ λ
= λ ψ λ,
⎛1 0 ⎞
⎜ ⎟⎛ α ⎞ = λ⎛ α ⎞ .
⎜ ⎛ π ⎞ ⎟⎜ ⎟ ⎜β⎟
⎜ 0 exp ⎜ i 8 ⎟ ⎟ ⎝ β ⎠λ ⎝ ⎠λ
⎝ ⎝ ⎠⎠
Тогда
25
⎛1 − λ 0 ⎞
⎜ ⎟⎛ α ⎞ = 0 .
⎛ ⎞π
⎜ 0
⎜ exp ⎜ i ⎟ − λ ⎟⎟ ⎜⎝ β ⎟⎠λ
⎝ ⎝ 8⎠ ⎠
1− λ 0
⎛ ⎛ π⎞ ⎞
⎛ π⎞ = (1 − λ ) ⎜ exp ⎜ i ⎟ − λ ⎟ = 0 .
0 exp ⎜ i ⎟ − λ ⎝ ⎝ 8⎠ ⎠
⎝ 8⎠
Отсюда
⎛ π⎞
λ1 = 1 , λ 2 = exp ⎜ i ⎟ .
⎝ 8⎠
(1 − λ ) α + 0β = 0 ,
или
⎛ ⎛ π⎞ ⎞
0α + ⎜ exp ⎜ i ⎟ − λ ⎟ β = 0
⎝ ⎝ 8⎠ ⎠
.
Полагая λ = λ1 = 1, видим, что первое из уравнений удовлетворяется
тождественно. Согласно второму уравнению,
β = β1 = 0 .
⎛ π⎞
Полагая λ = λ 2 = exp ⎜ i ⎟ , видим, что второе из уравнений
⎝ 8⎠
удовлетворяется тождественно. Согласно первому уравнению,
α = α2 = 0 .
Выбирая α1 = β2 = 1 , получаем.
26
⎛1⎞ ⎛0⎞
ψ 1 =⎜ ⎟, ψ = ⎜ ⎟.
⎝0⎠
2
⎝1⎠
Ŝ 0 = 0 ,
(2.23)
Ŝ 1 = i 1 .
Sˆ ψ = Sˆ ( α 0 + β 1 ) = αSˆ 0 + βSˆ 1 .
Ŝ ψ = α 0 + iβ 1 . (2.24)
S00 = 1, S10 = 0 ,
(2.25)
Z01 = 0, S11 = i .
⎛1 0⎞
S=⎜ ⎟. (2.26)
⎝0 i ⎠
27
Подействуем этой матрицей на вектор входного кубита. Тогда получаем
вектор выходного кубита в виде:
⎛ α% ⎞ ⎛ 1 0 ⎞⎛ α ⎞ ⎛ α ⎞
⎜ β% ⎟ = ⎜ 0 i ⎟⎜ β ⎟ = ⎜ iβ ⎟ , (2.27)
⎝ ⎠ ⎝ ⎠⎝ ⎠ ⎝ ⎠
в соответствии с (2.24).
ϑ ϑ
ψ = cos 0 + eiφ sin 1 .
2 2
Ŝ ψ λ
= λ ψ λ,
⎛ 1 0 ⎞⎛ α ⎞ ⎛α⎞
⎜ 0 i ⎟⎜ β ⎟ = λ ⎜β⎟ .
⎝ ⎠⎝ ⎠λ ⎝ ⎠λ
Тогда
⎛1 − λ 0 ⎞⎛ α ⎞
⎜ 0 i − λ ⎟⎜ β ⎟ = 0 .
⎝ ⎠⎝ ⎠λ
28
ψ
~
ψ
1− λ 0
= (1 − λ )( i − λ ) = 0 .
0 i−λ
Отсюда
λ1 = 1 , λ 2 = i .
(1 − λ ) α + 0β = 0 ,
или
0α + ( i − λ ) β = 0 .
29
Полагая λ = λ1 = 1, видим, что первое из уравнений удовлетворяется
тождественно. Согласно второму уравнению,
β = β1 = 0 .
α = α2 = 0 .
Выбирая α1 = β2 = 1 , получаем.
⎛1⎞ ⎛0⎞
ψ 1 =⎜ ⎟, ψ = ⎜ ⎟.
⎝0⎠
2
⎝1⎠
⎛1 0 ⎞
Φ=⎜ ⎟. (2.28)
⎝ 0 exp ( iφ0 ) ⎠
⎛ α% ⎞ ⎛ 1 0 ⎞⎛ α ⎞ ⎛ α ⎞
⎜ β% ⎟ = ⎜ 0 exp iφ ⎟ ⎜ β ⎟ = ⎜ β exp iφ ⎟ . (2.29)
⎝ ⎠ ⎝ ( 0 ) ⎠⎝ ⎠ ⎝ ( 0 )⎠
30
Φ ˆ ( α 0 + β 1 ) = α 0 + β exp ( iφ ) 1 .
ˆ ψ =Φ (2.30)
0
⎛1 0 ⎞⎛ 1 0 ⎞ ⎛1 0⎞
Φ + Φ == ⎜ ⎟⎜ ⎟=⎜ ⎟ = I.
⎝ 0 exp ( −iφ0 ) ⎠⎝ 0 exp ( iφ0 ) ⎠ ⎝ 0 1 ⎠
ϑ ϑ
ψ = cos 0 + eiφ sin 1 .
2 2
ψ
~
ψ
φ
Φ0
31
Найдем собственные числа λ и собственные вектора ψ λ оператора Φ̂ :
ˆ ψ
Φ =λ ψ λ,
λ
⎛1 0 ⎞⎛ α ⎞ ⎛α⎞
⎜ 0 exp iφ ⎟ ⎜ ⎟ = λ ⎜ ⎟ .
⎝ ( 0 ) ⎠ ⎝ β ⎠λ ⎝ β ⎠λ
Тогда
⎛1 − λ 0 ⎞⎛ α ⎞
⎜ 0 ⎟ ⎜ β ⎟ = 0.
⎝ exp ( i φ 0 ) − λ ⎠ ⎝ ⎠λ
1− λ 0
= (1 − λ ) ( exp ( iφ0 ) − λ ) = 0 .
0 exp ( iφ0 ) − λ
Отсюда
λ1 = 1 , λ 2 = exp ( iφ0 ) .
(1 − λ ) α + 0β = 0 ,
или
0α + ( exp ( iφ0 ) − λ ) β = 0 .
β = β1 = 0 .
32
Полагая λ = λ 2 = exp ( iφ0 ) , видим, что второе из уравнений
удовлетворяется тождественно. Согласно первому уравнению,
α = α2 = 0 .
Выбирая α1 = β2 = 1 , получаем.
⎛1⎞ ⎛0⎞
ψ 1 =⎜ ⎟, ψ 2
= ⎜ ⎟.
⎝0⎠ ⎝1⎠
33
Глава 3. Двухкубитовые системы
ψ1 = α1 01 + β1 11 ,
(3.1)
ψ 2 = α 2 02 + β2 12 ,
2 2
α m + βm = 1 . (3.2)
0m 0m = 1 , 1m 1m = 1 , 0m 1m = 0 . (3.3)
ψ1 ∈ H1 , ψ 2 ∈ H 2 .
34
произведением пространств H1 и H 2 . Оно обозначается H1 ⊗ H 2 .
Элементы его обозначим ψ = ψ1 ⊗ ψ 2 . Базисные вектора этого
пространства представляют собой тензорные произведения базисных
векторов из пространств H1 и H2 :
00 = 01 ⊗ 02 , 01 = 01 ⊗ 12 ,
(3.4)
10 = 11 ⊗ 02 , 11 = 11 ⊗ 12 .
ψ = ψ1 ⊗ ψ 2 .
ψ = ψ1 ⊗ ψ 2 , ψ% = ψ% 1 ⊗ ψ% 2 .
ψ ψ% H1 ⊗ H 2
= ψ1 ψ% 1 H1
ψ 2 ψ% 2 H2
. (3.5)
ij mn = i m j n = δim δ jn .
ψ = ψ1 ⊗ ψ 2 = ( α1 01 + β1 11 ) ⊗ ( α 2 02 + β2 12 ) ,
35
Окончательно
где
γ mn = mn ψ .
2
Как и в случае одного кубита, γ mn представляет собой вероятность найти
двухкубитовую систему в состоянии mn . Сумма таких вероятностей
должна равняться единице:
2 2 2 2
γ 00 + γ 01 + γ10 + γ11 = 1 . (3.7)
ψ ψ = 1.
( Uˆ ⊗ Uˆ ) ( ψ
1 2 1 ⊗ ψ2 ) = ( Uˆ
1 ) (
ˆ ψ .
ψ1 ⊗ U 2 2)
36
3.2 Двухкубитовый квантовый логический элемент CNOT
mn = m ⊗ n ,
⎛1 0 0 0⎞
⎜0 1 0 0 ⎟⎟
U CN =⎜ . (3.8)
⎜0 0 0 1⎟
⎜ ⎟
⎝0 0 1 0⎠
⎛1 0 0 0 ⎞⎛ 1 ⎞ ⎛ 1 ⎞ ⎛1 0 0 0 ⎞⎛ 0 ⎞ ⎛ 0 ⎞
⎜0 1 0 0 ⎟⎜ 0 ⎟ ⎜0⎟ ⎜0 1 0 0 ⎟⎜ 1 ⎟ ⎜1⎟
⎜ ⎟⎜ ⎟ = ⎜ ⎟ , ⎜ ⎟⎜ ⎟ = ⎜ ⎟ ,
⎜0 0 0 1 ⎟⎜ 0 ⎟ ⎜ 0 ⎟ ⎜0 0 0 1 ⎟⎜ 0 ⎟ ⎜ 0 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟ ⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ 0 ⎠ ⎝ 0 ⎠ ⎝0 0 1 0 ⎠⎝ 0 ⎠ ⎝ 0 ⎠
⎛1 0 0 0 ⎞⎛ 0 ⎞ ⎛ 0 ⎞ ⎛1 0 0 0 ⎞⎛ 0 ⎞ ⎛ 0 ⎞
⎜0 1 0 0 ⎟⎜ 0 ⎟ ⎜0⎟ ⎜0 1 0 0 ⎟⎜ 0 ⎟ ⎜0⎟
⎜ ⎟⎜ ⎟ = ⎜ ⎟ , ⎜ ⎟⎜ ⎟ = ⎜ ⎟ ,
⎜0 0 0 1 ⎟⎜ 1 ⎟ ⎜ 0 ⎟ ⎜0 0 0 1 ⎟⎜ 0 ⎟ ⎜ 1 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟ ⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ 0 ⎠ ⎝ 1 ⎠ ⎝0 0 1 0 ⎠⎝ 1 ⎠ ⎝ 0 ⎠
или
U CN 00 = 00 , U CN 01 = 01 ,
(3.9)
U CN 10 = 11 , U CN 11 = 10 .
37
Таким образом, если первый кубит находится в состоянии 0 , а второй
кубит находится в одном из базовых состояний 0 или 1 , то под
действием оператора CNOT состояние такой двухбитовой системы не
изменяется. Если же первый кубит находится в состоянии 1 , а второй – в
одном из базовых состояний, то оператор CNOT переводит второй кубит в
другое базовое состояние. Состояние же первого кубита не изменяется:
U CN 0 ⊗ 0 = 0 ⊗ 0 , U CN 0 ⊗ 1 = 0 ⊗ 1 ,
(3.10)
U CN 1 ⊗ 0 = 1 ⊗ 1 , U CN 1 ⊗ 1 = 1 ⊗ 0 .
38
Рис.12.Действие CNOT на базисное состояние U CN 0 ⊗ 1 = 0 ⊗ 1
39
находится в состоянии 1, то управляемый бит изменяется на
противоположный: 0 преобразуется в 1, а 1 в 0. Управляющий бит во всех
случаях остается неизменным. Такое преобразование можно представить в
виде классической схемы – см. рис.15.
0 ⊕ 0 = 0 , 0 ⊕ 1 = 1, 1 ⊕ 0 = 1, 1 ⊕ 1 = 0 . (3.11)
ψ = 1 01 ⊗ ( α 02 + β 12 )=α 0 1 ⊗ 02 + β 01 ⊗ 12 ,
или
⎛α⎞
⎜β⎟
ψ = α 00 + β 01 + 0 10 + 0 11 = ⎜ ⎟ .
⎜0⎟
⎜ ⎟
⎝0⎠
40
Действуя оператором CNOT на такой вектор состояния, получаем
⎛1 0 0 0 ⎞⎛ α ⎞ ⎛ α ⎞
⎜0 ⎟⎜ β ⎟ ⎜ β ⎟
1 0 0 ⎟⎜
ψ% = U CN ψ =⎜ ⎟ = ⎜ ⎟,
⎜0 0 0 1 ⎟⎜ 0 ⎟ ⎜ 0 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ 0 ⎠ ⎝ 0 ⎠
ψ% = 01 ⊗ ( α 02 + β 12 )= ψ .
ψ = 1 11 ⊗ ( α 02 + β 12 )=α1 1 ⊗ 02 + β 11 ⊗ 12 ,
или
⎛0⎞
⎜0⎟
ψ = 0 00 + 0 01 + α 10 + β 11 = ⎜ ⎟ .
⎜α⎟
⎜ ⎟
⎝β⎠
⎛1 0 0 0 ⎞⎛ 0 ⎞ ⎛ 0 ⎞
⎜0 1 0 0 ⎟⎜ 0 ⎟ ⎜0⎟
ψ% = U CN ψ =⎜ ⎟⎜ ⎟ = ⎜ ⎟ ,
⎜0 0 0 1 ⎟⎜ α ⎟ ⎜ β ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ β ⎠ ⎝ α ⎠
ψ% = 11 ⊗ ( β 02 + α 12 ) .
41
Таким образом, если управляющий кубит равен 11 , то действие оператора
CNOT на управляемый кубит эквивалентно действию оператора NOT.
Именно это свойство позволяет называть рассматриваемый оператор
управляемым оператором NOT.
x ⊕0 = x.
ψ =α 0 +β1 ,
42
а на управляемый вход подадим нулевой базисный вектор 0 . Рассчитаем
входное двухкубитовое состояние:
ψ = ( α 01 + β 11 ) ⊗ 02 ,
или
.
ψ = α 01 ⊗ 02 + β 11 ⊗ 02 = α 00 + 0 01 + β 10 + 0 11
⎛α⎞
⎜0⎟
ψ =⎜ ⎟.
⎜β⎟
⎜ ⎟
⎝0⎠
⎛1 0 0 0 ⎞⎛ α ⎞ ⎛ α ⎞
⎜0 1 0 0 ⎟⎜ 0 ⎟ ⎜0⎟
ψ% = ⎜ ⎟⎜ ⎟ = ⎜ ⎟ . (3.12)
⎜0 0 0 1 ⎟⎜ β ⎟ ⎜ 0 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ 0 ⎠ ⎝ β ⎠
Для того, чтобы CNOT копировал кубит, на выходе у него должно было бы
быть две копии входного кубита. Тогда двухкубитовое выходное
состояние имело бы вид:
ψ%% = ( α 01 + β 11 ) ⊗ ( α 02 + β 12 ) ,
или
ψ%% = α 2 01 ⊗ 02 + αβ 01 ⊗ 12 + αβ 11 ⊗ 02 + β2 11 ⊗ 12 ,
ψ%% = α 2 00 + αβ 01 + αβ 10 + β2 11 .
43
Представим ψ%% в векторной форме
⎛ α2 ⎞
⎜ ⎟
αβ
ψ% = ⎜ ⎟ .
% (3.13)
⎜ αβ ⎟
⎜ 2⎟
⎝β ⎠
⎧α 2 = α
⎪
⎨αβ = 0 . (3.14)
⎪ β2 = β
⎩
1) α = 0, β = 0 ,
2) α = 1, β = 0 , (3.15)
3) α = 0, β = 1 .
44
Глава 4. Квантовые схемы
ψ ψ1
ψ1 ψ2
45
ψ ψ1 ψ2
ˆ ψ =U
ψ2 = U ˆ U
ˆ
2 1 2 1 ψ . (4.1)
U = U 2 U1 . (4.2)
ψ ψn
46
На вход цепочки поступает волновой вектор ψ , на выходе появляется
волновой вектор ψ n . Преобразование начального вектора ψ в конечный
вектор ψ n за счет последовательного действия операторов Û1 ,… Û n
можно записать следующим образом
ˆ ψ
ψn = U ˆ ˆ ˆ
n n −1 = ... = U n U n −1...U1 ψ . (4.3)
U = U n U n −1...U1 . (4.4)
⎛0 1⎞
X=⎜ ⎟. (4.5)
⎝ 1 0 ⎠
⎛1 0 ⎞
Z=⎜ ⎟. (4.6)
⎝ 0 − 1 ⎠
1 ⎛1 1 ⎞
H= ⎜ ⎟. (4.7)
2 ⎝ 1 −1 ⎠
47
Как и любые матрицы, описывающие квантовые логические элементы,
матрицы (4.5) – (4.7) унитарны, т.е.
U+U = I . (4.8)
U+ = U . (4.9)
UU = I . (4.10)
U U ... U = I . (4.11)
144244 3
2n
U U ... U = U . (4.12)
144244 3
2n +1
⎛ 0 −i ⎞
Y=⎜ ⎟. (4.13)
⎝i 0⎠
48
Специфика этого комплексного логического элемента в том, что (как и у
симметричных вещественных элементов), квадрат этого элемента равен
единице:
⎛ 0 −i ⎞⎛ 0 −i ⎞
Y2 = ⎜ ⎟⎜ ⎟ = I. (4.14)
⎝ i 0 ⎠⎝ i 0 ⎠
⎛1 0⎞
S=⎜ ⎟. (4.15)
⎝ 0 i ⎠
⎛ 1 0 ⎞⎛ 1 0 ⎞ ⎛ 1 0 ⎞
S2 = ⎜ ⎟⎜ 0 i ⎟ = ⎜ 0 −1⎟ = Z . (4.16)
⎝ 0 i ⎠⎝ ⎠ ⎝ ⎠
π
Логический квантовый элемент
8
⎛1 0 ⎞
T= ⎜ ⎟. (4.17)
⎜ 0 exp ⎛⎜ i π ⎞⎟ ⎟
⎜ ⎟
⎝ ⎝ 8 ⎠⎠
49
Поскольку этот элемент осуществляет поворот вокруг оси Z (на сфере
π
Блоха) на угол , естественно предположить, что четвертая степень этого
8
π
элемента осуществляет поворот на угол . В самом деле,
2
4
⎛1 0 ⎞ ⎛1 0 ⎞
T4 = ⎜ ⎟ =⎜ ⎟ = ⎛1 0⎞ = S. (4.18)
⎜ ⎛ π ⎞ ⎟ ⎜ ⎛ π ⎞ ⎟ ⎜ ⎟
⎜ 0 exp ⎜ i 8 ⎟ ⎟ ⎜ 0 exp ⎜ i 2 ⎟ ⎟ ⎝ 0 i ⎠
⎝ ⎝ ⎠⎠ ⎝ ⎝ ⎠⎠
Логический элемент Φ .
⎛1 0 ⎞
Φ=⎜ ⎟. (4.19)
⎝ 0 exp ( iΦ ) ⎠
Этот элемент осуществляет поворот вокруг оси Z (на сфере Блоха) на угол
π
Φ . Частными случаями этого элемента являются T (поворот на угол на
8
π
сфере Блоха), элемент S (поворот на угол ) и элемент Z (поворот на угол
2
π m
). Для углов поворота Φ = 2π , n-я степень этого оператора совпадает с
2 n
единичным оператором.
50
4.3 Однокубитовые квантовые схемы, построенные из
разных элементов
HXH = Z , (4.20)
HYH = −Y , (4.21)
HZH = X . (4.22)
В самом деле:
1 ⎛ 1 1 ⎞⎛ 0 1 ⎞⎛1 1 ⎞ ⎛ 1 0 ⎞
HXH = ⎜ ⎟⎜ ⎟⎜ ⎟=⎜ ⎟ = Z,
2 ⎝ 1 −1⎠⎝ 1 0 ⎠⎝1 −1⎠ ⎝ 0 −1⎠
1 ⎛ 1 1 ⎞⎛ 0 −i ⎞⎛1 1 ⎞ ⎛ 0 −i ⎞
HYH = ⎜ ⎟⎜ ⎟⎜ ⎟ = − ⎜ i 0 ⎟ = −Y ,
2 ⎝ 1 −1⎠⎝ i 0 ⎠⎝1 −1⎠ ⎝ ⎠
1 ⎛ 1 1 ⎞⎛ 1 0 ⎞⎛1 1 ⎞ ⎛ 0 1 ⎞
HZH = ⎜ ⎟⎜ ⎟⎜ ⎟=⎜ ⎟ = X.
2 ⎝ 1 −1⎠⎝ 0 −1⎠⎝1 −1⎠ ⎝ 1 0 ⎠
ψ1 = α1 01 + β1 11 ,
(4.23)
ψ 2 = α 2 02 + β2 12 ,
51
Отметим, что кубиты ψ1 и ψ1 (а также и соответствующие базисные
вектора 01 , 11 , 02 , 12 ) относятся к разным векторным пространствам
– назовем их H1 и H 2 :
ψ1 ∈ H1 , ψ 2 ∈ H 2 .
00 = 01 ⊗ 02 , 01 = 01 ⊗ 12 ,
(4.24)
10 = 11 ⊗ 02 , 11 = 11 ⊗ 12 .
( Uˆ ⊗ Uˆ ) ( ψ
1 2 1 ⊗ ψ2 ) = ( Uˆ
1 ) (
ψ1 ⊗ U 2)
ˆ ψ .
2 (4.25)
⎛α ⎞ ⎛α ⎞
ψ1 = ⎜ 1 ⎟ , ψ2 = ⎜ 2 ⎟ , (4.26)
⎝ β1 ⎠ ⎝ β2 ⎠
⎛ U (1) (1)
U 01 ⎞
U (1)
= ⎜ 00(1) (1) ⎟
,
⎝ U10 U11 ⎠
(4.27)
⎛ U (2) U (2) ⎞
U (2) = ⎜ 00(2)
01
(2) ⎟
.
⎝ U10 U11 ⎠
52
Для того, чтобы представить волновые векторы и оператора тензорного
произведения пространств H1 ⊗ H 2 в базисе (4.24), введем понятие
тензорного (Кронекерова) произведения матриц.
⎛1⎞ ⎛0⎞
0 = ⎜ ⎟, 1 = ⎜ ⎟.
⎝0⎠ ⎝1⎠
⎛ ⎛1⎞ ⎞ ⎛1⎞
⎜ 1⋅ ⎜ ⎟ ⎟ ⎜ ⎟
⎝0⎠ ⎟ ⎜0⎟
00 = 01 ⊗ 02 = ⎜ =
⎜ ⎛1⎞⎟ ⎜0⎟ ,
⎜0⋅⎜ ⎟⎟ ⎜ ⎟
⎜ ⎟
⎝ ⎝0⎠⎠ ⎝0⎠
⎛ ⎛0⎞ ⎞ ⎛0⎞
⎜ 1⋅ ⎜ ⎟ ⎟ ⎜ ⎟
⎝1⎠ ⎟ ⎜1⎟
01 = 01 ⊗ 12 = ⎜ =
⎜ ⎛0⎞⎟ ⎜0⎟,
⎜0⋅⎜ ⎟⎟ ⎜ ⎟
⎜ ⎟
⎝ ⎝1⎠⎠ ⎝0⎠
(4.29)
⎛ ⎛1⎞⎞ ⎛0⎞
⎜0⋅⎜ ⎟⎟ ⎜ ⎟
⎝0⎠⎟ ⎜0⎟
10 = 11 ⊗ 02 = ⎜ =
⎜ ⎛1⎞ ⎟ ⎜1⎟,
⎜ 1⋅ ⎜ ⎟ ⎟ ⎜ ⎟
⎜ ⎟
⎝ ⎝0⎠ ⎠ ⎝0⎠
⎛ ⎛0⎞⎞ ⎛0⎞
⎜0⋅⎜ ⎟⎟ ⎜ ⎟
⎝1⎠⎟ ⎜0⎟
11 = 11 ⊗ 12 = ⎜ =
⎜ ⎛0⎞ ⎟ ⎜0⎟.
⎜ 1⋅ ⎜ ⎟ ⎟ ⎜ ⎟
⎜ ⎟
⎝ ⎝1⎠ ⎠ ⎝1⎠
53
Запишем теперь двухкубитовое состояние ψ = ψ1 ⊗ ψ 2
⎛ ⎛ α 2 ⎞ ⎞ ⎛ α1α 2 ⎞
⎜ α1 ⎜ ⎟ ⎟ ⎜ ⎟
⎛ α1 ⎞ ⎛ α 2 ⎞ ⎜ ⎝ β2 ⎠ ⎟ ⎜ α1β2 ⎟
ψ = ⎜ ⎟⊗⎜ ⎟ = =
β β ⎜ α ⎟
⎝ 1 ⎠ ⎝ 2 ⎠ ⎜ ⎛ 2 ⎞ ⎟ ⎜ β1α 2 ⎟ .
⎜ β1 ⎜ β ⎟ ⎟ ⎜⎝ β1β2 ⎟⎠
⎝ ⎝ 2 ⎠⎠
⎛ (1) ⎛ U (2)
00 U (2)
01
⎞ (1) ⎛ U 00
(2) (2)
U 01 ⎞⎞
⎜ U 00 ⎜ (2) (2) ⎟
U 01 ⎜ (2) (2) ⎟ ⎟
⎜ ⎝ U10 U11 ⎠ ⎝ U10 U11 ⎠⎟
U = U (1) ⊗ U (2) =⎜ ,
(2) ⎟
⎜ U (1) ⎛ U 00 ⎞ ⎛ (2) ⎞⎟
(2)
U (2)
01 (1) U 00 U 01
U11 ⎜ (2)
⎜ 10 ⎜ U (2) (2) ⎟
U11 (2) ⎟ ⎟
⎝ ⎝ 10 ⎠ ⎝ U10 U11 ⎠⎠
или
⎛ U (1) (2)
00 U 00
(1) (2)
U 00 U 01 (1) (2)
U 01 U 00 U 01 U 01 ⎞
(1) (2)
2 2
α m + βm = 1 . (4.31)
0m 0m = 1 , 1m 1m = 1 , 0m 1m = 0 . (4.32)
54
Тогда из условия нормировки волнового вектора m-го кубита ψ m ψ m = 1
сразу вытекает требование (4.31) на коэффициенты α m и βm .
ψ = ψ1 ⊗ ψ 2 .
ψ = ψ1 ⊗ ψ 2 , ψ% = ψ% 1 ⊗ ψ% 2 .
ψ ψ% H1 ⊗ H 2
= ψ1 ψ% 1 H1
ψ 2 ψ% 2 H2
. (4.33)
ij mn = i m j n = δim δ jn .
ψ = ψ1 ⊗ ψ 2 = ( α1 01 + β1 11 ) ⊗ ( α 2 02 + β2 12 ) ,
Окончательно
где
γ mn = mn ψ .
55
2
Как и в случае одного кубита, γ mn представляет собой вероятность найти
двухкубитовую систему в состоянии mn . Сумма таких вероятностей
должна равняться единице:
2 2 2 2
γ 00 + γ 01 + γ10 + γ11 = 1 . (4.35)
ψ ψ = 1.
1 1
β00 =
2
( 00 + 11 ) , β01 =
2
( 01 + 10 ) ,
(4.36)
1 1
β10 =
2
( 00 − 11 ) , β11 =
2
( 01 − 10 ) .
56
Рис.21.Квантовая схема, создающая состояние Белла
L = ( I ⊗ H ) ⋅ CNOT . (4.37)
1 ⎛ 1 1 ⎞⎛ 1 ⎞ 1 ⎛1⎞
H0 = ⎜ ⎟⎜ ⎟ = ⎜ ⎟
2 ⎝ 1 −1⎠⎝ 0 ⎠ 2 ⎝1⎠
или
1
H0 =
2
( 0 + 1 ).
1 1 1
ψ =
2
( 0 + 1 )⊗ 0 =
2
0 ⊗0 +
2
1 ⊗0 ,
57
или
⎛1⎞
⎜ ⎟
1 1 1 ⎜0⎟
ψ = 00 + 10 = .
2 2 2 ⎜1⎟
⎜ ⎟
⎝0⎠
⎛1 0 0 0 ⎞⎛ 1 ⎞ ⎛1⎞
⎜ 0 ⎟⎜ ⎟ ⎜ ⎟
1 ⎜0 1 0 ⎟⎜ 0 ⎟ = 1 ⎜ 0 ⎟
ψ% = U CN ψ =
2 ⎜0 0 0 1 ⎟⎜ 1 ⎟ 2 ⎜0⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ 0 ⎠ ⎝1⎠
.
Таким образом,
1
β00 = L 00 =
2
( 00 + 11 ) . (4.38)
1 ⎛ 1 1 ⎞⎛ 1 ⎞ 1 ⎛1⎞
H0 = ⎜ ⎟⎜ ⎟ = ⎜ ⎟
2 ⎝ 1 −1⎠⎝ 0 ⎠ 2 ⎝1⎠
или
1
H0 =
2
( 0 + 1 ).
1 1 1
ψ =
2
( 0 + 1 )⊗ 1 =
2
0 ⊗1 +
2
1 ⊗1 ,
58
или
⎛0⎞
⎜ ⎟
1 1 1 ⎜1⎟
ψ = 01 + 11 = .
2 2 2 ⎜0⎟
⎜ ⎟
⎝1⎠
⎛1 0 0 0 ⎞⎛ 0 ⎞ ⎛0⎞
⎜ 0 ⎟⎜ ⎟ ⎜ ⎟
1 ⎜0 1 0 ⎟⎜ 1 ⎟ = 1 ⎜ 1 ⎟
ψ% = U CN ψ =
2 ⎜0 0 0 1 ⎟⎜ 0 ⎟ 2 ⎜1⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ 1 ⎠ ⎝0⎠
.
Таким образом,
1
β01 = L 00 =
2
( 01 + 10 ) . (4.39)
1 ⎛ 1 1 ⎞⎛ 0 ⎞ 1 ⎛ 1 ⎞
H0 = ⎜ ⎟⎜ ⎟ = ⎜ ⎟
2 ⎝ 1 −1⎠⎝ 1 ⎠ 2 ⎝ −1⎠
или
1
H0 =
2
( 0 − 1 ).
1 1 1
ψ =
2
( 0 − 1 )⊗ 0 =
2
0 ⊗0 −
2
1 ⊗0 ,
59
или
⎛1⎞
⎜ ⎟
1 1 1 ⎜0⎟
ψ = 00 − 10 = .
2 2 2 ⎜ −1⎟
⎜ ⎟
⎝0⎠
⎛1 0 0 0 ⎞⎛ 1 ⎞ ⎛1⎞
⎜ 0 ⎟⎜ ⎟ ⎜ ⎟
1 ⎜0 1 0 ⎟⎜ 0 ⎟ = 1 ⎜ 0 ⎟
ψ% = U CN ψ =
2 ⎜0 0 0 1 ⎟⎜ −1⎟ 2⎜ 0 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ 0 ⎠ ⎝ −1 ⎠
.
Таким образом,
1
β10 = L 10 =
2
( 00 − 11 ) . (4.40)
1 ⎛ 1 1 ⎞⎛ 0 ⎞ 1 ⎛ 1 ⎞
H0 = ⎜ ⎟⎜ ⎟ = ⎜ ⎟
2 ⎝ 1 −1⎠⎝ 1 ⎠ 2 ⎝ −1⎠
или
1
H0 =
2
( 0 − 1 ).
1 1 1
ψ =
2
( 0 − 1 )⊗ 1 =
2
0 ⊗1 −
2
1 ⊗1 ,
60
или
⎛0⎞
⎜ ⎟
1 1 1 ⎜1⎟
ψ = 01 − 11 = .
2 2 2⎜ 0 ⎟
⎜ ⎟
⎝ −1⎠
⎛1 0 0 0 ⎞⎛ 0 ⎞ ⎛0⎞
⎜ 0 ⎟⎜ ⎟ ⎜ ⎟
1 ⎜0 1 0 ⎟⎜ 1 ⎟ = 1 ⎜ 1 ⎟
ψ% = U CN ψ =
2 ⎜0 0 0 1 ⎟⎜ 0 ⎟ 2 ⎜ −1 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ −1⎠ ⎝0⎠
.
Таким образом,
1
β11 = L 00 =
2
( 01 − 10 ) . (4.41)
61
Глава 5. Прикладные аспекты квантовой
информатики
f1 0 = 0 , f1 1 = 0 , или f1 x = 0 , x = 0, 1 ,
f 2 0 = 1 , f 2 1 = 1 , или f 2 x = 1 , x = 0, 1 .
f 3 x = x , f 4 x = NOT x , x = 0, 1 .
Uf ( x ⊗ y ) = x ⊗ ( y ⊕ f x ) ,
62
1) Учитывая, что f1 x = 0 и обозначая U1 ≡ U f1 , получаем
U1 ( x ⊗ y ) = x ⊗ ( y ⊕ f1 x ) = x ⊗ ( y ⊕ 0 ) = x ⊗ y .
⎛1 0 0 0⎞
⎜0 1 0 0 ⎟⎟
U1 = I = ⎜ . (5.1)
⎜0 0 1 0⎟
⎜ ⎟
⎝0 0 0 1⎠
U 2 ( x ⊗ y ) = x ⊗ ( y ⊕ f 2 x ) = x ⊗ ( y ⊕ 1 ) = x ⊗ NOT y
U 2 ( x ⊗ y ) = ( I ⊗ NOT ) ( x ⊗ y ) ,
⎛0 1 0 0⎞
⎛ NOT 0 ⎞ ⎜⎜ 1 0 0 0 ⎟⎟
U 2 = I ⊗ NOT = ⎜ = . (5.2)
⎝ 0 NOT ⎟⎠ ⎜ 0 0 0 1⎟
⎜ ⎟
⎝0 0 1 0⎠
U3 ( x ⊗ y ) = x ⊗ ( y ⊕ f3 x ) = x ⊗ ( y ⊕ x ) . (5.3)
⎛1 0 0 0⎞
⎜0 1 0 0 ⎟⎟
U 3 = CNOT = ⎜ . (5.4)
⎜0 0 0 1⎟
⎜ ⎟
⎝0 0 1 0⎠
U 4 ( x ⊗ y ) = x ⊗ ( y ⊕ f 4 x ) = x ⊗ ( y ⊕ NOT x ) . (5.5)
63
Сравнивая (5.5) с (5.3), (5.4) видим, что
U 4 = CNOT ⋅ ( NOT ⊗ I ) .
С другой стороны,
⎛0 0 1 0⎞
⎜ 0 0 1 ⎟⎟
⎛ 0 ⋅ I 1⋅ I ⎞ ⎜ 0
NOT ⊗ I = ⎜ ⎟ .
⎝ 1⋅ I 0 ⋅ I ⎠⎜ 1 0 0 0⎟
⎜ ⎟
⎝0 1 0 0⎠
Окончательно
⎛1 0 0 0 ⎞⎛ 0 0 1 0⎞ ⎛0 0 1 0⎞
⎜0 1 0 0 ⎟⎜ 0 0 1 ⎟⎟ ⎜⎜ 0 0 0 1 ⎟⎟
U4 = ⎜ ⎟⎜ 0 = . (5.6)
⎜0 0 0 1 ⎟⎜ 1 0 0 0⎟ ⎜0 1 0 0⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝0 0 1 0 ⎠⎝ 0 1 0 0⎠ ⎝1 0 0 0⎠
Uf ψ
⎛0⎞
⎜ ⎟
⎛1⎞ ⎛0⎞ ⎜1⎟
0 ⊗ 1 =⎜ ⎟⊗⎜ ⎟ = .
0 1
⎝ ⎠ ⎝ ⎠ ⎜ 0 ⎟
⎜ ⎟
⎝0⎠
64
Эта волновая функция обрабатывается оператором H ⊗ H ,
⎛1 1 1 1 ⎞
⎜ ⎟
1 ⎛1 1 ⎞ 1 ⎛ 1 1 ⎞ 1 ⎜ 1 −1 1 −1 ⎟
H⊗H = ⎜ ⎟⊗ ⎜ ⎟=
2 ⎝ 1 −1 ⎠ 2 ⎝ 1 −1 ⎠ 2 ⎜ 1 1 −1 −1 ⎟ .
⎜ ⎟
⎝ 1 − 1 −1 1 ⎠
⎛ 1 1 1 1 ⎞⎛ 0 ⎞ ⎛1⎞
⎜ 1 −1 1 −1⎟⎜ 1 ⎟ ⎜ −1 ⎟
1⎜ 1
χ = (H ⊗ H)( 0 ⊗ 1 ) = ⎟⎜ ⎟ = ⎜ ⎟
2 ⎜ 1 1 −1 −1⎟⎜ 0 ⎟ 2 ⎜ 1 ⎟ ,
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝ 1 −1 −1 1 ⎠⎝ 0 ⎠ ⎝ −1 ⎠
1) U1 = I .
⎛1 1 1 1 ⎞ ⎛ 1 ⎞ ⎛ 0 ⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
1 ⎜1 −1 1 −1⎟ 1 ⎜ −1⎟ ⎜ 1 ⎟
ψ1 = ( H ⊗ H ) ⋅ χ = ⋅ = = 0 ⊗ 1 . (5.7)
2 ⎜1 1 −1 −1⎟ 2 ⎜ 1 ⎟ ⎜ 0 ⎟
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎝1 −1 −1 1 ⎠ ⎝ −1⎠ ⎝ 1 ⎠
L1 = ( H ⊗ H ) ⋅ (I ⊗ I) ⋅ ( H ⊗ H ) = ( H ⋅ H ) ⊗ ( H ⋅ H ) = (I ⊗ I) .
Следовательно, ψ1 = L1 0 ⊗ 1 = 0 ⊗ 1 .
⎛0 1 0 0⎞ ⎛0 1 0 0 ⎞⎛ 1 ⎞
⎜1 ⎟ ⎜ 0 0 0 ⎟⎜ ⎟
2) U2 = ⎜
0 0 0⎟
. Тогда U 2 χ =
1 ⎜1 ⎟⎜ −1⎟ = − χ .
⎜0 0 0 1⎟ 2⎜0 0 0 1 ⎟⎜ 1 ⎟
⎜ ⎟ ⎜ ⎟⎜ ⎟
⎝0 0 1 0⎠ ⎝0 0 1 0 ⎠⎝ −1⎠
65
Используя (5.7), получаем
ψ2 = − ( H ⊗ H ) ⋅ w = − 0 ⊗ 1 . (5.8)
3) U3 = CNOT .
ψ 3 = ( H ⊗ H ) ⋅ CNOT ⋅ ( H ⊗ H ) χ
⎛1 1 1 1 ⎞⎛ 1 0 0 0 ⎞⎛ 1 ⎞ ⎛ 0 ⎞
⎜ ⎟⎜ 0 0 ⎟⎜ ⎟ ⎜ ⎟
1 ⎜1 −1 1 −1⎟⎜ 0 1 ⎟⎜ −1⎟ = ⎜ 0 ⎟ = 1 ⊗ 1 . (5.9)
ψ3 =
4 ⎜1 1 −1 −1⎟⎜ 0 0 0 1 ⎟⎜ 1 ⎟ ⎜ 0 ⎟
⎜ ⎟⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝1 −1 −1 1 ⎠⎝ 0 0 1 0 ⎠⎝ −1⎠ ⎝ 1 ⎠
⎛1 1 1 1 ⎞⎛ 0 0 1 0 ⎞⎛ 1 ⎞ ⎛ 0 ⎞
⎜ ⎟⎜ 0 1 ⎟⎜ ⎟ ⎜0⎟
1 ⎜1 −1 1 −1⎟⎜ 0 0 −1
⎟⎜ ⎟ = ⎜ ⎟ = 1 ⊗ 1 . (5.10)
ψ4 =
4 ⎜1 1 −1 −1⎟⎜ 0 1 0 0 ⎟⎜ 1 ⎟ ⎜ 0 ⎟
⎜ ⎟⎜ ⎟⎜ ⎟ ⎜ ⎟
⎝1 −1 −1 1 ⎠⎝ 1 0 0 0 ⎠⎝ −1⎠ ⎝ 1 ⎠
Итак, первый канал выходного сигнала для первых двух случаев, т.е.
для постоянных функций, содержит 1 . Для второй пары случаев (для
сбалансированных функций) первый канал выходного сигнала содержит
0 . во втором канале выходного сигнала во всех четырех случаях
находится 1 .
66
последовательных битов ab оператором Lab и действует этим оператором
на свой кубит пары.
L00 0 = 0 , L00 1 = 1 ,
L01 0 = 1 , L01 1 = 0 ,
L10 0 = 0 , L10 1 = − 1 ,
L11 0 = − 1 , L11 1 = 0 ,
видим, что
0 ⊗ 0 +1 ⊗1 0 ⊗ 0 +1 ⊗1
( L00 ⊗ I ) β00 = (I ⊗ I) = ,
2 2
( L00 ⊗ I ) β00 = β00 ,
0 ⊗ 0 +1 ⊗1 1 ⊗ 0 + 0 ⊗1
( L01 ⊗ I ) β00 = ( L01 ⊗ I ) = ,
2 2
( L01 ⊗ I ) β00 = β01 ,
0 ⊗ 0 +1 ⊗1 0 ⊗ 0 − 0 ⊗1
( L10 ⊗ I ) β00 = ( L10 ⊗ I ) = ,
2 2
( L10 ⊗ I ) β00 = β10 ,
0 ⊗ 0 +1 ⊗1 −1 ⊗ 0 + 0 ⊗1
( L11 ⊗ I ) β00 = ( L11 ⊗ I ) = ,
2 2
( L10 ⊗ I ) β00 = β10 .
67
Таким образом ( Lab ⊗ I ) β00 = βab . После кодирования, Алиса пересылает
свой кубит Бобу. Если Алиса хотела переслать Бобу последовательность
кубитов ab , то у Боба оказывается перепутанная пара кубитов в состоянии
Белла βab . Теперь этот сигнал следует раскодировать.
ab ≡ a ⊗ b = ( ( I ⊗ H ) ⋅ CNOT ) βab .
−1
Окончательно
( ( I ⊗ H ) ⋅ CNOT )
−1
= ( I ⊗ H ) ⋅ CNOT . (5.11)
68
5.3 Квантовая телепортация
1 ⎛ BC BC
⎞
β00 = ⎜ 00 + 11 ⎟ . Здесь и далее мы записываем над кубитом
2⎝ ⎠
название квантового провода, по которому он передается. Боб забирает
один кубит из ЭПР пары, второй кубит остается у Алисы. На вход схемы
подается трехкубитовое состояние
1 ⎡ A ⎛ BC BC
⎞ A
⎛ BC BC
⎞⎤
ϕ1 = ψ β00 = ⎢ α 0 ⎜ 00 + 11 ⎟ + β 1 ⎜ 00 + 11 ⎟⎥ .
2⎣ ⎝ ⎠ ⎝ ⎠⎦
ϕ2 = ( CNOT ⊗ I ) ϕ1 ,
69
1 ⎡ A ⎛ BC BC
⎞ A
⎛ BC BC
⎞⎤
ϕ2 = ⎢ α 0 ⎜ 00 + 11 ⎟ + β 1 ⎜ 10 + 01 ⎟⎥ .
2⎣ ⎝ ⎠ ⎝ ⎠⎦
1 1
H0 =
2
( 0 + 1 ), H 1 =
2
( 0 − 1 ),
видим, что
ϕ3 = ( H ⊗ I ⊗ I ) ϕ2 =
1⎡ ⎛ A A
⎞⎛ B C BC
⎞ ⎛A A
⎞⎛ B C BC
⎞⎤ .
= ⎢α ⎜ 0 + 1 ⎟⎜ 00 + 11 ⎟ + β ⎜ 0 − 1 ⎟⎜ 10 + 01 ⎟ ⎥
2⎣ ⎝ ⎠⎝ ⎠ ⎝ ⎠⎝ ⎠⎦
Окончательно
1⎡ AB ⎛ C C
⎞ AB ⎛ C C
⎞
ϕ3 = ⎢ 00 ⎜ α 0 + β 1 ⎟ + 01 ⎜ α 1 + β 0 ⎟ +
2⎣ ⎝ ⎠ ⎝ ⎠
. (5.12)
AB
⎛ C
⎞ C
⎛AB C
⎞⎤ C
+ 10 ⎜ α 0 − β 1 ⎟ + 11 ⎜ α 1 − β 0 ⎟⎥
⎝ ⎠ ⎝ ⎠⎦
M N
Корректирующий оператор имеет вид X Y . Рассмотрим его работу.
Согласно (5.12),
AB
1) если по проводам A и B распространяется состояние 00 , то по
C C
проводу C распространяется кубит α 0 + β 1 = ψ . В этом случае
M = 0, N = 0 и корректирующий оператор X 0 Z0 = I .
70
AB
2) если по проводам A и B распространяется состояние 01 , то по
C C
проводу C распространяется кубит α 1 + β 0 . В этом случае
M = 1, N = 0 и корректирующий оператор X 0 Z1 = Z .
AB
4) если по проводам A и B распространяется состояние 11 , то по
C C
проводу C распространяется кубит α 1 − β 0 . В этом случае
71
Глава 6. Информационная энтропия
6.1 Классическая информационная энтропия
Пусть классическая система может находиться в одном из n состояний,
причем в состоянии k система находится с вероятностью p k . Определим,
согласно Шеннону, информационную энтропию S такой классической
системы соотношением
S = −∑ p k log 2 p k . (6.1)
k
72
Из (6.2) видно, что S ( 0 ) = S (1) = 0 , S ( 0.5 ) = log 2 2 = 1 .График зависимости
информационной энтропии от вероятности p представлен на рис.25. Из
рисунка видно, что энтропия является функцией, симметричной
1
относительно значения аргумента p = .
2
L̂ = ∑ λ n Ψ n Ψ n . (6.3)
n
( )
f Lˆ = ∑ f ( λ n ) Ψ n Ψ n .
n
(6.4)
Рассмотрим функцию
⎧− x log 2 x, x > 0
f (x) = ⎨ .
⎩ 0, x = 0
ˆ =
TrA ∑ Ψ n Aˆ Ψ n .
n
(6.5)
S ( ρˆ ) = Tr ( f ( ρˆ ) ) . (6.6)
73
Используя (6.3) – (6.6), получаем
ρ̂ = ∑ λ n Ψ n Ψ n , (6.7)
n
⎛ ⎞
S ( ρˆ ) = Tr ⎜ ∑ f ( λ n ) Ψ n Ψ n ⎟ ,
⎝ n ⎠
или
S ( ρˆ ) = ∑ f ( λ n ) Ψ k Ψ n Ψ n Ψ k = ∑ f ( λ n ) δkn .
n,k n,k
Окончательно
S ( ρˆ ) = ∑ f ( λ n ) = −∑ λ n log 2 ( λ n ) . (6.8)
n n
ρ̂ = ψ ψ (6.9)
или
ρˆ = ( α 0 + β 1 )(α ∗
0 + β∗ 1 ) =
. (6.10)
= αα∗ 0 0 + αβ∗ 0 1 + βα∗ 1 0 + ββ∗ 1 1
⎛ α 2 αβ∗ ⎞
ρˆ = ⎜ ⎟. (6.11)
⎜ α∗β β 2 ⎟
⎝ ⎠
Собственные числа матрицы плотности являются корнями уравнения
2
α −λ αβ∗
2
= 0.
α∗β β −λ
74
2 2
Учитывая условие нормировки α + β = 1 , находим собственные числа
λ1 = 0, λ 2 = 1. Согласно (7.8)
1
β11 =
2
( 0A 1B − 1A 0B ) .
Соответствующая матрица плотности имеет вид:
1
ρˆ AB = β11 β11 =
2
( 0A 1B − 1A 0B )( 0 A 1B − 1A 0B ) . (6.13)
ρˆ A = 0B ρˆ AB 0B + 1B ρˆ AB 1B .
1 1
ρˆ A = 0A 0A + 1A 1A . (6.14)
2 2
⎛1 ⎞
⎜ 0 ⎟
ρˆ = ⎜ 2 ⎟. (6.15)
⎜0 1⎟
⎜ ⎟
⎝ 2⎠
Собственные числа матрицы плотности являются корнями уравнения
1
−λ 0
2 = 0. (6.16)
1
0 −λ
2
75
1
Таким образом, матрица плотности имеет двукратный корень λ1 = λ 2 = .
2
Согласно (6.8)
S ( ρˆ A ) = 1. (6.17)
ψ = a 0A 0B + b 0A 1B + c 1A 0B + d 1A 1B
с условием нормировки
2 2 2 2
a + b + c + d = 1.
ρ̂AB = ψ ψ . (6.18)
ρˆ A = 0B ρˆ AB 0B + 1B ρˆ AB 1B .
(
ρˆ A = a + b
2 2
)0 A 0A + ( ac∗ + bd∗ ) 0A 1A +
. (6.19)
+ ( a ∗c + b∗d ) 1A 0A + c + d ( 2 2
) 1A 1A
⎛ a 2 + b 2 ac∗ + bd∗ ⎞
ρˆ = ⎜ ⎟. (6.20)
⎜ a ∗c + b ∗d c 2 + d 2 ⎟
⎝ ⎠
2 2
a + b −λ ac∗ + bd∗
2 2
=0
a ∗ c + b ∗d c + d −λ
76
или
2 2 2 2
λ 2 − λ + a d + b c − ab∗c∗d − a ∗bcd∗ = 0 . (6.21)
Согласно (6.8)
ψ = a 0A 0B + b 0A 1B + c 1A 0B + d 1A 1B , (6.23)
ψ = (α 0 + β 1 )( γ 0 +δ1 )=
. (6.24)
= αγ 00 + αδ 01 + βγ 10 + βδ 11
ad − bc = 0 . (6.26)
P = ad − bc (6.27)
77
Литература
78
СПбГУ ИТМО стал победителем конкурса инновационных
образовательных программ вузов России на 2007–2008 годы и успешно
реализовал инновационную образовательную программу «Инновационная
система подготовки специалистов нового поколения в области
информационных и оптических технологий», что позволило выйти на
качественно новый уровень подготовки выпускников и удовлетворять
возрастающий спрос на специалистов в информационной, оптической и
других высокотехнологичных отраслях науки. Реализация этой программы
создала основу формирования программы дальнейшего развития вуза до
2015 года, включая внедрение современной модели образования.
79
Среди научных подразделений кафедры – научно-образовательный
центр фемтосекундной оптики и фемтотехнологий, лаборатория
компьютерного моделирования и параллельных вычислений, проблемная
лаборатория волновых процессов.
Среди студентов и аспирантов кафедры – стипендиаты Президента и
Правительства Российской Федерации, победители конкурсов научных
работ, проводимых Российской Академией наук, крупнейшими мировыми
научными обществами, такими как INTAS (Фонд научно-
исследовательских работ Европейского сообщества), SPIE
(Международное общество инженеров-оптиков), CRDF (Американский
фонд гражданских исследований и развития), OSA (Оптическое общество
Америки).
Кафедра фотоники и оптоинформатики постоянно занимает призовые
места по итогам конкурсов ведущих научно-педагогических коллективов
ИТМО.
80