Una construcción que realiza un canal cuántico como resultado de una evolución unitaria sobre el sistema más un entorno auxiliar inicializado en un estado puro fijo, seguido de desechar el entorno: Λ(ρ)=Tr_E[U(ρ⊗|0⟩⟨0|_E)U†]. Es una implementación concreta de la Dilatación de Stinespring donde la isometría se extiende a una unidadaria en un espacio de Hilbert mayor.

Principio

Expresar dinámicas irreversibles o ruidosas del sistema como dinámicas unitarias reversibles en un sistema ampliado introduciendo un ancilla preparado en un estado conocido; las implementaciones físicas se obtienen diseñando U y la inicialización del ancilla.

Demostración

El canal de amortiguamiento de amplitud admite una dilatación unitaria U que actúa en sistema⊗ancilla donde el ancilla se inicializa en |0〉; U entrelaza sistema y ancilla como en la descripción isométrica y trazando el ancilla se recupera el canal de amortiguamiento. Esto proporciona una implementación a nivel de circuito usando puertas que realizan U.

Aplicación incorrecta

Suponer que una dilatación unitaria puede implementarse sin añadir un ancilla o ignorar restricciones de recursos (dimensión y pureza del ancilla), o confundir dilatación unitaria con una unidadaria que actúa solo sobre el sistema.

Consecuencia

Proporciona circuitos físicos explícitos y estrategias de control para implementar canales, aclara la reversibilidad en sistema+entorno y respalda construcciones de corrección de errores y la simulación de dinámicas de sistemas abiertos.

Inversión

La visión inversa trata el mapa no unitario como fundamental y no necesariamente implementable por una unidadaria controlable con un ancilla puro; esto pone de relieve limitaciones operativas cuando el entorno no puede prepararse o controlarse.

Límite

Requiere acceso a un ancilla/entorno y la capacidad de implementar la unidadaria conjunta; en sistemas de dimensión infinita surgen cuestiones técnicas sobre dominios y restricciones energéticas. Los canales modelados sin un ancilla controlable quedan fuera del alcance constructivo de la dilatación unitaria.

Tensión semántica

Tensión con la isometría mínima de Stinespring (isometría frente a extensión unitaria completa) y con enfoques que representan canales de forma abstracta (sumas de Kraus) en lugar de por unitarias explícitas; las restricciones prácticas (pureza, tamaño del ancilla) también generan tensión con la idealización matemática.

Síntesis

La Dilatación Unitaria implementa un canal cuántico embebiendo el sistema en una evolución unitaria reversible más amplia con un ancilla preparado y trazando el entorno: convierte aplicaciones CP abstractas en circuitos unitarios explícitos sujetos a recursos de ancilla y control.