A Minimum-Cardinality Genuinely Unextendible Product Basis in Three Qutrits

Resumen Técnico: Una Base de Productos Genuinamente Inextendible de Cardinalidad Mínima en Tres Qutrits

Planteamiento del Problema
El artículo aborda una pregunta abierta de larga data en la teoría de la información cuántica: la existencia de una Base de Productos Genuinamente Inextendible (GUPB, por sus siglas en inglés). Mientras que las Bases de Productos Inextendibles (UPB)—conjuntos de estados producto ortogonales cuyo complemento ortogonal no contiene ningún estado producto—están bien establecidas, una GUPB es un concepto más estricto. Una GUPB se define como un conjunto de estados producto ortogonales cuyo complemento ortogonal no contiene ningún estado biproducto (un estado que es un estado producto a través de cualquier bipartición del sistema). Equivalentemente, una GUPB debe ser una UPB en cada una de las posibles biparticiones del sistema.

Antes de este trabajo, la existencia de GUPBs ortogonales no estaba resuelta. Aunque existían cotas inferiores generales sobre su cardinalidad, y se sabía que una GUPB no puede existir si cualquier subsistema local tiene dimensión 2 (haciendo del espacio de tres qutrits, $(\mathbb{C}^3)^{\otimes 3}$, el candidato más pequeño), no se había encontrado una construcción explícita. Además, aunque recientemente se excluyó una cardinalidad de 13 para las GUPBs de tres qutrits, la cardinalidad mínima posible permanecía indeterminada.

Metodología
Los autores emplean un enfoque de teoría de grafos combinado con una búsqueda asistida por computadora y verificación algebraica exacta:

1. Formulación mediante Teoría de Grafos: El problema se mapea a la búsqueda de tres grafos ($G_A, G_B, G_C$) sobre $n$ vértices (que representan los estados producto) tales que su unión sea el grafo completo $K_n$. Existe una arista en $G_X$ entre los vértices $i$ y $j$ si los vectores locales para la parte $X$ son ortogonales. La condición de que los estados producto sean mutuamente ortogonales requiere que para cada par de estados distintos, al menos un producto interno local sea nulo, lo que significa que la unión de los tres grafos debe cubrir todas las aristas de $K_n$.
2. Búsqueda Asistida por Computadora: Los autores buscaron triples de grafos en 14 vértices cuya unión sea $K_{14}$ y que admitan representaciones ortogonales fieles compatibles en $\mathbb{C}^3$. Para reducir el espacio de búsqueda, impusieron la simetría $G_A \cong G_B$.
3. Verificación Exacta: Una vez identificada una construcción candidata, los autores realizaron cálculos exactos (utilizando aritmética de enteros para evitar errores numéricos) para verificar:
   • Ortogonalidad Mutua: Confirmando que la unión de los grafos de ortogonalidad es efectivamente $K_{14}$.
   • Inextendibilidad Genuina: Utilizando un criterio basado en el rango (Lema 1), verificaron que para cada bipartición ($A|BC$, $B|AC$, $C|AB$), el conjunto de estados forma una UPB bipartita. Esto implicó comprobar que para cualquier subconjunto de estados $J$, si los vectores locales en un lado no generan el espacio local completo, los vectores en el lado complementario deben generar el espacio completo de las partes restantes. Esto requirió comprobar los rangos de las submatrices derivadas de los vectores locales.
4. Extensión mediante Relleno (Padding): Para generalizar el resultado a dimensiones locales arbitrarias $d_A, d_B, d_C \geq 3$, los autores utilizaron un procedimiento de "relleno". Embebieron la GUPB de 14 estados de tres qutrits en el subespacio generado por $\{|0\rangle, |1\rangle, |2\rangle\}$ del espacio de Hilbert más grande y llenaron el complemento ortogonal restante con estados de la base computacional que involucran índices $\geq 3$.

Contribuciones Clave y Resultados

• Prueba de Existencia: El artículo construye una GUPB explícita en el espacio de tres qutrits $(\mathbb{C}^3)^{\otimes 3}$ que consta de 14 estados producto. Esto resuelve la pregunta abierta de si existen las GUPBs.
• Cardinalidad Mínima: Combinando su construcción con resultados previos que excluyen la cardinalidad 13, los autores demuestran que 14 es la cardinalidad mínima para una GUPB de tres qutrits.
• Construcción Explícita: El artículo proporciona los vectores locales reales no normalizados para los 14 estados en la Tabla I y los correspondientes grafos de ortogonalidad en la Figura 1.
• Generalización: La construcción se extiende a cualquier sistema tripartito $\mathbb{C}^{d_A} \otimes \mathbb{C}^{d_B} \otimes \mathbb{C}^{d_C}$ donde $3 \leq d_A \leq d_B \leq d_C$, produciendo una GUPB de cardinalidad $d_A d_B d_C - 13$.
• Aplicaciones:
  • Entrelazamiento Límite (Bound Entanglement): Se muestra que el proyector normalizado sobre el complemento ortogonal de 13 dimensiones de la GUPB construida es Positivo bajo Transposición Parcial (PPT) y está entrelazado en cada bipartición. En consecuencia, representa un estado de entrelazamiento límite que es genuinamente entrelazado.
  • No Localidad Cuántica Fuerte: Se demuestra que la GUPB construida exhibe una no localidad cuántica fuerte sin entrelazamiento. Esto significa que el conjunto de estados es localmente irreducible a través de cada bipartición; ninguna parte (o par de partes) puede realizar una medición local no trivial que preserve la ortogonalidad para eliminar cualquier estado del conjunto. Esto se verifica mostrando que el espacio de operadores generado por las transiciones locales relevantes tiene la dimensión máxima posible ($d^2-1$).

Significancia
El artículo afirma resolver un problema fundamental abierto en la teoría de la no localidad cuántica y el entrelazamiento al demostrar la existencia de las GUPBs. Al establecer la cardinalidad mínima en el sistema de tres qutrits más pequeño posible, establece un punto de referencia preciso para la complejidad de tales estructuras. El trabajo además proporciona un recurso concreto para generar estados de entrelazamiento límite que son PPT a través de todos los cortes y para estudiar la no localidad fuerte, un fenómeno donde las correlaciones cuánticas impiden la discriminación local de estados incluso sin entrelazamiento. Los autores señalan que, si bien existe un trabajo independiente concurrente que construye GUPBs a partir de códigos MDS, su trabajo es distinto al proporcionar la instancia de cardinalidad mínima en el sistema más pequeño de tres partes.