Бул изилдөө эки көз карандысыз жөнөтүүчү бир алуучуга ошол эле көп жеткиликтүү канал аркылуу маалымат жөнөткөн байланыш системасында, жөнөтүүчүлөр коддоодон мурда бөлүшкөн ресурстар жалпы байланыш сыйымдуулугун өзгөртөбү же жокпу деген суроону изилдейт. Изилдөөнүн негизги жыйынтыгы — классикалык бөлүшүлгөн кокустук гана сыйымдуулук аймагын кеңейтпейт; бирок айрым канал түзүлүштөрүндө кванттык чырмалышууга негизделген корреляциялар жана андан да жалпы non-signaling корреляциялар жергиликтүү стратегиялар жетише алган жалпы сыйымдуулуктан жогору чыга алат.

Изилдөөчүлөр эки жөнөтүүчү жана бир алуучу бар дискреттик эс тутумсуз multiple-access channel (MAC) үчүн жөнөтүүчүлөр кызматташкан коддоодо жергиликтүү, кванттык же non-signaling ресурстарды колдоно ала турган жалпы маалымат-теориялык алкак түзүшөт. Жалпы сыйымдуулук аймагы көп-тамгалуу туюнтма менен мүнөздөлөт; мындан тышкары бир канал колдонуу аркылуу эсептөөгө боло турган жалпы ылдамдык формуласы чыгарылып, кванттык жалпы сыйымдуулук үчүн колдонууга ыңгайлуу төмөнкү чек алынат.

Изилдөөнүн сандык мисалдары Clauser–Horne–Shimony–Holt (CHSH) жана Magic Square оюндарынан түзүлгөн атайын көп жеткиликтүү каналдарга негизделет. CHSH негизиндеги каналдарда non-signaling стратегиялар белгилүү шарттарда максималдуу жалпы сыйымдуулукка жетсе, белгилүү бир кванттык стратегиянын жеткиликтүү жалпы ылдамдыгы да айрым ызы-чуу аралыктарында жергиликтүү жалпы сыйымдуулуктан ашат. Magic Square негизиндеги каналда болсо кванттык ресурстар оюнду так жеңе алгандыктан кванттык жалпы сыйымдуулук аналитикалык түрдө эсептелип, жергиликтүү сыйымдуулуктан так жогору экени көрсөтүлөт.

Түркия үчүн изилдөө азыркы мобилдик тармактарда өлчөнгөн түз 5G/6G ылдамдык өсүшүн же талаа колдонмосун сунуштабайт. Анын салымы фундаменталдуураак деңгээлде: кванттык байланыш, тармактык маалымат теориясы жана келечектеги чырмалышуу менен колдоого алынган көп колдонуучулуу байланыш системалары боюнча иштеген изилдөө топторуна жөнөтүүчүлөрдүн кайсы корреляциялары классикалык көп жеткиликтүү чектерден аша аларын математикалык түрдө көрсөткөн ыкманы берет. Реалдуу байланыш инфраструктурасына өткөрүү үчүн физикалык канал моделдери, кванттык ресурс өндүрүү, чырмалышууну бөлүштүрүү, decoherence, аппараттык чектөөлөр жана реалдуу тармак протоколдору өзүнчө текшерилиши керек.

Изилдөөнүн негизги байланыш маселеси кандай?

Изилдөөдө каралган система эки жөнөтүүчү жана бир алуучудан турган multiple-access channel (MAC), башкача айтканда көп жеткиликтүү канал. Эки жөнөтүүчү тиешелүүлүгүнө жараша көз карандысыз \(M_1\) жана \(M_2\) билдирүүлөрүн түзөт; бул билдирүүлөр код сөздөрүнө айландырылып, ошол эле канал аркылуу жалпы алуучуга жөнөтүлөт.

1-сүрөттө бул түзүлүш ачык көрсөтүлгөн. \(M_1\) жана \(M_2\) билдирүүлөрү алгач жалпы ресурстарга көз каранды кызматташ коддоочу \(\mathcal{E}^{(r)}\)гө кирет. Түзүлгөн \(X_1^n\) жана \(X_2^n\) код сөздөрү \(n\) канал колдонууну билдирген \(\mathcal{N}^{\otimes n}\) каналына жөнөтүлөт. Алуучу \(Y^n\) чыгышынан \((\hat M_1,\hat M_2)\) билдирүү жуптарын чечмелөөгө аракет кылат.

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

Сыйымдуулук аймагы эмнени билдирет?

Биринчи жөнөтүүчүнүн байланыш ылдамдыгы \(R_1\), экинчи жөнөтүүчүнүн ылдамдыгы \(R_2\) болсун. Ката ыктымалдыгы канал колдонуу саны өскөндө нөлгө жакындай алса, тиешелүү \((R_1,R_2)\) жуп жеткиликтүү деп эсептелет.

Сыйымдуулук аймагы:

\[ C(\mathcal{N}) = \operatorname{cl} \left( \{(R_1,R_2): (R_1,R_2)\ \text{erişilebilir}\} \right) \]

деп аныкталат. Бул жердеги cl топтомдун жабылышын билдирет.

Жалпы сыйымдуулук болсо эки жөнөтүүчү чогуу жетише ала турган эң жогорку жалпы ылдамдык:

\[ C_s(\mathcal{N}) = \max_{(R_1,R_2)\in C(\mathcal{N})} (R_1+R_2). \]

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

Бөлүшүлгөн ресурстардын үч классы

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

Жергиликтүү корреляция үчүн изилдөө төмөнкү ажыратууну колдонот:

\[ \varepsilon(a_2,b_2|a_1,b_1) = \sum_{\lambda\in\Lambda} p(\lambda) p(a_2|a_1,\lambda) p(b_2|b_1,\lambda). \]

Бул жерде \(\lambda\) — эки жөнөтүүчү бөлүшкөн классикалык кокустук өзгөрмө. Жөнөтүүчүлөр бири-бири менен түз байланышпайт; бирок бир эле \(\lambda\)га жеткендиктен аракеттери корреляциялуу болушу мүмкүн.

Кванттык учурда болсо биргелешкен ыктымалдыктар бөлүшүлгөн \(\rho\) кванттык абал жана жергиликтүү POVM өлчөөлөрү аркылуу түзүлөт:

\[ \varepsilon(a_2,b_2|a_1,b_1) = \operatorname{tr} \left[ \Pi^A_{a_2|a_1} \otimes \Pi^B_{b_2|b_1} \rho \right]. \]

Изилдөөдөгү ресурс иерархиясы:

\[ \mathcal{E}^{(L)} \subsetneq \mathcal{E}^{(Q)} \subsetneq \mathcal{E}^{(NS)} \]

түрүндө. Башкача айтканда, ар бир жергиликтүү стратегия кванттык алкакта ишке ашырылышы мүмкүн, ар бир кванттык корреляция non-signaling топтомунда бар; бирок тескери багыттар жалпы учурда туура эмес.

Бөлүшүлгөн классикалык кокустук сыйымдуулукту көбөйтөбү?

Изилдөөнүн Proposition 1 жыйынтыгы так: жергиликтүү ресурстар жана бөлүшүлгөн кокустук гана MAC сыйымдуулук аймагын көбөйтпөйт.

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

Кванттык ресурстар үчүн эмне үчүн татаалыраак сыйымдуулук формуласы керек?

Классикалык MAC үчүн сыйымдуулук аймагын бир канал колдонууга негизделген “single-letter” туюнтма менен эсептөөгө болот. Кванттык же жалпы non-signaling кызматташууда болсо изилдөөчүлөр жалпы сыйымдуулук аймагын блок узундугу \(k\)га көз каранды көп-тамгалуу мүнөздөмө менен беришет:

\[ C^{(r)}(\mathcal{N}) = \operatorname{cl} \left( \bigcup_{k\in\mathbb{N}} C^{(r),k}(\mathcal{N}) \right). \]

Ар бир \(k\) үчүн жеткиликтүү аймак:

\[ R_1 \leq \frac{1}{k} I(U_1;Y^k|U_2), \]

\[ R_2 \leq \frac{1}{k} I(U_2;Y^k|U_1), \]

жана

\[ R_1+R_2 \leq \frac{1}{k} I(U_1,U_2;Y^k) \]

теңсиздиктери менен аныкталат.

\(U_1\) жана \(U_2\) — жөнөтүүчүлөр билдирүүлөрүн адегенде айландырган жардамчы кокустук өзгөрмөлөр. Бул pre-codewordлер андан кийин \(k\) канал колдонуусун чогуу караган кызматташ коддоочудан өткөрүлөт.

Изилдөөчүлөр жалпы кванттык/non-signaling сыйымдуулук аймагынын бир-тамгалуу жабык формасын алуу дагы эле кыйын экенин өзгөчө белгилешет. Ошондуктан натыйжа жалпы, бирок көп-тамгалуу мүнөздөмө.

Эсептелүүчү кванттык төмөнкү чек кантип алынат?

Жалпы сыйымдуулук формуласы бардык \(k\) блок узундуктарын оптималдаштырууну талап кылгандыктан түз эсептөө кыйын болушу мүмкүн. Ошондуктан изилдөөчүлөр \(k=1\) абалын колдонуп, жеткиликтүү бир-тамгалуу жалпы ылдамдыкты аныкташат:

\[ C_s^{(r)}(\mathcal{N}) \geq R_s^{(r)}(\mathcal{N}) = \sup_{p(u_1)p(u_2)} \sup_{\mathcal{E}^{(r)}} I(U_1,U_2;Y). \]

Бул \(R_s^{(r)}\) мааниси жалпы сыйымдуулуктун төмөнкү чеги. Айрыкча кванттык учурда белгилүү бир чырмалышкан абал жана белгилүү өлчөөлөр тандалып, сандык маани эсептелет.

Ошентип:

\[ C_s^{(L)}(\mathcal{N}) < R_s^{(Q)}(\mathcal{N}) \]

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

Blahut–Arimoto алгоритми эмне үчүн колдонулат?

Жергиликтүү ресурстар менен иштеген MACтерде жалпы сыйымдуулук:

\[ C_s^{(L)}(\mathcal{N}) = \max_{p(x_1)p(x_2)} I(X_1,X_2;Y) \]

оптималдаштыруусунан алынат.

Изилдөөчүлөр бул оптималдаштырууну жалпыланган Blahut–Arimoto алгоритми менен сандык чечишет. Жөнөтүүчүлөрдүн кириш ыктымалдыктары итеративдүү жаңыртылат:

\[ p^{(t+1)}(x_i) = \frac{ p^{(t)}(x_i) \exp\left(I^{(t)}(x_i;Y)\right) }{ \sum_{x'_i} p^{(t)}(x'_i) \exp\left(I^{(t)}(x'_i;Y)\right) }. \]

Бул жерде \(t\) — итерация номери. Изилдөө жалпыланган Blahut–Arimoto алгоритми каалаган MAC үчүн ар дайым чыныгы жалпы сыйымдуулукка жакындайт деп кепилдик берилбей турганын дагы белгилейт. Ошондуктан изилдөөчүлөр каралган каналдар үчүн кеңири түз сандык издөө да жүргүзүп, ал Blahut–Arimoto натыйжаларын кайра чыгарганын билдиришкен.

Nonlocal оюндар эмне үчүн байланыш каналына айландырылат?

Изилдөөнүн эң маанилүү концептуалдык кадамдарынын бири CHSH жана Magic Square сыяктуу эки оюнчулуу оюндарды көп жеткиликтүү канал долбоорлоодо колдонуу.

2-сүрөттө мейкиндик боюнча бөлүнгөн A жана B деген эки оюнчу көрсөтүлөт. Оюнчулар тиешелүүлүгүнө жараша \(a_1\) жана \(b_1\) суроолорун алып, \(a_2\) жана \(b_2\) жоопторун чыгарышат. Оюнчулар байланышпастан жалпы ресурстарын колдонуп:

\[ (a_1,a_2,b_1,b_2)\in W \]

болгондо оюнду утат. \(W\) — оюндун утуш шарттарынын топтому.

Изилдөөчүлөрдүн идеясы канал ызы-чуусун оюндун утулушу же утушу менен байланыштырууда. Ошентип, кванттык же non-signaling корреляциялар менен оюнда ийгиликтүүрөөк болгон жөнөтүүчүлөр ошол эле учурда ыңгайлуураак канал жүрүм-турумуна ээ болот.

Деполяризацияланган оюн каналы кантип аныкталат?

Изилдөөнүн Definition 4 бөлүмүндө оюн жеңиш менен аяктаган жана утулуп калган учурлар үчүн эки ар башка канал параметри аныкталат:

\[ 1\geq\eta_w>\eta_l\geq0. \]

\(\eta_w\) — оюн утулган шарттагы, \(\eta_l\) болсо оюн утулуп калган шарттагы канал параметри.

Жеңиш болгон учурда:

\[ p(y_1,y_2|a_1,a_2,b_1,b_2) = \eta_w \delta_{y_1,a_1} \delta_{y_2,b_1} + (1-\eta_w)\frac{1}{|Y|}, \]

утулуп калган учурда болсо:

\[ p(y_1,y_2|a_1,a_2,b_1,b_2) = \eta_l \delta_{y_1,a_1} \delta_{y_2,b_1} + (1-\eta_l)\frac{1}{|Y|}. \]

Башкача айтканда, оюнду уткан код сөздөрү азыраак, утулгандары көбүрөөк деполяризация ызы-чуусуна туш боло тургандай канал түзүлөт.

Атайын \((\eta_w,\eta_l)=(1,0)\) учурда жеңиш болгон оюн толугу менен ызы-чуусуз, утулуп калган оюн толук деполяризацияланган канал берет.

Жалпы сыйымдуулук теоремасы эмне дейт?

Изилдөөнүн Theorem 2 жыйынтыгы, оюн белгилүү \(r\) ресурсу менен так утулса, тиешелүү деполяризацияланган MACтин жалпы сыйымдуулугун түз берет:

\[ C_s^{(r)} \left( \mathcal{N}^{(\eta_w,\eta_l)}_G \right) = \log |Y|-h(\eta_w). \]

Бул жердеги:

\[ h(\eta) = -\alpha(\eta)\log\alpha(\eta) - (|Y|-1)\beta(\eta)\log\beta(\eta), \]

\[ \alpha(\eta) = \frac{1+(|Y|-1)\eta}{|Y|}, \qquad \beta(\eta) = \frac{1-\eta}{|Y|}. \]

\(h(\eta)\) — канал чыгыштарындагы деполяризация белгисиздигин билдирген энтропия мүчөсү.

Эгер жергиликтүү ресурстар оюнду так уталбаса, изилдөөчүлөр ошондой эле:

\[ C_s^{(L)} < \log|Y|-h(\eta_w) \]

теңсиздигин далилдешет. Ошентип, оюнду так уткан кванттык же non-signaling ресурс сыйымдуулук артыкчылыгын түз көрсөтөт.

CHSH оюну кантип колдонулат?

CHSH оюнунда бардык кириш жана чыгыштар бинардык:

\[ A_1=A_2=B_1=B_2=\{0,1\}. \]

Утуш шарты:

\[ a_2\oplus b_2=a_1b_1 \]

түрүндө.

Жергиликтүү стратегиялардын максималдуу утуш ыктымалдыгы:

\[ p_L^{(\mathrm{win})}=\frac34 \]

болсо, изилдөөдө колдонулган оптималдуу кванттык стратегия болжол менен %85 утуш ыктымалдыгын берет. Жалпы non-signaling корреляцияларда болсо:

\[ p_{NS}^{(\mathrm{win})}=1 \]

мүмкүн.

Демек, CHSH бул изилдөөдө кванттык стратегия жергиликтүү стратегиядан артык болгон, бирок кванттык механика оюнду так уталбаган маанилүү аралык мисал.

CHSH каналында non-signaling артыкчылыгы

CHSHден түзүлгөн деполяризацияланган MAC үчүн non-signaling жалпы сыйымдуулук:

\[ C_s^{(NS)} = 2-h(\eta_w) \]

деп табылган.

Жергиликтүү жалпы сыйымдуулук болсо бүт \(1\geq\eta_w>\eta_l\geq0\) аралыгында бул максималдуу мааниден кичине.

Бул жыйынтык non-signaling корреляциялар CHSH негизиндеги каналда жергиликтүү ресурстардан так сыйымдуулук артыкчылыгына ээ экенин көрсөтөт.

Кванттык стратегия CHSHде кантип түзүлөт?

Эки жөнөтүүчү максималдуу чырмалышкан Bell абалын бөлүшөт:

\[ |\Phi^+\rangle = \frac{1}{\sqrt2} (|00\rangle+|11\rangle). \]

Жөнөтүүчү Aнын өлчөөлөрү \(\sigma_z\) жана \(\sigma_x\) байкалуучуларына; жөнөтүүчү Bнин өлчөөлөрү болсо:

\[ -\frac{\sigma_z+\sigma_x}{\sqrt2} \]

жана

\[ \frac{-\sigma_z+\sigma_x}{\sqrt2} \]

байкалуучуларына туура келет. Булар CHSH теңсиздигинин максималдуу кванттык бузулушун берген өлчөөлөр.

Ушул белгилүү стратегиядан эсептелген:

\[ L_s^{(Q)} = \max_{p(u_1)p(u_2)} I(U_1,U_2;Y) \]

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

Биринчи CHSH ызы-чуу модели эмнени көрсөтөт?

Биринчи сценарий:

\[ (\eta_w,\eta_l)=(1,\eta) \]

түрүндө. Уткан стратегияга туура келген канал толугу менен ызы-чуусуз; утулган учурда \(\eta\)га көз каранды ызы-чуу бар.

Non-signaling стратегия CHSH оюнун так уткандыктан жалпы сыйымдуулук көрсөтүлгөн бүт аралыкта 2 маанисинде калат.

Белгилүү кванттык стратегиянын төмөнкү чеги болсо болжол менен:

\(\eta\gtrsim0,64\)

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

η=0,64 үчүн жергиликтүү сыйымдуулук 1,6970 болсо, кванттык жеткиликтүү төмөнкү чек 1,6971. Айырма кичине болсо да, төмөнкү чек өзү эле классикалык максимумдан жогору болгондуктан математикалык түрдө кванттык артыкчылык көрсөтүлөт.

Экинчи CHSH ызы-чуу модели

Экинчи сценарий:

\[ (\eta_w,\eta_l)=(\eta,1-\eta) \]

түрүндө.

Бул учурда non-signaling жалпы сыйымдуулук көрсөтүлгөн бүт аралыкта жергиликтүү сыйымдуулуктан жогору. Кванттык жеткиликтүү төмөнкү чек болсо:

\[ 0,50<\eta\lesssim0,87 \]

аралыгында жергиликтүү сыйымдуулуктан жогору калат.

η=0,87 чекитинде айырма өтө аз: жергиликтүү маани 1,038, кванттык төмөнкү чек 1,039. η=0,90да булак таблицасында эки маани кайра 1,116 болуп теңелет.

II таблицанын η=0,50 сабы булакта эсептелген болсо да, бул чекитте \(\eta_w=\eta_l=0,50\) болот. Бул Definition 4тө жазылган катуу \(\eta_w>\eta_l\) шартынын чекиттик чеги.

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

Изилдөөнүн 9-бетиндеги 3-сүрөт эки CHSH ызы-чуу моделин жанаша көрсөтөт. Кызгылт көк/кызыл сызык жергиликтүү жалпы сыйымдуулукту, үзүк сызык кванттык жеткиликтүү төмөнкү чекти, жашыл сызык non-signaling сыйымдуулукту билдирет.

Сол панелде non-signaling сыйымдуулук 2де түз калат, кванттык төмөнкү чек болжол менен η=0,64төн кийин жергиликтүү ийринин үстүнө чыгат. Оң панелде non-signaling ийри бүт көрсөтүлгөн аралыкта жергиликтүү ийриден жогору жана кванттык артыкчылык болжол менен η=0,50 менен η=0,87 арасында көрүнөт.

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

Magic Square оюну эмнеси менен айырмаланат?

Magic Square Game CHSHге караганда күчтүүрөөк мисал берет; анткени бул оюнда ылайыктуу кванттык ресурстар менен так утуш стратегиясы бар.

Изилдөөдө кириш топтомдору:

\[ A_1=B_1=\{0,1,2\} \]

жана чыгыш топтомдору сегиз мүмкүн болгон үч-биттик сапты камтыйт:

\[ A_2=B_2= \{000,001,010,011,100,101,110,111\}. \]

Утуш шарттарында Aнын үч битинин паритети 0, Bнин үч битинин паритети 1 болушу керек жана оюнчулардын тандалган кесилиш биттери бирдей болууга тийиш.

Булактын бул бөлүмүндө \(A_1\) жана \(B_1\) кириштери “single-bit input” деп аталат. Бирок \(\{0,1,2\}\) үч башка маанини камтыгандыктан, бул сөз айкашы булак ичинде терминологиялык жактан шайкеш эмес; бул жерде түпнуска топтомдор негиз болгон.

Magic Square оюнунда жергиликтүү жана кванттык ийгилик айырмасы

Жергиликтүү ресурстар менен максималдуу утуш ыктымалдыгы:

\[ \frac{8}{9} \]

болсо, кванттык ресурстар менен оюнду так утса болот.

Ошондуктан Magic Square — кванттык pseudo-telepathy оюну жана Theorem 2 түз колдонулат.

Биринчи канал үй-бүлөсүндө:

\[ (\eta_w,\eta_l)=(1,\eta) \]

үчүн кванттык жалпы сыйымдуулук:

\[ C_s^{(Q)}=\log 9 \]

деп эсептелет.

Экинчи үй-бүлөдө:

\[ (\eta_w,\eta_l)=(\eta,1-\eta) \]

үчүн:

\[ C_s^{(Q)} = \log9-h(\eta) \]

алынат.

Бул маанилер ошол эле учурда жалпы non-signaling ресурстар шартында мүмкүн болгон максималдуу сыйымдуулуктар. Жергиликтүү стратегиялар оюнду так уталбагандыктан:

\[ C_s^{(L)} < C_s^{(Q)} \]

теңсиздиги эки канал үй-бүлөсүндө тең туура.

Кванттык Magic Square стратегиясында эмне бөлүшүлөт?

Эки жөнөтүүчү төрт кубиттик чырмалышкан абалды бөлүшөт:

\[ |\Psi\rangle_{AB} = \frac12 ( |00\rangle_A|11\rangle_B - |01\rangle_A|10\rangle_B - |10\rangle_A|01\rangle_B + |11\rangle_A|00\rangle_B ). \]

A жана B алган суроосунун маанисине жараша өзүнүн эки кубитине булакта берилген \(U_{a_1}\) жана \(V_{b_1}\) унитардык өзгөртүүлөрдүн бирин колдонуп, эсептөө базисинде өлчөө жүргүзөт.

Булак алты 4×4 унитардык матрицаны ачык берет. Бул матрицалардын максаты — жөнөтүүчүлөрдүн чыгыш биттери Magic Square паритет жана кесилиш шарттарын ар бир раундда аткара турган кванттык корреляция түзүү.

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

Non-signaling ресурс физикалык кванттык түзмөк дегенди билдиреби?

Жок. Изилдөөдө NS топтому кванттык корреляцияларды да камтыган кеңири теориялык корреляция топтому:

\[ L\subsetneq Q\subsetneq NS. \]

Ошондуктан “non-signaling сыйымдуулук” автоматтык түрдө бүгүн курула ала турган кванттык жабдыктын көрсөткүчү катары чечмеленбеши керек. NS натыйжалары сигналдашууга тыюу салуу мыйзамына баш ийген кеңири корреляциялардын маалымат-теориялык жогорку көрсөткүчүн изилдеген теориялык салыштыруу.

Изилдөөнүн эң күчтүү теориялык салымы кандай?

Изилдөөнүн салымы CHSH же Magic Square үчүн бир нече сыйымдуулук маанисин эсептөө менен гана чектелбейт. Жалпысынан:

• жергиликтүү, кванттык жана non-signaling кызматташ коддоону бир MAC алкагына жайгаштыруу,
• жалпы сыйымдуулук аймагы үчүн көп-тамгалуу мүнөздөмө берүү,
• эсептелүүчү бир-тамгалуу жалпы ылдамдык төмөнкү чегин түзүү,
• оюн негизиндеги деполяризацияланган MACтер үчүн так сыйымдуулук теоремасын чыгаруу,
• жергиликтүү ресурстар эмне үчүн айрым оюн каналдарында максимумга жете албай турганын далилдөө

изилдөөнүн кеңири маалымат-теориялык салымдары болуп саналат.

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

• Бөлүшүлгөн жергиликтүү кокустук эки жөнөтүүчтүү дискреттик эс тутумсуз MACтин сыйымдуулук аймагын көз карандысыз классикалык коддоого салыштырмалуу көбөйтпөйт.
• Кванттык жана non-signaling кызматташуу үчүн сыйымдуулук аймагын көп-тамгалуу түрдө мүнөздөөгө болот.
• Бир-тамгалуу жалпы ылдамдык туюнтмасы жалпы сыйымдуулуктун эсептелүүчү төмөнкү чегин берет.
• Pseudo-telepathy оюндарынан түзүлгөн айрым MACтерде оюнду так уткан ресурстар жалпы сыйымдуулуктун максималдуу маанисине жете алышат.
• CHSH негизиндеги каналда non-signaling ресурстардын жалпы сыйымдуулугу жергиликтүү ресурстардыкынан так жогору.
• CHSH үчүн белгилүү кванттык стратегиянын төмөнкү чеги айрым ызы-чуу параметрлеринде жергиликтүү жалпы сыйымдуулуктан ашат.
• Magic Square негизиндеги каналдарда кванттык ресурстардын так жалпы сыйымдуулук артыкчылыгы аналитикалык түрдө көрсөтүлөт.

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

• Изилдөө бардык реалдуу байланыш каналдарында кванттык ресурстар классикалык сыйымдуулукту көбөйтөт деп көрсөтпөйт.
• CHSH үчүн көрсөтүлгөн кванттык төмөнкү чек так кванттык жалпы сыйымдуулук эмес.
• Non-signaling ресурстар физикалык жактан ишке ашырылуучу кванттык ресурстар менен бирдей мааниде эмес.
• Изилдөө реалдуу 5G, 6G, Wi-Fi, спутник же була тармагында эксперименттик маалымат ылдамдыгынын өсүшүн өлчөгөн эмес.
• Канал модели аппараттык ызы-чууну, чырмалышууну бөлүштүрүү жоготуусун, decoherence жана реалдуу тармак протокол стектеринин баарын моделдебейт.
• Натыйжалар эки жөнөтүүчү жана бир алуучу бар дискреттик эс тутумсуз, кайтарым байланышсыз MAC алкагында; көп жөнөтүүчүгө түз далил эмес.
• Жалпы кванттык сыйымдуулук аймагынын бир-тамгалуу жабык формасы бул изилдөөдө алынган эмес.

Изилдөөнүн ыкмасы жана жыйынтыктары

Модель жана божомолдордун техникалык кыскача баяндамасы

1-сүрөттүн методологиялык ролу

1-сүрөт изилдөөнүн бүт байланыш моделин бир диаграммада топтойт. Эки көз карандысыз билдирүү жалпы ресурс колдонгон кызматташ коддоочуга кирет; эки код сөз параллелдүү түрдө ошол эле MACке жөнөтүлүп, жалпы алуучу эки билдирүүнү чогуу чечмелөөгө аракет кылат.

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

2-сүрөттүн методологиялык ролу

2-сүрөттө A жана B оюнчулары калыстан көз карандысыз кириштерди алып, бири-бири менен байланышпастан чыгыш түзөт. Утуш шарты \(W\) кийин канал кайсы кириш комбинацияларында төмөн ызы-чуу колдонорун аныктоо үчүн MAC аныктамасына киргизилет.

Ошентип, nonlocal оюн жөн гана аналогия эмес; каналдын шарттуу ыктымалдык бөлүштүрүүсүнүн түз математикалык компоненти болуп калат.

CHSH — (1, η) сандык натыйжалары

Бул таблица кванттык артыкчылык кантип далилденгенин ачык көрсөтөт: болжол менен η=0,64төн кийин эсептелген кванттык төмөнкү чек жергиликтүү системанын так максималдуу сыйымдуулугунан жогору.

CHSH — (η, 1−η) сандык натыйжалары

Бул экинчи канал үй-бүлөсүндө non-signaling сыйымдуулук көрсөтүлгөн бардык η маанилеринде жергиликтүү сыйымдуулуктан жогору. Белгилүү кванттык стратегиянын төмөнкү чеги болсо 0,50<η≲0,87 аралыгында классикалык сыйымдуулуктан ашат.

Magic Square натыйжаларынын техникалык кыскача баяндамасы

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

Булак ичиндеги маанилүү техникалык/редакциялык пункттар

Magic Square кириш аныктамасы: Булак \(A_1=B_1=\{0,1,2\}\) деп жазгандан кийин ар бир оюнчу “single-bit input” аларын айтат. Үч маанилүү бул топтом бир бит менен берилчү кириш эмес. Бул жерде математикалык топтом аныктамасы негиз болуп, сөз айкашы үнсүз өзгөртүлгөн эмес.

Definition 4 чек чекиттери: Деполяризацияланган MAC үчүн булак \(1\geq\eta_w>\eta_l\geq0\) шартын колдонот. Бирок I таблицадагы η=1 үчүн \((1,1)\), II таблицадагы η=0,50 үчүн \((0,50,0,50)\) алынат. Бул эки чекитте катуу теңсиздик теңдикке айланат. Булак чек маанилерин ошого карабастан эсептөөлөргө жана графиктерге кошот.

CHSH кванттык натыйжасы: CHSH оюнун кванттык ресурстар менен так утуп болбогондуктан 3-сүрөт жана I–II таблицалардагы кванттык маанилер так кванттык жалпы сыйымдуулук катары берилбейт. Булар Eq. (37)деги белгилүү кванттык стратегия аркылуу алынган төмөнкү чектер.

Blahut–Arimoto чектөөсү: Жалпыланган алгоритм каалаган MACтерде ар дайым чыныгы жалпы сыйымдуулукка жакындайт деп кепилдик берилбегендиктен, изилдөө өз мисалдарында өзүнчө кеңири сандык максимум издөөсүн жүргүзүп, ошол эле натыйжа алынганын билдирген.

Изилдөөнүн методологиялык чектери

• Жалпы кванттык жана non-signaling сыйымдуулук аймагы көп-тамгалуу; жалпы бир-тамгалуу чечим алынган эмес.
• Сандык кванттык артыкчылыктын маанилүү бөлүгү оюндардан атайын түзүлгөн MAC мисалдарында көрсөтүлгөн.
• CHSH үчүн кванттык сыйымдуулуктун жеткиликтүү төмөнкү чеги гана эсептелген.
• Non-signaling ресурс классы физикалык кванттык теориядан кеңири.
• Изилдөө эки жөнөтүүчү жана бир алуучу бар канал түзүлүшүнө басым жасайт.
• Реалдуу физикалык канал эксперименттери, чырмалышуу бөлүштүрүү системасы же байланыш жабдыгынын прототиби жок.
• Изилдөө келечекте көп тараптуу оюндарга, Bell теңсиздиктерине жана татаалыраак тармак каналдарына кеңейтүү зарылдыгын ачык изилдөө багыты катары калтырат.

Булак жана ыкма эскертүүсү

Толук түпнуска эмгектин аталышы: Nonlocal and quantum advantages in network coding for multiple access channels

Авторлор: Jiyoung Yun; Seung-Hyun Nam; Hyun-Young Park; Ashutosh Rai; Si-Hyeon Lee; Joonwoo Bae.

Авторлордун ирети: Булакта жогорудагы иретте берилген.

Тең салым/тең биринчи авторлук: Булакта тең биринчи авторлук же тең салым билдирүүсү көрүнбөйт.

Байланыш маалыматтары: Булакта алты автордун баары үчүн электрондук почта шилтемелери берилген: Jiyoung Yun — jiyoungyun@kaist.ac.kr; Seung-Hyun Nam — shnam@kaist.ac.kr; Hyun-Young Park — phy811@kaist.ac.kr; Ashutosh Rai — ashutosh.rai@kaist.ac.kr; Si-Hyeon Lee — sihyeon@kaist.ac.kr; Joonwoo Bae — joonwoo.bae@kaist.ac.kr. Бирок жүктөлгөн версия бир адамды ачык “corresponding author” белгиси менен бөлүп көрсөтпөйт.

Мекемелер: Jiyoung Yun жана Seung-Hyun Nam — Information & Electronics Research Institute, Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea. Hyun-Young Park, Ashutosh Rai, Si-Hyeon Lee жана Joonwoo Bae — School of Electrical Engineering, Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea.

Булак түрү: Рецензияланган түпнуска теориялык изилдөө макаласы. Жүктөлгөн файл ошол эле эмгектин arXiv v3 версиясы.

Рецензия статусу: Жүктөлгөн файлдын arXiv идентификатору arXiv:2304.10792v3. Изилдөө кийин/ошол эле эмгек катарында Physical Review A журналында рецензияланып жарыяланып, arXiv жазуусу рецензияланган версияны түз журнал шилтемеси катары байланыштырган.

Журнал: Physical Review A.

Басмачы: American Physical Society (APS).

Том / сан / макала номери: Volume 113, Issue 4, 042624 (2026).

Рецензияланган макала DOI:10.1103/b4q8-bzcq

Расмий жарыя шилтемеси:Physical Review A макала жазуусу

Макала алынган күнү: 5 Август 2025.

Кабыл алынган күнү: 1 Апрель 2026.

Рецензияланган жарыя күнү: 24 Апрель 2026.

arXiv идентификатору: arXiv:2304.10792.

arXiv версиясы: v3, 27 Апрель 2026.

arXiv DOI:10.48550/arXiv.2304.10792

arXiv жазуусу:arXiv расмий жазуу барагы

Лицензия эскертүүсү: Жүктөлгөн arXiv версиясынын катталган лицензиясы arXivдин non-exclusive distribution license лицензиясы. Бул текшерүүдө рецензияланган APS версиясы үчүн ачык Creative Commons лицензиясы ырасталбагандыктан түпнуска 1–3-сүрөттөр бул Verianla HTMLине көчүрүлгөн эмес; булак маалыматтары жана илимий билдирүү түпнуска таблица/түшүндүрмөлөр менен кайра баяндалган.

Каржылоо: Изилдөө National Research Foundation of Korea алкагында 2022M1A3C2069728, RS2024-00408613 жана RS-2025-00561467 колдоолору; Institute for Information & Communication Technology Promotion (IITP) алкагында RS-2023-00229524, RS-2025-02304540, RS-2025-25464876 жана RS-2025-25464616 колдоолору жана KAIST Quantum+X Convergence R&D Project тарабынан каржыланган.

Маалымат жеткиликтүүлүгү: Булакта өзүнчө “Data Availability” билдирүүсү жок. Изилдөөнүн негизги жыйынтыктары теориялык чыгарылыштар жана эсептелген канал сыйымдуулугу натыйжалары.

Код жеткиликтүүлүгү: Булакта өзүнчө код репозиторийи же “Code Availability” билдирүүсү берилген эмес.

Кызыкчылыктардын кагылышы: Жүктөлгөн версияда өзүнчө кызыкчылыктардын кагылышы билдирүүсү жок.

CRediT/автордук салымдар: Жүктөлгөн версияда өзүнчө CRediT автордук салым бөлүмү жок.

Бул Verianla түшүндүрмөсүндөгү бардык сыйымдуулук теңдемелери, канал моделдери, CHSH жана Magic Square натыйжалары, чек аралыктары жана I–II таблицалардагы маанилер Yun жана анын кесиптештеринин каралган изилдөөсүнө гана негизделген. Тышкы булактар рецензияланган жарыянын идентификациясын, DOIни, кабыл алуу/жарыя күнүн жана arXiv–Physical Review A байланышын библиографиялык текшерүү үчүн гана колдонулган.

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

Булакта Magic Square кириштерин “single-bit” деп атоо менен үч маанилүү кириш топтомунун ортосунда терминологиялык шайкешсиздик бар. Ошондой эле Definition 4төгү катуу η_w>η_l шартына карабай, эки сандык таблицада теңдик чыккан чекиттер көрсөтүлгөн. CHSH таблицаларындагы кванттык натыйжалар сыйымдуулук эмес, төмөнкү чек экени булакка берилгендик үчүн өзгөчө сакталган.