Представьте себе камертон. Вы ударяете по нему, и он звучит. В идеальном мире он звучал бы вечно. Но мы живём не в идеальном мире: воздух забирает энергию, стол, на котором он лежит, поглощает вибрации, и через несколько секунд звук затихает. Это затухание – не поломка, а физический процесс.
Теперь представьте, что вместо камертона у вас – атом, а вместо звука – квантовое состояние. Атом взаимодействует с фотонами, «звенит» на своей частоте, хранит информацию о квантовом состоянии. Но вокруг – окружающая среда: тепловое излучение, другие частицы, случайные возмущения. И точно так же, как камертон, атом начинает «расстраиваться». Квантовая информация утекает, а состояние разрушается.
Именно эту ситуацию описывает работа, о которой пойдёт речь. Её авторы задались вопросом: можно ли строго, математически, доказать, что уравнения, описывающие «реальный» квантовый атом с потерями, всё ещё имеют решения? Что эволюция системы не «взрывается», не уходит в бесконечность и остаётся физически осмысленной?
Ответ – да. Но путь к этому ответу проходит через удивительный математический объект под названием динамическая полугруппа. Давайте разберёмся, что это такое, и почему это важнее, чем кажется на первый взгляд.
В 1963 году физики Эдвин Джейнс и Фред Каммингс предложили модель, которая с тех пор стала своего рода «водородным атомом» квантовой оптики – то есть простейшей системой, демонстрирующей при этом всё самое интересное.
Идея проста: возьмём двухуровневый атом (или молекулу) – систему, у которой есть только два состояния: «возбуждённое» и «основное», как лампочка, которая либо горит, либо нет. Поместим его в резонатор – замкнутую полость, где может существовать электромагнитное поле строго одной частоты, как флейта, которая играет только одну ноту. Заставим их взаимодействовать.
Что происходит? Атом поглощает фотон и переходит в возбуждённое состояние. Потом испускает фотон обратно и возвращается в основное. Потом снова поглощает. Это квантовые осцилляции Раби – система «дышит», перекачивая энергию туда-обратно между атомом и полем.
При определённых начальных условиях эти осцилляции сначала затухают (коллапс населённостей), а потом восстанавливаются (Revival) – атом как будто «вспоминает» своё начальное состояние. Это один из самых красивых эффектов квантовой механики, наглядно показывающий, что квантовый мир работает совсем не так, как классический.
Но вот проблема: модель Джейнса-Каммингса в своём исходном виде описывает изолированную систему. Никакого шума. Никаких потерь. Никакой внешней среды. Это прекрасная математика, но не очень реалистичная физика.
В реальных экспериментах – а модель Джейнса-Каммингса активно использовалась в экспериментах по квантовой электродинамике полостей, особенно в 1990–2000-е годы – атом и поле не изолированы. Поле в резонаторе теряет фотоны через несовершенные зеркала. Атом взаимодействует с окружающим тепловым излучением. Среда «смотрит» на систему, и тем самым разрушает квантовую когерентность.
Это явление называется декогеренцией. Если квантовая когерентность – это способность системы находиться в суперпозиции состояний («и возбуждён, и не возбуждён одновременно»), то декогеренция – это процесс, в ходе которого эта суперпозиция «выбирает» одно из состояний под давлением внешнего мира. Именно она объясняет, почему квантовые компьютеры так сложно строить: каждое взаимодействие с окружающей средой разрушает тщательно выстроенные квантовые состояния.
Математически диссипацию описывают с помощью уравнения Линдблада – или, в более полной форме, уравнения Линдблада-Горького. Это уравнение для матрицы плотности – математического объекта, который полностью описывает состояние квантовой системы, включая все вероятности и все корреляции. Уравнение выглядит примерно так:
Скорость изменения состояния = (квантовая динамика) + (диссипация).
Первая часть – это привычная квантовая механика, описываемая гамильтонианом. Вторая – это оператор Линдблада, который учитывает потери и накачку (то есть внешнее «подкачивание» энергии в систему).
В работе рассматривается широкий класс таких диссипативных операторов: не просто стандартное «фотон вылетает из резонатора», а целое семейство полиномиальных операторов от так называемых операторов рождения и уничтожения. Операторы рождения «добавляют» квант энергии в систему, операторы уничтожения – «убирают». Из их комбинаций можно собрать очень разнообразные физические сценарии.
Прежде чем двигаться дальше, стоит остановиться на ключевом персонаже этой истории – матрице плотности.
В классической физике состояние системы – это набор чисел: координата, скорость, энергия. В квантовой механике для изолированной системы состояние описывается волновой функцией. Но для системы, взаимодействующей с окружающей средой, волновой функции недостаточно: нам нужно учитывать как квантовые суперпозиции, так и классические вероятности, и их перемешивание.
Матрица плотности делает именно это. Она – как «паспорт» квантового состояния, в котором записана вся доступная информация о системе. Диагональные элементы матрицы – это вероятности найти систему в том или ином состоянии. Внедиагональные элементы – это квантовые корреляции, когерентность. Когда декогеренция нарастает, внедиагональные элементы убывают – «паспорт» становится проще, квантовость исчезает.
Для того чтобы матрица плотности оставалась физически осмысленной, она должна удовлетворять нескольким условиям: быть эрмитовой (симметричной в определённом смысле), иметь неотрицательные собственные значения и единичный след (сумма всех вероятностей равна единице). Уравнение, описывающее эволюцию такой матрицы, должно сохранять все эти свойства в любой момент времени. Вот почему математическая строгость здесь так важна.
Полугруппа: когда «назад» не работает
И вот мы добрались до главного математического инструмента работы – динамической полугруппы.
Слово «полугруппа» звучит пугающе, но идея за ним простая. В обычной алгебре «группа» – это набор операций, для которых существует обратная операция. Если вы можете повернуть направо, вы можете повернуть налево. Если вы можете прибавить пять, вы можете отнять пять.
«Полугруппа» – это группа без возможности «развернуться». Только вперёд.
Почему это важно для квантовой механики? Потому что диссипативная эволюция необратима. Когда квантовая когерентность потеряна, она потеряна. Фотон, вылетевший из резонатора в окружающую среду, не вернётся обратно (если только вы не создали для этого специальных условий). Уравнения Линдблада описывают именно такую одностороннюю эволюцию.
Динамическая полугруппа T(t) – это семейство отображений, параметризованных временем t ≥ 0, которое описывает, как состояние системы (матрица плотности) эволюционирует со временем. Она должна удовлетворять нескольким требованиям:
- В момент t = 0 ничего не происходит: система остаётся собой.
- Эволюция за время t, а потом за время s – это то же самое, что эволюция за время t + s сразу. Никакой «памяти» о промежуточном состоянии.
- Если начальное состояние физически допустимо (матрица плотности с неотрицательными собственными значениями), то оно остаётся таковым в любой момент времени.
- Полная вероятность сохраняется: след матрицы плотности всегда равен единице.
Последнее свойство – сохранение следа – это просто условие, что вероятности по-прежнему складываются в единицу. Система никуда не «испарилась».
Слово «сжимающая» в названии полугруппы означает вот что: расстояние между двумя состояниями системы со временем не увеличивается, а уменьшается или остаётся прежним. Это разумно физически: под действием одинаковой среды разные начальные состояния «стремятся друг к другу», забывая о своём начальном различии.
Пространство Гильберта-Шмидта: «арена» для матриц плотности
Чтобы строго определить полугруппу, нужно задать пространство, в котором она действует. Авторы работают в пространстве эрмитовых операторов Гильберта-Шмидта.
Что это значит? Представьте бесконечномерное пространство, элементами которого являются не числа и не векторы, а операторы – то есть правила, по которым одни векторы переводятся в другие. Операторы Гильберта-Шмидта – это операторы с «конечной нормой» в определённом смысле: для них определена сумма квадратов всех элементов матрицы (в любом базисе), и эта сумма конечна. Это своего рода «квадратно-суммируемые матрицы».
Зачем это нужно? Потому что для физически реальных квантовых систем матрицы плотности именно такие: все вероятности конечны, сумма их квадратов тоже конечна. Работая в этом пространстве, математики получают богатый аналитический инструментарий – в частности, теорию Хилле-Йосиды для полугрупп сжатия.
Теорема Хилле-Йосиды – это один из краеугольных камней функционального анализа середины XX века. Она даёт точные условия, при которых генератор (то есть «скорость изменения» системы в момент t = 0) порождает корректно определённую полугруппу. Если генератор является диссипативным оператором – в строгом математическом смысле – то полугруппа существует и единственна.
Теперь можно сформулировать главный результат работы простыми словами.
Авторы рассматривают модель Джейнса-Каммингса с диссипацией и накачкой, где:
- Диссипативный оператор – неположительный (это означает, что он «забирает» энергию из системы, а не добавляет, и является полиномом от операторов рождения и уничтожения).
- Накачка не зависит от времени (постоянное внешнее воздействие, которое не меняется).
При этих условиях они доказывают: существует единственная сжимающая динамическая полугруппа, описывающая эволюцию системы. Все «траектории» этой полугруппы – то есть все возможные эволюции матрицы плотности – являются обобщёнными решениями уравнений Джейнса-Каммингса.
Слово «обобщённые» здесь принципиально важно. В строгой математике «классическое решение» дифференциального уравнения – это функция, которая дифференцируема везде и подставляется в уравнение напрямую. Но реальные физические ситуации часто дают начальные условия, не обладающие такой гладкостью. «Обобщённое решение» – это решение в более широком смысле, которое всё равно физически осмысленно и математически корректно.
Иначе говоря: даже если ваши начальные условия «не идеальны», эволюция всё равно хорошо определена. Математическая машина не ломается.
В качестве ключевого примера авторы доказывают неположительность для стандартного диссипативного оператора квантовой оптики – того самого, который описывает вылет фотонов из резонатора. Этот результат подтверждает, что разработанный аппарат применим к реальным, экспериментально значимым физическим системам.
Может возникнуть закономерный вопрос: зачем всё это? Физики и так используют уравнение Линдблада в расчётах, и оно работает. Зачем нужны строгие доказательства существования и единственности?
Ответ в том, что без строгой математической основы мы не можем быть уверены, что наши уравнения не дают «призрачных» решений – артефактов математики, не имеющих физического смысла. Что численные методы, которые мы используем в расчётах, сходятся к правильному ответу, а не к какому-то другому. Что при изменении параметров системы поведение решений остаётся предсказуемым.
Особенно это критично для квантовых информационных технологий. Квантовые компьютеры, квантовые каналы связи, квантовые сенсоры – всё это системы, где открытые квантовые системы (то есть системы, взаимодействующие со средой) являются не исключением, а правилом. Управление декогеренцией, разработка кодов квантовой коррекции ошибок, оптимизация времени когерентности – все эти задачи опираются на понимание того, как именно происходит диссипативная эволюция.
Модель Джейнса-Каммингса в контексте квантовой электродинамики полостей была экспериментально реализована несколькими группами – в частности, группами Сержу Ароша и Дэвида Уайнленда, получивших за эти эксперименты Нобелевскую премию по физике в 2012 году. Строгое математическое описание диссипативной версии этой модели – не академическая абстракция, а инструмент для работы с реальными экспериментальными данными.
Кроме того, подход, развитый в этой работе, – построение полугрупп для широкого класса полиномиальных диссипативных операторов – потенциально применим к более сложным моделям: многоуровневым атомам, многомодовым полям, нелинейным резонаторам. Это не тупиковая задача, а начало пути.
Квантовый мир шумит. Атомы взаимодействуют со средой, фотоны вылетают из резонаторов, когерентность убывает. Это не катастрофа – это физика. И физика требует математики, которая умеет с этим работать.
Работа, которую мы разобрали, делает ровно это: она показывает, что для модели Джейнса-Каммингса с реалистичными потерями и накачкой математика не теряет смысл. Уравнения имеют решения. Эволюция корректно определена. Полугруппа существует и единственна.
Это звучит как что-то само собой разумеющееся – но только до тех пор, пока вы не столкнулись с бесконечномерными операторами в гильбертовых пространствах, неположительными диссипативными генераторами и тонкостями теории полугрупп сжатия. После этого каждое строгое «существует и единственна» звучит как маленькая победа над хаосом.
А в квантовых технологиях, где ставки становятся всё выше, такие победы имеют значение.
