La independencia parcial es suficiente para descartar la Teoría Cuántica Real experimentalmente

Información Básica

• ID del Artículo: 2502.20102
• Título: La independencia parcial es suficiente para descartar la Teoría Cuántica Real experimentalmente
• Autores: Mirjam Weilenmann (Inria, Télécom Paris), Nicolas Gisin (Universidad de Ginebra, Constructor University), Pavel Sekatski (Universidad de Ginebra)
• Clasificación: quant-ph (Física Cuántica)
• Fecha de Publicación: Febrero de 2025 (arXiv v2: 21 de noviembre de 2025)
• Enlace del Artículo: https://arxiv.org/abs/2502.20102

Resumen

Este artículo investiga la necesidad de números complejos en la teoría cuántica. Basándose en el trabajo de Renou et al. de 2021 en Nature, que demostró que la Teoría Cuántica Real (Real Quantum Theory) no puede explicar los resultados predichos por la teoría cuántica compleja, los autores revisan la suposición de independencia de fuentes. Se demuestra que la independencia parcial es suficiente para probar la insuficiencia de la teoría cuántica real, se derivan relaciones de compensación entre la independencia de fuentes y los valores de Bell alcanzables en la teoría cuántica real, y se prueba que 1 ebit de entrelazamiento es necesario y suficiente como recurso para recuperar correlaciones cuánticas complejas con teoría cuántica real. Finalmente, basándose en el trabajo de McKague et al., se construye un esquema para simular experimentos cuánticos complejos de m fuentes independientes usando m qubits reales entrelazados.

Antecedentes y Motivación de la Investigación

1. Problema Central

¿Realmente necesita la teoría cuántica la estructura de números complejos? Esta es una confusión de larga data en los fundamentos de la mecánica cuántica. Aunque la física clásica (mecánica, termodinámica, electromagnetismo) se basa en números reales, el primer postulado de la teoría cuántica introduce el espacio de Hilbert complejo $\mathbb{C}^d$.

2. Importancia del Problema

• Necesidad Física de Estructuras Matemáticas: Los números complejos en la teoría cuántica no son solo herramientas computacionales; los estados cuánticos en sí son complejos
• Cuestión Ontológica: Si el espacio de Hilbert real $\mathbb{R}^d$ es suficiente, ¿por qué necesitamos "números imaginarios", que Descartes llamaba "imaginarios" y Euler llamaba "imposibles"?
• Verificabilidad Experimental: ¿Puede este problema fundamental ser determinado experimentalmente?

3. Limitaciones de Métodos Existentes

• McKague et al. (2009): Demostraron que cualquier experimento cuántico complejo puede simularse con teoría cuántica real, adjuntando un qubit real auxiliar (rebit) a cada subsistema, pero requiere que estos qubits auxiliares compartan un estado entrelazado
• Dificultad de Interpretación Física: Cuando los subsistemas están espacialmente separados, ¿cómo se explica que todos puedan acceder al mismo rebit auxiliar? ¿De dónde proviene este entrelazamiento?
• Renou et al. (2021): En el escenario de red, asumiendo independencia completa de fuentes, demostraron que la teoría cuántica real no puede alcanzar el límite superior del valor de Bell de la teoría cuántica compleja ($B_C^{sup}=6\sqrt{2}\approx 8.49$ vs $B_R^{ub}\leq 7.66$)

4. Motivación del Artículo

Relajación de la Suposición de Independencia: ¿Qué sucede si las fuentes son solo parcialmente independientes (partially independent)? ¿Puede cuantificarse de manera precisa cuánta correlación cuántica se necesita para explicar los resultados experimentales con teoría cuántica real?

Contribuciones Principales

1. Relajación de la Suposición de Independencia: Se demuestra que la independencia parcial de fuentes es suficiente para descartar la teoría cuántica real, sin necesidad de la suposición de independencia completa
2. Relaciones de Compensación Cuantitativas: Se derivan relaciones de compensación precisas entre el grado de independencia de fuentes y los valores de Bell alcanzables en teoría cuántica real (mediante jerarquía de programación semidefinida)
3. Recurso Necesario y Suficiente: Se demuestra que en el escenario de Renou et al., 1 ebit de entrelazamiento (correspondiente al máximo entrelazamiento de dos rebits) es necesario y suficiente:
   • Necesidad: Mediante autotesting (self-testing) se demuestra que alcanzar el valor máximo de Bell $6\sqrt{2}$ requiere el estado $\bar{\varrho}_{S_1S_2}=\frac{1}{2}(\Phi^-+\Psi^+)$, cuya entropía de formación $E_F=1$, distancia a estados separables $D_{Sep}=\frac{1}{2}$
   • Suficiencia: Este entrelazamiento es suficiente para simular cualquier experimento cuántico en esta red
4. Teorema de Simulación General: Se extiende la construcción de McKague, demostrando que m qubits reales entrelazados $\bar{\varrho}_S^{(m)}$ son suficientes para simular experimentos cuánticos complejos de m fuentes independientes
5. Cuantificación del Significado Experimental: Se asigna significado cuantitativo a resultados experimentales existentes (por ejemplo, valor de Bell 8.09 requiere $D_{Sep}\geq 0.2$)

Explicación Detallada de Métodos

Definición de Tareas

En el escenario de red tripartita (Figura 1):

• Configuración: Tres partes Alice (A), Bob (B), Charlie (C), dos fuentes $S_1$ (distribuida a AB) y $S_2$ (distribuida a BC)
• Mediciones: Alice con entrada $x\in\{1,2,3\}$ produce salida $a\in\{1,-1\}$, Bob produce $b\in\{00,01,10,11\}$, Charlie con entrada $z\in\{1,...,6\}$ produce $c\in\{1,-1\}$
• Objetivo: Analizar el límite superior del valor de Bell alcanzable por teoría cuántica real cuando se permite que las fuentes compartan correlación cuántica parcial $\varrho_{S_1S_2}$

Expresión de Prueba de Bell

Se utiliza el funcional de Bell de Renou et al.: $B(P) = \sum_{b\in\{0,1\}^2} B_b(P)$ donde cada $B_b(P)$ es una combinación de tres pruebas CHSH entre Alice y Charlie (Ecuación 2). Valores clave:

• Valor máximo de teoría cuántica compleja: $B_C^{sup}=6\sqrt{2}\approx 8.49$
• Límite superior de teoría cuántica real con fuentes independientes: $B_R^{ub}\leq 7.66$

Métodos Técnicos Principales

1. Medidas de Entrelazamiento (Apéndice A)

Se definen dos medidas geométricas:

• Distancia a Conjunto Separable: $D_{Sep}(\varrho)=\inf_{\sigma\in Sep}\frac{1}{2}\|\varrho-\sigma\|$
• Distancia a Conjunto Independiente: $D_{Ind}(\varrho)=\inf_{\sigma\in Ind}\frac{1}{2}\|\varrho-\sigma\|$
• Entropía de Formación: $E_F(\varrho)$

Propiedades Clave:

• Monótonamente no creciente bajo operaciones locales en teoría cuántica real
• Para estado de dos rebits $\bar{\varrho}_{S_1S_2}$: $D_{Ind}=D_{Sep}=\frac{1}{2}$, $E_F=1$ (todos alcanzan valores máximos)

2. Jerarquía de Programación Semidefinida (SDP, Ecuación 6)

Se construye un problema de optimización restringida: $\max B(P) \quad \text{s.t.} \quad D_{Sep}(\tau_{AC})\leq \epsilon$

Innovación: Incorporación de restricción de distancia de traza en problema de momentos (moment problem):

• Uso de matriz de momentos $\Gamma^n(\tau)$ (jerarquía de n-ésimo orden)
• Explotación de restricciones de semidefinitud positiva y condiciones de separabilidad $\sigma^{T_A}=\sigma$
• Condición de distancia de traza transformada a: $\begin{pmatrix} \Gamma^n(M) & \Gamma^n(\tau-\sigma) \\ \Gamma^n(\tau-\sigma)^T & \Gamma^n(N) \end{pmatrix}\geq 0, \quad \Gamma^n(M)_{(1,1)}+\Gamma^n(N)_{(1,1)}\leq 4\epsilon$

Computación: Jerarquía de 2do orden, usando YALMIP+Mosek, requiere 500GB de memoria, tiempo de ejecución 5-6 días

3. Límite Lineal (Ecuación 7, Apéndice C)

Se deriva un límite simple mediante norma de operador: $D_{Sep}(\tau_{AC}) \geq \frac{B(P)-B_R^{ub}}{B_C^{sup}-B_C^{inf}} = \frac{B(P)-7.66}{12\sqrt{2}}$

Esquema de Prueba:

• El operador de Bell satisface $\text{tr}(B\rho)=B(P)$
• Utilización de $\text{tr}(B(\rho-\sigma))\leq D(\rho,\sigma)(B_C^{sup}-B_C^{inf})$
• Para cualquier estado separable $\sigma$, $\text{tr}(B\sigma)\leq B_R^{ub}$

4. Construcción de Simulación Real (Apéndice D)

Codificación de Marco de Referencia:

• Cada sistema complejo d-dimensional $C_i$ corresponde a sistema real 2d-dimensional $\bar{R}_i=R_iL_i$
• $L=L_1...L_n$ actúa como "marco de referencia de complejidad", codificado en subespacio lógico: $|R\rangle_L = \frac{1}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}+\bigotimes_i|y^-\rangle_{L_i})$$|I\rangle_L = \frac{i}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}-\bigotimes_i|y^-\rangle_{L_i})$ donde $|y^\pm\rangle=(|0\rangle\pm i|1\rangle)/\sqrt{2}$

Propiedades Clave: Operador unitario real $J=i\sigma_Y$ actuando en cualquier $L_j$ simula la unidad imaginaria: $J_{L_j}|R\rangle_L=|I\rangle_L, \quad J_{L_j}|I\rangle_L=-|R\rangle_L$

Representación de Estado (invariante de fase): $\varrho_C \sim \varrho_{RL} = \varrho_R^{Re}\otimes\frac{|R\rangle\langle R|+|I\rangle\langle I|}{2} + \varrho_R^{Im}\otimes\frac{|I\rangle\langle R|-|R\rangle\langle I|}{2}$

Transmisibilidad Localmente Ampliable (Local Broadcastability):

• Estado de marco de referencia $\bar{\varrho}_L^{(n)}$ puede extenderse mediante operaciones locales: $\bar{\varrho}_L^{(n)}\xrightarrow{LO}\bar{\varrho}_{LL'}^{(2n)}$
• Estados marginales se mantienen invariantes: $\text{tr}_{L'}\bar{\varrho}_{LL'}^{(2n)}=\bar{\varrho}_L^{(n)}$
• Esto es imposible en teoría cuántica compleja (teorema de no-transmisibilidad local), demostrando diferencias operacionales entre ambas teorías

Puntos de Innovación Técnica

1. Formalización de Independencia Parcial: Primera cuantificación precisa del grado de correlación de fuentes (mediante $D_{Sep}$, $E_F$) y su relación con violación de Bell
2. Innovación en Restricciones SDP: Incorporación de restricción de distancia de traza continua en problema de momentos discreto, con alta dificultad técnica
3. Prueba de Compacidad: Los límites son compactos en casos ideales (cuando $\epsilon=0.5$ se alcanza exactamente $6\sqrt{2}$)
4. Perspectiva de Teoría de Recursos: Colocación del problema en marco de teoría de recursos cuánticos, especificando estados libres (Sep/Ind) y operaciones libres (LOCC/LO)
5. Aplicación de Entrelazamiento Ligado: Utilización de entrelazamiento ligado localmente transmisible en teoría cuántica real, que no existe en teoría compleja

Configuración Experimental

Escenario Experimental

• Topología de Red: Escenario de bilocality, dos fuentes dos receptores
• Configuración de Mediciones: Alice con 3 entradas, Charlie con 6 entradas, Bob con medición fija (4 salidas)
• Estado Cuántico: En teoría compleja se utiliza estado máximamente entrelazado y mediciones específicas para alcanzar $6\sqrt{2}$

Datos Experimentales Existentes

El artículo analiza tres experimentos publicados:

1. Chen et al. (2022, PRL 128:040403): Valor de Bell 8.09(1) → requiere $D_{Sep}\geq 0.2$
2. Li et al. (2022, PRL 128:040402): Usando expresión de Bell diferente
3. Wu et al. (2022, PRL 129:140401): Valor de Bell 7.83(3) → requiere $D_{Sep}\geq 0.05$

Recursos Computacionales

• Software: MATLAB + YALMIP + Solucionador Mosek
• Hardware: Cluster de computación de alto rendimiento, 500GB RAM
• Tiempo de Ejecución: 5-6 días por cada valor de $\epsilon$
• Alternativa: Solucionador SCS puede ejecutarse en escritorio (1-2 horas), pero con precisión menor

Resultados Experimentales

Resultados Principales (Tabla I)

Hallazgos Clave:

1. Límite SDP Significativamente Superior al Límite Lineal: Por ejemplo, para $B=8.06$, SDP da $\epsilon_1=20\%$ vs límite lineal $\epsilon_2=2.4\%$
2. Verificación de Compacidad: Cuando $\epsilon_1=50\%$, $B=8.4953\approx 6\sqrt{2}$ (igual dentro de precisión numérica)
3. Implicaciones Experimentales:
   • Experimento de Chen (8.09): Teoría cuántica real requiere $D_{Sep}\geq 0.2$ de correlación de fuentes
   • Experimento de Wu (7.83): Requiere $D_{Sep}\geq 0.05$

Análisis de Caso Ideal

Resultados de Autotesting: Cuando se alcanza $B=6\sqrt{2}$, el estado reducido Alice-Charlie se autotesting a: $\bar{\varrho}_{AC} = \frac{1}{2}(\Phi^-+\Psi^+) = \frac{1}{4}\begin{pmatrix}1&0&0&-1\\0&1&1&0\\0&1&1&0\\-1&0&0&1\end{pmatrix}$

Medidas de Entrelazamiento (Apéndice A):

• $D_{Sep}(\bar{\varrho})=D_{Ind}(\bar{\varrho})=\frac{1}{2}$ (valor máximo)
• $E_F(\bar{\varrho})=1$ ebit (máximo entrelazamiento de dos rebits)
• Por autotesting, el estado de fuente $\varrho_{S_1S_2}$ debe satisfacer los mismos límites

Suficiencia (Proposición): Este estado es suficiente para simular cualquier experimento cuántico complejo en la red

Teorema de Simulación General

Teorema: Cualquier experimento cuántico complejo de m fuentes independientes puede simularse con teoría cuántica real si las fuentes comparten inicialmente: $\bar{\varrho}_S^{(m)} = \frac{1}{2}\left(\bigotimes_{i=1}^m|y^+\rangle\langle y^+|_{S_i} + \bigotimes_{i=1}^m|y^-\rangle\langle y^-|_{S_i}\right)$

Puntos Clave de la Prueba:

1. Este estado contiene 1 ebit de entrelazamiento de formación (a través de cualquier bipartición)
2. Simultáneamente es localmente transmisible: $\bar{\varrho}_S^{(m)}\xrightarrow{LO}\bar{\varrho}_{SL}^{(m+n)}$
3. Las mediciones no consumen entrelazamiento de marco de referencia
4. Para $m=2$, es exactamente el estado de autotesting

Trabajo Relacionado

Contexto Histórico

1. Stueckelberg (1960): Primera propuesta de teoría cuántica en espacio de Hilbert real
2. Wootters (1990), Caves et al. (2002): Investigación de accesibilidad local de estados cuánticos reales
3. McKague et al. (2009): Demostración de que teoría cuántica real puede simular teoría cuántica compleja (requiere entrelazamiento auxiliar)
4. Hardy & Wootters (2012): Integralidad finita y teoría cuántica en espacios vectoriales reales
5. Chiribella et al. (2010), Barnum et al. (2020): Investigación en marco de teoría de probabilidades

Avance en Escenarios de Red

• Renou et al. (2021, Nature): Primer descubrimiento experimental en escenario de red para distinguir ambas teorías
  • Clave: Suposición de independencia de fuentes excluye entrelazamiento compartido
  • Límites de valor de Bell: $B_R^{ub}=7.66 < B_C^{sup}=6\sqrt{2}$
  • Aleatoriedad compartida no puede rescatar teoría cuántica real

Relación de Este Artículo con Trabajos Previos

• Extensión del Trabajo de Renou: Relajación de independencia, análisis cuantitativo de independencia parcial
• Extensión del Trabajo de McKague: De experimento único a escenario de red, especificación de recurso mínimo
• Distinción de Trabajos Recientes:
  • Barrios et al. (2025, arXiv:2503.17307): Modificación de definición de estado para hacer que marco de referencia "parezca" independiente
  • Hoffreumon & Woods (2025, arXiv:2504.02808): Modificación de reglas de producto tensorial para incrustar teoría compleja
  • Posición de Este Artículo: Enfoque en distinción experimental de teoría Real vs Compleja, en lugar de reformulación

Conclusiones y Discusión

Conclusiones Principales

1. Independencia Parcial Suficiente: Sin necesidad de independencia completa de fuentes, la independencia parcial es suficiente para descartar teoría cuántica real
2. Compensación Cuantitativa: Establecimiento de relación precisa entre valor de Bell y correlación de fuentes requerida (Tabla I)
3. Recurso Mínimo: 1 ebit de entrelazamiento es necesario y suficiente (para escenario de dos fuentes)
4. Construcción Universal: Estado de m rebits entrelazados puede simular cualquier experimento de m fuentes
5. Significado Experimental: Resultados experimentales existentes implican límites inferiores cuantitativos de correlación de fuentes

Limitaciones

1. Complejidad Computacional: Jerarquía SDP requiere recursos computacionales enormes, limitando análisis de mayor precisión
2. Especificidad de Escenario: Resultados dirigidos a topología de red específica (dos fuentes tres partes), otros escenarios requieren análisis separado
3. Suposiciones Idealizadas:
   • Mediciones perfectas (sin ruido)
   • Espacio de Hilbert de dimensión finita
   • Teoría cuántica no relativista
4. Desafíos Experimentales:
   • Experimentos existentes no alcanzan libertad de brechas (loophole-free)
   • En implementación de chips, independencia de fuentes es difícil de garantizar
   • Valor de Bell aún tiene brecha respecto a máximo teórico

Direcciones Futuras

1. Otras Topologías de Red: Generalización a redes en estrella, cadena, etc.
2. Robustez ante Ruido: Análisis del impacto de ruido real en conclusiones
3. Algoritmos Más Eficientes: Reducción de complejidad de resolución SDP
4. Mejoras Experimentales:
   • Aumento de valor de Bell (actualmente 8.09 vs teórico 8.49)
   • Realización de experimento sin brechas
   • Mejor control de independencia de fuentes
5. Implicaciones Filosóficas: Exploración profunda de interpretación ontológica del "espacio de entrelazamiento"

Evaluación Profunda

Fortalezas

1. Rigor Teórico:
   • Marco matemático completo (teoría de recursos, SDP, autotesting)
   • Prueba bidireccional de necesidad y suficiencia
   • Verificación numérica de límites compactos
2. Innovación:
   • Primera cuantificación precisa de independencia parcial
   • Incorporación de restricción de distancia de traza en problema de momentos (dificultad técnica alta)
   • Revelación de propiedades únicas de teoría real (entrelazamiento ligado localmente transmisible)
3. Relevancia Experimental:
   • Asignación de nuevo significado a experimentos existentes
   • Guía para diseño de experimentos futuros
   • Criterios operacionales
4. Claridad de Escritura:
   • Antecedentes históricos detallados
   • Detalles técnicos completos (apéndices)
   • Comparación clara con trabajo relacionado

Insuficiencias

1. Cuello de Botella Computacional:
   • Requisito de 500GB de memoria limita accesibilidad
   • Solo cálculo hasta jerarquía de 2do orden (posiblemente no compacto)
   • Gran brecha entre límite lineal y SDP (indicando insuficiencia de límite lineal)
2. Especificidad de Escenario:
   • Resultados dependen de expresión de Bell específica
   • Topología de red fija
   • Generalización requiere verificación adicional
3. Brecha Experimental:
   • Valor de Bell experimental vs máximo teórico tiene brecha considerable
   • Verificación experimental de independencia de fuentes es difícil
   • Experimento sin brechas aún no realizado
4. Controversia Filosófica:
   • Estatus ontológico de interpretación de "espacio de entrelazamiento" no suficientemente discutido
   • Desacuerdo fundamental con trabajos de Barrios, Hoffreumon (problema de definición vs problema experimental)

Influencia

1. Contribución Teórica:
   • Profundización de comprensión del papel de números complejos en teoría cuántica
   • Establecimiento de marco cuantitativo de independencia parcial
   • Conexión de escenario de red con teoría de recursos
2. Guía Experimental:
   • Provisión de objetivos cuantitativos para diseño experimental
   • Cuantificación de requisitos de independencia de fuentes
   • Nueva perspectiva en interpretación de resultados experimentales
3. Metodología:
   • Técnica SDP+restricción de distancia de traza aplicable a otros problemas
   • Paradigma de combinación de autotesting+teoría de recursos
4. Reproducibilidad:
   • Código de código abierto (GitHub)
   • Descripción detallada de método
   • Pero requisitos computacionales altos

Escenarios Aplicables

1. Investigación de Fundamentos Cuánticos:
   • Verificación experimental de estructura matemática de teoría cuántica
   • Investigación de correlaciones cuánticas en escenario de red
   • Otros escenarios de necesidad de números complejos
2. Información Cuántica:
   • Diseño de redes cuánticas
   • Análisis de recursos de entrelazamiento
   • Protocolos independientes de dispositivo
3. Física Experimental:
   • Experimentos de red cuántica óptica
   • Redes de chips cuánticos superconductores
   • Redes de trampas de iones
4. Extensión Teórica:
   • Teoría cuántica sobre otros campos numéricos (cuaterniones, etc.)
   • Teoría de probabilidades generalizada
   • Estructuras de red en gravedad cuántica

Referencias

Citas Clave

1. Renou et al., Nature 600, 625 (2021): Propuesta original de escenario de red experimental
2. McKague et al., PRL 102, 020505 (2009): Fundamento de construcción de simulación real
3. Chen et al., PRL 128, 040403 (2022): Primera realización experimental
4. Caves et al., Found. Phys. Lett. 14, 199 (2001): Medidas de entrelazamiento real
5. Bancal et al., Quantum 5, 401 (2021): Autotesting con estadística finita

Literatura de Controversia Reciente

6. Barrios et al., arXiv:2503.17307 (2025): Teoría cuántica real con definición de estado modificada
7. Hoffreumon & Woods, arXiv:2504.02808 (2025): Teoría cuántica real con producto tensorial modificado

Evaluación General: Este es un artículo de alta calidad con importancia teórica y experimental significativa en el campo de fundamentos cuánticos. Mediante análisis matemático riguroso y técnica SDP innovadora, avanza el trabajo pionero de Renou et al. al nivel cuantitativo, proporcionando una imagen más detallada para comprender la indispensabilidad de números complejos en teoría cuántica. Aunque existen desafíos de complejidad computacional y experimental, el marco teórico y metodología establecidos tienen valor duradero para investigación de fundamentos cuánticos y experimentos de redes cuánticas. En contraste interesante con trabajos recientes de reformulación teórica (Barrios, Hoffreumon), destaca la sutileza de la cuestión definitoria "¿qué es teoría cuántica real?".