Formalización (y significado) de Heisenberg Cut

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?)

Respuestas (3)

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.

Me gusta la brevedad y nitidez de esta respuesta. Sin embargo, el último párrafo nos dice que su ubicación (mínima) se puede calcular, supongo que por experimento. Entonces el término (quizás con otro nombre) sí aparece en los cálculos. Esto también sugiere que se ha formalizado en algún lugar y tal vez tiene propiedades matemáticas sobre las que podríamos probar teoremas complementarios...
Sí, Roy, como digo, el cálculo se ha formalizado bajo el término decoherencia , consulte, por ejemplo, el importante artículo de Zurek al respecto arxiv.org/abs/quant-ph/0306072 : el mismo corte se conoce como el límite cuántico clásico o otra cosa, revisa algunos papeles...
¿Cuál es la ubicación máxima del corte de Heisenberg?

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 METRO ^ , el valor esperado en un estado descrito por una matriz de densidad ρ ^ viene dada por la traza METRO = T r ( METRO ^ ρ ^ ) . 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 METRO ^ 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 T ^ i que operan entre el aparato de preparación y el aparato de medición, en cuyo caso tenemos METRO = T r ( METRO ^ T ^ norte T ^ 2 T ^ 1 ρ ^ ) . En cualquier momento podemos decir que METRO ^ T ^ norte T ^ 5 , 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.

Gracias por esta respuesta +1. Creo que este sitio funciona mejor con Preguntas, luego con Respuestas en lugar de comentarios de discusión. Comentarios: cálculo es el término usado por decoherencia; sin embargo, hay "grados de clasicismo" en estos POVM, que necesito entender más; había tantos universos en esta respuesta que necesito averiguar qué universo habitamos realmente.

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.

¿Diría usted que este concepto tiene una formalización en alguna otra variante de QM? Después de todo, Lubos está afirmando que se puede calcular: una fórmula o un conjunto de axiomas es lo que responde afirmativamente a esta pregunta; se responde negativamente diciendo algo como "QM no tiene tal formalización y aquí está la prueba de que no puede existir..."
Supongo que "sin ninguna referencia a conceptos de física clásica" es demasiado fuerte, ya que AQFT tiene un concepto de estados y medidas, que existía clásicamente antes de QM, aunque sin el problema de la incompatibilidad de medidas.
@Roy: dibujaría la línea y diría que todo lo que los físicos calculan en QM con un marco matemático formalizado no tiene ninguna conexión con ningún concepto como el corte de Heisenberg. Este concepto es abordado, sin embargo, por personas que trabajan en la interpretación filosófica de QM como Omnes.
@Peter Morgan: El "estado" en AQFT es un estado apropiado de una red de álgebras de operadores, no es un estado en el sentido de la física anterior a QM. El proceso de medición en sí no está formalizado en AQFT, AQFT se detiene con la afirmación "el valor esperado de un x observable en un estado y es...", que es un concepto puramente cuántico. Por supuesto, los conceptos de estados y medidas existían en la física anterior a QM, pero AQFT no es una teoría clásica "cuantificada" como, por ejemplo, QFT lagrangiana. No existe una teoría clásica dada a priori.
@Tim van Beek estuvo de acuerdo en que un estado es algo matemáticamente bastante diferente en AQFT que en la mecánica determinista clásica. Sin embargo, supongo que "el valor esperado de un x observable en un estado y es..." tendría un sentido razonable para Boltzmann o Maxwell. Para AQFT, aunque no para QG, también existen los puntos de partida conceptuales compartidos del espacio de Minkowski o el espacio-tiempo curvo. Supongo que veo todo esto como una evolución constante de los conceptos, no como rupturas limpias que nos desconectan de los físicos anteriores. Perdona mi forma de abordar tu fraseo molesto.
@Tim van Beek: Por lo que sé, el AQFT tradicional es como usted describe. Mi pregunta, basada en información anterior (y ahora posterior) de Peter, era si la formalización de QM había avanzado desde allí. Para mí, la referencia de Peter a continuación a POVM solo sugiere que sí.