Imaginarity measures induced by real part states and the complementarity relations

Resumen Técnico: Medidas de Imaginaridad Inducidas por Estados de Parte Real y Relaciones de Complementariedad

Planteamiento del Problema
Los números complejos son fundamentales para la mecánica cuántica, sin embargo, la teoría de recursos de la "imaginaridad"—que cuantifica los componentes imaginarios no nulos de la matriz de densidad de un estado cuántico—ha sido formulada recientemente. Aunque existen diversas medidas de imaginaridad (p. ej., norma de traza, entropía relativa, geométrica), estas suelen definirse mediante problemas de optimización o métricas de distancia específicas. Una cuestión central abordada en este trabajo es si el "estado de la parte real", definido como $\text{Re}(\rho) = \frac{1}{2}(\rho + \rho^*)$, puede servir como fundamento general para construir medidas de imaginaridad. Específicamente, los autores investigan si la distancia entre un estado $\rho$ y su parte real $\text{Re}(\rho)$ constituye una medida de recurso válida y exploran las restricciones físicas (complementariedad) que la imaginaridad enfrenta a través de bases mutuamente no sesgadas (MUBs).

Metodología
El artículo propone un marco general para la construcción de medidas de imaginaridad basadas en la distancia entre un estado cuántico $\rho$ y su estado de parte real $\text{Re}(\rho)$.

1. Construcción General: Los autores definen una función $D(\rho, \sigma)$ que satisface no negatividad, contractividad bajo mapas completamente positivos preservadores de traza (CPTP) y aditividad bajo sumas directas. Demuestran que $M(\rho) = D(\rho, \text{Re}(\rho))$ cumple con los cinco axiomas de una medida de imaginaridad (Fidelidad, Monotonía, Monotonía Probabilística, Convexidad y Aditividad).
2. Propuesta de una Medida Específica: Al seleccionar la función $D(\rho, \sigma) = 1 - F(\rho, \sigma)$, donde $F$ es la fidelidad, los autores introducen una nueva medida:
   $$M_{\text{Re}}(\rho) = 1 - F(\rho, \text{Re}(\rho))$$
3. Derivación Analítica: El artículo deriva la expresión analítica de forma cerrada para sistemas de qubits utilizando la representación del vector de Bloch.
4. Análisis Comparativo: La nueva medida se compara con medidas existentes (geométrica, entropía relativa de Tsallis, norma de traza) para establecer desigualdades y relaciones.
5. Análisis de Complementariedad: El estudio investiga la suma de las medidas de imaginaridad bajo conjuntos completos de MUBs en sistemas de baja dimensión (qubits y qutrits) para determinar las restricciones físicas sobre la distribución de la imaginaridad.

Contribuciones Clave y Resultados

• Método de Construcción General: El Teorema 1 establece que cualquier función de distancia $D$ que satisfaga condiciones físicas específicas (no negatividad, contractividad, aditividad) genera una medida de imaginaridad válida cuando se aplica al par $(\rho, \text{Re}(\rho))$. Esto unifica las medidas existentes, como la norma de traza, la entropía relativa y la entropía relativa de Tsallis, como instancias específicas de este marco.
• Nueva Medida Basada en la Fidelidad ($M_{\text{Re}}$): Los autores proponen $M_{\text{Re}}$ y demuestran que es una medida bien definida. Sus propiedades clave incluyen:
  • Límites: $0 \leq M_{\text{Re}}(\rho) \leq 1 - \frac{\sqrt{2}}{2}$. El límite superior se alcanza con el estado máximamente imaginario $|+i\rangle = \frac{|0\rangle + i|1\rangle}{\sqrt{2}}$.
  • Estados Puros: Para estados puros $|\psi\rangle$, $M_{\text{Re}}(|\psi\rangle) = 1 - \frac{1}{\sqrt{2}}\sqrt{1 + |\langle\psi|\psi^*\rangle|^2}$.
  • Fórmula Analítica para Qubits: Se deriva una fórmula explícita para estados de qubit $\rho = \frac{1}{2}(I + \mathbf{r} \cdot \boldsymbol{\sigma})$, mostrando que la imaginaridad aumenta con la componente $y$ del vector de Bloch ($r_y$).
• Relaciones con Otras Medidas:
  • Imaginaridad Geométrica ($M_g$): El artículo establece la desigualdad $M_{\text{Re}}(\rho) \leq M_g(\rho) \leq 1 - [1 - M_{\text{Re}}(\rho)]^2$. La igualdad se cumple si y solo si $\rho$ es un estado real o el estado real óptimo para $M_g$ coincide con $\text{Re}(\rho)$.
  • Estado Real Óptimo: Los autores determinan que para la imaginaridad geométrica en sistemas de qubits, el estado real óptimo generalmente no es $\text{Re}(\rho)$, excepto en casos específicos (p. ej., cuando $r_x=r_z=0$ o $r_y=0$).
  • Norma de Traza y Pureza: Se deriva un límite que relaciona $M_{\text{Re}}$, la imaginaridad de la norma de traza ($M_{\text{tr}}$) y la pureza $P(\rho)$: $[1 - M_{\text{Re}}(\rho)]^2 + M_{\text{tr}}(\rho)^2 \geq P(\rho)$.
• Relaciones de Complementariedad:
  • Qubits: Para cualquier estado de qubit, las medidas de imaginaridad bajo las tres bases propias de Pauli ($B_1, B_2, B_3$) satisfacen una relación de complementariedad acotada por la longitud del vector de Bloch $|\mathbf{r}|$. Para estados puros, esta relación se convierte en una igualdad.
  • Qutrits: Para qutrits, se establece una relación de complementariedad para un conjunto completo de cuatro MUBs, mostrando que la suma de las desviaciones al cuadrado de la unidad está constreñida por la pureza del estado: $\sum_{k=1}^4 (1 - M_{\text{Re}}^{Z_k})^2 > \frac{31}{14}P(\rho)$.

Significancia y Reivindicaciones
El artículo afirma resaltar el "papel prominente" del estado de la parte real $\text{Re}(\rho)$ en la teoría de recursos de la imaginaridad, demostrando que este esencialmente caracteriza el recurso. Al proporcionar un método para construir medidas sin optimización (a diferencia de la definición inicial de la medida geométrica), el trabajo ofrece un enfoque computacionalmente más conveniente.

Además, las relaciones de complementariedad derivadas revelan una restricción física: la cantidad de imaginaridad que posee un estado cuántico no puede ser simultáneamente grande a través de un conjunto completo de bases mutuamente no sesgadas. Esta dependencia de la base de medición subraya la naturaleza intrínseca de la imaginaridad como un recurso cuántico. El trabajo concluye que estos hallazgos profundizan la interpretación de los estados de la parte real en la caracterización de estados cuánticos y elucidan las restricciones que enfrenta la imaginaridad en sistemas de baja dimensión.