В квантовой механике , то уравнение Горини-Kossakowski-Сударшана-Линдблад ( GKSL уравнение , названное в честь Витторио Горини , Анджей Kossakowski , Джордж Сударшана и Göran Линдблада ), мастер - уравнения в линдбладовской форме , квантовая Liouvillian или Lindbladian является наиболее общим типом марковского и однородное по времени основное уравнение, описывающее (в общем, неунитарное) эволюцию матрицы плотности ρ, которая сохраняет законы квантовой механики (т. е.сохраняющий след и полностью положительный для любого начального состояния). [1]
Уравнение Шредингера является частным случаем более общего уравнения Линдблада, которое привело к некоторым предположениям о том, что квантовая механика может быть продуктивно расширена и расширена за счет дальнейшего применения и анализа уравнения Линдблада. [2] Уравнение Шредингера имеет дело с векторами состояния , которые могут описывать только чистые квантовые состояния и, таким образом, менее общие, чем матрицы плотности , которые также могут описывать смешанные состояния .
Мотивация
В канонической формулировке квантовой механики эволюция системы во времени управляется унитарной динамикой. Это означает, что нет никакого распада и фазовая когерентность сохраняется на протяжении всего процесса, и является следствием того факта, что учитываются все участвующие степени свободы. Однако любая реальная физическая система не является абсолютно изолированной и будет взаимодействовать со своим окружением. Это взаимодействие со степенями свободы, внешними по отношению к системе, приводит к рассеиванию энергии в окружающую среду, вызывая распад и рандомизацию фазы. Эти эффекты являются причиной того, что квантовую механику трудно наблюдать в макроскопическом масштабе. Более того, понимание взаимодействия квантовой системы с окружающей средой необходимо для понимания многих обычно наблюдаемых явлений, таких как спонтанное излучение света возбужденными атомами или работа многих квантовых технологических устройств, таких как лазер.
Некоторые математические методы были введены для изучения взаимодействия квантовой системы с окружающей средой. Одним из них является использование матрицы плотности и связанного с ней основного уравнения. Хотя в принципе этот подход к решению квантовой динамики эквивалентен картине Шредингера или картине Гейзенберга , он позволяет легче включать некогерентные процессы, которые представляют собой взаимодействия с окружающей средой. Оператор плотности обладает тем свойством, что он может представлять классическую смесь квантовых состояний и, таким образом, жизненно важен для точного описания динамики так называемых открытых квантовых систем.
Определение
В более общем плане основное уравнение Линдблада для матрицы плотности ρ N -мерной системы может быть записано как [1] (для педагогического введения вы можете обратиться к [3] )
где H - ( эрмитова ) гамильтонова часть, апроизвольный ортонормированный базис из операторов Гильберта-Шмидт на системы гильбертова пространства с тем ограничением , что Н 2 пропорционален единичным оператором. Наше соглашение подразумевает, что другие A m не имеют следов, и обратите внимание, что суммирование выполняется только до N 2 - 1, что исключает единственную базисную матрицу с ненулевым следом. Матрица коэффициентов h вместе с гамильтонианом определяет динамику системы. Матрица h должна быть положительно полуопределенной, чтобы уравнение сохраняло след и было полностью положительным. Антикоммутатор определяется как
Если все h mn равны нулю, то это сводится к квантовому уравнению Лиувилля для замкнутой системы:. Это также известно как уравнение фон Неймана и является квантовым аналогом классического уравнения Лиувилля .
Поскольку матрица h положительно полуопределенная, ее можно диагонализовать с помощью унитарного преобразования u :
где собственные значения γ i неотрицательны. Если мы определим другой ортонормированный операторный базис
мы можем переписать уравнение Линдблада в диагональной форме
Новые операторы L i обычно называют операторами Линдблада или операторами перехода системы.
Квантовая динамическая полугруппа
Отображения, порожденные линдбладианом за разное время, в совокупности называют квантовой динамической полугруппой - семейством квантовых динамических отображений. на пространстве матриц плотности, индексированных одним временным параметромкоторые подчиняются свойству полугруппы
Уравнение Линдблада может быть получено следующим образом:
что в силу линейности , - линейный супероператор. Полугруппа восстанавливается как
Свойства инвариантности
Уравнение Линдблада инвариантно относительно любого унитарного преобразования v операторов и констант Линдблада,
а также при неоднородном преобразовании
где a i - комплексные числа, а b - действительное число. Однако первое преобразование разрушает ортонормированность операторов L i (если все γ i не равны), а второе преобразование уничтожает бесследовость. Следовательно, с точностью до вырождения среди γ i , L i диагональной формы уравнения Линдблада однозначно определяются динамикой, пока мы требуем, чтобы они были ортонормированными и бесследными.
Картинка Гейзенберга
Эволюция типа Линдблада матрицы плотности в картине Шредингера может быть эквивалентно описана в картине Гейзенберга, используя следующее (диагонализованное) уравнение движения [ необходима цитата ] для каждой квантовой наблюдаемой X :
Подобное уравнение описывает временную эволюцию ожидаемых значений наблюдаемых, заданных теоремой Эренфеста . В соответствии со свойством сохранения следа уравнения картины Шредингера Линдблада, уравнение картины Гейзенберга является унитальным , т. Е. Сохраняет тождественный оператор.
Физическое происхождение
Основное уравнение Линдблада описывает эволюцию различных типов открытых квантовых систем, например, системы, слабо связанной с марковским резервуаром. [1] Обратите внимание, что H, фигурирующая в уравнении, не обязательно совпадает с гамильтонианом затравочной системы, но может также включать эффективную унитарную динамику, возникающую из взаимодействия системы и окружающей среды.
Эвристический вывод, например, в примечаниях Прескилла [4], начинается с более общей формы открытой квантовой системы и преобразует ее в форму Линдблада, делая марковское предположение и расширяясь за короткое время. Более физически мотивированная стандартная трактовка [5] [6] охватывает три общих типа выводов линдбладиана, начиная с гамильтониана, действующего как на систему, так и на среду: предел слабой связи (подробно описанный ниже), приближение низкой плотности и предел особой связи. Каждый из них основан на определенных физических предположениях, касающихся, например, корреляционных функций окружающей среды. Например, при выводе предела слабой связи обычно предполагается, что (а) корреляции системы с окружающей средой развиваются медленно, (б) возбуждения окружающей среды, вызванные распадом системы, и (в) члены, которые быстро осциллируют. по сравнению с интересующей системой шкалой времени можно пренебречь. Эти три приближения называются борновской, марковской и вращающейся волной соответственно. [7]
Вывод предела слабой связи предполагает квантовую систему с конечным числом степеней свободы, соединенную с термостатом, содержащим бесконечное число степеней свободы. Система и ванна обладают гамильтонианом, записанным в терминах операторов, действующих только на соответствующем подпространстве полного гильбертова пространства. Эти гамильтонианы управляют внутренней динамикой несвязанной системы и ванны. Существует третий гамильтониан, который содержит произведения операторов системы и ванны, таким образом связывая систему и ванну. Самая общая форма этого гамильтониана:
Динамику всей системы можно описать уравнением движения Лиувилля: . Это уравнение, содержащее бесконечное число степеней свободы, невозможно решить аналитически, за исключением очень частных случаев. Более того, при определенных приближениях нет необходимости рассматривать степени свободы ванны, и эффективное главное уравнение может быть получено в терминах матрицы плотности системы,. Проблему легче проанализировать, если перейти к картине взаимодействия, определяемой унитарным преобразованием, где - произвольный оператор, а . Также обратите внимание, что- полный унитарный оператор всей системы. Несложно подтвердить, что уравнение Лиувилля принимает вид
где гамильтониан явно зависит от времени. Кроме того, согласно картинке взаимодействия,, где . Это уравнение можно интегрировать напрямую, чтобы получить
Это неявное уравнение для можно подставить обратно в уравнение Лиувилля, чтобы получить точное дифференциально-интегральное уравнение
Приступим к выводу, предполагая, что взаимодействие инициируется в , и в то время нет корреляции между системой и ванной. Это означает, что начальное условие факторизуемо как, где изначально является оператором плотности ванны.
Прослеживая степени свободы ванны, , вышеупомянутого дифференциально-интегрального уравнения дает
Это уравнение является точным для временной динамики матрицы плотности системы, но требует полного знания динамики степеней свободы ванны. Упрощающее предположение, называемое приближением Борна, основано на большом размере ванны и относительной слабости связи, то есть связь системы с ванной не должна существенно изменять собственные состояния ванны. В этом случае полная матрица плотности может быть разложена на все времена как. Основное уравнение становится
Уравнение теперь явное в системе степеней свободы, но его очень трудно решить. Последним предположением является приближение Борна-Маркова, согласно которому производная матрицы плотности по времени зависит только от ее текущего состояния, а не от ее прошлого. Это допущение справедливо при быстрой динамике ванны, когда корреляции внутри ванны теряются очень быстро и сводятся к замене в правой части уравнения.
Если предположить, что гамильтониан взаимодействия имеет вид
для системных операторов и банные операторы , главное уравнение принимает вид
который может быть расширен как
Ожидаемые значения относительно степеней свободы ванны. Предполагая быстрое затухание этих корреляций (в идеале) достигается вышеуказанная форма супероператора Линдблада L.
Примеры
Для оператора одного прыжка и никакой унитарной эволюции, супероператор Линдблада , действующий на матрицу плотности , является
Такой термин регулярно встречается в уравнении Линдблада, используемом в квантовой оптике , где он может выражать поглощение или испускание фотонов из резервуара. Если кто-то хочет иметь и поглощение, и излучение, ему понадобится оператор перехода для каждого из них. Это приводит к наиболее распространенному уравнению Линдблада, описывающему затухание квантового гармонического осциллятора (представляющего, например, резонатор Фабри – Перо ), соединенного с термостатом , с операторами скачка
Здесь - среднее число возбуждений в резервуаре, затухающих осциллятор, а γ - скорость затухания. Если мы также добавим дополнительную унитарную эволюцию, порождаемую гамильтонианом квантового гармонического осциллятора с частотой, мы получаем
Дополнительные операторы Линдблада могут быть включены для моделирования различных форм дефазировки и колебательной релаксации. Эти методы были включены в сеточные методы распространения матрицы плотности .
Смотрите также
- Квантовое главное уравнение
- Уравнение Редфилда
- Открытая квантовая система
- Метод квантового скачка
Рекомендации
- ^ a b c Брейер, Хайнц-Петер; Петруччоне, Ф. (2002). Теория открытых квантовых систем . Издательство Оксфордского университета. ISBN 978-0-1985-2063-4.
- ^ Вайнберг, Стивен (2014). «Квантовая механика без векторов состояния». Phys. Rev. A . 90 (4): 042102. arXiv : 1405.3483 . Bibcode : 2014PhRvA..90d2102W . DOI : 10.1103 / PhysRevA.90.042102 . S2CID 53990012 .
- ^ Манзано, Даниэль (2020). «Краткое введение в основное уравнение Линдблада». AIP продвигается . 10 (2): 025106. arXiv : 1906.04478 . Bibcode : 2020AIPA ... 10b5106M . DOI : 10.1063 / 1.5115323 . S2CID 184487806 .
- ^ Прескилл, Джон. Конспект лекций по квантовым вычислениям, Ph219 / CS219 (PDF) .
- ^ Алики, Роберт; Ленди, Карл (2007). Квантовые динамические полугруппы и приложения . Springer. doi : 10.1007 / b11976790 (неактивен 31 мая 2021 г.).CS1 maint: DOI неактивен с мая 2021 г. ( ссылка )
- ^ Кармайкл, Ховард. Подход открытых систем к квантовой оптике . Springer Verlag, 1991 г.
- ^ Этот абзац был адаптирован из Альберт, Виктор В. (2018). «Линдбладианы с множественными устойчивыми состояниями: теория и приложения». arXiv : 1802,00010 [ квант-ф ].
- Хрущинский, Дариуш; Паскацио, Саверио (2017). «Краткая история уравнения ГКЛС». Открытые системы и информационная динамика . 24 (3). arXiv : 1710.05993 . Bibcode : 2017OSID ... 2440001C . DOI : 10.1142 / S1230161217400017 . S2CID 90357 .
- Косаковский, А. (1972). «О квантовой статистической механике негамильтоновых систем». Rep. Math. Phys . 3 (4): 247. Bibcode : 1972RpMP .... 3..247K . DOI : 10.1016 / 0034-4877 (72) 90010-9 .
- Белавин, А.А.; Зельдович, Б. Я .; Переломов А.М.; Попов, В.С. (1969). «Релаксация квантовых систем с эквидистантными спектрами» . ЖЭТФ . 29 : 145. Полномочный код : 1969JETP ... 29..145B .
- Линдблад, Г. (1976). «О генераторах квантовых динамических полугрупп». Commun. Математика. Phys . 48 (2): 119. Bibcode : 1976CMaPh..48..119L . DOI : 10.1007 / BF01608499 . S2CID 55220796 .
- Горини, В .; Косаковский, А .; Сударшан, ЭКГ (1976). «Вполне положительные динамические полугруппы N-уровневых систем». J. Math. Phys . 17 (5): 821. Bibcode : 1976JMP .... 17..821G . DOI : 10.1063 / 1.522979 .
- Банки, т .; Сасскинд, Л .; Пескин, М.Е. (1984). «Трудности эволюции чистых состояний в смешанные». Ядерная физика Б . 244 (1): 125–134. Bibcode : 1984NuPhB.244..125B . DOI : 10.1016 / 0550-3213 (84) 90184-6 . ОСТИ 1447054 .
- Аккарди, Луиджи; Лу, Юнь Ган; Волович, И.В. (2002). Квантовая теория и ее стохастический предел . Нью-Йорк: Springer Verlag. ISBN 978-3-5404-1928-0.
- Алики, Роберт (2002). «Приглашение в квантовые динамические полугруппы». Динамика рассеивания . Конспект лекций по физике. 597 : 239. arXiv : Quant-ph / 0205188 . Bibcode : 2002LNP ... 597..239A . DOI : 10.1007 / 3-540-46122-1_10 . ISBN 978-3-540-44111-3. S2CID 118089738 .
- Алики, Роберт; Ленди, Карл (1987). Квантовые динамические полугруппы и приложения . Берлин: Springer Verlag. ISBN 978-0-3871-8276-6.
- Атталь, Стефан; Джой, Ален; Пилле, Клод-Ален (2006). Открытые квантовые системы II: марковский подход . Springer. ISBN 978-3-5403-0992-5.
- Гардинер, CW; Золлер, Питер (2010). Квантовый шум . Серия Спрингера в синергетике (3-е изд.). Берлин Гейдельберг: Springer-Verlag. ISBN 978-3-642-06094-6.
- Ингарден, Роман С .; Косаковский, А .; Охя, М. (1997). Информационная динамика и открытые системы: классический и квантовый подход . Нью-Йорк: Springer Verlag. ISBN 978-0-7923-4473-5.
- Тарасов, Василий Е. (2008). Квантовая механика негамильтоновых и диссипативных систем . Амстердам, Бостон, Лондон, Нью-Йорк: Elsevier Science. ISBN 978-0-0805-5971-1.
- Перл, П. (2012). «Простой вывод уравнения Линдблада». Европейский журнал физики , 33 (4), 805.
Внешние ссылки
- Набор инструментов квантовой оптики для Matlab
- mcsolve Решатель квантового прыжка (Монте-Карло) от QuTiP.
- QuantumOptics.jl - набор инструментов квантовой оптики в Julia.
- Основное уравнение Линдблада