Instrument-based quantum resources: quantification, hierarchies and towards constructing resource theories

Resumen Técnico: Recursos Cuánticos Basados en Instrumentos: Cuantificación, Jerarquías y Hacia la Construcción de Teorías de Recursos

Planteamiento del Problema
Las teorías de recursos cuánticos (QRT, por sus siglas en inglés) proporcionan un marco riguroso para cuantificar las características cuánticas que ofrecen ventajas sobre las teorías clásicas en tareas informático-teóricas y termodinámicas. Si bien existe una extensa investigación para los recursos basados en estados (p. ej., entrelazamiento, coherencia) y recursos basados en mediciones (p. ej., incompatibilidad de mediciones), las teorías de recursos basadas en instrumentos permanecen en gran medida inexploradas. Los instrumentos cuánticos son dispositivos fundamentales que producen tanto resultados de medición clásicos como estados cuánticos post-medición, lo que los hace esenciales para escenarios secuenciales y multipartitos (p. ej., redes cuánticas). El artículo aborda la falta de un marco exhaustivo para cuantificar y caracterizar los recursos inherentes a los instrumentos cuánticos.

Metodología
Los autores emplean un marco de teoría de recursos definido por conjuntos de "objetos libres" (instrumentos que carecen del recurso específico) y "transformaciones libres" (operaciones que mapean objetos libres a objetos libres). La metodología central consiste en:

1. Medidas de Distancia: El artículo define una métrica de distancia para los instrumentos cuánticos basada en la norma diamante ($D^\diamond$). Un instrumento $I = \{\Phi_a\}$ se asocia con un canal cuántico $\hat{\Gamma}_I$ que actúa sobre un espacio de Hilbert extendido. La distancia entre dos instrumentos se define como la distancia diamante de sus canales asociados. Se demuestra que esta distancia es contractiva bajo el post-procesamiento y los supercanales.
2. Medidas de Recurso: Se construyen dos medidas de recurso primarias:
   • Robustez ($R$): La cantidad mínima de ruido (instrumentos libres) necesaria para mezclarse con un instrumento de recurso y convertirlo en libre.
   • Peso ($W$): El peso mínimo de un instrumento de recurso necesario para descomponer un determinado instrumento en una mezcla de instrumentos libres.
   • Medidas Extendidas: Los autores definen variantes ($\mathcal{R}$ y $\mathcal{W}$) que consideran la medida de recurso sobre espacios de Hilbert extendidos (tensorizando con un ancilla), demostrando que estas satisfacen la monotonicidad bajo transformaciones libres.
3. Marco Computacional: Los autores formulan el cálculo de estas medidas de recurso basadas en la distancia como problemas de Programación Semidefinida (SDP), asegurando que sean computables de manera eficiente.
4. Interpretación Operacional: El artículo establece un vínculo entre la medida de recurso y la ventaja obtenida en una tarea informático-teórica específica (discriminación de estados/juego de adivinación), mostrando que la medida de recurso proporciona un límite inferior sobre la ventaja de rendimiento respecto al mejor instrumento libre.

Contribuciones Clave y Resultados
El artículo construye y analiza cinco teorías de recursos de instrumentos específicas, definiendo sus objetos libres, transformaciones libres y jerarquías:

1. Preservabilidad de Información:

   • Objetos Libres: Instrumentos de tipo "descarte y preparación" (instrumentos que descartan la información de entrada y producen un estado fijo).
   • Resultado: Se construye una teoría de recursos donde la capacidad de preservar la información es el recurso. Se demuestra que la medida de distancia es monotónica bajo transformaciones libres específicas.

2. Preservabilidad de Entrelazamiento:

   • Preservabilidad Fuerte de Entrelazamiento: Los objetos libres son instrumentos que rompen el entrelazamiento (donde cada canal de resultado rompe el entrelazamiento).
   • Preservabilidad de Entrelazamiento (Débil): Los objetos libres son instrumentos de ruptura de entrelazamiento débil (don donde el canal total rompe el entrelazamiento, pero los resultados individuales pueden no hacerlo).
   • Resultado: El artículo demuestra que los instrumentos que rompen el entrelazamiento forman un subconjunto estricto de los instrumentos de ruptura de entrelazamiento débil para qubits. Se construyen teorías de recursos para ambas variantes y se demuestra la validez de sus medidas.

3. Preservabilidad de Incompatibilidad:

   • Preservabilidad Fuerte de Incompatibilidad: Los objetos libres son instrumentos que rompen la incompatibilidad (donde el instrumento vuelve compatibles cualquier conjunto de mediciones de entrada).
   • Preservabilidad de Incompatibilidad (Débil): Los objetos libres son instrumentos de ruptura de incompatibilidad débil (donde el canal total rompe la incompatibilidad).
   • Resultado: De manera similar al entrelazamiento, el artículo demuestra una jerarquía estricta donde los instrumentos que rompen la incompatibilidad son un subconjunto de los instrumentos de ruptura de incompatibilidad débil. Se construyen teorías de recursos para ambos casos.

4. Incompatibilidad Tradicional:

   • Objetos Libres: Conjuntos de instrumentos tradicionalmente compatibles (instrumentos que comparten un instrumento conjunto que recupera los resultados mediante post-procesamiento clásico).
   • Resultado: Basándose en la Ref. [21], los autores confirman la monotonicidad de la distancia diamante bajo supermapas de Dispositivos de Instrumento Programable (PID) libres.

5. Incompatibilidad Paralela:

   • Objetos Libres: Conjuntos de instrumentos paralelamente compatibles (instrumentos que comparten un instrumento conjunto donde los resultados se recuperan mediante la traza parcial en un espacio tensorial).
   • Resultado: El artículo construye una teoría de recursos para la incompatibilidad paralela, definiendo transformaciones libres y demostrando la monotonicidad de la medida de distancia.

Jerarquías y Relaciones
El artículo establece una jerarquía entre los conjuntos de objetos libres, lo que implica directamente una jerarquía entre las medidas de recurso. Específicamente:

• Descarte-y-preparación $\subset$ Ruptura de entrelazamiento $\subset$ Ruptura de entrelazamiento débil $\subset$ Ruptura de incompatibilidad débil.
• Descarte-y-preparación $\subset$ Ruptura de entrelazamiento $\subset$ Ruptura de incompatibilidad $\subset$ Ruptura de incompatibilidad débil.
• Consecuentemente, las medidas de recurso satisfacen desigualdades tales como $R_{IP} \geq R_{EP} \geq R_{SEP} \geq R_{SMIP}$, donde $IP$ denota Preservabilidad de Información, $EP$ Preservabilidad de Entrelazamiento, $SEP$ Preservabilidad Fuerte de Entrelazamiento y $SMIP$ Preservabilidad Fuerte de Incompatibilidad.

Significancia
El artículo afirma proporcionar la primera caracterización detallada de recursos basados en instrumentos para una amplia variedad de recursos cuánticos. Su importancia radica en:

• Unificación: Ofrece un marco unificado para cuantificar recursos en instrumentos cuánticos, cerrando la brecha entre las teorías basadas en estados y las basadas en mediciones.
• Relevancia Operacional: Al vincular las medidas de recurso con las ventajas en tareas informático-teóricas (específicamente juegos de adivinación), el trabajo fundamenta estas medidas abstractas en la utilidad operacional.
• Viabilidad Computacional: La formulación de SDP permite la evaluación numérica práctica de estos recursos.
• Perspectiva Fundamental: El artículo clarifica las distinciones y jerarquías entre las variantes "fuertes" y "débiles" de los recursos (p. ej., ruptura de entrelazamiento e incompatibilidad), revelando que el post-procesamiento puede alterar la naturaleza "débil" de estos recursos.

Los autores concluyen que este trabajo abre vías para investigaciones futuras, incluyendo la conversión de recursos en regímenes de un solo disparo (one-shot) y asintóticos, la catálisis y el estudio de las "capas de classicalidad" dentro de la compatibilidad de instrumentos.