¿Hay alguna conexión entre la norma del diamante y la distancia de los estados asociados?

En la teoría de la información cuántica, la distancia entre dos canales cuánticos a menudo se mide utilizando la norma del diamante. También hay varias formas de medir la distancia entre dos estados cuánticos, como la distancia de rastreo, la fidelidad, etc. El isomorfismo de Jamiołkowski proporciona una dualidad entre canales cuánticos y estados cuánticos.

Esto es interesante, al menos para mí, porque la norma del diamante es notoriamente difícil de calcular, y el isomorfismo de Jamiołkowski parece implicar cierta correlación entre las medidas de distancia de los canales cuánticos y los estados cuánticos. Entonces, mi pregunta es la siguiente: ¿Existe alguna relación conocida entre la distancia en la norma del diamante y la distancia entre los estados asociados (en alguna medida)?

Para un canal cuántico , escribamos para denotar el estado asociado: Aquí estamos asumiendo que el canal asigna (es decir, matrices complejas) a para cualquier elección de enteros positivos y desee. La matriz veces se denomina matriz Choi o representación Choi-Jamiolkowski de , pero es más frecuente que esos términos se usen cuando se omite la normalización .J ( Φ ) J ( Φ ) = $\Phi$$J(\Phi)$Mn(C)n×nMm(C)nmJ(Φ)Φ

$$J(\Phi) = \frac{1}{n} \sum_{1\leq i,j \leq n} \Phi(|i \rangle \langle j|) \otimes |i \rangle \langle j|.$$ $M_n(\mathbb{C})$$n\times n$$M_m(\mathbb{C})$$n$$m$$J(\Phi)$$\Phi$$\frac{1}{n}$

Ahora, supongamos que y son canales cuánticos. Podemos definir la "distancia de la norma del diamante" entre ellos como donde denota el canal de identidad de a sí mismo, denota la norma de rastreo, y el supremum se toma sobre todas las y todas las matrices de densidad elegidas entre . El supremum siempre se logra para alguna elección deΦ 1 ‖ Φ 0 - Φ 1 ‖ ◊ = sup $\Phi_0$$\Phi_1$Id k M k ( C ) ‖ ⋅ ‖ 1 k ≥ 1 ρ M n k ( C ) = M n ( C ) ⊗ M k ( C ) k ≤ n

$$\| \Phi_0 - \Phi_1 \|_{\Diamond} = \sup_{\rho} \: \| (\Phi_0 \otimes \operatorname{Id}_k)(\rho) - (\Phi_1 \otimes \operatorname{Id}_k)(\rho) \|_1$$ $\operatorname{Id}_k$$M_k(\mathbb{C})$$\| \cdot \|_1$$k \geq 1$$\rho$$M_{nk}(\mathbb{C}) = M_n(\mathbb{C}) \otimes M_{k}(\mathbb{C})$$k\leq n$ algunas matrices de densidad de rango 1 .$\rho$

(Tenga en cuenta que la definición anterior no funciona para asignaciones arbitrarias, solo aquellas de la forma para mapas completamente positivos y . Para asignaciones generales, el supremum se toma sobre todas las matrices con la norma de rastreo 1, en lugar de solo matrices de densidad).Φ 0 Φ $\Phi = \Phi_0 - \Phi_1$$\Phi_0$$\Phi_1$

Si no tiene suposiciones adicionales en los canales, no puede decir demasiado sobre cómo se relacionan estas normas, aparte de estos límites generales: Para la segunda desigualdad, uno se está conformando esencialmente con la opción específica en lugar de tomar el supremum sobre todoρ=

$$\frac{1}{n} \| \Phi_0 - \Phi_1 \|_{\Diamond} \leq \| J(\Phi_0) - J(\Phi_1) \|_1 \leq \| \Phi_0 - \Phi_1 \|_{\Diamond}.$$ $$\rho = \frac{1}{n} \sum_{1\leq i,j \leq n} |i \rangle \langle j| \otimes |i \rangle \langle j|$$ $\rho$. La primera desigualdad es mucho más difícil, pero sería una pregunta de asignación razonable para un curso de posgrado sobre información cuántica. (En este punto, debería agradecerle su pregunta, porque tengo la intención de utilizarla en la oferta de otoño de mi curso de teoría de la información cuántica).

Puede lograr cualquier desigualdad para una elección adecuada de canales y , incluso bajo el supuesto adicional de que los canales son perfectamente distinguibles (es decir, ).$\Phi_0$$\Phi_1$$\| \Phi_0 - \Phi_1 \|_{\Diamond} = 2$

También es posible que desee analizar las medidas de distancia para comparar procesos cuánticos reales e ideales arXiv: quant-ph / 0408063, que ofrece una visión general de las medidas de distancia para canales cuánticos y sus relaciones.

Usan el término distancia S para la distancia del diamante y distancia J para la distancia de rastreo de los operadores Jamiołkowski asociados a los canales.

Me gusta pensar en la primera desigualdad que escribió Watrous en términos de teletransportación de canal probabilístico. Si interpreta la norma del diamante como una medida de la menor probabilidad de error al discriminar los canales y , y la norma de rastreo como el equivalente para sus estados de Jamiolkowski, siempre puede implementar la estrategia óptima para los canales desde sus estados correspondientes con probabilidad de éxito. Poner esto rigurosamente puede ser una forma de probar la desigualdad.$\Phi_0$$\Phi_1$$\frac{1}n$

Además, esta forma de pensar muestra que si los canales pueden teletransportarse de manera determinista (como los canales de Pauli), entonces su norma de diamante es igual a la distancia de rastreo de Jamiolkowski.