Решения задач
Из раздела 10
10.1 Утверждение задачи вытекает из следующей леммы, которая будет полезна и в дальнейшем.
Лемма. Физически реализуемые преобразования матриц плотности имеют вид
( *) |
Доказательство. План доказательства следующий:
- докажем, что изометрическое вложение и взятие частичного следа имеют разложение в операторную сумму;
- докажем, что операторные суммы замкнуты относительно композиции;
- найдем представление произвольной операторной суммы в виде .
-
Условие изометричности вложения записывается как . Это означает, что изометрическое вложение представимо в виде операторной суммы из одного слагаемого.
Для частичного следа имеется следующее разложение в операторную сумму:
Заметим, что , а .( **) -
Пусть , — разложения двух преобразований в операторные суммы. Тогда их композиция также разлагается в операторную сумму:
-
Пусть преобразование разложено в операторную сумму , а — -мерное пространство, базисные векторы в котором обозначим . Отображение
является изометрическим вложением, поскольку Осталось заметить, что операторная сумма представляется в виде . Действительно,
10.2 Пусть , , . Тогда
10.3 Пусть — разложение в операторную сумму преобразования (см. задачу 10.1). Тогда
Такое представление позволяет легко проверить сформулированные в условии задачи свойства а)—в).Свойство а):
Свойство б):
Свойство в):
где
И наоборот, всякий неотрицательный оператор можно представить в виде , где — подходящим образом нормированные собственные векторы , отвечающие положительным собственным числам. Обозначим
тогда . Из условия следует Осталось проверить, что :10.4 Свойства а) и б) эквивалентны свойствам а) и б) из предыдущей задачи.
Пусть есть физически реализуемое преобразование матриц плотности . Тогда также является физически реализуемым преобразованием и поэтому обладает разложением в операторную сумму. Следовательно, переводит неотрицательные операторы в неотрицательные.
Для доказательства утверждения в другую сторону выведем из свойства в) данной задачи свойство в) предыдущей задачи.
Чтобы доказать неотрицательность матрицы по парам индексов, взятых в скобки, покажем, что она является матрицей оператора вида , где имеет вид . Действительно,
10.5 Воспользуемся результатом задачи 10.1. Представим в виде . Возьмем . Поскольку состояние
чистое, (это следует из замечания, сделанного после формулировки задачи 9.2). Из линейности следует, что не зависит от . Поэтому , где .10.6 Будем считать, что сразу же после измерения измеряемые q-биты выбрасываются в "мусорную корзину". Это соответствует преобразованию двух квантовых битов в классические:
Чтобы реализовать преобразование , нужно сначала подействовать унитарным оператором а затем произвести измерение в базисе ; после этого q-биты выбрасываются.Без ограничения общности, первый q-бит находится в чистом состоянии . (Если мы построим восстанавливающую процедуру для чистых состояний, то она по линейности будет продолжаться на смешанные). На третий q-бит измерение не действует, поэтому можно записать
где . Здесь рассматривается как оператор , поэтому . Заметим, что квадрат нормы вектора равен вероятности получения пары .Теперь запишем явное выражение для :
Из этого выражения сразу следует, что Так что состояние в третьем q-бите получится применением операторов и с классическим управлением: управляющими параметрами являются измеренные значения и .Схема квантовой телепортации изображена на рис. 15.9. Значком обозначен первый бит,— второй (q-бит Алисы),— третий (q-бит Боба). Когда Алиса хочет передать q-бит Бобу, она совершает измерения над ним и своим q-битом (дальше эти q-биты не используются, и она выбрасывает их в мусорную корзину). Результаты измерений она сообщает Бобу по классическому каналу связи (телефону). Боб, используя сообщение Алисы, превращает свой q-бит в q-бит .