Гипотеза термализации собственных состояний (или ETH ) представляет собой набор идей, которые претендуют на объяснение того, когда и почему изолированная квантово-механическая система может быть точно описана с помощью равновесной статистической механики . В частности, она посвящена пониманию того, как системы, изначально подготовленные в далеких от равновесия состояниях, могут со временем эволюционировать в состояние, которое, по-видимому, находится в тепловом равновесии . Фраза « термализация собственных состояний » была впервые придумана Марком Средницки в 1994 году [1] после того, как похожие идеи были введены Джошем Дойчем в 1991 году [2]. Основная философия, лежащая в основе гипотезы термализации собственных состояний, заключается в том, что вместо объяснения эргодичности термодинамической системы через механизм динамического хаоса , как это делается в классической механике , следует вместо этого исследовать свойства матричных элементов наблюдаемых величин в индивидуальных энергетических собственных состояниях системы.
В статистической механике микроканонический ансамбль — это особый статистический ансамбль , который используется для прогнозирования результатов экспериментов, проводимых на изолированных системах, которые, как полагают, находятся в равновесии с точно известной энергией. Микроканонический ансамбль основан на предположении, что при исследовании такой уравновешенной системы вероятность ее нахождения в любом из микроскопических состояний с одинаковой полной энергией имеет одинаковую вероятность. [3] При этом предположении [сноска 1] среднее по ансамблю наблюдаемой величины находится путем усреднения значения этой наблюдаемой по всем микросостояниям с правильной полной энергией: [3]
Важно отметить, что эта величина не зависит ни от чего в начальном состоянии, за исключением его энергии.
Предположения об эргодичности хорошо обоснованы в классической механике как результат динамического хаоса , поскольку хаотическая система в общем случае будет проводить одинаковое время в равных областях своего фазового пространства . [3] Если мы подготовим изолированную, хаотическую, классическую систему в некоторой области ее фазового пространства, то, поскольку системе будет позволено развиваться во времени, она будет выбирать все свое фазовое пространство, подчиняясь только небольшому числу законов сохранения (таких как сохранение полной энергии). Если можно обосновать утверждение, что данная физическая система является эргодической, то этот механизм даст объяснение тому, почему статистическая механика успешно делает точные предсказания. Например, было строго доказано, что газ твердых сфер является эргодическим. [3]
Этот аргумент не может быть напрямую распространен на квантовые системы, даже те, которые аналогичны хаотическим классическим системам, поскольку временная эволюция квантовой системы не производит равномерную выборку всех векторов в гильбертовом пространстве с заданной энергией. [сноска 2] При заданном состоянии в нулевой момент времени в базисе собственных состояний энергии
ожидаемое значение любого наблюдаемого равно
Даже если они несоизмеримы, так что это ожидаемое значение дается для длительных времен
математическое ожидание постоянно сохраняет знание начального состояния в виде коэффициентов .
В принципе, таким образом, остается открытым вопрос о том, приблизится ли изолированная квантово-механическая система, подготовленная в произвольном начальном состоянии, к состоянию, которое напоминает тепловое равновесие, в котором горстка наблюдаемых достаточна для того, чтобы делать успешные предсказания о системе. Однако, множество экспериментов в холодных атомарных газах действительно наблюдали тепловую релаксацию в системах, которые в очень хорошем приближении полностью изолированы от своей окружающей среды, и для широкого класса начальных состояний. [4] [5] Задача объяснения этой экспериментально наблюдаемой применимости равновесной статистической механики к изолированным квантовым системам является основной целью гипотезы термализации собственного состояния.
Предположим, что мы изучаем изолированную квантово-механическую систему многих тел . В этом контексте «изолированный» относится к тому факту, что система не имеет (или, по крайней мере, пренебрежимо мал) взаимодействия с внешней по отношению к ней средой. Если гамильтониан системы обозначается , то полный набор базисных состояний для системы задается в терминах собственных состояний гамильтониана,
где — собственное состояние гамильтониана с собственным значением . Мы будем называть эти состояния просто «собственными энергетическими состояниями». Для простоты предположим, что система не имеет вырождения в собственных энергетических значениях , и что она конечна по размеру, так что собственные энергетические значения образуют дискретный, невырожденный спектр (это не необоснованное предположение, поскольку любая «реальная» лабораторная система будет иметь тенденцию к достаточному беспорядку и достаточно сильным взаимодействиям, чтобы устранить почти все вырождение из системы, и, конечно, будет иметь конечный размер [6] ). Это позволяет нам маркировать собственные энергетические состояния в порядке увеличения собственного значения энергии. Кроме того, рассмотрим некоторые другие квантово-механические наблюдаемые , относительно которых мы хотим сделать тепловые предсказания. Матричные элементы этого оператора, выраженные в базисе собственных энергетических состояний, будут обозначаться как
Теперь представим, что мы подготавливаем нашу систему в начальном состоянии, для которого ожидаемое значение далеко от его значения, предсказанного в микроканоническом ансамбле, соответствующем рассматриваемой шкале энергий (мы предполагаем, что наше начальное состояние является некоторой суперпозицией собственных энергетических состояний, которые все достаточно «близки» по энергии). Гипотеза термализации собственных состояний гласит, что для произвольного начального состояния ожидаемое значение в конечном итоге будет эволюционировать со временем до своего значения, предсказанного микроканоническим ансамблем, и впоследствии будет демонстрировать только небольшие колебания вокруг этого значения, при условии соблюдения следующих двух условий: [4]
Эти условия можно записать как
где и являются гладкими функциями энергии, — размерность многочастичного гильбертова пространства, а — случайная величина с нулевым средним и единичной дисперсией. Наоборот, если квантовая многочастичная система удовлетворяет ETH, ожидается, что матричное представление любого локального оператора в собственном базисе энергии будет следовать приведенному выше анзацу.
Мы можем определить долгосрочное среднее значение математического ожидания оператора согласно выражению
Если мы используем явное выражение для временной эволюции этого ожидаемого значения, мы можем записать
Интеграцию в этом выражении можно выполнить явно, и результат будет следующим:
Каждый из членов во второй сумме будет становиться меньше, когда предел будет стремиться к бесконечности. Предполагая, что фазовая когерентность между различными экспоненциальными членами во второй сумме никогда не станет достаточно большой, чтобы конкурировать с этим распадом, вторая сумма будет стремиться к нулю, и мы находим, что долгосрочное среднее значение ожидаемого значения дается как [6]
Это предсказание для среднего по времени наблюдаемого называется его предсказанным значением в диагональном ансамбле , [7] Наиболее важным аспектом диагонального ансамбля является то, что он явно зависит от начального состояния системы, и поэтому, по-видимому, сохраняет всю информацию относительно подготовки системы. Напротив, предсказанное значение в микроканоническом ансамбле дается равновзвешенным средним по всем собственным энергетическим состояниям в пределах некоторого энергетического окна, центрированного вокруг средней энергии системы [5]
где — число состояний в соответствующем энергетическом окне, а штрих на индексах суммы указывает на то, что суммирование ограничено этим соответствующим микроканоническим окном. Это предсказание абсолютно не ссылается на начальное состояние системы, в отличие от диагонального ансамбля. Из-за этого неясно, почему микроканонический ансамбль должен обеспечивать такое точное описание долгосрочных средних значений наблюдаемых в таком широком разнообразии физических систем.
Однако предположим, что матричные элементы фактически постоянны в соответствующем энергетическом окне, с достаточно малыми флуктуациями. Если это так, то это постоянное значение A может быть эффективно вытащено из суммы, и предсказание диагонального ансамбля просто равно этому значению,
где мы предположили, что начальное состояние нормализовано соответствующим образом. Аналогично, предсказание микроканонического ансамбля становится
Таким образом, два ансамбля находятся в согласии.
Это постоянство значений в малых энергетических окнах является основной идеей, лежащей в основе гипотезы термализации собственного состояния. Обратите внимание, что, в частности, она утверждает, что ожидаемое значение в единственном собственном энергетическом состоянии равно значению, предсказанному микроканоническим ансамблем, построенным в этом энергетическом масштабе. Это составляет основу квантовой статистической механики, которая радикально отличается от той, которая построена на понятиях динамической эргодичности. [1]
Несколько численных исследований малых решетчатых систем, по-видимому, предварительно подтверждают предсказания гипотезы термализации собственного состояния во взаимодействующих системах, которые, как ожидается, будут термализоваться. [5] Аналогично, системы, которые являются интегрируемыми, имеют тенденцию не подчиняться гипотезе термализации собственного состояния. [5]
Некоторые аналитические результаты также могут быть получены, если сделать определенные предположения о природе высоковозбужденных энергетических собственных состояний. Оригинальная статья 1994 года на ETH Марка Средницкого изучала, в частности, пример квантового газа твердых сфер в изолированной коробке. Это система, которая, как известно, демонстрирует классический хаос. [1] Для состояний достаточно высокой энергии гипотеза Берри утверждает, что собственные функции энергии в этой многочастичной системе твердых сферических частиц будут, по-видимому, вести себя как суперпозиции плоских волн , причем плоские волны входят в суперпозицию со случайными фазами и гауссово-распределенными амплитудами [1] (точное понятие этой случайной суперпозиции разъясняется в статье). При этом предположении можно показать, что с точностью до поправок, которые пренебрежимо малы в термодинамическом пределе , функция распределения импульса для каждой отдельной различимой частицы равна распределению Максвелла–Больцмана [1]
где - импульс частицы, m - масса частицы, k - постоянная Больцмана , а " температура " связана с энергией собственного состояния согласно обычному уравнению состояния идеального газа ,
где N — число частиц в газе. Этот результат является особым проявлением ETH, поскольку он приводит к предсказанию значения наблюдаемой величины в одном собственном энергетическом состоянии , которое согласуется с предсказанием, полученным из микроканонического (или канонического) ансамбля. Обратите внимание, что не было выполнено никакого усреднения по начальным состояниям, и не было использовано ничего похожего на H-теорему . Кроме того, можно также вывести соответствующие распределения Бозе–Эйнштейна или Ферми–Дирака , если наложить соответствующие коммутационные соотношения для частиц, составляющих газ. [1]
В настоящее время не совсем понятно, насколько высокой должна быть энергия собственного состояния газа твердых сфер, чтобы он подчинялся ETH. [1] Грубый критерий заключается в том, что средняя тепловая длина волны каждой частицы должна быть достаточно меньше радиуса частиц твердых сфер, чтобы система могла исследовать особенности, которые приводят к классическому хаосу (а именно, тот факт, что частицы имеют конечный размер [1] ). Однако вполне возможно, что это условие может быть ослаблено, и, возможно, в термодинамическом пределе собственные энергетические состояния произвольно низких энергий будут удовлетворять ETH (кроме самого основного состояния , которое должно иметь определенные особые свойства, например, отсутствие каких-либо узлов [1] ).
Часто предлагаются три альтернативных объяснения термализации изолированных квантовых систем:
Условие, которое ETH накладывает на диагональные элементы наблюдаемой, отвечает за равенство предсказаний диагонального и микроканонического ансамблей. [6] Однако равенство этих долгосрочных средних не гарантирует, что флуктуации во времени вокруг этого среднего будут небольшими. То есть равенство долгосрочных средних не гарантирует, что ожидаемое значение стабилизируется на этом долгосрочном среднем значении и затем останется там в течение большей части времени.
Чтобы вывести условия, необходимые для того, чтобы ожидаемое значение наблюдаемой величины демонстрировало небольшие временные колебания вокруг своего среднего значения, мы изучаем среднеквадратичную амплитуду временных колебаний, определяемую как [6]
где — сокращенная запись для ожидаемого значения в момент времени t. Это выражение можно вычислить явно, и можно обнаружить, что [6]
Временные флуктуации относительно долгосрочного среднего значения будут небольшими до тех пор, пока недиагональные элементы удовлетворяют условиям, налагаемым на них ETH, а именно, что они становятся экспоненциально малыми в размере системы. [6] [5] Обратите внимание, что это условие допускает возможность изолированных времен возрождения , в которых фазы когерентно выравниваются, чтобы производить большие флуктуации вдали от долгосрочного среднего значения. [4] Количество времени, которое система проводит вдали от долгосрочного среднего значения, гарантированно будет небольшим, пока указанная выше средняя квадратичная амплитуда достаточно мала. [6] [4] Однако, если система представляет собой динамическую симметрию, она будет периодически колебаться вокруг долгосрочного среднего значения. [9]
Ожидаемое значение квантово-механической наблюдаемой представляет собой среднее значение, которое будет измерено после выполнения повторных измерений на ансамбле идентично подготовленных квантовых состояний. Поэтому, хотя мы и изучали это ожидаемое значение как основной объект интереса, неясно, в какой степени оно представляет физически значимые величины. В результате квантовых флуктуаций ожидаемое значение наблюдаемой обычно не является тем, что будет измерено в ходе одного эксперимента на изолированной системе . Однако было показано, что для наблюдаемой, удовлетворяющей ETH, квантовые флуктуации в ее ожидаемом значении обычно будут того же порядка величины, что и тепловые флуктуации , которые были бы предсказаны в традиционном микроканоническом ансамбле. [6] [5] Это придает дополнительную достоверность идее о том, что ETH является базовым механизмом, ответственным за термализацию изолированных квантовых систем.
В настоящее время не существует известного аналитического вывода гипотезы термализации собственного состояния для общих взаимодействующих систем. [5] Однако было подтверждено, что она верна для широкого спектра взаимодействующих систем с использованием точных числовых методов диагонализации , в пределах неопределенности этих методов. [4] [5] Также было доказано, что она верна в некоторых особых случаях в полуклассическом пределе, где справедливость ETH основывается на справедливости теоремы Шнирельмана, которая гласит, что в системе, которая является классически хаотичной, математическое ожидание оператора в собственном энергетическом состоянии равно его классическому, микроканоническому среднему при соответствующей энергии. [10] Вопрос о том, можно ли показать, что она верна в более общем случае во взаимодействующих квантовых системах, остается открытым. Также известно, что она явно неверна в некоторых интегрируемых системах , в которых наличие большого числа констант движения препятствует термализации . [4]
Также важно отметить, что ETH делает заявления о конкретных наблюдаемых в каждом конкретном случае — он не делает никаких заявлений о том, будет ли каждая наблюдаемая в системе подчиняться ETH. На самом деле, это, безусловно, не может быть правдой. При наличии базиса собственных энергетических состояний всегда можно явно построить оператор , который нарушает ETH, просто записав оператор как матрицу в этом базисе, элементы которой явно не подчиняются условиям, налагаемым ETH. И наоборот, всегда тривиально возможно найти операторы, которые удовлетворяют ETH, записав матрицу, элементы которой специально выбраны для подчинения ETH. В свете этого можно прийти к выводу, что ETH несколько тривиальна в своей полезности. Однако важно иметь в виду, что эти операторы, построенные таким образом, могут не иметь никакого физического значения. Хотя можно построить эти матрицы, неясно, соответствуют ли они наблюдаемым, которые можно было бы реально измерить в эксперименте, или имеют ли они какое-либо сходство с физически интересными величинами. Произвольный эрмитов оператор в гильбертовом пространстве системы не обязательно должен соответствовать чему-то, что является физически измеримой наблюдаемой величиной. [11]
Обычно постулируется, что ETH выполняется для "операторов малого числа тел" [4], наблюдаемых , которые включают только небольшое число частиц. Примерами этого могут служить занятие заданного импульса в газе частиц [4] [5] или занятие определенного места в решетчатой системе частиц. [5] Обратите внимание, что хотя ETH обычно применяется к "простым" операторам малого числа тел, таким как эти [4], эти наблюдаемые не обязательно должны быть локальными в пространстве [5] - оператор числа импульса в приведенном выше примере не представляет локальную величину. [5]
Также был значительный интерес к случаю, когда изолированные, неинтегрируемые квантовые системы не могут термализоваться, несмотря на предсказания традиционной статистической механики. Неупорядоченные системы, которые демонстрируют локализацию многих тел , являются кандидатами на этот тип поведения, с возможностью возбужденных энергетических собственных состояний, термодинамические свойства которых больше напоминают свойства основных состояний. [12] [13] Остается открытым вопрос о том, может ли полностью изолированная, неинтегрируемая система без статического беспорядка когда-либо не термализоваться. Одной из интригующих возможностей является реализация «квантовых распутанных жидкостей». [14] Также открытым вопросом является то, должны ли все собственные состояния подчиняться ETH в термализирующейся системе.
Гипотеза термализации собственных состояний тесно связана с квантовой природой хаоса (см. квантовый хаос ). Кроме того, поскольку классически хаотическая система также эргодична, почти все ее траектории в конечном итоге равномерно исследуют все доступное фазовое пространство, что означало бы, что собственные состояния квантовой хаотической системы равномерно (с точностью до случайных флуктуаций) заполняют квантовое фазовое пространство в полуклассическом пределе . В частности, существует теорема квантовой эргодичности, показывающая, что математическое ожидание оператора сходится к соответствующему микроканоническому классическому среднему значению как . Однако теорема квантовой эргодичности оставляет открытой возможность неэргодических состояний, таких как квантовые шрамы . В дополнение к обычным шрамам [15] [16] [17] [18] существуют два других типа квантовых шрамов, которые дополнительно иллюстрируют нарушение слабой эргодичности в квантовых хаотических системах: вызванные возмущением [19] [20] [21] [22] [23] и многочастичные квантовые шрамы. [24] Поскольку первые возникают в результате комбинированного эффекта особых почти вырожденных невозмущенных состояний и локализованной природы возмущения (потенциальные ожоги), [19] [23] рубцевание может замедлить процесс термализации в неупорядоченных квантовых точках и ямах, что дополнительно иллюстрируется тем фактом, что эти квантовые рубцы могут использоваться для распространения квантовых волновых пакетов в неупорядоченной наноструктуре с высокой точностью. [20] С другой стороны, предполагалось, что последняя форма рубцевания [24] [25] является виновником неожиданно медленной термализации холодных атомов, наблюдаемой экспериментально. [26]