Главная » Просмотр файлов » М. Нильсен, И. Чанг - Квантовые вычисления и квантовая информация

М. Нильсен, И. Чанг - Квантовые вычисления и квантовая информация (1156771), страница 133

Файл №1156771 М. Нильсен, И. Чанг - Квантовые вычисления и квантовая информация (М. Нильсен, И. Чанг - Квантовые вычисления и квантовая информация) 133 страницаМ. Нильсен, И. Чанг - Квантовые вычисления и квантовая информация (1156771) страница 1332019-09-18СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 133)

Определим 2п х 2п матрицу Л следующим образом: л-[ (10.84) Здесь матрицы Х имеют размер п х и. Элементы д и д' группы Паули коммутируют тогда и только тогда, когда т(д)Лт(д") = О. Формула хЛу определяет некоторое «косое» скалярное произведение матричных строк х и у, которое показывает, коммутируют ли соответствующие им элементы группы Паули, э'пражненне 10.33. Покажите, что д и д' коммутируют тогда и только тогда, когда т(д)Лт(д )т = О. (При использовании проверочных матриц арифметические операции производятся по модулю 2.) Ътпражненне 10.34.

Пусть Я = (дм...,дД. Покажите, что — Х не является элементом Я тогда и только тогда, когда д~д = Х для всех «', и д ф — Х для всех у. 'Упражнение 10.35. Пусть о — подгруппа С„, не содержащая — Х. Покажите, что д = Х для всех д 6 Я и, следовательно, д1 = д. Пусть Я = (ди..., дД. Существует очень полезный способ представления образующих дм..., д~ с использованием проверочной матлХтицм.

Это матрица 1 х 2п, строки которой соответствуют образующим от дс до дь Левая половина матрицы содержит единицы в позициях, соответствующих операторам Х в образующих. Правая половина матрицы содержит единицы в позициях, соответствующих операторам Я. Единица, находящаяся в одной позиции в левой и правой половинах матрицы, соответствует оператору У в образующей.

Более строго, »тя строка строится следующим образом. Если д~ содержит Х в Х-ом кубите, то в (-ом и п+ ~-ом столбцах стоят нули; если д; содержит Х в ~-ом кубите, то в Х-ом столбце стоит 1, а в п + Х-ом — ноль; если д; содержит У в ~-ом кубите, то в ~-ом и п + ~-ом столбцах стоят единицы; наконец, если д; содержит Я в ~-ом кубите, то в ~-ом столбце стоит ноль, а в п+ ~-ом — единица.

Для семикубитового кода Стина мы можем записать проверочную матрицу, используя рис. 10.6: 562 Глава 10. Исправление квантовых ошибок Полезная взаимосвязь между независимостью образующих и проверочной мат- рицей устанавливается с помощью следующего утверждения: эттверждение 10.3. Пусть Я = (дм...,д») не содержит — 1. Образующие д»,..., д» независимы тогда и только тогда, когда строки соответствующей проверочной матрицы линейно независимы. Доказатиельстиво.

Приведем доказательство от противного. Заметим сыачэла, что дд равно 1 для всех т (упр. 10.35). Кроме того, г(д) + г(д') = т(дд'), т. е. сложение в строковом представлении соответствует умножению элементов группы. Поэтому строки проверочной матрицы линейно зависимы (2 '» а»г(д») = 0 и ат ф 0 для некоторого у) тогда и только тогда, когда П»д," равно тождественному оператору с точностью до некоторого множителя. Но — Х ф Я, поэтому множитель должен быть равен 1, и последнее условие эквивалентно условию ду = д ' = П» д,".

Следовательно, д»,..., д» не независимые Образующие. ° С помощью следующего утверждение легко доказать, что т'з имеет размерность 2", если Я задается» = и — к коммутирующими независимыми образующими и — 1 ф Я. Мы еще не рэз используем это утверждение. Доказательство опять проводится с использованием проверочной матрицы. Ъттверждение 10.4. Пусть группа Я = (дм...,д») задана» независимыми образующими и — Х ф Я.

Допустим, что т' — некоторое число из набора 1,..., ». Существует д е С„, такое, что дд»д = — д» и дд д = дт для любого т' ф т. Доиазаительстиво. Пусть С вЂ” проверочная матрица, соответствующая операторам д»,...,д». В соответствии с утверждением (10.3) строки С линейно независимы, поэтому существует такой 2и-мерный вектор х, что СЛх = еп где е» вЂ” »-мерный вектор с единицей в т-й позиции и остальными нулями в остальных позициях. Выберем д так, что г(д) = х~. Тогда по определению х мы имеем г(д )Лт(д) = 0 для т ~ т и г(д»)Лг(д)т = 1. Следовательно, дд»дт = — д» и дд.дт = д для т' ~ т. ° Мы завершим рассмотрение основных элементов формализма стабилизаторов доказательством того, что т'з ыетривиально, если Я задается независимыми коммутирующими образующими и — 1 ф Я.

Действительно, для» = и — )т абра; зующих, Уз должно быть 2"-мерным (мы докажем это). Интуитивно понятно, что добавление одной образующей уменьшаег размерность Ъя в два раза из-за того, что собственные пространства тензорного произведения матриц Паули, соответствующие собственным значениям +1 и — 1, делят гильбертово пространство на два надпространства одиыаковой размерности. эттверждение 10.5. Пусть Я = (д»,..., д») порождается и — »т независимыми коммутирующими элементами С„и — 1 ф Я. Тогда $~ — 2ь-мерное векторное пространство. Во всех наших последующих рассуждениях в формализме стабилизаторов мы считаем, что стабилизаторы описываются независимыми коммутирующими образующими, такими, что — Х ф Я.

10.5. Симплектические коды 563 Доназатпельсгпво. Пусть з = (зп..., за в) — 2" "-мерный вектор с элементами из Уэ. Введем П~=ь" (1+ ( 1)*'д1) 2а-ь (10.85) Так как оператор (1+ д )/2 является проектором на собственное пространство д., соответствующее собственному числу +1, легко видеть, что Рз '"' (о,...,о) проектор на гз. В соответствии с утверждением 10.4, для каждого х существует д из множества С„, такое, что д Рз '"' (д,) = Рз и, следовательно, (о,...,о) размерность Рз совпадает с размерностью $''з, Легко видеть, что Рз для различных х ортогональны.

В завершение доказательства заметим, что 1=~~ Рз. (10.86) В левой части равенства стоит проектор на 2"-мерное пространство, в правой части — сумма 2" " ортогональных проекторов, имеющих такую же размер- ность, что и гз. Таким образом, размерность $ з равна 2ь. 10.5.2 Унитарные операторы и формализм стабилизаторов Мы уже обсудили использование формализма стабилизаторов для описания векторных пространств. С помощью формализма стабилизаторов можно также описывать динамику этих пространств в пространстве состояний под действием различных квантовых преобразований. Это очень важно, так как мы сможем описать квантовые коды, исправляющие ошибки, в формализме стабилизаторов и получим удобный способ описания шума и других динамических процессов в этих кодах.

Предположим, что мы действуем унитарным оператором У на векторное пространство Ъз, которое стабилизируется группой Я. Пусть |4) — произвольный элемент гз. Тогда для любого оператора д из Я У)Ф) = УдЯ = УдУ1 УЯ, (10.87) т. е. состояние У~4) стабилизируется оператором УдУ1. Следовательно, векторное пространство УУз стабилизируется группой УЯУ1 = (УдУ1~д Е 51. Коли дм..., дс — образующие группы Я, то Удд У1,..., Уд~ У1 — образующие группы УоУ1, поэтому, чтобы понять, как меняется стабилизатор под действием унитарного оператора, достаточно определить, как меняются его образующие. Большим преимуществом такого подхода является то, что для некоторых унитарных операторов У изменение образующих записывается особенно просто.

Предположим, например, что мы применяем элемент Адамара к одному кубиту. Заметим, что 564 Глава 10. Исправление квантовых ошибок НХН1 = Я, НУН1 = -У НЕН1 = Х (10.88) отсюда следует, что применив элемент Адамара к состоянию, стабилвзируемому оператором Я (состоянию ~0)), мы получим состояние, стабилизируемое оператором Х (~+)). Этот пример может показаться не слишком впечатляющим, поэтому рассмотрим состояние и кубитов, стабилизируемое группой (Яы Яз,..., Я„). Нетрудно понять, что это состояние ~0) н". Применим элемент Адамара к каждому кубиту. Стабилизатор при этом перейдет в (Хп Хю..., Х„); мы получим знакомое нам состояние, являющееся суперпозицией всех состояний вычислительного базиса с равными весами.

Заметим, что в этом примере для записи получившегося состояния обычным способом (в виде вектора) нужно задать 2" амплитуд. В формализме стабилизаторов нам потребовалось всего п образующих (Хп Хз,..., Х„). Можно подумать, что такая компактная запись не является неожиданностью, поскольку в данном случае мы не получаем запутанных состояний. Однако в формализме стабилизаторов можно эффективно описать и элемент СКОТ, который вместе с элементом Адамара способен создать запутанные состояния. Чтобы показать это, рассмотрим, как действует элемент СКОТ на операторы Хм Хз, А и Яз.

Характеристики

Тип файла
DJVU-файл
Размер
11,78 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Зачем заказывать выполнение своего задания, если оно уже было выполнено много много раз? Его можно просто купить или даже скачать бесплатно на СтудИзбе. Найдите нужный учебный материал у нас!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6430
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее