Tadqiqotning birinchi asosiy natijasi geometrik jihatdan lokal va qisqa masofali Hamiltonianlar uchun yetarlicha yuqori haroratda kvant Gibbs namunalashining samarali ekaniga oid kuchli spektral bo‘shliq kafolatidir. Hamiltonianning lokallik masshtablari tizim o‘lchamidan mustaqil saqlanganda, teskari harorat \(\beta\) muayyan doimiy \(\beta^\ast\) chegarasidan pastda qolgan paytda tegishli Lindbladianning spektral bo‘shlig‘i tizim kattalashishi bilan yopilmaydi. Natijada boshlang‘ich istalgan kvant holati Gibbs holatiga iz normasida \(\varepsilon\) xato doirasida \(t=\Omega(\ln(1/\varepsilon)+n)\) masshtabida yaqinlashadi. Kvant sxemasida amalga oshirish uchun berilgan xarajat, polilogarifmik ko‘paytuvchilarni hisobga olmaganda, taxminan \(\widetilde{\mathcal O}(n^2)\) Hamiltonian simulyatsiyasi vaqti va \(\widetilde{\mathcal O}(n^3)\) ikki-kubitli darvozadir.

Ikkinchi natija shu spektral bo‘shliq nazoratini ikki baravar kengaytirilgan Hilbert fazosidagi Hamiltonian moslashtirishiga ko‘chirib, yuqori haroratdagi Gibbs holatining tozalangan shaklini, ya’ni thermofield double holatini adiabatik tarzda tayyorlash mumkinligidir. \(\beta=0\) dagi Bell juftliklari ko‘paytma holatidan boshlanib, teskari haroratni bosqichma-bosqich oshiradigan adiabatik yo‘l uchun tadqiqot \(T_{\mathrm{ad}}=\mathcal O((\beta n)^3/\varepsilon^2)\) asosiy masshtablanishini oladi.

Uchinchi va konseptual jihatdan juda boshqacha natija past harorat rejimidadir. Tadqiqotchilar teskari harorat tizim yoki kodlangan kvant sxemasi o‘lchami bilan polinom tarzda o‘sadigan rejimda, mos ravishda loyihalangan kvant Gibbs namunalagichlari lokal kuzatiluvchilarning kutilma qiymatlarini hisoblash masalasini BQP-to‘liq qilishini ko‘rsatadi. Boshqacha aytganda, natija “har qanday past haroratli Gibbs namunalagichi kvant ustunligini beradi” demaydi; u samarali simulyatsiya qilinadigan ma’lum namunalagichlar oilasi standart polinom-vaqt kvant sxemalarini kodlash uchun yetarli hisoblash quvvatiga ega ekanini isbotlaydi.

Nega Gibbs holati kvant hisoblashda qiyin nishon hisoblanadi?

Muvozanat statistik mexanikasida bir Hamiltonian \(H\) uchun teskari harorat \(\beta\) dagi Gibbs holati

\[ \sigma_\beta=\frac{e^{-\beta H}}{Z_\beta}, \qquad Z_\beta=\operatorname{tr}\!\left(e^{-\beta H}\right) \]

ko‘rinishida aniqlanadi. Bu yerda \(Z_\beta\) bo‘linish funksiyasidir. Fizik harorat oshgani sari \(\beta\) kamayadi; cheksiz harorat chegarasi \(\beta\to0\), nol harorat chegarasi esa \(\beta\to\infty\) bilan bog‘liq.

Klassik statistik mexanikada Markov Chain Monte Carlo usullari lokal spin yangilanishlari yordamida Gibbs taqsimotlaridan namuna olishda juda muvaffaqiyatli. Kvant masalasida esa Hamiltonian hadlari odatda o‘zaro kommutativ emas. Shu bois “bitta spin holatini lokal yangilash” g‘oyasini klassik holatdagidek sodda ta’riflab bo‘lmaydi. Kvant koherentligi, chirmashuv va kommutativ bo‘lmagan operatorlarning mavjudligi ham fizik jihatdan lokal, ham to‘g‘ri Gibbs sobit nuqtasiga ega dinamika yaratishni qiyinlashtiradi.

KMS batafsil muvozanati va Gibbs sobit nuqtasi

Tadqiqot asos qilgan namunalagich Heisenberg tasvirida Kubo–Martin–Schwinger, ya’ni KMS ichki ko‘paytmasiga nisbatan qaytaruvchandir:

\[ \left\langle X,\mathcal L^{(\beta)\dagger}(Y)\right\rangle_{\sigma_\beta} = \left\langle\mathcal L^{(\beta)\dagger}(X),Y\right\rangle_{\sigma_\beta}, \]

\[ \langle X,Y\rangle_{\sigma_\beta} = \operatorname{tr} \left( X^\dagger\sigma_\beta^{1/2} Y\sigma_\beta^{1/2} \right). \]

Bu simmetriya shunchaki estetik matematik xususiyat emas. U tegishli dissipativ evolyutsiyaning Gibbs holatiga mos batafsil muvozanat tuzilishini ta’minlaydi va \(\sigma_\beta\) ning dinamika sobit nuqtasi bo‘lishida markaziy rol o‘ynaydi.

Lokal Hamiltonian farazi

Yuqori harorat isboti \(\Lambda\) panjarasidagi geometrik jihatdan lokal, qisqa masofali Hamiltonianlarga qaratilgan. Bir \(Z\subseteq\Lambda\) sohaning Hamiltoniani

\[ H_Z=\sum_{X\subseteq Z} h_X \]

ko‘rinishida yoziladi. Har bir \(h_X\) o‘z-o‘ziga qo‘shma o‘zaro ta’sir hadi bo‘lib,

• \(\|h_X\|_\infty\le h\),
• har bir o‘zaro ta’sir ko‘pi bilan \(k\) saytni qamrab oladi,
• har bir sayt ko‘pi bilan \(l\) ta noldan farqli o‘zaro ta’sir hadida qatnashadi.

Bu tuzilma tadqiqotda \((k,l)\)-lokal Hamiltonian deb ataladi. \(h\), \(k\) va \(l\) tizim o‘lchami \(n\) o‘sayotganda doimiy qoladi deb qabul qilinadi.

Nega Lieb–Robinson chegarasi hal qiluvchi ahamiyatga ega?

Kvant ko‘p-jismli tizimlarda lokal buzilishning ta’siri bir zumda butun tizimga tarqalmaydi. Lieb–Robinson chegarasi aniq relativistik yorug‘lik konusi bo‘lmasa ham, operator ta’siri fazo-vaqtda taxminiy samarali yorug‘lik konusi ichida tarqalishini ifodalaydi. Tadqiqotda tegishli o‘zaro ta’sir masshtabi

\[ J= \max_{u\in\Lambda} \sum_{X\ni u}|X|\,\|h_X\|_\infty = \mathcal O(hkl) \]

ko‘rinishida aniqlanadi. Lokal \(A_u\) operatorining to‘liq Hamiltonian ostidagi evolyutsiyasi bilan faqat \(u\) atrofidagi \(B_u(r)\) shar Hamiltoniani ostidagi evolyutsiyasi orasidagi farq

\[ \left\| e^{-iHt}A_ue^{iHt} - e^{-iH_{B_u(r)}t}A_ue^{iH_{B_u(r)}t} \right\|_\infty \le \|A_u\|_\infty \frac{(2J|t|)^r}{r!} \]

bilan nazorat qilinadi. Bu munosabat uzoq sohalarning lokal dinamikaga hissasi masofa oshgani sari tez bostirilishini ta’minlaydi. Tadqiqotning yuqori harorat isbotidagi “quasi-local perturbatsiya” g‘oyasining fizik asosi aynan shudir.

Yuqori haroratdagi asosiy teorema: doimiy spektral bo‘shliq

Tadqiqotning yuqori harorat natijasi teskari harorat

\[ \beta\le\beta^\ast, \qquad \beta^\ast=\mathcal O((hkl)^{-1})=\mathcal O(1) \]

bo‘lgan rejimda olinadi. \(\beta^\ast\) tizim o‘lchami \(n\) ga bog‘liq emas. Tegishli Lindbladian uchun tadqiqot

\[ \operatorname{gap}\!\left(-\mathcal L^{(\beta)\dagger}\right) \ge \frac{1}{2\sqrt{2}\,e^{1/4}} \]

quyi chegarani oladi.

Spektral bo‘shliq nimani anglatadi? Lindblad generatorining nol xos qiymati sobit Gibbs holatiga mos keladi. Noldan farqli eng kichik so‘nish tezligi tizim kattalashganda nolga yaqinlashmasligi muvozanatga erishishning tobora haddan tashqari sekinlashmasligini ta’minlaydi. Shu sabab doimiy bo‘shliq bevosita tez aralashish natijasiga aylantirilishi mumkin.

Gibbs holatiga yaqinlashish

Teoremadan olingan iz-norma kafolati

\[ \left\| e^{t\mathcal L^{(\beta)}}(\rho)-\sigma_\beta \right\|_1 \le\varepsilon \]

bo‘lishi uchun

\[ t=\Omega\!\left(\ln(1/\varepsilon)+n\right) \]

vaqt yetarli ekanini ko‘rsatadi. Bu yerdagi \(\rho\) ixtiyoriy boshlang‘ich holatdir. Demak, natija faqat maxsus tayyorlangan boshlang‘ich holatga bog‘liq emas.

Lindbladian qanday qilib Hamiltonianga aylantiriladi?

Yuqori harorat isbotidagi eng kuchli matematik qadamlardan biri KMS-simmetrik Lindbladianni Hilbert–Schmidt fazosida o‘z-o‘ziga qo‘shma operatorga aylantirishdir:

\[ \widetilde{\mathcal L}^{(\beta)}(X) = \sigma_\beta^{-1/4} \mathcal L^{(\beta)} \left( \sigma_\beta^{1/4}X\sigma_\beta^{1/4} \right) \sigma_\beta^{-1/4}. \]

Bu o‘xshashlik almashtirishidir; shu sabab u asl Lindbladian bilan bir xil spektrga ega. KMS simmetriyasi tufayli \(\widetilde{\mathcal L}^{(\beta)}\) Hilbert–Schmidt ichki ko‘paytmasiga nisbatan o‘z-o‘ziga qo‘shma va Hamiltonian kabi tahlil qilinishi mumkin.

Yadrodagi holat

\[ \left|\sqrt{\sigma_\beta}\right\rangle \]

Gibbs holatining vektorlashtirilgan tozalashidir. Shunday qilib, ochiq tizimning aralashish muammosi ikki baravar kengaytirilgan Hilbert fazosidagi Hamiltonian spektral bo‘shliq muammosiga aylantiriladi.

Nega cheksiz harorat nuqtasi qulay?

\(\beta\to0\) chegarasida Gibbs namunalagichining o‘zgartirilgan generatori bir-saytli depolyarizatsiya kanalining generatoriga yaqinlashadi. Bu tayanch Hamiltonian:

• frustration-free,
• doimiy spektral bo‘shliqqa ega,
• lokal topologik kvant tartibi shartini qanoatlantiradi,
• lokal bo‘shliq shartini qanoatlantiradi.

Bu xususiyatlar frustration-free bo‘shliqli Hamiltonianlarning kichik quasi-local perturbatsiyalarga nisbatan spektral bo‘shliq barqarorligi haqidagi ma’lum teoremalarni qo‘llash imkonini beradi.

Teleskopik quasi-local ajratish

Har bir lokal generator hadi o‘suvchi radiusli sohalar bo‘yicha

\[ \widetilde{\mathcal L}^{(\beta)}_{a,\alpha} = \widetilde{\mathcal L}^{\beta,0}_{a,\alpha} + \sum_{r=0}^{\infty} \left( \widetilde{\mathcal L}^{\beta,r+1}_{a,\alpha} - \widetilde{\mathcal L}^{\beta,r}_{a,\alpha} \right) \]

ko‘rinishida ajratiladi. Bu yerdagi farq hadlari faqat \(B_a(r+1)\) sohada qo‘llab-quvvatlanadi. Lieb–Robinson chegarasi tufayli bu hissalarning normasi masofa bilan eksponensial kamayishi nazorat qilinadi. Demak, chekli, ammo kichik \(\beta\) dagi generator \(\beta=0\) depolyarizatsiya nuqtasining kichik quasi-local perturbatsiyasi sifatida qaralishi mumkin.

Thermofield double tozalashi

Gibbs holati aralash holatdir. Biroq ikki nusxali Hilbert fazosida

\[ |\sqrt{\sigma_\beta}\rangle \]

ko‘rinishida tozalanishi mumkin. Bu tuzilma adabiyotning katta qismida thermofield double deb ataladi. Tadqiqot \(\beta=0\) da oson tayyorlanadigan

\[ \bigotimes_{i=1}^{n}|\Phi^+\rangle_i \]

Bell juftliklari ko‘paytmasidan boshlanib,

\[ \mathscr H(s)=\widetilde{\mathcal L}^{(s\beta)}, \qquad 0\le s\le1 \]

adiabatik yo‘lni kuzatishni taklif qiladi. Yuqori harorat sohasida bo‘shliq yopilmagani uchun adiabatik teorema polinom ish vaqtini beradi:

\[ T_{\mathrm{ad}} = \mathcal O\!\left( \frac{(\beta n)^3}{\varepsilon^2} \right). \]

B-ilovadagi batafsilroq parametr bog‘liqligi

\[ T_{\mathrm{ad}} \le C' k l^2 \frac{(\beta h n)^3}{\varepsilon^2} \]

ko‘rinishida beriladi. Bu yerdagi \(C'\) universal doimiydir.

Adiabatik xarajat qayerdan keladi?

Tadqiqot adiabatik Hamiltonian yo‘lining birinchi va ikkinchi hosilalarini ham chegaralaydi. Masalan, birinchi hosila uchun

\[ \max_{s\in[0,1]} \left\| \frac{d\mathscr H(s)}{ds} \right\|_\infty \le 61\,\beta n \max_{a,\alpha} \|[H,A_{a,\alpha}]\|_\infty \]

olinadi. \((k,l)\)-lokal Hamiltonianlarda

\[ \max_{a,\alpha}\|[H,A_{a,\alpha}]\|_\infty\le2hl \]

va

\[ \max_{a,\alpha} \|[H,[H,A_{a,\alpha}]]\|_\infty \le4h^2l^2k \]

bo‘lgani uchun bu hosila normalari tizim o‘lchamiga nisbatan nazorat qilinadi. Shunday qilib, adiabatik ish vaqtidagi kubik \(n\) bog‘liqlik bevosita bo‘shliq va yo‘lning silliqligi tahlilidan kelib chiqadi.

Nega past haroratda boshqa filtr kerak?

Yuqori haroratda ishlatiladigan Gauss filtri past haroratda asosiy holatga o‘tishlarni yetarlicha kuchli afzal ko‘rmasligi mumkin. Shu sabab tadqiqotchilar past harorat isbotida Metropolis xulqini taqlid qiladigan

\[ \gamma^{M}(\omega) = \exp\left[ -\beta\, \max\left( \omega+\frac{\beta\sigma_E^2}{2}, 0 \right) \right] \]

filtriga o‘tadi. Bu yerdagi \(\sigma_E\) energiya ajratuvchanligini boshqaradigan erkin parametrdir. Filtrning asosiy matematik maqsadi energiya pasaytiruvchi o‘tishlarni afzal qilishdir.

Past harorat isbotidagi uch perturbatsiya ko‘prigi

Tadqiqotchilar murakkab circuit-to-Hamiltonian namunalagichining bo‘shlig‘ini bevosita hisoblash o‘rniga uni soddaroq chegaralar bilan bog‘laydi.

1. Hamiltonian perturbatsiyasi

\(H=H_0+V\) uchun

\[ \operatorname{gap} \left( \mathcal L_{H}^{(\sigma_E,\beta)\dagger} \right) > \operatorname{gap} \left( \mathcal L_{H_0}^{(\sigma_E,\beta)\dagger} \right) - \delta''_{\beta,\sigma_E} \]

ko‘rinishida uzluksizlik chegarasi quriladi. Isbotda \(H_0\) oddiy soat Hamiltoniani, \(V\) esa sxemani kodlaydigan qo‘shimcha Hamiltonian hadlaridir.

2. Chekli energiya ajratuvchanligidan \(\sigma_E\to0\) chegarasiga o‘tish

\[ \operatorname{gap} \left( \mathcal L^{(\sigma_E,\beta)\dagger} \right) \ge \operatorname{gap} \left( \mathcal L^{(0,\beta)\dagger} \right) (1-\delta_{\beta,\sigma_E}). \]

Xato hadi mos spektral oraliq va past harorat sharoitlarida bostiriladi.

3. Chekli \(\beta\) dan nol harorat chegarasiga o‘tish

\[ \operatorname{gap} \left( \mathcal L^{(0,\beta)\dagger} \right) \ge \operatorname{gap} \left( \mathcal L^{(0,\infty)\dagger} \right) - \delta'_\beta. \]

\(\delta'_\beta\) energiya oralig‘i bilan birga \(\beta\) da eksponensial bostirilgani sabab, yetarlicha past haroratda nol harorat generatorining bo‘shlig‘i chekli harorat generatorini nazorat qilish uchun ishlatilishi mumkin.

Poincaré tengsizligi va Lindbladian bo‘shlig‘i

Past harorat ilovasidagi asosiy vositalardan biri

\[ \operatorname{gap} \left( \mathcal L^{(\sigma_E,\beta)} \right) \operatorname{Var}_{\sigma_\beta}(X) \le \mathcal E^{(\sigma_E,\beta)}(X) \]

Poincaré tengsizligidir. Bu yerda

\[ \operatorname{Var}_{\sigma_\beta}(X) = \|X-\operatorname{tr}(\sigma_\beta X)I\|_{\sigma_\beta}^2 \]

termal dispersiyani, \(\mathcal E\) esa Lindbladianning Dirichlet formasini ifodalaydi. Matematik jihatdan bu tengsizlik spektral bo‘shliqni “kuzatiluvchilarning Gibbs o‘rtachasidan og‘ishlarini dinamika qanchalik tez so‘ndirishi” bilan bog‘laydi.

Kvant sxemasini Hamiltonianga kodlash

Past haroratdagi universallik isboti standart kvant hisoblashdagi sxema chiqishini lokal Hamiltonianning asosiy holatiga joylaydigan circuit-to-Hamiltonian yondashuvidan foydalanadi.

\(n\) kubitda \(T\) darvozali

\[ C=U_T\cdots U_1 \]

sxema uchun Hamiltonian

\[ H_C = H_{\mathrm{clock}} + H_{\mathrm{in}} + H_{\mathrm{prop}} \]

ko‘rinishida ajratiladi.

• \(H_{\mathrm{clock}}\): haqiqiy hisoblash vaqt tuzilmalarini kodlaydi.
• \(H_{\mathrm{in}}\): kirish kubitlarining to‘g‘ri boshlang‘ich holatini majburlaydi.
• \(H_{\mathrm{prop}}\):\(U_t\) darvozalarining vaqt davomida to‘g‘ri qo‘llanishini kodlaydi.

Yagona asosiy holat “history state” ko‘rinishidadir:

\[ |\eta_0\rangle = \sum_{t=0}^{T} \sqrt{\xi_t}\, (U_t\cdots U_1)|0^n\rangle \otimes |1^t0^{T-t}\rangle, \]

\[ \xi_t = \frac{1}{2^T} \binom{T}{t}. \]

Bu holat nafaqat sxemaning yakuniy chiqishini, balki barcha hisoblash tarixini ham soat yozuvi bilan birga kvant superpozitsiyasida kodlaydi.

Soat Hamiltonianining nol haroratdagi bo‘shlig‘i

Isbotda boshqarish mumkin bo‘lgan sodda tayanch tizim \(H_{\mathrm{clock}}\) dir. Tegishli o‘zgartirilgan nol harorat Lindbladian uchun

\[ \operatorname{gap} \left( \widetilde{\mathcal L}^{(0,\infty)}_{H_{\mathrm{clock}}} \right) \ge \min \left\{ 2\left( 1-\cos\frac{\pi}{T+1} \right), 1 \right\} \]

olinadi. \(T>3\) uchun bu

\[ \operatorname{gap} \left( \widetilde{\mathcal L}^{(0,\infty)}_{H_{\mathrm{clock}}} \right) \ge \frac{1}{T^2} \]

quyi chegarani beradi. Isbotning bu qismida Gershgorin doira teoremasi va yo‘l grafining Laplas spektri ishlatiladi.

BQP-to‘liqlik nimani anglatadi?

Asosiy past harorat teoremi shunday: samarali simulyatsiya qilinadigan past haroratli Gibbs namunalagichlarining chiqishlaridagi lokal kuzatiluvchilarning kutilma qiymatlarini taxminiy hisoblash masalasi BQP-to‘liqdir.

BQP — polinom o‘lchamli kvant sxemalari tomonidan cheklangan xato ehtimoli bilan yechiladigan qaror masalalarining murakkablik sinfidir. “BQP-to‘liq” iborasi bu yerda ikki narsani birgalikda anglatadi:

1. Bu Gibbs namunalash modeli standart kvant sxemasi bilan samarali amalga oshirilishi mumkin.
2. Mos Gibbs namunalagichlaridan foydalanilganda standart polinom-vaqt kvant hisoblashining chiqishi ushbu modelga kodlanishi mumkin.

Shunday qilib, natija dissipativ termallashuv faqat kvant holatini tayyorlash vositasi emasligini; mos past harorat va Hamiltonian muhandisligi sharoitida universal kvant hisoblash modeli rolini o‘ynashi mumkinligini ko‘rsatadi.

Klassik algoritmlar bilan murakkablik ajratilishi

Tadqiqotning Corollary II.5 natijasi tez aralashuvchi lokal kuzatiluvchi \(O\) uchun termal o‘rtachani

\[ \operatorname{tr}(\sigma_\beta O) \]

har qanday holatda \(\varepsilon\) qo‘shiluvchi xato bilan \(\operatorname{poly}(\beta,\varepsilon^{-1})\) vaqtda hisoblaydigan klassik algoritmning mavjudligi

\[ \mathrm{BPP}=\mathrm{BQP} \]

natijasini keltirib chiqarishini ko‘rsatadi. Bu shartli murakkablik ajratilishidir: tadqiqot BPP bilan BQP farqli ekanini isbotlamaydi; standart ravishda kutiladigan \(\mathrm{BPP}\ne\mathrm{BQP}\) farazi ostida bunday umumiy klassik algoritm mavjud bo‘la olmasligini bildiradi.

Past harorat parametr masshtablari

C-ilovadagi qurilishda soat va sxema Hamiltonianlarining bog‘lanish koeffitsiyentlari hamda energiya ajratuvchanligi o‘zaro ehtiyotkorlik bilan masshtablanadi. Yakuniy bosqichda \(\sigma_E<1\) uchun, masalan

\[ J_{\mathrm{prop}} = \mathcal O\!\left( \frac{\sigma_E} {(n+T)^{5\delta}\ln(n+T)} \right), \]

\[ J_{\mathrm{in}} = \mathcal O\!\left( \frac{\sigma_E} {(n+T)^{9\delta}\ln(n+T)} \right) \]

va

\[ \beta = \Omega\!\left( \frac{(n+T)^{10\delta}\ln(n+T)} {\sigma_E} \right) \]

kabi tanlovlar qo‘llanadi; shu bilan birga \(\beta\sigma_E=T^\delta\) tanlovi \(\delta\le11\) shartini keltirib chiqaradi. Mualliflarning asosiy matndagi intuitivroq taqqoslashida o‘z qurilishi uchun sxema o‘lchamiga nisbatan taxminan \(\beta=\mathcal O(T^{11})\) darajasidagi masshtablash yetarli ekanligi, taqqoslanayotgan avvalgi termal gradient-descent yondashuvida esa \(\mathcal O(T^{19})\) bog‘liqlik yuzaga kelishi ta’kidlanadi.

Bu polinomlar darajasining yuqoriligi muhim: natija murakkablik nazariyasi nuqtai nazaridan samarali, biroq “bugungi apparatda kichik doimiylar bilan amaliy ishlaydi” degani emas.

Avvalgi tadqiqotlar bilan taqqoslash

Mualliflar yuqori haroratli Gibbs tayyorlash adabiyotida ko‘plab usullar umumiy Hamiltonianlar uchun eksponensial xarajatli ekanini, ayrim polinom-vaqt natijalari esa bir o‘lchov, commuting Hamiltonianlar yoki korrelyatsiyalar yetarlicha tez so‘nishi kabi qo‘shimcha shartlarni talab qilishini qayd etadi. Bu yerdagi yuqori harorat natijasi faqat harorat va Lieb–Robinson turidagi lokallik orqali umumiyroq kafolat berishni maqsad qiladi.

Shu bilan birga yuqori harorat sohasida samarali klassik usullar ham mavjud. Shu sabab mualliflar o‘zlarining yuqori harorat natijasini bevosita isbotlangan kvant tezlashuvi sifatida taqdim etmaydi. Tadqiqotning fizik ahamiyati tabiiy termallashuvni modellashtiradigan Lindblad dinamikalarining tez aralashishini ko‘rsatish, chekli haroratli kvant holatlarini tayyorlash va dissipativ faza tuzilishini tushunish nuqtai nazaridan ham baholanadi.

Tadqiqot tugallangach e’tiborga olingan boshqa yuqori harorat natijasi yetarlicha issiq Gibbs holatlarini to‘liq ajraluvchi holatlar bilan taxminan ifodalash va klassik tarzda ham samarali namunalash mumkinligini ko‘rsatadi. Rouzé, França va Alhambra o‘z chegaralarida kritik teskari harorat lokallik parametriga taxminan teskari chiziqli bog‘liqlik ko‘rsatishini, ular taqqoslagan usulda esa boshqa farazlar ostida teskari kvadratik bog‘liqlik mavjudligini ta’kidlaydi. Ammo ikki usulning Hamiltonian sinflari va kafolatlari bir xil bo‘lmagani sabab bu taqqoslashni yagona “g‘olib algoritm” xulosasiga tushirib bo‘lmaydi.

Tadqiqot qo‘llab-quvvatlaydigan natijalar

• Yetarlicha yuqori haroratda Lieb–Robinson chegarasiga mos lokal Hamiltonianlar uchun o‘rganilgan KMS-simmetrik Gibbs namunalagichining spektral bo‘shlig‘i doimiy qoladi.
• Bu bo‘shliq Gibbs holatini polinom vaqtda tayyorlashni kafolatlaydi.
• Shu tuzilma Gibbs holatlarining thermofield-double tozalashlarini yuqori harorat sohasida adiabatik va polinom vaqtda tayyorlash uchun ishlatilishi mumkin.
• Mos past haroratli Gibbs namunalagichlari va circuit-to-Hamiltonian kodlashlari standart kvant hisoblash quvvatini amalga oshirishi mumkin.
• Bu past harorat modelida lokal kuzatiluvchilarning kutilma qiymatlarini taxminiy hisoblash BQP-to‘liqdir.

Tadqiqot qo‘llab-quvvatlamaydigan natijalar

• Yuqori haroratli Gibbs namunalash bu rejimda isbotlangan kvant ustunligini berishi ko‘rsatilmagan.
• Har qanday Hamiltonian yoki har qanday harorat uchun tez termallashuv isbotlanmagan.
• \(\beta^\ast\) uchun tajribada bevosita qo‘llanadigan universal sonli harorat qiymati berilmagan.
• Past harorat universallik qurilishining yaqin davr kvant qurilmalarida amaliy va past doimiy xarajatli ekani ko‘rsatilmagan.
• Past harorat qurilishidagi Lindbladianning yuqori harorat bo‘limidagi ma’noda albatta quasi-local ekani da’vo qilinmaydi.
• Fizik tizim-muhit o‘zaro ta’siri ushbu namunalagichni avtomatik amalga oshirishi ko‘rsatilmagan.
• Xatoga chidamlilik uchun to‘liq chegara teoremasi berilmagan.

Tadqiqot Usuli va Natijalari

1. Kvant Gibbs namunalagichining to‘liq tuzilishi

Yuqori harorat tahlilida qo‘llanadigan Gibbs namunalagichining Gauss vazni

\[ \gamma(\omega) = \exp\!\left[ -\frac{(\beta\omega+1)^2}{2} \right] \]

ko‘rinishida aniqlanadi va Lindblad generatori

\[ \mathcal L^{(\beta)}(\rho) = -i[B,\rho] + \sum_{a\in\Lambda} \sum_{\alpha\in[3]} \int_{-\infty}^{\infty} \gamma(\omega) \mathcal D^{a,\alpha}_{\omega}(\rho) \,d\omega \]

ko‘rinishidadir. Standart dissipator ochiq yozilganda

\[ \mathcal D^{a,\alpha}_{\omega}(\rho) = A_{a,\alpha}(\omega)\rho A_{a,\alpha}(\omega)^\dagger - \frac12 \left\{ A_{a,\alpha}(\omega)^\dagger A_{a,\alpha}(\omega), \rho \right\}. \]

Sakrash operatorlari chastota-filtrlangan vaqt evolyutsiyalari orqali

\[ A_{a,\alpha}(\omega) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} e^{iHt} A_{a,\alpha} e^{-iHt} e^{-i\omega t} f(t)\,dt \]

ko‘rinishida aniqlanadi. Bu yerda \(A_{a,1}=\sigma_x\), \(A_{a,2}=\sigma_y\) va \(A_{a,3}=\sigma_z\) bir-saytli Pauli operatorlaridir. \(f(t)\) Gauss shaklidagi vaqt filtridir. Bu tuzilma muayyan Bohr chastotalarini mukammal keskin proyeksiya orqali tanlash o‘rniga chekli vaqt/kenglik filtri bilan ishlaydi.

Generatorning \(-i[B,\rho]\) hadi koherent tuzatishdir. Manbada \(B\) tez so‘nuvchi \(b_1\) va \(b_2\) yadrolari bilan ikki martalik vaqt integrali sifatida aniqlanadi. Bu had ixtiyoriy qo‘shimcha Hamiltonian emas; umumiy dinamikaning KMS batafsil muvozanat xususiyatini to‘g‘ri qurishning bir qismidir.

2. Yuqori haroratdagi perturbativ spektral bo‘shliq isboti

Isbot quyidagi mantiqiy zanjirni kuzatadi:

1. KMS-simmetrik Lindbladian bir xil spektrga ega o‘z-o‘ziga qo‘shma \(\widetilde{\mathcal L}^{(\beta)}\) operatoriga aylantiriladi.
2. Generator o‘suvchi fazoviy radiuslar bo‘yicha teleskopik quasi-local hadlarga ajratiladi.
3. Lieb–Robinson chegarasi uzoq radius hadlarining normasini nazorat qiladi.
4. \(\beta\to0\) chegarasi lokal depolyarizatsiya semiguruhi ekanligi ko‘rsatiladi.
5. Bu chegara frustration-free, bo‘shliqli va LTQO shartlarini qanoatlantiradigan tayanch Hamiltonian beradi.
6. Quasi-local perturbatsiyalarning bo‘shliq barqarorligi teoremasi qo‘llanib, kichik, ammo chekli \(\beta\) uchun bo‘shliqning kamida yarmi saqlanishi ko‘rsatiladi.

Natija:

\[ \operatorname{gap} \left( -\mathcal L^{(\beta)\dagger} \right) \ge \frac{1}{2\sqrt2\,e^{1/4}}. \]

3. Iz normasida tez yaqinlashish

Spektral bo‘shliq KMS-vaznli \(L_2\) normasidan iz normasiga o‘tkaziladigan standart argument bilan

\[ \|e^{t\mathcal L^{(\beta)}}(\rho)-\sigma_\beta\|_1 \le 2^{|\Lambda|+1} e^{2\beta^\ast lhn} e^{-\frac{t}{2\sqrt2 e^{1/4}}} \]

turidagi eksponensial so‘nish chegarasiga aylantiriladi. O‘ng tomon \(\varepsilon\) ga tenglashtirilib, \(t\) bo‘yicha yechilganda

\[ t=\Omega(\ln(1/\varepsilon)+n) \]

masshtablanishi olinadi.

4. Adiabatik tozalash usuli

\(\mathscr H(s)=\widetilde{\mathcal L}^{(s\beta)}\) yo‘li bo‘ylab minimal bo‘shliq yuqori harorat teoremasi bilan saqlanadi. Adiabatik xato chegarasi manbada

\[ T_{\mathrm{ad}} \le \frac{10}{\varepsilon^2} \max \left\{ \frac{\|d\mathscr H/ds\|_\infty^3}{\gamma^4}, \frac{\|d\mathscr H/ds\|_\infty \|d^2\mathscr H/ds^2\|_\infty}{\gamma^3} \right\} \]

ko‘rinishida ishlatiladi. Lokal kommutator normalari doimiy bo‘lgani tufayli natija polinom masshtabga tushadi.

5. Metropolis-turidagi past harorat generatori

Past haroratda tadqiqot \(\sigma_E\) energiya ajratuvchanligiga ega KMS-simmetrik generatorni ishlatadi. \(\sigma_E\to0\) chegarasida generator Davies-turidagi dinamikaga yaqinlashadi:

\[ \mathcal L^{(0,\beta)\dagger}(X) = \frac12 \sum_{a,\nu} \left( e^{-\beta\nu}\mathbf 1_{\nu>0} + \mathbf 1_{\nu\le0} \right) \left[ A_\nu^{a\dagger}XA_\nu^a - \frac12 \left\{ A_\nu^{a\dagger}A_\nu^a, X \right\} \right]. \]

Bu formula musbat energiya xarajatli o‘tishlar \(e^{-\beta\nu}\) Boltzmann omili bilan bostirilishini aniq ko‘rsatadi. \(\nu\le0\) bo‘lgan energiyani kamaytiruvchi yoki oshirmaydigan o‘tishlar ayni eksponensial jazoga ega emas.

6. Hamiltonian perturbatsiyasining miqdoriy nazorati

Manbaning Lemma C.8 natijasi \(H=H_0+H_1\) uchun va \(\beta\sigma_E>1\) bo‘lganda

\[ \left\| \widetilde{\mathcal L}^{(\sigma_E,\beta)}_H - \widetilde{\mathcal L}^{(\sigma_E,\beta)}_{H_0} \right\|_{2\to2} \le \delta''_{\beta,\sigma_E} \]

ko‘rinishida ochiq norma chegarasini chiqaradi. Manbada bu xato hadi \(\|H_1\|_\infty\), sakrash operatorlari soni \(m\), \(\sigma_E\), \(\beta\) va logarifmik omillarning muayyan kombinatsiyalaridan iborat. Maqsad bu hadni tayanch generator bo‘shlig‘idan kichik saqlashdir; shu tariqa spektral bo‘shliq perturbatsiya ostida yopilmaydi.

7. Circuit-to-Hamiltonian asosiy holati

Sxemani kodlaydigan \(H_C\) frustration-free qilib tanlanadi va asosiy holat energiyasi nol bo‘ladi. Manba mos bog‘lanish koeffitsiyentlarida Hamiltonian bo‘shlig‘ini

\[ \operatorname{gap}(H_C) \ge \min \left\{ \frac{J_{\mathrm{in}}}{2}, J_{\mathrm{prop}}-2\|H_{\mathrm{in}}\|_\infty \right\} \]

bilan chegaralaydi. Shunga bog‘liq ravishda Gibbs holati va history state orasidagi iz masofasi

\[ \|\sigma_{\beta,H_C} - |\eta_0\rangle\langle\eta_0| \|_1 \le \varepsilon \]

bo‘ladigan darajada katta \(\beta\) tanlanishi mumkin. Shunday qilib, termal holat sxema chiqishini tashuvchi asosiy holat bilan yetarlicha katta ustma-ustlikka ega bo‘ladi.

8. Sxema chiqishini qayta olish

Past haroratli Gibbs namunalagichi bevosita “yakuniy kubitlarni o‘qiganda har doim sxema chiqishi olinadi” tarzida ishlamaydi. Avval Gibbs holati history-state asosiy holati ustida polinom darajada yetarli vazn hosil qiladi. Keyin circuit-to-Hamiltonian hadlariga mos lokal energiya testlari o‘tkaziladi. Barcha testlar qabul qilinganda asosiy holat komponenti tanlangan bo‘ladi va sxema chiqishini olish mumkin. Jarayonni oz marta takrorlash muvaffaqiyat ehtimolini oshiradi.

9. Manba qayd etgan kuchli tomonlar

• Yuqori harorat natijasi kommutativ bo‘lmagan lokal Hamiltonianlarni ham qamrab oladi.
• Isbot muayyan panjara o‘lchamiga yoki faqat bir o‘lchovga keltirib qo‘yilmaydi.
• Quasi-lokallik Lieb–Robinson tuzilishidan keltirib chiqariladi.
• Gibbs holati bilan birga tozalangan thermofield-double holatlari uchun ham kafolat beradi.
• Past harorat universallik natijasida avvalgi tegishli yondashuvga qaraganda yaxshiroq harorat polinomi olinadi.
• Past harorat qurilishi hisoblash davomida uzluksiz oraliq energiya o‘lchovlarini talab qilmaydi.

10. Cheklovlar va ochiq muammolar

• Yuqori harorat chegarasi \(\beta^\ast\) uchun amaliy universal doimiy hisoblanmagan.
• Yuqori harorat rejimida samarali klassik usullar mavjudligi bu yerda avtomatik kvant ustunligi yo‘qligini anglatadi.
• Polinom tarzda kamayuvchi uzoq masofali o‘zaro ta’sirlarga kengaytirish mualliflar tomonidan mumkin deb qaralsa-da, tadqiqotda to‘liq isbot berilmagan.
• Past harorat universallik qurilishi yuqori darajali polinom masshtablarga ega.
• Tegishli Lindbladianlarni fizik qurilmada amalga oshirish hanuz murakkab kvant sxemalarini talab qiladi.
• O‘zgartirilgan log-Sobolev tengsizligi isbotlansa, yaqinlashish polinom vaqtdan kuchliroq, logarifmik vaqtga tushirilishi mumkin; tadqiqot buni ochiq muammo sifatida qoldiradi.
• Tizim-muhit o‘zaro ta’siri orqali tabiiyroq mikroskopik amalga oshirish va xatoga chidamlilik uchun chegara teoremasi ochiq muammolardir.

11. Manba ichidagi tenglama qaydi

Yuklangan arXiv v3 PDF ning B-ilovasida (B.11) munosabatida quasi-local hissaning yetakchi hadi \(g(\beta J)^r\) ko‘rinishida berilgan, (B.12) da esa ayni tuzilma \(g(\beta J)^{-r}\) ko‘rinishida bosilgani ko‘rinadi. \(g(x)=\sqrt{x}/(1+\sqrt{x})\) bo‘lgani uchun \(0<g(x)<1\); bundan tashqari, matn bu bound \(\beta\to0\) chegarasida yo‘qolishini aniq aytadi. Shu sabab ikki qator formal jihatdan mos emas. Bu yerda manba formulasi jimlik bilan o‘zgartirilmagan; maqolaning asosiy spektral bo‘shliq natijasi Theorem II.1/B.1 va uning atrofidagi isbot tuzilishiga tayanib berilgan.

Manba va Usul Haqida Izoh

Asl ish: Efficient thermalization and universal quantum computing with quantum Gibbs samplers

Mualliflar: Cambyse Rouzé; Daniel Stilck França; Álvaro M. Alhambra.

Hissa: Nature Physics qaydi barcha mualliflar tadqiqot va maqolani tayyorlashga teng hissa qo‘shganini bildiradi.

Corresponding authors: Cambyse Rouzé, Daniel Stilck França va Álvaro M. Alhambra.

Muassasalar: Inria, Télécom Paris–LTCI, Institut Polytechnique de Paris, Palaiseau, Fransiya; Univ Lyon, ENS Lyon, UCBL, CNRS, Inria, LIP, Lyon, Fransiya; Department of Mathematical Sciences, University of Copenhagen, Daniya; Instituto de Física Teórica UAM/CSIC, Madrid, Ispaniya.

Yuklangan manba versiyasi: arXiv:2403.12691v3 [quant-ph], 17 Aprel 2026, 39 sahifa. arXiv qaydi ushbu versiyani nashr qilingan versiyaga yaqin deb ta’riflaydi.

arXiv DOI: 10.48550/arXiv.2403.12691

Taqrizli nashr: Nature Physics, jild 22, sahifalar 1123–1127, 2026.

Nashr sanasi: 15 Aprel 2026.

Taqrizli nashr DOI: 10.1038/s41567-026-03246-y

Rasmiy havolalar: https://arxiv.org/abs/2403.12691 va https://doi.org/10.1038/s41567-026-03246-y

Manba turi: Nazariy/matematik kvant axboroti, ochiq kvant tizimlari va hisoblash murakkabligi tadqiqoti. Eksperimental ish emas.

Taqriz holati: Nature Physics da taqrizli maqola sifatida nashr qilingan. Yuklangan PDF arXiv v3 versiyasidir va taqrizli nashrdan keyin yangilangan.

Litsenziya: arXiv versiyasining qayd qilingan litsenziyasi Creative Commons Attribution 4.0 International, CC BY 4.0. Taqrizli nashriyot versiyasining kirish shartlari alohida nashriyotning o‘z sahifasiga bog‘liq.

Avvalgi nashr: Tadqiqotning bir qismi avval 57. ACM Symposium on Theory of Computing, STOC 2025 doirasida qisqa konferensiya annotatsiyasi sifatida nashr qilingan.

Moliyalashtirish: Manba Cambyse Rouzé uchun Fransiyaning ANR QTraj loyihasi ANR-20-CE40-0024-01 ni; Daniel Stilck França uchun Yevropa Ittifoqi Grant Agreement 101080142/EQUALITY va Novo Nordisk Foundation NNF20OC0059939 Quantum for Life ko‘magini; Álvaro M. Alhambra uchun Ispaniya Agencia Estatal de Investigación ko‘maklarini, CEX2020-001007-S, PCI2024-153448, PID2023-150847NA-I00 va Ramón y Cajal RyC2021-031610-I grantlarini; shuningdek QuantERA II/H2020 GA 101017733 ko‘magini bildiradi.

Manfaatlar to‘qnashuvi: Taqrizli nashr qaydida mualliflar manfaatlar to‘qnashuvi yo‘qligini bildirgan.

Ma’lumot va kod: Yuklangan tadqiqot asosan isbot va nazariy qurilishga tayangan; eksperimental ma’lumotlar to‘plami ishlatilmagan. Yuklangan v3 PDF da alohida eksperimental ma’lumotlar ochiqligi yoki dastur kodi ombori tadqiqotning asosiy natijasi uchun manba sifatida belgilanmagan.

Rasm va jadval holati: Yuklangan 39 sahifalik PDF da ilmiy ma’lumot rasmi, grafik yoki jadval mavjud emas. Shu sabab Verianla da ishlatiladigan vizuallar faqat manba tenglamalari va usul ketma-ketligiga asoslangan source-derived tushuntiruvchi sxemalar bo‘lishi kerak; o‘ylab topilgan energiya spektrlari, soxta sonli grafiklar yoki eksperimental tasvirlar yaratilmasligi kerak.

Asosiy metodologik chegara: Yuqori harorat natijasi muayyan KMS-simmetrik Gibbs namunalagichlari oilasi va Lieb–Robinson lokalligi uchun nazariy kafolatdir. Past haroratdagi BQP-to‘liqlik natijasi esa maxsus circuit-to-Hamiltonian oilalari va parametr masshtablanishlariga asoslangan murakkablik-nazariy mavjudlik/universallik natijasidir. Natijalar umumiy fizik tizimlar o‘z-o‘zidan bu dinamikani amalga oshirishini yoki amaliy kvant ustunligi qo‘lga kiritilishini ko‘rsatmaydi.