Известия Российской академии наук Серия математическая
Свойства пространства квантовых состояний и монотонные характеристики сцепленности
Максим Евгеньевич Широков, Maxim Evgenievich Shirokov
Abstract
М. Е. Широков Свойства пространства квантовых состояний и монотонные характеристики сцепленностиИсследованы свойства бесконечномерных обобщений понятий выпуклой оболочки и выпуклой надстройки функции, определенной на множестве квантовых состояний.Получены достаточные условия совпадения и непрерывности сужений различных выпуклых оболочек полунепрерывной снизу функции на подмножество квантовых состояний с ограниченным значением обобщенной средней энергии (аффинной полунепрерывной снизу неотрицательной функции).Полученные результаты использованы для обоснования бесконечномерного обобщения метода выпуклой надстройки, широко применяемого в конечномерном случае для построения монотонных характеристик сцепленности состояний составной квантовой системы.Представлено несколько примеров монотонных характеристик сцепленности, построенных этим методом.В частности, рассмотрено бесконечномерное обобщение понятия сцепленности формирования и исследованы его свойства.Библиография: 33 наименования.Ключевые слова: выпуклая оболочка и выпуклая надстройка функции, квантовое состояние, монотонная характеристика сцепленности, сцепленность формирования. ВведениеПри исследовании статистических свойств конечномерных квантовых систем широко используются такие понятия выпуклого анализа, как выпуклая оболочка, выпуклое замыкание, а также выпуклая надстройка (the convex roof [1]) -специальная конструкция выпуклого продолжения функции, заданной на крайних точках выпуклого множества.Последняя конструкция играет ключевую роль при построении так называемых монотонных характеристик сцепленности (entanglement monotones) -функций на множестве состояний составной квантовой системы, характеризующих сцепленность этих состояний [2], [3].Основная трудность использования этих конструкций в бесконечномерном случае состоит в том, что их приходится применять к функциям с "патологическими" свойствами.Так, например, важнейшая из этих функций -энтропия фон Неймана -принимает значение +∞ на подмножестве второй категории.Работа выполнена при частичной финансовой поддержке РФФИ (грант № 09-01-00424-a), АВЦП "Развитие научного потенциала высшей школы"(грант 2.1.1/500),ФЦП "Научные и научно-педагогические кадры инновационной России" (проект № 1.2.1, контракт 938) и Научной программы "Математическая теория управления" РАН.c