В кванте механика, определитель Слейтера - это выражение, которое описывает волновую функцию мульти- фермионной системы. Он удовлетворяет требованиям антисимметрии и, следовательно, принципу Паули, изменяя знак при обмене двумя электронами (или другими фермионами). Только небольшое подмножество всех возможных фермионных волновых функций может быть записано как один определитель Слейтера, но они образуют важное и полезное подмножество из-за своей простоты.
Определитель Слейтера возникает из рассмотрения волновой функции для совокупности электронов, каждая из которых имеет волновую функцию, известную как спин-орбитальная , где обозначает положение и спин отдельного электрона. Определитель Слейтера, содержащий два электрона с одинаковой спиновой орбиталью, будет соответствовать волновой функции, которая везде равна нулю.
Определитель Слейтера назван в честь Джона С. Слейтера, который ввел этот определитель в 1929 году как средство обеспечения антисимметрии многоэлектронной волновой функции, хотя волновая функция в детерминантная форма впервые появилась независимо в статьях Гейзенберга и Дирака тремя годами ранее.
Самый простой способ аппроксимировать волновую функцию многочастичного Система должна взять произведение правильно выбранных ортогональных волновых функций отдельных частиц. Для случая двух частиц с координатами и , имеем
Это выражение используется в методе Хартри как анзац для многочастичной волновой функции и известно как a продукт Hartree. Однако это неудовлетворительно для фермионов, поскольку указанная выше волновая функция не является антисимметричной при обмене любыми двумя фермионами, как это должно быть в соответствии с принципом исключения Паули. Антисимметричная волновая функция может быть математически описана следующим образом:
Это неверно для продукта Хартри, который, следовательно, не удовлетворяет принципу Паули. Эту проблему можно решить, взяв линейную комбинацию обоих произведений Хартри:
где коэффициент - это коэффициент нормализации. Эта волновая функция теперь антисимметрична и больше не различает фермионы (то есть, нельзя указать порядковый номер конкретной частице, а указанные индексы взаимозаменяемы). Более того, он также стремится к нулю, если любые две спиновые орбитали двух фермионов совпадают. Это эквивалентно соблюдению принципа исключения Паули.
Выражение можно обобщить на любое количество фермионов, записав его как детерминант . Для N-электронной системы определитель Слейтера определяется как
где в последних двух выражениях используется сокращение для определителей Слейтера: константа нормализации подразумевается указанием числа N и записываются только одночастичные волновые функции (первое сокращение) или индексы для координат фермионов (второе сокращение). Все пропущенные метки должны вести себя в возрастающей последовательности. Линейная комбинация произведений Хартри для случая двух частиц идентична определителю Слейтера для N = 2. Использование определителей Слейтера гарантирует антисимметричную функцию с самого начала. Таким же образом использование определителей Слейтера обеспечивает соответствие принципу Паули. В самом деле, определитель Слейтера обращается в нуль, если множество линейно зависимо. В частности, это тот случай, когда две (или более) спиновые орбитали одинаковы. В химии этот факт выражается утверждением, что никакие два электрона с одинаковым спином не могут занимать одну и ту же пространственную орбиталь.
Многие свойства детерминанта Слейтера оживают на примере нерелятивистской многоэлектронной задачи.
Начиная с гамильтониана
где - электроны, а - ядра, а
Для простоты мы замораживаем ядра в состоянии равновесия в одном положении и остаемся с упрощенным гамильтонианом
где
и где мы будем различать в гамильтониане первый набор терминов как (члены частицы "1") и последний член , который является термином "2" частицы или термином обмена
Эти две части будут вести себя по-разному, когда им придется взаимодействовать с детерминантной волновой функцией Слейтера. Начинаем вычислять математические ожидания
В приведенном выше выражении мы можем просто выбрать идентичную перестановку в определителе в в левой части, поскольку все остальные N! - 1 перестановки дадут тот же результат, что и выбранная. Таким образом, мы можем отменить N! в знаменателе
Из-за ортонормальности спин-орбиталей также очевидно, что идентичная перестановка сохраняется в определителе в правой части вышеуказанного матричного элемента
Этот результат показывает t что антисимметризация продукта не имеет никакого эффекта для одночастичных членов и ведет себя так же, как и в случае простого продукта Хартри.
И, наконец, мы остаемся со следом по одночастичным гамильтонианам
Что говорит Мы понимаем, что в пределах одной частицы волновые функции электронов независимы друг от друга, а энергия определяется суммой энергий отдельных частиц.
Вместо обменной части
Если мы увидим действие одного условия обмена, он выберет только обмениваемые волновые функции
И, наконец,
который вместо этого является термином смешивания, первый вклад называется «кулоновским» термином, а второй - «обменным» термином, который может быть записан с использованием или , поскольку кулоновский и обменный вклады в точности компенсируют друг друга для i = j.
Важно четко отметить, что энергия электрон-электронного отталкивания на антисимметричном произведении спин-орбиталей всегда ниже, чем энергия отталкивания электронов на простом спиновом произведении Хартри того же -орбитали. Разница просто представлена вторым членом в правой части без членов самовзаимодействия i = j. Поскольку обменные биэлектронные интегралы являются положительными величинами, отличными от нуля только для спин-орбиталей с параллельными спинами, мы связываем уменьшение энергии с физическим фактом, что электроны с параллельным спином удерживаются друг от друга в реальном пространстве в состояниях детерминанта Слейтера.
Большинство фермионных волновых функций не могут быть представлены как детерминант Слейтера. приближение к заданной фермионной волновой функции может быть определен как тот, который максимизирует перекрытие между определителем Слейтера и целевой волновой функцией. Максимальное перекрытие - это геометрическая мера запутанности между фермионами.
Один определитель Слейтера используется в качестве приближения к электронной волновой функции в теории Хартри – Фока. В более точных теориях (например, конфигурационное взаимодействие и MCSCF ) требуется линейная комбинация детерминантов Слейтера.
Слово «детор » было предложено С. F. Boys для обозначения определителя Слейтера ортонормированных орбиталей, но этот термин используется редко.
В отличие от фермионов, которые подчиняются принципу исключения Паули, два или более бозона могут находиться в одном и том же одночастичном квантовом состоянии. Волновые функции, описывающие системы идентичных бозонов, симметричны относительно обмена частицами и могут быть расширены в терминах перманентов.