En las discusiones sobre una respuesta reciente de Stack que cubría la mecánica cuántica axiomática, el teorema de Bell y los campos aleatorios (relacionados con QFT axiomático), se usó la frase "Heisenberg Cut". La pregunta básica es ¿qué significa esto?
Habiendo revisado esta discusión , puedo proporcionar algunos antecedentes para establecer un contexto para la pregunta. En (Von Neumann) QM se hace una distinción entre: OBSERVADOR [Corte] OBJETO CUÁNTICO
Esta distinción simplista ha sido criticada más adelante en ese artículo y en otros lugares, de modo que el término "Corte Heisenberg" ha caído en desuso. Si uno desea hacer distinciones en un experimento de QM, aquí hay una propuesta más amplia:
MEDIO AMBIENTE [Cut1] OBJETO CUÁNTICO [Cut2] INSTRUMENTO CLÁSICO [Cut3] OBSERVADOR [Cut4] OO
aquí OO es cualquier observador-observador hipotético como se discutió en el concepto de "Amigo de Wigner".
Entonces, ¿se ha reintroducido el concepto de "Corte de Heisenberg" en el QM/QFT axiomático moderno y, de ser así, cuál es su formalización (es decir, cómo se pueden hacer deducciones experimentales o similares al Teorema de Bell?)
El término "corte de Heisenberg" solo se ha utilizado en las discusiones filosóficas sobre el carácter de la mecánica cuántica. Es el límite cuántico clásico que debe colocarse en algún lugar entre los objetos cuánticos observados y las percepciones del observador.
Nunca es un error colocar el corte más cerca del observador, para tratar un conjunto más grande de fenómenos utilizando la maquinaria de la mecánica cuántica porque, al final, la mecánica cuántica se aplica en todas partes. Por otro lado, podría ser un error tratar algunos sistemas o sus propiedades de manera clásica.
La ubicación "mínima" del corte de Heisenberg, uno que trata clásicamente una fracción máxima del mundo, puede calcularse por decoherencia. En la mecánica cuántica moderna, la decoherencia es lo que define el límite cuántico clásico, pero el término "corte de Heisenberg" rara vez se usa para este límite en la física moderna.
Tomo el corazón del corte de Heisenberg como la forma en que calculamos las probabilidades y los valores esperados en QM. Para QM elemental, para alguna medida descrita por un operador , el valor esperado en un estado descrito por una matriz de densidad viene dada por la traza . lo que ponemos en el es lo que hay en nuestro universo modelo. El operador de medición describe nuestro aparato de medición, que no está en el universo modelo, sino que describe cómo nuestro aparato de medición obtiene información del universo modelo. Hay una casi simetría entre las formas y aparecer; es casi como si hubiera un universo de aparatos de medición además del universo modelo. Diferentes aparatos de medición pueden afectarse entre sí en el universo de aparatos de medición sin cambiar el universo modelo, lo que se denomina incompatibilidad de medición (¿acabo de crear una interpretación de QM? ¿Conozco esta? Supongo que es demasiado simplista, lamentablemente).
Editar: podemos extender las matemáticas de muchas maneras diferentes, pero una merece ser mencionada porque tiene un gran valor práctico. Podemos introducir transformaciones que operan entre el aparato de preparación y el aparato de medición, en cuyo caso tenemos . En cualquier momento podemos decir que , digamos, o cualquier otra parte de esta lista (sin cambiar el orden), es nuestra medida.
De todos modos , hasta cierto punto, podemos mover cosas del universo del modelo al universo del aparato de medición y viceversa, aunque es posible que tengamos que entrar en cosas técnicas como los POVM para hacerlo. Una vez que pasamos a la teoría cuántica de campos, existe una estrecha relación entre el universo del aparato de medición y el universo modelo, porque usamos los mismos bloques de Lego para construir mediciones y estados.
La separación en estados y medidas es absolutamente fundamental en QM. Es cómo funciona la relación entre los espacios de Hilbert y los resultados experimentales, lo que causa problemas cuando la gente quiere hacer cosmología, con todo en el universo modelo. Aunque no había pensado previamente en calculardonde uno debe poner la separación, puedo ver que si uno elige una precisión particular que quiere que alcance su modelo de un aparato experimental en relación con el aparato real de uno, eso podría poner un límite sobre dónde uno puede poner el corte de Heisenberg. No estoy seguro, sin embargo, de que uno no siempre pueda mejorar la sofisticación de la descripción de una medida, particularmente si uno está dispuesto a ir a POVM. Supongo, sin embargo, que poner personas dentro de tu universo de modelos siempre estará en el ámbito de los modelos de juguete. La separación en estados y medidas se ve bajo el microscopio en el artículo de Bell 'Contra la "medida"'.
Por cierto, veo que recurrió a Willem de Muynck, quien quizás sea un poco idiosincrático, pero a menudo he encontrado en él un buen contrapunto de vista.
Además de lo que dijo Lubos sobre QM, la filosofía de QFT axiomática es construir/describir QFT sin ninguna referencia a conceptos de física clásica. Que yo sepa, ni siquiera existe un concepto para un "límite clásico" en QFT axiomático. Especialmente los dispositivos "macroscópicos clásicos" como los detectores se modelan en AQFT a través de un observable, que es un operador autoadjunto, y ese es un concepto cuántico puro. Por lo tanto, no creo que encuentre una formalización de algo como el "corte de Heisenberg" en QFT axiomático.
En cuanto a la interpretación del proceso de medición, etc., esto generalmente se deja a la interpretación filosófica de QM, desde un punto de vista puramente filosófico no hay diferencia conceptual de la interpretación de QM y la de QFT, razón por la cual la mayoría las personas que trabajan en este tema se concentran en el QM técnicamente mucho más simple.
Roy Simpson
Motl de Luboš
Anixx