QFT Espacios de Hilbert sobre otros anillos que no sean los números complejos CC\mathbb{C}

Me gustaría recibir ayuda para evaluar una teoría física propuesta recientemente por un profesor de física en el College of Dupage.

Creo que la teoría está completamente equivocada, por razones muy simples. Si un aficionado siente que puede refutar a un profesor de física (especialmente si usa lógica simple y álgebra básica, y especialmente cuando involucra mecánica cuántica), generalmente no es una buena señal para decirlo suavemente. Quiero aprender aquí y necesito la ayuda de los expertos en física para evaluar la teoría.

Tomé algunas clases de física en el pasado, pero soy esencialmente un aficionado autodidacta, por lo que agradecería mucho las respuestas que se encuentran en el nivel principal de física de pregrado y me remito a un libro de texto que puedo leer más por mi cuenta.

Sea pedante, ya que los problemas pueden ser sutiles. Esto comenzó con un compañero de trabajo (que a diferencia de mí tiene un doctorado en física), que trató de descartar una propuesta de teoría de la gravedad cuántica (borrador aquí) basada en algunos argumentos muy básicos. El profesor de física que sugiere la teoría ha declarado públicamente que mi compañero de trabajo ignora por completo la esencia de la propuesta porque no comprende los conceptos básicos de QFT y GR. Ambos afirman que el otro está tan equivocado que básicamente deberían volver a la escuela. Así que esto se ha convertido en un fascinante debate de física para mí. Sé muchas veces, cuando estoy aprendiendo un tema difícil, que las conclusiones aparentemente obvias de los conceptos básicos pueden estar equivocadas, y aunque los argumentos de mi compañero de trabajo son muy convincentes para mí, son tan básicosque plantea algunas preocupaciones de que solo está malinterpretando al profesor. Seguí haciendo preguntas, así que mi compañero de trabajo me envió aquí para obtener ayuda imparcial.

El tema en cuestión es el punto de partida de la propuesta que consiste en definir un espacio de Hilbert sobre algunos escalares distintos de los números complejos. En particular, un subconjunto de matrices de 4x4 que se puede escribir como X a γ a dónde ( X a son cuatro números reales y γ a son las matrices de dirac). El papel se refiere X a como cuatro vectores en el álgebra C 1 , 3 ( R ) (el álgebra de las matrices de dirac). Entonces, el punto de partida del artículo es un "espacio de Hilbert sobre el espacio de cuatro vectores".

Según tengo entendido, dos argumentos simplificados contra esta teoría son:

Primera linea de razonamiento

Un espacio de Hilbert H sobre algunos escalares S debe satisfacer:

  1. Para cualquier vector X H y escalar a S , entonces a X H (la multiplicación escalar da otro vector en H )

  2. Para dos vectores cualesquiera X , Y H , el producto interior X | Y S (el producto interior de dos vectores es un escalar en el espacio de Hilbert)

  3. Para dos vectores cualesquiera X , Y H y escalar a S , el producto interior X | a Y = X | Y a (el producto interior es lineal)

Luego, aplicando #1 y #2 X | a Y S . Luego, aplicando este hecho junto con el #3, para un escalar arbitrario a S , y cualquier escalar que pueda escribirse como resultado de un producto interno b = X | Y , el resultado de multiplicar estos dos escalares en S , también debe ser un escalar en S (simplemente, b a S ).

Por lo tanto, un contraejemplo de la existencia de este espacio de Hilbert es mostrar que dos cuatro vectores multiplicados en el álgebra C 1 , 3 ( R ) no es un cuatro-vector (en otras palabras, los cuatro-vectores no son una sub-álgebra de C 1 , 3 ( R ) ).

Esto se puede dividir en álgebra matricial simple ( por ejemplo, como lo hizo mi compañero de trabajo aquí ) para mostrar que la multiplicación de estos "escalares" no está cerrada en el conjunto de estos escalares, porque multiplicar dos cuatro vectores puede producir algo más que un cuatro -vector. He resuelto esto de manera más general, y parece que multiplicar dos cuatro vectores no dará otro cuatro vector a menos que al menos un cuatro vector sea el vector cero (0,0,0,0). Sin embargo, no confío plenamente en mi trabajo aquí como para descartar a un profesor. ¿Es suficiente un contraejemplo? ¿O es posible que una vez que nos restringimos a solo escalares que son el resultado de productos internos, de alguna manera el producto se cierra?

En una referencia recomendada por el profesor, el producto en álgebras de Clifford se analiza con bastante claridad ( here ). Si lo leí correctamente, el producto de dos vectores cualquiera será la suma de escalares y bivectores en el espacio multivectorial. Por lo tanto, NINGÚN resultado de multiplicar dos cuatro vectores puede escribirse como otro cuatro vectores excepto en el caso de que al menos uno de los cuatro vectores sea el vector cero (0,0,0,0). Esto está de acuerdo con el álgebra matricial desordenada que resolví y me da más confianza. Pero otras personas han explicado de manera similar, y el profesor afirmó que están malinterpretando esa fuente. ¿Hay una fuente mejor? ¿Qué tiene de malo la lógica anterior?

Nuevamente, esto parece sospechosamente simple, y si un aficionado no está de acuerdo con un profesor de física, generalmente no es una buena señal. Si no fuera por mi compañero de trabajo, me preocuparía volverme un chiflado. ¿Me estoy perdiendo algo fundamental aquí?

Segunda línea de razonamiento

En mecánica cuántica:

  1. Los estados de un sistema se representan mediante vectores en el espacio de Hilbert. (Aunque no de forma única, ya que los vectores relacionados por una multiplicación escalar representan el mismo estado físico).

  2. Los observables son operadores autoadjuntos en el espacio de Hilbert. Medir un observable colocará el sistema en un vector propio de ese operador.

  3. Para un sistema preparado en un estado representado por X , la probabilidad de medirlo para estar en un estado representado por Y (algún vector propio no degenerado del observable que se está midiendo) es

    PAG r o b = X | Y Y | X X | X Y | Y

Por lo tanto, para predecir medidas, también necesitamos poder dividir con estos escalares. Y además, el resultado de cualquier cálculo de la forma anterior debe ser un número real para que tenga sentido como probabilidad. Todavía C 1 , 3 ( R ) no es un álgebra de división normada. Y desde X | X ni siquiera tiene un valor real en la teoría del profesor, no entiendo cómo podrían ser las probabilidades pronosticadas.

La respuesta del profesor a esto (¿y posiblemente también a algunas de las propiedades de los espacios de Hilbert anteriores? No me queda claro) es que se trata de una teoría cuántica de campos y que las propiedades de los espacios de Hilbert y el cálculo de probabilidades para las mediciones funcionan de manera diferente en QFT que en QM introductorio de partículas no relativistas.

Fui a buscar esto en los libros que tengo y, sorprendentemente, en la "Teoría cuántica de campos" de Srednicki, afirma explícitamente en la primera página del primer capítulo que no repasará los postulados de QFT, y en el " prefacio para estudiantes", simplemente enumera algunas ecuaciones y dice que si las entiende, tiene los antecedentes para usar este libro. ¿Está suponiendo que ya conocemos los postulados?

Veo en esta pregunta de intercambio de pila de física ( formalismo de la teoría cuántica de campos frente a la mecánica cuántica ), que al menos en opinión de Lubos esto se debe a que los postulados son los mismos. Pero no da ninguna referencia, y la referencia sugerida por el profesor ( "Teoría axiomática del campo cuántico en el espacio-tiempo curvo" Hollands y Wald), ni siquiera discute medidas o probabilidades. Al buscar, encontré los "Postulados de la Teoría Cuántica de Campos" frecuentemente citados.Hagg y Schorer (1962), pero ni siquiera eso habla de medidas o probabilidades. Simplemente discuten cómo construir un espacio de Hilbert para teorías de campo. Parecen simplemente asumir que conocemos el 'resto' de los postulados. También tengo "Teoría cuántica de campos en pocas palabras" de Zee, hojeé el principio y él también parece asumir que conocemos los postulados.

Si no fuera por mi compañero de trabajo, en este punto simplemente asumiría que estoy equivocado, ya que ni siquiera puedo encontrar un libro para validar mi comprensión de los postulados y soy un aficionado que no está de acuerdo con un actual Profesor de física contratado.

¿Puede alguien ayudarme a evaluar esta teoría física y darme algunas referencias de libros de texto que pueda seguir?

Supongo, pero no estoy seguro, que está haciendo QFT sobre el campo de los cuaterniones . No sé mucho sobre el tema, pero creo que deberías mirar en esa dirección. Los cuaterniones tienen una matriz 4 × 4 representación, y están vinculados a las álgebras de Clifford.
Los cuaterniones forman un álgebra diferente, C yo 0 , 2 ( R ) . Si bien esto tiene una representación de matriz real de 4x4, es diferente del álgebra de las matrices de Dirac.
@Qmechanic Gracias por intentar retocar el título, pero los 'números' en cuestión aquí no son campos numéricos. Puede haber un término más apropiado, pero no debería ser campos, ya que incluso los cuaterniones (discutidos en ambas respuestas) no son un campo matemático.
Un artículo sobre un tema relacionado, que puede interesar al OP, cohomología Twisted de Rham, definición homológica de la integral y "Física sobre un anillo" ...

Respuestas (2)

En realidad, todo eso se sabe bastante del trabajo fundacional de von Neumann y Birkhoff. En esta formulación de QM (y en la evolución posterior de esta área de investigación) se construye la teoría de la teoría cuántica a partir de la red de observables elementales "SÍ-NO" (consulte mi respuesta sobre probabilidades cuánticas para obtener más detalles) o "proposiciones elementales". comprobable experimentalmente en un sistema cuántico. Estos supuestos describen la fenomenología común de todos los sistemas cuánticos. Ese enrejado resulta ser σ -completo, ortomodular, separable, atómico, irreducible y verificando la llamada "propiedad de cobertura". En el QM estándar esta celosía es la de los proyectores ortogonales en un espacio complejo de Hilbert. Sin embargo, von Neumann ya notó que al menos otras dos posibilidades parecían factibles en principio: la red de proyectores ortogonales en un espacio de Hilbert real y la red de proyectores ortogonales en un espacio de Hilbert cuaterniónico . En todos los casos, los estados son medidas de probabilidad generalizadas en la red relevante.

Esta idea siguió siendo una conjetura de larga data hasta 1995, cuando Solér (por ejemplo, eche un vistazo a esta entrada de la Enciclopedia de Filosofía de Stanford) demostró que la conjetura de von Neumann descartaba otras formulaciones sobre diferentes estructuras similares al espacio de Hilbert (por ejemplo, usando álgebras de Clifford como espacio de escalares ). También descarta los espacios de Hilbert construidos sobre el álgebra no asociativa de octonions en aparente contradicción con lo establecido en el artículo que mencionas.

En presencia de una operación de inversión de tiempo, se puede demostrar que la mecánica cuántica real es equivalente a la versión compleja estándar. En cambio, el cuaterniónico podría contener algo de física nueva, al menos es la opinión de S. Adler, quien escribió un libro grueso sobre esta idea desde un punto de vista muy físico.

Algunos de los resultados teóricos fundamentales en QM sobreviven al paso a QM cuaterniónico, como los teoremas de Wigner, Kadison, Gleason (el último es fundamental ya que prueba que los estados no son más que matrices de densidad y estados vectoriales como se supone en formulaciones más elementales de QM) . El libro de Varadarajan sobre la geometría de QM trata las tres formulaciones simultáneamente.

Quaternionic QM implica un interesante análisis funcional no conmutativo desde el punto de vista matemático puro (ver, por ejemplo, este artículo mío).

Por estas razones, no creo que el artículo que mencionas, que supone tratar con algún tipo de espacio de Hilbert cuyos escalares son elementos de un álgebra de Clifford, pueda presentar una teoría consistente con los supuestos estándar básicos de las teorías cuánticas formuladas en espacios de Hilbert o generalizaciones Esto es sólo en vista del teorema de Sòler. Sin embargo, el artículo no está escrito de esa manera matemática clara como el tema merecería, en mi honesta opinión, para cuestiones tan delicadas desde el punto de vista matemático, físico y filosófico.

Para ser honesto, también podría decir que la formulación del espacio de Hilbert no es la única posible. Una más reciente y en cierto sentido más poderosa es la formulación algebraica donde los objetos fundamentales no son elementos de un retículo y la probabilidad generalizada mide sobre ese retículo, sino que son elementos de un unitario. C -álgebra (o más débilmente un -álgebra o un álgebra de Jordan) los hermitianos que representan los observables del sistema. Los estados ahora están definidos por funcionales positivos normalizados en el álgebra, que representan valores esperados. El célebre teorema de reconstrucción GNS prueba que, cuando se elige un estado de referencia, esta imagen algebraica es equivalente a una construcción estándar -digamos a la von Neumann- en un espacio de Hilbert. Sin embargo, hay muchas realizaciones espaciales de Hilbert unitariamente no equivalentes de la misma estructura algebraica.

Sin embargo, el documento que mencionas no parece tratar con esta formulación más abstracta.

(Con respecto al artículo de Stefan Hollands-Bob Wald, conozco bastante bien a los autores y las ideas contenidas en ese artículo y las discutí con Stefan en el pasado. No puedo ver bien cómo estas ideas tienen mucho que ver con formulaciones alternativas de teorías cuánticas en el nivel de la pregunta que estoy respondiendo. El punto, allí, era la reformulación de la teoría cuántica de campos, evitando el enfoque perturbativo estándar. Por lo que recuerdo, la estructura básica del espacio de Hilbert no juega ningún papel fundamental).

¡Gracias por las explicaciones! Curiosamente, el profesor incluso menciona el resultado de Soler y lo descarta: "Las teorías de la Mecánica Cuántica tienen que usar un álgebra de escalares que es isomorfa a uno de estos cuatro R,C,H,O. (1) La teoría cuántica de campos, sin embargo, incluye cantidades que son cuatro vectores en el espacio de Minkowski, lo que lleva a consideraciones especiales". Dado que en realidad trabaja en este campo, ¿le importaría comentar el artículo en TheWinnower? Podría ser útil para el autor y otros (la discusión más reciente está aquí: thewinnower.com/papers/fundamentals-of-relativization )
Ya veo, es otro punto de vista que se refiere explícitamente a QFT y no a QM. En realidad no conozco ese papel que señalas, le echaré un vistazo más tarde. Muchas gracias.
Aparte de ese comentario casual, el periódico nunca discute el resultado de Soler y cómo espera escapar de esto. Dado que el documento todavía intenta usar un espacio de Hilbert para formular QFT, ¿se puede usar el resultado de Soler como un teorema de no-go para decir que el punto de partida de esta idea no puede ser fructífero? ¿Hay algún bucle que conozcas?
Mi pregunta era sobre la ayuda para evaluar el trabajo del profesor. Así que no estoy seguro de cómo interpretar tu último comentario. En la respuesta, parece descartar este tipo de teoría, pero luego, en el último comentario, ¿dice que el documento es "otro punto de vista"? Pero su respuesta parece aplicarse directamente, ¿cómo es este "otro punto de vista"? Como punto de partida, el profesor está tratando de definir un espacio de Hilbert sobre cuatro vectores y, como creo que he mostrado anteriormente, esto ni siquiera está bien definido matemáticamente. La idea del profesor no parece ser "otro punto de vista", simplemente parece estar equivocada. ¿No? ¿Qué me estoy perdiendo?
Por cierto, el artículo del profesor está aquí: thewinnower.com/papers/… El enlace que di en el último comentario fue solo la respuesta del profesor a algunos revisores del artículo.
Gracias por los mensajes y la actualización de la respuesta. Descartar esto con un teorema de no-go, es mucho más informativo y mucho más limpio que la forma en que traté de abordar el material.

Ok, para expandir mi comentario en una respuesta:

Sólo existen dos anillos de división de dimensión finita (que admiten división) que contienen los números reales como un subanillo finito: los números complejos y los cuaterniones (aplicación del teorema de Frobenius). Además, un espacio vectorial (y los espacios de Hilbert son espacios vectoriales) generalmente se define sobre un campo, que es un anillo conmutativo distinto de cero. Sobre un anillo tienes el módulo que es una generalización de un espacio vectorial en anillos no conmutativos (como los cuaterniones y el supuesto álgebra matricial de Dirac).

Entonces, incluso suponiendo que pueda generalizar un espacio de Hilbert como un módulo sobre un anillo con un producto escalar (no estoy seguro de que sea posible); la única forma de permitir la división e interpretar productos escalares adecuados como una probabilidad real es usar reales, complejos (espacios habituales de Hilbert), cuaterniones o anillos de división de dimensión infinita. Como aquí no parece ser el caso, supongo: o se refiere a los cuaterniones en algún sentido, o se equivoca, o tiene que redefinir de cero el concepto de probabilidades, espacio de Hilbert, etc...

Es un buen punto que técnicamente se trata de un módulo con un producto interno. Pero debido a que la multiplicación en C 1 , 3 ( R ) no está cerrado para cuatro vectores, el profesor ni siquiera tiene un anillo para definir un módulo, ¿correcto? Supongo que mi punto en la 'primera línea de razonamiento' es, en última instancia, que uno no puede simplemente tomar un subconjunto de un álgebra y asumir que todavía tiene un álgebra cerrada. ¿Estoy simplificando demasiado aquí? Este documento me parece muy equivocado.
Al igual que Valter Moretti arriba, también mencionas números reales, complejos y cuaterniones. El resultado de Soler que menciona parece ser un teorema imposible para cualquier otra cosa, pero también menciona "anillos de división de dimensión infinita", entonces, ¿hay un vacío en el resultado de Soler? Más directamente, ¿se puede usar el resultado de Soler como un teorema de no-go para mostrar que el punto de partida de este artículo no puede ser fructífero?
mathoverflow.net/q/45653 concluye que no hay álgebras de división normadas de dimensión infinita.
eso sí, no parece tener anillo para empezar, si no se cierra el álgebra. Estoy de acuerdo en que no está claro si su sistema es significativo desde el principio, pero Valter seguramente es más experto en el campo que yo ;-)