Bu tədqiqat iki müstəqil kvant mənbəyinin üç tərəf arasında paylandığı bilokal kvant şəbəkələrində hansı ehtimal paylanmalarının kvant nəzəriyyəsi ilə uyğun olduğunu xaricdən təxmini şəkildə xarakterizə etmək problemini araşdırır. Tədqiqatçılar standart Navascués–Pironio–Acín (NPA) metodunu şəbəkədəki mənbə müstəqilliyini nəzərə alacaq şəkildə genişləndirərək iki yaxınlaşan iyerarxiya hazırlayırlar: qeyri-xətti müstəqillik şərtləri daşıyan faktorizasiya bilokal NPA iyerarxiyası və bu şərtləri skalyar genişləndirmə dəyişənləri ilə yarı müəyyən proqramlaşdırma formasına çevirən bilokal skalyar genişləndirmə iyerarxiyası. Əsas teorem göstərir ki, hər iki iyerarxiya bütün səviyyələr keçildikdə tam olaraq eyni Projector Bilocal Quantum Distributions çoxluğuna yaxınlaşır. Bununla belə, bu çoxluq sonsuzölçülü ümumi halda fiziki tensor-hasil bilokal korrelyasiya çoxluğunun yumşaldılmasıdır; buna görə nəticə bütün fiziki bilokal korrelyasiyaların birbaşa hesablana bilən xarakterizasiyası kimi şərh edilməməlidir.

Tədqiqatın praktiki baxımdan ən mühüm fərqi, birinci iyerarxiyanın mənbə müstəqilliyini birbaşa

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

şəklindəki qeyri-xətti faktorizasiya şərti ilə tətbiq etməsi, ikinci iyerarxiyanın isə bu müstəqillik məlumatını yeni skalyar hərflər və polyarizasiya əsaslı kvadratik bərabərliklərlə kodlaşdırmasıdır. Beləliklə ikinci quruluş hər sonlu səviyyədə yarı müəyyən proqram (SDP) kimi sınaqdan keçirilə bilər.

Məqalə həmçinin inflation-NPA metodunu bu iki iyerarxiya ilə müqayisə edir, sonlu ölçülü hallar üçün rank-loop dayandırma meyarı verir və metodun bilokal şəbəkədən kənara genişləndirilməsindəki çətinlikləri göstərir. Xüsusilə üçbucaq şəbəkəsində sadə faktorizasiya və skalyar genişləndirmə metodları şəbəkə topologiyasına xas əlavə məhdudiyyət yarada bilmədiyi halda inflation-NPA metodu hələ də mənalı məhdudiyyətlər verə bilir.

Əsas problem nədir?

Kvant informasiya nəzəriyyəsinin əsas problemlərindən biri uzaqdakı tərəflər ortaq kvant sistemi üzərində lokal ölçmələr etdikdə hansı birgə ehtimal paylanmalarının kvant mexanikası tərəfindən yaradıla biləcəyini müəyyən etməkdir.

Standart üçtərəfli Bell ssenarisində Alice, Bob və Charlie vahid ortaq kvant vəziyyətindən pay alırlar. Ölçmə girişləri müvafiq olaraq \(x,y,z\), çıxışlar \(a,b,c\) olduqda paylanma Born qaydası ilə

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

şəklində ifadə edilir.

NPA iyerarxiyası mümkün olan bütün kvant vəziyyətlərini və ölçmələri ayrı-ayrılıqda axtarmaq əvəzinə ölçmə operatorlarından qurulan moment matrislərinin müsbət yarı müəyyən olub-olmadığını yoxlayır. İyerarxiyanın səviyyəsi yüksəldikcə daha uzun operator sözləri nəzərə alınır və test güclənir.

NPA iyerarxiyası kvant şəbəkələrində niyə birbaşa kifayət etmir?

Bilokal ssenaridə vahid ortaq mənbə yoxdur. Bunun əvəzinə bir-birindən müstəqil iki mənbə mövcuddur:

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

Alice birinci mənbədən, Charlie ikinci mənbədən sistem alır, Bob isə hər iki mənbədən sistem alır. Mənbənin 4-cü səhifəsindəki Şəkil 1(b) bu topologiyanı açıq göstərir: şəbəkə

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

şəklindədir.

Tensor bilokal modeldə ehtimallar

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

ilə verilir.

Buradakı kritik əlavə fiziki məlumat \(\rho\) və \(\sigma\) mənbələrinin müstəqil olmasıdır. Standart NPA moment matrisi ölçmə operatorlarının proyektor, Hermitlik və fərqli tərəflər arasında kommutasiya kimi cəbri xüsusiyyətlərini görə bilər; lakin bu mənbə müstəqilliyini təkbaşına kodlaşdırmır.

Şəkil 1-in əsas elmi mesajı

Bu cədvəl mənbədəki Şəkil 1-in elmi mesajının Verianla üçün orijinal mətn şəklində yenidən ifadəsidir; mənbə şəkli birbaşa köçürülməyib.

Tensor bilokal və Projector Bilokal modellər arasında fərq nədir?

Fiziki baxımdan ən təbii tərif Tensor Bilocal Quantum Distribution modelidir. Burada Hilbert fəzası açıq şəkildə

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

şəklində vuruqlara ayrılır və iki müstəqil vəziyyət müvafiq olaraq \(A-B_L\) və \(B_R-C\) sistemlərində yerləşir.

Tədqiqatın iyerarxiyalarının yaxınlaşdığı hədəf çoxluq isə daha ümumi Projector Bilocal Quantum Distributions çoxluğudur. Burada bütün operatorlar vahid qlobal Hilbert fəzası \(\mathcal H\) üzərində ola bilər.

İki mənbə üçün \(\rho\) və \(\sigma\) proyektorları seçilir və

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

hasilinin saf vəziyyətə uyğun proyektor olması tələb edilir.

Ehtimal paylanması

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

ilə yazılır.

Fərqli tərəflərin ölçmə operatorlarının bir-biri ilə kommutasiya etməsinə əlavə olaraq

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

şərtləri istifadə olunur. Bunlar Alice-in ikinci mənbədən, Charlie-nin isə birinci mənbədən asılı olmaması fikrinin kommutator modeli daxilindəki qarşılığıdır.

Bu model sonsuzölçülü ümumi halda fiziki tensor-bilokal modeldən daha genişdir. Buna qarşılıq mənbədə təqdim edilən sonrakı nəticələr sonlu ölçülərdə əlaqəli bilokal modellərin ekvivalentliyini yenidən təmin edir.

Birinci yeni metod: Faktorizasiya Bilokal NPA İyerarxiyası

Standart NPA moment matrisi \(\Gamma^n\), uzunluğu ən çox \(n\) olan ölçmə operatoru sözləri ilə indekslənir. Müsbət yarı müəyyənlik və proyektor/kommutasiya əlaqələri standart NPA-dakı kimi qorunur.

Bilokal şəbəkənin yeni məlumatı Alice və Charlie-nin müstəqil mənbələrdən gəlməsidir. Buna görə yalnız Alice operatorlarından ibarət \(\alpha\) sözü ilə yalnız Charlie operatorlarından ibarət \(\gamma\) sözü üçün

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

əlaqəsi gözlənilir.

Moment matrisi dilində bu şərt

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

kimi yazılır.

Bu tək əlavə fikir standart NPA matrisini Factorisation Bilocal Moment Matrix halına gətirir.

Faktorizasiya iyerarxiyası niyə praktik SDP deyil?

Müsbət yarı müəyyənlik və standart NPA əlaqələri moment matrisi elementlərində xətti məhdudiyyətlərdir. Buna qarşılıq

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

sağ tərəfdə iki naməlum momentin hasilini ehtiva edir.

Beləliklə problem yarı müəyyən proqramlaşdırmanın tələb etdiyi xətti/affin məhdudiyyət quruluşundan çıxır. Müəlliflər buna görə faktorizasiya iyerarxiyasını güclü nəzəri xarakterizasiya kimi qiymətləndirirlər; birbaşa ədədi SDP aləti kimi yox.

Theorem 2.3: Birinci yaxınlaşma nəticəsi

Tədqiqatın birinci əsas teoremi aşağıdakı ekvivalentliyi qurur:

Üçtərəfli paylanma faktorizasiya bilokal NPA iyerarxiyasının bütün səviyyələrini keçirsə və yalnız bu halda Projector Bilocal Quantum Distribution-dır.

Bu yalnız zəruri şərtlər verən test ailəsi deyil. Sonsuz iyerarxiya limitində hədəflənən proyektor-bilokal çoxluğu tam xarakterizə edir.

Yaxınlaşma ispatının GNS ideyası

İspatın irəli istiqaməti birbaşadır: həqiqi proyektor-bilokal modeldən hər səviyyədə uyğun moment matrisi qurmaq olar.

Əks istiqamətdə isə bütün səviyyələrdə uyğun matrislərin mövcud olduğu qəbul edilir. Əvvəlcə uyğun altardıcıllıqdan sonsuzölçülü

\[ \Gamma^\infty \]

moment matrisi əldə edilir.

Daha sonra standart NPA ispatına bənzər şəkildə Gelfand–Naimark–Segal (GNS) tipli təsvir istifadə edilərək Hilbert fəzası, saf vəziyyət proyektoru və Alice, Bob, Charlie ölçmə operatorları qurulur.

Bilokal şəbəkə üçün yeni texniki addım \(\rho\) və \(\sigma\) proyektorlarının qurulmasıdır. Müəlliflər Alice operatorlarının vəziyyət vektoru üzərində yaratdığı altfəza ilə Charlie operatorlarının yaratdığı altfəzanı araşdırırlar.

Faktorizasiya şərti bu iki altfəzanın saf vəziyyət istiqaməti xaricindəki tamamlayıcı hissələrinin bir-birinə ortoqonal olmasını təmin edir. Bu həndəsi ortoqonallıq nəticəsində qurulan iki ortoqonal proyektor üçün

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

əldə edilir.

Başqa sözlə, mənbə müstəqilliyi moment matrisindəki qeyri-xətti bərabərliyin GNS Hilbert fəzasında müəyyən altfəzaların ortoqonallığına çevrilməsi ilə yenidən qurulur.

Skalyar genişləndirmə niyə lazımdır?

Tədqiqatçıların ikinci məqsədi faktorizasiya məlumatını qoruyaraq problemi yenidən SDP sinfinə qaytarmaqdır.

Bu məqsədlə hər operator sözü \(\omega\) üçün

\[ \kappa_{\omega} \]

adlı yeni skalyar genişləndirmə hərfi əlavə edilir.

İdeal halda bu hərf

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

skalyar operatorunu təmsil etməlidir.

Buna görə \(\kappa_{\omega}\) hərfləri bütün digər operator hərfləri ilə kommutasiya edəcək şəkildə modelləşdirilir.

İlk skalyar genişləndirmə ideyası niyə işləmədi?

Məqalənin elmi baxımdan mühüm xüsusiyyətlərindən biri müəlliflərin əvvəlki versiyadakı səhvi açıq şəkildə təhlil etməsidir.

İlk yanaşmada bir skalyar hərfin bütün operatorlarla kommutasiya etməsindən onun qlobal Hilbert fəzasında mütləq

\[ \lambda\,1 \]

şəklində vahid skalyar olduğu fərz edilmişdi.

Hazırkı tədqiqatın göstərdiyi kimi bu nəticə ümumən yanlışdır. GNS təsviri birbaşa cəm bloklarına ayrıla bilər və skalyar genişləndirmə operatoru hər blokda fərqli skalyar qiymət daşıya bilər:

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

Belə halda yalnız orta bərabərlikləri məcbur etmək hər blok daxilində tələb olunan bilokal faktorizasiyanı zəmanətə almır.

Polyarizasiya ideyası səhvi necə düzəldir?

Həll yalnız xətti orta bərabərlikləri deyil, sıfır olmalı müsbət kvadratik ifadələri məcbur etməkdir.

Əsas faktorizasiya üçün yeni skalyar hərflərdən istifadə etməklə

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

ifadəsi qurulur və onun kvadratının gözlənilən qiyməti sıfıra məcbur edilir.

Mənbənin intuitiv blok göstərimində bu

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

şəklinə gəlir.

Bütün \(p_i\) qiymətləri mənfi olmadığından cəmin sıfır olması uyğun bərabərliyin demək olar hər blokda ayrıca ödənməsini tələb edir.

Bu, ilkin versiyada çatışmayan kritik addımdır.

Niyə yalnız \(\kappa_\alpha\) və \(\kappa_\gamma\) kifayət deyil?

Düzəldilmiş metod yalnız Alice və Charlie sözlərinin skalyarlarını əlavə etmir. Bütün uyğun operator sözləri üçün

\[ \kappa_{\omega} \]

hərfləri müəyyən edilir.

Səbəb budur ki,

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

ifadəsi ümumən

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

ilə eyni deyil. Buna qarşılıq birbaşa \(\kappa_{\alpha\gamma}\) skalyar genişlənməsi istifadə edildikdə tələb olunan polyarizasiya məhdudiyyəti qurula bilər.

Skalyar genişləndirmə moment matrisi

Yeni moment matrisi \(\Omega^n\), həm standart ölçmə hərflərini, həm də skalyar genişləndirmə sözlərini kodlayan momentlərdən qurulur.

Skalyar hərflərin əsas məqsədi

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

əlaqəsini polinom optimallaşdırma daxilində ifadə etməkdir.

Tədqiqat bir-birinə yaxın iki formulyasiya verir:

İki quruluş texniki detallarda fərqli olsa da hər ikisi eyni proyektor-bilokal korrelyasiya çoxluğuna yaxınlaşır.

Theorem 3.1: İkinci yaxınlaşma nəticəsi

Məqalənin ikinci əsas teoremi:

Bir paylanma skalyar genişləndirmə bilokal iyerarxiyasının bütün səviyyələrini keçirsə və yalnız bu halda Projector Bilocal Quantum Distribution-dır.

Beləliklə əsas nəticə bütövlükdə

\[ Q\text{ proyektor-bilokaldır} \]

\[ \Longleftrightarrow Q\text{ bütün faktorizasiya-NPA səviyyələrini keçir} \]

\[ \Longleftrightarrow Q\text{ bütün skalyar-genişləndirmə səviyyələrini keçir} \]

şəklində ifadə edilə bilər.

Skalyar genişləndirmə iyerarxiyası niyə “qurucu olmayan” nəticədir?

Standart NPA/GNS yanaşmasında limit moment matrisi bəzi hallarda birbaşa operator təsvirinin yenidən qurulmasına imkan verir.

Skalyar genişləndirmə ispatında isə limitdə ortaya çıxan xətti funksional ekstremal həllərin qarışığı ola bilər. Yaxınlaşma bu qarışıq daxilində tələb olunan xüsusiyyətləri daşıyan ekstremal həllin mövcudluğunu təmin edir.

Lakin ümumi halda SDP-nin verdiyi limit məlumatından “bu Hilbert fəzasıdır və bunlar ölçmə operatorlarıdır” şəklində birbaşa konkret bilokal kvant modeli çıxarmaq mümkün deyil.

Buna görə tədqiqat yaxınlaşmanı mövcudluq teoremi kimi təsvir edir.

Rank-loop dayandırma meyarı nə işə yarayır?

Sonsuz iyerarxiyanın bütün səviyyələrini həll etmək praktik olaraq mümkün deyil. Məqalə buna görə sonlu ölçülü təsvirlərə uyğun dayandırma meyarı verir.

Faktorizasiya moment matrisi üçün

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

olduqda rank loop yaranır.

Skalyar genişləndirmə matrisi üçün uyğunluq

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

şərtidir.

Theorem 3.2 uyğun əlavə GNS şərtləri ilə bu sonlu rank-loop halının sonlu ölçülü Projector Bilocal təsvir və sonlu ölçülü Tensor Bilocal təsvir ilə ekvivalent olduğunu göstərir.

Bu nəticə xüsusilə vacibdir; çünki sonsuz ölçülərdə ayrılan tensor və kommutator yanaşmaları sonlu ölçülü bilokal modeldə yenidən birləşir.

Inflation-NPA metodu nədir?

Inflation texnikasının əsas ideyası şəbəkədəki müstəqil mənbələrin fərziyyə olaraq bir neçə müstəqil nüsxəsini yaratmaqdır.

Mənbənin 25-ci səhifəsindəki Şəkil 2-də iki nüsxəli nümunə göstərilir. Alice hansı \(\rho\) nüsxəsini, Charlie hansı \(\sigma\) nüsxəsini istifadə etdiyini seçə bilər; Bob isə bir \(\rho\) və bir \(\sigma\) nüsxəsinin fərqli kombinasiyalarını ölçə bilər.

Inflation səviyyəsi \(m\) olduqda

• Alice üçün \(m\) ölçmə-operatoru nüsxəsi,
• Charlie üçün \(m\) nüsxə,
• Bob üçün \(m^2\) fərqli mənbə-nüsxəsi kombinasiyasına uyğun operatorlar

yaradılır.

Yeni moment matrisi

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

standart müsbətlik və kommutasiya şərtlərinə əlavə olaraq mənbə nüsxələrinin bir-birini əvəz edə bilməsini təmsil edən

\[ S_m\times S_m \]

permutasiya simmetriyasına uyğun olmalıdır.

Şəkil 2-nin əsas mesajı

Inflation texnikasında yaradılan nüsxələr yeni fiziki mənbələrin mövcud olduğunu iddia etmir. Bu, fikri/cəbri çoxaltma üsuludur.

Əgər ilkin paylanma həqiqətən müstəqil iki mənbəli bilokal modeldən gəlirsə, mənbələrin müstəqil nüsxələri də uyğun şəkildə modelləşdirilə bilməlidir. Nüsxələr arasında yaranan permutasiya və faktorizasiya əlaqələri ilkin paylanma üzərində yeni zəruri şərtlər yaradır.

Inflation-NPA ilə iki yeni iyerarxiya arasındakı əlaqə

Theorem 4.2 kifayət qədər yüksək inflation səviyyəsində uyğun

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

moment matrisindən eyni səviyyəyə uyğun skalyar genişləndirmə moment matrisinin yaradıla bildiyini göstərir.

Beləliklə

\[ \text{inflation-NPA-nı keçmək} \Longrightarrow \text{skalyar genişləndirməni keçmək} \]

və əsas yaxınlaşma teoremləri sayəsində bilokal halda proyektor-bilokal model əldə edilir.

Mənbə həmçinin daha sonra Ligthart və Gross tərəfindən ispatlanan əks istiqaməti də müzakirə edir. Cari nəticələr birləşdirildikdə bilokal ssenaridə faktorizasiya NPA, skalyar genişləndirmə, polyarizasiya və inflation-NPA eyni kommutator/projector bilokal yumşaltmasını xarakterizə edir.

Lakin bu ekvivalentliyin ədədi xərc baxımından ekvivalentlik demək olmadığı vacibdir. Məqalənin ispatında skalyar-genişləndirmə səviyyəsini qurmaq üçün lazım olan inflation nüsxələrinin sayı çox sürətlə arta bilər; müəlliflər bunun birbaşa hesablama səmərəliliyi iddiası olmadığını açıq bildirirlər.

Daha ümumi şəbəkələrdə niyə problem yaranır?

Bilokal şəbəkənin mühüm xüsusiyyəti Alice və Charlie-nin ortaq mənbə paylaşmamasıdır. Buna görə aralarında birbaşa faktorizasiya şərti var.

Üçbucaq şəbəkəsində isə

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

tərəf cütlərinin hər biri bir mənbə paylaşır.

Bu halda Alice–Charlie, Alice–Bob və ya Bob–Charlie üçün bilokal şəbəkədəki tipdə birbaşa müstəqillik faktorizasiyası yazıla bilməz.

Nəticə olaraq faktorizasiya və skalyar genişləndirmə iyerarxiyalarının təbii ümumiləşdirmələri yalnız standart NPA səviyyəsinə qayıdır və şəbəkə topologiyasının əlavə məlumatından istifadə edə bilmir.

Şəkil 3 nəyi göstərir?

Mənbənin 27-ci səhifəsindəki Şəkil 3 iki daha mürəkkəb şəbəkə topologiyasını müqayisə edir:

Üçbucaq şəbəkəsində “shared random bit” nümunəsi niyə vacibdir?

Tədqiqat üçbucaq şəbəkəsi üçün sadə, lakin güclü fərqləndirici nümunə verir:

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

Bu paylanmada hər üç tərəf eyni bərabərpaylı təsadüfi biti yaradır.

Standart üçtərəfli Bell ssenarisində belə korrelyasiya asanlıqla yaradıla bildiyindən, üçbucaq şəbəkəsinə tətbiq edilmiş standart NPA və ya ona enən sadə faktorizasiya/skalyar-genişləndirmə testləri bunu xaric edə bilmir.

Buna qarşılıq Appendix D.2 inflation-NPA-nın yalnız

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

səviyyəsində belə ziddiyyət yaratdığını göstərir.

İspatın intuitiv ideyası budur: inflation simmetriyaları bəzi nüsxələrin eyni təsadüfi biti paylaşmasını tələb edərkən, müstəqil mənbə nüsxələrinin faktorizasiyası eyni iki dəyişənin müstəqil olması lazım gəldiyini deyir. İki tələb eyni anda ödənə bilməz.

Bu nümunə inflation yanaşmasının ümumi şəbəkə topologiyasını sadə cütlü faktorizasiya metodlarından daha ətraflı kodlaya bildiyinin konkret göstəricisidir.

Saf vəziyyət şərti niyə yalnız texniki seçim deyil?

Projector Bilocal tərifində

\[ \tau=\rho\sigma \]

vəziyyətinin saf proyektor olması tələb edilir.

Standart tensor-hasil kvant nəzəriyyəsində qarışıq vəziyyət adətən əlavə Hilbert fəzaları əlavə edilərək saflaşdırıla bilər. Məqalənin Appendix E.2 hissəsi kommutator-əsaslı bilokal modeldə bu addımın avtomatik keçərli olmadığını göstərir.

Müəlliflər saf vəziyyət şərti aradan qaldırıldıqda üçtərəfli shared-random-bit paylanmasını yaradan açıq qarışıq vəziyyət nümunəsi qururlar. Lakin bu paylanma həqiqi bilokal müstəqilliklə uyğun deyil.

Beləliklə adi saflaşdırmanın mənbə kommutasiya quruluşunu qorumadığı göstərilir.

c-purifiability nə deməkdir?

Bu problem əsasında məqalə c-purification adlı kommutator quruluşuna uyğun alternativ anlayış müəyyən edir.

Corollary E.1-ə görə bilokal modeldə qarışıq vəziyyətin bu mənada saflaşdırıla bilməsi üçün və yalnız bunun üçün

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

faktorizasiya şərtləri bütün Alice və Charlie sözləri üçün ödənməlidir.

Bu nəticə məqalədəki faktorizasiya şərtinin yalnız optimallaşdırma texnikası deyil, bilokal mənbə müstəqilliyini qoruyan saflaşdırma quruluşu ilə də əlaqəli olduğunu göstərir.

Dördtərəfli ulduz şəbəkəsinə ümumiləşdirmə nə qədər uğurludur?

Appendix F mərkəzdə Bob olan və üç müstəqil mənbənin Bobu Alice, Charlie və Dave ilə bağladığı ulduz şəbəkəsini araşdırır.

Bu dəfə xarici tərəflərin yalnız ikili faktorizasiyası kifayət etmir. Məsələn Alice–Charlie ilə Dave arasındakı üçlü faktorizasiya quruluşu da ayrıca kodlaşdırılmalıdır.

Müəlliflər Factorisation Star-shaped Trilocal NPA hierarchy təklif edir və bu iyerarxiyanı keçən paylanmaların müəyyən Anti-state Projector Star-shaped modelə sahib olduğunu sübut edirlər.

Lakin bilokal ssenaridəki qədər güclü “ancaq və yalnız” yaxınlaşma nəticəsi əldə edilmir. Müəlliflər əllərindəki bütün faktorizasiya fərziyyələrini ispatda hələ istifadə etmədikləri üçün daha təbii və daha məhdudlaşdırıcı şəbəkə modelinin əldə edilə biləcəyini düşünürlər.

Beləliklə dördtərəfli ulduz nəticəsi ümumi şəbəkələr üçün tamamlanmış nəzəriyyə deyil, bilokal ispatın harada çətinləşməyə başladığını göstərən tədqiqat istiqamətidir.

Bilokal Tsirelson problemi cari versiyada necə nəzərdən keçirilir?

Məqalənin ilk versiyasında açıq qalan suallardan biri Projector Bilocal model ilə təbii \(C^*\)-cəbri commuting-observable bilokal model arasındakı əlaqə idi.

Appendix G.2 sonrakı Ligthart–Gross nəticəsini cari mətnə daxil edir. Buna görə Projector Bilocal Quantum Distribution çoxluğu uyğun commuting-observable bilokal model ilə ekvivalentdir.

Daha da vacibi, sonlu ölçülü halda bu quruluş tensor-hasil bilokal model ilə də ekvivalentdir.

Cari məqalənin çatdığı birləşdirilmiş mənzərə belədir:

Ümumi kvant şəbəkələri üçün açıq problem nədir?

Bilokal vəziyyət artıq böyük ölçüdə başa düşülsə də, məqalənin gələcək tədqiqatlar üçün ən mühüm mesajı ümumi şəbəkələrdə eyni tamamlanmış mənzərənin olmamasıdır.

Xüsusilə inflation-NPA iyerarxiyasının ixtiyari kvant şəbəkələrində təbii \(C^*\)-cəbri korrelyasiya çoxluğuna həqiqətən yaxınlaşıb-yaxınlaşmadığı açıq qalır.

Bilokal ispatda istifadə olunan operator-cəbri ayrışmanın bir neçə bağlantısı olan tərəfləri eyni anda və uyğun şəkildə “bölmək” üçün necə genişləndiriləcəyi məlum deyil.

Tədqiqat bu sualı ümumi kvant şəbəkə korrelyasiyalarının alqoritmik xarakterizasiyası baxımından əsas açıq problemlərdən biri kimi müəyyən edir.

Tədqiqatın dəstəklədiyi nəticələr

• Bilokal kvant şəbəkəsində mənbə müstəqilliyi moment matrisinə Alice–Charlie faktorizasiya şərtləri vasitəsilə əlavə edilə bilər.
• Faktorizasiya bilokal NPA iyerarxiyasının bütün səviyyələrini keçən paylanmalar tam olaraq Projector Bilocal Quantum Distributions çoxluğudur.
• Qeyri-xətti faktorizasiya şərtləri uyğun skalyar genişləndirmə və polyarizasiya quruluşu ilə SDP iyerarxiyasına çevrilə bilər.
• Düzəldilmiş skalyar genişləndirmə iyerarxiyası da eyni Projector Bilocal çoxluğa yaxınlaşır.
• Köhnə skalyar-genişləndirmə yaxınlaşma arqumentindəki problem skalyar operatorların GNS təsvirində fərqli bloklarda fərqli qiymətlər ala bilməsidir.
• Kvadratik polyarizasiya məhdudiyyətləri faktorizasiya bərabərliklərini uyğun ekstremal bloklarda yenidən məcbur etməyə imkan verir.
• Rank-loop şərti sonlu ölçülü bilokal təsvirlər üçün dayandırma meyarı verir.
• Bilokal halda inflation-NPA, faktorizasiya, skalyar genişləndirmə və polyarizasiya yanaşmaları eyni commuting/projector bilokal yumşaltma ilə əlaqəlidir.
• Sonlu ölçülərdə projector/commuting bilokal və tensor bilokal formulyasiyaları ekvivalentdir.
• Üçbucaq şəbəkəsində sadə faktorizasiya və skalyar genişləndirmə metodları şəbəkə topologiyasını ayırd edə bilmədiyi halda inflation-NPA shared-random-bit paylanmasını xaric edə bilər.
• Saf və qarışıq vəziyyət formulyasiyaları kommutator-əsaslı şəbəkə modellərində avtomatik ekvivalent deyil.

Tədqiqatın dəstəkləmədiyi və ya sübut etmədiyi nəticələr

• Tədqiqat fiziki tensor-bilokal korrelyasiya çoxluğunun sonsuzölçülü ümumi halda hesablana bilən tam xarakterizasiyasını vermir.
• SDP iyerarxiyasının müəyyən tətbiqdə neçə səviyyədə yaxınlaşacağına dair universal sürət zəmanəti verilmir.
• Skalyar genişləndirmə iyerarxiyasının limit həllindən ümumi halda konkret kvant Hilbert-fəzası modelinin birbaşa çıxarıla biləcəyi göstərilmir.
• Bilokal ssenaridəki yaxınlaşma nəticələrinin bütün şəbəkə topologiyalarına avtomatik ümumiləşdiyi sübut edilmir.
• Inflation-NPA-nın ixtiyari kvant şəbəkələrində tam olduğu sübut edilməyib.
• Dördtərəfli ulduz şəbəkəsi üçün bilokal halda olduğu qədər güclü ikitərəfli yaxınlaşma teoremi əldə edilmir.
• Tədqiqat kvant cihazında təcrübə, dolaşıqlıq yaradılması, kriptoqrafik açar yaradılması və ya fiziki ölçmə performansı həyata keçirmir.
• SDP tətbiq oluna bilməsi aşağı hesablama xərci demək deyil; moment matrisləri iyerarxiya səviyyəsi ilə sürətlə böyüyə bilər.

Tədqiqatın Metodu və Nəticələri

Tədqiqat dizaynı

Tədqiqat eksperimental deyil, riyazi-nəzəri kvant informasiya araşdırmasıdır. Əsas metod; noncommutative polynomial optimisation, moment/Hankel matrisləri, müsbət yarı müəyyənlik, operator cəbrləri, GNS təsvir nəzəriyyəsi, state-polynomial optimallaşdırması, polyarizasiya məhdudiyyətləri və kvant inflation metodudur.

Yeni eksperimental nümunə, fiziki cihaz və ya ədədi məlumat dəsti istifadə edilməyib. Məqalənin doğrulama forması teorem və ispatlardır.

Standart NPA moment matrisi

İyerarxiya səviyyəsində moment matrisinin sətir və sütunları uzunluğu ən çox \(n\) olan operator sözləri ilə indekslənir.

Əsas tələblər:

• \(\Gamma^n_{1,1}=1\),
• \(\Gamma^n\succeq0\),
• eyni operator sözünü təmsil edən momentlərin bərabərliyi,
• proyektor və tərəflərarası kommutasiya əlaqələrinin qorunması,
• müşahidə olunan \(q(abc|xyz)\) paylanması ilə uyğunluq.

Standart Bell ssenarisində bu quruluş commuting-observable kvant korrelyasiya çoxluğuna yaxınlaşır.

Faktorizasiya moment matrisi

Bilokal quruluş üçün standart şərtlərə əlavə edilən yeni elmi məhdudiyyət

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

bərabərliyidir.

Bu şərt yalnız Alice ölçmələrindən ibarət \(\alpha\) ilə yalnız Charlie ölçmələrindən ibarət \(\gamma\) sözləri üçün tətbiq olunur və şəbəkənin iki müstəqil mənbəyini cəbri şəkildə təmsil edir.

Theorem 2.3-ün texniki nəticəsi

Skalyar genişləndirmə üçün istifadə olunan polinom çərçivəsi

Hər standart operator sözü \(\omega\) üçün skalyar genişlənmə \(\kappa_\omega\) əlavə edilir. Bu dəyişənlər bir-biri ilə və standart operator hərfləri ilə kommutasiya edir.

Faktorizasiya məhdudiyyəti

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

ilə yazılır.

Polyarizasiya formulyasiyasında moment funksionalına

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

şərti tətbiq edilir.

Eynilə hədəf ehtimal paylanması ilə uyğunluq üçün

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

müəyyən edilir və

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

məcbur edilir.

Boundedness şərti

Polyarizasiya versiyasının yaxınlaşma ispatında skalyar sözlərin məhdud qalması lazımdır. Buna görə Definition 3.2-də əlavə müsbət yarı müəyyənlik şərti var.

Bu texniki şərt quadratic module-un Archimedean xüsusiyyətini təmin etmək və limitdə istifadə olunan Positivstellensatz/Kadison–Dubois arqumentlərinin tətbiqini mümkün etmək üçündür.

Yaxınlaşmanın ekstremal-nöqtə məntiqi

Limitdə əldə olunan müsbət xətti funksional uyğun ekstremal funksionallar üzərində bir ölçü ilə təmsil edilir.

Ekstremal funksionallar skalyar genişləndirmə cəbrində hasil davranışı göstərir:

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

Kvadratik məhdudiyyətlərin inteqralının sıfır olması müsbətlik səbəbilə bu bərabərliklərin demək olar bütün ekstremal komponentlərdə ayrıca ödənməsini təmin edir.

Bunlardan bir ekstremal komponent seçilərək faktorizasiya bilokal moment matrisi qurulur və Theorem 2.3 tətbiq edilir.

Stopping criterion nəticəsi

Theorem 3.2 dörd quruluşu əlaqələndirir:

Inflation moment matrisinin metodu

Inflation-NPA-da \(m\) müstəqil mənbə nüsxəsi yaradılır. Operatorlar nüsxə indeksləri ilə genişləndirilir və moment matrisi

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

qurulur.

Əlavə əsas şərt mənbə nüsxələrinin permutasiyasına qarşı dəyişməzlikdir:

\[ S_m\times S_m. \]

Diaqonal nüsxələrdəki paralel təcrübələr ilkin paylanmanın müstəqil hasillərini yenidən yaratmalıdır.

Bu şərtlər yalnız xətti moment bərabərlikləri və müsbət yarı müəyyənliklə ifadə oluna bildiyinə görə test yenə SDP formasındadır.

Inflation-dan skalyar genişləndirməyə keçid

Theorem 4.2-nin ispatı hər skalyar genişləndirmə sözünə fərqli inflation nüsxəsi təyin edir.

Bir iyerarxiya səviyyəsi \(n\) və ölçmə operatoru əlifbasının ölçüsü \(d\) olduqda lazım olan inflation səviyyəsi ispatda çox sürətlə artır; Appendix D-dəki açıq quruluşda

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

tipli kifayət edən nüsxə sayı istifadə edilir.

Bu artım yalnız nəzəri reduksiya alətidir. Mənbə bunun inflation-NPA-nın real ədədi səmərəliliyi haqqında üst sərhəd və ya optimal alqoritm olmadığını xüsusilə vurğulayır.

Üç kritik şəklin elmi funksiyası

Mənbə şəkillərinin yenidən istifadə lisenziyası açıq Creative Commons uyğunlaşdırma lisenziyası olmadığı üçün burada şəkillər köçürülməyib; elmi mesajları orijinal HTML cədvəlləri və Verianla Live prosesi ilə yenidən ifadə edilib.

Tədqiqatın güclü tərəfləri

• Bilokal mənbə müstəqilliyini standart NPA moment matrisinə açıq faktorizasiya şərti ilə bağlaması.
• Birinci iyerarxiya üçün tam yaxınlaşma ispatı verməsi.
• Qeyri-xətti iyerarxiyanı SDP sinfinə keçirən düzəldilmiş skalyar-genişləndirmə quruluşunu yaratması.
• Əvvəlki preprintdəki səhv yaxınlaşma arqumentini açıq şəkildə müəyyən edib düzəltməsi.
• State-polynomial optimallaşdırması və polyarizasiya texnikalarını bilokal kvant şəbəkə problemində birləşdirməsi.
• Sonlu ölçülü hallar üçün rank-loop dayandırma meyarı təmin etməsi.
• Inflation-NPA ilə öz iyerarxiyaları arasındakı riyazi əlaqəni göstərməsi.
• Üçbucaq şəbəkə nümunəsi üzərindən ümumi şəbəkələrdə hansı məlumatın sadə faktorizasiyada itdiyini konkretləşdirməsi.
• Saf/qarışıq vəziyyət fərqinin kommutator-əsaslı şəbəkə modellərində niyə vacib olduğunu açıq əks nümunə ilə göstərməsi.

Tədqiqatın məhdudiyyətləri

• Yaxınlaşma hədəfi ümumi sonsuzölçülü halda fiziki Tensor Bilocal çoxluğun özü deyil, Projector/commuting bilokal yumşaltmasıdır.
• Faktorizasiya iyerarxiyası qeyri-xətti məhdudiyyətlərə görə birbaşa SDP deyil.
• Skalyar genişləndirmə iyerarxiyasının yaxınlaşması ümumi halda konkret kvant modelinin alqoritmik çıxarılmasını zəmanətə almır.
• İyerarxiyaların yaxınlaşma sürəti üçün praktik səviyyə sərhədi verilmir.
• Moment və inflation matrislərinin ölçüsü səviyyə artdıqca sürətlə böyüyür.
• Bilokal ssenaridən kənar ümumi şəbəkələr üçün tam yaxınlaşma xarakterizasiyası əldə edilməyib.
• Dördtərəfli ulduz şəbəkə nəticəsi yalnız birtərəflidir və təbii projector-network modelinin tam xarakterizasiyası deyil.
• Üçbucaq şəbəkəsində faktorizasiya/skalyar-genişləndirmə ümumiləşdirmələri standart NPA-nın o tərəfinə keçə bilmir.

Mənbə və Metod Qeydi

Tam orijinal tədqiqat adı: Two Convergent NPA-like Hierarchies for the Quantum Bilocal Scenario

Başlıq qeydi: Yüklənmiş PDF başlığı Title Case formasındadır. arXiv və bəzi jurnal metadataları eyni başlığı “Two convergent NPA-like hierarchies for the quantum bilocal scenario” cümlə registrində göstərir. Bu yalnız böyük/kiçik hərf təqdimat fərqidir; burada yüklənmiş PDF-in görünən orijinal başlığı qorunub.

Müəlliflər: Marc-Olivier Renou; Xiangling Xu; Laurens T. Ligthart.

Müəllif sırası: Mənbədəki sıra olduğu kimi qorunub.

Bərabər töhfə: Mənbədə bərabər birinci müəllif və ya bərabər töhfə işarəsi göstərilməyib.

Məsul müəllif: Xiangling Xu. Yüklənmiş PDF-də † işarəsi və xu.xiangling@inria.fr əlaqə ünvanı verilib; resenziyalı jurnal qeydi də Xu-nu correspondence author kimi göstərir.

Yüklənmiş PDF-dəki afiliyasiyalar: 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.

Afiliyasiya uyğunsuzluğu: Yüklənmiş arXiv v5 PDF-də Laurens T. Ligthartın müəllif adında yuxarı indeks 5 görünür; 5 nömrə ETH Zürich afiliyasiyasıdır. Eyni PDF 6 nömrəli University of Cologne afiliyasiyasını da siyahıya alır, lakin görünən müəllif sətrində 6 nömrəyə açıq uyğunluq yoxdur. Resenziyalı Journal of Mathematical Physics versiyasında Ligthart affiliation 6, University of Cologne ilə uyğunlaşdırılıb. Bu Verianla mətnində mənbə fərqi səssizcə düzəldilməyib.

Elmi sahə: Kvant informasiya nəzəriyyəsi, kvant şəbəkələri, kvant nonlokallığı, operator cəbrləri, qeyri-kommutativ polinom optimallaşdırması və yarı müəyyən proqramlaşdırma.

Yüklənmiş mənbə: arXiv:2210.09065v5 [quant-ph].

İlk arXiv göndərişi: 17 oktyabr 2022.

Yüklənmiş v5 tarixi: 20 yanvar 2026.

arXiv DOI: 10.48550/arXiv.2210.09065.

Resenziyalı nəşr: Journal of Mathematical Physics, Volume 67, Issue 1, Article 012203 (2026).

Resenziyalı versiya DOI: 10.1063/5.0211008.

Nəşriyyat: AIP Publishing.

Resenziya vəziyyəti: Yüklənmiş fayl arXiv repository versiyasıdır. Eyni tədqiqat daha sonra resenziyalı Journal of Mathematical Physics jurnalında dərc olunub.

Resenziyalı versiyanın nəşr prosesi: Jurnal qeydində təqdimetmə 28 mart 2024, qəbul 15 dekabr 2025 və onlayn nəşr 9 yanvar 2026 kimi göstərilir.

Lisenziya: Yüklənmiş arXiv faylının PDF metadatası arXiv non-exclusive distribution license-a işarə edir. Resenziyalı Journal of Mathematical Physics versiyası AIP Publishing-ə verilmiş eksklüziv nəşr lisenziyası ilə dərc olunub. Buna görə mənbə şəkilləri birbaşa köçürülməyib, elmi məzmunu Verianla-ya aid orijinal cədvəl və proses izahları ilə çatdırılıb.

Versiya tarixçəsi və mühüm düzəliş: Tədqiqatın ilk preprint versiyasında skalyar genişləndirmə iyerarxiyasının yaxınlaşma ispatı səhv idi. Cari mənbə bunu açıq bildirir; səhvin skalyar genişləndirmə operatorlarının ümumi GNS təsvirində vahid qlobal skalyar olmaq məcburiyyətində olmamasından qaynaqlandığını izah edir. Cari v5-də polyarizasiya və state-polynomial optimallaşdırması nəticələrindən istifadə edilərək düzəldilmiş yaxınlaşan iyerarxiya verilir.

Müəllif töhfəsi haqqında mənbə məlumatı: Ayrı CRediT cədvəli yoxdur. “Note Added” bölməsinə görə Laurens T. Ligthart layihənin ikinci mərhələsində işə qoşulub və düzəldilmiş iyerarxiyanın və məqalənin inkişafına töhfə verib.

Maliyyələşdirmə: M.-O. Renou üçün PCI2021-122022-2B və mənbədə sadalanan İspaniya/AB, QuantumCAT, ERC CERQUTE və AXA dəstəkləri; X. Xu və M.-O. Renou üçün INRIA və CIEDS DEPARTURE, ANR LINKS və QuantERA/Horizon proqram dəstəkləri bildirilir.

Məlumat əlçatanlığı: Mənbənin açıq bəyanına görə tədqiqatda yeni məlumat yaradılmayıb və ya analiz edilməyib; buna görə məlumat paylaşımı tətbiq olunmur.

Maraq toqquşması: Yüklənmiş arXiv v5 mətnində ayrıca conflict-of-interest bəyanı müəyyən edilməyib. Bundan “maraq toqquşması yoxdur” şəklində əlavə nəticə çıxarılmayıb.

Tədqiqat metodu: Noncommutative polynomial optimisation; NPA moment matrisləri; qeyri-xətti mənbə-faktorizasiya məhdudiyyətləri; GNS təsvir quruluşu; scalar extension/state-polynomial moment metodları; polyarizasiya bərabərlikləri; Positivstellensatz və ekstremal-funksional arqumentlər; rank-loop analizi; quantum inflation və şəbəkə topologiyası müqayisələri.

Elmi məzmun sərhədi: Bu Verianla məqaləsindəki təriflər, teoremlər, formullar, ispat intuisiyaları, üçbucaq/ulduz şəbəkə müzakirələri, saf-qarışıq vəziyyət nümunəsi və açıq problemlər istifadəçinin yüklədiyi 56 səhifəlik arXiv v5 tədqiqatından hazırlanıb. Xarici mənbələr yalnız nəşr kimliyi, resenziyalı jurnal qeydi, DOI, nəşr tarixləri və nəşr lisenziyasının biblioqrafik yoxlanması üçün istifadə olunub; mənbə xaricindən yeni elmi nəticə əlavə edilməyib.

Əsas şərh sərhədi: “Yaxınlaşan iyerarxiya” fiziki kvant cihazının zamanla bir hədəfə yaxınlaşması demək deyil. Buradakı yaxınlaşma iyerarxiya səviyyəsi artdıqca moment-matris əsaslı xarici yaxınlaşma çoxluqlarının müəyyən riyazi kvant-korrelyasiya çoxluğunu xarakterizə etməsi deməkdir.

Verianla Live qeydi: Mənbədə eksperimental kəmiyyət seriyası olmadığından `vlive-bar` və ya `vlive-line` istifadə edilməyib. `vlive-process` yalnız mənbədə qurulan riyazi asılılıq zəncirini göstərir; mənbədə olmayan say, aralıq nəticə və ya təcrübə mərhələsi əlavə etmir.