Preuve d'une inégalité d'information Holevo

9

Supposons que j'ai un canal quantique classique classique W:X×YD(H) , où X,Y sont des ensembles finis et D(H) est l'ensemble des matrices de densité sur l' espace de Hilbert complexe de dimension finie H .

Supposons que px est la distribution uniforme sur X et py est la distribution uniforme sur Y . De plus, définissez pour les distributions p1 sur X et p2 sur Y , les informations Holevo

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

H est l'entropie de von Neumann.

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

Jusqu'à présent, je ne suis pas encore convaincu que la déclaration soit vraie en premier lieu. Je n'ai pas fait beaucoup de progrès pour le prouver, mais il semble qu'une sorte d'inégalité triangulaire pourrait vérifier l'affirmation.

Merci pour toute suggestion concernant la pertinence de la déclaration et des conseils pour la prouver.

Stephen Diadamo
la source
Comme la réponse le suggère, j'avais l'intention d'utiliser l'argmax et non le supremum.
Stephen Diadamo

Réponses:

10

Il semble que l'énoncé ne soit pas vrai en général. Supposons que , est l'espace de Hilbert correspondant à un seul qubit, et est défini comme Si est la distribution uniforme, le choix optimal pour est et , ce qui donne , qui est le maximum valeur possible. (Je suppose que vous voulez définirH W W ( 0 , 0 )X=Y={0,1}HW

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)=1p1et comme argmax de ces expressions, pas le supremum.) De même, si est uniforme, et est optimal et la valeur est la même. Cependant, , donc l'inégalité ne tient pas.p2pxp2(0)=1p2(1)=0χ(p1,p2,W)=0
John Watrous
la source