Título: “Resource Quantification for the NoProgramming Theorem”
Autores: Aleksander M. Kubicki (Universidad de Valencia), Carlos Palazuelos (ICMATUCM) y David PérezGarcía (ICMAT-UCM).
Fuente: Physical Review Letters, 122, 080505 (2019)
American Physical Society
Fecha de publicación: 28 de Febrero de 2019
Link: https://arxiv.org/abs/1805.00756
Los teoremas de imposibilidad son centrales para entender las particularidades y los límites de la teoría cuántica de la información. Uno de estos teoremas es el conocido como teorema de no programación, descubierto por M. A. Nielsen and I. L. Chaung hace ya dos décadas. El teorema de no programación prohíbe la existencia de un procesador cuántico universal programable, una máquina hipotética capaz de simular cualquier operación cuántica a partir de una descripción de la misma codificada en un estado cuántico. Este resultado tiene implicaciones en computación cuántica, pero también en otras tareas del procesado cuántico de la información, como la teleportación cuántica o la computación ofuscada. Aunque un procesador cuántico universal programable no es implementable, es posible obtenerlo de forma aproximada. Sin embargo, los requerimientos mínimos necesarios para ello están lejos de ser entendidos. Motivados por ello, los autores de este trabajo investigan versiones cuantitativas del teorema de no programación, delimitando así los recursos necesarios para construir un procesador cuántico universal programable aproximado. La demostración explota una conexión nueva entre canales cuánticos e inclusiones entre espacios de Banach que les permite utilizar herramientas clásicas de la teoría geométrica de los espacios de Banach.
