Resumen Técnico: Certificación de Propiedades Cuánticas con Mediciones Imperfectas

Planteamiento del Problema

La caracterización precisa de los sistemas cuánticos es un requisito fundamental para el avance de las tecnologías cuánticas. Una tarea crítica en este dominio es la certificación de los valores de funciones convexas de estados cuánticos, que incluyen cantidades esenciales como valores de esperanza de Hamiltonianos, fidelidades cuánticas, entropías e información de Fisher cuántica.

Los métodos existentes para estimar estas cantidades suelen depender de la tomografía de estado cuántico seguida de la aplicación de la función al estado reconstruido. Sin embargo, estos enfoques estándar suelen fallar al proporcionar una certificación rigurosa porque descuidan las imperfecciones realistas, específicamente el ruido de disparo (derivado de la estadística finita) y los errores de medición (desviaciones sistemáticas en el aparato de medición). Ignorar estos efectos puede conducir a incertidumbres elevadas, comprometiendo la robustez de las computaciones cuánticas o resultando en conclusiones incorrectas sobre los resultados experimentales. Si bien trabajos recientes han abordado el ruido de disparo definiendo regiones de confianza para los estados cuánticos, generalmente asumen que los dispositivos de medición están perfectamente caracterizados, por lo que no logran dar cuenta de los errores de calibración o las imperfecciones en el proceso de medición.

Metodología

Los autores proponen un método de certificación que tiene en cuenta conjuntamente tanto el ruido de disparo como las imperfecciones de la medición. El marco extiende el enfoque de región de confianza introducido en la Ref. [11] a escenarios donde los experimentadores tienen un control imperfecto sobre las mediciones.

Marco Central

El método define una región de confianza para el estado cuántico experimental $\omega$ mediante la delimitación de la distancia entre las probabilidades ideales y sus contrapartes experimentales estimadas. Esto se logra a través de dos componentes primarios:

1. Error Estadístico (Ruido de Disparo): La desviación entre la estimación empírica $\hat{f}$ y el vector de probabilidad verdadero $\vec{p}$ se acota utilizando la desigualdad de Bretagnolle–Huber–Carol. Para $N$ copias del estado y $m$ resultados de medición, la distancia $l_1$ está acotada por $\epsilon_1 = \sqrt{\frac{2}{N} \ln \frac{2m}{\delta}}$ con una probabilidad de $1-\delta$.

2. Error Sistemático (Imperfecciones de Medición): La discrepancia entre la Medida de Operadores Positivos (POVM) objetivo $\{E_k\}$ y la POVM $\{F_k\}$ implementada realmente se cuantifica mediante la distancia operacional $d_{op}(E, F)$. Esta distancia se define como la distancia $l_1$ máxima entre las distribuciones de probabilidad generadas por las dos POVM sobre todos los estados posibles. Los autores acotan esta distancia mediante $\epsilon_2$, de tal manera que $d_{op}(E, F) \leq \epsilon_2/2$.

El Protocolo de Certificación

Los límites certificados para una función convexa $F(\omega)$ se obtienen resolviendo un problema de optimización convexa. El objetivo es encontrar el mínimo (o máximo) de $F(\rho)$ sobre un conjunto de matrices de densidad $\rho$ que satisfagan las siguientes restricciones con una probabilidad de al menos $1-\delta$:

• $\text{tr}(\rho) = 1$ y $\rho \geq 0$.
• $\sum_{k=1}^m |\text{tr}(E_k \rho) - \hat{f}_k| \leq \epsilon_1 + \epsilon_2$.

Aquí, $\hat{f}_k$ representa la frecuencia experimental obtenida mediante la medición de la POVM imperfecta $\{F_k\}$. La suma de la restricción $\epsilon_1 + \epsilon_2$ se deriva mediante la desigualdad triangular, combinando el error estadístico y la distancia operacional entre las mediciones ideales y las reales.

Determinación del Límite de Distancia Operacional ($\epsilon_2$)

El artículo proporciona varias prescripciones explícitas para estimar $\epsilon_2$ dependiendo del conocimiento disponible del montaje experimental:

• Simulación Numérica: Si las fuentes de ruido están bien caracterizadas, $\epsilon_2$ puede estimarse mediante simulaciones numéricas utilizando la definición de distancia operacional o sus límites superiores.
• Descomposición de Producto Tensorial: Para sistemas de $n$ qubits donde las POVM se descomponen en productos tensoriales locales, la distancia operacional global puede acotarse mediante la suma de las distancias operacionales locales, simplificando los cálculos.
• Tomografía de Medición Cuántica: La POVM real puede reconstruirse a partir de estadísticas experimentales para acotar la distancia.
• Estimación Directa: Utilizando relaciones que involucran 2-diseños o asumiendo proyectores de rango uno para la POVM ideal, $\epsilon_2$ puede acotarse estimando experimentalmente cantidades específicas de tipo fidelidad.

Una característica clave de este método es que no requiere que las mediciones sean informacionalmente completas (IC). Esto reduce significativamente la carga experimental, ya que las POVM informacionalmente completas requieren típicamente un número exponencial de configuraciones.

Resultados Clave y Aplicaciones

Los autores validan el método a través de tres ejemplos numéricos, demostrando su necesidad para evitar conclusiones erróneas:

1. Fidelidad de Preparación Mínima: El método se aplicó para certificar la fidelidad de 100 estados de dos qubits aleatorios de Haar bajo diversos modelos de ruido (amortiguamiento de amplitud, amortiguamiento de fase, depolarización y desplazamientos de rotación). Los resultados muestran que el método proporciona límites inferiores no triviales para la fidelidad, donde la estrechez de los límites depende de la intensidad del ruido y del número de disparos (shots).

2. Magnetización en Sistemas de Espín: En un estudio de un sistema ferromagnético, los autores mostraron que ignorar las imperfecciones de medición (específicamente una rotación en la base de medición) conduce a la conclusión falsa de que el sistema no está totalmente magnetizado. Mientras que el método que tiene en cuenta el ruido identificó correctamente la magnetización como 1, el método que ignora los errores sistemáticos sugirió que la magnetización era significativamente menor o incluso negativa, dependiendo del ángulo de rotación y el número de disparos.

3. Testigo de Entrelazamiento: El protocolo fue probado en un testigo de entrelazamiento de dos qubits. Los resultados demostraron que ignorar los errores sistemáticos puede llevar a la certificación falsa de entrelazamiento para estados separables. Por el contrario, el método propuesto identificó correctamente el estado como separable, mientras que también certificó con éxito el entrelazamiento para estados máximamente entrelazados. Además, los autores señalaron que los métodos que ignoran las imperfecciones a menudo se vuelven inviables (no existe solución) cuando el ruido o el ruido de disparo son grandes, mientras que su método sigue siendo válido y produce límites certificados en todos los regímenes.

Significado y Reivindicaciones

El artículo afirma proporcionar un marco de certificación versátil y robusto para experimentos cuánticos que integra errores estadísticos y sistemáticos. Su importancia radica en varias contribuciones específicas:

• Generalización de las Regiones de Confianza: Extiende los marcos de regiones de confianza existentes para incluir situaciones donde el control de la medición es imperfecto, un escenario común en experimentos cuánticos de era cercana (near-term).
• Robustez contra Conclusiones Falsas: Al modelar explícitamente las imperfecciones de la medición, el método evita conclusiones erróneas (por ejemplo, falso entrelazamiento o valores de magnetización incorrectos) que surgen cuando se ignoran los errores sistemáticos.
• Eficiencia Experimental: El método no requiere mediciones informacionalmente completas, lo que permite a los experimentadores elegir conjuntos de medición más simples basados en las restricciones específicas de su configuración.
• Tractabilidad Computacional: Para funciones convexas o cóncavas, el problema de optimización resultante es convexo y puede resolverse eficientemente mediante métodos de punto interior.
• Aplicabilidad: Aunque se demostró en fidelidades, magnetización y entrelazamiento, el marco es aplicable a una amplia clase de cantidades convexas, incluyendo energías, entropías e información de Fisher cuántica.

Los autores concluyen que este enfoque ofrece una vía práctica para obtener garantías rigurosas en entornos realistas donde los dispositivos son ruidosos y la calibración es limitada, lo cual es esencial para el desarrollo fiable de las tecnologías cuánticas.