WikiDer > Множественная запутанность

Multipartite entanglement

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

Полная и частичная разделимость

Определения полностью сепарабельных и полностью запутанных многочастных состояний естественным образом обобщают определения сепарабельных и запутанных состояний в двудольном случае следующим образом.[1]

Определение [Полное -раздельная отделимость (-отделимость) системы]: Штат из подсистемы с гильбертовым пространством является полностью отделяемый тогда и только тогда, когда это можно записать в виде

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

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

[1]

Однако, как упоминалось выше, в многочастной среде у нас также разные понятия частичная отделимость.[1]

Определение [разделимость по разделам]: Штат из подсистемы является отделимы относительно данного разбиения , куда непересекающиеся подмножества индексов , если и только если это можно написать

[1]

Определение [полусепарабельность]: Штат является полусепарабельный если и только если это отделимый под всем - перегородки, .[1]

Определение [запутанность s-частиц]: An -частичная система может иметь не более -частичная запутанность если это смесь всех состояний такая, что каждое из них отделимо относительно некоторого разбиения , где все наборы индексов иметь мощность .[1]

Характеристика и критерии отделимости

Чистые состояния

Эквивалентное определение полной m-разделимости дается следующим образом: Чистое состояние из подсистемы является от корки до корки -раздельно разделяемые если и только если это можно написать

[1]

Чтобы это проверить, достаточно вычислить приведенные матрицы плотности элементарных подсистем и посмотреть, являются ли они чистыми. Однако в многочастном случае это сделать не так просто, поскольку многочастные чистые состояния редко допускают обобщенное разложение Шмидта . Многокомпонентное состояние допускает обобщенное разложение Шмидта, если, отслеживая любую подсистему, остальная часть находится в полностью отделимом состоянии. Таким образом, в общем случае запутанность чистого состояния описывается спектрами приведенных матриц плотности всех двудольных разбиений: состояние есть искренне -частно запутанный тогда и только тогда, когда все двудольные разбиения производят смешанные матрицы пониженной плотности.[1]

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

В многочастном случае не существует простого необходимого и достаточного условия отделимости, подобного тому, которое дает Критерий PPT для и случаи. Однако многие критерии отделимости используемый в двудольном случае может быть обобщен на многосторонний случай.[1]

Положительные, но не полностью положительные (PnCP) карты и свидетельства запутанности

Характеристика отделимости с точки зрения положительные, но не полностью положительные карты естественно обобщить из двудольного случая следующим образом.[1]

Любая положительная, но не полностью положительная (PnCP) карта предоставляет нетривиальный необходимый критерий отделимости в виде:

куда тождество, действующее на первую подсистему .Штат является отделяемый тогда и только тогда, когда указанное выше условие выполняется для всех карт PnCP .[1]

Определение свидетели запутывания и Изоморфизм Чоя – Ямиолковского который связывает карты PnCP со свидетелями зацепления в двудольном случае, также может быть обобщен на многостороннюю настройку. Таким образом, мы получаем условие отделимости от свидетелей зацепления для многосторонних состояний: состояние отделима, если имеет неотрицательное среднее значение для всех свидетелей запутывания . Соответственно запутанность обнаружен свидетелем если и только если .[1]

Приведенное выше описание дает полную характеристику -отделимость -раздельные системы.[1]

Критерий дальности

«Критерий диапазона» также может быть немедленно обобщен от двудольного к многочастному случаю. В последнем случае диапазон должны быть покрыты векторами , а диапазон частично транспонирован относительно подмножества должны быть порождены произведениями этих векторов, где векторы с индексами комплексно сопряжены. Если государство является отделяемый, то все такие частичные транспозиции должны приводить к матрицам с неотрицательным спектром, т.е. ко всем матрицам должны быть сами государства.[1]

Критерии корректировки

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

Критерий сжатия

Наконец, критерий сжатия немедленно обобщается с двудольного на многочастный случай.[1]

Меры множественной запутанности

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

Относительная энтропия запутанности, например, может быть обобщена на многочастный случай, взяв подходящий набор вместо набора двудольных разделимых состояний. Можно взять набор полностью разделимых состояний, даже если при этом выборе мера не будет различать действительно многочастную запутанность и несколько случаев двудольной запутанности, например . Чтобы проанализировать истинно многочастную запутанность, необходимо рассмотреть множество состояний, содержащих не более -запутанность частиц.[1]

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

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

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

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

Клубок

Первая мера многодольной запутанности, которая не является ни прямым обобщением, ни простой комбинацией двудольных мер, была введена Коффманом. и другие. и позвонил клубок.[1]

Определение [клубок]:

где -танглы в правой части - это квадраты совпадение.[1]

Мера путаницы пермутационно инвариантна; он обращается в нуль во всех состояниях, разделимых при любом разрезе; он отличен от нуля, например, в GHZ-состоянии; его можно считать равным нулю для состояний, которые являются 3-запутанными (т.е. которые не являются продуктом по отношению к какому-либо разрезу), как, например, W-состояние. Более того, может быть возможность получить хорошее обобщение клубок для многокубитовых систем с помощью гипердетерминант.[1]

Мера Шмидта

Это была одна из первых мер сцепленности, созданных специально для многочастных государств.[1]

Определение [мера Шмидта]: Минимум , куда - это количество условий в расширении состояния в базе продукта.[1]

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

Меры, основанные на нормальных формах

Это интересный класс мер многочастной запутанности, полученный в контексте классификации состояний. А именно, рассматривается любая однородная функция состояния: если она инвариантна относительно операций SLOCC (стохастический LOCC) с определителем, равным 1, то она является монотонная запутанность в сильном смысле, т.е. удовлетворяет условию сильной монотонности.[1]

Меры, основанные на гипердетерминанте

Мияке доказал, что гипердетерминанты являются монотонной запутанностью, и они описывают поистине многочастную запутанность в том смысле, что состояния, такие как продукты имеет нулевую запутанность. В частности, совпадение и путаница являются частными случаями гипердетерминанта. Действительно, для двух кубитов совпадение - это просто модуль определителя, который является гипердетерминантом первого порядка; тогда как клубок является гипердетерминантом второго порядка, то есть функцией тензоров с тремя индексами.[1]

Геометрическая запутанность

Определение [геометрическая запутанность]:

куда , с набор -разделимые состояния. Эта мера принадлежит к семейству мер сцепленности, определенных Барнумом и Линденом, и является многосторонним обобщением Мера шимони.[1]

Запутанность можно количественно оценить с помощью геометрическая мера запутанности.

Локализуемая запутанность

Эта мера запутанности является обобщением запутанность помощи и был построен в контексте спиновых цепочек. А именно, выбираются два спина и выполняются операции LOCC, направленные на получение максимально возможной двудольной запутанности между ними (измеряемой в соответствии с выбранной мерой запутанности для двух двудольных состояний).[1]

Источники и примечания

  1. ^ а б c d е ж грамм час я j k л м п о п q р s т ты v ш Икс y z аа ab ac объявление ае «Многосторонняя запутанность». Quantiki.org. 4 января 2008 г.

дальнейшее чтение