Теория электронных пар
Теория электронных пар – это небольшое семейство методов, тесно связанных как с семейством CI, так и с семейством MP. Развитие данное теории привело к появлению семейству методов CPMET (многоэлектронная теория связанных электронных пар), также известному как метод связанных кластеров.
Простейшим методом в теории электронных пар является метод IEPA (приближение невзаимодействующих электронных пар). Рассмотрим теорию данного метода:
Запишем выражение полной энергии системы в методе CI:
Представим второе слагаемое в виде двух сумм:
Рассмотрим выражение:
Данное выражение (\(e_{ab}\)) определяется исключительно парой заселённых спин-орбиталей \(\psi_a\) и \(\psi_b\) и, фактически, характеризует взаимодействие пары электронов, иными словами, \(e_{ab}\) – это энергия электронной пары. Таким образом:
Примечание
Для сокращения записи далее будет принято, что \(E^{\mathbf{HF}}_{0}=E_{0}\).
То есть, для нахождения энергии \(E\) нужно найти энергии \(e_{ab}\). Однако, в рамках метода CI, \(e_{ab}\) зависят друг от друга, поэтому поиск их значений сводится к диагонализации матрицы CI, что, в свою очередь, требует большой объём вычислительных ресурсов. Но можно ли найти значения энергий \(e_{ab}\), не прибегая к данной процедуре? Иными словами, существует ли ли метод независимого нахождения величин \(e_{ab}\)?
Ну, строго говоря, среди методов, обеспечивающих тот же уровень учёта динамической корреляции, что и метод CI, таковых нет. Тем не менее, можно достичь независимого нахождения энергий \(e_{ab}\), в ущерб учёта динамической корреляции. Одним из методов, позволяющих такое осуществить, является метод IEPA.
В основе метода IEPA лежит простое допущение: «пусть пара электронов, заселяющих спин-орбитали \(\psi_a\) и \(\psi_b\), вообще не взаимодействует с остальными электронами». Тогда данная пара электронов может быть описана с помощью волновой функции электронной пары \(|\Psi_{ab}\rangle\):
Рассмотрим уравнение Шрёдингера:
Подставим в него выражение для функции \(|\Psi_{ab}\rangle\):
Домножим уравнение Шрёдингера слева на \(\langle\Psi_{0}|\) и раскроем скобки:
Так как, по теореме Бриллюэна \(\langle\Psi_0|\hat{H}|\Psi^{t}_{a}\rangle=0\), то выражение упрощается:
Откуда, исходя из определения \(e_{ab}\), следует:
Домножим теперь уравнение Шрёдингера слева на \(\langle\Psi^{r}_{a}|\) и раскроем скобки:
Откуда, по теореме Бриллюэна:
Аналогично:
Наконец, домножив уравнение Шрёдингера слева на \(\langle\Psi^{rs}_{ab}|\) и раскрыв скобки, получим:
Теперь соберём полученные результаты вместе и, для удобства, воспользуемся матричной формой записи. Для этого примем:
Так как все конфигурации – ортонормированны, то матрица \(\mathbf{S}_{ab}\) является единичной (то есть, \(\mathbf{S}_{ab}=\mathbf{1}\)), поэтому вышеприведённые уравнения могут быть представлены в виде системы:
Или, что равносильно:
Полученная в итоге система является однородной. Нетривиальные решения данной системы (то есть, отличные от \(\mathbf{c}_{ab}=\mathbf{0}\)) существуют, только если выполняется равенство:
где \(H^{ij}_{ab}\) и \(S^{ij}_{ab}\) – элементы матриц \(\mathbf{H}_{ab}\) и \(\mathbf{S}_{ab}\), соответсвенно.
Как можно заметить, это уравнение того же типа, что и уравнение \(\left|H_{IJ}-ES_{IJ}\right|=0\), лежащее в основе метода CI, или же уравнение \(\left|H_{ij}-ES_{ij}\right|=0\) в методе Хартри-Фока. Поэтому, использовав метод диагонализации Дэвидсона, можно найти его наименьшее решение, которое и будет интересующей нас энергией \(E_{ab}\) в основном состоянии.
Найдя все такие значения, можно найти энергию системы:
Метод IEPA значительно менее требовательный к вычислительным ресурсам, чем метод CI, так как матрицы \(\mathbf{H}_{ab}-E_{ab}\mathbf{S}_{ab}\) значительно меньше, чем даже матрица CI в методе CISD, однако полнота учёта динамической корреляциив IEPA, конечно же, ниже. С другой стороны, что очень важно, IEPA является размерно согласованным методом, в отличие от CISD.
Вышеприведённая схема, строго говоря, является несколько усложнённой версией IEPA. Обычно, в рамках IEPA можно пренебречь вкладом однократно возбуждённых конфигураций (так как они взаимодействуют с референтной только неявно), поэтому выражение для волновой функции электронной пары \(|\Psi_{ab}\rangle\) может быть упрощено:
А вместе с ней и все последующие выражения. Рассмотрим одно из них:
И примем следующее допущение: пусть все двукратно возбуждённые конфигурации \(|\Psi^{tu}_{ab}\rangle\) не взаимодействуют друг с другом.
Примечание
Данное приближение также известно как приближение Эпштейна-Несбета (EN).
Тогда все элементы вида \(\langle\Psi^{rs}_{ab}|\hat{H}|\Psi^{tu}_{ab}\rangle\), где \(t{\ne}r\) или \(u{\ne}s\), будут равны нулю, следовательно:
Так как \(e_{ab}=c_0\left(E_{ab}-E_{0}\right)\), то:
Следовательно:
Откуда получаем выражение для \(c^{rs}_{ab}\):
Так как \(c_0\approx{1}\), а \(e_{ab}\) – мала, то справедливо приближение:
где \(E^{rs}_{ab}=\langle\Psi^{rs}_{ab}|\hat{H}|\Psi^{rs}_{ab}\rangle\) – энергия конфигурации \(|\Psi^{rs}_{ab}\rangle\).
Подставим полученное выражение в определение \(e_{ab}\):
А затем в выражение энергии IEPA (обозначим как \(E^{\mathbf{EN}}\)), учитывая, что \(c_0\approx{1}\):
Переобозначим \(|\Psi_0\rangle:=|0\rangle\), \(|\Psi^{rs}_{ab}\rangle:=|i\rangle\) и распишем \(E_{0}\), тогда:
А теперь вспомним, что в терминах теории возмущений \(\hat{H}=\hat{H}_0+\hat{V}\). Подставим это в выражение выше, учитывая, что \(\langle{0}|\hat{H}_0|{i}\rangle=\langle\Psi_0|\hat{H}_0|\Psi^{rs}_{ab}\rangle=0\), и получим:
Внимание
Обратите внимание, какой замечательный результат получился! Оказывается, что столь разные методы, как CI и MP имеют много общего, более того, фактически, метод MP можно трактовать как, своего рода, приближение к методу CI.
Примечание
В данном выражении стоит знак «\(\approx\)», так как последнее слагаемое не равно в точности \(E^{(2)}_0\):
Так как: \(E_{0}=E^{(0)}_{0}+E^{(1)}_{0}\), а \(E_{i}=E^{(0)}_{i}+E^{(1)}_{i}\).
Тем не менее, величина \(E_{0}-E_{i}\) достаточно близка к \(E^{(0)}_{0}-E^{(0)}_{i}\), чтобы приближение было уместным.
Другим примером метода теории электронных пар является метод CEPA (Приближение связанных электронных пар). Один из способов интерпретации данного метода – это рассмотрение его, как приближение к методу CCD.
Рассмотрим уравнение, лежащее в основе метода CCD:
Пусть \(a=c\) и \(b=d\), тогда:
Но, так как \(c^{rs}_{ab}*c^{tu}_{ab}=c^{rstu}_{abab}=0\) из-за присутствия одинаковых индексов, то, по определению, \({\langle}c^{rs}_{ab}*c^{tu}_{cd}{\rangle}=c^{rs}_{ab}c^{tu}_{ab}\), следовательно:
Откуда, используя определение \(e_{ab}\):
Решив данное уравнение, можно найти \(e_{ab}\) и, как и в IEPA, выразить энергию:
В GAMESS (US) нет возможности задать метод IEPA, однако есть способ задать CEPA, при этом, присутствует возможность задать как однореферентную, так и многореферентную вариации данного метода. Поэтому, возможны два варианта задачи **CEPA**в:
Первый (однореферентный) – аналогичный задаче метода ORMASCI, но с дополнительным значением CEPA=CEPA0 в группе $ORMAS,
например:
$CONTRL
SCFTYP=RHF
CITYP=ORMAS
MULT=1
$END
$CIDET
NCORE=50 !50 остовных орбиталей
NACT=100 !100 орбиталей в активном пространстве
NELS=10 !10 электронов в активном пространстве
$END
$ORMAS
NSPACE=3 !Два подпространства
MSTART(1)= 51, 61, !Орбитали подпространств: 51–60 и 61–150
MINE(1)= 8, 0, !Количество электронов в подпространствах:
MAXE(1)= 10, 2, !8–10 и 0–2
CEPA=CEPA0
$END
Второй (многореферентный) – аналогичный задаче метода ORMASSCF, но с дополнительным значением CEPA=CEPA0 в группе $ORMAS,
например:
$CONTRL
SCFTYP=MCSCF
MULT=1
$END
$MCSCF
CISTEP=ORMAS
$END
$CIDET
NCORE=50 !50 остовных орбиталей
NACT=100 !100 орбиталей в активном пространстве
NELS=10 !10 электронов в активном пространстве
$END
$ORMAS
NSPACE=3 !Два подпространства
MSTART(1)= 51, 61, !Орбитали подпространств: 51–60 и 61–150
MINE(1)= 8, 0, !Количество электронов в подпространствах:
MAXE(1)= 10, 2, !8–10 и 0–2
CEPA=CEPA0
$END
Помимо метода CEPA к методам теории электронных пар относятся дргие методы, например, ACPF и AQCC, которые можно интерпретировать, как комбинацию методов CISD и CEPA.
В GAMESS (US) параметр GVAL в группе $ORMAS устанавливает вклад метода CEPA.
Для методов CEPA, ACPF и AQCC данные значения рассчитываются автоматически при их выборе с помощью параметра CEPA:
CEPA=CEPA0– выбирает метод CEPA.CEPA=ACPF– выбирает метод ACPF, который соответствует:
CEPA=AQCC– выбирает метод AQCC, который соответствует:
CEPA=READ– «ручной» ввод метода с помощью параметраGVAL.
Примечание
Подробнее о ACPF, AQCC и других методах теории электронных пар можно почитать здесь.