Prueba de una desigualdad de información de Holevo

9

Supongamos que tengo un canal cuántico clásico-clásico W:X×YD(H) , donde X,Y son conjuntos finitos y D(H) es el conjunto de matrices de densidad en un espacio complejo de Hilbert H dimensión finita .

Supongamos que px es la distribución uniforme en X y py es la distribución uniforme en Y . Además, defina para las distribuciones p1 en X y p2 en Y , la información de Holevo

χ(p1,p2,W):=H(x,yp1(x)p2(y)W(x,y))x,yp1(x)p2(y)H(W(x,y))

donde H es la entropía de von Neumann.

Me gustaría mostrar, para

p1:=supp{χ(p,py,W)},p2:=supp{χ(px,p,W)}
que,
χ(p1,p2,W)χ(p1,py,W) and χ(p1,p2,W)χ(px,p2,W).

Hasta ahora, todavía no estoy convencido de que la afirmación sea cierta en primer lugar. No he avanzado mucho en probar esto, pero parece que algún tipo de desigualdad triangular podría verificar la afirmación.

Gracias por cualquier sugerencia sobre si la declaración debe ser válida y consejos sobre cómo probarla.

Stephen Diadamo
fuente
Como sugiere la respuesta, intenté usar argmax y no supremum.
Stephen Diadamo

Respuestas:

10

Parece que la afirmación no es cierta en general. Supongamos que , H es el espacio de Hilbert correspondiente a un solo qubit, y W se define como W ( 0 , 0 )X=Y={0,1}HW Sipyes la distribución uniforme, la opción óptima parap1esp1(0)=1yp1(1)=0, que daχ(p1,py,W)=1, que es el máximo valor posible (Supongo que te refieres a definirp1yp2

W(0,0)=|00|,W(0,1)=|11|,W(1,0)=|11|,W(1,1)=12|00|+12|11|.
pyp1p1(0)=1p1(1)=0χ(p1,py,W)=1p1p2como el argumento máximo de esas expresiones, no el supremum.) Del mismo modo, si es uniforme, p 2 ( 0 ) = 1 y p 2 ( 1 ) = 0 es óptimo, y el valor es el mismo. Sin embargo, χ ( p 1 , p 2 , W ) = 0 , por lo que la desigualdad no se cumple.pxp2(0)=1p2(1)=0χ(p1,p2,W)=0
John Watrous
fuente