Мне нужна помощь в оценке теории физики, недавно предложенной профессором физики из Колледжа Дюпейдж.
Я думаю, что эта теория совершенно неверна по очень простым причинам. Если дилетант чувствует, что может опровергнуть профессора физики (особенно если использовать простую логику и основы алгебры, и особенно когда речь идет о квантовой механике), обычно это, мягко говоря, плохой знак. Я хочу учиться здесь, и мне нужна помощь по физике от вас, экспертов, чтобы оценить теорию.
В свое время я посещал несколько уроков физики, но, по сути, я любитель-самоучка, поэтому я был бы очень признателен за ответы, которые относятся к основному уровню физики для студентов, и ссылаться на учебник, который я могу прочитать больше самостоятельно.
Пожалуйста, будьте педантичны, так как проблемы могут быть тонкими. Это началось с коллеги (у которого, в отличие от меня, есть докторская степень по физике), который попытался отклонить предложенную теорию квантовой гравитации (набросок здесь) , основываясь на некоторых очень простых аргументах. Профессор физики, предложивший теорию, публично заявил, что мой коллега полностью игнорирует суть предложения, потому что он неправильно понимает основы КТП и ОТО. Они оба утверждают, что другой настолько не прав, что им следует вернуться в школу. Так что для меня это стало чем-то вроде захватывающей дискуссии по физике. При изучении сложного предмета я много раз убеждался, что, казалось бы, очевидные выводы из основных понятий могут быть неверными, и, хотя аргументы моего коллеги очень убедительны для меня, они настолько фундаментальны .что это действительно вызывает некоторые опасения, что он просто неправильно понимает профессора. Я продолжал задавать вопросы, поэтому мой коллега отправил меня сюда за беспристрастной помощью.
Рассматриваемый вопрос является самой отправной точкой предложения, которое состоит в том, чтобы определить гильбертово пространство над некоторыми скалярами, отличными от комплексных чисел. В частности, подмножество матриц 4x4, которое можно записать как где ( четыре действительных числа, и матрицы Дирака). В документе говорится о как четырехвекторы в алгебре (алгебра матриц Дирака). Таким образом, отправной точкой статьи является «гильбертово пространство над пространством четырех векторов».
Насколько я понимаю, два упрощенных аргумента против этой теории таковы:
Гильбертово пространство над некоторыми скалярами должны удовлетворять:
Для любого вектора и скаляр , затем (скалярное умножение дает другой вектор в )
Для любых двух векторов , внутренний продукт (скалярное произведение двух векторов является скаляром в гильбертовом пространстве)
Для любых двух векторов и скаляр , внутренний продукт (внутренний продукт линейный)
Затем, применяя № 1 и № 2 . Затем, применяя этот факт вместе с № 3, для произвольного скаляра , и любой скаляр, который может быть записан как результат скалярного произведения , результат умножения этих двух скаляров в , также должен быть скаляром в (просто, ).
Следовательно, контрпример к существованию этого гильбертова пространства состоит в том, чтобы показать, что два четырехвектора, умноженные в алгебре не является 4-вектором (другими словами, 4-векторы не являются подалгеброй ).
Это можно разбить на простую матричную алгебру ( например, как это сделал мой коллега здесь ), чтобы показать, что умножение этих «скаляров» не замыкается в наборе этих скаляров, потому что умножение двух четырехвекторов может дать что-то другое, чем четыре -вектор. Я разработал это в более общем виде, и оказалось, что умножение любых двух четырехвекторов не будет другим четырехвектором, если хотя бы один четырехвектор не является нулевым вектором (0,0,0,0). Однако я не полностью доверяю своей работе здесь, чтобы сбрасывать со счетов профессора. Достаточно ли одного контрпримера? Или возможно ли, что, как только мы ограничимся только скалярами, которые являются результатом внутренних продуктов, это произведение каким-то образом замкнется?
В справочнике, рекомендованном профессором, довольно ясно обсуждается произведение в алгебрах Клиффорда ( здесь ). Если я правильно понял, произведение любых двух векторов будет суммой скаляров и бивекторов в многовекторном пространстве. Следовательно, НИКАКОЙ результат умножения двух четырехвекторов не может быть записан как другой четырехвектор, за исключением случая, когда хотя бы один четырехвектор является нулевым вектором (0,0,0,0). Это согласуется с запутанной матричной алгеброй, которую я разработал, и делает меня более уверенным. Но другие люди объяснили так же, и профессор заявил, что они неправильно читают этот источник. Есть ли лучший источник? Что не так с приведенной выше логикой?
Опять же, это кажется подозрительно простым, и если любитель не согласен с профессором физики, обычно это нехороший знак. Если бы не мой коллега, я бы беспокоился, что становлюсь сумасшедшим. Я упускаю здесь что-то фундаментальное?
В квантовой механике:
Состояния системы представлены векторами в гильбертовом пространстве. (Хотя и не однозначно, поскольку векторы, связанные скалярным умножением, представляют одно и то же физическое состояние.)
Наблюдаемые — это самосопряженные операторы в гильбертовом пространстве. Измерение наблюдаемой поместит систему в собственный вектор этого оператора.
Для системы, приготовленной в состоянии, представленном , вероятность измерения его в состоянии, представленном (некоторый невырожденный собственный вектор измеряемой наблюдаемой) равен
Следовательно, для прогнозирования измерений нам также необходимо уметь делить на эти скаляры. И, кроме того, результат любого вычисления в приведенной выше форме должен быть действительным числом , чтобы иметь смысл как вероятность. Еще не является нормированной алгеброй с делением. И с тех пор в теории профессора даже не реально оценивается, я не понимаю, как могут быть предсказанные вероятности.
Ответ профессора на это (и, возможно, некоторые из свойств гильбертовых пространств выше? это мне не ясно) заключается в том, что это квантовая теория поля , а свойства гильбертовых пространств и вычисление вероятностей для измерений работают по-разному в КТП. чем во вводной нерелятивистской частице КМ.
Я пошел искать это в книгах, которые у меня есть, и, что удивительно, в «Квантовой теории поля» Средненицкого он прямо заявляет на самой первой странице первой главы, что не будет рассматривать постулаты КТП, а в « Предисловие для студентов», он просто перечисляет некоторые уравнения и говорит, что если вы понимаете их, у вас есть опыт использования этой книги. Он просто предполагает, что мы уже знаем постулаты?
Я вижу в этом вопросе обмена стеками физики ( формализм квантовой теории поля против квантовой механики ), что, по крайней мере, по мнению Любоша, это связано с тем, что постулаты одинаковы. Но он не дает никаких ссылок, а в предложенной профессором ссылке ( «Аксиоматическая квантовая теория поля в искривленном пространстве-времени» Холландса и Вальда) даже не обсуждаются измерения или вероятности. В поиске я нашел часто цитируемые "Постулаты квантовой теории поля"Хагг и Шорер (1962), но даже здесь не обсуждаются измерения или вероятности. Они просто обсуждают, как построить гильбертово пространство для теорий поля. Кажется, они просто предполагают, что мы знаем «остальные» постулаты. У меня также есть «Квантовая теория поля в двух словах» Зи, я просмотрел начало, и он, кажется, тоже просто предполагает, что мы знаем постулаты.
Если бы не мой коллега, на данный момент я бы просто предположил, что ошибаюсь, поскольку я даже не могу найти книгу, подтверждающую мое понимание постулатов, а я любитель, не согласный с текущим мнением. работал профессором физики.
Может ли кто-нибудь помочь мне оценить эту теорию физики и дать мне несколько ссылок на учебники, по которым я могу продолжить?
Собственно, все это достаточно известно из основополагающей работы фон Неймана и Биркгофа. В этой формулировке КМ (и в последующем развитии этой области исследований) теория квантовой теории строится, начиная с решетки элементарных наблюдаемых «ДА-НЕТ» (см. мой ответ о квантовых вероятностях для более подробной информации) или «элементарных предложений» экспериментально проверить на квантовой системе. Эти предположения описывают общую феноменологию всех квантовых систем. Эта решетка оказывается -полные, ортомодулярные, сепарабельные, атомарные, неприводимые и проверяющие так называемое "свойство накрытия". В стандартной КМ эта решетка является решеткой ортогональных проекторов в комплексном гильбертовом пространстве. Однако уже фон Нейман заметил, что по крайней мере две другие возможности кажутся в принципе возможными: решетка ортогональных проекторов в реальном гильбертовом пространстве и решетка ортогональных проекторов в кватернионном гильбертовом пространстве. Во всех случаях состояния являются обобщенными вероятностными мерами на соответствующей решетке.
Эта идея оставалась давней гипотезой до 1995 года, когда Солер (например, взгляните на эту статью в Стэнфордской энциклопедии философии) доказал гипотезу фон Неймана, исключающую другие формулировки различных структур, подобных гильбертовому пространству (например, использование алгебр Клиффорда как пространства скаляров). ). Это исключает также гильбертовы пространства, построенные на неассоциативной алгебре октонионов, что явно противоречит тому, что указано в упомянутой вами статье.
При наличии операции обращения времени можно доказать, что реальная квантовая механика эквивалентна стандартной комплексной версии. Вместо этого кватернион мог бы содержать какую-то новую физику, по крайней мере, так считает С. Адлер, написавший толстую книгу об этой идее с очень физической точки зрения.
Некоторые из фундаментальных теоретических результатов в КМ переживают переход к кватернионной КМ, например, теоремы Вигнера, Кадисона, Глисона (последняя является фундаментальной, поскольку доказывает, что состояния — это не что иное, как матрицы плотности и векторные состояния, как предполагается в более элементарных формулировках КМ). . Книга Варадараджана по геометрии КМ имеет дело с тремя формулировками одновременно.
Кватернионная КМ включает интересный некоммутативный функциональный анализ с чисто математической точки зрения (см., например, эту мою статью ).
По этим причинам я не думаю, что упомянутая вами статья, в которой предполагается, что речь идет о каком-то гильбертовом пространстве, скаляры которого являются элементами алгебры Клиффорда, может представить теорию, согласующуюся с основными стандартными предположениями квантовых теорий, сформулированных в гильбертовых пространствах или обобщения. Это как раз с учетом теоремы Солера. Однако статья написана не в той ясной математической манере, какой заслуживает, по моему честному мнению, предмет для столь математически, физически и философски деликатных вопросов.
Честно говоря, я мог бы также сказать, что формулировка гильбертова пространства не является единственно возможной. Более поздней и в некотором смысле более мощной является алгебраическая формулировка, в которой фундаментальные объекты являются не элементами решетки и обобщенными вероятностными мерами на этой решетке, а элементами унитальной -алгебра (или более слабо -алгебра или йордановая алгебра) эрмитовы, представляющие наблюдаемые системы. Состояния теперь определяются нормализованными положительными функционалами на алгебре, представляющими ожидаемые значения. Знаменитая теорема о реконструкции GNS доказывает, что при выборе референтного состояния эта алгебраическая картина эквивалентна стандартной конструкции — скажем, в духе фон Неймана — в гильбертовом пространстве. Однако существует много унитарно неэквивалентных реализаций гильбертова пространства одной и той же алгебраической структуры.
Однако упомянутая вами статья, по-видимому, не имеет отношения к этой более абстрактной формулировке.
(Что касается статьи Стефана Холландса-Боба Уолда, я достаточно хорошо знаю авторов и идеи, содержащиеся в этой статье, и я обсуждал их со Стефаном в прошлом. Я не могу понять, какое отношение эти идеи имеют к альтернативным формулировкам квантовых теорий в уровень вопроса, на который я отвечаю. Дело было в переформулировке квантовой теории поля, избегая стандартного пертурбативного подхода. Насколько я помню, базовая структура гильбертова пространства не играет никакой фундаментальной роли.)
Хорошо, чтобы расширить мой комментарий в ответ:
Есть только два конечномерных тела (которые допускают деление), содержащие действительные числа как конечное подкольцо: комплексные числа и кватернионы (применение теоремы Фробениуса). Кроме того, векторное пространство (а гильбертовы пространства являются векторными пространствами) обычно определяется над полем, которое является ненулевым коммутативным кольцом. Над кольцом у вас есть модуль, который является обобщением векторного пространства на некоммутативных кольцах (как кватернионы и предполагаемая матричная алгебра Дирака).
Итак, даже если предположить, что вы можете обобщить гильбертово пространство как модуль над кольцом со скалярным произведением (я не уверен, что это возможно); единственный способ разрешить деление и интерпретировать подходящие скалярные произведения как реальную вероятность - это использовать действительные числа, комплексные (обычные гильбертовы пространства), кватернионы или бесконечномерные тела. Поскольку здесь, похоже, дело обстоит иначе, я предполагаю: либо он в каком-то смысле имеет в виду кватернионы, либо он ошибается, либо ему приходится переопределять с нуля понятие вероятностей, гильбертова пространства и т. д.
юггиб
ЛюбопытныйКев
ЛюбопытныйКев
Алекс Нельсон