Научная статья на тему 'Количественные характеристики степени запутанности'

Количественные характеристики степени запутанности Текст научной статьи по специальности «Математика»

CC BY
760
190
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЧАСТИЧНАЯ ЗАПУТАННОСТЬ / КВАНТОВАЯ ТЕЛЕПОРТАЦИЯ / ПОЛОЖИТЕЛЬНАЯ ЧАСТИЧНАЯ ПЕРЕСТАНОВКА / ДИСТИЛЛИРУЕМАЯ ЗАПУТАННОСТЬ / СЕПАРАБЕЛЬНЫЕ СОСТОЯНИЯ / ЭНТРОПИЯ / PARTIAL ENTANGLEMENT / QUANTUM TELEPORTATION / POSITIVE PARTIAL REINSTALLATION / DISTILLED ENTANGLEMENT / SEPARABLE STATE / ENTROPY

Аннотация научной статьи по математике, автор научной работы — Гузик Вячеслав Филиппович, Гушанский Сергей Михайлович, Потапов Виктор Сергеевич

Описывается понятие абсолютной и частичной запутанности, условия их реализации и влияния на процесс и результат работы квантовых алгоритмов и квантовых систем. Также проведен и схематически проиллюстрирован процесс квантовой телепортации. В рамках выполненной реализации графически отражено влияние частичной запутанности на корректность телепортации с учетом величины ошибки. Проведена разработка ряда условий для количественной характеристики запутанности состояния. Также проанализированы и описаны наиболее известные типы мер квантовых запутанностей. Актуальность развития данного направления в квантовом мире имеет огромное значение в разработке и реализации квантовых вычислителей, так как без моделирования работы квантовых алгоритмов, их результатов становиться затруднительным, а иногда и вовсе невозможным технологии квантовых вычислений квантовые компьютеры и алгоритмы, квантовый криптоанализ. Рассмотрим также ряд других, не менее важных причин актуальности тематики: разработанная квантовая модель позволит наглядно увидеть сильные и слабые стороны модели, а также усовершенствовать ее в будущем; пока не создано квантового компьютера, единственная возможность практического изучения квантового компьютинга моделирование физических процессов квантового вычислителя, включая набор квантовых алгоритмов, на классическом или использование различных элементов физики и химии в не характерных для них состояниях и направлениях; в случае создания квантового вычислителя моделирование его прототипа станет наглядным пособием для понимания основных процессов и явлений, благодаря которым стало возможным его создание; разработанная квантовая модель с набором квантовых алгоритмов и ее доказанные преимущества позволят легче привлечь инвестиции в физическое создание и совершенствование квантового компьютера. Научная новизна данного направления в первую очередь выражается в постоянном обновлении и дополнении поля квантовых алгоритмов, а взаимосвязь квантовых алгоритмов и такого важного квантового свойства, как запутанность и вовсе слабо освещена в мире. Однако именно это явление и его процесс может в полной мере раскрыть природу не только работы квантовых алгоритмов, но и всех квантовых вычислений в целом. Конструирование новых квантовых алгоритмов и систем является динамичной областью, о чем свидетельствует количество существующих квантовых (45 алгоритмов и 160 статей, из которых не менее чем 14 были написаны в 2013 и 2014 годах). Хотя квантовые вычисления, основой для большинства которых является квантовая запутанность, еще не готовы к переходу от теории к практике, тем не менее, можно обоснованно догадываться какую форму, возможно, квантовый компьютер примет, или, что более важно для дизайна языка программирования, по какому интерфейсу можно будет взаимодействовать с таким квантовым компьютером.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Гузик Вячеслав Филиппович, Гушанский Сергей Михайлович, Потапов Виктор Сергеевич

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

QUANTITATIVE CHARACTERISTICS OF THE DEGREE OF ENTANGLEMENT

This article describes the concept of the absolute and partial entanglement, conditions of their implementation and impact on the process and the result of quantum algorithms and quantum systems. Also held and a schematic illustration of the process of quantum teleportation. As part of the implementation of graphically reflected the impact of the partial entanglement teleportation in correct given the magnitude of error. Spend the development a number of conditions for the quantitative characterization of the state of confusion. Also analyzed and described the most known types of measures of quantum entanglement. The relevance of this trend in the quantum world is great importance in the development and implementation of quantum calculators, as without simulation of quantum algorithms, their results become difficult and sometimes impossible to do quantum computing technology computers and quantum algorithms, quantum cryptanalysis. We also consider a number of other equally important reasons for the relevance of subjects: developed quantum model will clearly see the strengths and weaknesses of the model, as well as to improve it in the future; it is not created a quantum computer, the only opportunity to explore practical quantum computing quantum physics simulation of the calculator, including a set of quantum algorithms, the classic or use of various elements of physics and chemistry in not typical for these conditions and directions; In case of a quantum computer simulation of its prototype will be a visual aid for understanding the basic processes and phenomena, which have made it possible to create it; designed with a set of quantum model of quantum algorithms and its proven benefits will make it easier to attract investment in the physical creation and improvement of a quantum computer. The scientific novelty of this area is primarily expressed in constant updating and supplementing the field of quantum algorithms, and relationship of quantum algorithms and such important properties as confusion and did poorly lit in the world. However, this phenomenon and its process can fully disclose the nature of the work not only of quantum algorithms, but all of quantum computing in general. Construction of new quantum algorithms and systems is a dynamic area, as evidenced by the number of existing quantum (45 algorithms and 160 articles, of which at least 14 were written in 2013 and 2014). Although quantum computing, the basis for the majority of which is quantum entanglement, is not yet ready to move from theory to practice, however, one can reasonably speculate what form, perhaps, a quantum computer will take, or what is more important for on what the design of the programming language interface can interact with a quantum computer.

Текст научной работы на тему «Количественные характеристики степени запутанности»

УДК 004.032

В.Ф. Гузик, С.М. Гушанский, В.С. Потапов КОЛИЧЕСТВЕННЫЕ ХАРАКТЕРИСТИКИ СТЕПЕНИ ЗАПУТАННОСТИ*

Описывается понятие абсолютной и частичной запутанности, условия их реализации и влияния на процесс и результат работы квантовых алгоритмов и квантовых систем. Также проведен и схематически проиллюстрирован процесс квантовой телепортации. В рамках выполненной реализации графически отражено влияние частичной запутанности на корректность телепортации с учетом величины ошибки. Проведена разработка ряда условий для количественной характеристики запутанности состояния. Также проанализированы и описаны наиболее известные типы мер квантовых запутанностей. Актуальность развития данного направления в квантовом мире имеет огромное значение в разработке и реализации квантовых вычислителей, так как без моделирования работы квантовых алгоритмов, их результатов становиться затруднительным, а иногда и вовсе невозможным технологии квантовых вычислений - квантовые компьютеры и алгоритмы, квантовый криптоанализ. Рассмотрим также ряд других, не менее важных причин актуальности тематики: разработанная квантовая модель позволит наглядно увидеть сильные и слабые стороны модели, а также усовершенствовать ее в будущем; пока не создано квантового компьютера, единственная возможность практического изучения квантового компьютинга - моделирование физических процессов квантового вычислителя, включая набор квантовых алгоритмов, на классическом или использование различных элементов физики и химии в не характерных для них состояниях и направлениях; в случае создания квантового вычислителя моделирование его прототипа станет наглядным пособием для понимания основных процессов и явлений, благодаря которым стало возможным его создание; разработанная квантовая модель с набором квантовых алгоритмов и ее доказанные преимущества позволят легче привлечь инвестиции в физическое создание и совершенствование квантового компьютера. Научная новизна данного направления в первую очередь выражается в постоянном обновлении и дополнении поля квантовых алгоритмов, а взаимосвязь квантовых алгоритмов и такого важного квантового свойства, как запутанность и вовсе слабо освещена в мире. Однако именно это явление и его процесс может в полной мере раскрыть природу не только работы квантовых алгоритмов, но и всех квантовых вычислений в целом. Конструирование новых квантовых алгоритмов и систем является динамичной областью, о чем свидетельствует количество существующих квантовых (45 алгоритмов и 160 статей, из которых не менее чем 14 были написаны в 2013 и 2014 годах). Хотя квантовые вычисления, основой для большинства которых является квантовая запутанность, еще не готовы к переходу от теории к практике, тем не менее, можно обоснованно догадываться какую форму, возможно, квантовый компьютер примет, или, что более важно для дизайна языка программирования, по какому интерфейсу можно будет взаимодействовать с таким квантовым компьютером.

Частичная запутанность; квантовая телепортация; положительная частичная перестановка; дистиллируемая запутанность; сепарабельные состояния; энтропия.

V.P. Guzik, S.M. Gushansky, V.S. Potapov

QUANTITATIVE CHARACTERISTICS OF THE DEGREE OF ENTANGLEMENT

This article describes the concept of the absolute and partial entanglement, conditions of their implementation and impact on the process and the result of quantum algorithms and quantum systems. Also held and a schematic illustration of the process of quantum teleportation. As part of the implementation of graphically reflected the impact of the partial entanglement tele-portation in correct given the magnitude of error. Spend the development a number of conditions for the quantitative characterization of the state of confusion. Also analyzed and described the most known types of measures of quantum entanglement. The relevance of this trend in the quan-

* Работа выполнена при финансовой поддержке РФФИ, грант № НК 15-01-01270.

tum world is great importance in the development and implementation of quantum calculators, as without simulation of quantum algorithms, their results become difficult and sometimes impossible to do quantum computing technology - computers and quantum algorithms, quantum cryptanaly-sis. We also consider a number of other equally important reasons for the relevance of subjects: developed quantum model will clearly see the strengths and weaknesses of the model, as well as to improve it in the future; it is not created a quantum computer, the only opportunity to explore practical quantum computing - quantum physics simulation of the calculator, including a set of quantum algorithms, the classic or use of various elements ofphysics and chemistry in not typical for these conditions and directions; In case of a quantum computer simulation of its prototype will be a visual aid for understanding the basic processes and phenomena, which have made it possible to create it; designed with a set of quantum model of quantum algorithms and its proven benefits will make it easier to attract investment in the physical creation and improvement of a quantum computer. The scientific novelty of this area is primarily expressed in constant updating and supplementing the field of quantum algorithms, and relationship of quantum algorithms and such important properties as confusion and did poorly lit in the world. However, this phenomenon and its process can fully disclose the nature of the work not only of quantum algorithms, but all of quantum computing in general. Construction of new quantum algorithms and systems is a dynamic area, as evidenced by the number of existing quantum (45 algorithms and 160 articles, of which at least 14 were written in 2013 and 2014). Although quantum computing, the basis for the majority of which is quantum entanglement, is not yet ready to move from theory to practice, however, one can reasonably speculate what form, perhaps, a quantum computer will take, or what is more important for on what the design of the programming language interface can interact with a quantum computer.

Partial entanglement; quantum teleportation; positive partial reinstallation; distilled entanglement; separable state; entropy.

Введение. В настоящее время повышенное внимание к квантовой запутанности обусловлен задачами практического характера, в которых квантовая запутанность является ресурсом реализаций квантовых алгоритмов (КА) [1], разработки квантовых криптографических протоколов и др. Впервые понятие «запутанных» состояний было введено Э. Шредингером в работе «Современное состояние квантовой механики» [2]. Шредингер вывел понятие запутанных состояний для описания состояния совокупной или составной системы, которая состоит из нескольких частей. Такие квантовые состояния так же называют ЭПР - состояниями по первым буквам известных ученых Эйнштейна, Подольского и Розена [3]:

где |0> и |1> - волновые функции спина первой и второй частицы, ориентированного «вверх» и «вниз» соответственно. Если измерить первую частицу, и если она оказывается в состоянии |0>, то вторую частицу мы измерим в состоянии |1>.

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

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

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

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

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

Задача данной статьи заключается в анализе теоретической и практической составляющей понятия абсолютной и частичной запутанности, условия их существования и влияния на квантовые процессы. Также в перечень задач входит реализация процесса квантовой телепортации и выявление зависимости между частичной запутанностью и корректностью телепортации с учетом величины ошибки. Вследствие выполнения вышестоящих задач, а также описания наиболее известных типов мер квантовых запутанностей главной целью работы является разработка ряда условий для количественной характеристики запутанности квантового состояния. В дальнейшем этот перечень необходим для качественной и количественной оценки влияния степени запутанности на работу квантовых алгоритмов и вычислений в целом. Это стало возможно благодаря проводимым исследованиям и результатам, полученным авторами ранее [1, 4, 8, 10].

1. Частичная запутанность. Запутанность [4] - это не абсолютное понятие «все» или «ничего», она имеет количественную оценку. Запутанность предполагает манипуляции, т.е. присутствует возможность ее разбавления или концентрирования. Возникает вопрос: есть ли возможность использования частично запутанных состояний в квантовых алгоритмах и к чему это приведет? Чтобы ответить на это вопрос необходимо определится с мерой запутанности. Самая широко известная мера квантовой запутанности - это энтропия фон Неймана [5]. Для вычисления данной меры необходимо реализовать разложение Шмидта [6].

Пусть существуют две подсистемы А (размерности N) и В (размерности М * N). Тогда комплексное состояние этих двух подсистем может быть записано в виде:

m

Wae = e с * \а)1 ß)'

¿=1

где |а^ = |а^, | а2} , ..., | ам ) - базис для подсистемы А, | ß^ = , | ß2) , • • • ,

| ßM ^ - базис для подсистемы В, С - действительные, положительные числа. Из разложения Шмидта следует, что с точки зрения каждого из двух наблюдателей перепутанные состояния являются смешанными состояниями. Так для наблюдателей А и В:

м

Pa = SPE(WAB) = SPE I WAE >< WAE 1= E1 С f I а >< а I •

¿=1

м

Pe = SPa (Wae ) = SPa 1 Wae >< Wae |= e1 с |2 1 ß >< ß 1 •

¿=1

Энтропия частично перепутанного чистого состояния - это энтропия фон Неймана

Е = -5р(р*1п(р)) либо подсистемы А (рА), либо подсистемы В (рв):

Е = -Бр(рА * 1п(Ра )) = -8р(рв *1п(рв )) = с,2 *1п(сг2).

I

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

Квантовая телепортация [7] - это передача состояния квантовой системы из одного места в другое даже в случае отсутствия квантового канала связи между отправителем и получателем. Для объяснения смысла телепортации положим, что два человека (Алиса и Боб) в прошлом находились в одном месте и приготовили ЭПР-пару из двух кубитов [8].

Затем эти люди разъехались в разные места, но каждый из них взял с собой один кубит из ЭПР-пары. По истечении длительного времени Алисе потребовалось передать некий кубит |¥> Бобу. При этом Алиса не знает состояния кубита |¥>, т.е. не знает величины коэффициентов а и в и имеет возможность связаться с Бобом только по классическому каналу связи. В соответствии с общими принципами квантовой механики и теоремой о неклонируемости квантового состояния [9], Алиса не может без разрушения кубита |¥> определить коэффициенты а и в и просто передать их значения Бобу, чтобы он изготовил соответствующий кубит у себя.

Рис. 1. Использование квантового распределения ключа

Однако Алиса может осуществить взаимодействие кубитов, которые входят в ЭПР - пару, а затем произвести измерение полученного двух - кубитового состояния. В итоге Алиса может получить в определенной долей вероятности один из четырех возможных классических результатов: 00, 01, 10, 11. Далее она посылает эту информацию Бобу. В зависимости от сообщения, которое пошлет Алиса, Боб выполняет одну из четырех операций к своему кубиту из ЭПР - пары. В результате у Боба появиться кубит в состоянии |¥>. Это и есть квантовая телепортация. Квантовая схема данного процесса представлена на рис. 2.

Рис. 2. Квантовая схема процесса телепортации

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

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

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

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

п?

015 О I

п п'? и 1 <■ |> |т 1

Рис. 3. График влияния частичной запутанности на корректность телепортации

Что представляет собой величина ошибки? Величина ошибки [10] - это разница между квадратами значений коэффициентов входного и выходного вектора квантовой системы. Следовательно, при максимальной запутанности ^ = 1) величина ошибки равна нулю. Частичная запутанность не исключает успешность выполнения квантового алгоритма, а лишь вносит погрешность, и эта погрешность тем больше, чем меньше запутанность.

2. Количественные характеристики степени запутанности. Запутанность - это особая форма корреляции квантовых частиц, не имеющая классических аналогов. Для того чтобы создать максимальную запутанную пару необходимо на первый кубит воздействовать гейтом Адамара, а потом на оба гейтом CNOT.

Кубиты изначально берутся в чистом состоянии:

Н =

72

1 -1

сыог =

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

О = Е =

(1 0

0 ^ 1

°2 = °у =

о, = о =

( 0 1 ^

V1 0У

(0 -гЛ г 0 (1

0 ^

V 0 -1 у

Для количественной оценки запутанности рассмотрим многочастичную систему [11], которая описывается вектором состояния |у>. Вектор состояния |у> состоит из п подсистем, находящихся также в чистом состоянии. Такие состояния принято считать несепарабельными или запутанными состояниями. Это состояние математически описывается как вектор в гильбертовом пространстве [12]. Строго говоря, чистые состояния в природе не существует из-за практически неустранимых взаимодействий с окружением.

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

1. Вариативность относительно локальных квантовых операций.

2. Непрерывность [13].

3. Аддитивность [14]. Если существует более одной копии системы, то необходимо выполнение следующего условия:

+ .

Е(| ¥ав) ®\9АВ) ) = Е(| ¥АВ) ) + Е(| <РАВ) )

Наиболее широко применяемая мера запутанности, применяемая при исследовании различных систем - энтропийная [15]. Для смешанных двухсоставных систем существует множество мер запутанности, но наиболее интересными являются следующие:

1. Запутанность формирования.

2. Дистиллируемая запутанность [16].

3. 11411 критерий (положительная частичная перестановка) [17].

4. Отрицательность [18].

Запутанность формирования [19] - минимальная усредненная запутанность ансамблей чистых состояний [20], реализующих данное смешанное состояние:

ЕР (р) = тт ^ргЕ(| у/г))

г

где Е(|^) - запутанность чистых состояний , которые входят в ансамбль, а

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

1

На рис. 4 изображено сравнения мер запутанности. Ось абсцисс отображает степень запутанности. Сплошная линия - геометрическая мера запутанности, нормированная на единицу, пунктирная линия - запутанность формирования, а линия из точек - относительная энтропия.

Рис. 4. Сравнения мер квантовой запутанности

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

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

R = Л/р* p*Jp=Jp(ay ®ау )* p**(ay ®ay )* -JP

где p* обозначает комплексное сопряжение. Тогда согласованность определяется

C = max{ ,0}

где Х1, Х2, Х3, Х4 - квадратные корни из собственных чисел матрицы R. Так как запутанность формирования является монотонной функцией от согласованности, а также C - может быть использована как мера запутанности. Это возможно благодаря любопытной особенности систем состоящей из двух кубитов: а именно, что существует непрерывное разнообразие оптимального разложения. При этом сепа-рабельному состоянию соответсвует C = 0, а максимально запутанному C = 1.

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

ПЧП (положительная частичная перестановка) критерий - иной путь обнаружения и доказательства запутанности квантовой системы, использующий операцию частичного транспонирования матрицы плотности [22]. Возьмем матрицу плотности p, для нее мы можем записать ортонормированный базис [23] | n, mj}, такой что

Р= Е Рг, 1 к,1 |г' ' 11-

г,] ,к ,1

Далее определяем частичное транспонирование подсистемы А по базису | П)}, и получаем новую матрицу

рТа = Ери]*№> К/"' ^

г,] ,к ,1

т

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Если р А имеет хотя бы одно отрицательное собственное значение, то р обязательно является запутанным. На основе П4П критерия введена еще одна используемая мера запутанности - отрицательность. Отрицательность определяется как абсолютная

величина суммы отрицательных собственных значений матрицы рА :

11РТа11 -1 * (р)=^2"-

где Ц^Ц - норма матрицы 2. Такой подход к определению запутанности является

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

Общим методом для проверки запутывание является способ, называемый «свидетель запутанности» [24]. Таким свидетелем является оператор, который обнаруживает запутанность. Эрмитовый оператор [25] W является свидетелем запутанности, если выполняется условие Тг(р Ж ) > 0 для всех сепарабельных состояний р и Тг(р Ж ) < 0 для всех запутанных состояний р . Резюмируя, рассмотрим рисунок образования сепарабельных и запутанных, чистых и смешанных состояний.

Тг^р) < 0

Тг^р) > 0

Смешанные состояния

Сепарабельные состояния

Рис. 5. Иллюстрация структуры множества матриц плотности и концепция

свидетеля запутанности

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

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

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

1. Потапов В.С., Гушанский С.М. Исследование роли запутанности в построении и реализации квантовых алгоритмов // Информационные технологии, системный анализ и управление (ИТСАиУ-2015): Сборник трудов XIII Всероссийской научной конференции молодых ученых, аспирантов и студентов, г. Таганрог, 16-18 декабря 2015 г. - Ростов-на-Дону: Изд-во ЮФУ, 2016. - Т. 3. - С. 123-129.

2. Шредингер Э. Современное состояние квантовой механики // Успехи химии. - 1936. - Т. 5.

- С. 390.

3. Bell J.S. On the Einstein Podolsky Rosen paradox // Physics. - 1964. - Vol. 1, No. 3. - P. 195-200.

4. Гузик В.Ф., Гушанский С.М., Касаркин А.В. Использование квантовой запутанности для моделирования параметра согласованности в задачах теории игр // Известия ЮФУ. Технические науки. - 2014. - № 4 (153). - C. 22-28.

5. Von Neumann entropy. URL: https://en.wikipedia.org/wiki/ Von_Neumann_entropy (дата обращения: 14.03.2016).

6. Preskill J. Lecture Notes for Physics 229: Quantum Information and Computation. California Institute of Technology, 1998.

7. Квантовая телепортация. URL: https://ru.wikipedia.org/wiki/ Квантовая_телепортация (дата обращения: 16.03.2016).

8. Guzik V., Gushanskiy S., PolenovM., Potapov V. Models of a quantum computer, their characteristics and analysis // 2015 9th International Conference on Application of Information and Communication Technologies (AICT). - Institute of Electrical and Electronics Engineers, 2015. - P. 583-587.

9. Кулик С.Д., Берков А.В., Яковлев В.П. Введение в теорию квантовых вычислений (методы квантовой механики в кибернетике): учебное пособие. - В 2 кн. - Кн. 2. - М.: МИФИ, 2008. - 532 c.

10. Гузик В.Ф., Гушанский С.М., Потапов В.С. Проведение полного факторного эксперимента для характеристик модели квантового вычислителя // Известия ЮФУ. Технические науки. - 2015. - № 3 (164). - С. 46-54.

11. Липкин А.И. Концепции современного естествознания. Ч. 1. Науки о неживом (физика, химия, синергетика): курс лекций. - М. - Берлин: Директ - Медиа, 2015. - 151 c.

12. Гильбертово пространство. URL: https://ru.wikipedia.org/wiki/ Гильбертово_пространство (Дата обращения: 20.03.2016).

13. Plenio M., Virmani S. Spin chains and channels with memory // Phys. Rev. Lett. - 2007.

- Vol. 99. - P. 120504.

14. Аддитивность. URL: https://ru.wikipedia.org/wiki/Аддитивность (дата обращения: 22.03.2016).

15. Баргатин И.В., Гришанин Б.А., Задков В.Н. Запутанные квантовые состояния атомных систем // УФН. - 2001. - Т. 171. - С. 625.

16. Bennett C.H. et. al. Mixed-state entanglement and quantum error correction // Phys. Rev. A.

- 1996. - Vol. 54. - P. 3824.

17. Horodecki M., Horodecki P., Horodecki R. Separability of mixed states: necessary and sufficient conditions // Phys. Rev. Lett. - 1996. - Vol. 223. - P. 1-8.

18. Vidal G. and Werner R.F.A. Computable measure of entanglement // Phys. Rev. A. - 2002.

- Vol. 65. - P. 032314.

19. Wootters W.K. Entanglement of formation and concurrence // Quant. Inf. Comp. - 2001.

- Vol. l. - P. 27-44.

20. Bennett C.H., Bernstein H.J., Popescu S. and Schumacher B. Concentrating partial entanglement by local operations // Phys. Rev. A. - 1996. - Vol. 53. - P. 2046.

21. Абдулвагабова С.Г. Определение сечения когерентного рассеяния нейтронов на связанных протонах. Бакинский Государственный Университет. Баку, Азербайджан. - 2010. - Т. 1. - C. 52.

22. Матрица плотности. URL: https://ru.wikipedia.org/wiki/Матрица_плотности (дата обращения: 27.03.2016).

23. Makhlouf A., Paal E., Silvestrov S., Stolin A. Algebra, Geometry and Mathematical Physics: AGMP, Mulhouse, France, October 2011. - 683 p.

24. TerhalB.M. Detecting quantum entanglement // Theor. Comput. Sci. - 2002. - Vol. 287. - P. 313.

25. Эрмитов оператор. URL: https://ru.wikipedia.org/wiki/Эрмитов_оператор (дата обращения: 04.04.2016).

26. Гиперплоскость. URL: https://ru.wikipedia.org/wiki/Гиперплоскость (дата обращения: 07.04.2016).

REFERENCES

1. Potapov V.S., Gushanskiy S.M.Issledovanie roli zaputannosti v postroenii i realizatsii kvantovykh algoritmov [Investigation of the role of involvement in building and implementation of quantum algorithms], Informatsionnye tekhnologii, sistemnyy analiz i upravlenie (ITSAiU-2015): Sbornik trudov XIII Vserossiyskoy nauchnoy konferentsii molodykh uchenykh, aspirantov i studentov, g. Taganrog, 16-18 dekabrya 2015 g. [Information technology, system analysis and management (Idayu-2015): proceedings of the XIII all-Russian scientific conference of young scientists, postgraduates and students, Taganrog, 16-18 Dec 2015]. Rostov-on-Don: Izd-vo YuFU, 2016, Vol. 3, pp. 123-129.

2. ShredingerE. Sovremennoe sostoyanie kvantovoy mekhaniki [Modern status of quantum mechanics], Uspekhi khimii [Uspekhi Khimii], 1936, Vol. 5, pp. 390.

3. Bell J.S. On the Einstein Podolsky Rosen paradox, Physics, 1964, Vol. 1, No. 3, pp. 195-200.

4. Guzik V.F., Gushanskiy S.M., Kasarkin A.V. Ispol'zovanie kvantovoy zaputannosti dlya modelirovaniya parametra soglasovannosti v zadachakh teorii igr [Usage of quantum entanglement for simulation of consistency parameter in game theory problem], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2014, No. 4 (153), pp. 22-28.

5. Von Neumann entropy. Available at: https://en.wikipedia.org/wiki/ Von_Neumann_entropy (accessed 14 March 2016).

6. Preskill J. Lecture Notes for Physics 229: Quantum Information and Computation. California Institute of Technology, 1998.

7. Kvantovaya teleportatsiya [Quantum teleportation]. Available at: https://ru.wikipedia.org/wiki/ Kvantovaya_teleportatsiya (accessed 16 March 2016).

8. Guzik V., Gushanskiy S., PolenovM., Potapov V. Models of a quantum computer, their characteristics and analysis, 2015 9th International Conference on Application of Information and Communication Technologies (AICT). - Institute of Electrical and Electronics Engineers, 2015, pp. 583-587.

9. Kulik S.D., Berkov A.V., Yakovlev V.P. Vvedenie v teoriyu kvantovykh vychisleniy (metody kvantovoy mekhaniki v kibernetike): uchebnoe posobie [Introduction to the theory of quantum computing (quantum mechanics methods in Cybernetics): a tutorial]. In 2 books. Book 2. Moscow: MIFI, 2008, 532 p.

10. Guzik V.F., Gushanskiy S.M., Potapov V.S. Provedenie polnogo faktornogo eksperimenta dlya kharakteristik modeli kvantovogo vychislitelya [Performance a full factorial experiment for the characteristics models of quantum calculators], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2015, No. 3 (164), pp. 46-54.

11. Lipkin A.I. Kontseptsii sovremennogo estestvoznaniya. Ch. 1. Nauki o nezhivom (fizika, khimiya, sinergetika): kurs lektsiy [Concepts of modern natural science. Part 1. The science of the inanimate (physics, chemistry, synergy): a course of lectures]. Moscow - Berlin: Direkt -Media, 2015, 151 p.

12. Gil'bertovo prostranstvo [On a Hilbert space]. Available at: https://ru.wikipedia.org/wiki/ Gil'bertovo_prostranstvo (accessed 20 March 2016).

13. Plenio M., Virmani S. Spin chains and channels with memory, Phys. Rev. Lett., 2007, Vol. 99, pp. 120504.

14. Additivnost' [Additivity]. Available at: https://ru.wikipedia.org/wiki/Additivnost' (accessed 22 March 2016).

15. Bargatin I.V., Grishanin B.A., Zadkov V.N. Zaputannye kvantovye sostoyaniya atomnykh sistem [Entangled quantum States of atomic systems], UFN [Uspekhi Fizicheskikh Nauk], 2001, Vol. 171, pp. 625.

16. Bennett C.H. et. al. Mixed-state entanglement and quantum error correction, Phys. Rev. A, 1996, Vol. 54, pp. 3824.

17. Horodecki M., Horodecki P., Horodecki R. Separability of mixed states: necessary and sufficient conditions, Phys. Rev. Lett., 1996, Vol. 223, pp. 1-8.

18. Vidal G. and Werner R.F.A. Computable measure of entanglement, Phys. Rev. A, 2002, Vol. 65, pp. 032314.

19. Wootters W.K. Entanglement of formation and concurrence, Quant. Inf. Comp., 2001, Vol. l, pp. 27-44.

20. Bennett C.H., Bernstein H.J., Popescu S. and Schumacher B. Concentrating partial entanglement by local operations, Phys. Rev. A, 1996, Vol. 53, pp. 2046.

21. Abdulvagabova S.G. Opredelenie secheniya kogerentnogo rasseyaniya neytronov na svyazannykh protonakh [The definition section of the coherent neutron scattering on the bound-tion of the protons]. Bakinskiy Gosudarstvennyy Universitet. Baku, Azerbaydzhan, 2010, Vol. 1, pp. 52.

22. Matritsa plotnosti [The matrix density]. Available at: https://ru.wikipedia.org/wiki/ Matritsa_plotnosti (accessed 27 March 2016).

23. Makhlouf A., Paal E., Silvestrov S., Stolin A. Algebra, Geometry and Mathematical Physics: AGMP, Mulhouse, France, October 2011, 683 p.

24. TerhalB.M. Detecting quantum entanglement, Theor. Comput. Sci., 2002, Vol. 287, pp. 313.

25. Ermitov operator [A Hermitian operator]. Available at: https://ru.wikipedia.org/wiki/ Ermitov_operator (accessed 04 April 2016).

26. Giperploskost' [The hyperplane]. Available at: https://ru.wikipedia.org/wiki/Giperploskost' (accessed 07 April 2016).

Статью рекомендовал к опубликованию д.т.н. Н.И. Витиска.

Гузик Вячеслав Филиппович - Южный федеральный университет; e-mail: [email protected]; 347928, г. Таганрог, пер. Некрасовский, 44; кафедра вычислительной техники; зав. кафедрой; д.т.н.; профессор.

Гушанский Сергей Михайлович - e-mail: [email protected]; кафедра вычислительной техники; к.т.н.; доцент.

Потапов Виктор Сергеевич - e-mail: [email protected]; кафедра вычислительной техники; аспирант.

Guzik Vyacheslav Philippovich - Southern Federal University; e-mail: [email protected]; 44, Nekrasovskiy, Taganrog, 347928, Russia; the department of computer science; head of department; dr. of eng. sc.; professor.

Gushansky Sergei Mikhailovich - e-mail: [email protected]; the department of computer science; cand. of eng. sc.; assistant professor.

Potapov Victor Sergeevich - e-mail: [email protected]; the department of computer science; postgraduate student.

i Надоели баннеры? Вы всегда можете отключить рекламу.