- •Протокол: Обманчивая передача
- •Протокол – обманчивая
- •Видно, что В не получает никакой информации о z j для j i
- •Лекция 9
- •Понятие о квантовых вычислениях
- ••В квантовом компьютере бит это квантовая система с двумя возможными физическими состояниями элементарной
- •Обозначения
- •n- кубитовый регистр
- •Вычисление функции в кубитовом регистре
- •Идея квантовых вычислений
- •Элементарные преобразования
- •Задачи, решаемые с помощью квантового компьютера
- •Алгоритм Дойча (алгоритм параллельных вычислений)
- •Решение
- •Построение матриц Адамара
- •Алгоритм Дойча-Джоза
- •Алгоритм ускоренного поиска (алгоритм Гровера)
- ••Идея алгоритма Гровера состоит в том, чтобы увеличить, например, │λx│ за счет других
- •Математическое преобразование - инверсия относительно среднего (ИОС)
- •Пример ИОС
- •Этапы алгоритма Гровера
- •Пример алгоритма Гровера
- •Представление булевой функции таблицей истинности
- •Далее рассмотрим преобразование для функции от 3-х аргументов
- •Представление нулевого состояния 1,2, 3-кубитного регистра вектором, используем Кронекерово произведение
- •Построение матриц Адамара
- •инверсия относительно среднего.
- •Результаты преобразования
- •Выводы
- •1. Принцип построения КС РША 1978г.
- •Квантовый компьютер и криптосистема РША
- •Идея алгоритма Шора
- •Пример факторизации на основе поиска периода
- •Пояснения к предыдущему слайду
- •Реализация алгоритма Шора на двух квантовых регистрах
- •Этапы алгоритма Шора
- •Пояснение к демонстрации
- •Рис. 5. Инициализация регистров
- •Рис. 7. Применение квантового возведения в степень
- •Измерение состояния регистра Y
- •Вычисление периода
- •Пример дискретного преобразования Фурье для функции f ( x ) 2x mod 15
- •Квантовое преобразование Фурье
- •Для нашего примера f ( x ) 2x mod 15 состояние регистра после
- •Случай, когда r не делит N
- •Алгоритм дискретного логарифмирования Шора на квантовом компьютере
- •Дискретный логарифм – это математическая задача обращения функции в конечной мультипликативной абелевой группе
- •Доказательства представленных равенств:
- •Идея вычисления дискретного логарифма
- •Структурная схема квантового вычислителя дискретного логарифма
- •Выполненин алгоритма
- •Выполнение алгоритма
- •Выполнение алгоритма
- •DLP – discrit logarithm problem
- •Вопросы реализации квантовых вычислений
- •Способы практической реализации квантовых компьютеров
- •Исследования квантового компьютера
- •Квантовое настоящее
- •Ядерные магнитно-резонансные компьютеры
- •Выравнивание спинов–молекулы (например, хлороформ 13CHCl3) помещаются в растворитель (например, дейтерированный ацетон (СD3)2CO. Затем
- •Современный ядерный компьютер
- •Параметры российского 70-кубитного квантового компьютера на ионах иттербия.
- •70-кубитный компьютер
- •ЭВМ – 50-е годы ХХ века
- •Современный ядерный
Идея квантовых вычислений
• Принцип квантовых вычислений заключен в увеличении модуля комплексных амплитуд │λx0│тех состояний x0 , f (x),
которые хотелось бы получить в результате считывания.
•Процесс вычисления – последовательность унитарных преобразований ненаблюдаемого состояния регистра.
Унитарное преобразование задается унитарной матрицей - Н. Матрица Называется унитарной , если H H где - комплексно сопряженная матрица.
Этим обеспечивается обратимость преобразования.
Для обратимых преобразований выполняется условие нормировки
02 12 1
12
Элементарные преобразования
Нaзвание и |
Результат |
обозначение |
преобразования |
Тождественное
преобразование II
Отрицание X
Фазовый сдвиг -Z
Фазовый сдвиг
с отрицанием Y
Преобразование
Адамара Н
CNOT
Прибавление ко второму биту первого
mod2
0 |
0 |
|
|
|
1 |
1 |
|
|
|
0 |
1 |
|
|
|
1 |
0 |
|
|
|
0 |
0 |
|
|
|
1 |
1 |
|
|
|
0 |
0 |
|
|
|
1 |
1 |
|
|
|
0 |
|
1 |
( 0 |
1 ) |
|
|
2 |
|
|
1 |
|
1 |
( 0 |
1 ) |
|
|
2 |
|
|
00 |
00 |
01 |
01 |
10 |
11 |
11 |
10 |
Матрица 
1 |
|
0 |
|
||
|
0 |
|
1 |
|
|
|
|
|
|
||
0 |
|
1 |
|
||
|
1 |
|
0 |
|
|
|
|
|
|
||
1 |
|
0 |
|||
|
0 |
|
|
|
|
|
|
1 |
|||
|
0 |
|
1 |
|
|
|
1 |
0 |
|
||
|
|
||||
|
1 |
|
1 |
|
1 |
|
|
|
1 |
|
|
|
2 |
|
|||
|
|
|
1 |
||
1 |
0 |
0 |
0 |
||
|
0 |
1 |
0 |
0 |
|
|
|
|
|
|
|
|
0 |
0 |
0 |
1 |
|
|
|
||||
|
0 |
0 |
1 |
0 |
|
13
Задачи, решаемые с помощью квантового компьютера
•Проверка является ли булева функция константой
– алгоритм Дойча-Джоза.
•Задача поиска решения уравнения f (x) 1 , где функция принимает значения (0,1) – алгоритм Гровера.
•Квантовое преобразование Фурье.
•Задача факторизации числа – алгоритм Шора.
•Задача дискретного логарифмирования-алгоритм Шора
14
Алгоритм Дойча (алгоритм параллельных вычислений)
• Рассмотрим булеву функцию от одной переменной
• f (x) :{0,1} {0,1}
Существует всего 4 таких функций:
|
|
x |
f1 |
f2 |
f3 |
f4 |
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
1 |
0 |
1 |
|
|
|
|
|
|
|
|
|
• |
|
1 |
0 |
1 |
1 |
0 |
4 |
|
|
|
|
|
|
||
Первые две функции – функции константы, 3 и |
|||||||
функции не константы. Чтобы определить тип функции, нужно в классической системе сделать два запроса на вычисления. При квантовых вычислениях – только один.
15
Решение
Запишем состояния 0 и1 кубита
q 0 |
|
0 1 |
1 |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||||||||
0 1 |
|
0 |
0 |
1 |
или |
|
0 |
|
|
1 |
|
|||||||
|
|
|
||||||||||||||||
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1 0 |
|
0 |
1 |
1 |
или |
|
1 |
|
0 |
|
|
|||||||
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Сначала возьмем систему из одного кубита в базисном состоянии, соответствующем логическому нулю.
К полученному кубиту применяем преобразование Адамара
H1 |
|
1 |
|
1 |
1 |
|
|
|
1 |
|
|||
2 |
||||||
|
|
|
1 |
16
Построение матриц Адамара
H0 1, |
|
|
|
|
|
|
1 |
1 |
Hn 1 |
Hn 1 |
Hn 1 |
|
|
Hn |
|
|
Hn 1 |
|
|
|
1 |
1 |
|
|
Hn 1 |
||
|
|
|
1 |
1 |
|
|
1 |
1 |
|
||||||||
|
|
|
|||||||||||||||
|
|
|
|||||||||||||||
|
|
|
1 |
1 |
|
|
|
1 |
|
||||||||
|
|
|
1 |
||||||||||||||
|
|
|
|||||||||||||||
|
|
|
|||||||||||||||
1 |
1 |
H2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
H1 |
|
|
1 |
1 |
|
|
1 |
|
1 |
||||||||
|
|
|
|||||||||||||||
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
1 |
1 |
|
1 |
1 |
|
|||||||||||
|
|||||||||||||||||
|
|
|
|||||||||||||||
|
|
|
|
|
|||||||||||||
|
|
|
|||||||||||||||
17
H |
|
0 |
|
1 |
1 |
1 |
1 |
|
|
1 |
|
1 |
|
1 |
( |
|
0 |
|
1 ) |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
||||||||||||||||
|
|
|
|
2 |
|
1 |
1 |
0 |
|
|
2 |
|
1 |
|
2 |
|
|
|
|
|
Это λi
• Далее выполняем еще одно преобразование, которое называется фазовый запрос Of
Of H |
|
0 |
|
1 |
|
( 1) f (0) |
0 |
|
|
1 |
|
1 |
|
( 1) f (0) |
|
1 |
(( 1) f (0) |
|
0 |
( 1) f (1) |
|
1 ) |
||
|
|
|
|
|||||||||||||||||||||
|
|
|
0 |
( 1) |
f (1) |
|
|
|
|
( 1) |
f (1) |
|
|
|
|
|||||||||
|
2 |
2 |
2 |
|||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||||||
•Далее еще раз применяем преобразование Адамара.
HOf H |
|
0 |
|
1 |
|
1 |
1 |
( 1) f (0) |
|
( 1) f (0) |
( 1) f (1) |
|
0 |
( 1) f (0) |
( 1) f (1) |
|
1 |
||
|
|
|
|||||||||||||||||
|
2 |
|
1 |
|
( 1) |
f (1) |
|
|
2 |
|
|
2 |
|
||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|||||
18
x |
f1 |
f2 |
f3 |
f4 |
|
|
|
|
|
0 |
0 |
1 |
0 |
1 |
|
|
|
|
|
1 |
0 |
1 |
1 |
0 |
|
|
|
|
|
• Таким образом после этих преобразований мы получаем суперпозицию состояний с амплитудами
|
( 1) f (0) |
( 1) f (1) |
, |
( 1) f (0) |
( 1) f (1) |
||||||||
0 |
|
|
2 |
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
получаем |
||
• Для функции типа константы |
|
|
|
|
|
|
|
|
|
||||
амплитуды |
|
|
и измерение конечного |
||||||||||
|
|
|
|
f (0) |
f |
(1) |
|
||||||
состояния с вероятностью |
|
|
|
|
|
|
|
определит, |
|||||
0 1, 1 |
0 |
|
|
|
|
|
|
|
|
|
|
||
что система находится в состоянии |
0 |
|
2 |
1 |
. |
|
|
||||||
|
|
|
|||||||||||
|
|
|
P |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
19
• |
Для функции, не являющейся константой |
||||||||
f (0) f (1) амплитуды равны |
0 0, 1 1 |
||||||||
и с вероятностью |
P |
|
1 |
|
2 получим состояние |
||||
|
|
||||||||
|
. |
|
|
|
|
1 |
|
||
• |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
||
Таким образом в процесс только одного |
|||||||||
|
измерения мы получаем результат , |
||||||||
который означает, что функция |
является |
||||||||
|
|
|
|
|
|
|
|
|
f (x) |
|
константой или не константой в противном |
||||||||
случае.
20
Алгоритм Дойча-Джоза
• Обобщает алгоритм Дойча на случай функции n
переменных |
0 |
1 |
n 1 |
) : |
|
|
n |
|
|
|
|
||||||||||
|
|
|||||||||
|
f (x |
, x |
, , x |
|
0,1 |
|
|
0,1 |
•Позволяет определить за одно измерение является ли функция константой или сбалансированной функцией , т.е. если в половине случаев она принимает значение 0, а в другой половине 1.
• Амплитуда |
принимает значение |
|
если функция константа и 0, если она |
1 |
|
сбалансирована. |
|
|
0 |
|
|
21
