Популярно о конечной математике и ее интересных применениях в квантовой теории
- -
- 100%
- +
Философия классической теории такая. Мы исходим из стандартной непрерывной математики и неявно предполагаем, что все значки, которыми мы описываем физику (например, x, t, dx/dt и др.) относятся к физическим величинам, которые в принципе могут быть измерены с любой точностью. Существующая квантовая теория тоже далеко не идеальна, в ней есть проблема интерпретации и другие проблемы. Но, по крайней мере, квантовая теория пытается как-то ответить на вопрос, что является физической величиной и с какой точностью величина может быть измерена. В частности, только те величины являются физическими, которым соответствуют самосопряженные операторы. Однако, хотя квантовая теория существует уже почти сто лет, есть проблемы в ее преподавании, и многие из тех кто формально в квантовой теории, ее не понимают. Думаю, что ситуация хорошо характеризуется таким наблюдением Гелл-Манна. Он преподавал квантовую механику в Caltech и по его наблюдениям, в ее изучении есть три этапа:
1) Студент решает уравнения Шредингера, находит уровни энергии и чувствует себя хорошо. Этот этап длится примерно полгода.
2) Начинает думать какой смысл всего этого и мучается, что не может понять. Этот этап тоже длится примерно полгода.
3) В одно прекрасное утро он просыпается и удивляется зачем он мучился т.к. все ясно и никаких проблем нет. Объяснение такое, что он пытался понять квантовую теорию с точки зрения классической, а это невозможно. Но постепенно у него выработалось квантовое мышление.
Мне кажется, что это наблюдение относится не только к студентам, но и ко многим ученым, которые формально считаются квантовыми физиками. Когда читаю тысячи статей по квантовой теории, то впечатление такое, что у многих авторов даже второго этапа не было.
Один из примеров – современные теории большого взрыва (Big Bang). Здесь задача заключается в том, чтобы объяснить несколько параметров, характеризующих современную Вселенную. Для этого создаются модели, где не только много параметров, но и предполагается, что за инфляцию ответственно инфлатонное поле, частицы которого никто никогда не наблюдал. Тогда современное состояние Вселенной объясняется тем, что когда-то была инфляция, т.е., Вселенная очень быстро расширилась. Например, в одном из известных сценариев, который предложил знаменитый космолог Guth, размер Вселенной изменился с 10-26m до 1m и это произошло за 10-35s. Для описания этого сценария используется квантовая теория инфлатонного поля и ОТО. Т.е., считается, что хотя ОТО – чисто классическая теория, ее можно применять на расстояниях 10-26m и временах 10-35s. Т. е. в духе классической физики, что когда мы пишем x=10-26m или t=10-35s, то думаем, что эти выражения имеют смысл. Однако, понятия координат и времени возникли из классической физики. Это величины, которые могут быть измерены с точностью не лучше чем размер атома и 10-18s соответственно.
Считается, что наилучшая точность в измерении времени 10-15s получается при использовании перехода в атоме Цезия133, и есть утверждения, что точность может быть улучшена до 10-18s. В инфляционных моделях Вселенной считается, что инфляция происходила когда во Вселенной не было не только атомов, но и даже ядер, а тогда непонятно, имеет ли смысл время в таких ситуациях. В квантовой теории бессмысленно говорить, что "на самом деле" некоторая физическая величина существует, но не может быть измерена.
С точки зрения квантовой теории говорить о координатах 10-26m и временах 10-35s бессмысленно т.к. неизвестно есть ли оператор координаты на таких масштабах и проблема времени – одна из фундаментальных нерешенных проблем квантовой теории. Более того, например, в копенгагенской интерпретации квантовой теории, измерение – это взаимодействие с классическим объектом, а на этом этапе Вселенной никаких классических объектов быть не может. Но в теории инфляционной Вселенной эти проблемы даже не обсуждаются.
Например, произносятся слова, что на инфляционной стадии вселенной важны квантовые эффекты. Но как их учесть, если квантовой теории при таких условиях нет? Например, А. Старобинский добавляет к классическому лагранжиану ОТО новый член, который он называет квантовой поправкой. Но то, что к классическому лагранжиану добавили какой-то член, не означает, что теория стала квантовой. Она осталась полностью классической т.к. в ней остались классические пространство и время и классический принцип наименьшего действия.
Другой пример – теория струн или M-теория, которая провозглашается как theory of everything. Здесь считается, что вся физика будет выведена из топологии гладких многообразий на планковских длинах 10-35m. Но в физике частиц расстояния не измеряются непосредственно. Когда говорят, что какой-то процесс происходит на расстояниях l, то имеют в виду, что переданные импульсы в этом процессе – порядка ћ/l. Тогда планковским длинам соответствуют импульсы порядка 1019 Gev/c, которые, наверное, никогда не будут достижимы на ускорителях. Кроме того, при этом предполагается, что координатные и импульсные представления связаны преобразованием Фурье, а, как показано в моих работах, это предположение не основано ни на имеющихся данных ни на надежных физических принципах. Между тем, теория струн и М-теория строятся, исходя из координатного представления, хотя опыт квантовой теории показывает, что понятие непрерывных координат становится проблематичным уже на расстояниях намного больших планковских.
Я также думаю, что теории Big Bang и струн не могут быть правильными, исходя из известной фразы Бора. Как-то на обсуждении доклада на семинаре, где он присутствовал, кто-то сказал, что теория автора не может быть правильной т.к. она слишком сумасшедшая. На что Бор возразил, что эта теория не может быть правильной потому, что она недостаточно сумасшедшая. Теории Big Bang и струн явно недостаточно сумасшедшие т.к. в них предполагается, что существующие понятия работают при энергиях намного больших чем те которые мы знаем.
А в целом, мне кажется, что ситуация с инфляционной Вселенной и теорией струн, как и рассмотренные выше ситуации с так наз. обнаружением гравитационных волн и dark energy, характеризуют деградацию современной физики когда establishment поддерживает не те теории, которые доказали свою фундаментальность, а нечто экзотическое, что имеет шанс получить (при существующей системе) позиции, гранты и т.д. Правда, насколько я знаю, за инфляционную Вселенную и теорию струн (пока?) не дали Нобелевскую премию, но зато дают другие премии. Например, премия Мильнера в 3 млн. долларов больше нобелевской. Но здесь никаких возражений быть не может: Мильнер может давать из своего кармана любые премии кому захочет.
9.5. О математике в квантовой теории
Заглавие знаменитой статьи Вигнера [2] такое: “The unreasonable effectiveness of mathematics in the natural sciences”, и статья заканчивается так:
The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve. We should be grateful for it and hope that it will remain valid in future research and that it will extend, for better or for worse, to our pleasure, even though perhaps also to our bafflement, to wide branches of learning.
Таким образом, Wigner рассматривает математику не как абстрактную науку, а как аппарат для описания природы. Так как почти всю свою жизнь я общался с физиками, то тоже так думал. Но недавно, когда готовил статью для Open Mathematics и общался с некоторыми математиками, то увидел, что они считают математику как чисто абстрактную науку для которой неважно, имеет ли она применения для описания природы.
В принципе, такой подход тоже имеет право на существование, и история показывает, что многие математические результаты, которые одно время считались чисто абстрактными, в конце концов находили свое применение в физике. Но даже если какие-то результаты не будут иметь применения, то они могут иметь чисто эстетическое значение. Ведь мы не требуем, чтобы поэзия или музыка имели какие-то приложения для описания природы.
В поэзии и музыке, главное – красота, которая словами не передается. В математике, как говорил Дирак, тоже главное – красота формул. Но здесь есть какие-то критерии. Под влиянием лекций М.А. Наймарка, я думал, что строгость математических доказательств – для математиков святое, и этим они никогда не пожертвуют. Но так ли это?
Классическая математика использует понятия бесконечно больших и бесконечно малых, которые впервые предложили Ньютон и Лейбниц более 300 лет тому назад. Тогда люди не знали об атомах и элементарных частицах и, исходя из повседневного опыта, думали, что любое тело можно разделить на сколь угодно большое число сколь угодно малых частей. Но из самого факта существования элементарных частиц следует, что обычное деление имеет ограниченную применимость. Мы можем разделить любое макроскопическое тело на десять, тысячу, миллион, но когда мы доходим до атомов и элементарных частиц, дальнейшее деление теряет смысл. Например, энергии электронов на ускорителях в миллионы раз больше чем их энергия покоя, и такие электроны испытывают много столкновений с разными частицами. Если бы электрон можно было разделить, то это уже давно заметили бы.
Из этого простого и хорошо известного соображения казалось бы, сразу следует, что применять классическую математику в квантовой теории по крайней мере неестественно. Поэтому возникает естественный вопрос, не должна ли квантовая теория строиться, исходя из другой математики. Можно сказать, что эта проблема возникает, если считать, что математика должна описывать природу, но если считать математику чисто абстрактной наукой (как считают многие математики), то эта проблема не имеет значения, а главное – чтобы все было строго.
В таком подходе к математике (назовем его подходом Гильберта) цель математики – найти полную и самосогласованную систему аксиом в которой можно будет заключить является ли каждое математическое утверждение правильным или нет. Эта проблема формулируется как проблема Entscheidungsproblem в которой рассматриваются утверждения и ответы "Да" или "Нет" в зависимости от того является ли данное утверждение законным в любой структуре удовлетворяющей аксиомам. Можно ли найти такую систему аксиом?
Классическая математика содержит факты, которые, казалось бы, противоречат здравому смыслу. Например, функция tgx является взаимно-однозначным отображением интервала (-π/2,π/2) на (-∞,∞). Поэтому часть имеет столько же элементов сколько целое. Другой пример – парадокс Grand Hotel Гильберта. Но в подходе Гильберта эти примеры не считаются противоречивыми. Классическая математика исходит из аксиом, которые принимаются на веру, без доказательства. Казалось бы, раз наука – не религия, то в ней не должно быть утверждений принимаемых на веру. Более того, как следует из теорем Гёделя, любая математика, основанная на множестве всех натуральных чисел, содержит утверждения, которые не могут быть доказаны и такая математика не может доказать, что она самосогласованна.
Я спрашивал у математиков, что раз они утверждают, что исходят из строгой науки, то тогда как же быть с теоремами Гёделя, которые говорят, что стандартная математика нестрогая? Но обычный ответ такой что раз теория, исходящая из аксиом стандартной математики хорошо описывает природу, то такой подход допустим, и вся история человечества считается подтверждением утверждения, что классическая математика в принципе может описать любые природные явления. То есть здесь математики уже отказываются от подхода Гильберта и считают, что математика – это не просто абстрактная наука в духе подхода Гильберта, а наука, которая описывает природу. И, как я уже писал, философия многих физиков еще более дубоголовая. Хотя существующая квантовая физика основана на классической математике, они считают, что даже общепринятая строгость в этой математике необязательна, а главное, чтобы теория описывала эксперимент.
Я спрашивал у физиков и математиков, что раз в природе нет бесконечно малых, то тогда выходит, что производная – нестрогое понятие. Некоторые математики отвечают, что рано или поздно электрон разделят и докажут, что бесконечно малые существуют. Физики обычно согласны, что бесконечно малых в природе нет. Они говорят, что dx/dt надо понимать как Δx/Δt где Δx и Δt – малые, но не бесконечно малые. Я им говорю: но ведь ты используешь математику с dx/dt, а не с Δx/Δt. А они говорят, что раз математика с производными хорошо работает, то незачем философствовать и придумывать что-то другое (а другой математики они не знают).
История физики показывает, что рано или поздно аргумент, что если что-то хорошо работает, то нечего философствовать, оказывается неправильным. Например, нерелятивистская механика хорошо работает в 99.9…% случаев. Но теперь мы знаем, что это потому что в этих случаях скорости намного меньше скорости света. А в случаях когда скорости сравнимы со скоростью света, нерелятивистская механика не работает. И раз в природе нет бесконечно малых, то рано или поздно проявятся случаи когда классическая математика не работает. Ниже я обсуждаю такие случаи.
Из того факта, что природа состоит из атомов, следует, что стандартные геометрические понятия (например, непрерывные кривые и поверхности) могут работать только в приближении когда размерами атомов пренебрегается. Например, если мы нарисуем на бумаге якобы непрерывную кривую и посмотрим на нее в микроскоп, то увидим, что кривая сильно разрывная так как состоит из атомов.
Исторически сложилось так, что основатели квантовой теории и физики, внесшие большой вклад в эту теорию, хотя и были высококвалифицированными учеными, но их мышление было основано на классической математике, а, скажем, дискретная и конечная математика не входили (и до сих пор не входят) в программу стандартного физического образования.
Если бы классическая математика правильно описывала все эксперименты, то, наверное, можно было примириться с тем что есть теоремы Гёделя и надеяться, что рано или поздно их можно будет обойти и выполнить программу Гильберта. Но развитие квантовой теории показало, что в рамках классической математики возникают большие проблемы в построении того что называют ultimate quantum theory. Главная проблема – что в теории возникают бесконечные выражения. В перенормируемых теориях (например, в квантовой электродинамике, квантовой хромодинамике и электрослабой теории) бесконечности можно устранить, умножая одну сингулярность на другую. Но, например, квантовая гравитация, основанная на квантовой теории поля является неперенормируемой теорией и в ней бесконечности устранить нельзя.
Как пишет знаменитый физик и лауреат Нобелевской премии Weinberg о проблеме бесконечностей в своем учебнике [3]: “Disappointingly this problem appeared with even greater severity in the early days of quantum theory, and although greatly ameliorated by subsequent improvements in the theory, it remains with us to the present day". Название статьи Weinberg [4]: "Living with infinities".
9.6. О квантовой теории поля
Квантовая теория поля (которую в литературе называют QFT – quantum field theory) не имеет аналогов в истории науки т.к., с одной стороны, она описывает некоторые данные с поразительной точностью, а с другой основана на некорректной математике. Эта теория основана на двух главных принципах: 1) она исходит из классической математики; 2) она исходит из понятия квантованного поля на пространстве-времени. В предыдущем разделе я приводил аргументы, что самая фундаментальная квантовая теория не может исходить из 1). А сейчас приведу аргументы, что такая теория также не может исходить из 2).
Что такое классическая теория поля? Рассмотрим, например, классическую электродинамику. Она описывает классическое электромагнитное поле функциями
E(t,x) и B(t,x), где (t,x), – координаты пространства Минковского. В природе никаких пространств нет; есть только частицы и когда их много, то возникает иллюзия, что они в каком-то пространстве. В частности, пространство Минковского – только чисто математическое понятие. Мы знаем, что электромагнитное поле состоит из фотонов. В приближении когда оператор координаты работает, каждый фотон имеет свои координаты. Но в классической электродинамике каждый фотон по отдельности не рассматривается, а все фотоны вместе описываются функциями E(t,x) и B(t,x). Это аналогично тому, что статистическая физика не рассматривает каждую частицу в отдельности, а описывает ансамбли из многих частиц функциями (температурой, давлением и др.) которые не имеют смысл для каждой частицы. Ясно, что такое описание может быть лишь приближенным.
Теперь обсудим QFT. В квантовой теории есть информация о каждой отдельной частице. В частности, в приближении когда оператор координаты работает с хорошей точностью, каждая частица описывается своей координатой. В этом приближении волновая функция системы N частиц описывается волновой функцией ψ(x1, x2…xN) и нет координаты x общей для всех частиц.
В учебниках по QFT логика такая: т.к. специальная теория относительности сделана на пространстве Минковского, а группа Пуанкаре является группой преобразований этого пространства, то в квантовой теории преобразования должны описываться представлениями группы Пуанкаре, а значит генераторы таких преобразований должны удовлетворять коммутационным соотношениям алгебры Ли группы Пуанкаре. Такой подход в духе Эрлангенской Программы Феликса Кляйна (Felix Klein).
Здесь есть такая аналогия с ситуацией ОТО. Эрлангенская Программа была предложена еще раньше чем ОТО – в 1872 г., когда квантовой теории не было и в помине. Но, как отмечено выше, с точки зрения квантовой теории, понятие background space не имеет смысла так как нет координаты x общей для всех частиц. Но это понятие по-прежнему широко используется в так наз. фундаментальных квантовых теориях – QFT и string theory.
Мой научный руководитель Леонид Авксентьевич Кондратюк объяснил мне, что логика должна быть противоположная той, которая применяется в духе Эрлангенской Программы. То, что обычно называют генераторами – это как раз и есть основные физические операторы – энергия, импульс, операторы угловых и Лоренцевых угловых моментов. Симметрия Пуанкаре не потому, что есть пространство Минковского (которое является чисто классическим понятием), а потому, что основные физические операторы удовлетворяют коммутационным соотношениям алгебры Пуанкаре и поэтому на классическом уровне (и только на этом уровне) возникают преобразования и пространство Минковского.
Т.е., на фундаментальном квантовом уровне симметрия задается не пространством, а алгеброй коммутационных соотношений и на этом уровне никаких пространств и его преобразований нет. Они возникают только в классическом приближении т.к. в этом приближении пространство появляется не как абстрактное пустое пространство, а как пространство событий для тел. Может быть, эта идея неявно есть в статье Дирака [5], но там она не сформулирована так явно как у Леонида Авксентьевича. Когда позже я познакомился со Скиффом Николаевичем Соколовым, то он тоже сказал, что пришел к такой идее.
В QFT элементарные частицы описываются неприводимыми представлениями алгебры Пуанкаре. В таком описании, координат и пространства Минковского вообще нет, а есть только импульсы, угловые моменты и спины. При этом, имеется вероятностная интерпретация так как операторы физических величин являются самосопряженными операторами. Но, как доказано в теории представлений, с математической точки зрения часто имеется соответствие между представлениями некоторой алгебры Ли самосопряженными операторами и унитарными представлениями группы Ли соответствующей этой алгебре.
Но в QFT рассматривается также описание частиц при помощи полевых функций Ψ(x)= Ψ(t,x) удовлетворяющих ковариантным уравнениям (Дирака, Клейна-Гордона и др.) на пространстве Минковского. Такие функции возникают из неунитарных представлений группы Пуанкаре индуцированных из неунитарных представлений группы Лоренца, а зависимость таких функций от (t,x) возникает из-за того, что пространство Минковского является фактор-пространством группы Пуанкаре по группе Лоренца. В связи с тем, что такие представления неунитарны, возникает проблема с их вероятностной интерпретацией.
Паули показал, что для уравнений, описывающих поля с полуцелым спином, нет инвариантных подпространств в которых для всех состояний знак энергии одинаковый, а для уравнений, описывающих поля с целым спином нет инвариантных подпространств в которых для всех состояний знак заряда одинаковый. Поэтому неквантованные поля описывающие частицы не имеют физического смысла. Кроме того, так как для полей Ψ(x) нет вероятностной интерпретации, то координаты x не являются операторами каких-либо физических величин. Большой успех уравнения Дирака в том, что в приближении (v/c)2 уравнение описывает с большой точностью тонкие уровни атома водорода. Но, в более высоких приближениях оно не работает. Например, оно не может описать Лэмбовский сдвиг.
Большим событием в физике частиц был результат Дирака, что его уравнение имеет решение как с положительными так и с отрицательными энергиями. Этот факт интерпретировался как существование античастиц и действительно, вскоре был найден позитрон. Но здесь возникают такие противоречия.
Если m – масса частицы, а p – ее импульс, то энергия определяется как ω(p)=(m2+p2)1/2, причем, с чисто формальной точки зрения, знак корня может быть как положительным так и отрицательным. Но этот знак должен быть одинаковым для всех частиц. Действительно, рассмотрим систему двух частиц, у которых массы одинаковые, а импульсы p1 и p2 такие, что p1+p2=0. Тогда, если для одной частицы корень взят со знаком плюс, а для другой со знаком минус, то полный 4-импульс системы будет равен нулю, что противоречит эксперименту.
Другим противоречием является следующее. Так как уравнение Дирака линейное, то суперпозиция решений с положительными и отрицательными энергиями тоже является решением, и это соответствует принципу суперпозиции в квантовой теории. Но из требования сохранения заряда, следует, что суперпозиция электронных и позитронных состояний запрещена.
Эти противоречия решают при помощи вторичного квантования. Но тогда возникает такая проблема. Квантованное поле Ψ(x) является оператором в Фоковском пространстве состоящим из бесконечного числа частиц. Каждая частица имеют свои координаты (в приближении когда операторы таких координат существуют). Поэтому аргумент функции Ψ(x) не относится ни к какой частице, это просто чисто формальный параметр возникший из вторичного квантования неквантованного поля Ψ(x). Поэтому аргумент даже нельзя назвать координатой, это просто параметр интегрирования когда лагранжиан записывается как интеграл от полей. То есть в квантовом случае аргумент не имеет физического смысла. Но все равно физики думают, что аргумент имеет смысл координаты (правда, непонятно чего).
В QFT, полевые функции Ψ(x) входят только в интегралы от Лагранжиана по d4x для S-матрицы, то есть x – это только параметр интегрирования и нет физических величин зависящих от x. Цель QFT – вычислить S-матрицу в импульсном представлении, и все наблюдаемые величины в QFT определяются S-матрицей. Когда S-матрица вычислена, мы можем забыть про x. Это соответствует S-матричной программе Гайзенберга, что в квантовой теории нельзя описывать состояния в каждый момент времени t, а смысл имеет только описание преобразования от бесконечно далекого прошлого t→-∞ до бесконечно далекого будущего t→+∞. Тот факт, что S-матрица вычисляется в импульсном представлении, не означает, что в QFT не может быть координатного описания. Оно имеется в приближении когда для каждой частицы имеется оператор координаты в импульсном представлении.
Суммируя обсуждение в этом и предыдущем параграфах, отметим следующее. QFT покоится на двух китах указанных в 1) и 2). То что 1) не является фундаментальным физическим требованием, отмечено в предыдущем параграфе, а в этом параграфе объяснено, что понятие квантованных полей на background space тоже не является фундаментальным. Понятие background space возникло из классической теории поля, а для квантованных полей оно не имеет физического смысла так как аргумент x в квантованных полях не относится к какой-либо частице и поэтому не имеет физического смысла. Нет физического закона, что S-матрица обязательно должна определяться интегралами по d4x от квантованных полей Ψ(x). Исторически сложилось так, что QFT с такими интегралами хорошо описывает многие экспериментальные данные, но, как описано ниже, такая теория также имеет фундаментальные проблемы. Поэтому нет причин думать, что ultimate quantum theory будет основана на QFT. Этот вопрос обсуждается в следующем параграфе.