Ushbu tadqiqot ikki mustaqil kvant manbasi uch tomon o‘rtasida taqsimlangan bilokal kvant tarmoqlarida qaysi ehtimollik taqsimotlari kvant nazariyasi bilan mos kelishini tashqi yaqinlashuv orqali tavsiflash muammosini o‘rganadi. Tadqiqotchilar standart Navascués–Pironio–Acín (NPA) usulini tarmoqdagi manba mustaqilligini hisobga oladigan tarzda kengaytirib, ikkita yaqinlashuvchi ierarxiyani ishlab chiqadilar: chiziqli bo‘lmagan mustaqillik shartlarini o‘z ichiga oluvchi faktorizatsion bilokal NPA ierarxiyasi va bu shartlarni skalyar kengaytma o‘zgaruvchilari yordamida yarim aniqlangan dasturlash shakliga aylantiruvchi bilokal skalyar kengaytma ierarxiyasi. Asosiy teorema shuni ko‘rsatadiki, har ikkala ierarxiya ham barcha darajalar o‘tilganda aynan bir xil Projector Bilocal Quantum Distributions to‘plamiga yaqinlashadi. Biroq bu to‘plam cheksiz o‘lchamli umumiy holatda fizik tensor-ko‘paytma bilokal korrelyatsiyalar to‘plamining yumshatilgan ko‘rinishidir; shu sababli natija barcha fizik bilokal korrelyatsiyalarning bevosita hisoblanadigan tavsifi sifatida talqin qilinmasligi kerak.

Tadqiqotning amaliy jihatdan eng muhim farqi shundaki, birinchi ierarxiya manba mustaqilligini bevosita

\[ \operatorname{Tr}_{\tau}(\hat{\alpha}\hat{\gamma}) = \operatorname{Tr}_{\tau}(\hat{\alpha}) \operatorname{Tr}_{\tau}(\hat{\gamma}) \]

ko‘rinishidagi chiziqli bo‘lmagan faktorizatsiya sharti bilan yuklaydi, ikkinchi ierarxiya esa bu mustaqillik ma’lumotini yangi skalyar harflar va qutblanishga asoslangan kvadratik tengliklar orqali kodlaydi. Shu tariqa ikkinchi tuzilma har bir chekli darajada yarim aniqlangan dastur (SDP) sifatida sinovdan o‘tkazilishi mumkin.

Maqola, shuningdek, inflation-NPA usulini ushbu ikki ierarxiya bilan taqqoslaydi, chekli o‘lchamli holatlar uchun rank-loop to‘xtatish mezonini beradi va usulni bilokal tarmoqdan tashqariga kengaytirishdagi qiyinchiliklarni ochib beradi. Xususan, uchburchak tarmoqda oddiy faktorizatsiya va skalyar kengaytma usullari tarmoq topologiyasiga xos qo‘shimcha cheklov hosil qila olmasa-da, inflation-NPA usuli hanuz mazmunli cheklovlar bera oladi.

Asosiy muammo nima?

Kvant axborot nazariyasining asosiy muammolaridan biri uzoqdagi tomonlar umumiy kvant tizimida lokal o‘lchovlar bajarganda qaysi qo‘shma ehtimollik taqsimotlari kvant mexanikasi tomonidan hosil qilinishi mumkinligini aniqlashdir.

Standart uch tomonli Bell ssenariysida Alice, Bob va Charlie bitta umumiy kvant holatidan ulush oladi. O‘lchov kirishlari mos ravishda \(x,y,z\), chiqishlar esa \(a,b,c\) bo‘lganda taqsimot Born qoidasi bilan

\[ p(abc|xyz) = \operatorname{Tr}_{\tau} \left( A_{a|x}\otimes B_{b|y}\otimes C_{c|z} \right) \]

ko‘rinishida ifodalanadi.

NPA ierarxiyasi barcha mumkin bo‘lgan kvant holatlari va o‘lchovlarini bittalab qidirish o‘rniga o‘lchov operatorlaridan tuzilgan moment matritsalari musbat yarim aniqlangan bo‘lishi mumkinmi-yo‘qmi, shuni tekshiradi. Ierarxiya darajasi oshgani sari uzunroq operator so‘zlari hisobga olinadi va test kuchayadi.

NPA ierarxiyasi kvant tarmoqlarida nega to‘g‘ridan-to‘g‘ri yetarli emas?

Bilokal ssenariyda bitta umumiy manba yo‘q. Buning o‘rniga bir-biridan mustaqil ikkita manba mavjud:

\[ \rho_{AB_L} \qquad\text{va}\qquad \sigma_{B_RC}. \]

Alice birinchi manbadan, Charlie ikkinchi manbadan tizim oladi, Bob esa har ikkala manbadan tizim oladi. Manbaning 4-sahifasidagi 1(b)-rasm bu topologiyani aniq ko‘rsatadi: tarmoq

Alice — \(\rho\) — Bob — \(\sigma\) — Charlie

ko‘rinishidadir.

Tensor bilokal modelda ehtimollar

\[ p(abc|xyz) = \operatorname{Tr}_{\rho\otimes\sigma} \left( A_{a|x}\otimes B_{b|y}\otimes C_{c|z} \right) \]

bilan beriladi.

Bu yerda kritik qo‘shimcha fizik ma’lumot \(\rho\) va \(\sigma\) manbalarining mustaqil ekanidir. Standart NPA moment matritsasi o‘lchov operatorlarining proyektorlik, Hermitlik va turli tomonlar o‘rtasidagi kommutatsiya kabi algebraik xususiyatlarini ko‘ra oladi; biroq manba mustaqilligini o‘zi mustaqil ravishda kodlay olmaydi.

1-rasmning asosiy ilmiy xabari

Ushbu jadval manbadagi 1-rasm ilmiy xabarining Verianla uchun original matnli qayta ifodasidir; manba tasviri bevosita ko‘chirilmagan.

Tensor bilokal va Projector Bilokal modellar o‘rtasidagi farq nima?

Fizik jihatdan eng tabiiy ta’rif Tensor Bilocal Quantum Distribution modelidir. Bu yerda Hilbert fazosi aniq ravishda

\[ \mathcal H_A \otimes \mathcal H_{B_L} \otimes \mathcal H_{B_R} \otimes \mathcal H_C \]

ko‘rinishida omillarga ajraladi va ikki mustaqil holat mos ravishda \(A-B_L\) hamda \(B_R-C\) tizimlarida yashaydi.

Tadqiqot ierarxiyalari yaqinlashadigan maqsad to‘plam esa umumiyroq Projector Bilocal Quantum Distributions to‘plamidir. Bu yerda barcha operatorlar bitta global Hilbert fazosi \(\mathcal H\) da bo‘lishi mumkin.

Ikki manba uchun \(\rho\) va \(\sigma\) proyektorlar tanlanadi va

\[ \tau=\rho\sigma=\sigma\rho \]

ko‘paytmasi sof holatga mos proyektor bo‘lishi talab etiladi.

Ehtimollik taqsimoti

\[ q(abc|xyz) = \operatorname{Tr} \left( \rho\sigma\, \hat A_{a|x} \hat B_{b|y} \hat C_{c|z} \right) \]

bilan yoziladi.

Turli tomonlarning o‘lchov operatorlari o‘zaro kommutatsiya qilishiga qo‘shimcha ravishda

\[ [\hat A_{a|x},\sigma]=0, \qquad [\rho,\hat C_{c|z}]=0 \]

shartlari qo‘llanadi. Bular Alice ikkinchi manbaga, Charlie esa birinchi manbaga bog‘liq emasligi g‘oyasining kommutator modeli ichidagi ifodasidir.

Bu model cheksiz o‘lchamli umumiy holatda fizik tensor-bilokal modeldan kengroqdir. Biroq manbada keltirilgan keyingi natijalar chekli o‘lchamlarda tegishli bilokal modellar ekvivalentligini qayta tiklaydi.

Birinchi yangi usul: Faktorizatsion Bilokal NPA Ierarxiyasi

Standart NPA moment matritsasi \(\Gamma^n\), uzunligi ko‘pi bilan \(n\) bo‘lgan o‘lchov operatori so‘zlari bilan indekslanadi. Musbat yarim aniqlanganlik va proyektor/kommutatsiya munosabatlari standart NPA dagidek saqlanadi.

Bilokal tarmoqning yangi ma’lumoti Alice va Charlie mustaqil manbalardan kelishidir. Shuning uchun faqat Alice operatorlaridan tuzilgan \(\alpha\) so‘zi bilan faqat Charlie operatorlaridan tuzilgan \(\gamma\) so‘zi uchun

\[ \operatorname{Tr}_{\tau} (\hat\alpha\hat\gamma) = \operatorname{Tr}_{\tau}(\hat\alpha) \operatorname{Tr}_{\tau}(\hat\gamma) \]

munosabati kutiladi.

Moment matritsasi tilida bu shart

\[ \Gamma^{n}_{\alpha,\gamma} = \Gamma^{n}_{\alpha,1} \Gamma^{n}_{1,\gamma} \]

ko‘rinishida yoziladi.

Ushbu yagona qo‘shimcha g‘oya standart NPA matritsasini Factorisation Bilocal Moment Matrix ga aylantiradi.

Nega faktorizatsiya ierarxiyasi amaliy SDP emas?

Musbat yarim aniqlanganlik va standart NPA munosabatlari moment matritsa elementlarida chiziqli cheklovlardir. Bunga qarshi ravishda

\[ \Gamma_{\alpha,\gamma} = \Gamma_{\alpha,1}\Gamma_{1,\gamma} \]

o‘ng tomonda ikkita noma’lum moment ko‘paytmasini o‘z ichiga oladi.

Shu sababli muammo yarim aniqlangan dasturlash talab qiladigan chiziqli/affin cheklov tuzilmasidan chiqib ketadi. Mualliflar faktorizatsiya ierarxiyasini kuchli nazariy tavsif sifatida baholaydilar; bevosita sonli SDP vositasi sifatida emas.

Theorem 2.3: Birinchi yaqinlashuv natijasi

Tadqiqotning birinchi asosiy teoremasi quyidagi ekvivalentlikni o‘rnatadi:

Uch tomonli taqsimot faktorizatsion bilokal NPA ierarxiyasining barcha darajalaridan o‘tsa va faqat shunda Projector Bilocal Quantum Distribution hisoblanadi.

Bu faqat zarur shartlarni beradigan testlar oilasi emas. Cheksiz ierarxiya limitida maqsad qilingan proyektor-bilokal to‘plamni to‘liq tavsiflaydi.

Yaqinlashuv isbotining GNS g‘oyasi

Isbotning oldinga yo‘nalishi bevosita: haqiqiy proyektor-bilokal modeldan har bir darajada mos moment matritsa tuzish mumkin.

Teskari yo‘nalishda esa barcha darajalarda mos matritsalar mavjud deb faraz qilinadi. Avval tegishli qism ketma-ketlikdan cheksiz o‘lchamli

\[ \Gamma^\infty \]

moment matritsa olinadi.

So‘ng standart NPA isbotiga o‘xshash tarzda Gelfand–Naimark–Segal (GNS) tipidagi tasvirdan foydalanib Hilbert fazosi, sof holat proyektori va Alice, Bob, Charlie o‘lchov operatorlari quriladi.

Bilokal tarmoq uchun yangi texnik qadam \(\rho\) va \(\sigma\) proyektorlarini qurishdir. Mualliflar Alice operatorlari holat vektori ustida hosil qilgan ostfazo bilan Charlie operatorlari hosil qilgan ostfazoni o‘rganadilar.

Faktorizatsiya sharti ushbu ikki ostfazoning sof holat yo‘nalishidan tashqaridagi to‘ldiruvchi qismlari o‘zaro ortogonal bo‘lishini ta’minlaydi. Ushbu geometrik ortogonallik natijasida qurilgan ikki ortogonal proyektor uchun

\[ \rho\sigma=\sigma\rho=\tau \]

hosil bo‘ladi.

Boshqacha aytganda, manba mustaqilligi moment matritsadagi chiziqli bo‘lmagan tenglikning GNS Hilbert fazosida ma’lum ostfazolar ortogonalligiga aylanishi orqali qayta tiklanadi.

Skalyar kengaytma nima uchun kerak?

Tadqiqotchilarning ikkinchi maqsadi faktorizatsiya ma’lumotini saqlagan holda muammoni yana SDP sinfiga qaytarishdir.

Buning uchun har bir operator so‘zi \(\omega\) ga

\[ \kappa_{\omega} \]

nomli yangi skalyar kengaytma harfi qo‘shiladi.

Ideal holda bu harf

\[ \hat\kappa_{\omega} = \operatorname{Tr}_{\tau}(\hat\omega)\,1_{\mathcal H} \]

skalyar operatorini ifodalashi kerak.

Shuning uchun \(\kappa_{\omega}\) harflari boshqa barcha operator harflari bilan kommutatsiya qiladigan tarzda modellashtiriladi.

Dastlabki skalyar kengaytma g‘oyasi nega ishlamadi?

Maqolaning ilmiy jihatdan muhim xususiyatlaridan biri mualliflar oldingi versiyadagi xatoni ochiq tahlil qilganidir.

Dastlabki yondashuvda skalyar harf barcha operatorlar bilan kommutatsiya qilsa, u global Hilbert fazosida albatta

\[ \lambda\,1 \]

ko‘rinishidagi yagona skalyar bo‘ladi, deb faraz qilingan.

Hozirgi ish ko‘rsatadiki, bu xulosa umumiy holda noto‘g‘ri. GNS tasviri bevosita yig‘indi bloklariga ajralishi mumkin va skalyar kengaytma operatori har bir blokda turlicha skalyar qiymatga ega bo‘lishi mumkin:

\[ \hat\kappa_{\alpha} = \bigoplus_i \lambda_i 1_i. \]

Bunday holatda faqat o‘rtacha tengliklarni yuklash har bir blok ichida kerakli bilokal faktorizatsiyani kafolatlamaydi.

Qutblanish g‘oyasi xatoni qanday tuzatadi?

Yechim faqat chiziqli o‘rtacha tengliklarni emas, nol bo‘lishi kerak bo‘lgan musbat kvadratik ifodalarni ham yuklashdir.

Asosiy faktorizatsiya uchun yangi skalyar harflardan foydalanib

\[ \kappa_{\alpha\gamma} - \kappa_{\alpha}\kappa_{\gamma} \]

ifodasi tuziladi va uning kvadratining kutilgan qiymati nolga majburlanadi.

Manbaning intuitiv blok tasvirida bu

\[ \sum_i p_i \left| \lambda_i\mu_i-\nu_i \right|^2 = 0 \]

ko‘rinishiga keladi.

Barcha \(p_i\) qiymatlar manfiy bo‘lmagani uchun yig‘indining nol bo‘lishi tegishli tenglikni deyarli har bir blokda alohida bajarishga majbur qiladi.

Bu dastlabki versiyada yetishmagan kritik qadamdir.

Nega faqat \(\kappa_\alpha\) va \(\kappa_\gamma\) yetarli emas?

Tuzatilgan usul faqat Alice va Charlie so‘zlari skalyarlarini qo‘shmaydi. Barcha mos operator so‘zlari uchun

\[ \kappa_{\omega} \]

harflari aniqlanadi.

Buning sababi shuki,

\[ \langle (\hat\alpha\hat\gamma)^\dagger (\hat\alpha\hat\gamma) \rangle \]

ifodasi umumiy holda

\[ |\langle\hat\alpha\hat\gamma\rangle|^2 \]

bilan bir xil emas. Buning o‘rniga bevosita \(\kappa_{\alpha\gamma}\) skalyar kengaytmasi ishlatilganda kerakli qutblanish cheklovi qurilishi mumkin.

Skalyar kengaytma moment matritsasi

Yangi moment matritsasi \(\Omega^n\), ham standart o‘lchov harflarini, ham skalyar kengaytma so‘zlarini kodlaydigan momentlardan tuziladi.

Skalyar harflarning asosiy maqsadi

\[ \kappa_{\omega} \longleftrightarrow \operatorname{Tr}_{\tau}(\hat\omega) \]

munosabatini polinom optimallashtirish ichida ifodalashdir.

Tadqiqot bir-biriga yaqin ikki formulani beradi:

Ikki tuzilma texnik tafsilotlarda farq qilsa-da, ikkalasi ham bir xil proyektor-bilokal korrelyatsiya to‘plamiga yaqinlashadi.

Theorem 3.1: Ikkinchi yaqinlashuv natijasi

Maqolaning ikkinchi asosiy teoremasi:

Taqsimot skalyar kengaytma bilokal ierarxiyasining barcha darajalaridan o‘tsa va faqat shunda Projector Bilocal Quantum Distribution hisoblanadi.

Shunday qilib asosiy natija umumiy holda

\[ Q\text{ proyektor-bilokal} \]

\[ \Longleftrightarrow Q\text{ barcha faktorizatsiya-NPA darajalaridan o'tadi} \]

\[ \Longleftrightarrow Q\text{ barcha skalyar-kengaytma darajalaridan o'tadi} \]

ko‘rinishida ifodalanishi mumkin.

Skalyar kengaytma ierarxiyasi nega “konstruktiv bo‘lmagan” natija?

Standart NPA/GNS yondashuvida limit moment matritsasi ayrim hollarda operator tasvirini bevosita qayta qurishga imkon beradi.

Skalyar kengaytma isbotida esa limitda paydo bo‘lgan chiziqli funksional ekstremal yechimlar aralashmasi bo‘lishi mumkin. Yaqinlashuv bu aralashma ichida kerakli xususiyatlarga ega ekstremal yechimning mavjudligini kafolatlaydi.

Biroq umumiy holda SDP bergan limit ma’lumotidan “mana bu Hilbert fazosi va mana bu o‘lchov operatorlari” deb bevosita konkret bilokal kvant modelini chiqarish mumkin emas.

Shu sababli ish yaqinlashuvni mavjudlik teoremasi sifatida tavsiflaydi.

Rank-loop to‘xtatish mezoni nima uchun kerak?

Cheksiz ierarxiyaning barcha darajalarini yechish amalda mumkin emas. Shuning uchun maqola chekli o‘lchamli tasvirlarga mos keladigan to‘xtatish mezonini beradi.

Faktorizatsiya moment matritsasi uchun

\[ \operatorname{rank} \left( \Gamma^{N-1} \right) = \operatorname{rank} \left( \Gamma^{N} \right) \]

bo‘lganda rank loop yuz beradi.

Skalyar kengaytma matritsasi uchun mos shart

\[ \operatorname{rank} \left( \Omega^{N-1} \right) = \operatorname{rank} \left( \Omega^{N} \right) \]

dir.

Theorem 3.2 tegishli qo‘shimcha GNS shartlari bilan bu chekli rank-loop holati chekli o‘lchamli Projector Bilocal tasvir va chekli o‘lchamli Tensor Bilocal tasvir bilan ekvivalent ekanini ko‘rsatadi.

Bu natija ayniqsa muhim, chunki cheksiz o‘lchamlarda ajraladigan tensor va kommutator yondashuvlari chekli o‘lchamli bilokal modelda yana birlashadi.

Inflation-NPA usuli nima?

Inflation texnikasining asosiy g‘oyasi tarmoqdagi mustaqil manbalarning faraziy ravishda bir nechta mustaqil nusxasini yaratishdir.

Manbaning 25-sahifasidagi 2-rasmda ikki nusxali misol ko‘rsatilgan. Alice qaysi \(\rho\) nusxasidan, Charlie qaysi \(\sigma\) nusxasidan foydalanishini tanlashi mumkin; Bob esa bir \(\rho\) va bir \(\sigma\) nusxasining turli kombinatsiyalarini o‘lchashi mumkin.

Inflation darajasi \(m\) bo‘lganda

• Alice uchun \(m\) o‘lchov-operator nusxasi,
• Charlie uchun \(m\) nusxa,
• Bob uchun \(m^2\) turli manba-nusxa kombinatsiyasiga mos operatorlar

yaratiladi.

Yangi moment matritsasi

\[ \Xi^{n,m} \]

standart musbatlik va kommutatsiya shartlariga qo‘shimcha ravishda manba nusxalarining o‘rin almashish qobiliyatini ifodalovchi

\[ S_m\times S_m \]

permutatsiya simmetriyasiga mos bo‘lishi kerak.

2-rasmning asosiy xabari

Inflation texnikasida yaratilgan nusxalar yangi fizik manbalar borligini da’vo qilmaydi. Bu fikriy/algebraik ko‘paytirish usulidir.

Agar dastlabki taqsimot haqiqatan mustaqil ikki manbali bilokal modeldan kelgan bo‘lsa, manbalarning mustaqil nusxalari ham izchil modellashtirilishi kerak. Nusxalar orasida yuzaga keladigan permutatsiya va faktorizatsiya munosabatlari dastlabki taqsimot ustida yangi zarur cheklovlar hosil qiladi.

Inflation-NPA bilan ikki yangi ierarxiya orasidagi munosabat

Theorem 4.2 yetarlicha yuqori inflation darajasidagi mos

\[ \Xi^{n,m} \]

moment matritsadan shu darajaga mos skalyar kengaytma moment matritsa hosil qilish mumkinligini ko‘rsatadi.

Demak

\[ \text{inflation-NPA'dan o'tish} \Longrightarrow \text{skalyar kengaytmadan o'tish} \]

va asosiy yaqinlashuv teoremalari tufayli bilokal holatda proyektor-bilokal model olinadi.

Manba shuningdek keyinchalik Ligthart va Gross tomonidan isbotlangan teskari yo‘nalishni ham muhokama qiladi. Hozirgi natijalar birlashtirilganda bilokal ssenariyda faktorizatsiya NPA, skalyar kengaytma, qutblanish va inflation-NPA bir xil kommutator/projector bilokal yumshatmani tavsiflaydi.

Biroq bu ekvivalentlik sonli xarajat nuqtai nazaridan ekvivalentlik degani emas. Maqola isbotida skalyar-kengaytma darajasini yaratish uchun kerak bo‘ladigan inflation nusxalari soni juda tez o‘sishi mumkin; mualliflar bu bevosita hisoblash samaradorligi da’vosi emasligini aniq ta’kidlaydilar.

Umumiyroq tarmoqlarda nima uchun muammo chiqadi?

Bilokal tarmoqning muhim xususiyati Alice va Charlie umumiy manbani bo‘lishmasligidir. Shuning uchun ular o‘rtasida bevosita faktorizatsiya sharti mavjud.

Uchburchak tarmoqda esa

\[ A-B,\qquad B-C,\qquad C-A \]

tomon juftlarining har biri bitta manbani bo‘lishadi.

Bu holatda Alice–Charlie, Alice–Bob yoki Bob–Charlie uchun bilokal tarmoqdagidek bevosita mustaqillik faktorizatsiyasini yozib bo‘lmaydi.

Natijada faktorizatsiya va skalyar kengaytma ierarxiyalarining tabiiy umumlashtirishlari faqat standart NPA darajasiga qaytadi va tarmoq topologiyasining qo‘shimcha ma’lumotidan foydalana olmaydi.

3-rasm nimani ko‘rsatadi?

Manbaning 27-sahifasidagi 3-rasm ikkita murakkabroq tarmoq topologiyasini taqqoslaydi:

Uchburchak tarmoqdagi “shared random bit” misoli nega muhim?

Tadqiqot uchburchak tarmoq uchun oddiy, ammo kuchli ajratuvchi misol beradi:

\[ P_{ABC} = \frac12([000]+[111]). \]

Bu taqsimotda uchala tomon ham bir xil tekis tasodifiy bitni hosil qiladi.

Standart uch tomonli Bell ssenariysida bunday korrelyatsiya oson hosil qilinishi mumkinligi sababli, uchburchak tarmoqqa qo‘llangan standart NPA yoki unga tushadigan oddiy faktorizatsiya/skalyar-kengaytma testlari buni rad eta olmaydi.

Bunga qarshi Appendix D.2 inflation-NPA hatto faqat

\[ \Xi^{2,2} \]

darajada ham qarama-qarshilik hosil qilishini ko‘rsatadi.

Isbotning intuitiv mazmuni shuki: inflation simmetriyalari ayrim nusxalar bir xil tasodifiy bitni bo‘lishishini talab qilsa, mustaqil manba nusxalarining faktorizatsiyasi ayni ikki o‘zgaruvchi mustaqil bo‘lishi kerakligini aytadi. Bu ikki talab bir vaqtning o‘zida bajarila olmaydi.

Bu misol inflation yondashuvi umumiy tarmoq topologiyasini oddiy juft faktorizatsiya usullariga qaraganda batafsilroq kodlay olishini aniq ko‘rsatadi.

Sof holat sharti nega faqat texnik tanlov emas?

Projector Bilocal ta’rifida

\[ \tau=\rho\sigma \]

holati sof proyektor bo‘lishi talab qilinadi.

Standart tensor-ko‘paytma kvant nazariyasida aralash holat odatda qo‘shimcha Hilbert fazolari qo‘shilib soflashtirilishi mumkin. Maqolaning Appendix E.2 bo‘limi kommutatorga asoslangan bilokal modelda bu qadam avtomatik ravishda to‘g‘ri emasligini ko‘rsatadi.

Mualliflar sof holat sharti olib tashlanganda uch tomonli shared-random-bit taqsimotini ishlab chiqaradigan aniq aralash holat misolini quradilar. Biroq bu taqsimot haqiqiy bilokal mustaqillik bilan mos emas.

Shunday qilib oddiy purification manba kommutatsiya tuzilishini saqlamasligi ko‘rsatiladi.

c-purifiability nimani anglatadi?

Ushbu muammo asosida maqola c-purification deb ataladigan kommutator tuzilishiga mos alternativ tushunchani aniqlaydi.

Corollary E.1 ga ko‘ra bilokal modelda aralash holat shu ma’noda soflashtirilishi uchun va faqat shunda

\[ \operatorname{Tr}_{\tau} (\hat\alpha\hat\gamma) = \operatorname{Tr}_{\tau}(\hat\alpha) \operatorname{Tr}_{\tau}(\hat\gamma) \]

faktorizatsiya shartlari barcha Alice va Charlie so‘zlari uchun bajarilishi kerak.

Bu natija maqoladagi faktorizatsiya sharti shunchaki optimallashtirish texnikasi emas, balki bilokal manba mustaqilligini saqlovchi purification tuzilishi bilan ham bog‘liq ekanini ko‘rsatadi.

To‘rt tomonli yulduz tarmoqqa umumlashtirish qanchalik muvaffaqiyatli?

Appendix F markazda Bob joylashgan va uchta mustaqil manba Bobni Alice, Charlie va Dave bilan bog‘laydigan yulduz tarmoqni ko‘rib chiqadi.

Bu safar tashqi tomonlarning faqat juft faktorizatsiyasi yetarli emas. Masalan Alice–Charlie bilan Dave o‘rtasidagi uchlik faktorizatsiya tuzilishi ham alohida kodlanishi kerak.

Mualliflar Factorisation Star-shaped Trilocal NPA hierarchy ni taklif qiladilar va bu ierarxiyadan o‘tadigan taqsimotlar ma’lum Anti-state Projector Star-shaped modelga ega ekanini isbotlaydilar.

Biroq bilokal ssenariydagidek kuchli “agar va faqat agar” yaqinlashuv natijasi olinmaydi. Mualliflar qo‘llaridagi barcha faktorizatsiya farazlarini isbotda hali ishlatmaganliklari sababli tabiiyroq va ko‘proq cheklovchi tarmoq modeli olinishi mumkin, deb kutadilar.

Demak to‘rt tomonli yulduz natijasi umumiy tarmoqlar uchun yakunlangan nazariya emas, balki bilokal isbot qayerda qiyinlasha boshlashini ko‘rsatadigan tadqiqot yo‘nalishidir.

Bilokal Tsirelson muammosi joriy versiyada qanday ko‘rib chiqiladi?

Maqolaning dastlabki versiyasida ochiq qolgan savollardan biri Projector Bilocal model bilan tabiiy \(C^*\)-algebraik commuting-observable bilokal model o‘rtasidagi munosabat edi.

Appendix G.2 keyingi Ligthart–Gross natijasini joriy matnga kiritadi. Unga ko‘ra Projector Bilocal Quantum Distribution to‘plami tegishli commuting-observable bilokal model bilan ekvivalentdir.

Bundan ham muhimrog‘i, chekli o‘lchamli holatda bu tuzilma tensor-ko‘paytma bilokal model bilan ham ekvivalentdir.

Joriy maqola erishgan birlashtirilgan manzara quyidagicha:

Umumiy kvant tarmoqlari uchun ochiq muammo nima?

Bilokal holat endi katta darajada tushunilgan bo‘lsa-da, maqolaning kelajak tadqiqotlar uchun eng muhim xabari umumiy tarmoqlarda xuddi shunday to‘liq manzara yo‘qligidir.

Xususan, inflation-NPA ierarxiyasi ixtiyoriy kvant tarmoqlarida tabiiy \(C^*\)-algebraik korrelyatsiyalar to‘plamiga haqiqatan yaqinlashadimi, bu savol ochiq qolmoqda.

Bilokal isbotda ishlatilgan operator-algebraik ajratishni bir nechta ulanishga ega tomonlarni bir vaqtning o‘zida va izchil tarzda “bo‘lish” uchun qanday kengaytirish noma’lum.

Tadqiqot bu savolni umumiy kvant tarmoq korrelyatsiyalarining algoritmik tavsifi nuqtai nazaridan asosiy ochiq muammolardan biri deb belgilaydi.

Tadqiqot qo‘llab-quvvatlaydigan natijalar

• Bilokal kvant tarmog‘ida manba mustaqilligi moment matritsaga Alice–Charlie faktorizatsiya shartlari orqali qo‘shilishi mumkin.
• Faktorizatsion bilokal NPA ierarxiyasining barcha darajalaridan o‘tadigan taqsimotlar aynan Projector Bilocal Quantum Distributions to‘plamidir.
• Chiziqli bo‘lmagan faktorizatsiya shartlari tegishli skalyar kengaytma va qutblanish tuzilmasi bilan SDP ierarxiyasiga aylantirilishi mumkin.
• Tuzatilgan skalyar kengaytma ierarxiyasi ham ayni Projector Bilocal to‘plamiga yaqinlashadi.
• Eski skalyar-kengaytma yaqinlashuv argumentidagi muammo skalyar operatorlar GNS tasvirida turli bloklarda turli qiymatlar olishi mumkinligidir.
• Kvadratik qutblanish cheklovlari faktorizatsiya tengliklarini tegishli ekstremal bloklarda qayta yuklashni ta’minlaydi.
• Rank-loop sharti chekli o‘lchamli bilokal tasvirlar uchun to‘xtatish mezonini beradi.
• Bilokal holatda inflation-NPA, faktorizatsiya, skalyar kengaytma va qutblanish yondashuvlari ayni commuting/projector bilokal yumshatma bilan bog‘liq.
• Chekli o‘lchamlarda projector/commuting bilokal va tensor bilokal formulirovkalar ekvivalentdir.
• Uchburchak tarmoqda oddiy faktorizatsiya va skalyar kengaytma usullari tarmoq topologiyasini ajrata olmasa, inflation-NPA shared-random-bit taqsimotini rad eta oladi.
• Sof va aralash holat formulirovkalari kommutatorga asoslangan tarmoq modellarida avtomatik ekvivalent emas.

Tadqiqot qo‘llab-quvvatlamaydigan yoki isbotlamaydigan natijalar

• Tadqiqot fizik tensor-bilokal korrelyatsiyalar to‘plamining cheksiz o‘lchamli umumiy holatda hisoblanadigan to‘liq tavsifini bermaydi.
• SDP ierarxiyasining ma’lum qo‘llanmada nechta darajada yaqinlashishiga doir universal tezlik kafolati berilmaydi.
• Skalyar kengaytma ierarxiyasining limit yechimidan umumiy holda konkret kvant Hilbert-fazosi modelini bevosita chiqarish mumkinligi ko‘rsatilmaydi.
• Bilokal ssenariydagi yaqinlashuv natijalari barcha tarmoq topologiyalariga avtomatik umumlashishi isbotlanmaydi.
• Inflation-NPA ixtiyoriy kvant tarmoqlarida to‘liq ekanligi isbotlanmagan.
• To‘rt tomonli yulduz tarmoq uchun bilokal holatdagidek kuchli ikki yo‘nalishli yaqinlashuv teoremasi olinmaydi.
• Tadqiqot kvant qurilmada tajriba, chirmashuv yaratish, kriptografik kalit yaratish yoki fizik o‘lchov unumdorligini bajarmaydi.
• SDP amalga oshirilishi past hisoblash xarajati degani emas; moment matritsalari ierarxiya darajasi bilan tez o‘sishi mumkin.

Tadqiqot Usuli va Natijalari

Tadqiqot dizayni

Tadqiqot eksperimental emas, matematik-nazariy kvant axborot izlanishidir. Asosiy usul; noncommutative polynomial optimisation, moment/Hankel matritsalari, musbat yarim aniqlanganlik, operator algebralari, GNS tasvir nazariyasi, state-polynomial optimallashtirish, qutblanish cheklovlari va kvant inflation usulidan iborat.

Yangi eksperimental namuna, fizik qurilma yoki sonli ma’lumotlar to‘plami ishlatilmagan. Maqolaning tekshirish shakli teoremalar va isbotlardir.

Standart NPA moment matritsasi

Ierarxiya darajasida moment matritsaning qator va ustunlari uzunligi ko‘pi bilan \(n\) bo‘lgan operator so‘zlari bilan indekslanadi.

Asosiy talablar:

• \(\Gamma^n_{1,1}=1\),
• \(\Gamma^n\succeq0\),
• bir xil operator so‘zini ifodalovchi momentlarning tengligi,
• proyektor va tomonlararo kommutatsiya munosabatlarining saqlanishi,
• kuzatilgan \(q(abc|xyz)\) taqsimoti bilan moslik.

Standart Bell ssenariysida bu tuzilma commuting-observable kvant korrelyatsiyalar to‘plamiga yaqinlashadi.

Faktorizatsiya moment matritsasi

Bilokal tuzilma uchun standart shartlarga qo‘shiladigan yangi ilmiy cheklov

\[ \Gamma^n_{\alpha,\gamma} = \Gamma^n_{\alpha,1} \Gamma^n_{1,\gamma} \]

tengligidir.

Bu shart faqat Alice o‘lchovlaridan tashkil topgan \(\alpha\) bilan faqat Charlie o‘lchovlaridan tashkil topgan \(\gamma\) so‘zlari uchun qo‘llanadi va tarmoqning ikki mustaqil manbasini algebraik tarzda ifodalaydi.

Theorem 2.3 ning texnik natijasi

Skalyar kengaytma uchun ishlatilgan polinom doirasi

Har bir standart operator so‘zi \(\omega\) uchun skalyar kengaytma \(\kappa_\omega\) qo‘shiladi. Bu o‘zgaruvchilar o‘zaro va standart operator harflari bilan kommutatsiya qiladi.

Faktorizatsiya cheklovi

\[ c_{\alpha,\gamma} = \kappa_{\alpha\gamma} - \kappa_\alpha\kappa_\gamma \]

bilan yoziladi.

Qutblanish formulirovkasida moment funksionaliga

\[ L_\Omega \left( (\kappa_c)^2 \right) = 0 \]

sharti qo‘llanadi.

Xuddi shuningdek maqsad ehtimollik taqsimoti bilan moslik uchun

\[ f= \kappa_{A_{a|x}B_{b|y}C_{c|z}} - q(abc|xyz) \]

aniqlanadi va

\[ L_\Omega \left( (\kappa_f)^2 \right) = 0 \]

majbur qilinadi.

Boundedness sharti

Qutblanish versiyasining yaqinlashuv isbotida skalyar so‘zlar chegaralangan bo‘lib qolishi kerak. Shu sabab Definition 3.2 da qo‘shimcha musbat yarim aniqlanganlik sharti mavjud.

Bu texnik shart quadratic module ning Archimedean xususiyatini ta’minlash va limitda ishlatiladigan Positivstellensatz/Kadison–Dubois argumentlarini qo‘llash imkonini berish uchundir.

Yaqinlashuvning ekstremal-nuqta mantig‘i

Limitda olingan musbat chiziqli funksional mos ekstremal funksionallar ustida o‘lchov bilan ifodalanadi.

Ekstremal funksionallar skalyar kengaytma algebrasida multiplikativ xatti-harakat ko‘rsatadi:

\[ K(\kappa_\omega\kappa_\nu) = K(\kappa_\omega)K(\kappa_\nu). \]

Kvadratik cheklovlar integralining nol bo‘lishi musbatlik tufayli bu tengliklar deyarli barcha ekstremal komponentlarda alohida bajarilishini ta’minlaydi.

Ulardan bitta ekstremal komponent tanlanib faktorizatsion bilokal moment matritsa quriladi va Theorem 2.3 qo‘llanadi.

Stopping criterion natijasi

Theorem 3.2 to‘rtta tuzilmani bog‘laydi:

Inflation moment matritsasining usuli

Inflation-NPA da \(m\) ta mustaqil manba nusxasi yaratiladi. Operatorlar nusxa indekslari bilan kengaytiriladi va moment matritsa

\[ \Xi^{n,m} \]

tuziladi.

Qo‘shimcha asosiy shart manba nusxalarining permutatsiyasiga nisbatan invariantlikdir:

\[ S_m\times S_m. \]

Diagonal nusxalardagi parallel tajribalar dastlabki taqsimotning mustaqil ko‘paytmalarini qayta hosil qilishi kerak.

Bu shartlar faqat chiziqli moment tengliklari va musbat yarim aniqlanganlik bilan ifodalanishi mumkinligi sabab test yana SDP shaklida bo‘ladi.

Inflation dan skalyar kengaytmaga o‘tish

Theorem 4.2 isboti har bir skalyar kengaytma so‘ziga boshqa inflation nusxasini tayinlaydi.

Ierarxiya darajasi \(n\) va o‘lchov operatori alifbosining kattaligi \(d\) bo‘lganda kerakli inflation darajasi isbotda juda tez o‘sadi; Appendix D dagi ochiq qurilishda

\[ m > n\sum_{i=0}^{n}d^i \]

ko‘rinishidagi yetarli nusxa soni ishlatiladi.

Bu o‘sish faqat nazariy reduksiya vositasidir. Manba bu inflation-NPA ning real sonli samaradorligi bo‘yicha yuqori chegara yoki optimal algoritm emasligini alohida ta’kidlaydi.

Uch kritik rasmning ilmiy vazifasi

Manba tasvirlarini qayta foydalanish litsenziyasi ochiq Creative Commons moslashtirish litsenziyasi bo‘lmagani uchun bu yerda tasvirlar ko‘chirilmagan; ilmiy xabarlari original HTML jadvallari va Verianla Live jarayoni bilan qayta ifodalangan.

Tadqiqotning kuchli jihatlari

• Bilokal manba mustaqilligini standart NPA moment matritsasiga aniq faktorizatsiya sharti bilan bog‘lashi.
• Birinchi ierarxiya uchun to‘liq yaqinlashuv isbotini berishi.
• Chiziqli bo‘lmagan ierarxiyani SDP sinfiga olib kiruvchi tuzatilgan skalyar-kengaytma tuzilmasini qurishi.
• Oldingi preprintdagi noto‘g‘ri yaqinlashuv argumentini ochiq tashxis qilib, tuzatishi.
• State-polynomial optimallashtirish va qutblanish texnikalarini bilokal kvant tarmoq muammosida birlashtirishi.
• Chekli o‘lchamli holatlar uchun rank-loop to‘xtatish mezonini taqdim etishi.
• Inflation-NPA bilan o‘z ierarxiyalari orasidagi matematik aloqani ko‘rsatishi.
• Uchburchak tarmoq misoli orqali umumiy tarmoqlarda qaysi ma’lumot oddiy faktorizatsiyada yo‘qolishini konkretlashtirishi.
• Sof/aralash holat farqi kommutatorga asoslangan tarmoq modellarida nega muhimligini aniq qarshi misol bilan ko‘rsatishi.

Tadqiqotning cheklovlari

• Yaqinlashuv maqsadi umumiy cheksiz o‘lchamli holatda fizik Tensor Bilocal to‘plamning o‘zi emas, Projector/commuting bilokal yumshatmadir.
• Faktorizatsiya ierarxiyasi chiziqli bo‘lmagan cheklovlari sabab bevosita SDP emas.
• Skalyar kengaytma ierarxiyasining yaqinlashuvi umumiy holda konkret kvant modelini algoritmik chiqarishni kafolatlamaydi.
• Ierarxiyalar yaqinlashuv tezligi bo‘yicha amaliy daraja chegarasi berilmaydi.
• Moment va inflation matritsalar hajmi daraja oshgani sari tez o‘sadi.
• Bilokal ssenariydan tashqaridagi umumiy tarmoqlar uchun to‘liq yaqinlashuv tavsifi olinmagan.
• To‘rt tomonli yulduz tarmoq natijasi faqat bir yo‘nalishli va tabiiy projector-network modelning to‘liq tavsifi emas.
• Uchburchak tarmoqda faktorizatsiya/skalyar-kengaytma umumlashtirishlari standart NPA dan tashqariga chiqa olmaydi.

Manba va Usul Qaydi

To‘liq original ish nomi: Two Convergent NPA-like Hierarchies for the Quantum Bilocal Scenario

Sarlavha qaydi: Yuklangan PDF sarlavhasi Title Case ko‘rinishida. arXiv va ayrim jurnal metama’lumotlari ayni sarlavhani “Two convergent NPA-like hierarchies for the quantum bilocal scenario” tarzida sentence case ko‘rinishida beradi. Bu faqat katta-kichik harf taqdimotidagi farq; bu yerda yuklangan PDF ning ko‘rinadigan original sarlavhasi saqlangan.

Mualliflar: Marc-Olivier Renou; Xiangling Xu; Laurens T. Ligthart.

Mualliflar tartibi: Manbada berilgan tartib aynan saqlangan.

Teng hissa: Manbada teng birinchi muallif yoki teng hissa belgisi ko‘rsatilmagan.

Mas’ul muallif: Xiangling Xu. Yuklangan PDF da † belgisi va xu.xiangling@inria.fr aloqa manzili berilgan; hakamlikdan o‘tgan jurnal qaydi ham Xu ni correspondence author sifatida ko‘rsatadi.

Yuklangan PDF dagi affiliatsiyalar: Inria Paris-Saclay; CPHT, École Polytechnique / Institut Polytechnique de Paris; LIX, École Polytechnique / Institut Polytechnique de Paris; ICFO-Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology; Institute for Theoretical Physics, ETH Zürich; Institute for Theoretical Physics, University of Cologne.

Affiliatsiya nomuvofiqligi: Yuklangan arXiv v5 PDF da Laurens T. Ligthart nomida yuqori indeks 5 ko‘rinadi; 5-raqam ETH Zürich affiliatsiyasidir. Shu PDF 6-raqamli University of Cologne affiliatsiyasini ham sanaydi, ammo ko‘rinadigan muallif qatorida 6-raqamga ochiq moslik yo‘q. Hakamlikdan o‘tgan Journal of Mathematical Physics versiyasida Ligthart affiliation 6, University of Cologne bilan moslangan. Ushbu Verianla matnida manba farqi yashirincha tuzatilmagan.

Ilmiy soha: Kvant axborot nazariyasi, kvant tarmoqlari, kvant nolokalligi, operator algebralari, nokommutativ polinom optimallashtirish va yarim aniqlangan dasturlash.

Yuklangan manba: arXiv:2210.09065v5 [quant-ph].

Birinchi arXiv yuborilishi: 17 oktyabr 2022.

Yuklangan v5 sanasi: 20 yanvar 2026.

arXiv DOI: 10.48550/arXiv.2210.09065.

Hakamlikdan o‘tgan nashr: Journal of Mathematical Physics, Volume 67, Issue 1, Article 012203 (2026).

Hakamlikdan o‘tgan versiya DOI: 10.1063/5.0211008.

Nashriyot: AIP Publishing.

Hakamlik holati: Yuklangan fayl arXiv repository versiyasidir. Shu ish keyinchalik hakamlikdan o‘tgan Journal of Mathematical Physics jurnalida chop etilgan.

Hakamlikdan o‘tgan versiya nashr jarayoni: Jurnal qaydida yuborish 28 mart 2024, qabul 15 dekabr 2025 va onlayn nashr 9 yanvar 2026 deb ko‘rsatilgan.

Litsenziya: Yuklangan arXiv faylining PDF metama’lumoti arXiv non-exclusive distribution license ga ishora qiladi. Hakamlikdan o‘tgan Journal of Mathematical Physics versiyasi AIP Publishing ga berilgan eksklyuziv nashr litsenziyasi ostida chop etilgan. Shu sabab manba rasmlari bevosita ko‘chirilmagan, ularning ilmiy mazmuni Verianla ga tegishli original jadvallar va jarayon izohlari bilan yetkazilgan.

Versiya tarixi va muhim tuzatish: Ishning birinchi preprint versiyasidagi skalyar kengaytma ierarxiyasining yaqinlashuv isboti noto‘g‘ri edi. Joriy manba buni ochiq aytadi; xato skalyar kengaytma operatorlari umumiy GNS tasvirida bitta global skalyar bo‘lishi shart emasligidan kelib chiqishini tushuntiradi. Joriy v5 da qutblanish va state-polynomial optimallashtirish natijalaridan foydalanilib, tuzatilgan yaqinlashuvchi ierarxiya beriladi.

Muallif hissasi haqida manba ma’lumoti: Alohida CRediT jadvali yo‘q. “Note Added” bo‘limiga ko‘ra Laurens T. Ligthart loyihaning ikkinchi bosqichida ishga qo‘shilgan va tuzatilgan ierarxiya hamda maqolaning rivojiga hissa qo‘shgan.

Moliyalashtirish: M.-O. Renou uchun PCI2021-122022-2B va manbada sanalgan Ispaniya/YI, QuantumCAT, ERC CERQUTE va AXA qo‘llab-quvvatlashlari; X. Xu va M.-O. Renou uchun INRIA va CIEDS DEPARTURE, ANR LINKS va QuantERA/Horizon dastur qo‘llab-quvvatlashlari bildirilgan.

Ma’lumotlar mavjudligi: Manbaning ochiq bayonotiga ko‘ra tadqiqotda yangi ma’lumot yaratilmagan yoki tahlil qilinmagan; shu sabab ma’lumot almashish tatbiq etilmaydi.

Manfaatlar to‘qnashuvi: Yuklangan arXiv v5 matnida alohida conflict-of-interest bayonoti aniqlanmagan. Bundan “manfaatlar to‘qnashuvi yo‘q” degan qo‘shimcha xulosa chiqarilmagan.

Tadqiqot usuli: Noncommutative polynomial optimisation; NPA moment matritsalari; chiziqli bo‘lmagan manba-faktorizatsiya cheklovlari; GNS tasvir qurilishi; scalar extension/state-polynomial moment usullari; qutblanish tengliklari; Positivstellensatz va ekstremal-funksional argumentlar; rank-loop tahlili; quantum inflation va tarmoq topologiyasi taqqoslashlari.

Ilmiy mazmun chegarasi: Ushbu Verianla maqolasidagi ta’riflar, teoremalar, formulalar, isbot intuitsiyalari, uchburchak/yulduz tarmoq muhokamalari, sof-aralash holat misoli va ochiq muammolar foydalanuvchi yuklagan 56 sahifalik arXiv v5 ishidan tayyorlangan. Tashqi manbalar faqat nashr identifikatori, hakamlikdan o‘tgan jurnal qaydi, DOI, nashr sanalari va nashr litsenziyasini bibliografik tekshirish uchun ishlatilgan; manba tashqarisidan yangi ilmiy natija qo‘shilmagan.

Asosiy talqin chegarasi: “Yaqinlashuvchi ierarxiya” fizik kvant qurilmasining vaqt o‘tishi bilan maqsadga yaqinlashishini anglatmaydi. Bu yerda yaqinlashuv ierarxiya darajasi oshgani sayin moment-matritsa asosidagi tashqi yaqinlashuv to‘plamlari ma’lum matematik kvant-korrelyatsiya to‘plamini tavsiflashini anglatadi.

Verianla Live qaydi: Manbada eksperimental miqdoriy qator bo‘lmagani uchun `vlive-bar` yoki `vlive-line` ishlatilmagan. `vlive-process` faqat manbada qurilgan matematik bog‘liqlik zanjirini ko‘rsatadi; manbada yo‘q son, oraliq natija yoki tajriba bosqichini qo‘shmaydi.