Как спин входит в подход интеграла по путям в квантовой механике?

Я пытаюсь понять, как мотивировать квантовую механику с помощью интегралов по путям. Поскольку подход интеграла по путям обеспечивает такую ​​прямую связь с классической механикой (через принцип наименьшего действия) и поскольку он обеспечивает такое прямое физическое понимание разницы между классической и квантовой механикой, я думаю, что это действительно ценная линза, через которую можно понимать квантовую теорию. Однако у меня возникли некоторые концептуальные трудности с введением спина.

Проблема заключается в следующем: предположим, что мы ничего не знаем о квантовой механике, кроме того, что пространство состояний является комплексным гильбертовым пространством, внутренний продукт которого отображает квантовые состояния в амплитуды вероятностей. Учитывая, что система находится в некотором квантовом состоянии | ψ , т 0 , мы можем записать состояние системы в какой-то момент в будущем т как

| ψ , т "=" U ^ ( т , т 0 ) | ψ , т 0 .
Мы знаем это U ^ должен быть унитарным оператором из-за вероятностной интерпретации внутреннего продукта ψ | ψ , и поэтому что
U ( т 0 , т ) "=" U ( т , т 0 ) .
Беря производную по времени, мы имеем, что
т | ψ , т "=" U ^ ( т , т 0 ) т | ψ , т 0 "=" U ^ ( т , т 0 ) т U ^ ( т , т 0 ) | ψ , т .
Если мы определим оператор
Λ ( т , т 0 ) "=" U ^ ( т , т 0 ) т U ^ ( т , т 0 ) ,
мы можем показать (используя только унитарность U ^ что Λ ( т , т 0 ) а) не зависит от т 0 б) антиэрмитовской. Затем мы определяем оператор
ЧАС ( т ) "=" я Λ ( т ) ,
так что временная эволюция квантового состояния задается уравнением Шредингера как
я т | ψ , т "=" ЧАС ( т ) | ψ , т .
Теперь осталось только определить оператора ЧАС ( т ) . Мы могли бы просто постулировать форму этого оператора, но вместо этого мы будем использовать подход интеграла по путям в качестве постулата и получим форму ЧАС ( т ) оттуда. Предположим, что матричные элементы унитарного оператора временной эволюции U ^ ( т , т 0 даны
р | U ^ ( т , т 0 ) | р 0 "=" Д р е я С [ р ( т ) ] ,
где С является классическим действием и Д р обозначает интегрирование (как бы оно ни определялось) по пространству путей, соединяющих точки пространства-времени ( т 0 , р 0 ) и ( т , р ) . Используя этот постулат, мы можем записать матричные элементы оператора ЧАС ( т ) как
р | ЧАС ( т ) | р 0 "=" я г р т [ р | U ^ ( т , т 0 ) | р ] р | U ^ ( т , т 0 ) | р 0 , "=" я г р т [ Д р е я С [ р ( т ) ] ] р | U ^ ( т , т 0 ) | р 0 , "=" я г р [ Д р т е я С [ р ( т ) ] ] р | U ^ ( т , т 0 ) | р 0 , "=" я г р [ Д р я С т е я С [ р ( т ) ] ] р | U ^ ( т , т 0 ) | р 0 , "=" г р [ Д р ( С т ) е я С [ р ( т ) ] ] р | U ^ ( т , т 0 ) | р 0 .

Уравнения Гамильтона-Якоби говорят нам, что С т просто равен гамильтониану. Теперь у меня есть два связанных вопроса:

1.) Вообще говоря, функции на фазовом пространстве, которые появляются внутри интеграла по путям, соответствуют операторам, которые появляются вне интеграла по путям. Можно ли то же самое сделать для количества С т через соответствующее использование разрешения личности?

2.) Если это так, то это уравнение, казалось бы, выводит функциональную форму оператора ЧАС ( т ) как классический гамильтониан с обычной заменой ( р , п ) ( р ^ , я ) . Однако квантовый гамильтониан часто содержит спиновые операторы, которые (насколько мне известно) не имеют классических аналогов. Как спиновые операторы входят в ЧАС ( т ) в этом формализме?

Дружественный набор заметок для тех, кто интересуется этим вопросом, можно найти здесь hitoshi.berkeley.edu/221a/spin.pdf

Ответы (2)

Существует обширная литература по континуальным интегралам для спина. Обычно они выводятся с использованием теории обобщенных когерентных состояний. Я не уверен, что является хорошей точкой входа в тему. Я могу рекламировать одну из своих статей: arXiv:cond-mat/0111139, но, возможно, лучшей отправной точкой является статья Калудера (JR Klauder, Ann. Phys. (NY), 11, 123 (1960)), если у вас есть доступ к нему.

Следует отметить, что у квантового спина есть классические аналоги. См. разделы о вращении (около страниц 54 254 и 259) в моих онлайн-лекциях по адресу https://courses.physics.illinois.edu/phys509/sp2017/ .

Как вы, наверное, знаете, есть два разных предмета, которые часто называют «квантовой механикой» и «квантовой теорией поля». Они тесно связаны (т. е. КТП — это как раз то, что происходит при квантовании поля), но не одно и то же.

Интеграл по путям наиболее полезен в КТП, где можно использовать некоторые простые приемы для вывода правил Фейнмана. Подход с интегралом по траекториям также можно использовать для получения обычной квантовой механики, хотя обычно он не особенно полезен.

В контексте квантовой механики отдельных частиц спин должен быть втиснут в систему специальным образом. Понятие спина возникает более естественно в КТП.

Сказав все это, безусловно, существует обобщение интеграла по путям, которое «даст» спин даже в квантовой механике отдельных частиц. Хотя это довольно странно.

По сути, есть нечто, что вы считали само собой разумеющимся всю свою жизнь: переменные коммутируют. Я не имею в виду операторов, я имею в виду переменные. То есть, если у вас есть два числа а и б , затем а б "=" б а . а и б например, места в космосе. Чтобы настроить интеграл по путям для спина, вам нужно использовать антикоммутирующие переменные. То есть переменные, где ab = -ba . С математической точки зрения для этого требуется «алгебра», которая «порождается» такими переменными. Их часто называют «переменными Грассмана», и вам следует поискать их.

Я не буду вдаваться в полный курс переменных Грассмана, но их обсуждение (обычно некачественное) обычно скрыто во многих вводных книгах по КТП.

В основном происходит то, что вы определяете «псевдоклассическую механику» с этими переменными Грассмана, используя скобку анти-Пуассона вместо обычной скобки Пуассона, используемой в классической механике. (Поищите «Гамильтоновскую механику», если вы не знаете об этом.) После квантования или интеграла по путям вы получите свою старую добрую квантовую систему спина.

Другими словами, это определенно та область, где интеграл по путям представляет собой гораздо более сложный способ решения задач!

В вашей настройке вам просто нужно втиснуть эту «псевдоклассическую» механику в интеграл по путям вместе с вашей обычной классической механикой.

(Примечание: в контексте КТП интеграл по путям, выполненный обычным способом, даст «бозонное» поле, а интеграл по путям, выполненный с переменными Грассмана, даст «фермионное» поле, поэтому, если вы изучите этот предмет, вы Иногда его называют «фермионным» интегралом по траекториям.)

Я сделал эти переменные Грассмана довольно запутанными, но на самом деле они не так уж и плохи. Не пугайтесь их.

Извините, мой ответ был длинным и бессвязным, но вы задали очень каверзный вопрос!

"часто упоминается как "квантовая механика" и "квантовая теория поля"". Возможно, здесь следует внести ясность: КТП является метауровнем квантовой механики, поскольку ее основное состояние представляет собой волновую функцию свободной частицы КМ для данного поля. КТП основана на всех постулатах квантовой механики.
Спасибо за Ваш ответ! У меня только поверхностное знакомство с КТП, но я слышал о переменных Грассмана и фермионных интегралах по путям, и ваш ответ дал мне хорошее представление об этих концепциях, которые я очень ценю.