Небольшая путаница с эффектом Ааронова-Бома

В основном я знаю физическую интерпретацию эффекта Ааронова-Бома (эффект АБ), а также соответствующую математическую/дифференциально-геометрическую интерпретацию.

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

Однако в QM нет траекторий, хотя, конечно, есть точка зрения интеграла по путям, и я знаю, что к эффекту AB можно подойти и с этой точки зрения (например, Сакураи). Буууут, в венгерском учебнике я видел особенно простой способ вывести фазовый сдвиг.

Позволять С быть (твердым) цилиндром в р 3 и разреши М "=" р 3 С . Коллектор М не стягиваемо, поэтому лемма Пуанкаре неприменима. В частности, если А векторный потенциал,

× А "=" Б "=" 0
не означает, что существует глобально определенное скалярное поле х такой, что А "=" х .

Позволять ψ — волновая функция, удовлетворяющая уравнению Шрёдингера

я т ψ "=" 2 2 м Д 2 ψ
с
Д "=" + я д А
ковариантная производная. Я предполагаю, что правильная интерпретация должна быть такой ψ просто описывает состояние электрона, дифрагированного на цилиндре. Позволять ψ 0 — волновая функция, соответствующая случаю А "=" 0 .

Теперь давайте разделим М на две половины, М + и М так что обе области стягиваемы. Поскольку они стягиваемы, с Б "=" 0 , можно выбрать калибровочные преобразования х + и х выключить" А . Отбрасывание ± знаки, эта калибровочная функция задается выражением

х ( Икс ) "=" Икс 0 Икс А ( у ) г у
где интеграл проводится по любой кривой, соединяющей произвольную начальную точку Икс 0 с целевой точкой Икс (поскольку интеграл не зависит от пути).

С х выключает А (в одном из М ± домены), у нас есть

ψ 0 ( Икс ) "=" е Икс А ( у ) г у ψ ( Икс ) .

Обратно, мы имеем

ψ ( Икс ) "=" е Икс А ( у ) г у ψ 0 ( Икс ) .

Теперь мы выполняем эту процедуру на обеих тривиализациях и сравниваем их:

ψ + ( Икс 1 ) / ψ ( Икс 1 ) "=" е γ + Икс 1 А ( у ) г у е γ Икс 1 А ( у ) г у "=" опыт ( А ( у ) г у ) .
(Наверное, я что-то уронил д песок s где-то, но не влияет на основной метод)

Вопрос:

Я полагаю, что если дифракция на цилиндре действительно происходит, то дифрагированный электрон описывается волновой функцией ψ , в частности, волновая функция, которая является однозначной .

Если волновая функция однозначна, то мы должны иметь вполне определенную ψ ( Икс 1 ) , и у нас не может быть разных ψ + ( Икс 1 ) и ψ ( Икс 1 ) волновые функции.

Однако, несмотря на то, что можно было бы предположить из теоретико-связной основы, на самом деле мы рассчитывали не параллельный перенос, а калибровочное преобразование. Таким образом, две волновые функции могут не совпадать, поскольку они находятся в разных калибрах. Впрочем, зачем тогда их сравнивать ? Сравнивать их и говорить, что они различаются, было бы похоже на сравнение вектора с самим собой в двух разных системах координат и утверждение, что они различаются, потому что компоненты не согласуются.

Так

  • Если этот вывод «правильный», то почему мы сравниваем волновые функции в разных калибровках? В частности, почему мы ожидаем получить от этого физически значимые результаты.

  • Если вывод неверен, то какой простой способ показать, что фазовый сдвиг определяется выражением А , который не зависит от интегралов по путям ?

Этот вывод является примером чрезмерного математического формализма, сбивающего с толку физику. Его можно сделать правильным, но на данный момент он физически совершенно неверен, потому что не использует тот факт, что заряд должен двигаться медленно. Он просто выполняет знакомые математические операции до тех пор, пока ответ не выпадет случайно.
@knzhou После того, как я задал этот вопрос, я смог проконсультироваться с другими источниками (например, книгой Баллантайна), которые содержат один и тот же вывод - настроить две перекрывающиеся тривиализации и калибровочное преобразование «свободной» волновой функции отдельно. Ни один источник об эффекте AB, который я читал, никогда не говорил о том, что заряды должны двигаться медленно. Пожалуйста, дополните?
Да, сделаю, как только доберусь до компьютера.

Ответы (3)

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

Физическая и формальная фазы

Эффект Ахаранова-Бома даже не самый плохой пример; эта награда достается любому. Anyons подобрать фазу е я ф когда они физически меняются местами, т. е. когда два из них берутся и меняются местами экспериментатором, предполагая отсутствие дополнительных внешних полей, анионы перемещаются медленно и т. д. Однако его постоянно путают с фазой, возникающей в результате формальной замены двух переменных в волновой функции многих тел.

ψ ( Икс 1 , Икс 2 , ) "=" е я θ ψ ( Икс 2 , Икс 1 , ) .
Легко доказать, что эта формальная фаза всегда ± 1 в любом измерении, что побудило даже очень способных математиков утверждать, что любые ионы не могут существовать . Большинство вводных книг по квантовой механике, пытающихся рассматривать кого-либо, совершают именно эту ошибку, а затем бормочут что-то неверное о топологии, позволяющей формальной фазе отличаться от ± 1 . Это беспорядок. (Хорошее лечение смотрите здесь .)

Точно так же фаза Ахаранова-Бома состоит в том, что частица захватывает дополнительную фазу е я θ при перемещении вокруг потока. Легко увидеть, откуда берутся фазы Ахаранова-Бома и любой фазы, если использовать интеграл по траекториям. Студенты с математическим складом ума часто отвергают этот аргумент, основанный на траекториях, как «эвристический», но это упускает суть, потому что физика ситуации явно связана с траекториями. Вы не можете легко увидеть фазовый сдвиг между двумя траекториями, если используете независимое от времени уравнение Шрёдингера.

Если вам не нравится интеграл по путям, вы также можете вывести эти фазы с помощью адиабатической теоремы: поймать частицу в ящике в точке р и транспортировать коробку вокруг флюса. Соединение манометра А работает точно так же, как связность Берри на состояниях | р , и затем вывод происходит точно так же, как вывод формального расслоения ниже. Обратите внимание, что как в интеграле по путям, так и в адиабатической теореме явно требуется, чтобы транспорт был медленным. В первом случае, чтобы не набрать лишнего п г Икс фаз, а в последнем случае это условие теоремы адиабаты.

Правильный вывод пучка волокон

Аргумент, который вы привели, основан на сравнении волновых функций в двух разных датчиках, что физически бессмысленно. Вот правильный вывод.

Как вы знаете, мы можем описать калибровочное поле в терминах U ( 1 ) -связывать М . Все такие связки тривиальны, поэтому в большинстве курсов о них не говорится; это только усложняет ситуацию. Однако предположим, что мы все равно решили использовать пакеты и рассмотрели М с двумя патчами. Затем мы можем вычислить фазу, полученную при перемещении частицы вокруг потока, следующим образом.

  • В первом патче интегрируйте А г Икс .
  • Когда частица переходит от первого участка ко второму, добавьте фазу для учета функции перехода между участками.
  • Во втором патче интегрируйте А г Икс .
  • Когда частица переходит из второго патча обратно в первый, добавьте еще одну фазу функции перехода.

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

Использование фальшивой деривации

Сравнение волновых функций в двух разных датчиках не имеет ничего общего с физическим процессом в эффекте Ахаранова-Бома, но ваш текст получает правильный ответ в основном случайно; есть только один ответ, который вы могли бы получить в этой простой ситуации. К счастью, установка вашего текста полезна для другого: для нахождения спектра частиц на кольце.

Предположим, что частица ограничена кольцом, через которое проходит поток. Если бы не было потока, собственные энергетические состояния были бы

ψ н ( θ ) е я н θ , Е н н 2 .
Теперь предположим, что поток включен, что дает фазу Ахаранова-Бома е я ф . Обычно, чтобы получить спектр, вам нужно решить уравнение Шредингера с векторным потенциалом, но, используя настройку пучка волокон, мы можем просто установить его равным нулю на каждом патче. Предположим, что мы установили одну из функций перехода как тривиальную, а пересечение другой заплаты θ "=" 0 , у нас есть
лим θ 0 + ψ н ( θ ) "=" е я ф лим θ 2 π ψ н ( θ )
где ψ н ( θ ) удовлетворяет уравнению Шредингера для нулевого векторного потенциала. (Конечно, волновая функция остается однозначной, пока мы помним, что имеет смысл сравнивать ее с самой собой только в пределах одного патча.) Тогда мы имеем
ψ н ( θ ) е я ( н ф / 2 π ) θ , Е н ( н ф / 2 π ) 2
что дает измеримое изменение спектра. Это тот случай, когда вам нужно независимое от времени уравнение Шредингера, а не интегральные траектории по траекториям, но это потому, что физика совершенно другая.

Спасибо за ответ. Моя единственная проблема заключается в том, что в «выводе пучка волокон», который вы даете, я нахожу нетривиальным мотивировать, что интересующая величина равна А . Может быть, это на самом деле тривиально, но я не вижу этого сейчас. Не могли бы вы предоставить источник, который рассматривает этот вопрос строго, но желательно без формализма интеграла по путям? Чтобы было понятнее, что я ищу, я расскажу предысторию. Я часто помогаю своему руководителю с практическим семинаром по курсу GR, который он проводит (я занимаюсь исследованиями в области GR). Его курс не очень математический, поэтому я часто освещаю некоторые (продолжение)
дифференциально-геометрического фона на практическом семинаре. Я знаю красивое и строгое доказательство того, что обращение в нуль тензора кривизны (в открытой области) влечет тривиальную голономию, если петля нуль-гомотопна. Я не знаю ни одного простого примера плоской голономии в ОТО, поэтому, чтобы показать следствие топологических препятствий, я намерен показать в качестве примера эффект АВ. Однако я предпочитаю подход «все или ничего» и считаю, что, возможно, самым строгим моментом во всем этом является физическое обоснование того, что фазовый сдвиг связан с А .
Причина, по которой я хочу избегать интегралов по траекториям без крайней необходимости, заключается в том, что наши обычные курсы QM не охватывают их, поэтому я не хочу обременять семинар еще и интегралами по траекториям.
@Ульдрет Ну, А выпадает из классического действия (где вы объясняете электромагнетизм, добавляя А г Икс термин), и, как вы знаете, интеграл по путям напрямую использует классическое действие в е я С . Я понимаю, почему вы можете не захотеть его использовать, но связь между квантовыми фазами и классическим действием действительно очень фундаментальна, поэтому ее отсутствие делает все намного сложнее. Тем не менее, вы можете обойтись, используя вместо этого фазу ягод.
@Uldreth Я кратко упомянул об этом выше, но фазу Ахаранова-Бома также можно рассматривать как фазу Берри, связанную с медленным переносом положения частицы. р в петле, где соединение Берри является соединением датчика. Вы можете найти производные этого, просто погуглив эти ключевые слова. Так что это может сработать.
@Uldreth На самом деле, вот, возможно, еще лучший способ: сначала аргументируйте, что фаза Берри точно равна нулю, когда А "=" 0 . (Если вы подлый, вы могли бы даже молчаливо предположить это, не говоря об этом; большинство этого не заметит.) Тогда единственная фаза, которую вы получаете транспортом в цикле, — это функция перехода. Наконец, используйте аргумент из вашей книги в обратном порядке, чтобы показать, что, отменив калибровочные преобразования, которые они сделали (что не должно изменить физическую фазу), эта фаза функции перехода точно равна А .
Просто интересно, не должно ли все еще быть возможно вывести это из уравнения Шредингера, не зависящего от времени, без использования какого-либо адиабатического переключения? (и без интеграла по путям?)

Оригинальная задача Бома-Ааронова [Y. Ааронов и Д. Бом Phys. Rev. 115, 485 (1959)] посвящен рассеянию электронов на соленоиде. Они дают хорошее решение уравнения Шредингера в виде суммы функций Бесселя, которые интересно рисовать:Бома с потоком 1,4 единицы через соленоид

Изображение представляет собой действительную часть волновой функции для случая 1/4 единицы потока через соленоид. Волна идет справа. Фазовый сдвиг БА приводит к смещению нисходящих потоков выше и ниже гребней волны на 1/4 длины волны. Однако сама волновая функция везде однозначна.

Если вывод неверен, то какой простой способ показать, что фазовый сдвиг определяется выражением , не зависящим от интегралов по путям?

Хотя сдвиг БА был экспериментально подтвержден много раз, я считаю, что все эти выводы о физическом эффекте (сдвиге), основанные на математических рассуждениях о А вне соленоида неубедительны, а может быть, и вовсе недействительны.

Основная проблема заключается в том, что все эти выводы предполагают , что петлевой интеграл вдоль петли С вокруг соленоида равен магнитному потоку через поверхность С который определяется циклом:

С А г л "=" С Б г С       ( 1 )

Хотя это верно для векторных потенциалов, рассматриваемых в большинстве ситуаций, обсуждаемых в учебниках по физике, это не обязательное свойство векторного потенциала. Единственными условиями, которые ограничивают векторный потенциал в ЭМ теории, являются

Б "=" × А ,
Е + ф "=" т А .

Из первого условия можно вывести формулу (1), но только если А хорошо себя ведет во всех точках поверхности (включая поверхность и внутреннюю часть соленоида). Если это не так (при наличии разрыва или сингулярности), вывод терпит неудачу. Следовательно, существуют допустимые функции А ( Икс ) которые при интегрировании вне соленоида не подчиняются (1).

Например, есть функция А 0 ( Икс ) который обращается в нуль вне соленоида (поэтому он дает × А "=" 0 тривиально) и отлична от нуля только внутри соленоида. Она также обязательно имеет разрыв на поверхности соленоида (или есть другая функция, непрерывная по поверхности, но имеющая сингулярность внутри соленоида). Таким образом, отношение Б "=" × А на поверхности соленоида не работает, но это верно для всех функций, включая стандартную, если распределение тока на поверхности соленоида бесконечно тонкое.

Эти детали не должны влиять на решение уравнения Шрёдингера, если соленоид моделировать как бесконечный потенциальный барьер (правда, это не очень ясно и, возможно, эффект разрыва или сингулярности проявляется даже через бесконечную потенциальную стену...).

Только когда мы ограничиваем векторный потенциал семейством, которое имеет ненулевой петлевой интеграл, мы можем получить какое-либо влияние магнитного потока на ψ функция.

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

Была проведена некоторая интригующая работа по возможности классического объяснения сдвига БА, см., например, статьи Тимоти Бойера, который утверждает, что существует классическое ЭМ-взаимодействие между электронами и металлическим соленоидом, что предполагает, что объяснение может быть гораздо более обширным. классические и не требующие специальных свойств векторного потенциала:

https://philpapers.org/rec/BOYCEA

https://link.springer.com/article/10.1023%2FA%3A1003602524894

Это звучит как излишний математический формализм, затуманивающий очень простую физическую точку. Векторный потенциал в идеальном соленоиде не является сингулярным. Это часто записывается явно на уроках электромагнетизма на уровне первокурсников. Нет причин, по которым он должен быть сингулярным, в отличие от магнитного монополя, поскольку пучок волокон здесь тривиален.
Вы можете сбить себя с толку, заставив себя работать с искусственно сингулярными калибровочными потенциалами, но это не отменяет фактического вывода, который совершенно прямолинеен.
Относительно «искусственно сингулярных калибровочных потенциалов»: считаете ли вы, что некоторые векторные потенциалы более правильны вне соленоида, чем другие, даже если все они удовлетворяют определению × А "=" Б в том регионе? Я не. Векторный потенциал не обязательно должен быть везде дифференцируемым.
Я считаю, что все реальное не только дифференцируемо, но бесконечно дифференцируемо. Так что я думаю, что идти против этого принципа, даже для чего-то ненаблюдаемого, такого как калибровочный потенциал, физически неприемлемо.
Дифференцируемость или разрывность — это всего лишь свойства физических моделей. Каждый полезен в определенных ситуациях. В физике много случаев недифференцируемых функций, и это, как правило, не проблема. Мы можем дифференцировать даже такие функции с помощью дельта-распределений.
Я уверен, что вы можете представить что-то гладкое с чем-то исключительным, но это искусственно делает вещи более запутанными. Если, делая этот выбор, вы непреднамеренно вводите себя в заблуждение, думая, что эффекта Ахаранова-Бома не существует, это не опровержение, это только ваша вина.
Возьмем в качестве примера дельта-функцию Дирака. Это возникает при нормализации состояний положения в QM. Если вы не принимаете дельты Дирака, вы можете ошибочно утверждать, что это означает, что состояния положения не могут существовать, поэтому уравнение Шредингера необходимо изменить. Но это неправильно; очевидная проблема возникает только из-за использования единичных объектов в вашей модели, и вы можете перефразировать все физические результаты, не используя ничего единственного.
Вы продолжаете настаивать на том, что я запутался, но до сих пор не привели никаких аргументов в пользу этого. В физике или математике нет правила, запрещающего использовать функции, имеющие разрыв или сингулярность. Это верно для физических величин, таких как Е , Б , Дж , р . И еще более верно для нефизических вспомогательных функций, таких как А . Такие неоднородности проявляются во многих полезных моделях, таких как кулоновский потенциал точечного, линейного и поверхностного распределения заряда. Что касается вашего гипотетического примера с дельта-функцией Дирака, я не понимаю, что вы имеете в виду.
Что ж, вернемся к механике и рассмотрим уравнение Ф "=" г U / г Икс . Если бы кто-то выбрал U быть не дифференцируемым, Ф не может быть определено, так что это должно означать, что законы Ньютона неверны, верно? Это означает, что мы не можем предсказать, что произойдет в реальной механической системе. Но этот аргумент чепуха, потому что в том, что происходит на самом деле, нет ничего особенного. Вы всегда можете сделать свое математическое описание хуже, чем оно должно быть, но меня это не касается.
Очевидно, вы должны знать, что разрывы и особенности в Е , Б , Дж и р все они физически не существуют. На самом деле все размазано. Вам не нужно использовать единичные физические объекты в электромагнетизме, и вам, конечно же, не нужно использовать здесь единичный калибровочный потенциал, так зачем вам это?
> «Если выбрать U быть не дифференцируемым, Ф не может быть определена, поэтому это должно означать, что законы Ньютона неверны, верно?" U прекрасна, как сингулярность в ньютоновской гравитационной потенциальной энергии г м 1 м 2 / | р 1 р 2 | . > «Очевидно, вы должны знать, что разрывы и особенности в Е , Б , Дж и р все они физически не существуют. На самом деле все размазано." Этого точно никто не знает.
> «Вам, конечно, не нужно использовать здесь сингулярный калибровочный потенциал, так зачем вам это?» мы не обязаны, но можем , и это меняет результат (значение А г л ). На самом деле в электромагнитной теории нет правила, запрещающего векторные потенциалы, имеющие сингулярность где-то за пределами интересующей области. В интересующей области - вне соленоида - А "=" 0 является совершенно тонким векторным потенциалом. Такой потенциал имеет особенность внутри соленоида, но и там правильно дает магнитное поле.
Можете ли вы привести пример случая, когда выбор чего-то единственного, когда это не обязательно, когда-либо приводил к нетривиальному и правильному предсказанию?
Я имею в виду, я уверен, что вы можете выбрать сингулярный векторный потенциал. Вы также можете выбрать, чтобы она была кватернионнозначной, или грассмановозначной, или многозначной, или любым другим математическим материалом, который вы хотите добавить. не работает. Существует бесконечное количество дополнительных математических усложнений, которые вы можете добавить. Какие осложнения вы считаете «естественными» — это социологический феномен, проистекающий из проблем, о которых любят беспокоиться математические физики. Но настоящую физику это не волнует.
Мотивация потенциала с сингулярностью внутри соленоида состоит в том, что он позволяет А "=" 0 вне соленоида, что является вполне естественным решением уравнения × А "=" 0 там. Если вы можете найти кватернионнозначный А это дает правильное магнитное поле снаружи и внутри соленоида, я думаю, что это тоже будет правильно.
> «Можете ли вы привести пример случая, когда выбор чего-то единственного, когда это не обязательно, когда-либо приводил к нетривиальному и правильному предсказанию?» Да, рассматривая физические объекты как точечные частицы. Это вносит сингулярность в поле/взаимодействие при встрече частиц, но позволяет использовать полезные модели.
Я думаю, мы должны согласиться не соглашаться, так как ни один из нас не собирается убеждать другого. Я по-прежнему считаю, что природа не знает и не заботится ни о каких функционально-аналитических тонкостях, изобретенных людьми. Однако я понимаю, как можно было думать иначе.
На самом деле, я согласен, что природе нет дела до математики, которую изобрели люди. Вот почему мне не нравится идея, что только один конкретный выбор потенциала (непрерывный, прерывистый), не влияющий на физические поля, является «правильным». Но ладно, оставим это пока.