Download - 20110204 quantum algorithms_vyali_lecture02
![Page 1: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/1.jpg)
Квантовые алгоритмы:возможности и ограничения.
Лекция 2: Квантовые запросы к «черному ящику»
М. Вялый
Вычислительный центрим. А.А.Дородницына
Российской Академии наук
Санкт-Петербург, 2011
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 1 / 36
![Page 2: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/2.jpg)
План
1 Введение
2 Квантовый запрос
3 Моделирование классических действий квантовыми
4 Фазовый запрос
5 Задача Дойча
6 Задача Дойча – Джоза
7 Алгоритм Гровера: поиск иголки в стоге сена
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 2 / 36
![Page 3: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/3.jpg)
Алгоритмы «черного ящика»
Они же: оракульные алгоритмы (неудачное название), решающиедеревья.Стандартный английский термин — query algorithms.
Общение с «черным ящиком»
?запрос
%. . .#!ответ
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 3 / 36
![Page 4: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/4.jpg)
Сложность алгоритмов «черного ящика»
Чем меньше запросов, тем лучше.На сложность обработки запросов внимания не обращаем — лишнееобращение к «черному ящику» стоит дороже.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 4 / 36
![Page 5: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/5.jpg)
Запрос на значение булевозначной функции
Классический запросФункция x 7→ f (x), x ∈ X , f (x) ∈ 0, 1.Запрос x .Ответ f (x).
Общий вид задачиДано: «черный ящик», который вычисляет функцию f .Проверить: функция f обладает некоторым свойством.Сложность алгоритма: количество запросов.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 5 / 36
![Page 6: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/6.jpg)
Запрос на значение булевозначной функции
Классический запросФункция x 7→ f (x), x ∈ X , f (x) ∈ 0, 1.Запрос x .Ответ f (x).
Общий вид задачиДано: «черный ящик», который вычисляет функцию f .Проверить: функция f обладает некоторым свойством.Сложность алгоритма: количество запросов.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 5 / 36
![Page 7: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/7.jpg)
План
1 Введение
2 Квантовый запрос
3 Моделирование классических действий квантовыми
4 Фазовый запрос
5 Задача Дойча
6 Задача Дойча – Джоза
7 Алгоритм Гровера: поиск иголки в стоге сена
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 6 / 36
![Page 8: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/8.jpg)
Квантовый запрос: проблема с необратимостью
f
Унитарные операторы обратимы.Некоторые булевы функции необратимы.Как квантовое устройство выдает результат вычисления булевойфункции? (Какое преобразование происходит с кубитом?)
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 7 / 36
![Page 9: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/9.jpg)
Квантовый запрос: проблема с необратимостью
f
Унитарные операторы обратимы.Некоторые булевы функции необратимы.Как квантовое устройство выдает результат вычисления булевойфункции? (Какое преобразование происходит с кубитом?)
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 7 / 36
![Page 10: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/10.jpg)
Квантовый запрос: проблема с необратимостью
f
Унитарные операторы обратимы.Некоторые булевы функции необратимы.Как квантовое устройство выдает результат вычисления булевойфункции? (Какое преобразование происходит с кубитом?)
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 7 / 36
![Page 11: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/11.jpg)
Необратимое вычисление: взгляд на микроуровне
На микроуровне вычисление обратимо и в классической, и вквантовой физике.Обратимое вычисление булевозначной функции(идеализированный пример):
f : (x , y) 7→ (x , y ⊕ f (x)).
Внутри «черного ящика» происходит нечто вроде
x x x0 f(x) f(x)f
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 8 / 36
![Page 12: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/12.jpg)
Необратимое вычисление: взгляд на микроуровне
На микроуровне вычисление обратимо и в классической, и вквантовой физике.Обратимое вычисление булевозначной функции(идеализированный пример):
f : (x , y) 7→ (x , y ⊕ f (x)).
Внутри «черного ящика» происходит нечто вроде
x x x0 f(x) f(x)f
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 8 / 36
![Page 13: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/13.jpg)
Необратимое вычисление: взгляд на микроуровне
На микроуровне вычисление обратимо и в классической, и вквантовой физике.Обратимое вычисление булевозначной функции(идеализированный пример):
f : (x , y) 7→ (x , y ⊕ f (x)).
Внутри «черного ящика» происходит нечто вроде
x x x0 f(x) f(x)f
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 8 / 36
![Page 14: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/14.jpg)
Обратимый (квантовый) запрос
f продолжается до унитарного оператора (перестановочного).Пример с функцией f : 0, 1 → 0, 1, f (x) = x :
f =
1 0 0 00 1 0 00 0 0 10 0 1 0
,
(При записи матриц в вычислительном базисе мы упорядочиваембитовые строки в лексикографическом порядке.)Будем считать оператор
f : |x , b〉 7→ |x , b ⊕ f (x)〉
квантовым запросом общего вида.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 9 / 36
![Page 15: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/15.jpg)
Обратимый (квантовый) запрос
f продолжается до унитарного оператора (перестановочного).Пример с функцией f : 0, 1 → 0, 1, f (x) = x :
f =
1 0 0 00 1 0 00 0 0 10 0 1 0
,
(При записи матриц в вычислительном базисе мы упорядочиваембитовые строки в лексикографическом порядке.)Будем считать оператор
f : |x , b〉 7→ |x , b ⊕ f (x)〉
квантовым запросом общего вида.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 9 / 36
![Page 16: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/16.jpg)
Посылаем и получаем и регистр аргумента, и регистрзначения
f
|x , b〉
|x , b ⊕ f (x)〉
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 10 / 36
![Page 17: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/17.jpg)
План
1 Введение
2 Квантовый запрос
3 Моделирование классических действий квантовыми
4 Фазовый запрос
5 Задача Дойча
6 Задача Дойча – Джоза
7 Алгоритм Гровера: поиск иголки в стоге сена
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 11 / 36
![Page 18: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/18.jpg)
Имитация детерминированного запроса
Квантовый алгоритм может реализовать любую перестановкувекторов вычислительного базиса.Этому соответствует обратимое классическое преобразование.Избавление от необратимости: использование «свежей» памяти,как в уже рассмотренном случае
f : |x , b〉 7→ |x , b ⊕ f (x)〉.
В общем случае необратимое отображение f : A → A можноимитировать подходящим обратимым f со свежей копией памятиA в фиксированном состоянии a0:
f : (a, a0) 7→ (a, f (a))
продолжается до перестановки на A× A.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 12 / 36
![Page 19: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/19.jpg)
Имитация детерминированного запроса
Квантовый алгоритм может реализовать любую перестановкувекторов вычислительного базиса.Этому соответствует обратимое классическое преобразование.Избавление от необратимости: использование «свежей» памяти,как в уже рассмотренном случае
f : |x , b〉 7→ |x , b ⊕ f (x)〉.
В общем случае необратимое отображение f : A → A можноимитировать подходящим обратимым f со свежей копией памятиA в фиксированном состоянии a0:
f : (a, a0) 7→ (a, f (a))
продолжается до перестановки на A× A.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 12 / 36
![Page 20: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/20.jpg)
Имитация детерминированного запроса
Квантовый алгоритм может реализовать любую перестановкувекторов вычислительного базиса.Этому соответствует обратимое классическое преобразование.Избавление от необратимости: использование «свежей» памяти,как в уже рассмотренном случае
f : |x , b〉 7→ |x , b ⊕ f (x)〉.
В общем случае необратимое отображение f : A → A можноимитировать подходящим обратимым f со свежей копией памятиA в фиксированном состоянии a0:
f : (a, a0) 7→ (a, f (a))
продолжается до перестановки на A× A.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 12 / 36
![Page 21: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/21.jpg)
Имитация детерминированного запроса
Квантовый алгоритм может реализовать любую перестановкувекторов вычислительного базиса.Этому соответствует обратимое классическое преобразование.Избавление от необратимости: использование «свежей» памяти,как в уже рассмотренном случае
f : |x , b〉 7→ |x , b ⊕ f (x)〉.
В общем случае необратимое отображение f : A → A можноимитировать подходящим обратимым f со свежей копией памятиA в фиксированном состоянии a0:
f : (a, a0) 7→ (a, f (a))
продолжается до перестановки на A× A.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 12 / 36
![Page 22: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/22.jpg)
Имитация вероятностного запроса
Запрос по распределению pk имитируем приготовлением вектора
|p〉 =∑k
√pk |k〉
в регистре аргумента и применением квантового запроса к |p, 0〉.Получится ∑
k
√pk |k , f (k)〉
Если в этот момент провести измерение, получится запрос пораспределению pk .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 13 / 36
![Page 23: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/23.jpg)
Имитация вероятностного запроса
Запрос по распределению pk имитируем приготовлением вектора
|p〉 =∑k
√pk |k〉
в регистре аргумента и применением квантового запроса к |p, 0〉.Получится ∑
k
√pk |k , f (k)〉
Если в этот момент провести измерение, получится запрос пораспределению pk .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 13 / 36
![Page 24: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/24.jpg)
Имитация вероятностного запроса
Запрос по распределению pk имитируем приготовлением вектора
|p〉 =∑k
√pk |k〉
в регистре аргумента и применением квантового запроса к |p, 0〉.Получится ∑
k
√pk |k , f (k)〉
Если в этот момент провести измерение, получится запрос пораспределению pk .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 13 / 36
![Page 25: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/25.jpg)
Как избавиться от промежуточных измерений?
Использовать каждый раз свежую копию регистра аргумента,выполняя обратимое копирование.Тогда распределение исходов после финального измерения вточности совпадает с распределением, порождаемымвероятностным алгоритмом.Вычисление в случае двух запросов по распределениям p(1), p(2,k)
(второе распределение зависит от результатов первого). Векторсостояния перед измерением
∑k1
√p(1)k |k1〉 ⊗
∑k2
√p(2,k1)k2
|k2,F (k1, k2)〉 =
=∑k1,k2
√p(1)k
√p(2,k1)k2
|k1, k2,F (k1, k2)〉
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 14 / 36
![Page 26: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/26.jpg)
Как избавиться от промежуточных измерений?
Использовать каждый раз свежую копию регистра аргумента,выполняя обратимое копирование.Тогда распределение исходов после финального измерения вточности совпадает с распределением, порождаемымвероятностным алгоритмом.Вычисление в случае двух запросов по распределениям p(1), p(2,k)
(второе распределение зависит от результатов первого). Векторсостояния перед измерением
∑k1
√p(1)k |k1〉 ⊗
∑k2
√p(2,k1)k2
|k2,F (k1, k2)〉 =
=∑k1,k2
√p(1)k
√p(2,k1)k2
|k1, k2,F (k1, k2)〉
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 14 / 36
![Page 27: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/27.jpg)
Как избавиться от промежуточных измерений?
Использовать каждый раз свежую копию регистра аргумента,выполняя обратимое копирование.Тогда распределение исходов после финального измерения вточности совпадает с распределением, порождаемымвероятностным алгоритмом.Вычисление в случае двух запросов по распределениям p(1), p(2,k)
(второе распределение зависит от результатов первого). Векторсостояния перед измерением
∑k1
√p(1)k |k1〉 ⊗
∑k2
√p(2,k1)k2
|k2,F (k1, k2)〉 =
=∑k1,k2
√p(1)k
√p(2,k1)k2
|k1, k2,F (k1, k2)〉
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 14 / 36
![Page 28: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/28.jpg)
Как избавиться от промежуточных измерений?
Вычисление в случае двух запросов по распределениям p(1), p(2,k)
(второе распределение зависит от результатов первого). Векторсостояния перед измерением
∑k1
√p(1)k1|k1〉 ⊗
∑k2
√p(2,k1)k2
|k2,F (k1, k2)〉 =
=∑k1,k2
√p(1)k1
√p(2,k1)k2
|k1, k2,F (k1, k2)〉
Вероятность исхода (k1, k2,F (k1, k2)) равна
p(1)k1
p(2,k1)k2
,
как и случае вероятностного алгоритма.Для нескольких запросов вычисление аналогично.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 15 / 36
![Page 29: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/29.jpg)
Как избавиться от промежуточных измерений?
Вычисление в случае двух запросов по распределениям p(1), p(2,k)
(второе распределение зависит от результатов первого). Векторсостояния перед измерением
∑k1
√p(1)k1|k1〉 ⊗
∑k2
√p(2,k1)k2
|k2,F (k1, k2)〉 =
=∑k1,k2
√p(1)k1
√p(2,k1)k2
|k1, k2,F (k1, k2)〉
Вероятность исхода (k1, k2,F (k1, k2)) равна
p(1)k1
p(2,k1)k2
,
как и случае вероятностного алгоритма.Для нескольких запросов вычисление аналогично.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 15 / 36
![Page 30: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/30.jpg)
План
1 Введение
2 Квантовый запрос
3 Моделирование классических действий квантовыми
4 Фазовый запрос
5 Задача Дойча
6 Задача Дойча – Джоза
7 Алгоритм Гровера: поиск иголки в стоге сена
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 16 / 36
![Page 31: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/31.jpg)
Пример использования квантового «черного ящика»
«Магическое состояние» |ψ〉 = 1√2(|0〉 − |1〉).
Запрос и ответ: f
|x〉 ⊗ |ψ〉
(−1)f (x)|x〉 ⊗ |ψ〉
Фазовый запросOf : |x〉 7→ (−1)f (x)|x〉
(вспомогательный кубит не пишем — его состояние не меняется).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 17 / 36
![Page 32: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/32.jpg)
Пример использования квантового «черного ящика»
«Магическое состояние» |ψ〉 = 1√2(|0〉 − |1〉).
Запрос и ответ: f
|x〉 ⊗ |ψ〉
(−1)f (x)|x〉 ⊗ |ψ〉
Фазовый запросOf : |x〉 7→ (−1)f (x)|x〉
(вспомогательный кубит не пишем — его состояние не меняется).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 17 / 36
![Page 33: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/33.jpg)
Пример использования квантового «черного ящика»
«Магическое состояние» |ψ〉 = 1√2(|0〉 − |1〉).
Запрос и ответ: f
|x〉 ⊗ |ψ〉
(−1)f (x)|x〉 ⊗ |ψ〉
Фазовый запросOf : |x〉 7→ (−1)f (x)|x〉
(вспомогательный кубит не пишем — его состояние не меняется).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 17 / 36
![Page 34: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/34.jpg)
Проверка работы фазового запроса
Рассмотрим применение f к |x〉 ⊗ |ψ〉:
|x〉 ⊗ 1√2
(|0〉 − |1〉
)7 f−→ 1√
2
(|x〉 ⊗ |f (x)〉 − |x〉 ⊗ |1⊕ f (x)〉
)=
=
|x〉 ⊗ 1√
2
(|0〉 − |1〉
), если f (x) = 0,
−|x〉 ⊗ 1√2
(|0〉 − |1〉
), если f (x) = 1,
=
= (−1)f (x)|x〉 ⊗ 1√2
(|0〉 − |1〉
).
Упражнение
Проверьте, что собственные числа оператора f равны ±1. Найдитесоответствующие им собственные пространства.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 18 / 36
![Page 35: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/35.jpg)
Проверка работы фазового запроса
Рассмотрим применение f к |x〉 ⊗ |ψ〉:
|x〉 ⊗ 1√2
(|0〉 − |1〉
)7 f−→ 1√
2
(|x〉 ⊗ |f (x)〉 − |x〉 ⊗ |1⊕ f (x)〉
)=
=
|x〉 ⊗ 1√
2
(|0〉 − |1〉
), если f (x) = 0,
−|x〉 ⊗ 1√2
(|0〉 − |1〉
), если f (x) = 1,
=
= (−1)f (x)|x〉 ⊗ 1√2
(|0〉 − |1〉
).
Упражнение
Проверьте, что собственные числа оператора f равны ±1. Найдитесоответствующие им собственные пространства.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 18 / 36
![Page 36: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/36.jpg)
Проверка работы фазового запроса
Рассмотрим применение f к |x〉 ⊗ |ψ〉:
|x〉 ⊗ 1√2
(|0〉 − |1〉
)7 f−→ 1√
2
(|x〉 ⊗ |f (x)〉 − |x〉 ⊗ |1⊕ f (x)〉
)=
=
|x〉 ⊗ 1√
2
(|0〉 − |1〉
), если f (x) = 0,
−|x〉 ⊗ 1√2
(|0〉 − |1〉
), если f (x) = 1,
=
= (−1)f (x)|x〉 ⊗ 1√2
(|0〉 − |1〉
).
Упражнение
Проверьте, что собственные числа оператора f равны ±1. Найдитесоответствующие им собственные пространства.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 18 / 36
![Page 37: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/37.jpg)
Проверка работы фазового запроса
Рассмотрим применение f к |x〉 ⊗ |ψ〉:
|x〉 ⊗ 1√2
(|0〉 − |1〉
)7 f−→ 1√
2
(|x〉 ⊗ |f (x)〉 − |x〉 ⊗ |1⊕ f (x)〉
)=
=
|x〉 ⊗ 1√
2
(|0〉 − |1〉
), если f (x) = 0,
−|x〉 ⊗ 1√2
(|0〉 − |1〉
), если f (x) = 1,
=
= (−1)f (x)|x〉 ⊗ 1√2
(|0〉 − |1〉
).
Упражнение
Проверьте, что собственные числа оператора f равны ±1. Найдитесоответствующие им собственные пространства.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 18 / 36
![Page 38: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/38.jpg)
Проверка работы фазового запроса
Рассмотрим применение f к |x〉 ⊗ |ψ〉:
|x〉 ⊗ 1√2
(|0〉 − |1〉
)7 f−→ 1√
2
(|x〉 ⊗ |f (x)〉 − |x〉 ⊗ |1⊕ f (x)〉
)=
=
|x〉 ⊗ 1√
2
(|0〉 − |1〉
), если f (x) = 0,
−|x〉 ⊗ 1√2
(|0〉 − |1〉
), если f (x) = 1,
=
= (−1)f (x)|x〉 ⊗ 1√2
(|0〉 − |1〉
).
Упражнение
Проверьте, что собственные числа оператора f равны ±1. Найдитесоответствующие им собственные пространства.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 18 / 36
![Page 39: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/39.jpg)
План
1 Введение
2 Квантовый запрос
3 Моделирование классических действий квантовыми
4 Фазовый запрос
5 Задача Дойча
6 Задача Дойча – Джоза
7 Алгоритм Гровера: поиск иголки в стоге сена
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 19 / 36
![Page 40: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/40.jpg)
Задача Дойча
Булевых функций от одной переменной ровно 4:
0, 1, x , ¬x .
Первые две из них — константы, вторые две — нет.
Задача ДойчаОпределить, является ли функция, вычисляемая «черным ящиком»,константой.
Одного запроса для решения задачи Дойча в классическом случаенедостаточно: по значению в одной точке нельзя понять, является лифункция константой.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 20 / 36
![Page 41: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/41.jpg)
Задача Дойча
Булевых функций от одной переменной ровно 4:
0, 1, x , ¬x .
Первые две из них — константы, вторые две — нет.
Задача ДойчаОпределить, является ли функция, вычисляемая «черным ящиком»,константой.
Одного запроса для решения задачи Дойча в классическом случаенедостаточно: по значению в одной точке нельзя понять, является лифункция константой.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 20 / 36
![Page 42: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/42.jpg)
Задача Дойча
Булевых функций от одной переменной ровно 4:
0, 1, x , ¬x .
Первые две из них — константы, вторые две — нет.
Задача ДойчаОпределить, является ли функция, вычисляемая «черным ящиком»,константой.
Одного запроса для решения задачи Дойча в классическом случаенедостаточно: по значению в одной точке нельзя понять, является лифункция константой.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 20 / 36
![Page 43: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/43.jpg)
Квантовое решение задачи Дойча за один запрос
1 Применим к состоянию |0〉 унитарный оператор HOf H, где
H =1√2
(1 11 −1
)(преобразование Адамара).
2 Произведем измерение в вычислительном базисе.3 Ответ 0 будет означать, что функция — константа.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 21 / 36
![Page 44: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/44.jpg)
Квантовое решение задачи Дойча за один запрос
1 Применим к состоянию |0〉 унитарный оператор HOf H, где
H =1√2
(1 11 −1
)(преобразование Адамара).
2 Произведем измерение в вычислительном базисе.3 Ответ 0 будет означать, что функция — константа.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 21 / 36
![Page 45: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/45.jpg)
Квантовое решение задачи Дойча за один запрос
1 Применим к состоянию |0〉 унитарный оператор HOf H, где
H =1√2
(1 11 −1
)(преобразование Адамара).
2 Произведем измерение в вычислительном базисе.3 Ответ 0 будет означать, что функция — константа.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 21 / 36
![Page 46: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/46.jpg)
Проверка корректности
H =1√2
(1 11 −1
)
|0〉 7 H−→ 1√2|0〉+
1√2|1〉 7 Of−→ 1√
2(−1)f (0)|0〉+
1√2(−1)f (1)|1〉 7 H−→
12(−1)f (0)(|0〉+ |1〉) +
12(−1)f (1)(|0〉 − |1〉) =
=12((−1)f (0) + (−1)f (1)
)|0〉+
12((−1)f (0) − (−1)f (1)
)|1〉 =
=
± |0〉, если f константа,± |1〉, в противном случае.
.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 22 / 36
![Page 47: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/47.jpg)
Проверка корректности
H =1√2
(1 11 −1
)
|0〉 7 H−→ 1√2|0〉+
1√2|1〉 7 Of−→ 1√
2(−1)f (0)|0〉+
1√2(−1)f (1)|1〉 7 H−→
12(−1)f (0)(|0〉+ |1〉) +
12(−1)f (1)(|0〉 − |1〉) =
=12((−1)f (0) + (−1)f (1)
)|0〉+
12((−1)f (0) − (−1)f (1)
)|1〉 =
=
± |0〉, если f константа,± |1〉, в противном случае.
.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 22 / 36
![Page 48: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/48.jpg)
Проверка корректности
H =1√2
(1 11 −1
)
|0〉 7 H−→ 1√2|0〉+
1√2|1〉 7 Of−→ 1√
2(−1)f (0)|0〉+
1√2(−1)f (1)|1〉 7 H−→
12(−1)f (0)(|0〉+ |1〉) +
12(−1)f (1)(|0〉 − |1〉) =
=12((−1)f (0) + (−1)f (1)
)|0〉+
12((−1)f (0) − (−1)f (1)
)|1〉 =
=
± |0〉, если f константа,± |1〉, в противном случае.
.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 22 / 36
![Page 49: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/49.jpg)
Проверка корректности
H =1√2
(1 11 −1
)
|0〉 7 Of H−−−→ 1√2|0〉+
1√2|1〉 7 Of−→ 1√
2(−1)f (0)|0〉+
1√2(−1)f (1)|1〉 7 H−→
12(−1)f (0)(|0〉+ |1〉) +
12(−1)f (1)(|0〉 − |1〉) =
=12((−1)f (0) + (−1)f (1)
)|0〉+
12((−1)f (0) − (−1)f (1)
)|1〉 =
=
± |0〉, если f константа,± |1〉, в противном случае.
.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 22 / 36
![Page 50: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/50.jpg)
Проверка корректности
H =1√2
(1 11 −1
)
|0〉 7 HOf H−−−−→ 1√2|0〉+
1√2|1〉 7 Of−→ 1√
2(−1)f (0)|0〉+
1√2(−1)f (1)|1〉 7 H−→
12(−1)f (0)(|0〉+ |1〉) +
12(−1)f (1)(|0〉 − |1〉) =
=12((−1)f (0) + (−1)f (1)
)|0〉+
12((−1)f (0) − (−1)f (1)
)|1〉 =
=
± |0〉, если f константа,± |1〉, в противном случае.
.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 22 / 36
![Page 51: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/51.jpg)
Проверка корректности
H =1√2
(1 11 −1
)
|0〉 7 HOf H−−−−→ 1√2|0〉+
1√2|1〉 7 Of−→ 1√
2(−1)f (0)|0〉+
1√2(−1)f (1)|1〉 7 H−→
12(−1)f (0)(|0〉+ |1〉) +
12(−1)f (1)(|0〉 − |1〉) =
=12((−1)f (0) + (−1)f (1)
)|0〉+
12((−1)f (0) − (−1)f (1)
)|1〉 =
=
± |0〉, если f константа,± |1〉, в противном случае.
.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 22 / 36
![Page 52: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/52.jpg)
План
1 Введение
2 Квантовый запрос
3 Моделирование классических действий квантовыми
4 Фазовый запрос
5 Задача Дойча
6 Задача Дойча – Джоза
7 Алгоритм Гровера: поиск иголки в стоге сена
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 23 / 36
![Page 53: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/53.jpg)
Формулировка
Задача Дойча – ДжозаДано: «черный ящик», который вычисляет функциюf : 0, 1n → 0, 1.Заранее известно: выполняется одно из двух:(к) функция f — константа;(б) функция f сбалансирована, т. е. число нулей и единиц у нее
одинаково.Выяснить: какой из случаев имеет место.
Это пример задачи с априорными ограничениями на входные данные(promise problem).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 24 / 36
![Page 54: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/54.jpg)
Формулировка
Задача Дойча – ДжозаДано: «черный ящик», который вычисляет функциюf : 0, 1n → 0, 1.Заранее известно: выполняется одно из двух:(к) функция f — константа;(б) функция f сбалансирована, т. е. число нулей и единиц у нее
одинаково.Выяснить: какой из случаев имеет место.
Это пример задачи с априорными ограничениями на входные данные(promise problem).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 24 / 36
![Page 55: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/55.jpg)
Решение задачи Дойча – Джоза за один квантовыйзапрос
1 Применим к состоянию |0n〉 унитарный оператор J = H⊗nOf H⊗n.2 Произведем измерение в вычислительном базисе.3 Если результат измерения — |0n〉, то f — константа, т. е. имеет
место случай (к). В противном случае имеет место случай (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 25 / 36
![Page 56: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/56.jpg)
Решение задачи Дойча – Джоза за один квантовыйзапрос
1 Применим к состоянию |0n〉 унитарный оператор J = H⊗nOf H⊗n.2 Произведем измерение в вычислительном базисе.3 Если результат измерения — |0n〉, то f — константа, т. е. имеет
место случай (к). В противном случае имеет место случай (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 25 / 36
![Page 57: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/57.jpg)
Решение задачи Дойча – Джоза за один квантовыйзапрос
1 Применим к состоянию |0n〉 унитарный оператор J = H⊗nOf H⊗n.2 Произведем измерение в вычислительном базисе.3 Если результат измерения — |0n〉, то f — константа, т. е. имеет
место случай (к). В противном случае имеет место случай (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 25 / 36
![Page 58: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/58.jpg)
Действие H⊗n на базисных векторах
H = 1√2
(1 11 −1
)H|α〉 =
1√2
∑β∈0,1
(−1)α·β |β〉.
H⊗n|α〉 = H⊗n|α1, . . . , αn〉 =n⊗
k=1
H|αk〉 =
=1
2n/2
n⊗k=1
∑βk∈0,1
(−1)αk ·βk |βk〉 =
=1
2n/2
∑(β1,...,βk )∈0,1n
(−1)α1β1⊕α2β2⊕...⊕αnβn |β1β2 . . . βn〉 =
=1
2n/2
∑β∈0,1n
(−1)(α,β)|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 26 / 36
![Page 59: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/59.jpg)
Действие H⊗n на базисных векторах
H = 1√2
(1 11 −1
)
H|α〉 =1√2
∑β∈0,1
(−1)α·β |β〉.
H⊗n|α〉 = H⊗n|α1, . . . , αn〉 =n⊗
k=1
H|αk〉 =
=1
2n/2
n⊗k=1
∑βk∈0,1
(−1)αk ·βk |βk〉 =
=1
2n/2
∑(β1,...,βk )∈0,1n
(−1)α1β1⊕α2β2⊕...⊕αnβn |β1β2 . . . βn〉 =
=1
2n/2
∑β∈0,1n
(−1)(α,β)|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 26 / 36
![Page 60: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/60.jpg)
Действие H⊗n на базисных векторах
H = 1√2
(1 11 −1
)
H|α〉 =1√2
∑β∈0,1
(−1)α·β |β〉.
H⊗n|α〉 = H⊗n|α1, . . . , αn〉 =n⊗
k=1
H|αk〉 =
=1
2n/2
n⊗k=1
∑βk∈0,1
(−1)αk ·βk |βk〉 =
=1
2n/2
∑(β1,...,βk )∈0,1n
(−1)α1β1⊕α2β2⊕...⊕αnβn |β1β2 . . . βn〉 =
=1
2n/2
∑β∈0,1n
(−1)(α,β)|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 26 / 36
![Page 61: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/61.jpg)
Действие H⊗n на базисных векторах
H = 1√2
(1 11 −1
)
H|α〉 =1√2
∑β∈0,1
(−1)α·β |β〉.
H⊗n|α〉 = H⊗n|α1, . . . , αn〉 =n⊗
k=1
H|αk〉 =
=1
2n/2
n⊗k=1
∑βk∈0,1
(−1)αk ·βk |βk〉 =
=1
2n/2
∑(β1,...,βk )∈0,1n
(−1)α1β1⊕α2β2⊕...⊕αnβn |β1β2 . . . βn〉 =
=1
2n/2
∑β∈0,1n
(−1)(α,β)|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 26 / 36
![Page 62: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/62.jpg)
Действие H⊗n на базисных векторах
H = 1√2
(1 11 −1
)
H|α〉 =1√2
∑β∈0,1
(−1)α·β |β〉.
H⊗n|α〉 = H⊗n|α1, . . . , αn〉 =n⊗
k=1
H|αk〉 =
=1
2n/2
n⊗k=1
∑βk∈0,1
(−1)αk ·βk |βk〉 =
=1
2n/2
∑(β1,...,βk )∈0,1n
(−1)α1β1⊕α2β2⊕...⊕αnβn |β1β2 . . . βn〉 =
=1
2n/2
∑β∈0,1n
(−1)(α,β)|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 26 / 36
![Page 63: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/63.jpg)
Действие H⊗n на базисных векторах
H = 1√2
(1 11 −1
)
H|α〉 =1√2
∑β∈0,1
(−1)α·β |β〉.
H⊗n|α〉 = H⊗n|α1, . . . , αn〉 =n⊗
k=1
H|αk〉 =
=1
2n/2
n⊗k=1
∑βk∈0,1
(−1)αk ·βk |βk〉 =
=1
2n/2
∑(β1,...,βk )∈0,1n
(−1)α1β1⊕α2β2⊕...⊕αnβn |β1β2 . . . βn〉 =
=1
2n/2
∑β∈0,1n
(−1)(α,β)|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 26 / 36
![Page 64: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/64.jpg)
Действие H⊗n на базисных векторах
H = 1√2
(1 11 −1
)
H|α〉 =1√2
∑β∈0,1
(−1)α·β |β〉.
H⊗n|α〉 = H⊗n|α1, . . . , αn〉 =n⊗
k=1
H|αk〉 =
=1
2n/2
n⊗k=1
∑βk∈0,1
(−1)αk ·βk |βk〉 =
=1
2n/2
∑(β1,...,βk )∈0,1n
(−1)α1β1⊕α2β2⊕...⊕αnβn |β1β2 . . . βn〉 =
=1
2n/2
∑β∈0,1n
(−1)(α,β)|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 26 / 36
![Page 65: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/65.jpg)
Действие J на векторе |0n〉
|0n〉 7 H⊗n
−−−→ 12n/2
∑α∈0,1n
|α〉 7 Of−→ 12n/2
∑α∈0,1n
(−1)f (α)|α〉 7 H⊗n
−−−→
12n
∑α∈0,1n
∑β∈0,1n
(−1)f (α)+(α·β)|β〉 =
=12n
∑β∈0,1n
∑α∈0,1n
(−1)f (α)+(α,β)
|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 27 / 36
![Page 66: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/66.jpg)
Действие J на векторе |0n〉
|0n〉 7 H⊗n
−−−→ 12n/2
∑α∈0,1n
|α〉 7 Of−→ 12n/2
∑α∈0,1n
(−1)f (α)|α〉 7 H⊗n
−−−→
12n
∑α∈0,1n
∑β∈0,1n
(−1)f (α)+(α·β)|β〉 =
=12n
∑β∈0,1n
∑α∈0,1n
(−1)f (α)+(α,β)
|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 27 / 36
![Page 67: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/67.jpg)
Действие J на векторе |0n〉
|0n〉 7 H⊗n
−−−→ 12n/2
∑α∈0,1n
|α〉 7 Of−→ 12n/2
∑α∈0,1n
(−1)f (α)|α〉 7 H⊗n
−−−→
12n
∑α∈0,1n
∑β∈0,1n
(−1)f (α)+(α·β)|β〉 =
=12n
∑β∈0,1n
∑α∈0,1n
(−1)f (α)+(α,β)
|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 27 / 36
![Page 68: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/68.jpg)
Действие J на векторе |0n〉
|0n〉 7 Of H⊗n
−−−−→ 12n/2
∑α∈0,1n
|α〉 7 Of−→ 12n/2
∑α∈0,1n
(−1)f (α)|α〉 7 H⊗n
−−−→
12n
∑α∈0,1n
∑β∈0,1n
(−1)f (α)+(α·β)|β〉 =
=12n
∑β∈0,1n
∑α∈0,1n
(−1)f (α)+(α,β)
|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 27 / 36
![Page 69: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/69.jpg)
Действие J на векторе |0n〉
|0n〉 7 H⊗nOf H⊗n
−−−−−−−→ 12n/2
∑α∈0,1n
|α〉 7 Of−→ 12n/2
∑α∈0,1n
(−1)f (α)|α〉 7 H⊗n
−−−→
12n
∑α∈0,1n
∑β∈0,1n
(−1)f (α)+(α·β)|β〉 =
=12n
∑β∈0,1n
∑α∈0,1n
(−1)f (α)+(α,β)
|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 27 / 36
![Page 70: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/70.jpg)
Действие J на векторе |0n〉
|0n〉 7 H⊗nOf H⊗n
−−−−−−−→ 12n/2
∑α∈0,1n
|α〉 7 Of−→ 12n/2
∑α∈0,1n
(−1)f (α)|α〉 7 H⊗n
−−−→
12n
∑α∈0,1n
∑β∈0,1n
(−1)f (α)+(α·β)|β〉 =
=12n
∑β∈0,1n
∑α∈0,1n
(−1)f (α)+(α,β)
|β〉.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 27 / 36
![Page 71: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/71.jpg)
Проверка корректности решения задачи Дойча – Джоза
|0n〉 7 H⊗nOf H⊗n
−−−−−−−→ 12n
∑β∈0,1n
∑α∈0,1n
(−1)f (α)+(α,β)
|β〉
Так как (α, 0n) = 0, то вероятность наблюдения исхода 0n равна 12n
∑α∈0,1n
(−1)f (α)
2
=
1, в случае (к),0, в случае (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 28 / 36
![Page 72: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/72.jpg)
Классические алгоритмы для задачи Дойча – Джоза
Детерминированный: должен сделать не менее 2n−1 запросов, чтобыразличить случаи (б) и (к).
Вероятностный:1 выберем две случайные точки x , y ;2 запросим значения функции в этих точках f (x), f (y);3 если f (x) = f (y), отвечаем (к), в противном случае — (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 29 / 36
![Page 73: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/73.jpg)
Классические алгоритмы для задачи Дойча – Джоза
Детерминированный: должен сделать не менее 2n−1 запросов, чтобыразличить случаи (б) и (к).
Вероятностный:1 выберем две случайные точки x , y ;2 запросим значения функции в этих точках f (x), f (y);3 если f (x) = f (y), отвечаем (к), в противном случае — (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 29 / 36
![Page 74: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/74.jpg)
Классические алгоритмы для задачи Дойча – Джоза
Детерминированный: должен сделать не менее 2n−1 запросов, чтобыразличить случаи (б) и (к).
Вероятностный:1 выберем две случайные точки x , y ;2 запросим значения функции в этих точках f (x), f (y);3 если f (x) = f (y), отвечаем (к), в противном случае — (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 29 / 36
![Page 75: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/75.jpg)
Классические алгоритмы для задачи Дойча – Джоза
Детерминированный: должен сделать не менее 2n−1 запросов, чтобыразличить случаи (б) и (к).
Вероятностный:1 выберем две случайные точки x , y ;2 запросим значения функции в этих точках f (x), f (y);3 если f (x) = f (y), отвечаем (к), в противном случае — (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 29 / 36
![Page 76: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/76.jpg)
Классические алгоритмы для задачи Дойча – Джоза
Детерминированный: должен сделать не менее 2n−1 запросов, чтобыразличить случаи (б) и (к).
Вероятностный:1 выберем две случайные точки x , y ;2 запросим значения функции в этих точках f (x), f (y);3 если f (x) = f (y), отвечаем (к), в противном случае — (б).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 29 / 36
![Page 77: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/77.jpg)
Вероятность ошибки
Ошибка односторонняя:(к) 0 (ответ всегда правильный);(б) 1/2 (вероятность того, что f (x) = f (y)).Вероятность ошибки можно уменьшить до 2−k , повторив алгоритм kраз.
ВыводДля любого ε > 0 существует вероятностный алгоритм, которыйрешает задачу Дойча – Джоза с вероятностью ошибки < ε за O(1)запросов.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 30 / 36
![Page 78: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/78.jpg)
Вероятность ошибки
Ошибка односторонняя:(к) 0 (ответ всегда правильный);(б) 1/2 (вероятность того, что f (x) = f (y)).Вероятность ошибки можно уменьшить до 2−k , повторив алгоритм kраз.
ВыводДля любого ε > 0 существует вероятностный алгоритм, которыйрешает задачу Дойча – Джоза с вероятностью ошибки < ε за O(1)запросов.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 30 / 36
![Page 79: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/79.jpg)
Вероятность ошибки
Ошибка односторонняя:(к) 0 (ответ всегда правильный);(б) 1/2 (вероятность того, что f (x) = f (y)).Вероятность ошибки можно уменьшить до 2−k , повторив алгоритм kраз.
ВыводДля любого ε > 0 существует вероятностный алгоритм, которыйрешает задачу Дойча – Джоза с вероятностью ошибки < ε за O(1)запросов.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 30 / 36
![Page 80: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/80.jpg)
План
1 Введение
2 Квантовый запрос
3 Моделирование классических действий квантовыми
4 Фазовый запрос
5 Задача Дойча
6 Задача Дойча – Джоза
7 Алгоритм Гровера: поиск иголки в стоге сена
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 31 / 36
![Page 81: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/81.jpg)
Задача поиска
ФормулировкаДано: «черный ящик», который вычисляет функцию f : M → 0, 1,где M — некоторое конечное множество размера m.Заранее известно: функция равна 1 ровно в одной точке yмножества M.Найти: точку y .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 32 / 36
![Page 82: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/82.jpg)
Нижняя оценка для вероятностных алгоритмов поиска
ТеоремаЛюбой вероятностный алгоритм, решающий задачу поиска свероятностью ошибки < ε, делает Ω(m) запросов.
Доказательство
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 33 / 36
![Page 83: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/83.jpg)
Нижняя оценка для вероятностных алгоритмов поиска
ТеоремаЛюбой вероятностный алгоритм, решающий задачу поиска свероятностью ошибки < ε, делает Ω(m) запросов.
Доказательство
Предполагаем, что алгоритм делает ровно k запросов и смотрит наответы после выполнения всех запросов. (Неадаптивный алгоритм.)Это не ограничивает общности, поскольку до момента, когда найденаточка y , все ответы одинаковы и любой алгоритм ведет себя так же,как некоторый неадаптивный.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 33 / 36
![Page 84: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/84.jpg)
Нижняя оценка для вероятностных алгоритмов поиска
ТеоремаЛюбой вероятностный алгоритм, решающий задачу поиска свероятностью ошибки < ε, делает Ω(m) запросов.
Доказательство
Предполагаем, что алгоритм делает ровно k запросов и смотрит наответы после выполнения всех запросов. (Неадаптивный алгоритм.)Это не ограничивает общности, поскольку до момента, когда найденаточка y , все ответы одинаковы и любой алгоритм ведет себя так же,как некоторый неадаптивный.Оценка в «худшем случае». Ответы готовит «противник», которыйстремится минимизировать вероятность успеха.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 33 / 36
![Page 85: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/85.jpg)
Нижняя оценка для вероятностных алгоритмов поиска
ТеоремаЛюбой вероятностный алгоритм, решающий задачу поиска свероятностью ошибки < ε, делает Ω(m) запросов.
Доказательство
Пусть pS вероятность того, что алгоритм запросил точки из множестваS ⊂ M, |S | = k .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 33 / 36
![Page 86: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/86.jpg)
Нижняя оценка для вероятностных алгоритмов поиска
ТеоремаЛюбой вероятностный алгоритм, решающий задачу поиска свероятностью ошибки < ε, делает Ω(m) запросов.
Доказательство
Пусть pS вероятность того, что алгоритм запросил точки из множестваS ⊂ M, |S | = k .Успех алгоритма означает, что y ∈ S .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 33 / 36
![Page 87: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/87.jpg)
Нижняя оценка для вероятностных алгоритмов поиска
ТеоремаЛюбой вероятностный алгоритм, решающий задачу поиска свероятностью ошибки < ε, делает Ω(m) запросов.
Доказательство
Пусть pS вероятность того, что алгоритм запросил точки из множестваS ⊂ M, |S | = k .Успех алгоритма означает, что y ∈ S . Вероятность успеха:
p(y) =∑S3y
pS .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 33 / 36
![Page 88: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/88.jpg)
Нижняя оценка для вероятностных алгоритмов поиска
ТеоремаЛюбой вероятностный алгоритм, решающий задачу поиска свероятностью ошибки < ε, делает Ω(m) запросов.
Доказательство
Пусть pS вероятность того, что алгоритм запросил точки из множестваS ⊂ M, |S | = k .Успех алгоритма означает, что y ∈ S . Вероятность успеха:
p(y) =∑S3y
pS .
Существует такое y , что p(y) 6 k/m. Действительно,
1m
∑y
p(y) =1m
∑y
∑S3y
pS =k
∑pS
m=
km.
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 33 / 36
![Page 89: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/89.jpg)
Нижняя оценка для вероятностных алгоритмов поиска
ТеоремаЛюбой вероятностный алгоритм, решающий задачу поиска свероятностью ошибки < ε, делает Ω(m) запросов.
Доказательство
Вероятность успеха в худшем случае
p∗ 6km.
Если p∗ > 1− ε, то1− ε < p∗ 6
km,
значит, k > (1− ε)m, т. е. k = Ω(m).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 33 / 36
![Page 90: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/90.jpg)
Составляющие для алгоритма Гровера
фазовый запрос Oy : |x〉 7→ (−1)δ(y ,x)|x〉;Oy — отражение относительно гиперплоскости, ортогональной |y〉;еще один оператор Rψ = 2|ψ〉〈ψ| − I , где |ψ〉 = 1√
m
∑x |x〉;
Rψ|ψ〉 = |ψ〉. Если 〈ψ|ξ〉 = 0, то Rψ|ξ〉 = −ξ;Rψ — симметрия относительно прямой, содержащей |ψ〉;итерация Гровера G = RψOy .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 34 / 36
![Page 91: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/91.jpg)
Составляющие для алгоритма Гровера
фазовый запрос Oy : |x〉 7→ (−1)δ(y ,x)|x〉;Oy — отражение относительно гиперплоскости, ортогональной |y〉;еще один оператор Rψ = 2|ψ〉〈ψ| − I , где |ψ〉 = 1√
m
∑x |x〉;
Rψ|ψ〉 = |ψ〉. Если 〈ψ|ξ〉 = 0, то Rψ|ξ〉 = −ξ;Rψ — симметрия относительно прямой, содержащей |ψ〉;итерация Гровера G = RψOy .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 34 / 36
![Page 92: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/92.jpg)
Составляющие для алгоритма Гровера
фазовый запрос Oy : |x〉 7→ (−1)δ(y ,x)|x〉;Oy — отражение относительно гиперплоскости, ортогональной |y〉;еще один оператор Rψ = 2|ψ〉〈ψ| − I , где |ψ〉 = 1√
m
∑x |x〉;
Rψ|ψ〉 = |ψ〉. Если 〈ψ|ξ〉 = 0, то Rψ|ξ〉 = −ξ;Rψ — симметрия относительно прямой, содержащей |ψ〉;итерация Гровера G = RψOy .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 34 / 36
![Page 93: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/93.jpg)
Составляющие для алгоритма Гровера
фазовый запрос Oy : |x〉 7→ (−1)δ(y ,x)|x〉;Oy — отражение относительно гиперплоскости, ортогональной |y〉;еще один оператор Rψ = 2|ψ〉〈ψ| − I , где |ψ〉 = 1√
m
∑x |x〉;
Rψ|ψ〉 = |ψ〉. Если 〈ψ|ξ〉 = 0, то Rψ|ξ〉 = −ξ;Rψ — симметрия относительно прямой, содержащей |ψ〉;итерация Гровера G = RψOy .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 34 / 36
![Page 94: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/94.jpg)
Составляющие для алгоритма Гровера
фазовый запрос Oy : |x〉 7→ (−1)δ(y ,x)|x〉;Oy — отражение относительно гиперплоскости, ортогональной |y〉;еще один оператор Rψ = 2|ψ〉〈ψ| − I , где |ψ〉 = 1√
m
∑x |x〉;
Rψ|ψ〉 = |ψ〉. Если 〈ψ|ξ〉 = 0, то Rψ|ξ〉 = −ξ;Rψ — симметрия относительно прямой, содержащей |ψ〉;итерация Гровера G = RψOy .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 34 / 36
![Page 95: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/95.jpg)
Составляющие для алгоритма Гровера
фазовый запрос Oy : |x〉 7→ (−1)δ(y ,x)|x〉;Oy — отражение относительно гиперплоскости, ортогональной |y〉;еще один оператор Rψ = 2|ψ〉〈ψ| − I , где |ψ〉 = 1√
m
∑x |x〉;
Rψ|ψ〉 = |ψ〉. Если 〈ψ|ξ〉 = 0, то Rψ|ξ〉 = −ξ;Rψ — симметрия относительно прямой, содержащей |ψ〉;итерация Гровера G = RψOy .
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 34 / 36
![Page 96: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/96.jpg)
Квантовый алгоритм для решения задачи поиска
Алгоритм Гровера1 Приготавливаем состояние |0〉.2 Преобразуем состояние |0〉 в |ψ〉 = 1√
m
∑x |x〉.
3 Применяем b(π/4)√
mc раз оператор G .4 Измеряем полученное состояние в классическом базисе.5 Ответ: результат измерения.
ТеоремаЧисло запросов в алгоритме Гровера O(
√m).
Вероятность ошибки O(1/m).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 35 / 36
![Page 97: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/97.jpg)
Квантовый алгоритм для решения задачи поиска
Алгоритм Гровера1 Приготавливаем состояние |0〉.2 Преобразуем состояние |0〉 в |ψ〉 = 1√
m
∑x |x〉.
3 Применяем b(π/4)√
mc раз оператор G .4 Измеряем полученное состояние в классическом базисе.5 Ответ: результат измерения.
ТеоремаЧисло запросов в алгоритме Гровера O(
√m).
Вероятность ошибки O(1/m).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 35 / 36
![Page 98: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/98.jpg)
Квантовый алгоритм для решения задачи поиска
Алгоритм Гровера1 Приготавливаем состояние |0〉.2 Преобразуем состояние |0〉 в |ψ〉 = 1√
m
∑x |x〉.
3 Применяем b(π/4)√
mc раз оператор G .4 Измеряем полученное состояние в классическом базисе.5 Ответ: результат измерения.
ТеоремаЧисло запросов в алгоритме Гровера O(
√m).
Вероятность ошибки O(1/m).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 35 / 36
![Page 99: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/99.jpg)
Квантовый алгоритм для решения задачи поиска
Алгоритм Гровера1 Приготавливаем состояние |0〉.2 Преобразуем состояние |0〉 в |ψ〉 = 1√
m
∑x |x〉.
3 Применяем b(π/4)√
mc раз оператор G .4 Измеряем полученное состояние в классическом базисе.5 Ответ: результат измерения.
ТеоремаЧисло запросов в алгоритме Гровера O(
√m).
Вероятность ошибки O(1/m).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 35 / 36
![Page 100: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/100.jpg)
Квантовый алгоритм для решения задачи поиска
Алгоритм Гровера1 Приготавливаем состояние |0〉.2 Преобразуем состояние |0〉 в |ψ〉 = 1√
m
∑x |x〉.
3 Применяем b(π/4)√
mc раз оператор G .4 Измеряем полученное состояние в классическом базисе.5 Ответ: результат измерения.
ТеоремаЧисло запросов в алгоритме Гровера O(
√m).
Вероятность ошибки O(1/m).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 35 / 36
![Page 101: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/101.jpg)
Квантовый алгоритм для решения задачи поиска
Алгоритм Гровера1 Приготавливаем состояние |0〉.2 Преобразуем состояние |0〉 в |ψ〉 = 1√
m
∑x |x〉.
3 Применяем b(π/4)√
mc раз оператор G .4 Измеряем полученное состояние в классическом базисе.5 Ответ: результат измерения.
ТеоремаЧисло запросов в алгоритме Гровера O(
√m).
Вероятность ошибки O(1/m).
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 35 / 36
![Page 102: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/102.jpg)
Итерация Гровера как поворот в плоскости
G : C(|y〉, |ψ〉) → C(|y〉, |ψ〉)
sinϑ = 〈ψ|y〉 =1√m,
ϑ =1√m
+ o(m−1).
Вектор состояния поворачиваетсяв направлении |y〉 на угол ∼ 2/
√m
за итерацию.Начальный угол почти прямой.После k = b(π/4)
√mc итераций
угол станет O(1/√
m).Вероятность ошибки: квадрат сину-са угла, т. е. O(1/m).
|ψ〉
|y〉
ϑ
2ϑ
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 36 / 36
![Page 103: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/103.jpg)
Итерация Гровера как поворот в плоскости
G : C(|y〉, |ψ〉) → C(|y〉, |ψ〉)
sinϑ = 〈ψ|y〉 =1√m,
ϑ =1√m
+ o(m−1).
Вектор состояния поворачиваетсяв направлении |y〉 на угол ∼ 2/
√m
за итерацию.Начальный угол почти прямой.После k = b(π/4)
√mc итераций
угол станет O(1/√
m).Вероятность ошибки: квадрат сину-са угла, т. е. O(1/m).
|ψ〉
|y〉
ϑ
2ϑ
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 36 / 36
![Page 104: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/104.jpg)
Итерация Гровера как поворот в плоскости
G : C(|y〉, |ψ〉) → C(|y〉, |ψ〉)
sinϑ = 〈ψ|y〉 =1√m,
ϑ =1√m
+ o(m−1).
Вектор состояния поворачиваетсяв направлении |y〉 на угол ∼ 2/
√m
за итерацию.Начальный угол почти прямой.После k = b(π/4)
√mc итераций
угол станет O(1/√
m).Вероятность ошибки: квадрат сину-са угла, т. е. O(1/m).
|ψ〉
|y〉
ϑ
2ϑ
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 36 / 36
![Page 105: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/105.jpg)
Итерация Гровера как поворот в плоскости
G : C(|y〉, |ψ〉) → C(|y〉, |ψ〉)
sinϑ = 〈ψ|y〉 =1√m,
ϑ =1√m
+ o(m−1).
Вектор состояния поворачиваетсяв направлении |y〉 на угол ∼ 2/
√m
за итерацию.Начальный угол почти прямой.После k = b(π/4)
√mc итераций
угол станет O(1/√
m).Вероятность ошибки: квадрат сину-са угла, т. е. O(1/m).
|ψ〉
|y〉
ϑ
2ϑ
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 36 / 36
![Page 106: 20110204 quantum algorithms_vyali_lecture02](https://reader038.vdocuments.site/reader038/viewer/2022110310/5594a6201a28ab5e348b45af/html5/thumbnails/106.jpg)
Итерация Гровера как поворот в плоскости
G : C(|y〉, |ψ〉) → C(|y〉, |ψ〉)
sinϑ = 〈ψ|y〉 =1√m,
ϑ =1√m
+ o(m−1).
Вектор состояния поворачиваетсяв направлении |y〉 на угол ∼ 2/
√m
за итерацию.Начальный угол почти прямой.После k = b(π/4)
√mc итераций
угол станет O(1/√
m).Вероятность ошибки: квадрат сину-са угла, т. е. O(1/m).
|ψ〉
|y〉
ϑ
2ϑ
М. Вялый (ВЦ РАН) Лекция 2: Квантовый «черный ящик» Санкт-Петербург, 2011 36 / 36