Исследование достоверности результатов работы квантового компьютера Текст научной статьи по специальности «Электротехника, электронная техника, информационные технологии»

Секция вычислительной техники

УДК 530.007

В.Ф. Гузик, С.М. Гушанский

ИССЛЕДОВАНИЕ ДОСТОВЕРНОСТИ РЕЗУЛЬТАТОВ РАБОТЫ КВАНТОВОГО КОМПЬЮТЕРА

В настоящее время вне зависимости от пути и способа создания квантового компьютера (будь он основан на импульсном ядерном магнитном резонансе или на использование энергии ионов, захваченных ионными ловушками, создаваемыми в вакууме или на состояниях сверхпроводников, связанных переходами Джозефсона) схема его пока остается одинаковой (рис.1)[1].

Рис.1. Структура квантового компьютера

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

.

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

♦ проблема изоляции сложной квантов ой системы от внешних воздействий;

♦ проблема достоверн ости результатов, получаемых в ходе эволюции сис-

;

♦ проблема физической организации квантовой системы;

♦ проблема трудности воздействия на отдельный кубит в большом их ан-

.

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

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

Своеобразие квантовых состояний проявляется в том, что они очень чувствительны к внешним воздействиям. Это объясняется их сверхмалыми размерами. ,

дибромотиофена 8СИ:(СБг)2:СИ, на которых реализуется кубит, от теплового воздействия со стороны других атомов. Причем здесь следует сказать, что если воздействие внешнего поля вызывает унитарное преобразование, то есть обратимое возмущение состояния системы, то измерение всегда приводит к необратимому изменению этого состояния. Таким образом, ошибки в квантовых состояниях бывают двух типов: обратимые, которые могут происходить и в классических вычис-, ,

природой (декогерентизация). Однако такая классификация ошибок не точно отражает суть дела. Более правильным было бы классифицировать все возможные ошибки на локальные, т.е. затрагивающие содержимое только одного кубита, и глобальные, затрагивающие неограниченное число кубитов [2]. При этом в случае запутанного состояния локальные воздействия (измерения) способны привести к появлению глобальных ошибок. В ходе вычислений естественно будут возникать оба эти типа ошибок, с которыми необходимо бороться. Корректировка локальных ошибок реализуется гораздо проще, чем глобальных. Можно также предположить,

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

, ,

этот тип не встречается в мире классических систем [2]. Поэтому направления исследований (на основе классической теории информации, а также понятия кода )

процессов могут быть следующими:

♦ использование кодов, корректирующих ошибки кодов с привлечением дополнительных кубитов;

♦ внесение коррекции в квантовый алгоритм;

♦ создание отказоустойчив ых квантовых гейтов;

♦ использование физических свойств самих кубитов и природы квантово-

.

В [3] показано, что время декогерентизации для отдельных квантовомехани-ческих систем может быть на несколько порядков (3-9) больше чем время, необходимое для завершения требуемого числа шагов вычисления какого-либо алгоритма на квантовом компьютере. С другой стороны, ошибка, обычно появляющаяся при переходе системы к возбужденному состоянию, будет автоматически исправляться, когда система релаксирует к основному состоянию. В работе[4] предложено реализовать отказоустойчивые квантовые гейты в подходящей среде с помощью

,

.

Для определенности будем считать, что все ошибки являются результатом квантового взаимодействия кубитов и окружающей среды. Возможные ошибки для каждого отдельного кубита будем представлять линейной комбинацией операторов: (I) (тождественное преобразование), (X) (инверсия), (2) (ф^овая ошибка), (У) ( ).

некоторое преобразование вида: е11 + е2Х + е3У + е42 . Взаимодействие с окружающей средой преобразует отдельные кубиты согласно выражению [5]

Ф ^ (е11 + е2X + езУ + е42)\фф = £ егЕг \фф ,

г

где фф ^ 0^0ф + вф - начальное состояние кубита,

|е...} - состояния среды.

Для больших квантовых регистров ошибки также выражаются линейными комбинациями унитарных операторов ошибок Ег. Эти операторы являются тензорными произведениями операторов ошибок отдельных кубитов {1,Х,У,2} или более общих многокубитовых операторов ошибок. В любом случае ошибку можно записать как

[5].

г

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

♦ отсутствие запутанности между квантовой системой и средой;

♦ наличие только местных или некоррелированных ошибок, т.е. ошибка только в нескольких кубитах;

♦ взаимодействие си мметрично.

Тогда общую схему квантовой коррекции представим в виде рис.2 [6]. Данная схема (рис.2.) является универсальной и позволяет объяснить принцип действия любого квантового кода коррекции ошибок. Квантовая система, представляющая собой ансамбль кубитов, первоначально кодируется по определенным правилам, с

( ). -лагается воздействие внешней среды на закодированную квантовую систему, в ходе которого может произойти ошибка либо в одном кубите, либо в нескольких, либо вообще не произойти. Для обнаружения возникновения ошибки используется так называемая анцилла синдрома, анализируя состояние которой можно говорить о наличии ошибки. Если таковая имеется, то происходит процесс ее коррекции, фактически за счет избыточного кодирования квантового состояния. Задача заключается в нахождении таких операторов кодирования и определении анциллы , -

, , -ка. После выполнения данной операции производится декодирование.

Рис.2. Общая схема квантовой коррекции

На основе такого подхода к решению проблемы достоверности результатов квантовых вычислений, если учесть, что совместное использование CNOT-гейта (контролируемое отрицание), гейта-Адамара-Уолша и кодирующей анциллы позволяет корректировать не только ошибки по амплитуде, но и фазовые, был разработан ряд более или менее отказоустойчивых кодов, которые можно условно разделить на несколько групп[6,7]:

♦ стабилизирующие коды - симплектические коды, основанные на классических методах, к которым можно отнести CSS-коды (коды Шора, Стина и Калдербанка); торические коды; линейные коды; коды с повторением;

коды Клиффорда, обобщающие стабилизирующие коды;

не аддитивные коды, не являющиеся стабилизирующими (Rains); ;

коды с использованием сдвиговых peracTpoB(QRS-KOflbi); ;

использование теории графов.

Каждая из данных групп является обобщением ряда однотипных кодов, различающихся количеством кубитов, необходимых для кодирования того или иного . , , достаточной гарантии успешной устойчивости к ошибкам устойчивости к ошибкам вычислений. Этому есть ряд причин[6]:

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

♦ коды, корректирующие ошибки, требуют дополнительного оборудования и в целом замедляют вычисления;

♦ ошибки при корректировке могут в озникать в самом коде коррекции;

♦ необходимо передавать достоверную информацию большой длительности и на большие расстояния;

♦ необходимо увеличивать продолжительность вычислений для получения

.

В заключение следует отметить возможные направления дальнейшего развития квантовых кодов коррекции ошибок[6]:

♦ увеличение размерности подсистем за счет увеличения размерности квантовой системы, обобщения стабилизирующих кодов и использования для больших алфавитов MDS-кодов;

♦ улучшенные модели ошибок, за счет поиска систем, в которых локальные-глобальные ошибки преобладают с наложением симметрии;

♦ совместная оптимизация квантово й коррекции ошибок и алгоритмов кодирования за счет оптимизации кодирования малых систем, увеличения

, -

дов коррекции.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Вал пев К.А., Кокин АЛ. Квантовые компьютеры: надежды и реальность. - Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001. - 352 с.

2. Ожигов Ю.И. Квантовые вычисления. Учебно-методическое пособие. - М.: МГУ, факультет ВМиК, 2003. - 104 с.

3. ДиВин ченцо ДМ. Квантовые вычисления / Пер. с англ. под ред. В А. Садовничего: Сборн. «Квантовый компьютер & квантовые вычисления» T.I. - Ижевск: Редакция журнала «Регулярная и хаотичная динамика», 1999, С.35-59.

4. . . : // . 6, 1997.

5. Риффель Э., Попак В. Основы квантовых вычислений / Пер. с англ. под ред. В. А. Садовничего: Сборн. «Квантовый компьютер & квантовые вычисления» T.I. № 1. -

: « ». 2000. - . 4-57.

6. 3rd European QIPC Workshop 15th-18th September 2002.

7. ., ., . . - .: , ЧеРо, 1999. - 192 с.

УДК 007.52

Ю.В. Чернухин

СТРУКТУРНЫЕ ОСОБЕННОСТИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ

Одним из выдающихся достижений информатики конца XX века является создание мощной программно-аппаратной системы Deep Blue, которая в 1997 году одержала победу в матче с чемпионом мира по шахматам Каспаровым. При изготовлении подобной системы в виде интеллектуального робота типа глаз-рука, ее структура, наряду с подсистемой искусственного интеллекта, содержит воспринимающую (сенсорную), исполнительную (эффекторную) подсистемы, а также блок

. -

, -

, .

Если расположить интеллектуальные системы в ряд по возрастанию уровня воспроизводимого ими интеллекта, то, очевидно, шахматный автомат (ША) глаз-

рука с интеллектом, реализованным на базе суперкомпьютера Deep Blue, займет

. , -

, .

обладают существенно меньшим интеллектом и при некоторых условиях функционирования являются обычными автоматами. В связи с этим возникает задача опре-