Utafiti huu unachunguza tatizo la kubainisha kwa ukadiriaji wa nje ni usambazaji upi wa uwezekano katika mitandao ya quantum ya bilocal, ambamo vyanzo viwili huru vya quantum vinasambazwa kati ya wahusika watatu, unaolingana na nadharia ya quantum. Watafiti wanapanua mbinu ya kawaida ya Navascués–Pironio–Acín (NPA) ili kuzingatia uhuru wa vyanzo katika mtandao na kuunda ngazi mbili zinazokaribia kikomo: ngazi ya bilocal NPA ya factorization yenye masharti yasiyo ya mstari ya uhuru, na ngazi ya bilocal ya scalar extension inayogeuza masharti hayo kuwa muundo wa semidefinite programming kupitia vigezo vya upanuzi wa skala. Nadharia kuu inaonyesha kwamba ngazi zote mbili, zikivukwa katika viwango vyote, hukaribia hasa seti ileile ya Projector Bilocal Quantum Distributions. Hata hivyo, katika hali ya jumla ya vipimo visivyo na kikomo, seti hii ni relaxation ya seti ya kimwili ya tensor-product bilocal correlations; kwa hiyo matokeo hayapaswi kutafsiriwa kama uainishaji wa moja kwa moja unaoweza kukokotolewa wa correlations zote za bilocal za kimwili.

Tofauti muhimu zaidi kwa matumizi ya vitendo ni kwamba ngazi ya kwanza inalazimisha uhuru wa vyanzo moja kwa moja kupitia sharti lisilo la mstari la factorization

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

ilhali ngazi ya pili inasimba taarifa hiyo ya uhuru kwa herufi mpya za skala na usawa wa quadratic unaotegemea polarization. Kwa njia hii, muundo wa pili unaweza kupimwa katika kila kiwango chenye kikomo kama semidefinite program (SDP).

Makala pia inalinganisha mbinu ya inflation-NPA na ngazi hizi mbili, inatoa kigezo cha kusimamisha cha rank-loop kwa hali za vipimo vyenye kikomo, na kuonyesha ugumu wa kupanua mbinu zaidi ya mtandao wa bilocal. Hasa katika mtandao wa pembetatu, mbinu rahisi za factorization na scalar extension haziwezi kuzalisha masharti ya ziada yanayotokana na topolojia ya mtandao, ilhali inflation-NPA bado inaweza kutoa masharti yenye maana.

Tatizo la msingi ni nini?

Mojawapo ya matatizo ya msingi katika nadharia ya taarifa ya quantum ni kubainisha ni usambazaji upi wa pamoja wa uwezekano unaweza kuzalishwa na mechanics ya quantum pale wahusika waliotengana wanapofanya vipimo vya ndani kwenye mfumo wa pamoja wa quantum.

Katika senario ya kawaida ya Bell ya wahusika watatu, Alice, Bob na Charlie hupokea sehemu kutoka hali moja ya pamoja ya quantum. Viingizo vya vipimo vikiwa \(x,y,z\) kwa mpangilio huo, na matokeo yakiwa \(a,b,c\), usambazaji huandikwa kwa sheria ya Born kama

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

Kwa namna hii huonyeshwa.

Ngazi ya NPA, badala ya kutafuta kila hali ya quantum na kila kipimo kinachowezekana moja baada ya nyingine, huangalia kama moment matrices zinazoundwa kutoka kwa waendeshaji wa vipimo zinaweza kuwa positive semidefinite. Kadiri kiwango cha ngazi kinavyoongezeka, maneno marefu zaidi ya waendeshaji hujumuishwa na jaribio huwa kali zaidi.

Kwa nini ngazi ya NPA haitoshi moja kwa moja katika mitandao ya quantum?

Katika senario ya bilocal hakuna chanzo kimoja cha pamoja. Badala yake kuna vyanzo viwili huru:

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

Alice hupokea mfumo kutoka chanzo cha kwanza, Charlie kutoka chanzo cha pili, huku Bob akipokea mfumo kutoka vyanzo vyote viwili. Kielelezo 1(b) kwenye ukurasa wa 4 wa chanzo kinaonyesha topolojia hii wazi: mtandao ni

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

ndivyo mtandao unavyoundwa.

Katika modeli ya tensor bilocal, uwezekano hutolewa na

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

hivyo ndivyo uwezekano unavyotolewa.

Taarifa ya ziada ya kimwili iliyo muhimu hapa ni kwamba vyanzo \(\rho\) na \(\sigma\) ni huru. Moment matrix ya kawaida ya NPA inaweza kuona sifa za algebra za waendeshaji wa vipimo kama projectivity, Hermiticity na commutation kati ya wahusika tofauti; lakini haiwezi, yenyewe pekee, kusimba uhuru wa vyanzo.

Ujumbe mkuu wa kisayansi wa Kielelezo 1

Jedwali hili ni uwasilishaji upya wa maandishi uliotengenezwa kwa Verianla wa ujumbe wa kisayansi wa Kielelezo 1 katika chanzo; picha ya chanzo haijanakiliwa moja kwa moja.

Tofauti kati ya modeli za Tensor Bilocal na Projector Bilocal ni nini?

Ufafanuzi wa kimwili ulio wa asili zaidi ni modeli ya Tensor Bilocal Quantum Distribution. Hapa nafasi ya Hilbert hugawanywa wazi kama

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

na hali mbili huru huishi mtawalia katika mifumo \(A-B_L\) na \(B_R-C\).

Seti lengwa ambayo ngazi za utafiti hukaribia ni seti pana zaidi ya Projector Bilocal Quantum Distributions. Hapa waendeshaji wote wanaweza kuwepo kwenye nafasi moja ya Hilbert ya kimataifa \(\mathcal H\).

Kwa vyanzo viwili, projectors \(\rho\) na \(\sigma\) huchaguliwa na inahitajika kwamba

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

iwe projector inayolingana na hali safi.

Usambazaji wa uwezekano huandikwa kama

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

na hivyo huandikwa.

Mbali na waendeshaji wa vipimo wa wahusika tofauti ku-commute, masharti

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

hutumika. Haya ni uwakilishi katika modeli ya commutator wa wazo kwamba Alice hatakiwi kutegemea chanzo cha pili na Charlie hatakiwi kutegemea chanzo cha kwanza.

Katika hali ya jumla ya vipimo visivyo na kikomo, modeli hii ni pana zaidi kuliko modeli ya tensor-bilocal ya kimwili. Hata hivyo, matokeo ya baadaye yaliyonukuliwa katika chanzo yanarejesha usawa wa modeli zinazohusika za bilocal katika vipimo vyenye kikomo.

Mbinu mpya ya kwanza: Ngazi ya Factorization Bilocal NPA

Moment matrix ya kawaida ya NPA, \(\Gamma^n\), huwekewa faharasa kwa maneno ya waendeshaji wa vipimo yenye urefu usiozidi \(n\). Positive semidefiniteness na mahusiano ya projector/commutation huhifadhiwa kama katika NPA ya kawaida.

Taarifa mpya ya mtandao wa bilocal ni kwamba Alice na Charlie wanatoka kwenye vyanzo huru. Kwa hiyo kwa neno \(\alpha\) linaloundwa tu na waendeshaji wa Alice na neno \(\gamma\) linaloundwa tu na waendeshaji wa Charlie, inatarajiwa

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

uhusiano huu unatarajiwa.

Katika lugha ya moment matrix, sharti hili huandikwa

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

hivyo huandikwa.

Wazo hili moja la ziada hubadilisha moment matrix ya kawaida ya NPA kuwa Factorisation Bilocal Moment Matrix.

Kwa nini ngazi ya factorization si SDP ya vitendo moja kwa moja?

Positive semidefiniteness na mahusiano ya kawaida ya NPA ni masharti ya mstari katika vipengele vya moment matrix. Lakini

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

ina bidhaa ya moments mbili zisizojulikana upande wa kulia.

Kwa hiyo tatizo linatoka nje ya muundo wa masharti ya mstari/affine unaohitajika na semidefinite programming. Waandishi kwa hiyo wanaiona ngazi ya factorization kama uainishaji thabiti wa kinadharia, si kama zana ya moja kwa moja ya nambari ya SDP.

Theorem 2.3: Matokeo ya kwanza ya convergence

Nadharia kuu ya kwanza ya utafiti huweka usawa ufuatao:

Usambazaji wa wahusika watatu hupita viwango vyote vya ngazi ya factorization bilocal NPA ikiwa na tu ikiwa ni Projector Bilocal Quantum Distribution.

Hii si familia ya majaribio yanayotoa masharti ya lazima pekee. Katika kikomo cha ngazi isiyo na mwisho, hutoa uainishaji kamili wa seti lengwa ya projector-bilocal.

Wazo la GNS katika uthibitisho wa convergence

Mwelekeo wa mbele wa uthibitisho ni wa moja kwa moja: kutoka modeli halisi ya projector-bilocal inaweza kujengwa moment matrix inayolingana katika kila kiwango.

Katika mwelekeo wa kinyume, hudhaniwa kwamba matrices zinazolingana zipo katika viwango vyote. Kwanza, kutoka kwenye subsequence inayofaa hupatikana moment matrix isiyo na kikomo

\[ \Gamma^\infty \]

moment matrix hupatikana.

Kisha, kwa namna inayofanana na uthibitisho wa kawaida wa NPA, uwakilishi wa aina ya Gelfand–Naimark–Segal (GNS) hutumika kujenga nafasi ya Hilbert, projector ya hali safi na waendeshaji wa vipimo wa Alice, Bob na Charlie.

Hatua mpya ya kiufundi kwa mtandao wa bilocal ni kujenga projectors \(\rho\) na \(\sigma\). Waandishi huchunguza subspace inayozalishwa na waendeshaji wa Alice juu ya state vector na subspace inayozalishwa na waendeshaji wa Charlie.

Sharti la factorization huhakikisha kwamba sehemu za ziada za subspaces hizi mbili nje ya mwelekeo wa hali safi ni orthogonal. Kutokana na orthogonality hii ya kijiometri, projectors mbili orthogonal zinazojengwa hutimiza

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

hupatikana.

Kwa maneno mengine, uhuru wa vyanzo hujengwa upya kwa kubadilisha usawa usio wa mstari katika moment matrix kuwa orthogonality ya subspaces maalumu katika nafasi ya GNS Hilbert.

Kwa nini scalar extension inahitajika?

Lengo la pili la watafiti ni kurudisha tatizo kwenye darasa la SDP huku wakihifadhi taarifa ya factorization.

Kwa kusudi hili, kwa kila neno la operator \(\omega\) huongezwa

\[ \kappa_{\omega} \]

kama herufi mpya ya scalar extension.

Kimsingi herufi hii inapaswa kuwakilisha operator ya skala

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

operator huyo wa skala huwakilishwa.

Kwa hiyo herufi \(\kappa_{\omega}\) humodeliwa ili zi-commute na herufi nyingine zote za operator.

Kwa nini wazo la kwanza la scalar extension halikufanya kazi?

Sifa muhimu ya kisayansi ya makala ni kwamba waandishi wanachambua wazi kosa lililokuwepo katika toleo la awali.

Katika mbinu ya kwanza, kutoka kwa ukweli kwamba herufi ya skala ina-commute na waendeshaji wote, ilidhaniwa kuwa katika nafasi ya Hilbert ya kimataifa lazima iwe skala moja ya aina

\[ \lambda\,1 \]

kama skala moja ya kimataifa.

Utafiti wa sasa unaonyesha kwamba hitimisho hili si sahihi kwa ujumla. Uwakilishi wa GNS unaweza kugawanyika katika direct-sum blocks na operator ya scalar extension inaweza kuwa na thamani tofauti ya skala katika kila block:

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

Katika hali hiyo, kulazimisha usawa wa wastani pekee hakuhakikishi factorization inayohitajika ndani ya kila block.

Wazo la polarization linarekebishaje kosa hilo?

Suluhisho ni kulazimisha si tu usawa wa wastani wa mstari, bali pia vipengele chanya vya quadratic vinavyopaswa kuwa sifuri.

Kwa factorization ya msingi, kwa kutumia herufi mpya za skala huundwa

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

na expected value ya mraba wake hulazimishwa kuwa sifuri.

Katika uwasilishaji wa block wa kueleweka katika chanzo, hii huwa

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

kwa muundo huo.

Kwa kuwa thamani zote \(p_i\) si hasi, jumla kuwa sifuri hulazimisha usawa husika kutimizwa karibu katika kila block kivyake.

Hii ndiyo hatua muhimu iliyokosekana katika toleo la kwanza.

Kwa nini \(\kappa_\alpha\) na \(\kappa_\gamma\) pekee hazitoshi?

Mbinu iliyorekebishwa haiongezi tu scalar za maneno ya Alice na Charlie. Kwa maneno yote yanayofaa ya operator, herufi

\[ \kappa_{\omega} \]

hufafanuliwa.

Sababu ni kwamba

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

kwa ujumla si sawa na

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

Lakini scalar extension ya moja kwa moja \(\kappa_{\alpha\gamma}\) ikitumika, sharti linalotakiwa la polarization linaweza kujengwa.

Moment matrix ya scalar extension

Moment matrix mpya \(\Omega^n\) huundwa kutoka moments zinazowakilisha herufi za kawaida za vipimo pamoja na maneno ya scalar extension.

Lengo kuu la herufi za skala ni kuwakilisha uhusiano

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

ndani ya polynomial optimisation.

Utafiti hutoa formulation mbili zinazokaribiana:

Ingawa miundo hii miwili hutofautiana katika maelezo ya kiufundi, yote miwili hukaribia seti ileile ya projector-bilocal correlations.

Theorem 3.1: Matokeo ya pili ya convergence

Nadharia kuu ya pili ya makala:

Usambazaji hupita viwango vyote vya ngazi ya bilocal scalar extension ikiwa na tu ikiwa ni Projector Bilocal Quantum Distribution.

Kwa hiyo matokeo kuu yanaweza kuandikwa kwa ujumla kama

\[ Q\text{ ni projector-bilocal} \]

\[ \Longleftrightarrow Q\text{ hupita viwango vyote vya factorization-NPA} \]

\[ \Longleftrightarrow Q\text{ hupita viwango vyote vya scalar-extension} \]

kwa namna hii.

Kwa nini ngazi ya scalar extension ni matokeo “yasiyo ya kujenga moja kwa moja”?

Katika mbinu ya kawaida ya NPA/GNS, limit moment matrix katika baadhi ya hali inaweza kuruhusu kujengwa upya moja kwa moja kwa uwakilishi wa operator.

Katika uthibitisho wa scalar extension, linear functional inayojitokeza katika kikomo inaweza kuwa mchanganyiko wa suluhisho extreme. Convergence huhakikisha uwepo wa extreme solution yenye sifa zinazohitajika ndani ya mchanganyiko huo.

Lakini kwa ujumla haiwezekani kutoa moja kwa moja modeli mahususi ya bilocal quantum kutoka kwenye limit data ya SDP kwa kusema “hii ndiyo Hilbert space na hawa ndio operators za vipimo.”

Kwa hiyo utafiti unaelezea convergence kama existence theorem.

Kigezo cha kusimamisha cha rank-loop kinafanya nini?

Haiwezekani kwa vitendo kutatua viwango vyote vya ngazi isiyo na mwisho. Kwa hiyo makala inatoa kigezo cha kusimamisha kinacholingana na representations za vipimo vyenye kikomo.

Kwa factorization moment matrix, pale

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

kunakuwa na rank loop.

Kwa scalar extension matrix, sharti linalolingana ni

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

ndilo sharti husika.

Theorem 3.2 inaonyesha kwamba, pamoja na masharti ya ziada yanayofaa ya GNS, hali hii ya rank-loop yenye kikomo ni sawa na finite-dimensional Projector Bilocal representation na finite-dimensional Tensor Bilocal representation.

Hili ni muhimu hasa kwa sababu tensor na commutator approaches ambazo hutengana katika vipimo visivyo na kikomo huungana tena katika modeli ya bilocal yenye vipimo vyenye kikomo.

Mbinu ya Inflation-NPA ni nini?

Wazo kuu la inflation ni kuunda kwa dhana nakala kadhaa huru za vyanzo huru katika mtandao.

Kielelezo 2 kwenye ukurasa wa 25 wa chanzo kinaonyesha mfano wa nakala mbili. Alice anaweza kuchagua nakala ipi ya \(\rho\) atumie, Charlie nakala ipi ya \(\sigma\), na Bob anaweza kupima michanganyiko tofauti ya nakala moja ya \(\rho\) na nakala moja ya \(\sigma\).

Kiwango cha inflation kikiwa \(m\), huundwa

• nakala \(m\) za measurement operators kwa Alice,
• nakala \(m\) kwa Charlie,
• operators kwa Bob zinazolingana na michanganyiko \(m^2\) tofauti ya source copies

huundwa.

Moment matrix mpya

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

lazima, pamoja na positive semidefiniteness na commutation constraints za kawaida, iheshimu permutation symmetry

\[ S_m\times S_m \]

inayowakilisha ubadilishanaji wa nakala za vyanzo.

Ujumbe mkuu wa Kielelezo 2

Nakala zinazoundwa katika inflation hazidai kwamba vyanzo vipya vya kimwili vipo. Hii ni mbinu ya urudufishaji wa kimawazo/algebra.

Ikiwa usambazaji wa awali unatoka kweli kwenye modeli ya bilocal yenye vyanzo viwili huru, basi nakala huru za vyanzo hivyo zinapaswa pia kuweza kumodeliwa kwa uthabiti. Mahusiano ya permutation na factorization yanayojitokeza kati ya nakala huweka masharti mapya ya lazima juu ya usambazaji wa awali.

Uhusiano kati ya inflation-NPA na ngazi hizi mbili mpya

Theorem 4.2 inaonyesha kwamba kutoka kwa moment matrix inayofaa

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

katika kiwango cha inflation kilicho juu vya kutosha, inaweza kujengwa scalar extension moment matrix inayolingana na kiwango hicho.

Kwa hiyo

\[ \text{kupita inflation-NPA} \Longrightarrow \text{kupita scalar extension} \]

na kupitia convergence theorems kuu, katika hali ya bilocal hupatikana modeli ya projector-bilocal.

Chanzo pia kinajadili mwelekeo wa kinyume uliothibitishwa baadaye na Ligthart na Gross. Matokeo ya sasa yakijumuishwa, katika senario ya bilocal factorization NPA, scalar extension, polarization na inflation-NPA zote zinaainisha relaxation ileile ya commuting/projector bilocal.

Lakini ni muhimu kwamba usawa huu si usawa wa gharama ya nambari. Katika uthibitisho wa makala, idadi ya nakala za inflation zinazohitajika kujenga kiwango cha scalar extension inaweza kukua haraka sana; waandishi wanaweka wazi kwamba huu si madai ya moja kwa moja kuhusu ufanisi wa kihesabu.

Kwa nini matatizo yanatokea katika mitandao ya jumla zaidi?

Sifa muhimu ya mtandao wa bilocal ni kwamba Alice na Charlie hawashiriki chanzo kimoja. Kwa hiyo kuna sharti la moja kwa moja la factorization kati yao.

Katika mtandao wa pembetatu, hata hivyo,

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

kila jozi ya wahusika hushiriki chanzo.

Katika hali hii haiwezekani kuandika factorization ya moja kwa moja ya uhuru kati ya Alice–Charlie, Alice–Bob au Bob–Charlie kama katika mtandao wa bilocal.

Kwa hiyo generalizations za asili za factorization na scalar extension hierarchies hurudi tu kwenye kiwango cha NPA ya kawaida na haziwezi kutumia taarifa ya ziada ya topolojia ya mtandao.

Kielelezo 3 kinaonyesha nini?

Kielelezo 3 kwenye ukurasa wa 27 wa chanzo kinalinganisha topolojia mbili tata zaidi za mtandao:

Kwa nini mfano wa “shared random bit” katika mtandao wa pembetatu ni muhimu?

Utafiti unatoa mfano rahisi lakini wenye nguvu wa kutenganisha kwa mtandao wa pembetatu:

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

Katika usambazaji huu, wahusika wote watatu hutoa biti ileile ya nasibu yenye usambazaji sawa.

Kwa kuwa correlation kama hii inaweza kuundwa kwa urahisi katika senario ya kawaida ya Bell ya wahusika watatu, NPA ya kawaida iliyotumika kwa mtandao wa pembetatu, au tests rahisi za factorization/scalar-extension zinazopungua hadi hapo, haziwezi kuikataa.

Kinyume chake, Appendix D.2 inaonyesha kwamba inflation-NPA huzalisha contradiction hata katika kiwango cha

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

pekee.

Intuition ya uthibitisho ni kwamba inflation symmetries hulazimisha nakala fulani kushiriki biti ileile ya nasibu, wakati factorization ya nakala huru za vyanzo inasema kwamba vigezo hivyo viwili vinapaswa kuwa huru. Masharti haya mawili hayawezi kutimizwa kwa wakati mmoja.

Mfano huu ni ushahidi wa moja kwa moja kwamba inflation inaweza kusimba topolojia ya mtandao wa jumla kwa undani zaidi kuliko mbinu rahisi za factorization ya jozi.

Kwa nini sharti la hali safi si uchaguzi wa kiufundi tu?

Katika ufafanuzi wa Projector Bilocal, inahitajika kwamba hali

\[ \tau=\rho\sigma \]

iwe pure projector.

Katika nadharia ya kawaida ya quantum ya tensor-product, hali mchanganyiko mara nyingi inaweza kusafishwa kwa kuongeza Hilbert spaces za ziada. Appendix E.2 ya makala inaonyesha kwamba katika modeli ya bilocal inayotegemea commutator hatua hii si halali moja kwa moja.

Waandishi huunda mfano wazi wa mixed state ambao, sharti la hali safi likiondolewa, huzalisha shared-random-bit distribution ya wahusika watatu. Lakini usambazaji huo haulingani na uhuru halisi wa bilocal.

Kwa hiyo inaonyeshwa kwamba purification ya kawaida haihifadhi muundo wa commutation wa vyanzo.

c-purifiability inamaanisha nini?

Kutokana na tatizo hili, makala inafafanua dhana mbadala ya c-purification inayolingana na muundo wa commutator.

Kulingana na Corollary E.1, katika modeli ya bilocal mixed state inaweza kusafishwa kwa maana hii ikiwa na tu ikiwa masharti ya factorization

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

yanatimizwa kwa maneno yote ya Alice na Charlie.

Matokeo haya yanaonyesha kwamba sharti la factorization katika makala si tu mbinu ya optimization, bali pia lina uhusiano na muundo wa purification unaohifadhi uhuru wa vyanzo vya bilocal.

Generalization kwenda mtandao wa nyota wa wahusika wanne imefanikiwa kwa kiwango gani?

Appendix F inachunguza mtandao wa nyota ambamo Bob yuko katikati na vyanzo vitatu huru vinamuunganisha Bob na Alice, Charlie na Dave.

Safari hii pairwise factorization ya wahusika wa nje pekee haitoshi. Kwa mfano, muundo wa triple factorization kati ya Alice–Charlie na Dave lazima pia usimbwe tofauti.

Waandishi wanapendekeza Factorisation Star-shaped Trilocal NPA hierarchy na kuthibitisha kwamba usambazaji unaopita ngazi hii una modeli fulani ya Anti-state Projector Star-shaped.

Hata hivyo, hakuna matokeo ya convergence yenye nguvu sawa ya “ikiwa na tu ikiwa” kama katika senario ya bilocal. Waandishi wanatarajia kwamba, kwa sababu bado hawajatumia assumptions zote za factorization walizonazo katika uthibitisho, huenda modeli ya mtandao iliyo ya asili zaidi na yenye masharti makali zaidi inaweza kupatikana.

Kwa hiyo matokeo ya mtandao wa nyota wa wahusika wanne si nadharia iliyokamilika kwa mitandao ya jumla, bali ni mwelekeo wa utafiti unaoonyesha mahali uthibitisho wa bilocal unapoanza kuwa mgumu zaidi.

Tatizo la bilocal Tsirelson linashughulikiwaje katika toleo la sasa?

Mojawapo ya maswali yaliyobaki wazi katika toleo la kwanza la makala ilikuwa uhusiano kati ya Projector Bilocal model na modeli ya bilocal commuting-observable ya kawaida ya \(C^*\)-algebra.

Appendix G.2 inaingiza matokeo ya baadaye ya Ligthart–Gross kwenye maandishi ya sasa. Kwa mujibu wake, seti ya Projector Bilocal Quantum Distribution ni sawa na modeli inayofaa ya commuting-observable bilocal.

Zaidi ya hapo, katika hali ya vipimo vyenye kikomo, muundo huu pia ni sawa na tensor-product bilocal model.

Picha iliyounganishwa ambayo makala ya sasa inafikia ni hii:

Tatizo wazi kwa mitandao ya quantum ya jumla ni nini?

Ingawa hali ya bilocal sasa imeeleweka kwa kiwango kikubwa, ujumbe muhimu zaidi wa makala kwa utafiti wa baadaye ni kwamba picha ileile iliyokamilika haipo bado kwa mitandao ya jumla.

Hasa, bado ni swali wazi kama inflation-NPA hierarchy katika mitandao ya quantum yoyote kweli hukaribia seti ya correlations ya asili ya \(C^*\)-algebra.

Haijulikani jinsi ya kupanua mgawanyo wa operator-algebra uliotumiwa katika uthibitisho wa bilocal ili “kugawanya” wahusika wenye miunganisho mingi kwa wakati mmoja na kwa uthabiti.

Utafiti unatambua hili kama mojawapo ya matatizo makuu yaliyo wazi katika uainishaji wa algorithmic wa correlations za mitandao ya quantum ya jumla.

Matokeo yanayoungwa mkono na utafiti

• Katika mtandao wa quantum wa bilocal, uhuru wa vyanzo unaweza kuongezwa kwenye moment matrix kupitia masharti ya factorization ya Alice–Charlie.
• Usambazaji unaopita viwango vyote vya factorization bilocal NPA hierarchy ni hasa seti ya Projector Bilocal Quantum Distributions.
• Masharti yasiyo ya mstari ya factorization yanaweza kubadilishwa kuwa SDP hierarchy kwa scalar extension na muundo wa polarization unaofaa.
• Scalar extension hierarchy iliyorekebishwa pia hukaribia seti ileile ya Projector Bilocal.
• Tatizo katika hoja ya zamani ya convergence ya scalar extension ni kwamba scalar operators katika GNS representation zinaweza kuchukua thamani tofauti katika blocks tofauti.
• Quadratic polarization constraints huruhusu factorization equalities kulazimishwa tena katika extreme blocks zinazofaa.
• Sharti la rank-loop hutoa kigezo cha kusimamisha kwa finite-dimensional bilocal representations.
• Katika bilocal, inflation-NPA, factorization, scalar extension na polarization approaches zinahusiana na relaxation ileile ya commuting/projector bilocal.
• Katika vipimo vyenye kikomo, formulations za projector/commuting bilocal na tensor bilocal ni sawa.
• Katika mtandao wa pembetatu, mbinu rahisi za factorization na scalar extension haziwezi kutofautisha topolojia ya mtandao, lakini inflation-NPA inaweza kukataa shared-random-bit distribution.
• Formulations za hali safi na hali mchanganyiko si sawa moja kwa moja katika models za mtandao zinazotegemea commutator.

Matokeo ambayo utafiti hauungi mkono au kuthibitisha

• Utafiti hautoi uainishaji kamili unaoweza kukokotolewa wa seti ya physical tensor-bilocal correlations katika hali ya jumla ya vipimo visivyo na kikomo.
• Hakuna dhamana ya jumla ya kasi inayoeleza ni katika kiwango gani SDP hierarchy itaconverge kwa matumizi fulani.
• Haijaonyeshwa kwamba kutoka limit solution ya scalar extension hierarchy inaweza kutolewa moja kwa moja modeli mahususi ya quantum Hilbert-space kwa ujumla.
• Haijathibitishwa kwamba matokeo ya convergence katika senario ya bilocal yanajitanua kiotomatiki kwa topolojia zote za mtandao.
• Completeness ya inflation-NPA kwa mitandao ya quantum yoyote haijathibitishwa.
• Kwa mtandao wa nyota wa wahusika wanne, hakuna theorem ya convergence ya pande mbili yenye nguvu sawa na hali ya bilocal.
• Utafiti haufanyi jaribio kwenye kifaa cha quantum, utengenezaji wa entanglement, uzalishaji wa ufunguo wa cryptographic au kipimo cha utendaji wa kimwili.
• Uwezekano wa kutumia SDP haumaanishi gharama ndogo ya hesabu; moment matrices zinaweza kukua haraka sana na kiwango cha hierarchy.

Mbinu na Matokeo ya Utafiti

Muundo wa utafiti

Utafiti si wa majaribio bali ni utafiti wa kihisabati na kinadharia wa taarifa ya quantum. Mbinu kuu inajumuisha noncommutative polynomial optimisation, moment/Hankel matrices, positive semidefiniteness, operator algebras, GNS representation theory, state-polynomial optimisation, polarization constraints na quantum inflation.

Hakuna sampuli mpya ya majaribio, kifaa cha kimwili au dataset ya nambari iliyotumika. Uthibitishaji wa makala unatokana na theorems na proofs.

Moment matrix ya kawaida ya NPA

Katika kiwango cha hierarchy, safu na nguzo za moment matrix huwekewa faharasa na maneno ya operator yenye urefu usiozidi \(n\).

Mahitaji ya msingi:

• \(\Gamma^n_{1,1}=1\),
• \(\Gamma^n\succeq0\),
• usawa wa moments zinazowakilisha neno lilelile la operator,
• uhifadhi wa projector na inter-party commutation relations,
• ulinganifu na usambazaji unaoonekana \(q(abc|xyz)\).

Katika senario ya kawaida ya Bell, muundo huu hukaribia seti ya commuting-observable quantum correlations.

Factorization moment matrix

Sharti jipya la kisayansi linaloongezwa kwa masharti ya kawaida kwa muundo wa bilocal ni

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

ni usawa wa factorization.

Usawa huu hutumika tu kwa neno \(\alpha\) linaloundwa na vipimo vya Alice pekee na neno \(\gamma\) linaloundwa na vipimo vya Charlie pekee, na huwakilisha kialgebra vyanzo viwili huru vya mtandao.

Matokeo ya kiufundi ya Theorem 2.3

Muundo wa polynomial unaotumika kwa scalar extension

Kwa kila neno la kawaida la operator \(\omega\), scalar extension \(\kappa_\omega\) huongezwa. Vigezo hivi hu-commute na kila kimoja pamoja na herufi za kawaida za operator.

Factorization constraint huandikwa

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

na huandikwa hivyo.

Katika formulation ya polarization, moment functional hulazimishwa kutimiza

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

sharti hili hutumika.

Vivyo hivyo, kwa consistency na target probability distribution, hufafanuliwa

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

hufafanuliwa na

na kulazimishwa

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

Sharti la Boundedness

Katika uthibitisho wa convergence wa toleo la polarization, scalar words lazima zibaki bounded. Kwa hiyo Definition 3.2 ina positive semidefiniteness condition ya ziada.

Sharti hili la kiufundi linalenga kuhakikisha Archimedean property ya quadratic module na kuruhusu matumizi ya Positivstellensatz/Kadison–Dubois arguments katika limit.

Extreme-point logic ya convergence

Positive linear functional inayopatikana katika limit huwakilishwa na measure juu ya extreme functionals zinazofaa.

Extreme functionals huwa multiplicative katika scalar-extension algebra:

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

Integral ya quadratic constraints kuwa sifuri, kutokana na positivity, huhakikisha kwamba equalities hizi zinatimizwa kivyake katika karibu extreme components zote.

Kisha extreme component moja huchaguliwa, factorization bilocal moment matrix huundwa na Theorem 2.3 hutumika.

Matokeo ya stopping criterion

Theorem 3.2 inaunganisha miundo minne:

Mbinu ya inflation moment matrix

Katika Inflation-NPA, nakala \(m\) huru za vyanzo huundwa. Waendeshaji hupanuliwa kwa copy indices na moment matrix

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

huundwa.

Sharti kuu la ziada ni invariance chini ya permutation ya source copies:

\[ S_m\times S_m. \]

Parallel experiments katika diagonal copies zinapaswa kuzalisha independent products za usambazaji wa awali.

Kwa kuwa masharti haya yanaweza kuandikwa kwa linear moment equalities na positive semidefiniteness pekee, jaribio hubaki katika muundo wa SDP.

Kutoka inflation hadi scalar extension

Uthibitisho wa Theorem 4.2 hugawa source copy tofauti ya inflation kwa kila scalar-extension word.

Kiwango cha hierarchy kikiwa \(n\) na ukubwa wa alphabet ya measurement operators ukiwa \(d\), kiwango cha inflation kinachohitajika hukua haraka sana katika uthibitisho; katika construction ya wazi ya Appendix D hutumika idadi ya copies inayotosha ya aina

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

na idadi hiyo ya nakala hutumiwa.

Ukuaji huu ni zana ya kinadharia ya reduction pekee. Chanzo kinaweka wazi kwamba hii si upper bound ya ufanisi halisi wa nambari wa inflation-NPA wala optimal algorithm.

Jukumu la kisayansi la vielelezo vitatu muhimu

Kwa sababu leseni ya kutumia tena vielelezo vya chanzo si leseni wazi ya Creative Commons ya adaptation, vielelezo havijanakiliwa hapa; ujumbe wake wa kisayansi umeelezwa upya kwa HTML tables asilia na mchakato wa Verianla Live.

Nguvu za utafiti

• Kuunganisha uhuru wa vyanzo vya bilocal na standard NPA moment matrix kupitia factorization condition iliyo wazi.
• Kutoa proof kamili ya convergence kwa hierarchy ya kwanza.
• Kujenga scalar-extension framework iliyorekebishwa inayohamisha nonlinear hierarchy kwenda darasa la SDP.
• Kutambua wazi na kurekebisha hoja ya convergence iliyokuwa na kosa katika preprint ya awali.
• Kuunganisha state-polynomial optimisation na polarization techniques katika tatizo la bilocal quantum network.
• Kutoa rank-loop stopping criterion kwa hali za finite-dimensional.
• Kuonyesha uhusiano wa kihisabati kati ya inflation-NPA na hierarchies zao.
• Kutumia mfano wa mtandao wa pembetatu kuonyesha kwa uwazi ni taarifa gani ya topolojia hupotea katika factorization rahisi.
• Kuonyesha kwa counterexample wazi kwa nini tofauti ya pure/mixed state ni muhimu katika network models zinazotegemea commutator.

Mapungufu ya utafiti

• Lengo la convergence katika hali ya jumla ya vipimo visivyo na kikomo si physical Tensor Bilocal set yenyewe, bali Projector/commuting bilocal relaxation.
• Factorization hierarchy si SDP moja kwa moja kwa sababu ya nonlinear constraints.
• Convergence ya scalar extension hierarchy haihakikishi algorithmic extraction ya modeli mahususi ya quantum katika hali ya jumla.
• Hakuna practical level bound inayotolewa kwa kasi ya convergence ya hierarchies.
• Ukubwa wa moment na inflation matrices hukua haraka kadiri kiwango kinavyoongezeka.
• Hakuna complete convergence characterization iliyopatikana kwa mitandao ya jumla zaidi ya senario ya bilocal.
• Matokeo ya mtandao wa nyota wa wahusika wanne ni ya mwelekeo mmoja pekee na si characterization kamili ya natural projector-network model.
• Katika mtandao wa pembetatu, generalizations za factorization/scalar-extension haziwezi kwenda zaidi ya NPA ya kawaida.

Chanzo na Dokezo la Mbinu

Jina kamili la awali la kazi: Two Convergent NPA-like Hierarchies for the Quantum Bilocal Scenario

Dokezo la kichwa: Kichwa kinachoonekana kwenye PDF iliyopakiwa kiko katika Title Case. arXiv na metadata za baadhi ya majarida zinaonyesha kichwa kilekile kama “Two convergent NPA-like hierarchies for the quantum bilocal scenario” katika sentence case. Hii ni tofauti tu ya herufi kubwa/ndogo; hapa kichwa cha awali kinachoonekana kwenye PDF kimehifadhiwa.

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

Mpangilio wa waandishi: Mpangilio uliotolewa katika chanzo umehifadhiwa kama ulivyo.

Mchango sawa: Chanzo hakionyeshi co-first authorship au equal-contribution marker.

Mwandishi wa mawasiliano: Xiangling Xu. PDF iliyopakiwa ina alama † na anuani xu.xiangling@inria.fr; rekodi ya jarida iliyopitiwa na wahakiki pia inamtaja Xu kama correspondence author.

Affiliations katika PDF iliyopakiwa: 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.

Tofauti ya affiliation: Katika arXiv v5 PDF iliyopakiwa, jina la Laurens T. Ligthart lina superscript 5; namba 5 ni affiliation ya ETH Zürich. PDF hiyo hiyo pia inaorodhesha affiliation namba 6 ya University of Cologne lakini hakuna uhusiano wa wazi wa 6 katika mstari unaoonekana wa waandishi. Katika toleo lililopitiwa na wahakiki la Journal of Mathematical Physics, Ligthart affiliation 6 imehusishwa na University of Cologne. Tofauti hii ya chanzo haijarekebishwa kimya kimya katika maandishi ya Verianla.

Eneo la kisayansi: Nadharia ya taarifa ya quantum, mitandao ya quantum, quantum nonlocality, operator algebras, noncommutative polynomial optimisation na semidefinite programming.

Chanzo kilichopakiwa: arXiv:2210.09065v5 [quant-ph].

Uwasilishaji wa kwanza kwa arXiv: 17 Oktoba 2022.

Tarehe ya v5 iliyopakiwa: 20 Januari 2026.

arXiv DOI: 10.48550/arXiv.2210.09065.

Chapisho lililopitiwa na wahakiki: Journal of Mathematical Physics, Volume 67, Issue 1, Article 012203 (2026).

DOI ya toleo lililopitiwa: 10.1063/5.0211008.

Mchapishaji: AIP Publishing.

Hali ya peer review: Faili iliyopakiwa ni toleo la repository la arXiv. Kazi hiyo hiyo baadaye ilichapishwa katika Journal of Mathematical Physics baada ya peer review.

Mchakato wa uchapishaji wa toleo lililopitiwa: Rekodi ya jarida inaonyesha submission 28 Machi 2024, acceptance 15 Desemba 2025 na online publication 9 Januari 2026.

Leseni: Metadata ya PDF ya arXiv iliyopakiwa inaelekeza kwenye arXiv non-exclusive distribution license. Toleo lililopitiwa la Journal of Mathematical Physics limechapishwa chini ya exclusive publishing license iliyotolewa kwa AIP Publishing. Kwa hiyo vielelezo vya chanzo havijanakiliwa moja kwa moja; yaliyomo kisayansi yamewasilishwa kwa majedwali na maelezo ya mchakato asilia ya Verianla.

Historia ya toleo na marekebisho muhimu: Katika toleo la kwanza la preprint, proof ya convergence ya scalar extension hierarchy ilikuwa na kosa. Chanzo cha sasa kinasema hili wazi na kueleza kwamba kosa lilitokana na scalar extension operators kutolazimika kuwa scalar moja ya kimataifa katika general GNS representation. Katika v5 ya sasa, hierarchy iliyorekebishwa na inayoconverge inatolewa kwa kutumia matokeo ya polarization na state-polynomial optimisation.

Taarifa ya chanzo kuhusu mchango wa waandishi: Hakuna jedwali la CRediT tofauti. Kulingana na sehemu ya “Note Added”, Laurens T. Ligthart alijiunga na kazi katika awamu ya pili ya mradi na akachangia katika kuendeleza hierarchy iliyorekebishwa na makala.

Ufadhili: Kwa M.-O. Renou, PCI2021-122022-2B pamoja na msaada wa Uhispania/EU, QuantumCAT, ERC CERQUTE na AXA uliotajwa katika chanzo; kwa X. Xu na M.-O. Renou, msaada wa INRIA na CIEDS DEPARTURE, ANR LINKS na programu za QuantERA/Horizon umeripotiwa.

Upatikanaji wa data: Kulingana na tamko la wazi la chanzo, hakuna data mpya iliyotengenezwa au kuchambuliwa katika utafiti; kwa hiyo data sharing haitumiki.

Mgongano wa maslahi: Hakuna tamko tofauti la conflict-of-interest lililotambuliwa katika maandishi ya arXiv v5 yaliyopakiwa. Kutokana na hili, hakuna hitimisho la ziada la “hakuna mgongano wa maslahi” lililozalishwa.

Mbinu ya utafiti: Noncommutative polynomial optimisation; NPA moment matrices; nonlinear source-factorization constraints; GNS representation construction; scalar extension/state-polynomial moment methods; polarization equalities; Positivstellensatz na extreme-functional arguments; rank-loop analysis; quantum inflation na network-topology comparisons.

Mpaka wa maudhui ya kisayansi: Ufafanuzi, theorems, formulas, proof intuitions, mijadala ya triangle/star networks, mfano wa pure-mixed state na open problems katika makala hii ya Verianla zimetayarishwa kutoka kwenye kazi ya arXiv v5 yenye kurasa 56 iliyopakiwa na mtumiaji. Vyanzo vya nje vilitumika tu kuthibitisha bibliographically utambulisho wa chapisho, rekodi ya jarida iliyopitiwa, DOI, tarehe za uchapishaji na leseni ya uchapishaji; hakuna matokeo mapya ya kisayansi yaliyoongezwa kutoka nje ya chanzo.

Mpaka mkuu wa tafsiri: “Convergent hierarchy” haimaanishi kifaa halisi cha quantum kinakaribia lengo kadiri muda unavyopita. Hapa convergence ina maana kwamba, kadiri kiwango cha hierarchy kinavyoongezeka, outer-approximation sets zinazotegemea moment matrix zinaainisha seti fulani ya kihisabati ya quantum correlations.

Dokezo la Verianla Live: Kwa kuwa chanzo hakina experimental quantitative series, `vlive-bar` au `vlive-line` hazikutumika. `vlive-process` inaonyesha tu mnyororo wa utegemezi wa kihisabati uliojengwa katika chanzo; haiongezi namba, intermediate result au hatua ya majaribio isiyokuwepo katika chanzo.