Бул изилдөө эки көз карандысыз кванттык булак үч тарапка бөлүштүрүлгөн билокалдык кванттык тармактарда кайсы ыктымалдык бөлүштүрүүлөр кванттык теорияга шайкеш келерин тышкы жакындатуу аркылуу мүнөздөө маселесин изилдейт. Изилдөөчүлөр стандарттык 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 болсо эки булактан тең система алат. Булактын 4-бетиндеги 1(b)-сүрөт бул топологияны так көрсөтөт: тармак

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 моменттик матрицасы өлчөө операторлорунун проекторлук, Hermitтик жана ар башка тараптар ортосундагы коммутация сыяктуу алгебралык касиеттерин көрө алат; бирок булак көз карандысыздыгын өз алдынча коддой албайт.

1-сүрөттүн негизги илимий билдирүүсү

Бул таблица булактагы 1-сүрөттүн илимий билдирүүсүнүн Verianla үчүн оригиналдуу тексттик кайра баяндалышы; булак сүрөтү түз көчүрүлгөн эмес.

Тензордук билокалдык жана Projector Bilokal моделдеринин айырмасы эмнеде?

Физикалык жактан эң табигый аныктама 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 болсо биринчи булакка көз каранды болбошу керек деген идеянын коммутатордук модель ичиндеги эквиваленти.

Бул модель чексиз өлчөмдүү жалпы учурда физикалык тензор-билокалдык моделден кененирээк. Бирок булакта келтирилген кийинки натыйжалар чектүү өлчөмдөрдө тиешелүү билокалдык моделдердин эквиваленттүүлүгүн кайра камсыздайт.

Биринчи жаңы ыкма: Факторизациялык Билокалдык NPA Иерархиясы

Стандарттык NPA моменттик матрицасы \(\Gamma^n\), узундугу эң көп \(n\) болгон өлчөө оператордук сөздөрү менен индекстелет. Оң жарым-аныкталгандык жана проектор/коммутация мамилелери стандарттык NPAдагыдай сакталат.

Билокалдык тармактагы жаңы маалымат — Alice жана Charlie көз карандысыз булактардан келет. Ошондуктан Alice операторлорунан гана турган \(\alpha\) сөзү менен Charlie операторлорунан гана турган \(\gamma\) сөзү үчүн

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

мамилеси күтүлөт.

Моменттик матрица тилинде бул шарт

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

түрүндө жазылат.

Ушул бир эле кошумча идея стандарттык NPA матрицасын Factorisation Bilocal Moment Matrix кылат.

Факторизация иерархиясы эмне үчүн практикалык SDP эмес?

Оң жарым-аныкталгандык жана стандарттык NPA мамилелери моменттик матрица элементтеринде сызыктуу чектөөлөр. Ал эми

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

оң жагында эки белгисиз моменттин көбөйтүндүсүн камтыйт.

Ошондуктан маселе жарым-аныкталган программалоо талап кылган сызыктуу/аффиндик чектөө түзүмүнөн чыгат. Авторлор факторизация иерархиясын күчтүү теориялык мүнөздөмө катары баалашат; түздөн-түз сандык SDP куралы катары эмес.

Theorem 2.3: Биринчи жакындашуу натыйжасы

Изилдөөнүн биринчи негизги теоремасы төмөнкү эквиваленттүүлүктү белгилейт:

Үч тараптуу бөлүштүрүү факторизациялык билокалдык NPA иерархиясынын бардык деңгээлдеринен өтсө жана болгону ошол учурда Projector Bilocal Quantum Distribution болуп саналат.

Бул зарыл шарттарды гана берген тесттер үй-бүлөсү эмес. Чексиз иерархиянын чегинде максаттуу проектор-билокалдык жыйындыны толук мүнөздөйт.

Жакындашуу далилинин GNS идеясы

Далилдин алдыга багыты түз: чыныгы проектор-билокалдык моделден ар бир деңгээлде шайкеш моменттик матрица түзүүгө болот.

Тескери багытта болсо бардык деңгээлдерде шайкеш матрицалар бар деп кабыл алынат. Адегенде ылайыктуу бөлүк катардан чексиз өлчөмдүү

\[ \Gamma^\infty \]

моменттик матрица алынат.

Андан кийин стандарттык NPA далилине окшош түрдө Gelfand–Naimark–Segal (GNS) тибиндеги өкүлчүлүк колдонулуп Hilbert мейкиндиги, таза абал проектору жана Alice, Bob, Charlie өлчөө операторлору түзүлөт.

Билокалдык тармак үчүн жаңы техникалык кадам — \(\rho\) жана \(\sigma\) проекторлорун түзүү. Авторлор Alice операторлору абал векторунда түзгөн ички мейкиндик менен Charlie операторлору түзгөн ички мейкиндикти изилдешет.

Факторизация шарты бул эки ички мейкиндиктин таза абал багытынан тышкаркы толуктоочу бөлүктөрү өз ара ортогоналдуу болушун камсыздайт. Ушул геометриялык ортогоналдуулук натыйжасында түзүлгөн эки ортогоналдык проектор үчүн

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

алынат.

Башкача айтканда, булактардын көз карандысыздыгы моменттик матрицадагы сызыктуу эмес теңдиктин 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}\) скалярдык кеңейтүүсү колдонулганда керектүү поляризация чектөөсүн түзүүгө болот.

Скалярдык кеңейтүү моменттик матрицасы

Жаңы моменттик матрица \(\Omega^n\) стандарттык өлчөө тамгаларын да, скалярдык кеңейтүү сөздөрүн да коддогон моменттерден түзүлөт.

Скалярдык тамгалардын негизги максаты

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

мамилесин полиномдук оптималдаштыруу ичинде көрсөтүү.

Изилдөө бири-бирине жакын эки формулировканы берет:

Эки түзүлүш техникалык майда-чүйдөсүндө айырмаланса да, экөө тең ошол эле проектор-билокалдык корреляциялар жыйындысына жакындайт.

Theorem 3.1: Экинчи жакындашуу натыйжасы

Макаланын экинчи негизги теоремасы:

Бөлүштүрүү скалярдык кеңейтүү билокалдык иерархиясынын бардык деңгээлдеринен өтсө жана болгону ошол учурда Projector Bilocal Quantum Distribution болуп саналат.

Демек негизги натыйжаны жалпылап

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

\[ \Longleftrightarrow Q\text{ бардык факторизация-NPA деңгээлдеринен өтөт} \]

\[ \Longleftrightarrow Q\text{ бардык скалярдык-кеңейтүү деңгээлдеринен өтөт} \]

түрүндө берүүгө болот.

Скалярдык кеңейтүү иерархиясы эмне үчүн “конструктивдүү эмес” натыйжа?

Стандарттык NPA/GNS ыкмасында чектеги моменттик матрица айрым учурларда оператордук өкүлчүлүктү түздөн-түз кайра курууга мүмкүнчүлүк берет.

Скалярдык кеңейтүү далилинде болсо чекте пайда болгон сызыктуу функционал экстремалдык чечимдердин аралашмасы болушу мүмкүн. Жакындашуу ушул аралашманын ичинде керектүү касиеттерди алып жүргөн экстремалдык чечимдин бар экенин кепилдейт.

Бирок жалпы учурда SDP берген чектик маалыматтан “мына бул Hilbert мейкиндиги жана мына бул өлчөө операторлору” деп түздөн-түз конкреттүү билокалдык кванттык модель чыгарууга болбойт.

Ошондуктан изилдөө жакындашууну бар болуу теоремасы катары сүрөттөйт.

Rank-loop токтотуу критерийи эмнеге керек?

Чексиз иерархиянын бардык деңгээлдерин чечүү практикада мүмкүн эмес. Ошондуктан макала чектүү өлчөмдүү өкүлчүлүктөргө туура келген токтотуу критерийин берет.

Факторизация моменттик матрицасы үчүн

\[ \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 техникасынын негизги идеясы — тармактагы көз карандысыз булактардын гипотетикалык түрдө бир нече көз карандысыз көчүрмөсүн түзүү.

Булактын 25-бетиндеги 2-сүрөттө эки көчүрмөлүү мисал көрсөтүлгөн. Alice кайсы \(\rho\) көчүрмөсүн, Charlie кайсы \(\sigma\) көчүрмөсүн колдонорун тандай алат; Bob болсо бир \(\rho\) жана бир \(\sigma\) көчүрмөсүнүн ар башка комбинацияларын өлчөй алат.

Inflation деңгээли \(m\) болгондо

• Alice үчүн \(m\) өлчөө-оператор көчүрмөсү,
• Charlie үчүн \(m\) көчүрмө,
• Bob үчүн \(m^2\) ар башка булак-көчүрмө комбинациясына туура келген операторлор

түзүлөт.

Жаңы моменттик матрица

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

стандарттык оңдук жана коммутация шарттарына кошумча булак көчүрмөлөрүнүн бири-бирин алмаштыра алуусун билдирген

\[ S_m\times S_m \]

пермутация симметриясына шайкеш болушу керек.

2-сүрөттүн негизги билдирүүсү

Inflation техникасында түзүлгөн көчүрмөлөр жаңы физикалык булактар бар дегенди билдирбейт. Бул ой-жүгүртүүдөгү/алгебралык көбөйтүү ыкмасы.

Эгер баштапкы бөлүштүрүү чындап эки көз карандысыз булактуу билокалдык моделден келсе, булактардын көз карандысыз көчүрмөлөрү да шайкеш моделдениши керек. Көчүрмөлөр ортосунда пайда болгон пермутация жана факторизация мамилелери баштапкы бөлүштүрүүгө жаңы зарыл чектөөлөрдү берет.

Inflation-NPA менен эки жаңы иерархиянын байланышы

Theorem 4.2 жетишерлик жогорку inflation деңгээлиндеги ылайыктуу

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

моменттик матрицадан ошол деңгээлге туура келген скалярдык кеңейтүү моменттик матрицасын түзүүгө болорун көрсөтөт.

Ошондуктан

\[ \text{inflation-NPAдан өтүү} \Longrightarrow \text{скалярдык кеңейтүүдөн өтүү} \]

жана негизги жакындашуу теоремалары аркылуу билокалдык учурда проектор-билокалдык модель алынат.

Булак кийин Ligthart жана Gross тарабынан далилденген тескери багытты да талкуулайт. Учурдагы натыйжаларды бириктиргенде билокалдык сценарийде факторизация NPA, скалярдык кеңейтүү, поляризация жана inflation-NPA бир эле коммутатор/projector билокалдык жумшартууну мүнөздөйт.

Бирок бул эквиваленттүүлүк сандык нарк боюнча эквиваленттүүлүк дегенди билдирбейт. Макаланын далилинде скалярдык-кеңейтүү деңгээлин түзүүгө керектелген inflation көчүрмөлөрүнүн саны абдан тез өсүшү мүмкүн; авторлор мунун түз эсептөө эффективдүүлүгү тууралуу билдирүү эмес экенин так белгилешет.

Жалпылама тармактарда эмне үчүн маселе чыгат?

Билокалдык тармактын маанилүү өзгөчөлүгү — Alice менен Charlie жалпы булак бөлүшпөйт. Ошондуктан алардын ортосунда түз факторизация шарты бар.

Үч бурчтук тармагында болсо

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

тараптардын ар бир жубу бир булакты бөлүшөт.

Бул учурда Alice–Charlie, Alice–Bob же Bob–Charlie үчүн билокалдык тармактагыдай түз көз карандысыздык факторизациясын жазууга болбойт.

Натыйжада факторизация жана скалярдык кеңейтүү иерархияларынын табигый жалпылоолору стандарттык NPA деңгээлине гана кайтып түшөт жана тармак топологиясынын кошумча маалыматын колдоно албайт.

3-сүрөт эмнени көрсөтөт?

Булактын 27-бетиндеги 3-сүрөт эки татаалыраак тармак топологиясын салыштырат:

Үч бурчтук тармактагы “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 бөлүштүрүүсүн жарата алган ачык аралаш абал мисалын түзүшөт. Бирок бул бөлүштүрүү чыныгы билокалдык көз карандысыздыкка шайкеш эмес.

Ошентип кадимки тазалоо булак коммутация түзүлүшүн сактабай турганы көрсөтүлөт.

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 сөздөрү үчүн аткарылышы керек.

Бул натыйжа макаладагы факторизация шарты оптималдаштыруу техникасы гана эмес, билокалдык булак көз карандысыздыгын сактоочу тазалоо түзүлүшү менен да байланыштуу экенин көрсөтөт.

Төрт тараптуу жылдыз тармагына жалпылоо канчалык ийгиликтүү?

Appendix F борбордо Bob турган жана үч көз карандысыз булак Bobду Alice, Charlie жана Dave менен байланыштырып турган жылдыз тармагын карайт.

Бул жолу тышкы тараптардын жуптук факторизациясы гана жетишсиз. Мисалы Alice–Charlie менен Dave ортосундагы үчтүк факторизация түзүлүшү да өзүнчө коддолушу керек.

Авторлор Factorisation Star-shaped Trilocal NPA hierarchy сунуштап, бул иерархиядан өткөн бөлүштүрүүлөр белгилүү бир Anti-state Projector Star-shaped моделге ээ экенин далилдешет.

Бирок билокалдык сценарийдегидей күчтүү “эгер жана болгону эгер” жакындашуу натыйжасы алынбайт. Авторлор колундагы бардык факторизация божомолдорун далилде али колдонбогондуктан, табигыйраак жана чектөөчү тармак модели алынышы мүмкүн деп күтүшөт.

Демек төрт тараптуу жылдыз натыйжасы жалпы тармактар үчүн бүтүп калган теория эмес, билокалдык далил кайсы жерде татаалдаша баштаганын көрсөткөн изилдөө багыты.

Билокалдык Tsirelson маселеси учурдагы версияда кантип каралат?

Макаланын биринчи версиясында ачык калган суроолордун бири Projector Bilocal модель менен табигый \(C^*\)-алгебралык commuting-observable билокалдык моделдин байланышы болгон.

Appendix G.2 кийинки Ligthart–Gross натыйжасын учурдагы текстке кошот. Ага ылайык Projector Bilocal Quantum Distribution жыйындысы ылайыктуу commuting-observable билокалдык модель менен эквиваленттүү.

Андан да маанилүүсү, чектүү өлчөмдүү учурда бул түзүлүш тензордук-көбөйтүндү билокалдык модель менен да эквиваленттүү.

Учурдагы макала жеткен бириккен көрүнүш төмөнкүдөй:

Жалпы кванттык тармактар үчүн ачык маселе эмнеде?

Билокалдык учур азыр негизинен түшүнүлгөнү менен, макаланын келечектеги изилдөөлөр үчүн эң маанилүү билдирүүсү — жалпы тармактарда ушундай толук сүрөт жок.

Айрыкча inflation-NPA иерархиясы каалаган кванттык тармактарда табигый \(C^*\)-алгебралык корреляциялар жыйындысына чындап жакындайбы деген суроо ачык бойдон калууда.

Билокалдык далилде колдонулган оператордук-алгебралык ажыратууну бир нече байланыштары бар тараптарды бир убакта жана шайкеш түрдө “бөлүү” үчүн кантип кеңейтүү белгисиз.

Изилдөө бул суроону жалпы кванттык тармак корреляцияларын алгоритмдик мүнөздөө жагынан негизги ачык маселелердин бири катары белгилейт.

Изилдөө колдогон натыйжалар

• Билокалдык кванттык тармакта булактардын көз карандысыздыгы моменттик матрицага Alice–Charlie факторизация шарттары аркылуу кошулушу мүмкүн.
• Факторизациялык билокалдык NPA иерархиясынын бардык деңгээлдеринен өткөн бөлүштүрүүлөр дал Projector Bilocal Quantum Distributions жыйындысы.
• Сызыктуу эмес факторизация шарттары ылайыктуу скалярдык кеңейтүү жана поляризация түзүлүшү менен SDP иерархиясына айландырылышы мүмкүн.
• Оңдолгон скалярдык кеңейтүү иерархиясы да ошол эле Projector Bilocal жыйындысына жакындайт.
• Эски скалярдык-кеңейтүү жакындашуу аргументиндеги маселе — скалярдык операторлор GNS өкүлчүлүгүндө ар башка блоктордо ар башка мааниге ээ боло алышы.
• Квадраттык поляризация чектөөлөрү факторизация теңдиктерин тиешелүү экстремалдык блоктордо кайра таңуулоого мүмкүндүк берет.
• Rank-loop шарты чектүү өлчөмдүү билокалдык өкүлчүлүктөр үчүн токтотуу критерийин берет.
• Билокалдык учурда inflation-NPA, факторизация, скалярдык кеңейтүү жана поляризация ыкмалары бир эле commuting/projector билокалдык жумшартуу менен байланыштуу.
• Чектүү өлчөмдөрдө projector/commuting билокалдык жана tensor билокалдык формулировкалар эквиваленттүү.
• Үч бурчтук тармакта жөнөкөй факторизация жана скалярдык кеңейтүү ыкмалары тармак топологиясын ажырата албаса, inflation-NPA shared-random-bit бөлүштүрүүсүн четке кагат.
• Таза жана аралаш абал формулировкалары коммутаторго негизделген тармак моделдеринде автоматтык түрдө эквиваленттүү эмес.

Изилдөө колдобогон же далилдебеген натыйжалар

• Изилдөө физикалык тензор-билокалдык корреляциялар жыйындысынын чексиз өлчөмдүү жалпы учурда эсептелүүчү толук мүнөздөмөсүн бербейт.
• SDP иерархиясы белгилүү колдонмодо канча деңгээлде жакындай турганына универсалдуу ылдамдык кепилдиги берилбейт.
• Скалярдык кеңейтүү иерархиясынын чектик чечиминен жалпы учурда конкреттүү кванттык Hilbert-мейкиндик моделин түздөн-түз чыгарууга болору көрсөтүлбөйт.
• Билокалдык сценарийдеги жакындашуу натыйжалары бардык тармак топологияларына автоматтык түрдө жалпыланары далилденбейт.
• Inflation-NPA каалаган кванттык тармактарда толук экени далилденген эмес.
• Төрт тараптуу жылдыз тармак үчүн билокалдык учурдагыдай күчтүү эки багыттуу жакындашуу теоремасы алынбайт.
• Изилдөө кванттык түзмөктө эксперимент, чаташуу түзүү, криптографиялык ачкыч түзүү же физикалык өлчөө көрсөткүчтөрүн жүргүзбөйт.
• SDP ишке ашырыла алышы төмөн эсептөө наркы дегенди билдирбейт; моменттик матрицалар иерархия деңгээли менен тез өсүшү мүмкүн.

Изилдөөнүн Методу жана Натыйжалары

Изилдөө дизайны

Изилдөө эксперименттик эмес, математикалык-теориялык кванттык маалымат изилдөөсү. Негизги ыкма: noncommutative polynomial optimisation, moment/Hankel матрицалары, оң жарым-аныкталгандык, оператордук алгебралар, GNS өкүлчүлүк теориясы, state-polynomial оптималдаштыруу, поляризация чектөөлөрү жана кванттык inflation ыкмасы.

Жаңы эксперименттик үлгү, физикалык түзмөк же сандык маалымат жыйындысы колдонулган эмес. Макаланын текшерүү формасы — теоремалар жана далилдер.

Стандарттык NPA моменттик матрицасы

Иерархия деңгээлинде моменттик матрицанын саптары жана мамычалары узундугу эң көп \(n\) болгон оператордук сөздөр менен индекстелет.

Негизги талаптар:

• \(\Gamma^n_{1,1}=1\),
• \(\Gamma^n\succeq0\),
• бир эле оператордук сөздү билдирген моменттердин теңдиги,
• проектордук жана тараптар аралык коммутация мамилелеринин сакталуусу,
• байкалган \(q(abc|xyz)\) бөлүштүрүүсү менен шайкештик.

Стандарттык Bell сценарийинде бул түзүлүш commuting-observable кванттык корреляциялар жыйындысына жакындайт.

Факторизация моменттик матрицасы

Билокалдык түзүлүш үчүн стандарттык шарттарга кошулган жаңы илимий чектөө

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

теңдиги.

Бул шарт Alice өлчөөлөрүнөн гана турган \(\alpha\) менен Charlie өлчөөлөрүнөн гана турган \(\gamma\) сөздөрү үчүн колдонулат жана тармактын эки көз карандысыз булагын алгебралык түрдө көрсөтөт.

Theorem 2.3түн техникалык натыйжасы

Скалярдык кеңейтүү үчүн колдонулган полиномдук алкак

Ар бир стандарттык оператордук сөз \(\omega\) үчүн скалярдык кеңейтүү \(\kappa_\omega\) кошулат. Бул өзгөрмөлөр бири-бири жана стандарттык оператордук тамгалар менен коммутацияланат.

Факторизация чектөөсү

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

менен жазылат.

Поляризация формулировкасында моменттик функционалга

\[ 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де кошумча оң жарым-аныкталгандык шарты бар.

Бул техникалык шарт quadratic moduleдун Archimedean касиетин камсыз кылуу жана чекте колдонулган Positivstellensatz/Kadison–Dubois аргументтерин колдонууга мүмкүндүк берүү үчүн керек.

Жакындашуунун экстремалдык-чекит логикасы

Чекте алынган оң сызыктуу функционал ылайыктуу экстремалдык функционалдардын үстүндө өлчөм аркылуу берилет.

Экстремалдык функционалдар скалярдык кеңейтүү алгебрасында көбөйтүүчү мүнөздө болот:

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

Квадраттык чектөөлөрдүн интегралы нөл болгондо, оңдук себептүү бул теңдиктер дээрлик бардык экстремалдык компоненттерде өзүнчө аткарылат.

Алардын ичинен бир экстремалдык компонент тандалып факторизациялык билокалдык моменттик матрица түзүлөт жана Theorem 2.3 колдонулат.

Stopping criterion натыйжасы

Theorem 3.2 төрт түзүлүштү байланыштырат:

Inflation моменттик матрицасынын ыкмасы

Inflation-NPAда \(m\) көз карандысыз булак көчүрмөсү түзүлөт. Операторлор көчүрмө индекстери менен кеңейтилет жана моменттик матрица

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

түзүлөт.

Кошумча негизги шарт — булак көчүрмөлөрүнүн пермутациясына карата инварианттуулук:

\[ S_m\times S_m. \]

Диагоналдык көчүрмөлөрдөгү параллелдүү эксперименттер баштапкы бөлүштүрүүнүн көз карандысыз көбөйтүндүлөрүн кайра жаратышы керек.

Бул шарттар сызыктуу моменттик теңдиктер жана оң жарым-аныкталгандык менен гана берилгендиктен, тест кайра SDP формасында болот.

Inflationдан скалярдык кеңейтүүгө өтүү

Theorem 4.2нин далили ар бир скалярдык кеңейтүү сөзүнө башка inflation көчүрмөсүн берет.

Иерархия деңгээли \(n\) жана өлчөө операторлорунун алфавит өлчөмү \(d\) болгондо керектүү inflation деңгээли далилде абдан тез өсөт; Appendix Dдеги ачык түзүлүштө

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

тибиндеги жетиштүү көчүрмө саны колдонулат.

Бул өсүү теориялык редукция куралы гана. Булак муну inflation-NPAнын чыныгы сандык эффективдүүлүгү боюнча жогорку чек же оптималдуу алгоритм катары кароого болбой турганын белгилейт.

Үч маанилүү сүрөттүн илимий функциясы

Булак сүрөттөрүн кайра колдонуу лицензиясы ачык Creative Commons адаптация лицензиясы болбогондуктан, сүрөттөр бул жерде көчүрүлгөн эмес; алардын илимий билдирүүсү оригиналдуу HTML таблицалары жана Verianla Live процесси менен кайра берилген.

Изилдөөнүн күчтүү жактары

• Билокалдык булак көз карандысыздыгын стандарттык NPA моменттик матрицасына ачык факторизация шарты менен байланыштырышы.
• Биринчи иерархия үчүн толук жакындашуу далилин бериши.
• Сызыктуу эмес иерархияны SDP классына өткөргөн оңдолгон скалярдык-кеңейтүү түзүлүшүн курушу.
• Мурунку preprintтеги жаңылыш жакындашуу аргументин ачык аныктап, оңдоосу.
• State-polynomial оптималдаштыруу жана поляризация ыкмаларын билокалдык кванттык тармак маселесинде бириктириши.
• Чектүү өлчөмдүү учурлар үчүн rank-loop токтотуу критерийин бериши.
• Inflation-NPA менен өз иерархияларынын математикалык байланышын көрсөтүшү.
• Үч бурчтук тармак мисалы аркылуу жалпы тармактарда кайсы маалымат жөнөкөй факторизацияда жоголорун конкреттештириши.
• Таза/аралаш абал айырмасы коммутаторго негизделген тармак моделдеринде эмне үчүн маанилүү экенин ачык каршы мисал менен көрсөтүшү.

Изилдөөнүн чектөөлөрү

• Жакындашуунун максаты жалпы чексиз өлчөмдүү учурда физикалык Tensor Bilocal жыйындынын өзү эмес, Projector/commuting билокалдык жумшартуу.
• Факторизация иерархиясы сызыктуу эмес чектөөлөрүнөн улам түз SDP эмес.
• Скалярдык кеңейтүү иерархиясынын жакындашуусу жалпы учурда конкреттүү кванттык моделди алгоритмдик чыгарууну кепилдебейт.
• Иерархиялардын жакындашуу ылдамдыгы үчүн практикалык деңгээл чеги берилбейт.
• Моменттик жана 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.

Аффилиация шайкешсиздиги: Жүктөлгөн arXiv v5 PDFде 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.

Рецензия абалы: Жүктөлгөн файл arXiv repository версиясы. Ошол эле изилдөө кийин рецензияланган Journal of Mathematical Physics журналында жарыяланган.

Рецензияланган версиянын жарыялоо процесси: Журналдык жазууда тапшырылган дата 28 март 2024, кабыл алуу 15 декабрь 2025 жана онлайн жарыя 9 январь 2026 деп көрсөтүлгөн.

Лицензия: Жүктөлгөн arXiv файлынын PDF метадайындары arXiv non-exclusive distribution licenseга ишарат кылат. Рецензияланган Journal of Mathematical Physics версиясы AIP Publishingге берилген эксклюзивдүү жарыялоо лицензиясы астында жарыяланган. Ошондуктан булак сүрөттөрү түз көчүрүлгөн эмес, алардын илимий мазмуну Verianlaга таандык оригиналдуу таблицалар жана процесс баяндоолору менен берилген.

Версия тарыхы жана маанилүү оңдоо: Изилдөөнүн биринчи preprint версиясында скалярдык кеңейтүү иерархиясынын жакындашуу далили туура эмес болгон. Учурдагы булак муну ачык айтат; ката скалярдык кеңейтүү операторлору жалпы GNS өкүлчүлүгүндө бир глобалдык скаляр болууга милдеттүү эмес экенинен келип чыкканын түшүндүрөт. Учурдагы v5те поляризация жана state-polynomial оптималдаштыруу натыйжаларын колдонуп оңдолгон жакындашуучу иерархия берилген.

Автордук салым тууралуу булак маалыматы: Өзүнчө 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; NPA moment матрицалары; сызыктуу эмес булак-факторизация чектөөлөрү; GNS өкүлчүлүк курулушу; scalar extension/state-polynomial moment ыкмалары; поляризация теңдиктери; Positivstellensatz жана экстремалдык-функционалдык аргументтер; rank-loop анализи; quantum inflation жана тармак топологиясын салыштыруу.

Илимий мазмундун чеги: Бул Verianla макаласындагы аныктамалар, теоремалар, формулалар, далил интуициялары, үч бурчтук/жылдыз тармак талкуулары, таза-аралаш абал мисалы жана ачык маселелер колдонуучу жүктөгөн 56 беттик arXiv v5 изилдөөсүнөн даярдалган. Тышкы булактар жарыя идентификациясын, рецензияланган журналдык жазууну, DOI, жарыя даталарын жана жарыя лицензиясын библиографиялык текшерүү үчүн гана колдонулган; булактан тышкаркы жаңы илимий натыйжа кошулган эмес.

Негизги чечмелөө чеги: “Жакындашуучу иерархия” физикалык кванттык түзмөк убакыт өтүшү менен максатка жакындайт дегенди билдирбейт. Бул жердеги жакындашуу иерархия деңгээли өскөн сайын моменттик-матрицага негизделген тышкы жакындаштыруу жыйындылары белгилүү математикалык кванттык-корреляция жыйындысын мүнөздөйт дегенди билдирет.

Verianla Live эскертүүсү: Булакта эксперименттик сандык катар жок болгондуктан `vlive-bar` же `vlive-line` колдонулган эмес. `vlive-process` булакта түзүлгөн математикалык көз карандылык чынжырын гана көрсөтөт; булакта жок сан, аралык натыйжа же эксперимент баскычы кошулбайт.