Ontological models, as used in the generalised contextuality literature, play a central role in current research on quantum foundations, providing a framework for defining classicality, constructing classical analogues of key quantum phenomena, and examining the ontology of quantum states. In this work, we show that a counterfactual account of Lüders' rule -- which we argue is naturally implied by the mathematical structure of the rule itself -- renders such models inherently incompatible with the quantum formalism. This incompatibility arises because the counterfactual update requires ontological models to update their states according to conditional probability, which in turn which in turn renders predictions of sequential measurements order-independent. This implies that ontological models, even contextual ones, must either act differently to what we would expect given (this, typically implicitly-assumed account of) quantum state update rule, or cannot model quantum behaviour.
- ID del artículo: 2502.15615
- Título: La interpretación contrafáctica de la regla de Lüders es suficiente para descartar modelos ontológicos de la mecánica cuántica
- Autores: Alisson Tezzin, Bárbara Amaral, Jonte R. Hance
- Clasificación: quant-ph math-ph math.MP physics.hist-ph
- Fecha de publicación: 16 de octubre de 2025 (preimpresión en arXiv)
- Enlace del artículo: https://arxiv.org/abs/2502.15615
Este artículo investiga el marco de modelos ontológicos en los fundamentos de la mecánica cuántica. Los autores demuestran que la interpretación contrafáctica de la regla de Lüders —interpretación que se desprende naturalmente de la estructura matemática de esta regla— hace que los modelos ontológicos sean esencialmente incompatibles con el formalismo cuántico. Esta incompatibilidad surge porque la actualización contrafáctica requiere que los modelos ontológicos actualicen su estado según probabilidades condicionales, lo que a su vez hace que las predicciones de mediciones secuenciales sean independientes del orden. Esto significa que los modelos ontológicos, incluso los contextuales, deben actuar de manera diferente a la esperada para las reglas de actualización de estados cuánticos, o son incapaces de simular el comportamiento cuántico.
El problema central que este artículo aborda es: ¿Puede el marco de modelos ontológicos (OMF) ser compatible con el formalismo estándar de la mecánica cuántica?
- Significado fundamental: Los modelos ontológicos desempeñan un papel central en la investigación de fundamentos cuánticos, proporcionando un marco para definir la clasicalidad, construir análogos clásicos de fenómenos cuánticos y examinar la ontología del estado cuántico
- Unidad teórica: Este problema se relaciona con cómo comprendemos la completitud de la mecánica cuántica y la posibilidad de teorías de variables ocultas
- Clarificación conceptual: Implica una comprensión fundamental del proceso de medición cuántica y el mecanismo de actualización de estados
- Teorías de variables ocultas tradicionales: El teorema de Bell y el teorema de Kochen-Specker ya han descartado las teorías de variables ocultas locales no contextuales
- Investigación de contextualidad generalizada: La investigación existente se enfoca principalmente en el problema de la representación ontológica de la equivalencia operacional
- Limitaciones de modelos deterministas: Los resultados previos se dirigían principalmente a modelos ontológicos deterministas
La perspectiva central de los autores es: si aceptamos la interpretación contrafáctica de la regla de Lüders (es decir, que la actualización del estado cuántico asegura la validez de proposiciones contrafácticas), entonces los modelos ontológicos deben actualizar el estado mediante probabilidades condicionales, y esto genera un conflicto fundamental con la existencia de observables incompatibles.
- Establecimiento del marco de interpretación contrafáctica: Proporciona una interpretación matemáticamente rigurosa de la regla de Lüders basada en proposiciones contrafácticas
- Demostración de incompatibilidad fundamental: Prueba que bajo la interpretación contrafáctica, la existencia de modelos ontológicos es equivalente a la compatibilidad mutua de todos los observables
- Extensión de resultados de Fine-Malley: Extiende resultados previos sobre modelos deterministas a modelos ontológicos estocásticos
- Provisión de nuevo teorema de imposibilidad: Proporciona nuevos criterios para descartar modelos ontológicos, criterios independientes de consideraciones de contextualidad generalizada
Entrada: Conjunto de observables OS en un sistema cuántico de dimensión finita
Salida: Determinación de si este conjunto permite un modelo ontológico de actualización de estado
Restricciones: El modelo debe satisfacer predicciones cuánticas y actualizar mediante probabilidades condicionales
Para un observable A^ y conjunto de valores propios Δ, la proposición contrafáctica [A^∈Δ] representa "si se mide A^, el resultado se encontrará en Δ".
Los autores demuestran que la regla de Lüders es esencialmente un mecanismo de reconstrucción óptimo:
T[A^∈Δ](ρ^)=Pρ^[A^∈Δ]∑α∈ΔΠ^(A^=α)ρ^Π^(A^=α)
Esta actualización asegura la validez de la proposición contrafáctica [A^∈Δ].
En modelos ontológicos, la actualización de estado debe transformarse en probabilidades condicionales:
μρ^[λ∈Ω∣A^∈Δ]=∫ΩPρ^[A^∈Δ]κλ[A^∈Δ]μρ^(dλ)
Proposición 1 (Compatibilidad y estados ontológicos): Sea S un sistema cuántico de dimensión finita, y OS un conjunto no vacío de observables. Entonces son equivalentes:
- OS permite un modelo ontológico (de actualización de estado)
- OS permite un modelo ontológico determinista (de actualización de estado)
- Los observables en OS son mutuamente compatibles
Corolario 2 (Teorema de exclusión por incompatibilidad): Ningún sistema cuántico de dimensión finita permite un modelo ontológico de actualización de estado.
- Matematización de la interpretación contrafáctica: Convierte rigurosamente el concepto filosófico de contrafáctico en matemáticas, demostrando su equivalencia con la regla de Lüders
- Necesidad de probabilidades condicionales: Deduce la necesidad de actualización mediante probabilidades condicionales de los supuestos fundamentales de modelos ontológicos
- Aplicación del teorema de extensión de Kolmogorov: Utiliza teoremas fundamentales de teoría de probabilidades para construir modelos deterministas
- Conexión con la regla de Bayes: Establece una conexión profunda entre compatibilidad cuántica y la regla de Bayes en teoría de probabilidades clásica
Lema 1 (Compatibilidad): Dos observables A^ y B^ son compatibles si y solo si para cualquier estado ρ^ y conjuntos Δ⊂σ(A^), Σ⊂σ(B^):
Pρ^[A^∈Δ]Pρ^[B^∈Σ∣A^∈Δ]=Pρ^[B^∈Σ]Pρ^[A^∈Δ∣B^∈Σ]
Esta es precisamente la forma de la regla de Bayes, indicando que la compatibilidad es equivalente a la independencia del orden en mediciones secuenciales.
Lema 2 (Modelos ontológicos de actualización de estado): Los modelos ontológicos que satisfacen la Definición 1 poseen las siguientes propiedades:
- Predicen correctamente valores esperados y relaciones funcionales
- Satisfacen no-contextualidad de Kochen-Specker
- Proporcionan distribuciones conjuntas correctas para observables compatibles
Lema 3 (Actualización de estado en modelos deterministas): Solo los modelos ontológicos deterministas satisfacen condiciones de consistencia de probabilidades condicionales para todas las medidas de probabilidad, incluyendo:
- Repetitividad: Pμ[A^∈Δ′∣A^∈Δ]=Pμ[A^∈Δ]Pμ[A^∈Δ′∩Δ]
- Asociatividad: (τ[A^∈Δ′]∘τ[A^∈Δ])(μ)=τ[A^∈Δ′∩Δ](μ)
Los autores proporcionan una demostración constructiva mediante el teorema de extensión de Kolmogorov:
- Construcción del espacio de estados: Λ=∏A^∈OSσ(A^)
- Definición de medida: Utiliza distribuciones conjuntas de observables compatibles para construir la medida de probabilidad
- Verificación de consistencia: Demuestra que el modelo construido satisface todas las predicciones cuánticas
Lema 4 (Aproximación óptima): La actualización mediante probabilidades condicionales en modelos deterministas es óptima:
∥τ[A^∈Δ](μ)−μ∥=min{∥ν−μ∥:ν∈SΛ,Pν[A^∈Δ]=1}
Aquí se utiliza la distancia de variación total para medir la distancia entre medidas de probabilidad.
- Teorema de Bell: Descarta teorías de variables ocultas locales
- Teorema de Kochen-Specker: Descarta teorías de variables ocultas no contextuales
- Trabajo de Fine-Malley: Demuestra la incompatibilidad entre incompatibilidad y variables ocultas deterministas
Los resultados de este artículo son independientes del marco de contextualidad generalizada de Spekkens, proporcionando una nueva perspectiva para comprender la no-clasicalidad cuántica. Contrasta con el trabajo de Selby et al., que afirma que la incompatibilidad de medición no es ni necesaria ni suficiente.
Este artículo no se aplica directamente al descarte de teorías con hipótesis de colapso (como la teoría de de Broglie-Bohm), porque estas teorías no adoptan la regla de Lüders.
- Incompatibilidad fundamental: Bajo la interpretación contrafáctica, los modelos ontológicos son fundamentalmente incompatibles con la mecánica cuántica
- Equivalencia de compatibilidad: La existencia de modelos ontológicos es equivalente a la compatibilidad mutua de todos los observables
- Nuevo teorema de imposibilidad: Proporciona nuevos criterios independientes de contextualidad
- Nueva perspectiva del problema de medición: Desplaza el enfoque del colapso físico a la reconstrucción teórica
- Desafío al realismo: Plantea nuevas objeciones al realismo del estado cuántico
- Redefinición de clasicalidad: Puede requerir reconsiderar la contextualidad generalizada como criterio universal de clasicalidad
- Dependencia de interpretación: Los resultados dependen de una interpretación específica de la regla de Lüders
- Restricción a dimensión finita: Actualmente solo se ha probado para el caso de dimensión finita
- Marco específico: Solo se aplica a la forma estándar de la mecánica cuántica que incluye la hipótesis de colapso
- Extensión a dimensión infinita: Extender resultados a sistemas cuánticos de dimensión infinita
- Teoría de probabilidades negativas: Investigar la intersección con modelos de variables ocultas con cuasi-probabilidades negativas
- No-localidad independiente de teoría: Explorar implicaciones para conceptos de no-localidad independientes de teoría
- Incompatibilidad en teorías clásicas: Buscar ejemplos de observables incompatibles en teorías clásicas que adopten actualización contrafáctica
- Rigor teórico: Las demostraciones matemáticas son rigurosas y la cadena lógica es clara
- Innovación conceptual: La interpretación contrafáctica proporciona una nueva perspectiva para comprender la actualización de estados cuánticos
- Solidez de resultados: Proporciona teoremas de imposibilidad más fuertes que los anteriores
- Unidad metodológica: Integra orgánicamente conceptos de mecánica cuántica y teoría de probabilidades clásica
- Controversia interpretativa: La interpretación contrafáctica puede no ser aceptada por todos los investigadores
- Rango de aplicabilidad: No se aplica a ciertas interpretaciones de la mecánica cuántica (como la teoría de Bohm)
- Dificultad de verificación experimental: Principalmente resultados teóricos, carece de esquemas de verificación experimental directa
- Contribución a teoría fundamental: Proporciona nuevas herramientas teóricas para la investigación de fundamentos cuánticos
- Valor interdisciplinario: Conecta mecánica cuántica, teoría de probabilidades y filosofía
- Dirección de investigación futura: Abre nuevos caminos para la investigación de no-clasicalidad cuántica
- Investigación de teoría fundamental cuántica: Proporciona nueva perspectiva para comprender la esencia de la mecánica cuántica
- Análisis de teorías de variables ocultas: Proporciona criterios para evaluar diversas teorías de variables ocultas
- Teoría de información cuántica: Puede tener impacto en teoría de computación cuántica y comunicación cuántica
El artículo cita 91 referencias relacionadas, abarcando múltiples campos de investigación importantes incluyendo fundamentos cuánticos, teoría de variables ocultas y teoría de contextualidad, reflejando la profundidad y amplitud de la investigación. Las referencias clave incluyen trabajos pioneros de Bell, Kochen-Specker, Spekkens, Fine, Malley y otros.