4.2. Реализация произвольного состояния кубита посредством унитарного поворота.

Любое состояние кубита может быть получено из состояния посредством некоторого унитарного преобразования. Состоянию на сфере Блоха соответствует «северный» полюс. Нетрудно видеть, что для того, чтобы из «северного» полюса попасть в точку на сфере Блоха нужно совершить поворот на угол относительно оси , лежащей в плоскости .

Введем следующий унитарный оператор:

(4.4)

Задача4.6 Докажите справедливость представленного тождества путем разложения матричной экспоненты в ряд.

Оказывается, что оператор осуществляет поворот исходного блоховского состояния относительно оси на угол , что иллюстрируется следующей задачей.

Задача 4.7 Пусть исходное состояние есть . Подействуйте на него оператором , где . Покажите, что в результате получится следующее состояние кубита, отвечающее точке на сфере Блоха:

Заметим, что представленная запись для состояния кубита на сфере Блоха отличается от формулы (4.3) раздела 4.1 только несущественным фазовым множителем.

4.3. Система кубитов

Анализ системы кубитов, состоящей более чем из одного кубита, позволяет выяснить природу преимущества квантовых вычислений по сравнению с классическими.

В классической физике, возможные состояния системы частиц, индивидуальные состояния каждой из которых описываются вектором в двумерном векторном пространстве, образуют векторное пространство, содержащее измерений. В то же время, для квантовых систем соответствующее результирующее пространство имеет гораздо большую размерность, а именно . Это обуславливает экспоненциальный рост размерности пространства состояний с увеличением числа частиц, что, в свою очередь, лежит в основе возможного радикального увеличения скорости вычислений квантового компьютера по сравнению с классическим. С математической точки зрения отличие квантовых систем от классических заключается в том, что в классической физике пространство состояний образуется посредством операции декартового произведения, в то время как в квантовой – посредством тензорного произведения.

Проиллюстрируем особенности квантовых систем на примере регистра из 3 кубитов. Базис такой системы состоит из векторов:

Например, запись означает тензорное произведение . В стандартном представлении , , поэтому:

, ,…,

Число, стоящее в скобках Дирака, задает номер базисного квантового состояния в двоичном представлении. Например: и есть различная записи одного и того же базисного состояния.

Задача 4.8 Основываясь на определении тензорного (кронекеровского) произведения матриц, докажите следующее тождество:

Здесь считается, что оператор и состояние заданы в гильбертовом пространстве первой частицы, а оператор и состояние - в гильбертовом пространстве второй частицы. Указанное тождество показывает, что в составной системе действие оператора на двухчастичное состояние сводится к тензорному произведению двух векторов , первый из которых описывает действие оператора на первую частицу, а второй - действие оператора на вторую частицу.

Неожиданным с точки зрения обычной интуиции является то, что состояние системы не всегда описывается в терминах состояния отдельных ее частей. Например, такое состояние из двух кубитов как не может быть разложено отдельно на состояния каждого из двух кубитов. Другими словами, мы не можем найти такие , которые обеспечивали бы выполнение следующего равенства:

Действительно:

Отсюда следует, что , поэтому либо , либо , что невозможно.

Состояния системы, которые не могут быть представлены в виде произведения состояний ее частей, как уже указывалось ранее, называются запутанными (entangled) состояниями.

В соответствии с постулатами квантовой информатики полное описание каждого кубита в отдельности задается соответствующими однокубитовыми векторами состояний. Исходное состояние системы независимо приготовленных кубитов задается тензорным произведением однокубитовых состояний. При включении взаимодействия между кубитами возникают квантовые корреляции. В результате, совместное состояние регистра кубитов перестает быть сепарабельным, т.е. становится запутанным.

Запутанные состояния соответствуют ситуациям, которые не имеют классических аналогов и за которыми не стоит интуиция, подкрепленная наглядными механическими образами. Заметим, что такие состояния как раз и обеспечивают экспоненциальный рост размерности гильбертова пространства состояний в зависимости от числа кубитов.