но никаких частиц не было

[avva]

Из статьи: Art Hobson, "There are no particles, there are only fields"

Classical field theory and experiment imply fields are fundamental, and indeed Faraday, Maxwell, and Einstein concluded as much. Merely quantizing these fields doesn't change their field nature. Beginning in 1900, quantum effects implied that Maxwell's field equations needed modification, but the quantized equations were still based on fields (Maxwell's fields, in fact, but quantized), not particles. On the other hand, Newton's particle equations were replaced by a radically different concept, namely Schroedinger's field equation, whose field solution Ψ(x,t) was however inconsistently interpreted as the probability amplitude for finding, upon measurement, a particle at the point x. The result has been confusion about particles and measurements, including mentally-collapsed wave packets, students going "down the drain into a blind alley," textbooks filled almost exclusively with "particles talk," and pseudoscientific fantasies. The relativistic generalization of Schroedinger's equation, namely Dirac's equation, is clearly a field equation that is quantized to obtain the electron-positron field, in perfect analogy to the way Maxwell's equations are quantized. It makes no sense, then, to insist that the nonrelativistic version of Dirac's equation, namely the Schroedinger equation, be interpreted in terms of particles. After all, the electron-positron field, which fills all space, surely doesn't shrink back to tiny particles when the electrons slow down.

Thus Schroedinger's Ψ(x,t) is a spatially extended field representing the amplitude for an electron (i.e. the electron-positron field) to interact at x rather than an amplitude for finding, upon measurement, a particle. In fact, the field Ψ(x,t) is the so-called "particle." Fields are all there is.

There are overwhelming grounds to conclude that all the fundamental constituents of quantum physics are fields rather than particles. [...]
Field-particle duality exists only in the sense that quantized fields have certain particle-like appearances: quanta are unified bundles of field that carry energy and momentum and thus "hit like particles;" quanta are discrete and thus countable. But quanta are not particles; they are excitations of spatially unbounded fields. Photons and electrons, along with atoms, molecules, and apples, are ultimately disturbances in a few universal fields.

Насколько это стандартная/мейнстримная среди физиков/разумная точка зрения - что уравнение Шредингера можно и следует интерпретировать как уравнение поля, а значение волновой функции - как величину, указывающее вероятность интеракции поля в данном месте и в данное время, а не вероятность обнаружить частицу? Мнение о всей статье в целом тоже весьма интересно.

Comments

[akuklev.livejournal.com]

На мой взгляд, совершенно корректный и мейнстримный взгляд. “На самом деле нет никаких частиц, есть взаимодействующие квантованные поля”, причём «квантованность» означает, что (а) конфигурация поля описывается гораздо сложнее, чем просто информация о напряженности в каждой точке, (б) существуют такие “минимально невакуумные” состояния поля, при которых любое взаимодействие с другим полем вынимает из поля всю вынимабельную оттуда энергию (тогда мы говорим, что там был “всего один фотон/электрон”), и в пределе низких энергий/слабых взаимодействий любое состояние поля раскладывается в суперпозицию таких состояний и того или иного вакуума (вакуум это состояние, из которого энергия не может передаться другому полю, инертное состояние, иногда у полей бывает много неэквивалентных вакуумных состояний), поэтому любят говорить, что “в пределе низких энергий поле состоит из частиц”, однако в этот момент нужно сразу добавлять, что разложение поля на «частицы» неоднозначно, что совершенно misleading, если под частицами подразумевать что-то классическое. А в природе именно что “сунули в кастрюлю одну большую красную луковицу и одну маленькую желтую, вынули маленькую красную — осталась большая жёлтая”; именно так всё и работает, это совершенно фундаментальный аспект квантовых полей, без которых невозможно было бы ни одно реальное взаимодействие: тот квант, света, который выделила далёкая звезда, и тот квант света, который был поглощён CCD-матрицей нашего телескопа имеют разную «форму». Если кварковое поле разбить на частицы по такому базису, чтобы они независимо друг от друга свободно летали, будут одни кварки, если разбить по такому базису, в котором происходит взаимодействие с электрослабым полем, это будут слегка другие кварки, а матрица перехода между этими базисами называется CKM-матрица.

Хочется нарисовать демотиватор на тему “частицы курильщика и частицы нормального человека”. Для человека, который привык думать о частицах как о биллиардных шариках, пусть даже и точечных, пусть даже и размазанных вероятностно, применение слова “частица” в смысле “квант поля” очень misleading.

[alaev.livejournal.com]

Вот человек, который понял явно больше моего!

[(Anonymous)]

На современном этапе наверно нужно принять, что для описания поведения некоторого обобщенного физического мира мы используем моделирование с использования абстрактно-символьного математического аппарата, опуская как он у нас появился, развивался, как математики придумывают новые инструменты. При этом часть аппарата достаточно легко ложится на нашу макроспическо-визуальную практику. Можно изготовить специально или использую подсобные предметы отрезок(одномерный вектор), ввести единицу измерения, создать линейку.
Потом можем три линейки связать между собой жестко , и убедиться, что использую такой измерительный аппарат мы может однозначно определить положение некоторой условной физической(материальной) частицы(точки) (ввести абстракцию точки в физическом мире, которая как бы практически не имеет протяженности), в конечном итоге для описания задействовать аппарат трехмерного линейного пространство, где состояние каждой частицы описывается вектором. Аналогично можем начать описывать изменение состояние частицы, начиная с одномерного случая и переходя к трехмерному и вводя вектор скорости, дальше у нас ускорение и нам уже понадобиться аппарат дифференциальных исчислений. В этом уже есть проблема для нашей визуализации, потому что начинается исчисление каких-то бесконечно малых, которые мы как-то пытаемся втиснуть в наш простейший физически опыт, но потом привыкаем и начинаем просто пользоваться математическим аппаратом,понятно не каждый может и не каждый будет этим заниматься, возникает группа людей которая этим пользуется и потом как-то умозрительно пытается объяснить оставшимся что же они делают, с некоторой дилеммой про царские пути в геометрии(по истории кажется так было) . Дальше следующая сущность у нас сила, для описания-измерения которой мы создав некие приборы, назовем обобщенно динамометрами(фактически в первом приближении использую наблюдение за растяжением пружин) опять же, но уже больше умственно умысливаем силу так же как вектор в 3х-мерном бла-бла-бла. Но дальше уже даже в классической механике возникает казус, потому что возникает вопрос о переходе в описания от материальной(физической) точки к твердому телу, у которого есть внутренние степени свободы,
(здесь я уже плыву) которые наверно можно свести к суперпозиции вращений вокруг некоторых осей. Тут появляется дикообраз, векторное умножение и векторный момент, который на самом деле легко решается на математическом уровне, это тензорное исчисление-исчисление матриц.
Но развитие физической мысли идет своим прихотливым путем, МАТЕМАТИЧЕСКИЙ АППАРАТ НЕ ВСЕГДА ДЛЯ НЕГО ГОТОВ(УМЕНЯ ЗДЕСЬ начался шифт, и перебивать влом), а если
мы посмотрим на матрицу то в ней можем выделять векторы(ковекторы), ну и еще если у матрицы 3х3
только три элемента отличных от 0 мы можем придумать какой-то вырожденный случай в виде вектора, тем более если он будет поддерживать все правила для линейного пространства, я так понимаю момент это след матрицы, когда мы имеем с простым вращением вокруг одной оси, кроме того визуально мыслить в матрицах уже для большинства весьма не просто, вот придумали вот такой вектор момента, только для этого потребовалось еще векторное произведение, объяснить происхождение которого в рамках чисто векторных представлений непросто, ну просто типа запомните, надо так работать .
Этакая прелюдия. Я думая, что когда мы рассматриваем микромир, не надо пытаться представить его объекты как частицу или поле в классическом представлении, надо абстрагироваться до некого микрообъекта, состояние которого описывается в гильбертовом пространстве, а вот взаимодействие его с макроскопическим прибором(другими мы измерять не можем) и порождает статистическую характеристику макроследа(здесь надо аппарат измерения поведения микрообъектов разобрать умозрительно ,камера Вильсона, пузырьковая камера). Дальше наверно надо вспомнить про Блохинцева.
Это все не отменяет некоторых умозрительных дикообразов,на
основе которых мы будем получать правильный результат,
вероятностное распределения наверно хорошо сочетается с полевыми представлениями.


Упс, в меру ничтожных силу, в меру бредово :)) , если что извиняйте :) за потерянное время.

Вопрос соотношения объект и поле по моему уже другой , отдельный.

[migmit.livejournal.com]

Но ведь первый комментатор-то прав: волновая функция — это не функция ТОЧКИ (как поле, по крайней мере, классическое), а функция СОСТОЯНИЯ МИРА — т.е., уже если мы рассматриваем две частицы, то это уже будет функция шести координат, к функциям трёх не сводящаяся. Нет?

[akuklev.livejournal.com]

Я по этому поводу прямо на самом верху написал “конфигурация поля описывается гораздо сложнее, чем просто информация о напряженности в каждой точке”. :-)

О волновых функциях можно нормально говорить только в нерелятивистском сеттинге. Состояние одного отдельно взятого электрона (с учётом спина) в фиксированный момент времени t задаётся вектором в гильбертовом пространстве
L²(ℝ³) ⊗ Cℓ(ℝ³),
т.е. абсолютно-квадратично-интегрируемой “волновой” функцией на трёхмерном эвклидовом пространстве ℝ³ со значениями в двумерном унитарном пространстве спиноров Cℓ(ℝ³) ≅ ℂ². Если быть совсем точным, то надо ещё добавить, что "волновые функции" идентифицируются между собой с точностью до равенства почти всюду и умножения на комплексную константу единичного модуля.
У этих волновых функций есть хорошая интерпретация — квадрат модуля = вероятность взаимодействия частицы с чем-то другим в этой точке.


В релятивистском случае определить непротиворечиво волновую функцию электрона вообще не получится, т.к. интерпретация квадрата модуля как вероятности взаимодействия рушится, сейчас я объясню почему.

В релятивистском случае говорить о состоянии электрона в какой-то "момент времени t" мы не можем из-за относительности одновременности, там понятие момента времени заменяется на “пространственноподобное сечение S пространства-времени M”, буковка S от слова Snapshot, «моментальный срез». Заменой волновой функции будет какая-то функция на этом S. Так вот если в какой-то системе отсчёта она была нормирована на единицу, то в другой системе отсчёта почти всегда не будет. Интерпретация ломается. В следующем комменте я расскажу, как она чинится. :-)

[akuklev.livejournal.com]

Наиболее похожая на волновую функцию штуковина в релятивистском сеттинге — минимально-невакуумное состояние диракового (электрон-позитронного) поля, т.е. состоящее интерпретируемое как “у нас там внутре живёт ровно один квант”.
Такое состояние поля очень похоже на волновую функцию, оно однозначно задаётся именно функцией со значениями в четырёхмерном унитарном пространстве на любом моментальном срезе S. Разумеется, любого среза достаточно только в предположении, что вселенная, в которой мы работаем, связна и глобально-гиперболична, т.е. не содержит чёрных дыр, кротовых нор и других фокусов. Если это не так, то получится что состояние поля внутри чёрной дыры или несвязного компонента вселенной не определяется его состоянием на каком-то моментальном срезе, который обходит эту штуковину.

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

Ты же знаешь что такое зависимые П-типы, они же расслоения в математике?
С каждой точкой x нашего пространства-времени M ассоциировано по два вещественных векторных пространства: касательное пространство T_xM и кокасательное пространство T*_xM. Пространство-время в котором мы работаем не простое, а оснащено лоренцевой метрикой g, т.е. гладкой зависимой функцией (x : M) => T*_xM ⊗_sym T_xM. Т.е. каждой точке сопоставляется симметричная билинейная форма на T_xM, форма обязательно должна быть сигнатуры (3, 1), три пространственных измерения и одно временное. Ежели у нас есть вещественное векторное пространство T_xM, да невырожденная билинейная форма на нём, то это значит что у нас есть псевдоэвклидово векторное пространство (T_xM, g(x)), а для таких пространств мы умеем строить алгебры Клифорда
Cℓ(T_xM, g(x)) ≅ ℂ⁴. Так вот минимально-невакуумное состояние дираковского поля задаётся вектором в Гильбертовом пространстве
L²(x : S) ⊗ Cℓ(T_xM, g(x)).

Это о-очень похоже на волновые функции!
Только вот модуль не является инвариантом. Зато внутри каждого пространства спиноров у нас есть выделенная проекция на временнУю ось. И если перед интегрированием функции спроецировать везде на временную ось, мы получим вещь, инвариантную относительно смены точки отсчёта, однако меняющую знак при обращении направления времени. Если смотреть на то, как эта вещь влияет на взаимодействие с другими полями, то выяснится, что это как раз таки вероятность взаимодействия с пролетающим мимо фотоном в данной точке. А то, что она бывает отрицательной — так это потому, что квант дираковского поля может быть как электроном, так и позитроном.

Теперь переходим к вопросу о том, как переходить к описанию состояния поля в состоянии общего вида, а не только когда один квант. Так вот, если поле у нас свободное (не взаимодействует), то его состояние описывается вектором в пространстве Фока
exp(L²(x : S) ⊗ Cℓ(T_xM, g(x))), где
exp(H) = 1 ⊕ H ⊕ (H ⊗ H)/2! ⊕ (H ⊗ H ⊗ H)/3! ⊕ ···, где
под n! подразумевается группа перестановок n элементов, действующая на тензорную степень H^⊗n перестановками компонент вектора (с одновременным умножением на знак перестановки, в случае фермионных полей, что приводит к автоматическму выполнению принципа Паули), под 1 подразумевается одномерное векторное пространство над ℂ, а под ··· подразумевается взятие предела и пополнение.

[akuklev.livejournal.com]

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

Вот мы умеем описывать состояния свободного дираковского поля, на здоровье. Можем аналогично описать состояния свободного электромагнитного поля, которое вообще до предела скучное: одиночные фотоны летят над волнами равномерно и прямолинейно с одной и той же скоростью с не меняя своей геометрической формы never ever ever!

Если у нас есть два взаимодействующих поля, то рассматривать их по-отдельности не получится. Точнее, мы знаем, что для системы “взаимодействующее дираковское и электромагнитное поле” существуют состояния вида «вакуум» и «(один электрон/позитрон) ⊗ (электромагнитная пустота)», и они остаются таковыми навеки: мирнопашущий себе прямолинейно и равномерно фермион ничего электромагнитно не излучает. Ещё у нас есть состояния (никаких фермионов) ⊗ (фотон, летящий на крыльях ночи, или два фотона, или пять-дэсять), однако они все не остаются стабильно во времени: летящий фотон возмущает электромагнитное поле (это ещё называют порождением виртуальных электронно-позитронных пар) и потихоньку расплывается от этого, а если фотонов много, то они не пролетают друг сквозь друга совершенно индифферентно, как в случае свободного электромагнитного поля, а начинают слабо-преслабо взаимодействовать, происходят так называемые нелинейные оптические эффекты. При этом надо отметить, что возмущения дираковского вакуума, связанное с самовзаимодействием фотонов, в первом приближении похоже на свободное дираковское поле, в котором с малой вероятностью мельтешат хорошо локализованные скомпенсированные пары электронов и позитронов. Это я всё про плоское и простое пространство Минковского говорю, без всякого выпендрёжа.

А вот ежели сделать так, чтобы заряженный фермион в вакууме подвигался с ускорением (это легко изобразить, перейдя к ускоренному наблюдателю), начинаются весёлые вещи! Заряженный фермион порождает актуально бесконечное количество фотонов тормозного излучения, со стремящейся к нулю энергией (ряд сходится, энергия конечна, а вот количество — нет). В пространстве Фока такого не было! Там состояние свободного электромагнитного поля являлось суперпозицией состояний с конечным числом частиц, выполнение предельного перехода и пополнения осуществлялись таким образом, что оператор “измерить количество частиц” можно было применить к любому состоянию и получить конечный ответ. Разумеется, могло такое быть, что матожидание не является целым числом, но оно было конечным числом. А тут нет. В поле появились новые компоненты состояния, которые нельзя описать старым языком, так называемые инфракрасные облака.

А вот бывает ли состояние “(два фермиона) ⊗ (электромагнитная пустота)”? Кукишь!
Просто добавить в состояние “(один фермион) ⊗ (электрмагнитный вакуум)” ещё один фермион уже не получится, нужно будет вместе с ним добавить хитросогласованное с формой и взаимным расположением электронов возмущение электромагнитного поля, отражающее отталкивание/притяжение фермионов через электромагнитное поле. И что самое противное, это возмущение в форму “суперпозиция комбинаций одиночных фотонов” вообще не раскладывается! За примером, причём, далеко ходить не надо, это обыкновенный атом водорода, стабильное состояние электромагнитного поля, связывающего электрон и ядро атома водорода в самом низком энергетическом состоянии, это не фотон. Да, возбуждённые состояния можно как раз представить как композиции базового состояния и фотона, зажатого в стакане потенциальным барьером, готового в любой момент с небольшой вероятностью протуннелировать наружу. Но базовое-то состояние нет, оно не такое., т.е. particle content электромагнитной части тупо больше, чем particle content, свободного электромагнитного поля!

[akuklev.livejournal.com]

Ну и наконец последнее: как вообще выясняют/определяют как устроены конфигурации взаимодействующих полей?

На самом деле, для этого просто зажимают две стороны клещей, пока не сомкнутся.

Одна сторона — это подход со стороны теории возмущений. Т.е. мы предполагаем, что у нас есть свободные поля (их хорошо понятные возмущения мы описываем чёрточками в диаграммах Фейнмана), есть взаимодействия определённых типов (это члены затравочного лагранжиана теории, они же — вершинки на диаграммах Фейнмана), а всё на свете об взаимодействующей теории можно узнать, рассматривая её как малое возмущение над свободной теорией, описываемое бесконечным индуктивно-порождённым семейством диаграмм Фейнмана. В процессе подсчётов мы натыкаемся на целых две проблемы: (1) величины в Лагранжиане не комплексно-значные функции, а операторно-значные заряды, на которых не может быть определено коммутативно-ассоциативное умножение, зато можно определить “причинно-согласованное умножение”, однако таких умножений можно определить не одно, а целое параметрическое семейство P, если это заигнорить и shut up and calculate, то полезут расходимости, (2) если посчитать возмущённую теорию и потом снова посмотреть её лагранжиан, то он будет вообще говоря другой, чем тот, с которого мы начинали. Однако существует один и только один подбор параметров Р, используемых для определения умножения в лагранжиане, обеспечивающий что исходный и посчитанный лагранжианы совпадут. После того как это сделано (это всё проходит под кодовыми названиями регуляризация и перенормировки), у нас получается какая-то самосогласованная теория, правда, обычно с идиотскими границами применимости: точно известно, что теория принципиально не допускает частиц слишком плотной локализации или слишком высокой энергии (что одно и то же), есть какие-то граничные значения, после которых всё разваливается. Иногда можно проанализировать, что произошло, расширить particle content теорий, из которых мы исходили, посчитать всё заново, и обнаружить, что, о, ура, получилась разумная штука, мы даже можем описать все величины, которые можно измерять для данного поля (т.е. описать С*-алгебру наблюдаемых в терминах конечного набора параметризованных генераторов, и их отношений), а затем и классифицировать все возможные состояния.

Вторая сторона — дескриптивный подход, вот в таком духе: на таком-то многообразии N выделена база топологии, состоящая только из связных односвязных компактных открытых областей с достаточно регулярной причинной структурой, с приятно устроенным краем, сети этих областей мы согласованным (функториальным) образом сопоставляем С*-алгебры, которые называем алгебрами наблюдаемых, мы от них требуем таких-то свойств, в частности очень чёткой структуры внутренних симметрий (это самым главным образом определяет, получится ли у нас электромагнитное поле или кварки с маслом), фиксируем как на эти алгебры действуют “малые сдвиги системы отсчёта”, действие малого сдвиго системы отсчёта во временном направлении — это “наше уравнение движения”. Дальше мы постулируем существование состояний, которые очень равномерны и “очень мало и равномерном меняются” при малых сдвигах системы отсчёта, это будут вакуумоподобные бэкграунды (“чистых” вакуумов у квантовых теорий даже на плоском пространстве-времени-то не бывает, а во вселенных общего вида и надеяться незачем) и так далее. Из этих очень абстрактных компонентов можно иногда умудриться описать С*-алгебры наблюдаемых со всякой ценной структурой с точностью до изоморфизма, фиксирующего эту структуру и убедиться, например, то мы получили то же самое, что с другой стороны клещей при помощи затравочного лагранжиана и диаграмм Фейнмана.

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

[(Anonymous)]

Компактных открытых областей?

[akuklev.livejournal.com]

Извините, зарапортовался, имелось в виду, что они содержатся в компакте.

[(Anonymous)]

О волновых функциях можно нормально говорить только в нерелятивистском сеттинге .... а как по русски сказать нерелятивистский сеттинг? чисто из спортивного интереса :-)

релятивистский - не относительность
сеттинг - установки, настройки, параметры в этом контексте

о, неотносительной системе координат

О волновых функциях можно нормально говорить только в неотносительной системе координат

Коряво что то ... эту мысль можно полностью выразить по русски ?

[akuklev.livejournal.com]

Гораздо хуже, чем коряво: неверно. При определении волновых функций и уравнения Шрёдингера существенно используется относительность выбора системы координат и следующие из неё законы сохранения энергии, импульса и момента импульса, однако речь идёт об относительности Ньютона-Галилея, а не относительности Эйнштейна-Лоренца-Пуанкаре. Прилагательное “релятивистский” в контексте физики и в русском, и в английском, и в немецком, закрепилось именно за относительностью Эйнштейна-Лоренца-Пуанкаре.

Сеттинг — это не установки и не настройки. Это математический аппарат, при помощи которого мы отражаем физическую реальность в рамках решаемой задачи.

Так что «в нерелятивистском сеттинге» значит «в рамках доэйнштейновского математического аппарата физики и, соответственно, без учёта релятивистских эффектов».

Термин “релятивистские эффекты” настолько устоявшийся, что мне кажется совершенно бессмысленным пытаться его переводить.

Надо сказать, что огромное большинство практических задач физики можно решать без учёта релятивистских эффектов, однако для непротиворечивого описания окружающего нас мира без них совсем постыло: нет магнитных полей, и, как следствие, не существует света и твёрдых тел. Нет массового дефекта, и соответственно не не работает термоядерный синтез, атомы тяжелее водорода могут появиться только чисто случайно, и, стало быть, в следовых количествах. :-)

[avva.livejournal.com]

Спасибо, это было очень интересно :)

[(Anonymous)]

Какая классная лекция. Спасибо.

[gershshpraihler.livejournal.com]

шурик, дурной вопрос: вы всё это в основном учили в физтехе в рамках программы или самостоятельно?

[akuklev.livejournal.com]

1) Учился я в Гёттингене на физфаке, который не очень физико-технический, а несколько больше по части теорфизики и матфизики, хотя практикумы у нас тоже были дай боже и с оборудованием поработать довелось превосходно. Конкретно в Гёттинген я поступил из-за того, что тут очень сильная алгебраическая квантовая теория поля, ну и конечно из-за истории этого чудесного университета (Лихтенберг-Гаусс-Вебер-Вёлер-Дирихле-Риманн-Нернст-Зигмонди-Каратедори-Минковский-Клейн-Курант-Прандль-Франк-фонЛауе-Гильберт-Планк-Бор-Нётер-Ландау-Вейль-Йордан-Хунд-Борн-Гейзенберг-Ферми-Теллер-Оппенгеймер-фонНейман, не считая выдающихся врачей и физиологов (скажем Кох, который открыл возбудитель туберкулёза — палочку Коха), египтологов-ориентологов (Эберс!), лингвистов (братья Гримм и мн.другие)).

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

Короче, если пришёл (как в моём случае) в институт целенаправленно чтобы понять всё, что на данный момент известно об устройстве самых элементарных кирпичиков вселенной, и складном математическом фреймворке их описания, то это всё можно довольно подробно изучить не выходя из института за 5-7 лет.

[avva.livejournal.com]

Раз уж опять есть активность в этой записи, можно попросить тебя прокомментировать эти комментарии Зоара Комаргодского (физика из Вайцманновского института) в этой же моей записи, но в ФБ?

Т.е. что, более подробно, лежит за утверждением "very few scientists, if any, still think that the eponymous fields of "quantum field theory" are fundamental. The modern point of view is that it is nice to have them for concrete calculations but we can in principle also get by without them and in some extreme cases we have no choice but to manage without them", согласен ли ты с этим, и совместимо ли это с твоими комментариями выше.

[akuklev.livejournal.com]

> very few scientists, if any, still think that the eponymous fields of "quantum field theory" are fundamental.

Можно в разной степени узко понимать что такое Quantum Field.

1) Можно понимать под этим штуку, которая получается в результате квантования классического поля с фиксированным лагранжианом на плоском пространстве-времени Минковского или внутри фиксированного бесконечно протяженного идеально-регулярного кристалла. Если он про это, то да, все уже минимум лет пятьдесят понимают, что это прокрустово ложе, в которую даже квантовая хромодинамика не лезет как следует. Это вот такие поля, где можно не только понять низкоэнергитические конфигурации в терминах “particle-like field excitations”, но и взаимодействия можно визуализировать при помощи диаграмм Фейнмана и таким образом получить исчерпыващую картину динамики поля при низких энергиях.

2) Можно понимать поля в смысле “нечто что соответствует Wightman axioms” и деквантуется в пределе малых энергий (т.е. даёт в пределе малых энергий некую классическую/полуклассическую теорию). Это вот сетап специально для Стандартной Модели. В предыдущих комментах я рассказывал вообще говоря именно о таких полях, потому что вопрос был о “частицах”, т.е. о квантовой Стандартной Модели, которая действительно строится отталкиваясь от классического лагранжиана и предзаложенного набора симметрий, хотя и не исчерпывается ими. Вот это тот максимум, который можно понимать в терминах “оно при низких энергиях как будто состоит из частиц, ну может плюс ещё таких, таких и таких легко визуализируемых возмущений поля (инфрачастицы, псевдочастицы)”. Более того, оперировать фейнмановскими диаграммами всё ещё можно, хотя тут мы уже точно знаем, что динамика ими не исчерпывается и есть “непертурбативные вклады в S-матрицу”.

Но сюда принципиально не лезут существенно-нелагранжевы квантовые поля, которые возникают естественно в физике твёрдого тела (не как фундаментальные, но как инструментальные квантовые поля), и всякие wannabe-обобщения стандартной модели.

3) Можно понимать поля в смысле Local Quantum Physics, т.е. квантовые поля, которые описуемы в терминах локальных наблюдаемых. Это ещё называется “Algebraic Quantum Field Theory in Narrow Sense”. Насколько я знаю, это самый широкий фреймворк допускающий определение того, что такое вакуум, и что такое “квант поля”. Кванты поля совершенно не обязательно похожи на частицы, но если нам повезёт (например, если мы соорудили теорию из Стандартной Модели), то всё-таки весьма похожи, и тогда можно добиться понимания того, как же всё-таки устроены конфигурации поля.

Только при таком уровне общности можно вообще говорить о квантовых теориях поля на неплоском пространстве-времени, понимать модель Изинга как квантовое поле и т.д. Однако и тут всем понятно, что это не последнее слово! Потому что Local Quantum Physics формулируется в терминах жесткого заранее заданного бекграунда, какого-то Лоренцева многообразия с фиксированной метрикой, а все знают, что есть такая очень хорошо работающая Общая Теория Относительности, в которой метрика — не бекграунд, а степень свободы, также участвующая в динамике. И нет никакого способа “чуток подкрутить сетап, чтобы бекграунд стал частью состояния”. Без фиксированного бекграунда у нас нет никаких инструментов, чтобы обуздать хаос и как-то выделить из него что такое частицы, как-то определить что такое компоненты S-матриц.

Соответственно подход Local Quantum Physics не позволяет описывать топологические квантовые теории поля.

4) Наконец можно понимать поля в смысле Functorial Quantum Field Theory/Algebraic Quantum Field Theory in Broad Sense. (Двойственные способы описания квантовый полей в совершенно абстрактном смысле.) Приверженцы Algebraic Quantum Field Theory и Functiorial Quantum Field Theory (включая многих струнных товарищей с ncatlab'а во главе со Шрайбером) считают, насколько я понимаю, что вот эти штуки уже фундаментальны. А остальные ничего не считают на тему фундаментальности, кроме того что лес тёмен, а омут глубок (иногда это принимает чуть более конкретные формы, см. размышления Вайнберга про нелинейную квантовую механику, но от математической конкретики эти рассуждения очень далеки). :-)

[akuklev.livejournal.com]

Я тут разошёлся мысью по древу, хотя можно сформулировать гораздо короче:

The entities we'll definitely need to have quantum version of general relativity or any theory which includes it (which is what we believe to be necessary requirement to be "fundamental") are sometimes called “quantum fields”, but it's highly unclear how to interpret them as genuine "fields" of whatever kind.

[gershshpraihler.livejournal.com]

т.е. вы с самого начала начали, с первой степени?

[akuklev.livejournal.com]

Да. С Физтехом (МФТИ) меня связывает только то, что я собирался туда поступать, когда жил в России, и получил право на поступление без экзаменов по результатам олимпиады.