Klassik imkoniyatlar - Classical capacity

Yilda kvant axborot nazariyasi, klassik imkoniyatlar a kvant kanali kanalning ko'plab ishlatilish chegaralarida klassik ma'lumotlarning xatosiz yuborilishi mumkin bo'lgan maksimal tezlik. Holevo, Shumaxer va Vestmoreland har qanday kvant kanalining klassik sig'imi bo'yicha quyidagi eng yuqori chegarani isbotladilar ${ displaystyle { mathcal {N}}}$:

${ displaystyle chi ({ mathcal {N}}) = max _ { rho ^ {XA}} I (X; B) _ {{ mathcal {N}} ( rho)}}$

qayerda ${ displaystyle rho ^ {XA}}$ quyidagi shakldagi klassik-kvant holatidir:

${ displaystyle rho ^ {XA} = sum _ {x} p_ {X} (x) vert x rangle langle x vert ^ {X} otimes rho _ {x} ^ {A}, }$

${ displaystyle p_ {X} (x)}$ ehtimollik taqsimoti va har biri ${ displaystyle rho _ {x} ^ {A}}$ kanalga kiritilishi mumkin bo'lgan zichlik operatori ${ displaystyle { mathcal {N}}}$.

Ketma-ket dekodlash yordamida erishish mumkinligi

Biz HSW kodlash teoremasini qisqacha ko'rib chiqamiz (ga erishish mumkinligi to'g'risida bayonot) Holevo haqida ma'lumot stavka ${ displaystyle I (X; B)}$ kvant kanali orqali klassik ma'lumotlarni etkazish). Biz avval teorema uchun zarur bo'lgan minimal miqdordagi kvant mexanikasini ko'rib chiqamiz. Keyinchalik biz kvantum tipikligini qoplaymiz va nihoyat teoremani yaqinda ketma-ket dekodlash texnikasi yordamida isbotlaymiz.

Kvant mexanikasini ko'rib chiqish

HSW kodlash teoremasini isbotlash uchun bizga bir nechta asoslar kerak kvant mexanikasi. Birinchidan, a kvant holati a deb nomlanuvchi birlik izi, ijobiy operator zichlik operatori. Odatda, biz buni belgilaymiz ${ displaystyle rho}$, ${ displaystyle sigma}$, ${ displaystyle omega}$va boshqalar. uchun eng oddiy model kvant kanali klassik-kvant kanali sifatida tanilgan:

${ displaystyle x mapsto rho _ {x}.}$

Yuqoridagi yozuvning ma'nosi shundaki, klassik harfni kiritish ${ displaystyle x}$uzatuvchi uchida kvant holatiga olib keladi ${ displaystyle rho _ {x}}$ qabul qilish paytida. Qabul qiluvchining vazifasi - jo'natuvchining ma'lumotlarini aniqlash uchun o'lchovni amalga oshirish. Agar bu haqiqat bo'lsa, davlatlar ${ displaystyle rho _ {x}}$ bir-biridan mukammal farq qiladi (ya'ni, agar ular shunday bo'lsa, ortogonal tayanchlarga ega bo'lsa) ${ displaystyle mathrm {Tr} , left { rho _ {x} rho _ {x ^ { prime}} right } = 0}$ uchun ${ displaystyle x neq x ^ { prime}}$), keyin kanal shovqinsiz kanal. Biz bunday vaziyatlarga qiziqamiz. Agar bu haqiqat bo'lsa, davlatlar ${ displaystyle rho _ {x}}$ bir-birimiz bilan kelishamiz, demak, bu klassik kanal uchun vaziyatga juda o'xshashdir, shuning uchun biz ham bu holatlarga qiziqmaymiz, demak, bizni qiziqtirgan vaziyat - davlatlar${ displaystyle rho _ {x}}$ bir-birini qo'llab-quvvatlaydigan va komutativ bo'lmagan.

Ta'riflashning eng umumiy usuli kvant o'lchovi bilan operator tomonidan baholanadigan ijobiy o'lchov (POVM ). Biz odatda POVM elementlarini quyidagicha belgilaymiz${ displaystyle left { Lambda _ {m} right } _ {m}}$. Ushbu POVMni shakllantirish uchun ushbu operatorlar ijobiy va to'liqlikni qondirishlari kerak:

${ displaystyle Lambda _ {m} geq 0 forall m}$

${ displaystyle sum _ {m} Lambda _ {m} = I.}$

Ning ehtimollik talqini kvant mexanikasi agar kimdir kvant holatini o'lchasa ${ displaystyle rho}$ POVM ga mos keladigan o'lchov moslamasi yordamida ${ displaystyle left { Lambda _ {m} right }}$, keyin ehtimollik ${ displaystyle p chap (m o'ng)}$ natijani olish uchun ${ displaystyle m}$ ga teng

${ displaystyle p left (m right) = { text {Tr}} left { Lambda _ {m} rho right },}$

va o'lchovdan keyingi holat

${ displaystyle rho _ {m} ^ { prime} = { frac {1} {p chap (m right)}} { sqrt { Lambda _ {m}}} rho { sqrt { Lambda _ {m}}},}$

agar o'lchovchi kishi natijaga erishsa ${ displaystyle m}$. Ushbu qoidalar biz uchun klassik aloqa sxemalarini cq kanallari orqali ko'rib chiqish uchun etarli.

Kvant tipikligi

Haqida maqolada o'quvchi ushbu mavzuni yaxshi ko'rib chiqishni topishi mumkin odatda pastki bo'shliq.

Yumshoq operator lemma

Bizning dalillarimiz uchun quyidagi lemma muhim ahamiyatga ega. O'rtacha o'rtacha ehtimoli yuqori bo'lgan o'lchov davlatni o'rtacha darajada bezovta qilmasligini ko'rsatmoqda:

Lemma: [Qish] berilgan anansambl ${ displaystyle chap {p_ {X} chap (x o'ng), rho _ {x} o'ng }}$ kutilayotgan zichlik operatori bilan ${ displaystyle rho equiv sum _ {x} p_ {X} chap (x right) rho _ {x}}$, operatorni taxmin qiladi ${ displaystyle Lambda}$ shu kabi ${ displaystyle I geq Lambda geq 0}$ davlatda yuqori ehtimollik bilan muvaffaqiyat qozonadi ${ displaystyle rho}$:

${ displaystyle { text {Tr}} left { Lambda rho right } geq 1- epsilon.}$

Keyin submormal holat ${ displaystyle { sqrt { Lambda}} rho _ {x} { sqrt { Lambda}}}$ kutilgan kuzatuv masofasi asl holatiga yaqin ${ displaystyle rho _ {x}}$:

${ displaystyle mathbb {E} _ {X} left { left Vert { sqrt { Lambda}} rho _ {X} { sqrt { Lambda}} - rho _ {X} right Vert _ {1} right } leq 2 { sqrt { epsilon}}.}$

(Yozib oling ${ displaystyle left Vert A right Vert _ {1}}$ operatorning yadro normasi${ displaystyle A}$ Shuning uchun; ... uchun; ... natijasida ${ displaystyle left Vert A right Vert _ {1} equiv}$Tr${ displaystyle chap {{ sqrt {A ^ { xanjar} A}} o'ng }}$.)

Quyidagi tengsizlik biz uchun ham foydalidir. Bu har qanday operatorlar uchun amal qiladi${ displaystyle rho}$, ${ displaystyle sigma}$, ${ displaystyle Lambda}$ shu kabi ${ displaystyle 0 leq rho, sigma, Lambda leq I}$:

${ displaystyle { text {Tr}} left { Lambda rho right } leq { text {Tr}} left { Lambda sigma right } + left Vert rho - sigma right Vert _ {1}.}$

(1)

Yuqoridagi tengsizlikning kvant axborot-nazariy talqini natijani olish ehtimoli ${ displaystyle Lambda}$ holatga ta'sir qiluvchi kvant o'lchovidan ${ displaystyle rho}$ daromad olish ehtimoli bilan yuqori chegaralangan ${ displaystyle Lambda}$ davlat to'g'risida ${ displaystyle sigma}$ ikki davlatning ajralib turishi bilan yakunlandi ${ displaystyle rho}$ va ${ displaystyle sigma}$.

Kommutativ bo'lmagan birlashma

Lemma: [Sen bilan bog'langan] Subnormal holat uchun quyidagi chegaralar ${ displaystyle sigma}$ shu kabi ${ displaystyle 0 leq sigma}$ va${ displaystyle Tr left { sigma right } leq 1}$ bilan ${ displaystyle Pi _ {1}}$, ... , ${ displaystyle Pi _ {N}}$ loyihalashtiruvchilar:${ displaystyle { text {Tr}} left { sigma right } - { text {Tr}} left { Pi _ {N} cdots Pi _ {1} sigma Pi _ {1} cdots Pi _ {N} right } leq 2 { sqrt { sum _ {i = 1} ^ {N} { text {Tr}} left { left (I- Pi _ {i} o'ng) sigma o'ng }}},}$

Senning bog'lanishini "komutativ bo'lmagan birlashma" deb o'ylashimiz mumkin, chunki u quyidagi birlashma chegaralari ehtimoli nazariyasiga o'xshashdir:

${ displaystyle Pr chap { chap (A_ {1} cap cdots cap A_ {N} right) ^ {c} right } = Pr left {A_ {1} ^ { c} cup cdots cup A_ {N} ^ {c} right } leq sum _ {i = 1} ^ {N} Pr left {A_ {i} ^ {c} right },}$

qayerda ${ displaystyle A_ {1}}$, ldots, ${ displaystyle A_ {N}}$ hodisalar. Proektorologik uchun o'xshash chegara bo'ladi

${ displaystyle { text {Tr}} left { left (I- Pi _ {1} cdots Pi _ {N} cdots Pi _ {1} right) rho right } leq sum _ {i = 1} ^ {N} { text {Tr}} left { left (I- Pi _ {i} right) rho right },}$

agar o'ylasak ${ displaystyle Pi _ {1} cdots Pi _ {N}}$ bo'shliqlar kesishmasiga proektor sifatida. Ammo, yuqoridagi chegaralar faqat projektorlardagina bajariladi ${ displaystyle Pi _ {1}}$,..., ${ displaystyle Pi _ {N}}$ kommutatsiya (tanlash) ${ displaystyle Pi _ {1} = chap vert + o'ng rangle chap langle + o'ng vert}$, ${ displaystyle Pi _ {2} = chap vert 0 o'ng rangle chap langle 0 o'ng vert}$va ${ displaystyle rho = chap vert 0 o'ng rangle chap langle 0 o'ng vert}$ qarshi misol keltiradi). Agar proektorlar qatnovchi bo'lmagan bo'lsa, unda Sen'sbound - bu eng yaxshi narsa va bu erda bizning maqsadlarimiz uchun etarli.

Kommutativ bo'lmagan birlashma bilan bog'liq bo'lgan HSW teoremasi

Endi biz HSW teoremasini Senning kommutativ bo'lmagan birlashmasi bilan isbotlaymiz. Dalillarni bir nechta qismlarga bo'ling: kodlar kitobini yaratish, POVM tuzilishi va xatolarni tahlil qilish.

Codebook Generation. Dastlab Elis va Bob kodlarni tasodifiy tanlashda qanday kelishib olishlarini tasvirlaymiz. Ularda kanal bor ${ displaystyle x rightarrow rho _ {x}}$ va tarqatish ${ displaystyle p_ {X} chap (x o'ng)}$. Ular tanlaydilar ${ displaystyle M}$ klassik ketma-ketliklar${ displaystyle x ^ {n}}$ IID taqsimotiga ko'ra ${ displaystyle p_ {X ^ {n}} chap (x ^ {n} o'ng)}$.Ularni tanlagandan so'ng, ularni indekslari bilan belgilaydilar ${ displaystyle chap {x ^ {n} chap (m o'ng) o'ng } _ {m in chap [M o'ng]}}$. Bu quyidagi kvant kodli so'zlarga olib keladi:

${ displaystyle rho _ {x ^ {n} chap (m o'ng)} = = rho _ {x_ {1} chap (m o'ng)} otimes cdots otimes rho _ {x_ {n } chap (m o'ng)}.}$

Keyin kvant kod daftari ${ displaystyle chap { rho _ {x ^ {n} chap (m o'ng)} o'ng }}$. Kod daftarining o'rtacha holati u holda

${ displaystyle mathbb {E} _ {X ^ {n}} left { rho _ {X ^ {n}} right } = sum _ {x ^ {n}} p_ {X ^ { n}} chap (x ^ {n} o'ng) rho _ {x ^ {n}} = rho ^ { otimes n},}$

(2)

qayerda ${ displaystyle rho = sum _ {x} p_ {X} chap (x right) rho _ {x}}$.

POVM qurilishi . Yuqoridagi lemmadan bog'langan Sens 'Bob uchun Elis uzatadigan holatni dekodlash usulini taklif qiladi. Bob birinchi navbatda "Qabul qilingan holat o'rtacha bo'shliqda bo'ladimi?" Deb so'rashi kerak. U buni operatsion ravishda mos keladigan atipik subspace o'lchovini amalga oshirishi mumkin ${ displaystyle left { Pi _ { rho, delta} ^ {n}, I- Pi _ { rho, delta} ^ {n} right }}$. So'ngra u ketma-ketlik bilan "Qabul qilingan kod so'zi ${ displaystyle m ^ { text {th}}}$"shartli ravishda odatiy subspace?" Bu savolga biron ma'noda ekvivalent bo'lib, "Qabul qilingan kod so'zi${ displaystyle m ^ { text {th}}}$ kodlangan so'zni uzatdingizmi? "U ushbu savollarni operativ ravishda odatdagi projektorlarga mos keladigan o'lchovlarni amalga oshirishi mumkin. ${ displaystyle chap { Pi _ { rho _ {x ^ {n} chap (m o'ng)}, delta}, I- Pi _ { rho _ {x ^ {n} chap (m right)}, delta} right }}$.

Nima uchun bu ketma-ket dekodlash sxemasi yaxshi ishlashi kerak? Buning sababi shundaki, uzatilgan kod so'z o'rtacha o'rtacha bo'shliqda joylashgan:

${ displaystyle mathbb {E} _ {X ^ {n}} left {{ text {Tr}} left { Pi _ { rho, delta} rho _ {X ^ {n }} o'ng } o'ng } = { matn {Tr}} chap { Pi _ { rho, delta} mathbb {E} _ {X ^ {n}} chap { rho _ {X ^ {n}} o'ng } o'ng }}$

${ displaystyle = { text {Tr}} left { Pi _ { rho, delta} rho ^ { otimes n} right }}$

${ displaystyle geq 1- epsilon,}$

bu erda tengsizlik ( ref {eq: 1st-typ-prop}) dan kelib chiqadi. Shuningdek, loyihachilar ${ displaystyle Pi _ { rho _ {x ^ {n} chap (m o'ng)}, delta}}$shtatlar uchun "yaxshi detektorlar" dir ${ displaystyle rho _ {x ^ {n} chap (m o'ng)}}$ (o'rtacha), chunki quyidagi shart shartli kvantipiklikdan kelib chiqadi:

${ displaystyle mathbb {E} _ {X ^ {n}} left {{ text {Tr}} left { Pi _ { rho _ {X ^ {n}}, delta} rho _ {X ^ {n}} right } right } geq 1- epsilon.}$

Xatolarni tahlil qilish. Ni aniqlash ehtimoli ${ displaystyle m ^ { text {th}}}$kodli so'z bizning ketma-ket dekodlash sxemamizga to'g'ri keladi

${ displaystyle { text {Tr}} left { Pi _ { rho _ {X ^ {n} chap (m right)}, delta} { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng) }, delta} Pi _ { rho, delta} ^ {n} rho _ {x ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta} Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng }, }$

bu erda biz qisqartmani qilamiz ${ displaystyle { hat { Pi}} equiv I- Pi}$. (O'rtacha odatdagi pastki bo'shliqqa bir marta kirib borishini ko'rib chiqing.) Shunday qilib, noto'g'ri aniqlash ehtimoli ${ displaystyle m ^ { text {th}}}$ kod so'zi tomonidan berilgan

${ displaystyle 1 - { text {Tr}} left { Pi _ { rho _ {X ^ {n} chap (m right)}, delta} { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} Pi _ { rho, delta} ^ {n} rho _ {x ^ {n} chap (m o'ng)} Pi _ { rho, delta } ^ {n} { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta} Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng },}$

va ushbu sxemaning o'rtacha xato ehtimoli tengdir

${ displaystyle 1 - { frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho _ {X ^ {n} left (m o'ng)}, delta} { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} Pi _ { rho, delta} ^ {n} rho _ {x ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta} Pi _ { rho _ {X ^ {n } chap (m o'ng)}, delta} o'ng }.}$

O'rtacha xato ehtimolini tahlil qilish o'rniga, kutishning o'rtacha tasodifiy tanloviga bog'liq bo'lgan o'rtacha xato ehtimoli kutilishini tahlil qilamiz:

${ displaystyle 1- mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} Pi _ { rho, delta } ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng) }, delta} Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng } o'ng }.}$

(3)

Bizning birinchi qadamimiz - Senning majburiyatini yuqoridagi miqdorga amal qilishdir. Ammo buni amalga oshirishdan oldin, yuqoridagi iborani birozgina, shuni kuzatib yozishimiz kerak

${ displaystyle 1 = mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { rho _ {X ^ {n} chap (m o'ng)} o'ng } o'ng }}$

${ displaystyle = mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} o'ng } + { matn {Tr}} chap {{ hat { Pi}} _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} o'ng } o'ng }}$

${ displaystyle = mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } o'ng } + { frac {1} {M}} sum _ {m} { text {Tr}} left {{ hat { Pi}} _ { rho, delta} ^ {n} mathbb {E} _ {X ^ {n}} chap { rho _ {X ^ {n} chap (m o'ng)} o'ng } o'ng }}$

${ displaystyle = mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } o'ng } + { text {Tr}} left {{{hat { Pi}} _ { rho, delta} ^ {n} rho ^ { otimes n} right }}$

${ displaystyle leq mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } o'ng } + epsilon}$

Ga almashtirish3) (va kichiklarni unutish${ displaystyle epsilon}$ hozircha muddat) ning yuqori chegarasini beradi

${ displaystyle mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m right)} Pi _ { rho, delta} ^ {n} right } right } }$

${ displaystyle - mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng) )}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)} , delta} Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng } o'ng }.}$

Keyin biz ushbu ifoda bilan Senning bog'langanligini qo'llaymiz ${ displaystyle sigma = Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n }}$ va ketma-ket proektorlar ${ displaystyle Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta}}$, ${ displaystyle { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta}}$, ..., ${ displaystyle { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta}}$. Bu yuqori chegarani beradi${ displaystyle mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} 2 left [{ text {Tr}} left { chap (I- Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng) Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } + sum _ {i = 1} ^ {m-1} { matn {Tr}} chap { Pi _ { rho _ {X ^ {n} chap (i o'ng)}, delta} Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } o'ng] ^ {1/2} o'ng }.}$Kvadrat ildizning konkavligi tufayli biz ushbu ifodani yuqoridan bog'lashimiz mumkin

${ displaystyle 2 left [ mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { chap (I- Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng) Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } + sum _ {i = 1} ^ {m-1} { matn {Tr}} chap { Pi _ { rho _ {X ^ {n} chap (i o'ng)}, delta} Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } o'ng } o'ng] ^ {1/2}}$

${ displaystyle leq 2 left [ mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} chap { chap (I- Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng) Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } + sum _ {i neq m} { text {Tr }} chap { Pi _ { rho _ {X ^ {n} chap (i o'ng)}, delta} Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } o'ng } o'ng] ^ {1/2},}$

bu erda ikkinchi chegara tenglamaydigan barcha kod so'zlarni yig'ish orqali keladi ${ displaystyle m ^ { text {th}}}$ kod so'z (bu summa faqat kattaroq bo'lishi mumkin).

Endi biz faqat kvadrat ildiz ichidagi atama kichikligini ko'rsatishga e'tibor qaratmoqdamiz. Birinchi muddatni ko'rib chiqing:

${ displaystyle mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { left ( I- Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng) Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng } o'ng }}$

${ displaystyle leq mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { chap (I- Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng) rho _ {X ^ {n} chap (m o'ng)} o'ng } + chap Vert rho _ {X ^ {n} chap (m o'ng)} - Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} o'ng Vert _ {1} o'ng }}$

${ displaystyle leq epsilon +2 { sqrt { epsilon}}.}$

bu erda birinchi tengsizlik (1) va ikkinchi tengsizlik yumshoq operator lemmasidan va shartsiz va shartli tipik xususiyatlardan kelib chiqadi. Endi ikkinchi muddatni va quyidagi tengsizliklar zanjirini ko'rib chiqing:

${ displaystyle sum _ {i neq m} mathbb {E} _ {X ^ {n}} left {{ text {Tr}} left { Pi _ { rho _ {X ^ {n} chap (i o'ng)}, delta} Pi _ { rho, delta} ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} right } right }}$

${ displaystyle = sum _ {i neq m} { text {Tr}} left { mathbb {E} _ {X ^ {n}} left { Pi _ { rho _ {X ^ {n} chap (i o'ng)}, delta} o'ng } Pi _ { rho, delta} ^ {n} mathbb {E} _ {X ^ {n}} chap { rho _ {X ^ {n} chap (m o'ng)} o'ng } Pi _ { rho, delta} ^ {n} o'ng }}$

${ displaystyle = sum _ {i neq m} { text {Tr}} left { mathbb {E} _ {X ^ {n}} left { Pi _ { rho _ {X ^ {n} chap (i o'ng)}, delta} o'ng } Pi _ { rho, delta} ^ {n} rho ^ { otimes n} Pi _ { rho, delta} ^ {n} right }}$

${ displaystyle leq sum _ {i neq m} 2 ^ {- n chap [H chap (B o'ng) - delta o'ng]} { matn {Tr}} chap { mathbb {E} _ {X ^ {n}} chap { Pi _ { rho _ {X ^ {n} chap (i o'ng)}, delta} o'ng } Pi _ { rho, delta} ^ {n} right }}$

Birinchi tenglik quyidagicha bo'ladi, chunki kod so'zlari ${ displaystyle X ^ {n} chap (m o'ng)}$ va${ displaystyle X ^ {n} chap (i o'ng)}$ mustaqildirlar, chunki ular har xil. Ikkinchi tenglik (dan kelib chiqadi2). Birinchi tengsizlik ( ref {eq: 3rd-typ-prop}) dan kelib chiqadi. Davom etamiz, bizda

${ displaystyle leq sum _ {i neq m} 2 ^ {- n chap [H chap (B o'ng) - delta o'ng]} mathbb {E} _ {X ^ {n} } chap {{ text {Tr}} left { Pi _ { rho _ {X ^ {n} chap (i right)}, delta} right } right }}$

${ displaystyle leq sum _ {i neq m} 2 ^ {- n chap [H chap (B o'ng) - delta o'ng]} 2 ^ {n chap [H chap (B | X o'ng) + delta o'ng]}}$

${ displaystyle = sum _ {i neq m} 2 ^ {- n chap [I chap (X; B o'ng) -2 delta o'ng]}}$

${ displaystyle leq M 2 ^ {- n chap [I chap (X; B o'ng) -2 delta o'ng]}.}$

Birinchi tengsizlik quyidagidan kelib chiqadi ${ displaystyle Pi _ { rho, delta} ^ {n} leq I}$ va izni umid bilan almashtirish. Ikkinchi tengsizlik ( ref {eq: 2nd-cond-typ}) dan kelib chiqadi. Keyingi ikkitasi to'g'ri.

Barchasini birlashtirgan holda, biz o'rtacha xato ehtimoli bilan yakuniy bog'liq bo'lamiz:

${ displaystyle 1- mathbb {E} _ {X ^ {n}} left {{ frac {1} {M}} sum _ {m} { text {Tr}} left { Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} Pi _ { rho, delta } ^ {n} rho _ {X ^ {n} chap (m o'ng)} Pi _ { rho, delta} ^ {n} { hat { Pi}} _ { rho _ {X ^ {n} chap (1 o'ng)}, delta} cdots { hat { Pi}} _ { rho _ {X ^ {n} chap (m-1 o'ng) }, delta} Pi _ { rho _ {X ^ {n} chap (m o'ng)}, delta} o'ng } o'ng }}$

${ displaystyle leq epsilon +2 chap [ chap ( epsilon +2 { sqrt { epsilon}} o'ng) + M 2 ^ {- n chap [I chap (X; B o'ng) ) -2 delta right]} right] ^ {1/2}.}$

Shunday qilib, biz tanlagan ekanmiz ${ displaystyle M = 2 ^ {n chap [I chap (X; B o'ng) -3 delta o'ng]}}$, yo'qolish ehtimoli bo'lgan kod mavjud.

Shuningdek qarang

• Chigallik yordamida klassik imkoniyatlar
• Kvant hajmi
• Kvant axborot nazariyasi
• Odatda pastki bo'shliq

Adabiyotlar

• Holevo, Aleksandr S. (1998), "Kvant kanalining umumiy signalli davlatlar bilan ishlash qobiliyati", Axborot nazariyasi bo'yicha IEEE operatsiyalari, 44 (1): 269–273, arXiv:kvant-ph / 9611023, doi:10.1109/18.651037.
• Shumaxer, Benjamin; Westmoreland, Maykl (1997), "Shovqinli kvant kanallari orqali klassik ma'lumotlarni yuborish", Fizika. Vahiy A, 56 (1): 131–138, Bibcode:1997PhRvA..56..131S, doi:10.1103 / PhysRevA.56.131.
• Uayld, Mark M. (2017), Kvant ma'lumotlari nazariyasi, Kembrij universiteti matbuoti, arXiv:1106.1445, Bibcode:2011arXiv1106.1445W, doi:10.1017/9781316809976.001
• Sen, Pranab (2012), "ketma-ket dekodlash orqali kvant interferentsiya kanali uchun Xan-Kobayashi ichki chegarasiga erishish", IEEE Axborot nazariyasi bo'yicha xalqaro simpozium (ISIT 2012), 736–740-betlar, arXiv:1109.0802, doi:10.1109 / ISIT.2012.6284656.
• Guha, Sayikat; Tan, Si-Xuy; Uayld, Mark M. (2012), "Optik aloqa va kvant o'qish uchun aniq quvvatga ega qabul qiluvchilar", IEEE Axborot nazariyasi bo'yicha xalqaro simpozium (ISIT 2012), 551-555-betlar, arXiv:1202.0518, doi:10.1109 / ISIT.2012.6284251.