[МУЗЫКА]
[МУЗЫКА] Ну
и напоследок давайте докажем одно полезное выражение для
оператора Адамара, действующего на систему из n кубит.
То есть если у нас есть n кубит
и на каждый из них надо подействовать оператором Адамара,
то можно, конечно, тензорно перемножать все эти матрицы 2 x 2 каждый раз,
а можно один раз доказать такое выражение.
Оператор Адамара для системы из n кубит на вектор
состояния системы x действует следующим образом.
[БЕЗ_ЗВУКА]
[БЕЗ_ЗВУКА] Где операция жирная точка x,
жирная точка y расписывается следующим образом: это
покомпонентное перемножение
битов в x и в y и
последующее сложение их по модулю 2.
[БЕЗ_ЗВУКА] Таким образом,
результат этой операции — всегда один бит.
И −1 у нас всегда будет в степени либо 1, либо 0.
Обратите, пожалуйста, внимание.
Здесь, например, y встречается в двух ипостасях: он встречается в скобках,
и тогда это вектор, и он встречается без скобок, и тогда это число.
Давайте на примере.
Вот это у нас вектор в восьмимерном пространстве.
Если мы стираем скобки, получаем такую вот битовую строку,
и это у нас в двоичном представлении число 5 — номер этого вектора в базисе.
Таким образом, здесь у нас мы перебираем все
возможные номера наших векторов базиса.
И складываем, получается,
в этой сумме присутствуют все вектора базиса нашего пространства,
у каждого из которых будет коэффициент −1 в степени либо 0, либо 1.
Например, если вектор x полностью кодируется строкой нулей,
то есть вектор x равен такому вектору,
то оператор Адамара от вектора x будет
равен 1 / 2 в степени n/2,
сумма по всем возможным n-битным
строкам векторов, кодируемых этими строками.
То есть равновзвешенная сумма всех векторов нашего пространства.
Доказываем по индукции.
База n = 1.
Оператор Адамара вот
какого-то кубита x, одного кубита,
равен 1 / √2, как мы помним, нолик всегда у нас с плюсиком,
а вот коэффициент при 1 зависит от x.
Если у нас x = 0,
то здесь будет 0 + 1, если x = 1, то будет 0 − 1,
что и соответствует обычному нашему оператору Адамара.
Ну и соответственно это можно представить как 1 / 2 в
степени 1/2, n = 1,
Σ по y = 0 до
2 в степени 1 − 1, то есть до 1.
(−1) в степени x жирная точка y.
В данном случае это просто x * y,
поскольку у нас они все по одному биту.
y.
То есть вот эта сумма просто представлена здесь со знаком суммы.
Индукционный переход.
Hn давайте от | x > распишем как
покубитное применение
оператора H каждому из кубитов.
Это коэффициенты при каждом из операторов мы можем вместе
перемножить и получить 1 / 2 в степени n/2.
И у нас получается тензорное произведение таких скобок.
(| 0 > + (−1) в степени xn
− 1 * | 1 > )
(| 0 > + (−1)
в степени xn − 2, то есть n в −2-й бит икса,
* | 1 >) и так далее до (| 0 >
+ (−1) в степени x0 * | 1 >).
В этом выражении мы можем раскрыть
первую скобку.
И получится, что оставшихся
скобок у нас будет n − 1,
и мы можем применить индукционное предположение, предположение индукции,
и вот эти скобки свернуть по этой формуле.
Сейчас мы это сделаем.
Итак, мы раскрываем первую скобку, у нас получается первый нолик | 0 >,
дальше умножить на это всё, а это всё — это оператор
Адамара n − 1 от подстроки |
x > до n − 2 бита + 1
√2 (− 1) в
степени xn − 1 | 1 > *
на опять оператор Адамара
для n −
1 кубита, | x >,
состоящий из n − 1 бита.
Итак, здесь Hn в −1-й — это произведение n − 1 такой скобки, и xn − 1 я,
может быть, не очень удачно обозначил, это подстрока икса без последнего бита.
Теперь мы можем воспользоваться индукционным предположением,
и вот эти операторы H n − 1 заменить на эту формулу.
Давайте это сделаем.
[БЕЗ_ЗВУКА]
[БЕЗ_ЗВУКА] Здесь
у нас вместо n n − 1.
[БЕЗ_ЗВУКА] Теперь
со вторым слагаемым.
[БЕЗ_ЗВУКА]
[БЕЗ_ЗВУКА]
[БЕЗ_ЗВУКА]
[БЕЗ_ЗВУКА]
[БЕЗ_ЗВУКА]
[БЕЗ_ЗВУКА] Итак,
давайте этот нолик внесем под сумму, сюда.
Перемножим здесь коэффициенты, получается 1
/ 2 в степени n/2.
Нолик мы договорились внести под сумму.
Здесь будет −1 в степени...
Давайте распишем эту жирную точку сейчас.
Это x0 y0 к [НЕРАЗБОРЧИВО] и так далее, она у нас была до n − 2.
xn − 2 * yn − 2.
И теперь я могу добавить
такую вот строчку.
x...
То есть не строчку, а бит.
xn − 1, правда, помноженный на ноль.
Все, что мы умножаем на ноль, дает ноль, сложением с
нулем ничего не меняет, поэтому вот такой вот член в сумму я добавить могу.
И у меня здесь внесенный наш вот этот нолик и y.
Обратите внимание, здесь у нас у y появился n − 1...
Как правильно сказать?
Бит с номером n − 1.
И здесь у нас в этой сумме уже n бит.
То есть n-й бит появился у y, который равен нулю.
И ту же самую операцию мы можем проделать с этой суммой.
Тоже перемножить коэффициенты,
тоже для (−1) расписать
x0 y0 и так далее.
И здесь у нас мы добавляем тоже n-й бит,
но домножаем его уже на 1, поскольку у нас здесь мы можем
внести также вот эту (−1) под сумму.
И здесь у нас получается | 1 >
тензорно на y.
Практически это уже то, что нам надо, только сумма у нас не одна, а две.
Ну так давайте их сложим и получим.
Ну, мне не хочется приседать.
Получим мы вот это.
Доказательство завершено.
Спасибо!