La filosofía detrás de las matemáticas de la mecánica cuántica

Mi campo de estudio es la informática, y recientemente tuve algunas lecturas sobre física cuántica y computación.

Esta es seguramente una pregunta básica para el investigador de física, pero la respuesta me ayuda mucho a comprender mejor las fórmulas, en lugar de considerarlas "tal cual".


Siempre que leo un texto de introducción a la mecánica cuántica, dice que los estados se demuestran mediante vectores y los operadores son matrices hermitianas. Luego describe el álgebra de espacios vectoriales y matriciales, y continúa.

No tengo ningún problema con las matemáticas de la mecánica cuántica, pero no entiendo la filosofía detrás de estas matemáticas. Para ser más claro, tengo las siguientes preguntas (y similares) en mente (todas relacionadas con la mecánica cuántica):

  • ¿Por qué espacios vectoriales/Hilbert?
  • ¿Por qué matrices hermitianas?
  • ¿Por qué productos tensoriales?
  • ¿Por qué números complejos?

(y otra pregunta):

  • Cuando hablamos de un espacio n-dimensional, ¿qué es "n" en la naturaleza? Por ejemplo, al medir el giro de un electrón , n es 2. ¿Por qué 2 y no 3? ¿Qué significa?

¿La respuesta es simplemente "porque la naturaleza se comporta de esta manera" o hay una explicación más profunda?

Estos son los axiomas de la mecánica cuántica y, por definición, los axiomas no son deducibles de una "explicación más profunda". Cualquier interpretación de estas cosas es solo un cambio de palabras. Por ejemplo, la noción de espacio vectorial es aproximadamente equivalente al principio de superposición.
La "filosofía" detrás de esta Matemática se llama Física, por lo general. Intentas montar el caballo hacia atrás, lo cual es comprensible para alguien que viene de matemáticas.
Su línea de pensamiento (desafortunadamente) no es popular entre los físicos practicantes (¡aunque por una buena razón!). El problema es de (casi) filosofía, pero puede estar bien planteado y uno puede tener pensamientos coherentes al respecto. Debería poder encontrar algo para reflexionar en los trabajos de Christopher Fuchs ( perimeterinstitute.ca/personal/cfuchs , especialmente el artículo titulado "Mecánica cuántica como información cuántica (y solo un poco más)").
Respuesta obligatoria a todas las preguntas de "filosofía": xkcd.com/54

Respuestas (7)

Espacios vectoriales porque necesitamos superposición. Producto tensorial porque así es como se combinan sistemas más pequeños para obtener un sistema más grande cuando los sistemas están representados por el espacio vectorial. Operador de ermitación porque esto permite la posibilidad de tener observables de valores discretos. Espacio de Hilbert porque necesitamos productos escalares para obtener amplitudes de probabilidad. Números complejos porque necesitamos interferencia (busque el experimento de doble rendija).

La dimensión del espacio vectorial corresponde al tamaño del espacio de fase, por así decirlo. El giro de un electrón puede ser hacia arriba o hacia abajo y estas son todas las posibilidades que existen, por lo tanto, la dimensión es 2. Si tienes k electrones, entonces cada uno de ellos puede estar hacia arriba o hacia abajo y, en consecuencia, el espacio de fase es 2 k -dimensional (esto se relaciona con el hecho de que el espacio del sistema total se obtiene como un producto tensorial de los subsistemas). Si, en cambio, se trata de una partícula con una posición que puede ser cualquier X R 3 entonces el espacio vectorial debe ser de dimensión infinita para codificar todas las posibilidades independientes.


Editar sobre operadores de Hermitation y valores propios.

Aquí es en realidad donde el término cuánticoproviene de: clásicamente, todos los observables son funciones conmutativas en el espacio de fase, por lo que no hay forma de obtener niveles de energía puramente discretos (es decir, con espacios entre los valores vecinos) que se requieren para producir, por ejemplo, líneas de absorción/emisión atómicas. Para obtener este tipo de comportamiento, se requiere algún tipo de generalización de observables y resulta que representar los niveles de energía de un sistema con un espectro de un operador es la forma correcta de hacerlo. Esto también encaja perfectamente con el resto de la historia, por ejemplo, el principio de incertidumbre de Heisenberg más o menos obliga a uno a tener observables no conmutativos y para esto nuevamente se requiere álgebra de operadores. Este procedimiento de reemplazar el álgebra conmutativa de funciones continuas clásicas con el álgebra no conmutativa de operadores cuánticos se llama cuantización. [Tenga en cuenta que incluso en el nivel cuántico, los operadores aún pueden tener un espectro continuo, lo que se requiere, por ejemplo, para un operador que representa la posición. Entonces, la palabra "cuántico" en realidad no implica que todo sea discreto. Simplemente se refiere al hecho de que la teoría cuántica es capaz de incorporar esta posibilidad. ]

Puede obtener interferencia sin números complejos. Las ondas de sonido interfieren, pero tienen un valor real. En un sistema enlazado de partículas de espín-1/2 como un núcleo, en realidad puede usar funciones de onda de valor real; funciona bien y se producen efectos de interferencia de ondas. Lo que no puede tener sin números complejos es una onda viajera que representa una partícula de espín-1/2.
@Ben: No estoy de acuerdo. Las ondas viven naturalmente en el dominio complejo: llevan amplitud y fase. Puedes fingir que estos son dos números reales, pero en realidad no es así: la fase es 2 π -periódico. Es decir, esto no es más que la descomposición polar de un número complejo.
Gracias por la buena respuesta. Solo un punto: "los valores propios de los operadores representan valores físicamente posibles que se pueden medir". Ese es otro hecho para el que no tengo intuición. Los valores propios son un concepto matemático, mientras que los observables y la medición son nociones físicas. ¿Cómo se relacionan?
Su primer párrafo es un gran resumen de algo que me ha molestado desde que abrí mi primer libro QFT. Creo que tengo 5 de esos libros y en ninguno de ellos realmente escriben por qué necesitan las matemáticas, simplemente DICEN las ecuaciones necesarias y siguen adelante. Pero para nosotros que no somos matemáticos sino, por ejemplo, programadores o ingenieros, queremos saber los por qué :) Alguien debería escribir un libro de QFT que se concentre en la intuición física, algo así como la "extraña teoría de la luz y la materia" de Feynman, pero más ambiciosa y las matemáticas están permitidas si se explican :)

Scott Aaronson, él mismo un científico informático (cuántico), piensa y escribe sobre varios de estos temas en su artículo Is Quantum Mechanics An Island In Theoryspace? - al menos el "¿por qué los números complejos y no los reales o los cuaterniones?", Y estoy bastante seguro de que también lo menciona en sus conferencias de 'Demócrito' .

@reciprivexclusion: Tengo experiencia en informática, y esas conferencias realmente hicieron clic en lo que se trataba la computación cuántica , en términos de computación (a diferencia del aspecto de la física). Espero que sea lo mismo para las personas que vienen de la física. ¡Me alegro de que te hayan gustado, en cualquier caso!

¿La respuesta es simplemente "porque la naturaleza se comporta de esta manera" o hay una explicación más profunda?

Yo diría que sí al "porque la naturaleza se comporta así". Es la descripción más económica de datos experimentales usando matemáticas, hasta la fecha.

En primer lugar, la filosofía de la mecánica cuántica no es sencilla para la mayoría de los físicos. Esto ha generado toda una industria de "interpretaciones cuánticas" del "problema de la medición cuántica".

La mecánica cuántica es probablemente una de las mejores soluciones al problema de hacer que el misticismo sea matemáticamente preciso. La mecánica cuántica pone el misticismo sobre una base matemática firme. La mecánica cuántica trata sobre la Conciencia y la Realidad Cósmica.

Realmente, puedes leerlo directamente de la boca del caballo en el libro Quantum Questions , que es una compilación de escritos místicos de los propios fundadores de la mecánica cuántica. Personas como Werner Heisenberg, Erwin Schroedinger, Albert Einstein, Louis de Broglie, Jeans, Max Planck, Wolfgang Pauli y Arthur Eddington. No son meros físicos "marginales", aunque físicos "marginales" como Jack Sarfatti, David Bohm, Amit Goswami, John Hagelin y Frank Tipler a menudo tienen razón...

Otro libro que puedes leer es Quantum Enigma .

Es extraño que no te sientas muy cómodo con los espacios de Hilbert porque en realidad las funciones continuas forman el espacio de Hilbert y la física se trata de funciones. La diferencia general con la mecánica clásica está en el hecho de que la mecánica clásica se formuló mucho antes de que las personas que la usaran y aprendieran (e incluso desarrollaran) pudieran comprender las variedades y el álgebra de Lie, mientras que en la época de la mecánica cuántica la idea del espacio de Hilbert y todo eso se hizo más o menos natural.

Lo mismo con el resto. Podría formular QM sin números complejos (en principio), pero esto sería lo mismo que la formulación de las ecuaciones de Maxwell sin vectores. La gente dice que las ecuaciones de Maxwell en realidad se formularon antes de que los físicos estuvieran lo suficientemente familiarizados con los vectores y fue una pesadilla.

Los espacios de Hilbert no están necesariamente compuestos de funciones continuas. Por ejemplo, todos los espacios de Euclean son espacios de Hilbert, pero los vectores internos no son funciones continuas.
@Karsus Ren, si lee mi respuesta detenidamente, mencionará que no dije que los espacios de Hilbert estén necesariamente compuestos de funciones continuas. Probablemente debería haber usado 'eg' en lugar de 'en realidad'.
@Misha: "por ejemplo" no sería mucho mejor. Las funciones continuas son solo un mal ejemplo. Los principales ejemplos de espacios de Hilbert provienen de la teoría de la medida ( L 2 ( X , Ω , m ) espacios) y las funciones medibles (basadas en el álgebra sigma de Borel) se comportan en general mucho peor que las continuas; pero uno sacrifica esto para obtener mejores propiedades topológicas del espacio: uno puede tomar límites y permanecer en el mismo espacio. Esta es, de hecho, la diferencia clave entre la integral de Riemann y la de Lebesgue.
@Marec, cuando uno dice "en realidad, las ovejas son mamíferos", es obvio que no todos los mamíferos son ovejas. Sorprendentemente, no funciona cuando hablas de espacios de Hilbert. Estaba tratando de señalar que el espacio de Hilbert no es algo complejo y/o artificial. Es algo que se estudia en la escuela pero en otro nivel de abstracción.
@Misha: pero no estás diciendo que las funciones continuas sean funciones medibles. Está diciendo explícitamente que forman un espacio de Hilbert (lo que implica que no hay nada más en él). Esto es cierto tanto como decir que los números racionales forman la línea real R , mientras que en ambos casos estos son solo subespacios densos. Estoy de acuerdo con su opinión de que el espacio de Hilbert no es nada artificial. Solo quería que fueras un poco más preciso.
@Marek Ok, entendí el punto. De hecho, sacrifiqué demasiado la formalidad (pensé en funciones medibles pero escribí continua para ser menos aburrido) para simplificar la idea.

La mecánica cuántica es una solución en tiempo real de la ecuación de Newton. Si resuelves la ecuación de Newton en números reales, obtienes la solución de Newton. Si resuelves la ecuación de Newton en números complejos, obtienes una solución cuántica y la diferencia entre las dos soluciones es relativista. Busque en Google la ecuación de Newton dependiente del tiempo de Roger Anderton y vea que la diferencia entre la mecánica de Newton en que Newton usó números reales y cuando la ecuación de Newton se resuelve en números complejos da mecánica cuántica y la diferencia entre la mecánica cuántica y la mecánica de newton es mecánica relativista o cuántica = newton + relatividad. Es un artículo bastante interesante escrito por un ingeniero inglés.

Joe, ¿puedes darnos un enlace a este increíble artículo de ese ingeniero inglés...? Supongo que es tan divertido de leer como este ( arxiv.org/abs/1011.1841 ).
@4tnemele: Tal vez este sea el enlace: wbabin.net/science/anderton29.pdf . Y sí, yo tampoco me lo tomo en serio :)
Joe, Bienvenido a Physics.SE. Nuestros participantes aquí van desde físicos profesionales hasta estudiantes principiantes, pero todos tenemos interés en el tema. He eliminado sus otras respuestas hasta ahora porque parecen ser filosóficas con poco contenido físico.
Acabo de encontrar esta página ( sciencedoubts.com/16writers/joenahhas ) sobre Joe Nahhas y dice: >>En 1977, a los 19 años, descubrí cómo resolver toda la física en tiempo real y tengo nuevas fórmulas físicas por cientos derivadas de la física antigua. fórmulas Estas nuevas fórmulas de física coinciden con las mediciones con una precisión sin precedentes para reescribir la física y la historia de la física porque dice que el 85 % de toda la física publicada se basa en datos incorrectos y cuando los datos se corrijan, dirían un mundo diferente de la física mejor que cualquier otra cosa que se haya dicho o dicho. publicado en los últimos 350 años.<<
Joe, pero Newton era estúpido, ¿no? ( docstoc.com/profile/joenahhas ). @dmckee Por desgracia, no sabe la información importante que ha eliminado. (SARCASMO INTENTO)
@4tnemele: solo queda decidir si debemos reír o llorar ahora...