QFT Гильбертовы пространства над кольцами, отличными от комплексных чисел CC\mathbb{C}

Мне нужна помощь в оценке теории физики, недавно предложенной профессором физики из Колледжа Дюпейдж.

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

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

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

Рассматриваемый вопрос является самой отправной точкой предложения, которое состоит в том, чтобы определить гильбертово пространство над некоторыми скалярами, отличными от комплексных чисел. В частности, подмножество матриц 4x4, которое можно записать как Икс а γ а где ( Икс а четыре действительных числа, и γ а матрицы Дирака). В документе говорится о Икс а как четырехвекторы в алгебре С 1 , 3 ( р ) (алгебра матриц Дирака). Таким образом, отправной точкой статьи является «гильбертово пространство над пространством четырех векторов».

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

Первая линия рассуждений

Гильбертово пространство ЧАС над некоторыми скалярами С должны удовлетворять:

  1. Для любого вектора Икс е ЧАС и скаляр а е С , затем а Икс е ЧАС (скалярное умножение дает другой вектор в ЧАС )

  2. Для любых двух векторов Икс , Д е ЧАС , внутренний продукт Икс | Д е С (скалярное произведение двух векторов является скаляром в гильбертовом пространстве)

  3. Для любых двух векторов Икс , Д е ЧАС и скаляр а е С , внутренний продукт Икс | а Д "=" Икс | Д а (внутренний продукт линейный)

Затем, применяя № 1 и № 2 Икс | а Д е С . Затем, применяя этот факт вместе с № 3, для произвольного скаляра а е С , и любой скаляр, который может быть записан как результат скалярного произведения б "=" Икс | Д , результат умножения этих двух скаляров в С , также должен быть скаляром в С (просто, б а е С ).

Следовательно, контрпример к существованию этого гильбертова пространства состоит в том, чтобы показать, что два четырехвектора, умноженные в алгебре С 1 , 3 ( р ) не является 4-вектором (другими словами, 4-векторы не являются подалгеброй С 1 , 3 ( р ) ).

Это можно разбить на простую матричную алгебру ( например, как это сделал мой коллега здесь ), чтобы показать, что умножение этих «скаляров» не замыкается в наборе этих скаляров, потому что умножение двух четырехвекторов может дать что-то другое, чем четыре -вектор. Я разработал это в более общем виде, и оказалось, что умножение любых двух четырехвекторов не будет другим четырехвектором, если хотя бы один четырехвектор не является нулевым вектором (0,0,0,0). Однако я не полностью доверяю своей работе здесь, чтобы сбрасывать со счетов профессора. Достаточно ли одного контрпримера? Или возможно ли, что, как только мы ограничимся только скалярами, которые являются результатом внутренних продуктов, это произведение каким-то образом замкнется?

В справочнике, рекомендованном профессором, довольно ясно обсуждается произведение в алгебрах Клиффорда ( здесь ). Если я правильно понял, произведение любых двух векторов будет суммой скаляров и бивекторов в многовекторном пространстве. Следовательно, НИКАКОЙ результат умножения двух четырехвекторов не может быть записан как другой четырехвектор, за исключением случая, когда хотя бы один четырехвектор является нулевым вектором (0,0,0,0). Это согласуется с запутанной матричной алгеброй, которую я разработал, и делает меня более уверенным. Но другие люди объяснили так же, и профессор заявил, что они неправильно читают этот источник. Есть ли лучший источник? Что не так с приведенной выше логикой?

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

Вторая линия рассуждений

В квантовой механике:

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

  2. Наблюдаемые — это самосопряженные операторы в гильбертовом пространстве. Измерение наблюдаемой поместит систему в собственный вектор этого оператора.

  3. Для системы, приготовленной в состоянии, представленном Икс , вероятность измерения его в состоянии, представленном Д (некоторый невырожденный собственный вектор измеряемой наблюдаемой) равен

    п р о б "=" Икс | Д Д | Икс Икс | Икс Д | Д

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

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

Я пошел искать это в книгах, которые у меня есть, и, что удивительно, в «Квантовой теории поля» Средненицкого он прямо заявляет на самой первой странице первой главы, что не будет рассматривать постулаты КТП, а в « Предисловие для студентов», он просто перечисляет некоторые уравнения и говорит, что если вы понимаете их, у вас есть опыт использования этой книги. Он просто предполагает, что мы уже знаем постулаты?

Я вижу в этом вопросе обмена стеками физики ( формализм квантовой теории поля против квантовой механики ), что, по крайней мере, по мнению Любоша, это связано с тем, что постулаты одинаковы. Но он не дает никаких ссылок, а в предложенной профессором ссылке ( «Аксиоматическая квантовая теория поля в искривленном пространстве-времени» Холландса и Вальда) даже не обсуждаются измерения или вероятности. В поиске я нашел часто цитируемые "Постулаты квантовой теории поля"Хагг и Шорер (1962), но даже здесь не обсуждаются измерения или вероятности. Они просто обсуждают, как построить гильбертово пространство для теорий поля. Кажется, они просто предполагают, что мы знаем «остальные» постулаты. У меня также есть «Квантовая теория поля в двух словах» Зи, я просмотрел начало, и он, кажется, тоже просто предполагает, что мы знаем постулаты.

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

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

Я предполагаю, но я не уверен, что он занимается КТП над полем кватернионов . Я не очень разбираюсь в этом вопросе, но я думаю, вам следует посмотреть в этом направлении. Кватернионы имеют матрицу 4 × 4 представление и связаны с алгебрами Клиффорда.
Кватернионы образуют другую алгебру, С л 0 , 2 ( р ) . Хотя это действительно матричное представление 4x4, оно отличается от алгебры матриц Дирака.
@Qmechanic Спасибо за попытку подправить заголовок, но рассматриваемые здесь «числа» не являются числовыми полями. Может быть более подходящий термин, но это не должны быть поля, поскольку даже кватернионы (обсуждаемые в обоих ответах) не являются математическим полем.

Ответы (2)

Собственно, все это достаточно известно из основополагающей работы фон Неймана и Биркгофа. В этой формулировке КМ (и в последующем развитии этой области исследований) теория квантовой теории строится, начиная с решетки элементарных наблюдаемых «ДА-НЕТ» (см. мой ответ о квантовых вероятностях для более подробной информации) или «элементарных предложений» экспериментально проверить на квантовой системе. Эти предположения описывают общую феноменологию всех квантовых систем. Эта решетка оказывается о -полные, ортомодулярные, сепарабельные, атомарные, неприводимые и проверяющие так называемое "свойство накрытия". В стандартной КМ эта решетка является решеткой ортогональных проекторов в комплексном гильбертовом пространстве. Однако уже фон Нейман заметил, что по крайней мере две другие возможности кажутся в принципе возможными: решетка ортогональных проекторов в реальном гильбертовом пространстве и решетка ортогональных проекторов в кватернионном гильбертовом пространстве. Во всех случаях состояния являются обобщенными вероятностными мерами на соответствующей решетке.

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

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

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

Кватернионная КМ включает интересный некоммутативный функциональный анализ с чисто математической точки зрения (см., например, эту мою статью ).

По этим причинам я не думаю, что упомянутая вами статья, в которой предполагается, что речь идет о каком-то гильбертовом пространстве, скаляры которого являются элементами алгебры Клиффорда, может представить теорию, согласующуюся с основными стандартными предположениями квантовых теорий, сформулированных в гильбертовых пространствах или обобщения. Это как раз с учетом теоремы Солера. Однако статья написана не в той ясной математической манере, какой заслуживает, по моему честному мнению, предмет для столь математически, физически и философски деликатных вопросов.

Честно говоря, я мог бы также сказать, что формулировка гильбертова пространства не является единственно возможной. Более поздней и в некотором смысле более мощной является алгебраическая формулировка, в которой фундаментальные объекты являются не элементами решетки и обобщенными вероятностными мерами на этой решетке, а элементами унитальной С * -алгебра (или более слабо * -алгебра или йордановая алгебра) эрмитовы, представляющие наблюдаемые системы. Состояния теперь определяются нормализованными положительными функционалами на алгебре, представляющими ожидаемые значения. Знаменитая теорема о реконструкции GNS доказывает, что при выборе референтного состояния эта алгебраическая картина эквивалентна стандартной конструкции — скажем, в духе фон Неймана — в гильбертовом пространстве. Однако существует много унитарно неэквивалентных реализаций гильбертова пространства одной и той же алгебраической структуры.

Однако упомянутая вами статья, по-видимому, не имеет отношения к этой более абстрактной формулировке.

(Что касается статьи Стефана Холландса-Боба Уолда, я достаточно хорошо знаю авторов и идеи, содержащиеся в этой статье, и я обсуждал их со Стефаном в прошлом. Я не могу понять, какое отношение эти идеи имеют к альтернативным формулировкам квантовых теорий в уровень вопроса, на который я отвечаю. Дело было в переформулировке квантовой теории поля, избегая стандартного пертурбативного подхода. Насколько я помню, базовая структура гильбертова пространства не играет никакой фундаментальной роли.)

Спасибо за разъяснения! Как ни странно, профессор даже упоминает результат Солера и отвергает его: «Квантово-механические теории должны использовать алгебру скаляров, которая изоморфна одному из этих четырех R, C, H, O. (1) Квантовая теория поля, однако, включает величины, которые четыре вектора в пространстве Минковского, что приводит к особым соображениям». Поскольку вы действительно работаете в этой области, не могли бы вы прокомментировать статью в TheWinnower? Это может быть полезно автору и другим (последнее обсуждение здесь: thewinnower.com/papers/fundamentals-of-relativization )
Я вижу, это другая точка зрения, явно относящаяся к КТП, а не к КМ. На самом деле я не знаю ту бумагу, которую вы указываете, я посмотрю на нее позже. Большое спасибо.
Помимо этого небрежного комментария, статья никогда не обсуждает результат Солера и то, как он надеется избежать этого. Поскольку в статье все еще делается попытка использовать гильбертово пространство для формулировки КТП, можно ли просто использовать результат Солера как неверную теорему, чтобы сказать, что сама отправная точка этой идеи не может быть плодотворной? Есть ли какие-то лазейки, о которых вы знаете?
Мой вопрос касался помощи в оценке работы профессора. Так что я не уверен, как интерпретировать ваш последний комментарий. В ответе вы, кажется, исключаете этот тип теории, но затем в последнем комментарии вы говорите, что статья представляет собой «другую точку зрения»? Но ваш ответ, кажется, имеет прямое отношение, как это «другая точка зрения»? В качестве отправной точки профессор пытается определить гильбертово пространство над четырьмя векторами, и, как я чувствую, я показал выше, это даже математически не определено. Идея профессора не выглядит «другой точкой зрения», она просто кажется ошибочной. Нет? Что мне не хватает?
Кстати, статья профессора находится здесь: thewinnower.com/papers/… Ссылка, которую я дал в последнем комментарии, была всего лишь ответом профессора некоторым рецензентам статьи.
Спасибо за сообщения и обновление ответа. Исключение этого с помощью теоремы о запрете гораздо информативнее и чище, чем то, как я пытался подойти к материалу.

Хорошо, чтобы расширить мой комментарий в ответ:

Есть только два конечномерных тела (которые допускают деление), содержащие действительные числа как конечное подкольцо: комплексные числа и кватернионы (применение теоремы Фробениуса). Кроме того, векторное пространство (а гильбертовы пространства являются векторными пространствами) обычно определяется над полем, которое является ненулевым коммутативным кольцом. Над кольцом у вас есть модуль, который является обобщением векторного пространства на некоммутативных кольцах (как кватернионы и предполагаемая матричная алгебра Дирака).

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

Хорошо, что это технически обсуждается модуль с внутренним продуктом. Но поскольку умножение в С 1 , 3 ( р ) не замкнут для четырех векторов, у профессора даже нет кольца, чтобы определить модуль над, верно? Я предполагаю, что моя точка зрения в «первой линии рассуждений» в конечном итоге заключается в том, что нельзя просто взять подмножество алгебры и предположить, что у вас все еще есть замкнутая алгебра. Я утрирую здесь? Эта статья кажется мне очень неправильной.
Как и Вальтер Моретти выше, вы также упоминаете вещественные числа, комплексные числа и кватернионы. Результат Солера, о котором он упоминает, кажется недействительной теоремой для чего-либо еще, но вы также упоминаете «бесконечномерные делительные кольца», так что есть ли лазейка в результате Солера? Говоря более конкретно, можно ли использовать результат Солера в качестве теоремы о недопустимости, чтобы показать, что отправная точка этой статьи не может быть плодотворной?
mathoverflow.net/q/45653 приходит к выводу, что бесконечномерных нормированных алгебр с делением не существует.
да, кажется, у него нет кольца для начала, если алгебра не замкнута. Я согласен, что неясно, имеет ли его система смысл с самого начала, но Вальтер, безусловно, более эксперт в этой области, чем я ;-)