[МУЗЫКА]
[МУЗЫКА] В подавляющем
большинстве случаев для вычислений нам требуется больше одного бита.
Система, состоящая из нескольких кубит,
описывается тензорным произведением составляющих ее систем.
Поясним на примере.
Допустим, у нас есть два кубита.
Два атома водорода или два фотона.
И мы их измеряем в базисе 0, 1, нашем стандартном базисе.
Какие возможны варианты такого измерения?
Я их выпишу все, поскольку их немного.
Либо оба кубита измерились в 0,
либо первый в 0, второй — в 1.
Либо первый в 1, второй в 0.
Либо обе 1.
Нам и дальше будет удобно описывать состояние
всей системы как вектор в каком-то гильбертовом пространстве.
Результата измерения разных у нас теперь четыре.
Соответственно и базисных векторов в этом пространстве будет четыре.
И размерность пространства, получается, равна четырем.
Мы можем обозначить эти результаты измерения
как базисные вектора вот этого пространства и как-то их назвать.
Этот результат измерения мы
назовем как |00>, этот — как |01>,
это — как |10>, и это — |11>.
Это просто названия векторов в нашем базисе.
Теперь давайте представим,
что один из кубитов, одна из систем находилась в состоянии суперпозиции.
[БЕЗ СЛОВ] А,
например, вторая была в чистом состоянии.
Тогда в нашем новом базисе это состояние мы можем записать следующим образом.
[БЕЗ СЛОВ] И
вероятность получить результат измерения,
|00> по-прежнему равна |α²|.
И вероятность получить |1 0> = |β²|.
Просто потому что второй кубит у нас уже и так находится в состоянии 0,
и на самом деле мы определяем вероятность измерения первого кубита.
И разумеется, длина вектора по-прежнему, получается, равна 1.
То есть в четырехмерном пространстве у нас по-прежнему единичный вектор.
Если мы, более того, распишем,
что оба наших состояния были смешанными,
то есть были суперпозиции,
[БЕЗ СЛОВ]
то совокупное состояние в этом базисе мы можем записать следующим образом.
α * γ |00>
+ α * δ |01>
+ β * γ |10>
+ β * δ |11>.
При этом легко показать, что сумма
квадратов получившихся
коэффициентов по-прежнему
равна единице,
и каждый из них соответствует вероятности измерения
конкретного вектора в нашем четырехмерном пространстве.
Возьмем, например, вот этот.
Вероятность получить |01> — это вероятность
получить вектора здесь 0 и здесь 1,
вероятность здесь получить 0 — это α², здесь 1 — это δ².
И мы получаем перемножение этих вероятностей,
поскольку события у нас независимые.
Удивительно, но любой вектор
единичной длины
в пространстве размерности 2 в степени n
описывает какое-то состояние, возможное,
физически осуществимое состояние, системой, состоящей из n кубитов.
[БЕЗ СЛОВ] Нам нужно договориться,
как мы будем представлять вектора в этих пространствах в виде векторов-столбцов.
Например, для одного кубита мы рисовали картинку,
такой вектор у нас был 0, такой — 1.
И мы можем, например, сказать,
что вектор-нолик — это такой вектор-столбец,
а вектор-единичка — это такой вектор-столбец.
Какой столбец мы сопоставим вектору, например, |00>?
Естественный способ сделать четырехмерный вектор из
двух двухмерных — это взять их тензорное произведение.
То есть этот 0 тензорно умножить на 0.
[БЕЗ СЛОВ] Прошу прощения.
Это 1, 0,
и тензорное произведение — это обычное кронекерово произведение матриц.
То есть мы берем 1, умножаем на этот вектор,
потом берем вот этот 0, умножаем на вот этот вектор и
получаем такой тензор,
который естественным образом изоморфен
такому вектору четырехмерного пространства.
Получается, что |00> — это такой вектор-столбец,
у которого 1 стоит в самом верху.
Аналогично |01> — это тензороное произведение
0 на 1.
И мы опять 1 умножаем на (0, 1), получаем (0, 1).
И 0 умножаем на (0, 1), получаем (0, 0).
И вектор вот такой у нас представляется как 1,
стоящая на втором месте сверху.
Легко увидеть, что такой вектор будет таким
вектор-столбцом, где 1 стоит на третьем месте.
И |11> равна вектор-столбцу,
в котором 1 стоит на последнем месте.
Получается, что 1 стоит
на месте n, где n — это число,
кодируемое нашим вектором, + 1.
Таким образом, система из одного
кубита описывается вектором в пространстве размерности 2,
система из двух кубит описывается вектором в пространстве размерности 4,
система из трех кубит будет вектором в восьмимерном пространстве.
Система из десяти кубит будет описываться
уже вектором в пространстве размерности 1024,
и если мы, например, возьмем, систему, состоящую из тысячи кубит,
то размерность пространства системы вектора,
который описывает нашу систему, будет 2 в 1000-й.
Это (2 в 10-й) в 100-й.
Примерно (10 в 3-й) в 100-й,
и это равно 10 в 300-й.
Получается, что если мы построим компьютер всего лишь на тысяче атомах,
то состояние этого компьютера будет описываться
вектором с таким вот количеством компонентов,
то есть описываться таким количеством комплексных чисел.
Это, вообще говоря, значительно больше,
чем количество элементарных частиц в наблюдаемой Вселенной.
Понятно теперь, откуда у Фреймана был оптимизм относительно
перспективности квантовых вычислений.
Представим себе подброшенные в воздух монетки.
Если у нас подброшена одна монетка, она упадет на ладонь, мы получим два исхода.
Если мы подбросили одновременно две монетки, мы можем получить четыре исхода.
Три монетки — 8, десять монеток — 1024 разных исхода,
ну и с тысячью монетками — вот такое количество разных возможных исходов.
Однако квантовый компьютер отличается от просто подброшенных в воздух монеток.
И чем он отличается, мы сейчас объясним.
[БЕЗ СЛОВ]