Demuestra que los pares EPR compartidos logarítmicos mantienen la potencia computacional de QMA(2), resolviendo parte de la pregunta abierta de Aaronson et al. sobre el entrelazamiento de demostradores cuánticos.

Demuestra que los pares EPR compartidos logarítmicos mantienen la potencia computacional de QMA(2), resolviendo parte de la pregunta abierta de Aaronson et al. sobre el entrelazamiento de demostradores cuánticos.
Los primeros límites inferiores cuánticos no triviales para enumeración de triángulos (Ω(n^3/2)) y construcción de k-spanners multiplicativos mediante extensiones novedosas del marco de registro con arquitectura de oráculo bidireccional.
Nuevo marco teórico logra separaciones exponenciales más fuertes entre la complejidad de comunicación cuántica y clásica de funciones totales, mejorando del exponente n^(1/6) a n^(1/2) con mensajes cuánticos polilogarítmicos.