Holevo teoremi

Xolevo teoremi fizika və kompüter elmlərinin fənlərarası sahəsi olan kvant hesablamaları sahəsində mühüm məhdudlaşdırıcı teoremdir. Bəzən buna Xolevo sərhədi deyilir, çünki teorem kvant vəziyyəti (mövcud məlumat) haqqında öyrənilə bilən məlumatların miqdarına yuxarı hədd qoyur. Teorem 1973-cü ildə Alexander Semyonoviç Xolevo tərəfindən nəşr edilmişdir.

 Giriş məlumatı 
Kvant informasiya nəzəriyyəsindəki digər anlayışlarda olduğu kimi, məsələnin mahiyyətini iki nəfər arasında ünsiyyət nümunəsi ilə başa düşmək daha asandır. Bizə Alice və Bob olsun. Alis klassik təsadüfi dəyişən X-ə malikdir və müvafiq ehtimallarla {1, 2, ..., n } dəyərlərini qəbul edə bilər. {𝑝1, 𝑝2, …, 𝑝𝑛}. Alice sıxlıq matrisi ilə təmsil olunan kvant vəziyyətini hazırlayır 𝜌𝑋, dəstdən seçilir {𝜌1, 𝜌2, … 𝜌𝑛}, və bu vəziyyəti Boba ötürür. Bobun məqsədi vəziyyətin ölçülməsi ilə həyata keçirilən X dəyərini tapmaqdır 𝜌𝑋 Y ilə işarələnən klassik nəticəni verən . Bu kontekstdə mövcud informasiyanın miqdarı, yəni Bobun X dəyişəni vasitəsilə əldə edə biləcəyi məlumatın miqdarı X və Y təsadüfi dəyişənləri arasında I ( X : Y ) qarşılıqlı məlumatın bütün mümkün olan maksimum dəyəridir. 

Mövcud məlumatı hesablamaq üçün hazırda məlum formula yoxdur. Bununla belə, bir neçə yuxarı hədd var ki, onlardan ən yaxşı məlum olanı aşağıdakı teorem  ilə ifadə olunan Holevo sərhədidir.

 Teoremin ifadəsi 
Qoy   qarışıq dövlətlər dəsti olacaq və icazə ehtimal paylanmasına görə çəkilmiş bu vəziyyətlərdən biri olacaq 
İndi POVM elementləri ilə təsvir olunan istənilən ölçü üçün (ing. positive operator-valued measure, müsbət operator ölçüsü)  və həyata keçirilir . Y ölçmə nəticəsi şəklində X dəyişənindən mövcud olan məlumatların miqdarı yuxarıdan aşağıdakı kimi məhdudlaşdırılır: : 

Harada  ;  fon Neyman entropiyasıdır.

Bərabərsizliyin sağ tərəfindəki kəmiyyət Holevo məlumatı və ya Holevo kəmiyyəti x adlanır:

 .

 Sübut 
Bunu sübut etmək üçün adlanan üç kvant sistemini nəzərdən keçirək .

Harada  hazırlıq hesab olunur,    - Alice tərəfindən hazırlanmış və Bob-a ötürülən kvant vəziyyəti kimi, və   - Bobun qəbul etdiyi məlumatı ölçmək vasitəsi kimi.

Mürəkkəb sistem  başlanğıcda vəziyyətdədir



Alisin vəziyyəti  sanki Alice vacibdir   təsadüfi dəyişən üçün. Sonra hazırlıq vəziyyəti sıxlıq matrisi ilə təsvir edilən qarışıq vəziyyətdir 
∑, Boba ötürülən kvant vəziyyəti bərabərdir 
∑ və Bobun ölçü alətləri ilkin və ya boş vəziyyətdədir .

Kvant informasiya nəzəriyyəsinin məlum nəticələrindən istifadə



Həmçinin bəzi cəbri hesablamalardan sonra göstərə bilərik ki, bu teorem  ifadəsinə ekvivalentdir.

 Qeydlər 
Əslində, Holevo sərhədi sübut edir ki, n kubit üçün onlar kvant superpozisiyasına görə daha çox (klassik) məlumat "daşıya" bilsələr də, çıxarıla bilən, yəni praktikada əldə edilən klassik məlumatların miqdarı n klassikdən çox deyil. yəni kvant kodlu bitlər deyil. Bu iki səbəbə görə təəccüblüdür.

 Kvant hesablamaları çox vaxt adi hesablamalardan o qədər güclüdür ki, nəticələr onun adi üsullardan yalnız bir qədər yaxşı və ya hətta daha pis olduğunu göstərir;

 tələb olunur  yalnız n biti təmsil edən qubiti kodlaşdırmaq üçün kompleks ədədlər.

 Həmçinin bax 
 Kvant ultra sıx kodlaşdırma

 Qeydlər 

 Ədəbiyyat 

Kateqoriya:Teoremlər