Akademik tədqiqatlar, aydın dil

Verianla | Akademik Araştırmalardan Türkçe Ekonomi ve Bilim İçerikleri

27 sentyabr 2026, bazar
VERİANLAMüstəqil elmi yayımçılıq
Menyunu açın və ya bağlayın
...
Home / Fiziki Elmlər / Fizika / Kvant Cihazına Güvənmədən Yoxlama: İstənilən Kvant Halı və Ölçməsi üçün Universal Self-Testing Sxemi
Kompüter Elmləri

Kvant Cihazına Güvənmədən Yoxlama: İstənilən Kvant Halı və Ölçməsi üçün Universal Self-Testing Sxemi

Kvant kompüterləri, kvant rabitə şəbəkələri və kvant kriptoqrafiyası inkişaf etdikcə cihazın sadəcə “kvant” olduğunu göstərmək kifayət etmir.

26/08/2026  Veri Anla 55 baxış
Kvant Cihazına Güvənmədən Yoxlama: İstənilən Kvant Halı və Ölçməsi üçün Universal Self-Testing Sxemi

Kvant kompüterləri, kvant rabitə şəbəkələri və kvant kriptoqrafiyası inkişaf etdikcə cihazın sadəcə “kvant” olduğunu göstərmək kifayət etmir. Daha güclü tələb cihazın daxili quruluşuna, istehsalçı bəyanatına, ölçmə cihazlarının kalibrlənməsinə və ya Hilbert fəzasının əvvəlcədən məlum ölçüsünə etibar etmədən hansı kvant halının hazırlandığını və hansı ölçmənin aparıldığını yoxlamaqdır. Kvant informasiya nəzəriyyəsində bu məqsədin ən güclü formalarından biri self-testing adlanır.

Shubhayan Sarkar, Alexandre C. Orthey Jr. və Remigiusz Augusiak bu problemi ulduz formalı kvant şəbəkəsi ilə həll etməyə çalışırlar. Mərkəzdə Eve, onun ətrafında \(N\) xarici tərəf \(A_i\) yerləşir. Hər xarici tərəf Eve ilə statistik cəhətdən müstəqil kvant mənbəyi paylaşır. Sxemin birinci mərhələsi xarici tərəflərin tomoqrafik tam Pauli ölçmələrini, mənbələrin maksimal dolaşıq iki-kubit hallarını və Eve-in GHZ-bazlı ilk ölçməsini self-test edir.

Bu sertifikatlaşdırılmış bazadan sonra ikinci mərhələdə Eve-in istənilən extremal POVM ölçməsini yoxlamaq mümkündür. Projective ölçmələrin hamısı extremal olduğundan onlar avtomatik daxildir. Non-extremal POVM-lər extremal POVM-lərin konveks qarışığı olduğuna görə onlar da dolayı şəkildə sertifikatlaşdırılır.

Üçüncü mərhələ cihazdan asılı olmayan sertifikatlaşdırılmış uzaqdan hal hazırlamasıdır. Bu yanaşma yalnız saf kvant halları üçün deyil, qarışıq və hətta separable hallar üçün də işləyir. Beləliklə iş eyni kvant şəbəkəsi içində sonlu ölçülü çox geniş hal və ölçmə sinfinə universal sertifikatlaşdırma mexanizmi verir.

Ancaq universallıq praktiki xərclərin yox olması demək deyil. Mənbələrin statistik müstəqilliyi vacib fərziyyədir. Ölçü böyüdükcə lazım olan Pauli-korrelyasiya şərtləri sürətlə artır. GHZ-baz ölçmələri optik sistemlərdə çətindir və robustness sərhədləri ümumi, konservativ yuxarı sərhədlərdir.

Device-independent sertifikatlaşdırma

Adi kvant tomoqrafiyası ölçmə aparatına güvənir. Self-testing isə yalnız giriş-çıxış statistikalarından istifadə edərək naməlum cihazın hansı kvant realizasiyasına malik olmalı olduğunu müəyyən etməyə çalışır. Bunun əsas resursu Bell nonlocality-dir.

Ulduz şəbəkəsi

Birgə vəziyyət mənbə müstəqilliyinə görə

\[ \rho_{AE} = \bigotimes_{i=1}^{N}\rho_{A_iE_i}. \tag{1} \]

Hər \(A_i\) tərəfinin üç ikinəticəli ölçməsi var:

\[ x_i\in\{0,1,2\}, \qquad a_i\in\{0,1\}. \]

Eve isə

\[ e\in\{0,1\} \]

girişlərindən birini seçir. \(e=0\) ölçməsi \(2^N\) nəticə ilə referans şəbəkəni sertifikatlaşdırır; \(e=1\) isə \(K\le2^N\) nəticəli hədəf ölçmədir.

Born ehtimalları

\[ p(al|xe)= \operatorname{Tr}\!\left[ \rho_{AE} \left( \bigotimes_{i=1}^{N}M^{a_i}_{i|x_i} \right) \otimes R_{l|e} \right]. \tag{2} \]

Xarici ikinəticəli ölçmələr üçün

\[ A_{i,x_i}=M^0_{i|x_i}-M^1_{i|x_i} \]

təyin edilir və müşahidə olunan momentlər

\[ \left\langle A_{1,x_1}\cdots A_{N,x_N}R_{l|e} \right\rangle = \sum_{a_1,\ldots,a_N} (-1)^{\sum_i a_i} p(al|xe). \tag{3} \]

Self-testing ekvivalentliyi

\[ (U_{A_i}\otimes U_{E_i}) |\psi_{A_iE_i}\rangle = |\psi'_{A'_iE'_i}\rangle \otimes |\xi_{A''_iE''_i}\rangle. \tag{4} \]

Yəni naməlum sistemdə referans kvant sistemi ilə yanaşı fiziki sertifikatlaşdırmaya aid olmayan əlavə “junk” sərbəstlik dərəcələri ola bilər.

\[ U_{A_i}A_{i,x_i}U_{A_i}^{\dagger} = A'_{i,x_i}\otimes\mathbb I, \qquad U_E R_{l|e}U_E^\dagger = R'_{l|e}\otimes\mathbb I. \tag{5} \]

Uzaqdan hazırlanmış hal üçün isə

\[ U_A\rho_A^{l|e}U_A^\dagger = \widetilde\rho_{A'}^{l|e} \otimes \varrho_{A''}^{l|e}. \tag{6} \]

Bu, cihazdan asılı olmayan sertifikatlaşdırılmış remote preparation-dır və uğur ehtimalı \(p(l|e)\)-dir.

Kompleks qoşma qeyri-müəyyənliyi

Kvant halları və ölçmə operatorlarının hamısı eyni anda kompleks qoşmalarına çevriləndə müşahidə olunan Born ehtimalları dəyişmədiyi üçün sertifikatlaşdırma ümumən kompleks qoşmaya qədər mümkündür.

Bell ifadələri

\[ \begin{aligned} I_l=(-1)^{l_1}\Bigg[ &(N-1) \left\langle \widetilde A_{1,1} \prod_{i=2}^{N}A_{i,1} \right\rangle\\ &+\sum_{i=2}^{N}(-1)^{l_i} \left\langle \widetilde A_{1,0}A_{i,0} \right\rangle\\ &-(-1)^{l_1}\sum_{i=2}^{N}(-1)^{l_i} \left\langle A_{1,2}A_{i,2} \prod_{\substack{j=2\\j\neq i}}^{N}A_{j,1} \right\rangle \Bigg]. \end{aligned} \tag{7} \]
\[ \widetilde A_{1,0} = \frac{A_{1,0}-A_{1,1}}{\sqrt2}, \qquad \widetilde A_{1,1} = \frac{A_{1,0}+A_{1,1}}{\sqrt2}. \tag{8} \]

Klassik sərhəd

\[ \beta_C=(\sqrt2+1)(N-1), \]

kvant Tsirelson sərhədi isə

\[ \beta_Q=3(N-1) \]

olur.

Referans Pauli ölçmələri

\[ A_{1,0}=\frac{X+Z}{\sqrt2}, \quad A_{1,1}=\frac{X-Z}{\sqrt2}, \quad A_{1,2}=Y, \]
\[ A_{i,0}=Z,\quad A_{i,1}=X,\quad A_{i,2}=Y. \tag{9} \]

GHZ-bənzər hallar

\[ |\phi_l\rangle = \frac1{\sqrt2} \left( |l_1\ldots l_N\rangle + (-1)^{l_1} |\bar l_1\ldots\bar l_N\rangle \right), \qquad \bar l_i=1-l_i. \tag{10} \]

Teorem 1

Bütün uyğun Bell ifadələri maksimal şəkildə pozulur və

\[ P(l|0)=\frac1{2^N} \]

olarsa, xarici Pauli ölçmələri, hər mənbədəki iki-kubit maksimal dolaşıq vəziyyət və Eve-in GHZ-baz ölçməsi self-test edilir.

\[ (U_{A_i}\otimes U_{E_i}) |\psi_{A_iE_i}\rangle = |\phi^+\rangle \otimes|\xi\rangle. \]
\[ U_E R_{l|0}U_E^\dagger = |\phi_l\rangle\langle\phi_l| \otimes\mathbb I. \]

SOS isbatı

Bell operatorunun sum-of-squares ayrışması maksimal pozulmada bütün kvadrat qalıqların sıfır olmasını tələb edir. Nəticədə \(X\)- və \(Z\)-tipli ölçmələrin antikommutasiya münasibətləri çıxarılır və hər lokal Hilbert fəzasından bir kubit faktoru ayrılır.

\[ (-1)^{l_1}\widetilde A_{1,1}|\psi\rangle = \bigotimes_{i=2}^{N}A_{i,1}|\psi\rangle, \]
\[ (-1)^{l_1+l_i}\widetilde A_{1,0}|\psi\rangle = A_{i,0}|\psi\rangle. \]

Y ölçməsinin işarəsi

\[ U_{A_i}A_{i,2}U_{A_i}^{\dagger} = \pm Y\otimes\mathbb I. \]

Bütün tərəflərdə eyni işarə seçilir və bu ambiguity kompleks qoşma sərbəstliyi ilə əlaqəlidir.

Extremal POVM sertifikatlaşdırılması

\[ \left\langle \widetilde A_{1,i_1} \otimes \bigotimes_{k=2}^{N}A_{k,i_k} \otimes R_{l|1} \right\rangle = f^{\,l}_{i_1,\ldots,i_N}. \tag{11} \]

Buradakı \(f\) əmsalları hədəf POVM elementlərinin Pauli-tensor açılımından alınır. Extremality, köməkçi fəzanın müxtəlif komponentlərində fərqli POVM-lərin eyni ortalama statistikanı təqlid etməsinə mane olur.

\[ U_E R_{l|1}U_E^\dagger = (R'_{l|1})^*\otimes\mathbb I \]

və ya uyğun qlobal işarə seçimində

\[ U_E R_{l|1}U_E^\dagger = R'_{l|1}\otimes\mathbb I. \]

İstənilən sonlu ölçü

\(D\)-ölçülü ölçmə ən kiçik \(D\le2^N\) şərtini ödəyən \(N\)-kubit fəzasına yerləşdirilir və

\[ \sum_lR'_{l|1}+M_\perp=\mathbb I_{2^N} \]

ilə tamamlanır.

Non-extremal POVM

\[ \mathcal E = \sum_e p_e\mathcal E^{\mathrm{ex}}_e. \]

Hər extremal komponent ayrıca self-test edildikdə konveks qarışıq olan ümumi ölçmə dolayı şəkildə sertifikatlaşdırılır.

Saf hallar

\[ R'_{0|1}=|\psi\rangle\langle\psi| \]

seçimi istənilən saf halın probabilistik uzaqdan hazırlanmasına və self-testing-inə imkan verir.

Qarışıq hallar

\[ \rho=\sum_kp_k|\psi_k\rangle\langle\psi_k|. \tag{12} \]

\(\mathbb C^{2d}\) fəzasında hər \(k\) üçün trine POVM qurulur:

\[ M_{k,1}=p_k|\psi_k\rangle\langle\psi_k|, \]
\[ M_{k,2}= \frac{2-p_k}{2} |\tau_{k,2}\rangle\langle\tau_{k,2}|, \qquad M_{k,3}= \frac{2-p_k}{2} |\tau_{k,3}\rangle\langle\tau_{k,3}|. \]
\[ |\tau_{k,2}\rangle = \sqrt{\frac{1-p_k}{2-p_k}}|\psi_k\rangle + \sqrt{\frac1{2-p_k}}|\varphi_k\rangle, \]
\[ |\tau_{k,3}\rangle = -\sqrt{\frac{1-p_k}{2-p_k}}|\psi_k\rangle + \sqrt{\frac1{2-p_k}}|\varphi_k\rangle. \]

Bütün \(3d\) rank-one elementlər linearly independent olduğundan POVM extremaldır. \((k,1)\) nəticələrinin post-processing-i

\[ U_A\rho_AU_A^\dagger = \rho_{A'}\otimes\widetilde\rho_{A''} \tag{13} \]

halını və ya onun kompleks qoşmasını verir. Ümumi uğur ehtimalı \(1/2^N\)-dir.

Verianla Live: Universal self-testing axını

MərhələGirişSertifikatlaşdırılanŞərt
1N müstəqil mənbəMaksimal dolaşıq iki-kubit hallarMənbə müstəqilliyi
22^N Bell ifadəsiPauli ölçmələriI_l=3(N−1)
3Eve e=0GHZ-baz ölçməsiP(l|0)=1/2^N
4Pauli-tensor statistikaExtremal POVMEq. (11)
5POVM nəticəsiİstənilən saf halRemote preparation
63d extremal POVMİstənilən qarışıq halPost-processing
7Konveks extremal qarışıqNon-extremal POVME=Σp_eE_e^ex
 

Robustness

\[ \langle\widehat I_l\rangle\ge\beta_Q-\epsilon, \qquad \left|P(l)-\frac1{2^N}\right|\le\epsilon. \]

Bu halda çıxarılan hal üçün

\[ \left\| |\widetilde\psi_l\rangle- |\phi_l\rangle|\xi_l\rangle \right\| \le 17(N^2-1)\sqrt{2\epsilon} \]

kimi ümumi yuxarı sərhəd əldə edilir.

Mənbə hallarının daha konservativ sərhədi

\[ \left\| |\psi_{A_iE_i}\rangle- |\phi^+\rangle|\xi\rangle \right\| \le [17N(N^2-1)]^2 \sqrt{\frac{\epsilon}{2}} \]

şəklindədir.

Üçüncü Pauli ölçməsi üçün

\[ \left\| U_iA_{i,2}U_i^\dagger|\widetilde\psi_l\rangle - Y\otimes K|\widetilde\psi_l\rangle \right\| \le 226N^2\sqrt{2\epsilon}. \]

Bu rəqəmlər experiment üçün optimal error bar deyil; noise modeldən asılı olmayan analitik üst sərhədlərdir.

Şəkillərin mesajı

Şəkil 1 mərkəzi Eve və ona ayrı müstəqil mənbələrlə qoşulan \(N\) xarici tərəfi göstərir. Şəkil 2 isə birinci mərhələdə sertifikatlaşdırılmış Pauli ölçmələri, maksimal dolaşıq mənbələr və GHZ ölçməsinin ikinci, arbitrary POVM ölçməsinin sertifikatlaşdırılmasına necə istifadə edildiyini göstərir.

Azərbaycan kontekstində

İş Azərbaycan infrastrukturunda yoxlanılmayıb. Bununla belə device-independent verification, kvant rabitəsi və etibarsız hardware üzərində kriptoqrafik təhlükəsizlik kimi mövzular üçün güclü nəzəri əsas verir. Yerli tətbiq üçün foton mənbələrinin keyfiyyəti, detektor effektivliyi, multi-party interferometriya, measurement fidelity və müstəqil mənbələrin praktiki həyata keçirilməsi ayrıca araşdırılmalıdır.

Nəyi göstərir və nəyi göstərmir?

İş source-independent star network daxilində arbitrary extremal POVM, dolayı non-extremal POVM və saf/qarışıq halların self-testing imkanını riyazi olaraq göstərir. Lakin source independence olmayan şəbəkələr üçün eyni nəticəni sübut etmir, yüksək ölçülərdə eksperimental resursların az olduğunu demir və GHZ ölçmələrinin asan olduğunu iddia etmir.

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

Bu nəzəri kvant informasiya işidir; dataset, p-dəyəri və klassik statistik eksperiment yoxdur. Əsas nəticələr teoremlər və operator bərabərlikləridir.

Teorem 1: Maksimal Bell pozulması və uniform Eve statistikası ilə Pauli ölçmələri, Bell cütləri və GHZ-baz ölçməsi self-test edilir.

Teorem 2: Sertifikatlaşdırılmış Pauli bazasında əlavə tomoqrafik korelyasiyalar arbitrary extremal POVM-ni self-test edir.

Corollary 1: Eve-in ölçməsindən sonra xarici tərəflərdə yaranan state cihazdan asılı olmayaraq sertifikatlaşdırılır.

Mixed-state nəticəsi: \(3d\)-outcome extremal POVM və post-selection istənilən \(d\)-ölçülü qarışıq halı yaradır.

Robustness: Ideal statistikadan \(\epsilon\) sapma üçün analitik error bounds əsasən \(\sqrt\epsilon\) ilə miqyaslanır.

Əsas məhdudiyyət: Protokolun complexity-si Hilbert dimension və \(N\) ilə sürətlə artır.

Açıq problemlər: Correlated sources, partially entangled sources, GHZ measurement tələb etməyən sxemlər və tighter numerical robustness bounds.

Mənbə və Metod Qeydi

Mənbə: Shubhayan Sarkar, Alexandre C. Orthey Jr. və Remigiusz Augusiak, Nature Physics 22, 446–451 (2026).

DOI: 10.1038/s41567-026-03181-y.

Rəyçilik statusu: Hakemli Nature Physics məqaləsidir.

Yüklənmiş versiya: arXiv:2312.04405v4 [quant-ph], 8 iyun 2026, 30 səhifə.

ArXiv DOI: 10.48550/arXiv.2312.04405.

ArXiv lisenziyası: CC BY 4.0.

Maliyyələşmə: QuantERA II VERIqTAS, Horizon 2020 Grant 101017733 və Polish National Science Center qrantları.

Competing interests: Müəlliflər competing interest olmadığını bildirirlər.

Əlavələr: Appendix A — GHZ və mənbə self-testing; Appendix B — extremal POVM; Appendix C — arbitrary quantum state; Appendix D — robustness.


Paylaşın:

Şərhlər yoxlandıqdan sonra yayımlanır.Şərhiniz təsdiq prosesinə daxil ediləcək və uyğun hesab olunduqda görünəcək.

Şərh yazın

E-poçt ünvanınız yayımlanmayacaq. Məcburi sahələr * ilə işarələnib

Your experience on this site will be improved by allowing cookies Cookie Policy