⚛️ quantum physics

Unobservables and Decoherence from Complexity

Este artículo sostiene que la aparente classicalidad de los sistemas macroscópicos surge de las restricciones de complejidad computacional, las cuales vuelven ciertas mediciones cuánticas formalmente válidas imposibles de realizar y previenen la observación de la coherencia en superposiciones específicas, vinculando así la transición cuántico-clásica con la incapacidad de los sistemas cuánticos para resolver eficientemente problemas NP-completos.

Autores originales: Michael Epping, Jochen Szangolies

Publicado 2026-06-23

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Michael Epping, Jochen Szangolies

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina el universo como un videojuego gigante e increíblemente complejo. En este juego, las reglas del "micro-mundo" (mecánica cuántica) son muy diferentes de las del "macro-mundo" (nuestra experiencia cotidiana).

En el micro-mundo, las cosas pueden estar en dos lugares a la vez (superposición) y pueden interferir entre sí como ondas en un estanque. En nuestro macro-mundo, nunca vemos a un gato que esté muerto y vivo al mismo tiempo, o una moneda que sea tanto cara como cruz simultáneamente. Por lo general, los científicos explican esta diferencia diciendo que el entorno (aire, luz, calor) "mide" constantemente los objetos grandes, diluyendo estos extraños efectos cuánticos. Esto se llama decoherencia.

Sin embargo, este artículo propone una razón diferente y sorprendente de por qué el mundo nos parece clásico: Es demasiado difícil de computar.

Aquí está el desgrecado de su argumento utilizando analogías simples:

1. La trampa del "Botón de Deshacer"

En la mecánica cuántica, si mides algo y obtienes un resultado que no te gusta, existen formas teóricas de "deshacer" esa medición y volver a intentarlo, borrando efectivamente el resultado.

Los autores imaginaron un algoritmo cuántico ingenioso que utiliza este "botón de deshacer" para resolver un tipo de acertijo lógico muy difícil (llamado 3SAT). Piensa en este acertijo como intentar encontrar la combinación específica de interruptores que enciende un enorme panel de luces con millones de interruptores.

El truco: El algoritmo intenta una combinación de interruptores. Si falla, usa el "botón de deshacer" para reiniciar el universo al estado anterior al intento, y luego intenta un camino diferente.
El problema: Si la naturaleza permitiera que construyéramos una máquina que pudiera realizar estas "mediciones de deshacer" fácilmente, podríamos resolver estos enormes acertijos lógicos casi instantáneamente.

2. El muro de la complejidad

Sabemos por la informática que algunos acertijos lógicos son "NP-completos". Esto significa que, a medida que el acertijo se hace más grande, el tiempo necesario para resolverlo crece exponencialmente. Incluso las supercomputadoras más rápidas tardarían más que la edad del universo en resolver una versión lo suficientemente grande.

Los autores argumentan que si la mecánica cuántica nos permitiera realizar estas mediciones de "deshacer" específicas, seríamos capaces de resolver estos acertijos imposibles de manera eficiente. Dado que creemos que la naturaleza no nos permite resolver estos acertijos instantáneamente (porque eso rompería las leyes de la complejidad), la naturaleza debe prohibir estas mediciones específicas.

3. Lo "Inobservable"

Debido a que la naturaleza prohíbe estas mediciones, existen ciertas cosas en el mundo cuántico que son matemáticamente válidas pero físicamente imposibles de ver. Los autores llaman a esto "inobservables".

Analogía: Imagina una biblioteca con un sistema de catálogo perfecto. El catálogo dice que un libro existe en un estante específico. Sin embargo, el estante está hecho de un material tan denso y complejo que ningún humano podría jamás alcanzarlo o sacar el libro. El libro existe en el catálogo (matemáticas), pero es "inobservable" para nosotros (física).
En este artículo, ciertas mediciones cuánticas (como rotaciones específicas de partículas) son como ese libro inalcanzable. Son válidas en las ecuaciones, pero el esfuerzo computacional requerido para realizarlas es tan alto que ningún observador con recursos finitos puede hacerlo.

4. La barrera del "Viaje en el Tiempo"

El artículo también analiza cómo cambian los estados cuánticos con el tiempo. Usualmente, pensamos que puedes evolucionar de cualquier estado cuántico a cualquier otro si esperas el tiempo suficiente.

Pero si una medición es "inobservable" porque es demasiado compleja, entonces la evolución temporal (el proceso de cambiar de un estado a otro) que conduciría a esa medición también es imposible.

Analogía: Imagina dos islas en un océano. Las matemáticas dicen que hay un puente entre ellas. Pero el puente está hecho de un material tan pesado que ningún barco podría construirlo o cruzarlo. Por lo tanto, para todos los propósitos prácticos, las dos islas están desconectadas. Nunca podrás viajar de la Isla A a la Isla B.

5. El resultado: "Decoherencia por Complejidad"

Esto conduce a la conclusión más importante del artículo: Las superposiciones se vuelven invisibles.

Si tienes dos estados cuánticos que están "desconectados" (no puedes evolucionar uno en el otro porque el camino es demasiado complejo), nunca podrás probar que están en una "superposición" (una mezcla de ambos).

La ilusión: Para un observador, una superposición cuántica de estos dos estados se ve exactamente igual que una mezcla aleatoria (como lanzar una moneda y obtener cara o cruz).
El cambio: Debido a que no podemos distinguir la "mezcla cuántica extraña" de una "mezcla aleatoria normal", el sistema actúa como si hubiera perdido su naturaleza cuántica. Se comporta de manera clásica.

Resumen

El artículo sugiere que la razón por la cual el mundo macroscópico parece aburrido y clásico no es solo porque el entorno sea ruidoso. Podría ser porque el universo es computacionalmente perezoso.

Los comportamientos "extraños" de la cuántica (como estar en dos lugares a la vez) siguen estando ahí en las matemáticas, pero observarlos requiere resolver acertijos que son demasiado difíciles para que cualquier observador los compute. Debido a que no podemos computar la solución, no podemos ver el efecto cuántico. La complejidad del propio universo actúa como un filtro, ocultando la extrañeza cuántica y dejándonos con el mundo clásico que experimentamos.

Resumen Técnico: Inobservables y Decoherencia desde la Complejidad

Planteamiento del Problema
La interfaz entre la mecánica cuántica y la realidad clásica sigue siendo un tema de intensa investigación. Mientras que el régimen cuántico se define por la interferencia y la superposición, los sistemas macroscópicos parecen clásicos, careciendo de estos fenómenos. Las explicaciones estándar suelen basarse en la decoherencia ambiental. Este artículo investiga una hipótesis alternativa: que la "inobservabilidad" de ciertas características cuánticas en sistemas macroscópicos surge no de la interacción con el entorno, sino de limitaciones fundamentales impuestas por la complejidad computacional. Específicamente, los autores exploran si el supuesto de que los sistemas cuánticos no pueden resolver eficientemente problemas NP-completos implica que ciertas mediciones cuánticas formalmente válidas son físicamente irrealizables.

Metodología
Los autores construyen un algoritmo cuántico hipotético diseñado para resolver el problema 3SAT (un problema NP-completo) en tiempo polinomial mediante la explotación de la capacidad de "deshacer" mediciones cuánticas.

Deshacer la Medición: El algoritmo utiliza una "medición-POVM sándwich" (Medida de Valor de Operador Positivo), denotada como $\mathcal{N}(F)$ , para una fórmula de lógica proposicional $F$ . Esta medición implica una secuencia de mediciones proyectivas sobre las cláusulas de la fórmula, seguidas de una medición de "reinicio" que deshace los resultados no deseados (específicamente, la proyección sobre el subespacio que viola una cláusula).
Técnica de Dilución: Para abordar el problema de las probabilidades de éxito exponencialmente bajas en mediciones secuenciales, los autores emplean una estrategia de "dilución". Transforman la fórmula original $F$ en una fórmula diluida $D(F)$ introduciendo nuevas variables y cláusulas XOR aleatorias. Esta modificación asegura que la probabilidad de medir un resultado de cláusula satisfactoria permanezca alta (mayor que $1/2$ en promedio) a lo largo del algoritmo.
Supuesto de Complejidad: El argumento central se basa en dos supuestos:
- (INC): NP $\not\subseteq$ BQP (Los sistemas cuánticos no pueden resolver eficientemente problemas NP-duros).
- (OBS): Toda medición cuántica formalmente válida puede realizarse experimentalmente.
  Los autores demuestran que si (OBS) se cumple, el algoritmo propuesto resolvería 3SAT eficientemente, contradiciendo (INC).

Contribuciones Clave y Resultados
El artículo establece que si los problemas NP-completos son difíciles para los sistemas cuánticos, entonces ciertas mediciones cuánticas formalmente válidas deben ser físicamente irrealizables. Estas cantidades se denominan inobservables.

Existencia de Inobservables: Se demuestra que la medición-POVM sándwich $\mathcal{N}(F)$ es un objeto matemático válido en mecánica cuántica, pero es físicamente irrerealizable para tamaños de problema suficientemente grandes (por ejemplo, cientos de variables) porque su ejecución violaría el supuesto de que los problemas NP-duros son intratables.
Matrices de Pauli Inobservables: A través del teorema de dilatación de Naimark, el POVM inobservable $\mathcal{N}(F)$ se vincula con mediciones de valor de proyector (PVMs) inobservables. Los autores muestran que en un espacio de Hilbert suficientemente grande (específicamente un qudit de dimensión $2^{M+N}$ ), existen bases donde los operadores de Pauli ( $\tilde{X}, \tilde{Y}, \tilde{Z}$ ) son inobservables. Mientras que los operadores de Pauli canónicos son observables, las versiones transformadas requeridas para mapear entre estados específicos no lo son.
Órbitas de Evolución Temporal Desconectadas: Los autores definen el conjunto $\mathcal{T}$ de las evoluciones temporales físicamente realizables con recursos finitos. Demuestran que existen operadores unitarios (como el que mapea un inobservable a un observable) que no pertenecen a $\mathcal{T}$ . En consecuencia, existen pares de estados puros $|\psi_1\rangle$ y $|\psi_2\rangle$ que no pueden ser conectados por ninguna evolución temporal físicamente realizable. La probabilidad de transición entre tales estados decae exponencialmente con el tamaño del sistema ( $\exp(-\Omega(N))$ ).
Decoherencia Inducida por la Complejidad: Debido a que ningún unitario físicamente realizable puede conectar $|\psi_1\rangle$ y $|\psi_2\rangle$ , los valores de expectación de cualquier observable admisible $A$ para la superposición coherente $\rho_{coh} = \frac{1}{2}(|\psi_1\rangle + |\psi_2\rangle)(\langle\psi_1| + \langle\psi_2|)$ son indistinguibles de la mezcla incoherente $\rho_{incoh} = \frac{1}{2}(|\psi_1\rangle\langle\psi_1| + |\psi_2\rangle\langle\psi_2|)$ . La diferencia en los valores de expectación escala como $\exp(-\Omega(N))$ .
Reglas de Superselección (SSR) Efectivas: Esta indistinguibilidad implica la emergencia de una regla de superselección efectiva. La coherencia entre tales estados no puede observarse, convirtiendo efectivamente una superposición pura en una mezcla clásica. Esto proporciona un mecanismo para la clasicidad basado en la complejidad computacional en lugar de la interacción con el entorno.

Significancia y Reivindicaciones
El artículo afirma ser el primero en vincular directamente la observabilidad de la coherencia cuántica con un problema computacionalmente difícil. Los autores proponen que la aparente clasicidad de los sistemas macroscópicos puede deberse en parte a que observar ciertos fenómenos cuánticos (como superposiciones específicas o realizar mediciones específicas) requiere recursos que escalan superpolinomialmente, lo que los hace imposibles para cualquier observador con recursos finitos.

Los autores son modestos en su alcance, declarando que solo han demostrado la existencia de este mecanismo. No pretenden que sea la única fuente de clasicidad o decoherencia, ni proporcionan una estimación cuantitativa de su contribución relativa respecto a la decoherencia ambiental. Sugieren que el trabajo futuro podría cuantificar cuánto del "mundo clásico" es resultado de estas limitaciones de la teoría de la complejidad. Los resultados implican que el conjunto de operaciones físicamente realizables es un subconjunto estricto de las operaciones matemáticamente válidas en mecánica cuántica, restringido por la dureza de los problemas NP-completos.