Пусть вектор состояния ψ , заданный в

Задача 4.1.6. Покажите, что введенные операторы проектирования задают ортогональное разложение единицы, т.е. выполняются условия:

jj

( I - тождественный оператор, единичная матрица).

91

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

Любое состояние кубита может быть получено из

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

(θ , ϕ ) на сфере Блоха нужно совершить поворот на

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

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

92

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

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

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

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

содержащее 2n измерений. В то же время, для квантовых систем соответствующее результирующее пространство

имеет гораздо большую размерность, а именно 2n . Это обуславливает экспоненциальный рост размерности

93

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

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

94

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

Например: 011 и 3 есть различная записи одного и

того же базисного состояния.

Задача 4.3.1. Основываясь на определении тензорного (кронекеровского) произведения матриц,

докажите следующее тождество:

(A B)(ψ (1) ψ (2) )= (Aψ (1) ) (B ψ (2) ) (3)

Здесь, для определенности, будем считать, что оператор A и состояние ψ (1) заданы в гильбертовом пространстве первой частицы, а оператор B и состояние

- в гильбертовом пространстве второй частицы.

95

двух векторов (Aψ (1) ) (B ψ (2) ), первый из которых

описывает действие оператора A на первую частицу, а

второй - действие оператора B на вторую частицу. Неожиданным с точки зрения обычной интуиции

является то, что состояние системы не всегда описывается в терминах состояния отдельных ее частей. Например, такое

состояние из двух кубитов как 00 + 11 не может быть разложено отдельно на состояния каждого из двух кубитов. Другими словами, мы не можем найти такие a1,b1,a2 ,b2 ,

которые обеспечивали бы выполнение следующего равенства:

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

(a1 0 + b1 1 ) (a2 0 + b2 1 )=

(5)

= a1a2 00 + a1b2 01 + b1a2 10 + b1b2 11

Отсюда следует, что a1b2 = 0 , поэтому либо a1a2 = 0 ,

либо b1b2 = 0 , что невозможно.

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

(entangled) состояниями.

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

96

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

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

4.4. Измерение кубитов

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

В силу Постулата 3 (раздел 3.1), вероятность того, что результат измерения примет заданное значение, есть сумма квадратов модулей амплитуд вероятности всех компонент, совместимых с результатом измерения.

Рассмотрим для примера измерения в системе из двух кубитов. Вектор состояния такой системы в общем случае есть:

97

окончательно для состояния после рассматриваемого измерения:

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

98

представлено в виде тензорного произведения отдельных

которое является запутанным. Теперь, результат измерения одного из кубитов влияет на то, какое состояние возникнет у второго кубита. Так, если первый кубит окажется в

кубита будет получено состояние 1 , то и второй кубит

обязательно будет обнаружен в состоянии 1 .

Рассматриваемое состояние является одним из так называемых состояний Белла. Подробнее свойства таких состояний будут описаны в разделах 4.8- 4.10

4.5. Простейшие квантовые логические элементы

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

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

99

Ниже приведены такие преобразования и соответствующие им матрицы.

Мы везде используем стандартный (канонический)

базис:

Тождественное преобразование задается единичной двумерной матрицей

Матрицы Паули задают следующие преобразования:

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

Элемент Паули X есть оператор отрицания (negation), он осуществляет обмен состояниями, т.е.

100