Тадқиқоти академӣ, забони фаҳмо

Verianla | Тадқиқоти академӣ ва илм ба забони тоҷикӣ

27 сентябр 2026, якшанбе
VERİANLAНашри мустақили илмӣ
Кушодан ё бастани меню
...
Саҳифаи асосӣ / Илмҳои физикӣ / Физика / Ду Иерархияи Ҳамгарои NPA-Монанд барои Сенарияи Квантии Билокалӣ
Муҳандисӣ

Ду Иерархияи Ҳамгарои NPA-Монанд барои Сенарияи Квантии Билокалӣ

Ин таҳқиқот масъалаи тавсифи берунии тақрибии он тақсимоти эҳтимолиятро меомӯзад, ки дар шабакаҳои квантии билокалӣ бо ду манбаи мустақили квантӣ ва се тараф ба назарияи квантӣ мувофиқанд.

21/08/2026  Veri Anla 82 боздид
Ду Иерархияи Ҳамгарои NPA-Монанд барои Сенарияи Квантии Билокалӣ

Ин таҳқиқот масъалаи тавсифи берунии тақрибии он тақсимоти эҳтимолиятро меомӯзад, ки дар шабакаҳои квантии билокалӣ, ки дар онҳо ду манбаи мустақили квантӣ миёни се тараф тақсим шудаанд, бо назарияи квантӣ мувофиқанд. Муҳаққиқон усули стандартии Navascués–Pironio–Acín (NPA)-ро тавре васеъ мекунанд, ки мустақилияти манбаъҳоро дар шабака ба ҳисоб гирад ва ду иерархияи ҳамгаро месозанд: иерархияи факторизатсионии билокалии NPA, ки шартҳои ғайрихаттии мустақилиятро дар бар мегирад, ва иерархияи билокалии тавсеаи скалярӣ, ки ин шартҳоро бо тағйирёбандаҳои тавсеаи скалярӣ ба шакли барномарезии ниммуайян табдил медиҳад. Теоремаи асосӣ нишон медиҳад, ки ҳар ду иерархия пас аз гузаштани ҳамаи сатҳҳо маҳз ба як маҷмӯи Projector Bilocal Quantum Distributions ҳамгаро мешаванд. Бо вуҷуди ин, ин маҷмӯъ дар ҳолати умумии беандоза як релаксатсияи маҷмӯи физикии коррелятсияҳои билокалии тензорӣ мебошад; бинобар ин натиҷаро набояд ҳамчун тавсифи мустақими ҳисобшавандаи ҳамаи коррелятсияҳои физикии билокалӣ фаҳмид.

Муҳимтарин фарқ аз ҷиҳати амалӣ дар он аст, ки иерархияи аввал мустақилияти манбаъҳоро бевосита бо шарти ғайрихаттии факторизатсия

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

маҷбур мекунад, дар ҳоле ки иерархияи дувум ин маълумоти мустақилиятро бо ҳарфҳои нави скалярӣ ва баробариҳои квадратии бар поляризатсия асосёфта рамзгузорӣ мекунад. Бо ин роҳ сохтори дувум дар ҳар сатҳи ниҳоӣ ҳамчун барномаи ниммуайян (SDP) санҷида мешавад.

Мақола инчунин усули inflation-NPA-ро бо ин ду иерархия муқоиса мекунад, барои ҳолатҳои андозаашон ниҳоӣ меъёри қатъкунии rank-loop медиҳад ва мушкилиҳои густариши усулро берун аз шабакаи билокалӣ нишон медиҳад. Хусусан дар шабакаи секунҷа усулҳои одии факторизатсия ва тавсеаи скалярӣ маҳдудиятҳои иловагии махсуси топологияи шабакаро ба вуҷуд оварда наметавонанд, дар ҳоле ки усули inflation-NPA ҳанӯз метавонад маҳдудиятҳои маънодор диҳад.

Масъалаи асосӣ чист?

Яке аз масъалаҳои бунёдии назарияи иттилооти квантӣ муайян кардани он аст, ки вақте тарафҳои дур дар як системаи муштараки квантӣ ченкуниҳои маҳаллӣ анҷом медиҳанд, кадом тақсимоти эҳтимолияти муштаракро механикаи квантӣ тавлид карда метавонад.

Дар сенарияи стандартии сеҷонибаи Bell, Alice, Bob ва Charlie аз як ҳолати муштараки квантӣ саҳм мегиранд. Вақте вурудҳои ченкунӣ мутаносибан \(x,y,z\) ва баромадҳо \(a,b,c\) мебошанд, тақсимот бо қоидаи Born

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

ифода мешавад.

Иерархияи NPA ба ҷои ҷустуҷӯи ҳамаи ҳолатҳои имконпазири квантӣ ва ченкуниҳо як-як, месанҷад, ки оё матрицаҳои моментӣ, ки аз операторҳои ченкунӣ сохта шудаанд, метавонанд мусбати ниммуайян бошанд. Бо баланд шудани сатҳи иерархия калимаҳои дарозтари операторӣ ба ҳисоб гирифта мешаванд ва санҷиш пурқувваттар мегардад.

Чаро иерархияи NPA дар шабакаҳои квантӣ мустақиман кофӣ нест?

Дар сенарияи билокалӣ як манбаи муштараки ягона вуҷуд надорад. Ба ҷои он ду манбаи аз ҳам мустақил мавҷуданд:

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

Alice аз манбаи аввал, Charlie аз манбаи дувум система мегирад, Bob бошад аз ҳар ду манбаъ система мегирад. Шакли 1(b) дар саҳифаи 4-и манбаъ ин топологияро равшан нишон медиҳад: шабака

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

шакл дорад.

Дар модели тензории билокалӣ эҳтимолиятҳо

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

дода мешаванд.

Маълумоти иловагии муҳими физикӣ дар ин ҷо он аст, ки манбаъҳои \(\rho\) ва \(\sigma\) мустақил мебошанд. Матрицаи стандартии моментии NPA метавонад хусусиятҳои алгебравии операторҳои ченкунӣ, монанди проекторӣ будан, Hermitian будан ва коммутатсия миёни тарафҳои гуногунро бинад; аммо мустақилияти манбаъҳоро танҳо худаш рамзгузорӣ намекунад.

Паёми асосии илмии Шакли 1

СенарияСохтори манбаи квантӣНақши BobФарқи муҳим аз нигоҳи NPA
Bell-и стандартии сеҷонибаA, B ва C аз як ҳолати муштараки \(\tau\) система мегиранд.Қисме аз як манбаи муштаракро чен мекунад.Алгебраи оператории байни тарафҳо бо NPA-и стандартӣ модел мешавад.
Шабакаи билокалӣМиёни A–B манбаи \(\rho\), миёни B–C манбаи мустақили \(\sigma\) мавҷуд аст.Аз ҳар ду манбаи мустақил система мегирад.Шартҳои иловагии факторизатсия барои ифодаи мустақилияти манбаъҳо лозиманд.

Ин ҷадвал бозбаёни аслии матнии паёми илмии Шакли 1-и манбаъ барои Verianla аст; тасвири манбаъ мустақим нусхабардорӣ нашудааст.

Фарқи моделҳои Tensor Bilocal ва Projector Bilocal чист?

Аз нигоҳи физикӣ табиитарин таъриф модели Tensor Bilocal Quantum Distribution мебошад. Дар ин ҷо фазои Hilbert ба таври равшан

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

ба омилҳо ҷудо мешавад ва ду ҳолати мустақил мутаносибан дар системаҳои \(A-B_L\) ва \(B_R-C\) зиндагӣ мекунанд.

Маҷмӯи ҳадафе, ки иерархияҳои таҳқиқот ба он ҳамгаро мешаванд, маҷмӯи умумитари Projector Bilocal Quantum Distributions аст. Дар ин ҷо ҳамаи операторҳо метавонанд дар як фазои глобалии Hilbert \(\mathcal H\) бошанд.

Барои ду манбаъ проекторҳои \(\rho\) ва \(\sigma\) интихоб мешаванд ва талаб мешавад, ки

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

ҳосил проекторе бошад, ки ба ҳолати соф мувофиқ аст.

Тақсимоти эҳтимолият

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

навишта мешавад.

Илова бар коммутатсияи операторҳои ченкунии тарафҳои гуногун, шартҳои

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

истифода мешаванд. Инҳо дар дохили модели коммутаторӣ ифодаи он идеяанд, ки Alice аз манбаи дувум ва Charlie аз манбаи аввал вобаста нест.

Ин модел дар ҳолати умумии беандоза аз модели физикии tensor-bilocal васеътар аст. Бо ин ҳол, натиҷаҳои баъдии дар манбаъ овардашуда дар андозаҳои ниҳоӣ эквивалентии моделҳои дахлдори билокалиро дубора барқарор мекунанд.

Усули нави аввал: Иерархияи Факторизатсионии Bilocal NPA

Матрицаи стандартии moment-и NPA, \(\Gamma^n\), бо калимаҳои оператори ченкунӣ, ки дарозии онҳо ҳадди аксар \(n\) аст, индексгузорӣ мешавад. Мусбати ниммуайян ва муносибатҳои проектор/коммутатсия мисли NPA-и стандартӣ нигоҳ дошта мешаванд.

Маълумоти нави шабакаи билокалӣ ин аст, ки Alice ва Charlie аз манбаъҳои мустақил меоянд. Аз ин рӯ барои калимаи \(\alpha\), ки танҳо аз операторҳои Alice иборат аст, ва калимаи \(\gamma\), ки танҳо аз операторҳои Charlie иборат аст, муносибати

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

интизор меравад.

Дар забони матрицаи moment ин шарт

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

навишта мешавад.

Ҳамин як идеяи иловагӣ матрицаи стандартии NPA-ро ба Factorisation Bilocal Moment Matrix табдил медиҳад.

Чаро иерархияи факторизатсия SDP-и амалии мустақим нест?

Мусбати ниммуайян ва муносибатҳои стандартии NPA дар элементҳои матрицаи moment маҳдудиятҳои хаттӣ мебошанд. Аммо

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

дар тарафи рост ҳосили ду moment-и номаълумро дар бар мегирад.

Аз ин рӯ масъала аз сохтори маҳдудиятҳои хаттӣ/аффинӣ, ки барномарезии ниммуайян талаб мекунад, берун меравад. Муаллифон иерархияи факторизатсияро ҳамчун тавсифи пурқуввати назариявӣ арзёбӣ мекунанд, на ҳамчун воситаи мустақими ададии SDP.

Theorem 2.3: Натиҷаи аввалини ҳамгароӣ

Аввалин теоремаи асосии таҳқиқот эквивалентии зеринро муқаррар мекунад:

Тақсимоти сеҷониба ҳамаи сатҳҳои иерархияи факторизатсионии bilocal NPA-ро мегузарад агар ва танҳо агар Projector Bilocal Quantum Distribution бошад.

Ин танҳо оилаи санҷишҳое нест, ки шартҳои зарурӣ медиҳанд. Дар лимити иерархияи беинтиҳо маҷмӯи ҳадафи проектор-билокалиро пурра тавсиф мекунад.

Ғояи GNS дар исботи ҳамгароӣ

Самти пеши исбот мустақим аст: аз модели воқеии проектор-билокалӣ дар ҳар сатҳ матрицаи moment-и мувофиқ сохтан мумкин аст.

Дар самти баръакс фарз мешавад, ки дар ҳамаи сатҳҳо матрицаҳои мувофиқ мавҷуданд. Аввал аз зерпайдарпаии мувофиқ матрицаи moment-и беандоза

\[ \Gamma^\infty \]

ба даст оварда мешавад.

Сипас ба монанди исботи стандартии NPA, бо истифода аз намояндагии навъи Gelfand–Naimark–Segal (GNS) фазои Hilbert, проектори ҳолати соф ва операторҳои ченкунии Alice, Bob ва Charlie сохта мешаванд.

Қадами техникии нави шабакаи билокалӣ сохтани проекторҳои \(\rho\) ва \(\sigma\) аст. Муаллифон зерфазое, ки операторҳои Alice дар болои вектори ҳолат месозанд, ва зерфазое, ки операторҳои Charlie месозанд, меомӯзанд.

Шарти факторизатсия кафолат медиҳад, ки қисмҳои пуркунандаи ин ду зерфазо берун аз самти ҳолати соф ба ҳам ортогоналӣ бошанд. Аз ин ортогоналии геометрӣ барои ду проектори ортогоналии сохташуда

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

ба даст меояд.

Ба ибораи дигар, мустақилияти манбаъҳо тавассути табдил додани баробарии ғайрихаттии матрицаи moment ба ортогоналии зерфазоҳои муайян дар фазои GNS Hilbert дубора сохта мешавад.

Чаро тавсеаи скалярӣ лозим аст?

Ҳадафи дувуми муҳаққиқон ин аст, ки маълумоти факторизатсияро нигоҳ дошта, масъаларо боз ба синфи SDP баргардонанд.

Барои ин барои ҳар калимаи операторӣ \(\omega\)

\[ \kappa_{\omega} \]

ном ҳарфи нави тавсеаи скалярӣ илова мешавад.

Дар ҳолати идеалӣ ин ҳарф бояд оператори скалярии

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

намояндагӣ кунад.

Аз ин рӯ ҳарфҳои \(\kappa_{\omega}\) тавре модел мешаванд, ки бо ҳамаи ҳарфҳои дигари операторӣ коммутатсия кунанд.

Чаро идеяи аввалини тавсеаи скалярӣ кор накард?

Яке аз хусусиятҳои аз ҷиҳати илмӣ муҳими мақола он аст, ки муаллифон хатои версияи қаблиро ошкоро таҳлил мекунанд.

Дар равиши аввал аз он ки ҳарфи скалярӣ бо ҳамаи операторҳо коммутатсия мекунад, чунин фарз шуда буд, ки он дар фазои глобалии Hilbert ҳатман як скаляри ягонаи

\[ \lambda\,1 \]

шакл аст.

Тавре ки таҳқиқоти ҳозира нишон медиҳад, ин хулоса дар ҳолати умумӣ нодуруст аст. Намояндагии GNS метавонад ба блокҳои ҷамъи мустақим ҷудо шавад ва оператори тавсеаи скалярӣ дар ҳар блок арзиши скалярии гуногун дошта бошад:

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

Дар чунин ҳолат танҳо маҷбур кардани баробариҳои миёна факторизатсияи лозимии билокалиро дар дохили ҳар блок кафолат намедиҳад.

Ғояи поляризатсия хатогиро чӣ гуна ислоҳ мекунад?

Ҳал ин аст, ки на танҳо баробариҳои миёнаи хаттӣ, балки ифодаҳои мусбати квадратӣ-еро, ки бояд сифр бошанд, маҷбур кард.

Барои факторизатсияи асосӣ бо ҳарфҳои нави скалярӣ ифодаи

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

сохта мешавад ва қимати интизории квадрати он ба сифр маҷбур карда мешавад.

Дар намоиши блокии интуитивии манбаъ ин ба

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

меояд.

Азбаски ҳамаи \(p_i\) манфӣ нестанд, сифр будани ҷамъ маҷбур мекунад, ки баробарии дахлдор қариб дар ҳар блок алоҳида иҷро шавад.

Ин қадами муҳиме мебошад, ки дар версияи аввал намерасид.

Чаро танҳо \(\kappa_\alpha\) ва \(\kappa_\gamma\) кофӣ нест?

Усули ислоҳшуда танҳо скалярҳои калимаҳои Alice ва Charlie-ро илова намекунад. Барои ҳамаи калимаҳои оператории мувофиқ

\[ \kappa_{\omega} \]

ҳарфҳо таъриф карда мешаванд.

Сабаб он аст, ки

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

дар умум бо

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

баробар нест. Аммо вақте тавсеаи скалярии мустақими \(\kappa_{\alpha\gamma}\) истифода мешавад, маҳдудияти лозимии поляризатсия сохта мешавад.

Матрицаи moment-и тавсеаи скалярӣ

Матрицаи нави moment \(\Omega^n\) аз moment-ҳое сохта мешавад, ки ҳам ҳарфҳои стандартии ченкунӣ ва ҳам калимаҳои тавсеаи скаляриро рамзгузорӣ мекунанд.

Ҳадафи асосии ҳарфҳои скалярӣ ифодаи муносибати

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

дар дохили оптимизатсияи полиномӣ мебошад.

Таҳқиқот ду формулировкаи ба ҳам наздикро медиҳад:

ФормулировкаТарзи татбиқи баробариҳоВоситаи асосӣ
State-polynomial / шакли Klep ва ҳамкоронМусбатӣ тавассути матрицаҳои локализатсияState polynomial optimisation ва равиши Positivstellensatz
Шакли поляризатсияМаҳдудиятҳои хаттии moment аз навъи \(L_{\Omega}((\kappa_c)^2)=0\)Техникаи поляризатсия

Ҳарчанд ду сохтор дар тафсилоти техникӣ фарқ доранд, ҳар ду ба як маҷмӯи коррелятсияҳои проектор-билокалӣ ҳамгаро мешаванд.

Theorem 3.1: Натиҷаи дувуми ҳамгароӣ

Теоремаи дувуми асосии мақола:

Тақсимот ҳамаи сатҳҳои иерархияи билокалии тавсеаи скаляриро мегузарад агар ва танҳо агар Projector Bilocal Quantum Distribution бошад.

Аз ин рӯ натиҷаи асосиро ҷамъбаст карда метавон ҳамчун

\[ Q\text{ проектор-билокалӣ} \]

\[ \Longleftrightarrow Q\text{ ҳамаи сатҳҳои факторизатсия-NPA-ро мегузарад} \]

\[ \Longleftrightarrow Q\text{ ҳамаи сатҳҳои тавсеаи-скаляриро мегузарад} \]

ифода кард.

Чаро иерархияи тавсеаи скалярӣ натиҷаи “ғайрисозанда” аст?

Дар равиши стандартии NPA/GNS матрицаи moment-и лимитӣ дар баъзе ҳолатҳо имкон медиҳад, ки намояндагии операторӣ бевосита дубора сохта шавад.

Аммо дар исботи тавсеаи скалярӣ функсионали хаттии дар лимит пайдошуда метавонад омехтаи ҳалли экстремалӣ бошад. Ҳамгароӣ дар дохили ин омехта мавҷудияти ҳалли экстремалиро, ки хусусиятҳои заруриро дорад, кафолат медиҳад.

Аммо дар ҳолати умумӣ аз маълумоти лимитии SDP наметавон бевосита модели мушаххаси билокалии квантиро дар шакли “ин фазои Hilbert аст ва инҳо операторҳои ченкунӣ мебошанд” баровард.

Аз ин сабаб таҳқиқот ҳамгароиро ҳамчун теоремаи мавҷудият тавсиф мекунад.

Меъёри қатъкунии rank-loop чӣ кор мекунад?

Ҳал кардани ҳамаи сатҳҳои иерархияи беинтиҳо дар амал ғайриимкон аст. Аз ин рӯ мақола меъёри қатъкуниеро медиҳад, ки ба намояндагиҳои андозаашон ниҳоӣ мувофиқ аст.

Барои матрицаи moment-и факторизатсия вақте

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

мешавад, rank loop ба вуҷуд меояд.

Барои матрицаи тавсеаи скалярӣ шарти мувофиқ

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

аст.

Theorem 3.2 бо шартҳои иловагии мувофиқи GNS нишон медиҳад, ки ин ҳолати rank-loop-и ниҳоӣ ба намояндагии андозааш ниҳоии Projector Bilocal ва намояндагии андозааш ниҳоии Tensor Bilocal эквивалент аст.

Ин натиҷа махсусан муҳим аст, зеро равишҳои тензорӣ ва коммутаторӣ, ки дар андозаҳои беинтиҳо аз ҳам ҷудо мешаванд, дар модели билокалии андозааш ниҳоӣ дубора ба ҳам меоянд.

Усули Inflation-NPA чист?

Ғояи асосии техникаи inflation ин аст, ки аз манбаъҳои мустақили шабака ба таври фарзӣ якчанд нусхаи мустақил сохта мешавад.

Дар Шакли 2-и саҳифаи 25-и манбаъ мисоли ду-нусха нишон дода шудааст. Alice метавонад интихоб кунад, ки кадом нусхаи \(\rho\)-ро истифода мебарад, Charlie кадом нусхаи \(\sigma\)-ро; Bob бошад комбинацияҳои гуногуни як нусхаи \(\rho\) ва як нусхаи \(\sigma\)-ро чен карда метавонад.

Вақте сатҳи inflation \(m\) аст,

  • барои Alice \(m\) нусхаи оператори ченкунӣ,
  • барои Charlie \(m\) нусха,
  • барои Bob операторҳое, ки ба \(m^2\) комбинацияи гуногуни нусхаҳои манбаъ мувофиқанд

сохта мешаванд.

Матрицаи нави moment

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

илова бар шартҳои стандартии мусбатӣ ва коммутатсия бояд ба симметрияи пермутатсионии

\[ S_m\times S_m \]

мувофиқ бошад, ки ивазшавандагии нусхаҳои манбаъро ифода мекунад.

Паёми асосии Шакли 2

Нусхаҳое, ки дар техникаи inflation сохта мешаванд, иддао намекунанд, ки манбаъҳои нави физикӣ воқеан вуҷуд доранд. Ин усули афзоиши фикрӣ/алгебравӣ аст.

Агар тақсимоти аслӣ воқеан аз модели билокалии ду манбаи мустақил барояд, нусхаҳои мустақили манбаъҳо низ бояд ба таври мувофиқ модел шаванд. Муносибатҳои пермутатсия ва факторизатсия миёни нусхаҳо бар тақсимоти аслӣ шартҳои нави зарурӣ эҷод мекунанд.

Муносибати inflation-NPA бо ду иерархияи нав

Theorem 4.2 нишон медиҳад, ки аз матрицаи moment-и мувофиқи

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

дар сатҳи кофӣ баланди inflation матрицаи moment-и тавсеаи скалярии мувофиқ ба ҳамон сатҳ сохтан мумкин аст.

Аз ин рӯ

\[ \text{гузаштани inflation-NPA} \Longrightarrow \text{гузаштани тавсеаи скалярӣ} \]

ва бо теоремаҳои асосии ҳамгароӣ дар ҳолати билокалӣ модели проектор-билокалӣ ба даст меояд.

Манбаъ инчунин самти баръаксро, ки баъдтар Ligthart ва Gross исбот кардаанд, муҳокима мекунад. Вақте натиҷаҳои ҷорӣ якҷо карда мешаванд, дар сенарияи билокалӣ факторизатсияи NPA, тавсеаи скалярӣ, поляризатсия ва inflation-NPA як релаксатсияи ягонаи commuting/projector bilocal-ро тавсиф мекунанд.

Аммо муҳим аст, ки ин эквивалентӣ маънои эквивалентии хароҷоти ададиро надорад. Дар исботи мақола шумораи нусхаҳои inflation, ки барои сохтани сатҳи тавсеаи скалярӣ лозиманд, метавонад хеле зуд афзоиш ёбад; муаллифон возеҳ мегӯянд, ки ин иддаои самаранокии мустақими ҳисоббарорӣ нест.

Чаро дар шабакаҳои умумитар мушкил ба миён меояд?

Хусусияти муҳими шабакаи билокалӣ он аст, ки Alice ва Charlie манбаи муштарак надоранд. Аз ин рӯ миёни онҳо шарти мустақими факторизатсия вуҷуд дорад.

Аммо дар шабакаи секунҷа

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

ҳар ҷуфти тараф як манбаъро муштарак истифода мекунад.

Дар ин ҳолат барои Alice–Charlie, Alice–Bob ё Bob–Charlie факторизатсияи мустақилият мисли шабакаи билокалӣ навишта намешавад.

Дар натиҷа умумисозии табиии иерархияҳои факторизатсия ва тавсеаи скалярӣ танҳо ба сатҳи NPA-и стандартӣ бармегардад ва маълумоти иловагии топологияи шабакаро истифода карда наметавонад.

Шакли 3 чиро нишон медиҳад?

Шакли 3 дар саҳифаи 27-и манбаъ ду топологияи мураккабтари шабакаро муқоиса мекунад:

ШабакаТопологияҲолати равиши факторизатсия
Шабакаи секунҷаҲар ҷуфти A, B ва C манбаи алоҳидаи муштарак доранд.Миёни ҷуфтҳои тараф факторизатсияи одии иловагӣ намемонад; усул ба NPA-и стандартӣ мефарояд.
Шабакаи ситораии чорҷонибаТарафҳои берунии A, C ва D бо B-и марказӣ манбаъҳои алоҳида доранд.Миёни тарафҳои берунӣ маълумоти факторизатсия ҳаст; аммо умумисозии мустақими исботи билокалӣ кофӣ нест.

Чаро мисоли “shared random bit” дар шабакаи секунҷа муҳим аст?

Таҳқиқот барои шабакаи секунҷа мисоли сода, вале пурқуввати ҷудокунанда медиҳад:

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

Дар ин тақсимот ҳар се тараф як бити тасодуфии якхеларо тавлид мекунанд.

Азбаски дар сенарияи стандартии сеҷонибаи Bell чунин коррелятсия ба осонӣ сохта мешавад, NPA-и стандартӣ ё тестҳои одии факторизатсия/тавсеаи скалярӣ, ки дар шабакаи секунҷа ба он мефароянд, онро хориҷ карда наметавонанд.

Аммо Appendix D.2 нишон медиҳад, ки inflation-NPA ҳатто дар сатҳи танҳо

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

ихтилоф эҷод мекунад.

Интуитсияи исбот чунин аст: симметрияҳои inflation маҷбур мекунанд, ки баъзе нусхаҳо як бити тасодуфиро муштарак дошта бошанд, дар ҳоле ки факторизатсияи нусхаҳои мустақили манбаъ мегӯяд, ки ҳамон ду тағйирёбанда бояд мустақил бошанд. Ин ду талаб ҳамзамон иҷро шуда наметавонанд.

Ин мисол нишон медиҳад, ки равиши inflation топологияи умумии шабакаро нисбат ба усулҳои факторизатсияи одии ҷуфтӣ муфассалтар рамзгузорӣ карда метавонад.

Чаро шарти ҳолати соф танҳо интихоби техникӣ нест?

Дар таърифи Projector Bilocal талаб мешавад, ки

\[ \tau=\rho\sigma \]

ҳолат проектори соф бошад.

Дар назарияи стандартии квантии тензорӣ ҳолати омехтаро одатан бо илова кардани фазоҳои иловагии Hilbert соф кардан мумкин аст. Қисми Appendix E.2-и мақола нишон медиҳад, ки дар модели билокалии бар коммутатор асосёфта ин қадам худкор дуруст нест.

Муаллифон вақте шарти ҳолати соф бардошта мешавад, мисоли возеҳи ҳолати омехтаро месозанд, ки тақсимоти shared-random-bit-и сеҷонибаро тавлид мекунад. Аммо ин тақсимот бо мустақилияти воқеии билокалӣ мувофиқ нест.

Ҳамин тавр нишон дода мешавад, ки purification-и оддӣ сохтори коммутатсияи манбаъро нигоҳ намедорад.

c-purifiability чӣ маъно дорад?

Дар асоси ин масъала мақола мафҳуми алтернативии c-purification-ро таъриф мекунад, ки бо сохтори коммутаторӣ мувофиқ аст.

Мувофиқи Corollary E.1, дар модели билокалӣ ҳолати омехта ба ҳамин маъно соф карда мешавад агар ва танҳо агар шартҳои факторизатсия

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

барои ҳамаи калимаҳои Alice ва Charlie иҷро шаванд.

Ин натиҷа нишон медиҳад, ки шарти факторизатсия дар мақола на танҳо техникаи оптимизатсия, балки бо сохтори purification-и нигоҳдорандаи мустақилияти манбаъҳои билокалӣ ҳам алоқаманд аст.

Умумисозӣ ба шабакаи ситораии чорҷониба то чӣ андоза муваффақ аст?

Appendix F шабакаи ситораиро баррасӣ мекунад, ки Bob дар марказ қарор дорад ва се манбаи мустақил Bob-ро ба Alice, Charlie ва Dave мепайванданд.

Ин дафъа танҳо факторизатсияи ҷуфтии тарафҳои берунӣ кофӣ нест. Масалан, сохтори факторизатсияи сегона миёни Alice–Charlie ва Dave низ бояд алоҳида рамзгузорӣ шавад.

Муаллифон як Factorisation Star-shaped Trilocal NPA hierarchy-ро пешниҳод мекунанд ва исбот мекунанд, ки тақсимотҳое, ки ин иерархияро мегузаранд, модели муайяни Anti-state Projector Star-shaped доранд.

Бо вуҷуди ин, натиҷаи “агар ва танҳо агар”-и ҳамон қадар пурқувват мисли сенарияи билокалӣ ба даст намеояд. Муаллифон пешбинӣ мекунанд, ки азбаски ҳамаи фарзияҳои факторизатсияро ҳанӯз дар исбот истифода накардаанд, мумкин аст модели табиитар ва маҳдудкунандаи шабака ба даст оварда шавад.

Аз ин рӯ натиҷаи шабакаи ситораии чорҷониба назарияи анҷомёфта барои шабакаҳои умумӣ нест, балки самти таҳқиқест, ки нишон медиҳад исботи билокалӣ аз куҷо мушкилтар мешавад.

Масъалаи Tsirelson-и билокалӣ дар версияи ҷорӣ чӣ гуна баррасӣ мешавад?

Яке аз саволҳои кушодаи версияи аввал муносибати модели Projector Bilocal бо модели табиии билокалии commuting-observable-и \(C^*\)-алгебравӣ буд.

Appendix G.2 натиҷаи баъдии Ligthart–Gross-ро ба матни ҷорӣ ворид мекунад. Мувофиқи он, маҷмӯи Projector Bilocal Quantum Distribution бо модели мувофиқи commuting-observable bilocal эквивалент аст.

Муҳимтар аз ин, дар ҳолати андозааш ниҳоӣ ин сохтор бо модели tensor-product bilocal низ эквивалент аст.

Манзараи муттаҳидае, ки мақолаи ҷорӣ ба он мерасад, чунин аст:

Усул / моделҲадафи асимптотикӣ дар сенарияи билокалӣМуносибат бо модели тензории андозааш ниҳоӣ
Факторизатсионии bilocal NPAМаҷмӯи Projector/commuting bilocalЭквивалент
Тавсеаи скалярӣМаҷмӯи Projector/commuting bilocalЭквивалент
Иерархияи поляризатсияҲамон релаксатсияи commuting bilocalЭквивалент
Inflation-NPAҲамон релаксатсияи commuting bilocalЭквивалент

Масъалаи кушода барои шабакаҳои умумии квантӣ чист?

Ҳарчанд ҳолати билокалӣ ҳоло то андозаи зиёд фаҳмида шудааст, муҳимтарин паёми мақола барои таҳқиқоти оянда ин аст, ки дар шабакаҳои умумӣ чунин манзараи пурра ҳанӯз вуҷуд надорад.

Хусусан саволи он ки оё иерархияи inflation-NPA дар шабакаҳои квантии ихтиёрӣ воқеан ба маҷмӯи табиии коррелятсияҳои \(C^*\)-алгебравӣ ҳамгаро мешавад, кушода мемонад.

Маълум нест, ки ҷудокунии операторӣ-алгебравии дар исботи билокалӣ истифодашударо чӣ гуна бояд тавсеа дод, то тарафҳое, ки якчанд пайваст доранд, ҳамзамон ва мувофиқ “тақсим” шаванд.

Таҳқиқот ин саволро ҳамчун яке аз масъалаҳои асосии кушода барои тавсифи алгоритмии коррелятсияҳои шабакаҳои умумии квантӣ муайян мекунад.

Verianla Live: Аз NPA-и стандартӣ то иерархияҳои шабакаи билокалӣ

Ин раванд занҷири рушди математикии таҳқиқотро бар асоси тартиби истифодашуда дар манбаъ ҷамъбаст мекунад. Марҳилаҳо қадамҳои вақти таҷрибавӣ нестанд; вобастагии мантиқии таърифҳо, масъалаҳо ва теоремаҳоро нишон медиҳанд.

МарҳилаСохтори дар манбаъ сохташудаНатиҷаи илмӣ
1. NPA-и стандартӣАз ченкуниҳои як манбаи муштарак матрицаи moment сохта мешавад.Иерархия ба коррелятсияҳои commuting-observable Bell ҳамгаро мешавад.
2. Шабакаи билокалӣМиёни A–B ва B–C ду манбаи мустақили квантӣ ҳаст.Маълумоти мустақилияти манбаъҳо, ки NPA-и стандартӣ намебинад, пайдо мешавад.
3. Факторизатсияи NPAШарти \(\Gamma_{\alpha,\gamma}=\Gamma_{\alpha,1}\Gamma_{1,\gamma}\) илова мешавад.Theorem 2.3: ҳамаи сатҳҳо маҷмӯи Projector Bilocal Quantum Distributions-ро тавсиф мекунанд.
4. Масъалаи ғайрихаттӣАз сабаби ҳосили moment-ҳо санҷиши факторизатсия мустақим SDP нест.Рамзгузории нави аз ҷиҳати ададӣ қулайтар лозим мешавад.
5. Тавсеаи скалярӣБа ҳар калимаи операторӣ тавсеаи скалярии \(\kappa_\omega\) илова шуда, маҳдудиятҳои поляризатсия татбиқ мешаванд.Маълумоти факторизатсия ба маҳдудиятҳои moment-и мувофиқ бо SDP табдил меёбад.
6. Ҳамгароии дувумИерархияҳои тавсеаи скалярии state-polynomial ва бар поляризатсия асосёфта таҳлил мешаванд.Theorem 3.1: онҳо низ ба ҳамон маҷмӯи Projector Bilocal ҳамгаро мешаванд.
7. Андозаи ниҳоӣМеъёри rank-loop истифода мешавад.Миёни намояндагиҳои projector ва tensor bilocal-и андозаашон ниҳоӣ эквивалентӣ ба даст меояд.
8. Inflation ва шабакаҳои умумӣНусхаҳои мустақили манбаъҳо ва симметрияҳои пермутатсия ба матрицаи moment илова мешаванд.Дар ҳолати билокалӣ ба ҳамон маҷмӯи ҳадаф мерасад; дар шабакаҳои умумӣ монанди секунҷа inflation-NPA маълумоти бештаре аз топология мебарад.
 

Verianla Live: Source-of-truth-и илмӣ ҷадвали намоёни боло аст; қабати интерактивӣ дар вақти иҷро аз маълумоти ҷадвал сохта мешавад.

Натиҷаҳое, ки таҳқиқот дастгирӣ мекунад

  • Дар шабакаи квантии билокалӣ мустақилияти манбаъҳоро тавассути шартҳои факторизатсияи Alice–Charlie ба матрицаи moment илова кардан мумкин аст.
  • Тақсимотҳое, ки ҳамаи сатҳҳои иерархияи факторизатсионии bilocal NPA-ро мегузаранд, маҳз маҷмӯи Projector Bilocal Quantum Distributions мебошанд.
  • Шартҳои ғайрихаттии факторизатсия метавонанд бо тавсеаи мувофиқи скалярӣ ва сохтори поляризатсия ба иерархияи SDP табдил дода шаванд.
  • Иерархияи ислоҳшудаи тавсеаи скалярӣ низ ба ҳамон маҷмӯи Projector Bilocal ҳамгаро мешавад.
  • Мушкил дар аргументи кӯҳнаи ҳамгароии тавсеаи скалярӣ он аст, ки операторҳои скалярӣ дар намояндагии GNS метавонанд дар блокҳои гуногун арзишҳои гуногун гиранд.
  • Маҳдудиятҳои квадратии поляризатсия имкон медиҳанд, ки баробариҳои факторизатсия дар блокҳои экстремалии мувофиқ дубора маҷбур карда шаванд.
  • Шарти rank-loop барои намояндагиҳои билокалии андозаашон ниҳоӣ меъёри қатъкунӣ медиҳад.
  • Дар ҳолати билокалӣ inflation-NPA, факторизатсия, тавсеаи скалярӣ ва равишҳои поляризатсия бо як релаксатсияи commuting/projector bilocal алоқаманданд.
  • Дар андозаҳои ниҳоӣ формулировкаҳои projector/commuting bilocal ва tensor bilocal эквивалентанд.
  • Дар шабакаи секунҷа усулҳои одии факторизатсия ва тавсеаи скалярӣ топологияи шабакаро фарқ карда наметавонанд, аммо inflation-NPA тақсимоти shared-random-bit-ро хориҷ карда метавонад.
  • Формулировкаҳои ҳолати соф ва омехта дар моделҳои шабакавии бар коммутатор асосёфта худкор эквивалент нестанд.

Натиҷаҳое, ки таҳқиқот дастгирӣ ё исбот намекунад

  • Таҳқиқот тавсифи пурраи ҳисобшавандаи маҷмӯи физикии коррелятсияҳои tensor-bilocal-ро дар ҳолати умумии беандоза намедиҳад.
  • Кафолати универсалии суръати он дода намешавад, ки иерархияи SDP дар як татбиқи муайян дар чанд сатҳ ҳамгаро мешавад.
  • Нишон дода намешавад, ки аз ҳалли лимитии иерархияи тавсеаи скалярӣ дар ҳолати умумӣ модели мушаххаси квантии фазои Hilbert-ро бевосита баровардан мумкин аст.
  • Исбот намешавад, ки натиҷаҳои ҳамгароии сенарияи билокалӣ ба ҳамаи топологияҳои шабака худкор умумӣ мешаванд.
  • Пуррагии inflation-NPA дар шабакаҳои квантии ихтиёрӣ исбот нашудааст.
  • Барои шабакаи ситораии чорҷониба теоремаи дуҷонибаи ҳамон қадар пурқуввати ҳамгароӣ мисли ҳолати билокалӣ ба даст намеояд.
  • Таҳқиқот дар дастгоҳи квантӣ таҷриба, тавлиди печидагӣ, тавлиди калиди криптографӣ ё ченкунии иҷрои физикӣ анҷом намедиҳад.
  • Имконпазир будани SDP маънои хароҷоти пасти ҳисоббарориро надорад; матрицаҳои moment метавонанд бо сатҳи иерархия зуд калон шаванд.

Усул ва Натиҷаҳои Таҳқиқот

Тарҳи таҳқиқот

Таҳқиқот таҷрибавӣ нест, балки таҳқиқоти математикӣ-назариявии иттилооти квантӣ мебошад. Усули асосӣ noncommutative polynomial optimisation, матрицаҳои moment/Hankel, мусбати ниммуайян, алгебраҳои операторӣ, назарияи намояндагии GNS, оптимизатсияи state-polynomial, маҳдудиятҳои поляризатсия ва усули quantum inflation-ро дар бар мегирад.

Намунаи нави таҷрибавӣ, дастгоҳи физикӣ ё маҷмӯи маълумоти ададӣ истифода нашудааст. Шакли санҷиши мақола теоремаҳо ва исботҳо мебошад.

Матрицаи moment-и стандартии NPA

Дар сатҳи иерархия сатрҳо ва сутунҳои матрицаи moment бо калимаҳои операторӣ, ки дарозии онҳо ҳадди аксар \(n\) аст, индексгузорӣ мешаванд.

Талабҳои асосӣ:

  • \(\Gamma^n_{1,1}=1\),
  • \(\Gamma^n\succeq0\),
  • баробарии moment-ҳое, ки як калимаи операториро ифода мекунанд,
  • нигоҳ доштани муносибатҳои проекторӣ ва коммутатсияи байни тарафҳо,
  • мувофиқат бо тақсимоти мушоҳидашудаи \(q(abc|xyz)\).

Дар сенарияи стандартии Bell ин сохтор ба маҷмӯи коррелятсияҳои квантии commuting-observable ҳамгаро мешавад.

Матрицаи moment-и факторизатсия

Маҳдудияти нави илмӣ, ки ба шартҳои стандартӣ барои сохтори билокалӣ илова мешавад, баробарии

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

мебошад.

Ин шарт танҳо барои калимаҳои \(\alpha\), ки аз ченкуниҳои Alice иборатанд, ва \(\gamma\), ки аз ченкуниҳои Charlie иборатанд, татбиқ мешавад ва ду манбаи мустақили шабакаро алгебравӣ ифода мекунад.

Натиҷаи техникии Theorem 2.3

СамтВоситаи исботНатиҷа
Projector Bilocal → матрицаҳои momentСохтани мустақими матрицаи Gram/moment аз операторҳои воқеӣҲар сатҳи иерархия гузаронда мешавад.
Ҳамаи сатҳҳои moment → Projector BilocalЛимити беинтиҳо, намояндагии GNS, ортогоналии зерфазоҳои Alice/Charlie аз факторизатсияПроекторҳои \(\rho\), \(\sigma\) ва \(\tau=\rho\sigma\) дубора сохта мешаванд.

Чаҳорчӯби полиномӣ барои тавсеаи скалярӣ

Барои ҳар калимаи оператории стандартӣ \(\omega\) тавсеаи скалярии \(\kappa_\omega\) илова мешавад. Ин тағйирёбандаҳо бо ҳамдигар ва бо ҳарфҳои оператории стандартӣ коммутатсия мекунанд.

Маҳдудияти факторизатсия

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

навишта мешавад.

Дар формулировкаи поляризатсия ба функсионали moment шарти

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

татбиқ мешавад.

Ба ҳамин тарз, барои мувофиқат бо тақсимоти эҳтимолияти ҳадаф

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

таъриф шуда,

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

маҷбур карда мешавад.

Шарти Boundedness

Дар исботи ҳамгароии версияи поляризатсия калимаҳои скалярӣ бояд маҳдуд боқӣ монанд. Аз ин рӯ дар Definition 3.2 шарти иловагии мусбати ниммуайян мавҷуд аст.

Ин шарти техникӣ барои таъмин кардани хусусияти Archimedean-и quadratic module ва татбиқи аргументҳои Positivstellensatz/Kadison–Dubois дар лимит лозим аст.

Мантиқи нуқтаи экстремалии ҳамгароӣ

Функсионали мусбати хаттии дар лимит ба дастомада бо ченак бар функсионалҳои экстремалии мувофиқ намояндагӣ мешавад.

Функсионалҳои экстремалӣ дар алгебраи тавсеаи скалярӣ рафтори зарбӣ доранд:

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

Сифр будани интеграли маҳдудиятҳои квадратӣ бо сабаби мусбатӣ кафолат медиҳад, ки ин баробариҳо қариб дар ҳамаи компонентҳои экстремалӣ алоҳида иҷро шаванд.

Аз онҳо як компоненти экстремалӣ интихоб шуда, матрицаи moment-и факторизатсионии билокалӣ сохта мешавад ва Theorem 2.3 татбиқ мегардад.

Натиҷаи stopping criterion

Theorem 3.2 чор сохторро пайваст мекунад:

ШартМаъно
Намояндагии Projector Bilocal-и андозааш ниҳоӣМодели глобалии коммутаторӣ дар фазои Hilbert-и андозааш ниҳоӣ амалӣ мешавад.
Rank loop дар матрицаи moment-и факторизатсияПас аз сатҳи муайян андозаи фазои moment дигар намеафзояд.
Rank loop дар матрицаи тавсеаи скалярӣ ва шарти мувофиқи GNSИерархияи скалярӣ-тавсеашуда низ метавонад намояндагии ниҳоӣ созад.
Намояндагии Tensor Bilocal-и андозааш ниҳоӣМодели физикии tensor-product bilocal мавҷуд аст.

Усули матрицаи moment-и inflation

Дар Inflation-NPA \(m\) нусхаи мустақили манбаъ сохта мешавад. Операторҳо бо индексҳои нусха васеъ карда шуда, матрицаи moment

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

сохта мешавад.

Шарти иловагии асосӣ инвариантӣ нисбат ба пермутатсияи нусхаҳои манбаъ мебошад:

\[ S_m\times S_m. \]

Таҷрибаҳои параллелӣ дар нусхаҳои диагоналӣ бояд ҳосилҳои мустақили тақсимоти аслиро дубора тавлид кунанд.

Азбаски ин шартҳо танҳо бо баробариҳои хаттии moment ва мусбати ниммуайян ифода мешаванд, санҷиш боз дар шакли SDP аст.

Гузариш аз inflation ба тавсеаи скалярӣ

Исботи Theorem 4.2 ба ҳар калимаи тавсеаи скалярӣ як нусхаи гуногуни inflation таъин мекунад.

Вақте сатҳи иерархия \(n\) ва андозаи алифбои оператори ченкунӣ \(d\) аст, сатҳи лозимии inflation дар исбот хеле зуд меафзояд; дар сохтмони возеҳи Appendix D шумораи кофии нусхаҳо аз навъи

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

истифода мешавад.

Ин афзоиш танҳо воситаи редуксияи назариявӣ аст. Манбаъ махсус таъкид мекунад, ки ин ҳадди боло барои самаранокии воқеии ададии inflation-NPA ё алгоритми оптималӣ нест.

Нақши илмии се шакли муҳим

ШаклСаҳифаСохтори нишон додашудаЧаро дар мақола муҳим аст?
Шакли 14Шабакаи стандартии сеҷонибаи Bell ва шабакаи билокалӣ бо ду манбаи мустақилНишон медиҳад, ки чаро мустақилияти манбаъҳо берун аз NPA-и стандартӣ шарти нав талаб мекунад.
Шакли 225Ду нусхаи inflation-и манбаъҳо ва ченкунии нусхаҳои гуногун аз ҷониби тарафҳоИнтуитсияи физикии симметрияи пермутатсия ва маҳдудиятҳои факторизатсияи диагоналиро шарҳ медиҳад.
Шакли 327Шабакаи секунҷа ва шабакаи ситораии чорҷонибаНишон медиҳад, ки чаро усули билокалӣ мустақим ба шабакаҳои умумӣ интиқол намеёбад.

Азбаски иҷозати бозистифодаи тасвирҳои манбаъ иҷозати кушодаи Creative Commons барои мутобиқсозӣ нест, тасвирҳо дар ин ҷо нусхабардорӣ нашудаанд; паёмҳои илмии онҳо бо ҷадвалҳои HTML-и аслӣ ва раванди Verianla Live бозбаён шудаанд.

Ҷиҳатҳои қавии таҳқиқот

  • Пайваст кардани мустақилияти манбаъҳои билокалӣ ба матрицаи стандартии moment-и NPA бо шарти возеҳи факторизатсия.
  • Додани исботи пурраи ҳамгароӣ барои иерархияи аввал.
  • Сохтани сохтори ислоҳшудаи тавсеаи скалярӣ, ки иерархияи ғайрихаттиро ба синфи SDP мебарад.
  • Ошкоро ташхис ва ислоҳ кардани аргументи нодурусти ҳамгароӣ дар preprint-и қаблӣ.
  • Якҷо кардани оптимизатсияи state-polynomial ва техникаҳои поляризатсия дар масъалаи шабакаи квантии билокалӣ.
  • Пешниҳоди меъёри қатъкунии rank-loop барои ҳолатҳои андозаашон ниҳоӣ.
  • Нишон додани муносибати математикӣ миёни inflation-NPA ва иерархияҳои худ.
  • Бо мисоли шабакаи секунҷа мушаххас кардани он ки кадом маълумот дар шабакаҳои умумӣ бо факторизатсияи оддӣ гум мешавад.
  • Бо мисоли муқобили возеҳ нишон додани он ки чаро фарқи ҳолати соф/омехта дар моделҳои бар коммутатор асосёфта муҳим аст.

Маҳдудиятҳои таҳқиқот

  • Ҳадафи ҳамгароӣ дар ҳолати умумии беандоза худи маҷмӯи физикии Tensor Bilocal нест, балки релаксатсияи Projector/commuting bilocal мебошад.
  • Иерархияи факторизатсия бинобар маҳдудиятҳои ғайрихаттӣ SDP-и мустақим нест.
  • Ҳамгароии иерархияи тавсеаи скалярӣ дар ҳолати умумӣ баровардани алгоритмии модели мушаххаси квантиро кафолат намедиҳад.
  • Барои суръати ҳамгароии иерархияҳо ҳадди амалии сатҳ дода намешавад.
  • Андозаи матрицаҳои moment ва inflation бо боло рафтани сатҳ зуд меафзояд.
  • Барои шабакаҳои умумӣ берун аз сенарияи билокалӣ тавсифи пурраи ҳамгароӣ ба даст наомадааст.
  • Натиҷаи шабакаи ситораии чорҷониба танҳо яксамта аст ва тавсифи пурраи модели табиии projector-network нест.
  • Дар шабакаи секунҷа умумисозиҳои факторизатсия/тавсеаи скалярӣ аз NPA-и стандартӣ гузашта наметавонанд.

Қайди Манбаъ ва Усул

Номи пурраи аслии таҳқиқот: Two Convergent NPA-like Hierarchies for the Quantum Bilocal Scenario

Қайди унвон: Унвони PDF-и боршуда дар шакли Title Case аст. arXiv ва баъзе метамаълумоти маҷалла ҳамон унвонро ба шакли “Two convergent NPA-like hierarchies for the quantum bilocal scenario” дар sentence case нишон медиҳанд. Ин танҳо фарқи намоиши ҳарфҳои калон/хурд аст; дар ин ҷо унвони намоёни аслии PDF нигоҳ дошта шудааст.

Муаллифон: Marc-Olivier Renou; Xiangling Xu; Laurens T. Ligthart.

Тартиби муаллифон: Тартиби дар манбаъ додашуда айнан нигоҳ дошта шудааст.

Саҳми баробар: Дар манбаъ нишонаи ҳаммуаллифи аввал ё саҳми баробар нест.

Муаллифи масъул: Xiangling Xu. Дар PDF-и боршуда аломати † ва суроғаи xu.xiangling@inria.fr дода шудааст; сабти маҷаллаи рецензияшуда низ Xu-ро correspondence author нишон медиҳад.

Аффилиатсияҳо дар PDF-и боршуда: 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.

Номувофиқии аффилиатсия: Дар PDF-и arXiv v5, ки бор шудааст, дар номи Laurens T. Ligthart нишондиҳандаи болоии 5 дида мешавад; рақами 5 аффилиатсияи ETH Zürich аст. Ҳамин PDF аффилиатсияи рақами 6 — University of Cologne-ро низ номбар мекунад, аммо дар сатри намоёни муаллифон ба 6 пайванди ошкор нест. Дар версияи рецензияшудаи Journal of Mathematical Physics, Ligthart affiliation 6 ба University of Cologne мувофиқ карда шудааст. Ин фарқи манбаъ дар матни Verianla хомӯшона “ислоҳ” нашудааст.

Соҳаи илмӣ: Назарияи иттилооти квантӣ, шабакаҳои квантӣ, ғайримаҳаллии квантӣ, алгебраҳои операторӣ, оптимизатсияи полиномии ғайрикоммутативӣ ва барномарезии ниммуайян.

Манбаи боршуда: arXiv:2210.09065v5 [quant-ph].

Аввалин фиристодан ба arXiv: 17 октябри 2022.

Санаи v5-и боршуда: 20 январи 2026.

arXiv DOI: 10.48550/arXiv.2210.09065.

Нашри рецензияшуда: Journal of Mathematical Physics, Volume 67, Issue 1, Article 012203 (2026).

DOI-и версияи рецензияшуда: 10.1063/5.0211008.

Ношир: AIP Publishing.

Ҳолати рецензия: Файли боршуда версияи repository-и arXiv аст. Ҳамин таҳқиқот баъдтар дар Journal of Mathematical Physics рецензия шуда, нашр шудааст.

Раванди нашри версияи рецензияшуда: Дар сабти маҷалла фиристодан 28 марти 2024, қабул 15 декабри 2025 ва нашри онлайн 9 январи 2026 нишон дода шудааст.

Литсензия: Метамаълумоти PDF-и arXiv-и боршуда ба arXiv non-exclusive distribution license ишора мекунад. Версияи рецензияшудаи Journal of Mathematical Physics тибқи литсензияи истисноии нашр ба AIP Publishing нашр шудааст. Аз ин сабаб тасвирҳои манбаъ мустақим нусхабардорӣ нашуда, мазмуни илмии онҳо бо ҷадвалҳо ва равандҳои аслии Verianla баён шудааст.

Таърихи версия ва ислоҳи муҳим: Дар версияи аввалини preprint исботи ҳамгароии иерархияи тавсеаи скалярӣ нодуруст буд. Манбаи ҷорӣ инро ошкоро мегӯяд ва шарҳ медиҳад, ки хато аз он бармеояд, ки операторҳои тавсеаи скалярӣ дар намояндагии умумии GNS маҷбур нестанд як скаляри глобалӣ бошанд. Дар v5-и ҷорӣ бо истифода аз натиҷаҳои поляризатсия ва state-polynomial optimisation иерархияи ислоҳшудаи ҳамгаро дода мешавад.

Маълумоти манбаъ дар бораи саҳми муаллиф: Ҷадвали ҷудогонаи CRediT вуҷуд надорад. Мувофиқи бахши “Note Added”, Laurens T. Ligthart дар марҳилаи дувуми лоиҳа ба кор ҳамроҳ шуда, ба рушди иерархияи ислоҳшуда ва мақола саҳм гузоштааст.

Маблағгузорӣ: Барои M.-O. Renou PCI2021-122022-2B ва дастгириҳои Испания/ИА, QuantumCAT, ERC CERQUTE ва AXA, ки дар манбаъ номбар шудаанд; барои X. Xu ва M.-O. Renou дастгирии INRIA ва CIEDS DEPARTURE, ANR LINKS ва барномаҳои QuantERA/Horizon гузориш шудаанд.

Дастрасии маълумот: Мувофиқи изҳороти ошкори манбаъ дар таҳқиқот маълумоти нав тавлид ё таҳлил нашудааст; аз ин рӯ мубодилаи маълумот татбиқ намешавад.

Бархӯрди манфиатҳо: Дар матни arXiv v5-и боршуда изҳороти ҷудогонаи conflict-of-interest ёфт нашуд. Аз ин “бархӯрди манфиатҳо вуҷуд надорад” хулосаи иловагӣ бароварда нашудааст.

Усули таҳқиқот: Noncommutative polynomial optimisation; матрицаҳои moment-и NPA; маҳдудиятҳои ғайрихаттии манбаъ-факторизатсия; сохтмони намояндагии GNS; усулҳои moment-и scalar extension/state-polynomial; баробариҳои поляризатсия; аргументҳои Positivstellensatz ва экстремал-функсионалӣ; таҳлили rank-loop; quantum inflation ва муқоисаи топологияҳои шабака.

Ҳудуди мазмуни илмӣ: Таърифҳо, теоремаҳо, формулаҳо, интуитсияҳои исбот, баҳсҳои шабакаи секунҷа/ситора, мисоли ҳолати соф-омехта ва масъалаҳои кушода дар ин мақолаи Verianla аз таҳқиқоти 56-саҳифагии arXiv v5, ки корбар бор кардааст, омода шудаанд. Манбаъҳои беруна танҳо барои санҷиши библиографии шахсияти нашр, сабти маҷаллаи рецензияшуда, DOI, санаҳои нашр ва литсензияи нашр истифода шудаанд; аз берун натиҷаи нави илмӣ илова нашудааст.

Ҳудуди асосии тафсир: “Иерархияи ҳамгаро” маънои онро надорад, ки дастгоҳи физикии квантӣ бо гузашти вақт ба ҳадаф наздик мешавад. Ҳамгароӣ дар ин ҷо маънои онро дорад, ки бо баланд шудани сатҳи иерархия маҷмӯаҳои берунии бар матрицаи moment асосёфта як маҷмӯи муайяни математикӣ-квантии коррелятсияҳоро тавсиф мекунанд.

Қайди Verianla Live: Азбаски дар манбаъ силсилаи миқдории таҷрибавӣ нест, `vlive-bar` ё `vlive-line` истифода нашудааст. `vlive-process` танҳо занҷири вобастагии математикӣеро, ки дар манбаъ сохта шудааст, нишон медиҳад; рақам, натиҷаи мобайнӣ ё марҳилаи таҷрибавии дар манбаъ набударо илова намекунад.


Мубодила:

Шарҳҳо пас аз баррасӣ нашр мешаванд.Шарҳи шумо ба раванди тасдиқ фиристода шуда, пас аз пазируфта шудан намоён мегардад.

Шарҳ гузоред

Нишонии почтаи электронии шумо нашр намешавад. Майдонҳои ҳатмӣ бо * нишон дода шудаанд

Иҷозат додан ба кукиҳо таҷрибаи шуморо дар ин сомона беҳтар мекунад. Сиёсати кукиҳо