Matokeo ya kwanza ya msingi ya utafiti ni dhamana thabiti ya pengo la spektramu kwamba usampulishaji wa quantum Gibbs ni wenye ufanisi kwa Hamiltonian zilizo za ndani kijiometria na za masafa mafupi katika halijoto ya juu ya kutosha. Wakati vipimo vya ulokali wa Hamiltonian vinawekwa bila kutegemea ukubwa wa mfumo, pengo la spektramu la Lindbladian husika halifungiki kadiri mfumo unavyokua mradi halijoto kinyume \(\beta\) ibaki chini ya kizingiti fulani kisichobadilika \(\beta^\ast\). Kwa hiyo, hali yoyote ya awali ya quantum hukaribia hali ya Gibbs ndani ya kosa la \(\varepsilon\) katika norma ya trace kwa kipimo cha \(t=\Omega(\ln(1/\varepsilon)+n)\). Gharama iliyotolewa kwa utekelezaji kwenye saketi ya quantum ni takribani muda wa uigaji wa Hamiltonian wa \(\widetilde{\mathcal O}(n^2)\) na milango ya qubit mbili ya \(\widetilde{\mathcal O}(n^3)\), bila kujumuisha vizidishi vya polilogarithmiki.

Matokeo ya pili ni kwamba udhibiti huo wa pengo la spektramu unaweza kuhamishwa kwenye ulinganifu wa Hamiltonian katika nafasi ya Hilbert iliyoongezwa mara mbili, hivyo kuruhusu maandalizi ya kiadiabatiki ya umbo lililosafishwa la hali ya Gibbs katika halijoto ya juu, yaani hali ya thermofield double. Kwa njia ya kiadiabatiki inayoanza kutoka hali ya bidhaa ya jozi za Bell katika \(\beta=0\) na kuongeza halijoto kinyume hatua kwa hatua, utafiti unapata kipimo cha msingi cha \(T_{\mathrm{ad}}=\mathcal O((\beta n)^3/\varepsilon^2)\).

Matokeo ya tatu, ambayo ni tofauti sana kimawazo, yako katika rejimu ya halijoto ya chini. Watafiti wanaonyesha kwamba katika rejimu ambamo halijoto kinyume hukua kwa namna ya polinomu pamoja na ukubwa wa mfumo au wa saketi ya quantum iliyosimbwa, sampuli za quantum Gibbs zilizoundwa ipasavyo hufanya tatizo la kukokotoa thamani zinazotarajiwa za viangaliwaji vya ndani kuwa BQP-kamili. Kwa maneno mengine, matokeo hayasemi kwamba “kila sampuli ya Gibbs ya halijoto ya chini hutoa ubora wa quantum”; badala yake yanathibitisha kuwa familia fulani ya sampuli zinazoweza kuigwa kwa ufanisi ina nguvu ya kihesabu ya kutosha kusimba saketi za kawaida za quantum za muda wa polinomu.

Kwa nini hali ya Gibbs ni lengo gumu katika kompyuta ya quantum?

Katika mekanika ya kitakwimu ya usawa, kwa Hamiltonian \(H\), hali ya Gibbs katika halijoto kinyume \(\beta\) hufafanuliwa kama

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

Hapa \(Z_\beta\) ni kazi ya mgawanyo. Halijoto ya kimwili inapoongezeka, \(\beta\) hupungua; kikomo cha halijoto isiyo na mwisho huhusishwa na \(\beta\to0\), na kikomo cha halijoto sifuri huhusishwa na \(\beta\to\infty\).

Katika mekanika ya kitakwimu ya kawaida, mbinu za Markov Chain Monte Carlo zimefanikiwa sana katika kuchukua sampuli kutoka kwenye migawanyo ya Gibbs kupitia masasisho ya spin ya ndani. Katika tatizo la quantum, hata hivyo, vipengele vya Hamiltonian kwa ujumla havibadilishani. Kwa hiyo wazo la “kusasisha hali ya spin moja kwa njia ya ndani” haliwezi kufafanuliwa kwa urahisi kama katika hali ya kawaida. Ulinganifu wa quantum, mfungamano na uwepo wa waendeshaji wasio badilishana hufanya iwe vigumu kubuni dinamika ambayo ni ya ndani kimwili na pia ina hali sahihi ya Gibbs kama nukta thabiti.

Usawa wa kina wa KMS na nukta thabiti ya Gibbs

Sampuli ambayo utafiti umeijenga ni inayoweza kurejeshwa katika picha ya Heisenberg kwa mujibu wa bidhaa ya ndani ya Kubo–Martin–Schwinger, yaani KMS:

\[ \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). \]

Ulinganifu huu si sifa ya kihisabati ya kuvutia tu. Unatoa muundo wa usawa wa kina unaolingana na hali ya Gibbs kwa mageuzi ya kudissipati husika na una jukumu kuu katika kufanya \(\sigma_\beta\) kuwa nukta thabiti ya dinamika.

Dhana ya Hamiltonian ya ndani

Uthibitisho wa halijoto ya juu unalenga Hamiltonian zilizo za ndani kijiometria na za masafa mafupi kwenye lattice \(\Lambda\). Hamiltonian ya eneo \(Z\subseteq\Lambda\) huandikwa kama

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

Kila \(h_X\) ni neno la mwingiliano linalojilinganisha na adjoint yake, na

• \(\|h_X\|_\infty\le h\),
• kila mwingiliano unahusisha upeo wa tovuti \(k\),
• kila tovuti hutokea katika upeo wa maneno \(l\) ya mwingiliano yasiyo sifuri.

Muundo huu unaitwa katika utafiti \((k,l)\)-Hamiltonian ya ndani. Inachukuliwa kuwa \(h\), \(k\) na \(l\) hubaki thabiti kadiri ukubwa wa mfumo \(n\) unavyoongezeka.

Kwa nini mpaka wa Lieb–Robinson ni jambo la msingi?

Katika mifumo ya quantum ya miili mingi, athari ya usumbufu wa ndani haisambai mara moja kwenye mfumo mzima. Mpaka wa Lieb–Robinson, ingawa si koni kamili ya mwanga ya relativiti, unaeleza kuwa athari ya mwendeshaji husambaa katika nafasi na muda ndani ya takribani koni ya mwanga yenye ufanisi. Katika utafiti, kipimo husika cha mwingiliano hufafanuliwa kama

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

Tofauti kati ya mageuzi ya mwendeshaji wa ndani \(A_u\) chini ya Hamiltonian kamili na mageuzi yake chini ya Hamiltonian ya mpira unaozunguka \(u\), yaani \(B_u(r)\), pekee inadhibitiwa na

\[ \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!} \]

Uhusiano huu huhakikisha kwamba mchango wa maeneo ya mbali kwa dinamika ya ndani unapungua kwa kasi kadiri umbali unavyoongezeka. Huu ndio msingi wa kimwili wa wazo la “quasi-local perturbation” katika uthibitisho wa halijoto ya juu wa utafiti.

Nadharia kuu katika halijoto ya juu: pengo la spektramu lisilobadilika

Matokeo ya halijoto ya juu ya utafiti yanatokea katika rejimu ambayo halijoto kinyume

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

Hapa \(\beta^\ast\) haitegemei ukubwa wa mfumo \(n\). Kwa Lindbladian husika, utafiti

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

unapata mpaka huo wa chini.

Pengo la spektramu linamaanisha nini? Thamani binafsi ya sifuri ya jenereta ya Lindblad inalingana na hali thabiti ya Gibbs. Kutokaribia sifuri kwa kiwango kidogo zaidi kisicho sifuri cha kuzimika kadiri mfumo unavyokua huzuia kufikia usawa kuwa polepole kupita kiasi. Kwa hiyo pengo lisilobadilika linaweza kutafsiriwa moja kwa moja kuwa matokeo ya mchanganyiko wa haraka.

Kukaribia hali ya Gibbs

Dhamana ya norma ya trace inayotokana na nadharia inaonyesha kwamba ili

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

ishikilie, muda

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

unatosha. Hapa \(\rho\) ni hali ya awali ya hiari. Hivyo matokeo hayategemei tu hali maalumu ya awali iliyoandaliwa.

Lindbladian inabadilishwaje kuwa Hamiltonian?

Mojawapo ya hatua zenye nguvu zaidi za kihisabati katika uthibitisho wa halijoto ya juu ni kubadilisha Lindbladian yenye ulinganifu wa KMS kuwa mwendeshaji anayejilinganisha na adjoint yake katika nafasi ya Hilbert–Schmidt:

\[ \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}. \]

Huu ni mgeuzo wa ufanano; kwa hiyo una spektramu ileile na Lindbladian asili. Kwa sababu ya ulinganifu wa KMS, \(\widetilde{\mathcal L}^{(\beta)}\) inajilinganisha na adjoint yake kwa mujibu wa bidhaa ya ndani ya Hilbert–Schmidt na inaweza kuchambuliwa kama Hamiltonian.

Hali iliyo kwenye kernel

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

ni usafishaji uliowekwa katika umbo la vekta wa hali ya Gibbs. Hivyo tatizo la mchanganyiko katika mfumo wazi hubadilishwa kuwa tatizo la pengo la spektramu la Hamiltonian katika nafasi ya Hilbert iliyoongezwa mara mbili.

Kwa nini nukta ya halijoto isiyo na mwisho ina faida?

Katika kikomo cha \(\beta\to0\), jenereta iliyobadilishwa ya sampuli ya Gibbs hukaribia jenereta ya chaneli ya depolarization ya tovuti moja. Hamiltonian hii ya marejeo:

• ni frustration-free,
• ina pengo la spektramu lisilobadilika,
• inakidhi sharti la mpangilio wa quantum wa kitopolojia wa ndani,
• inakidhi sharti la pengo la ndani.

Sifa hizi huwezesha kutumia nadharia zinazojulikana za uthabiti wa pengo la spektramu la Hamiltonian za frustration-free zenye pengo dhidi ya quasi-local perturbation ndogo.

Utenganishaji wa telescopic quasi-local

Kila neno la jenereta ya ndani hutenganishwa kupitia maeneo yenye radius inayoongezeka kama

\[ \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) \]

Maneno ya tofauti hapa yanaungwa mkono katika eneo la \(B_a(r+1)\) pekee. Kwa kutumia mpaka wa Lieb–Robinson, kupungua kwa eksponensiali kwa norma ya michango hii pamoja na umbali kunadhibitiwa. Kwa hiyo jenereta katika \(\beta\) yenye kikomo lakini ndogo inaweza kuchukuliwa kama quasi-local perturbation ndogo ya nukta ya depolarization ya \(\beta=0\).

Usafishaji wa thermofield double

Hali ya Gibbs ni hali mchanganyiko. Hata hivyo, katika nafasi ya Hilbert yenye nakala mbili inaweza kusafishwa kama

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

Muundo huu huitwa thermofield double katika sehemu kubwa ya fasihi. Utafiti unapendekeza kuanza kutoka bidhaa ya jozi za Bell inayoweza kuandaliwa kwa urahisi katika \(\beta=0\),

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

na kufuata njia ya kiadiabatiki

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

Kwa sababu pengo halifungiki katika eneo la halijoto ya juu, nadharia ya adiabatiki hutoa muda wa uendeshaji wa polinomu:

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

Utegemezi wa kina zaidi wa vigezo katika Kiambatisho B unatolewa kama

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

Hapa \(C'\) ni konstanti ya ulimwengu wote.

Gharama ya kiadiabatiki inatoka wapi?

Utafiti pia unaweka mipaka ya derivatives za kwanza na pili za njia ya Hamiltonian ya kiadiabatiki. Kwa mfano, kwa derivative ya kwanza

\[ \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 \]

hupatikana. Kwa Hamiltonian za \((k,l)\)-lokal

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

na

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

kwa hiyo norma hizi za derivatives zinaweza kudhibitiwa kwa mujibu wa ukubwa wa mfumo. Hivyo utegemezi wa kubiki wa \(n\) katika muda wa uendeshaji wa kiadiabatiki hutokana moja kwa moja na uchanganuzi wa pengo na ulaini wa njia.

Kwa nini kichujio tofauti kinahitajika katika halijoto ya chini?

Kichujio cha Gaussian kinachotumika katika halijoto ya juu huenda kisipendelee vya kutosha mabadiliko kwenda hali ya msingi katika halijoto ya chini. Kwa hiyo watafiti hutumia katika uthibitisho wa halijoto ya chini kichujio kinachoiga tabia ya Metropolis:

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

Hapa \(\sigma_E\) ni kigezo huru kinachodhibiti utenganisho wa nishati. Lengo kuu la kihisabati la kichujio ni kupendelea mabadiliko yanayoshusha nishati.

Daraja tatu za perturbation katika uthibitisho wa halijoto ya chini

Badala ya kukokotoa moja kwa moja pengo la sampuli changamano ya circuit-to-Hamiltonian, watafiti huiunganisha na mipaka rahisi zaidi.

1. Perturbation ya Hamiltonian

Kwa \(H=H_0+V\)

\[ \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} \]

mpaka wa mwendelezo hujengwa. Katika uthibitisho, \(H_0\) ni Hamiltonian rahisi ya saa, na \(V\) ni maneno ya ziada ya Hamiltonian yanayosimba saketi.

2. Kutoka utenganisho wa nishati wenye kikomo kwenda kikomo cha \(\sigma_E\to0\)

\[ \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}). \]

Neno la kosa hupunguzwa katika masharti yanayofaa ya pengo la spektramu na halijoto ya chini.

3. Kutoka \(\beta\) yenye kikomo kwenda kikomo cha halijoto sifuri

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

Kwa sababu \(\delta'_\beta\) hupunguzwa kwa eksponensiali katika \(\beta\) pamoja na pengo la nishati, katika halijoto ya chini vya kutosha pengo la jenereta ya halijoto sifuri linaweza kutumika kudhibiti jenereta ya halijoto yenye kikomo.

Ukosefu wa usawa wa Poincaré na pengo la Lindbladian

Mojawapo ya zana kuu katika kiambatisho cha halijoto ya chini ni

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

ukosefu wa usawa wa Poincaré. Hapa

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

huonyesha variance ya joto, huku \(\mathcal E\) ikiwakilisha umbo la Dirichlet la Lindbladian. Kihisabati, ukosefu huu wa usawa unaunganisha pengo la spektramu na “jinsi dinamika inavyozima kwa haraka mikengeuko ya viangaliwaji kutoka wastani wa Gibbs”.

Kusimba saketi ya quantum katika Hamiltonian

Uthibitisho wa universality katika halijoto ya chini hutumia njia ya circuit-to-Hamiltonian inayoweka matokeo ya saketi katika kompyuta ya kawaida ya quantum ndani ya hali ya msingi ya Hamiltonian ya ndani.

Kwa saketi kwenye qubit \(n\) yenye milango \(T\)

\[ C=U_T\cdots U_1 \]

kwa saketi hiyo Hamiltonian

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

hutenganishwa kama ilivyoonyeshwa.

• \(H_{\mathrm{clock}}\): husimba miundo halali ya muda wa hesabu.
• \(H_{\mathrm{in}}\): hulazimisha qubit za kuingiza kuwa katika hali sahihi ya awali.
• \(H_{\mathrm{prop}}\): husimba matumizi sahihi ya milango \(U_t\) kadiri muda unavyoendelea.

Hali ya msingi ya kipekee iko katika umbo la “history state”:

\[ |\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}. \]

Hali hii haisimbi tu matokeo ya mwisho ya saketi, bali historia yote ya hesabu katika superposition ya quantum pamoja na rekodi ya saa.

Pengo la Hamiltonian ya saa katika halijoto sifuri

Mfumo rahisi wa marejeo unaoweza kudhibitiwa katika uthibitisho ni \(H_{\mathrm{clock}}\). Kwa Lindbladian iliyobadilishwa ya halijoto sifuri husika,

\[ \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\} \]

hupatikana. Kwa \(T>3\), hii hutoa mpaka wa chini

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

Katika sehemu hii ya uthibitisho hutumika nadharia ya duara za Gershgorin na spektramu ya Laplacian ya grafu ya njia.

Ukamilifu wa BQP unasema nini?

Nadharia kuu ya halijoto ya chini ni hii: tatizo la kukadiria thamani zinazotarajiwa za viangaliwaji vya ndani katika matokeo ya sampuli za Gibbs za halijoto ya chini zinazoweza kuigwa kwa ufanisi ni BQP-kamili.

BQP ni darasa la ugumu wa matatizo ya uamuzi yanayoweza kutatuliwa na saketi za quantum za ukubwa wa polinomu kwa uwezekano wa kosa uliowekewa mpaka. Kauli “BQP-kamili” hapa ina maana ya mambo mawili kwa pamoja:

1. Modeli hii ya usampulishaji wa Gibbs inaweza kutekelezwa kwa ufanisi kwa saketi ya kawaida ya quantum.
2. Wakati sampuli zinazofaa za Gibbs zinatumika, matokeo ya kompyuta ya kawaida ya quantum ya muda wa polinomu yanaweza kusimbwa katika modeli hii.

Kwa hiyo matokeo yanaonyesha kuwa thermalization ya kudissipati si zana ya kuandaa hali ya quantum pekee; katika halijoto ya chini inayofaa na uhandisi wa Hamiltonian inaweza kufanya kazi kama modeli ya kompyuta ya quantum ya ulimwengu wote.

Mgawanyiko wa ugumu dhidi ya algorithimu za kawaida

Matokeo ya Corollary II.5 ya utafiti yanaonyesha kwamba kwa kiangaliwaji cha ndani \(O\) kinachochanganyika haraka, kuwepo kwa algorithimu ya kawaida inayokokotoa wastani wa joto

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

katika kila hali kwa kosa la kujumlisha la \(\varepsilon\) ndani ya muda wa \(\operatorname{poly}(\beta,\varepsilon^{-1})\) kungeleta matokeo

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

Huu ni mgawanyiko wa ugumu wenye masharti: utafiti haujathibitishi kuwa BPP na BQP ni tofauti; unasema kwamba chini ya dhana inayotarajiwa kwa kawaida ya \(\mathrm{BPP}\ne\mathrm{BQP}\), algorithimu hiyo ya jumla ya kawaida haiwezi kuwepo.

Vipimo vya vigezo vya halijoto ya chini

Katika ujenzi wa Kiambatisho C, vigawo vya kuunganisha vya Hamiltonian za saa na saketi pamoja na utenganisho wa nishati hupimwa kwa uangalifu kwa kutegemeana. Katika hatua ya mwisho, kwa \(\sigma_E<1\), kwa mfano hutumika chaguo kama

\[ 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) \]

na

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

Wakati huohuo, chaguo la \(\beta\sigma_E=T^\delta\) huleta sharti la \(\delta\le11\). Katika ulinganisho wa kiintuitivu zaidi katika maandishi kuu, waandishi wanasisitiza kuwa kwa ujenzi wao, kipimo cha karibu \(\beta=\mathcal O(T^{11})\) kulingana na ukubwa wa saketi kinatosha, ilhali katika mbinu ya awali ya thermal gradient-descent inayolinganishwa hutokea utegemezi wa \(\mathcal O(T^{19})\).

Daraja la juu la polinomu hizi ni muhimu: matokeo ni yenye ufanisi kwa maana ya nadharia ya ugumu, lakini hayamaanishi kwamba “yanafanya kazi kwa vitendo kwenye maunzi ya leo kwa konstanti ndogo”.

Ulinganisho na tafiti zilizopita

Waandishi wanaeleza kwamba katika fasihi ya kuandaa Gibbs katika halijoto ya juu, mbinu nyingi zina gharama ya eksponensiali kwa Hamiltonian za jumla, huku baadhi ya matokeo ya muda wa polinomu yakihitaji masharti ya ziada kama mwelekeo mmoja, Hamiltonian zinazocommute au korelasyon zinazopungua kwa kasi ya kutosha. Matokeo ya halijoto ya juu hapa yanalenga kutoa dhamana ya jumla zaidi kwa kutegemea halijoto na ulokali wa aina ya Lieb–Robinson pekee.

Hata hivyo, katika eneo la halijoto ya juu pia kuna mbinu za kawaida zenye ufanisi. Kwa hiyo waandishi hawawasilishi matokeo yao ya halijoto ya juu kama kuongeza kasi ya quantum iliyothibitishwa moja kwa moja. Umuhimu wa kimwili wa utafiti pia unatathminiwa kwa kuonyesha mchanganyiko wa haraka wa dinamika za Lindblad zinazoiga thermalization ya asili, kuandaa hali za quantum za halijoto yenye kikomo na kuelewa muundo wa awamu za kudissipati.

Matokeo mengine ya halijoto ya juu yaliyozingatiwa baada ya kazi kukamilika yanaonyesha kuwa hali za Gibbs zilizo na joto la kutosha zinaweza kuwakilishwa kwa makadirio kwa hali zinazotenganika kikamilifu na pia kuchukuliwa sampuli kwa ufanisi kwa njia ya kawaida. Rouzé, França na Alhambra wanasisitiza kwamba katika mipaka yao, halijoto kinyume muhimu ina utegemezi wa takribani mstari kinyume na kigezo cha ulokali, ilhali katika mbinu wanayolinganishwa nayo kuna utegemezi wa mraba kinyume chini ya dhana tofauti. Lakini kwa kuwa madarasa ya Hamiltonian na dhamana za mbinu hizo mbili si sawa, ulinganisho huu haupaswi kupunguzwa moja kwa moja kuwa hitimisho la “algorithimu mshindi” mmoja.

Matokeo yanayoungwa mkono na utafiti

• Katika halijoto ya juu vya kutosha, kwa Hamiltonian za ndani zinazofuata mpaka wa Lieb–Robinson, pengo la spektramu la sampuli ya Gibbs yenye ulinganifu wa KMS inayochunguzwa hubaki lisilobadilika.
• Pengo hili linahakikisha hali ya Gibbs inaweza kuandaliwa katika muda wa polinomu.
• Muundo huohuo unaweza kutumika kuandaa usafishaji wa thermofield-double wa hali za Gibbs kwa njia ya kiadiabatiki na katika muda wa polinomu katika eneo la halijoto ya juu.
• Sampuli zinazofaa za Gibbs za halijoto ya chini na usimbaji wa circuit-to-Hamiltonian zinaweza kutekeleza nguvu ya kompyuta ya kawaida ya quantum.
• Katika modeli hii ya halijoto ya chini, kukadiria thamani zinazotarajiwa za viangaliwaji vya ndani ni BQP-kamili.

Matokeo ambayo utafiti hauungi mkono

• Haijaonyeshwa kwamba usampulishaji wa Gibbs katika halijoto ya juu hutoa ubora wa quantum uliothibitishwa katika rejimu hii.
• Thermalization ya haraka haijathibitishwa kwa kila Hamiltonian au kila halijoto.
• Hakuna thamani ya namba ya halijoto ya ulimwengu wote inayoweza kutumika moja kwa moja katika jaribio iliyotolewa kwa \(\beta^\ast\).
• Haijaonyeshwa kuwa ujenzi wa universality wa halijoto ya chini ni wa vitendo na wa gharama ndogo ya konstanti katika vifaa vya quantum vya muda wa karibu.
• Haidaiwi kwamba Lindbladian katika ujenzi wa halijoto ya chini lazima iwe quasi-local kwa maana ya sehemu ya halijoto ya juu.
• Haijaonyeshwa kwamba mwingiliano wa kimwili wa mfumo na mazingira hutekeleza sampuli hii moja kwa moja.
• Hakuna nadharia kamili ya kizingiti cha uvumilivu wa makosa iliyotolewa.

Mbinu na Matokeo ya Utafiti

1. Muundo kamili wa sampuli ya quantum Gibbs

Uzito wa Gaussian wa sampuli ya Gibbs inayotumika katika uchanganuzi wa halijoto ya juu hufafanuliwa kama

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

na jenereta ya Lindblad ni

\[ \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 \]

Wakati dissipator ya kawaida inaandikwa wazi,

\[ \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\}. \]

Waendeshaji wa kuruka hufafanuliwa kwa mageuzi ya muda yaliyochujwa kwa masafa kama

\[ 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 \]

Hapa \(A_{a,1}=\sigma_x\), \(A_{a,2}=\sigma_y\) na \(A_{a,3}=\sigma_z\) ni waendeshaji wa Pauli wa tovuti moja. \(f(t)\) ni kichujio cha muda chenye umbo la Gaussian. Muundo huu hushughulikia masafa maalumu ya Bohr kwa kichujio chenye muda/upana wenye kikomo badala ya kuyachagua kwa projection kali kabisa.

Neno \(-i[B,\rho]\) la jenereta ni marekebisho ya koherenti. Katika chanzo, \(B\) hufafanuliwa kama integral ya muda mara mbili yenye kernel \(b_1\) na \(b_2\) zinazopungua kwa haraka. Neno hili si Hamiltonian ya ziada ya kiholela; ni sehemu ya ujenzi sahihi wa sifa ya usawa wa kina wa KMS wa dinamika yote.

2. Uthibitisho wa perturbative wa pengo la spektramu katika halijoto ya juu

Uthibitisho unafuata mnyororo huu wa kimantiki:

1. Lindbladian yenye ulinganifu wa KMS hubadilishwa kuwa mwendeshaji anayejilinganisha na adjoint yake \(\widetilde{\mathcal L}^{(\beta)}\) mwenye spektramu ileile.
2. Jenereta hutenganishwa kuwa maneno ya telescopic quasi-local kwa mujibu wa radius za nafasi zinazoongezeka.
3. Mpaka wa Lieb–Robinson hudhibiti norma ya maneno ya radius za mbali.
4. Inaonyeshwa kwamba kikomo cha \(\beta\to0\) ni semigroup ya ndani ya depolarization.
5. Kikomo hiki hutoa Hamiltonian ya marejeo iliyo frustration-free, yenye pengo na inayotimiza masharti ya LTQO.
6. Kwa kutumia nadharia ya uthabiti wa pengo dhidi ya quasi-local perturbation, inaonyeshwa kuwa angalau nusu ya pengo huhifadhiwa kwa \(\beta\) ndogo lakini yenye kikomo.

Matokeo:

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

3. Kukaribia kwa haraka katika norma ya trace

Pengo la spektramu hubadilishwa, kwa hoja ya kawaida inayohamisha kutoka norma ya \(L_2\) yenye uzito wa KMS kwenda norma ya trace, kuwa mpaka wa kupungua kwa eksponensiali wa aina

\[ \|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}}} \]

Wakati upande wa kulia unawekwa sawa na \(\varepsilon\) na kutatuliwa kwa \(t\)

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

kipimo hiki hupatikana.

4. Mbinu ya usafishaji wa kiadiabatiki

Kwenye njia ya \(\mathscr H(s)=\widetilde{\mathcal L}^{(s\beta)}\), pengo la chini zaidi huhifadhiwa na nadharia ya halijoto ya juu. Mpaka wa kosa la kiadiabatiki katika chanzo hutumika kama

\[ 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\} \]

Kwa sababu norma za commutator za ndani ni thabiti, matokeo hupungua hadi kipimo cha polinomu.

5. Jenereta ya halijoto ya chini ya aina ya Metropolis

Katika halijoto ya chini utafiti hutumia jenereta yenye ulinganifu wa KMS na utenganisho wa nishati \(\sigma_E\). Katika kikomo cha \(\sigma_E\to0\), jenereta hukaribia dinamika ya aina ya Davies:

\[ \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]. \]

Fomula hii inaonyesha wazi kwamba mabadiliko yenye gharama chanya ya nishati hupunguzwa kwa kipengele cha Boltzmann \(e^{-\beta\nu}\). Mabadiliko yanayoshusha nishati au yasiyoongeza nishati yenye \(\nu\le0\) hayabebi adhabu hiyo hiyo ya eksponensiali.

6. Udhibiti wa kiasi wa perturbation ya Hamiltonian

Matokeo ya Lemma C.8 ya chanzo, kwa \(H=H_0+H_1\) na wakati \(\beta\sigma_E>1\), yanatoa mpaka wazi wa norma

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

Katika chanzo neno hili la kosa linajumuisha michanganyiko maalumu ya \(\|H_1\|_\infty\), idadi ya waendeshaji wa kuruka \(m\), \(\sigma_E\), \(\beta\) na vipengele vya logarithmiki. Lengo ni kuweka neno hili chini ya pengo la jenereta ya marejeo; kwa njia hii pengo la spektramu halifungiki chini ya perturbation.

7. Hali ya msingi ya circuit-to-Hamiltonian

\(H_C\) inayosimba saketi huchaguliwa kuwa frustration-free na nishati ya hali ya msingi ni sifuri. Chanzo kinaweka mpaka wa pengo la Hamiltonian chini ya vigawo vinavyofaa vya kuunganisha kwa

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

Kutokana na hili, umbali wa trace kati ya hali ya Gibbs na history state

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

unaweza kufanywa kwa kuchagua \(\beta\) kubwa vya kutosha. Hivyo hali ya joto huwa na mwingiliano mkubwa vya kutosha na hali ya msingi inayobeba matokeo ya saketi.

8. Kurejesha matokeo ya saketi

Sampuli ya Gibbs ya halijoto ya chini haifanyi kazi moja kwa moja kama “ukisoma qubit za mwisho, kila mara utapata matokeo ya saketi”. Kwanza, hali ya Gibbs hutengeneza uzito wa kutosha wa kiwango cha polinomu kwenye hali ya msingi ya history-state. Kisha hufanywa majaribio ya nishati ya ndani yanayolingana na maneno ya circuit-to-Hamiltonian. Majaribio yote yanapokubaliwa, kipengele cha hali ya msingi huchaguliwa na matokeo ya saketi yanaweza kupatikana. Kurudia mchakato mara chache huongeza uwezekano wa mafanikio.

9. Nguvu zilizobainishwa na chanzo

• Matokeo ya halijoto ya juu yanajumuisha pia Hamiltonian za ndani zisizocommute.
• Uthibitisho haupunguzwi hadi ukubwa fulani wa lattice au mwelekeo mmoja pekee.
• Quasi-locality hutokana na muundo wa Lieb–Robinson.
• Pamoja na hali ya Gibbs, hutoa dhamana pia kwa hali zilizosafishwa za thermofield-double.
• Katika matokeo ya universality ya halijoto ya chini, polinomu bora zaidi ya halijoto hupatikana ikilinganishwa na mbinu husika ya awali.
• Ujenzi wa halijoto ya chini hauhitaji vipimo endelevu vya nishati za kati wakati wa hesabu.

10. Mapungufu na matatizo wazi

• Hakuna konstanti ya ulimwengu wote ya vitendo iliyokokotolewa kwa kizingiti cha halijoto ya juu \(\beta^\ast\).
• Kuwepo kwa mbinu za kawaida zenye ufanisi katika rejimu ya halijoto ya juu kunamaanisha kwamba hakuna ubora wa quantum wa moja kwa moja hapa.
• Ingawa waandishi wanaona upanuzi hadi mwingiliano wa masafa marefu unaopungua kwa polinomu kuwa unawezekana, uthibitisho kamili haujatolewa katika utafiti.
• Ujenzi wa universality wa halijoto ya chini una vipimo vya polinomu vya daraja la juu.
• Utekelezaji wa Lindbladian husika kwenye kifaa cha kimwili bado unahitaji saketi changamano za quantum.
• Iwapo ukosefu wa usawa wa modified log-Sobolev utathibitishwa, kukaribia kunaweza kupunguzwa kutoka muda wa polinomu hadi muda wenye nguvu zaidi wa logarithmiki; utafiti unaacha hili kama tatizo wazi.
• Utekelezaji wa kiasili zaidi wa mikroskopiki kupitia mwingiliano wa mfumo na mazingira, pamoja na nadharia ya kizingiti cha uvumilivu wa makosa, ni matatizo wazi.

11. Dokezo la mlinganyo ndani ya chanzo

Katika Kiambatisho B cha PDF ya arXiv v3 iliyopakiwa, katika uhusiano (B.11) neno linaloongoza la mchango wa quasi-local limetolewa kama \(g(\beta J)^r\), ilhali katika (B.12) muundo huo huo unaonekana kuchapishwa kama \(g(\beta J)^{-r}\). Kwa kuwa \(g(x)=\sqrt{x}/(1+\sqrt{x})\), tuna \(0<g(x)<1\); zaidi ya hayo, maandishi yanasema wazi kwamba bound hii hutoweka katika kikomo cha \(\beta\to0\). Kwa hiyo mistari hiyo miwili haipatani kimuundo. Hapa fomula ya chanzo haijarekebishwa kimya kimya; matokeo makuu ya pengo la spektramu la makala yamewasilishwa kwa kutegemea Theorem II.1/B.1 na muundo wa uthibitisho unaozunguka.

Maelezo ya Chanzo na Mbinu

Kazi asili: Efficient thermalization and universal quantum computing with quantum Gibbs samplers

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

Mchango: Rekodi ya Nature Physics inaeleza kwamba waandishi wote walichangia kwa usawa katika utafiti na maandalizi ya makala.

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

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

Toleo la chanzo lililopakiwa: arXiv:2403.12691v3 [quant-ph], 17 Aprili 2026, kurasa 39. Rekodi ya arXiv inaeleza toleo hili kuwa karibu na toleo lililochapishwa.

arXiv DOI: 10.48550/arXiv.2403.12691

Chapisho lililopitiwa na wataalamu: Nature Physics, juzuu 22, kurasa 1123–1127, 2026.

Tarehe ya kuchapishwa: 15 Aprili 2026.

DOI ya chapisho lililopitiwa na wataalamu: 10.1038/s41567-026-03246-y

Viungo rasmi: https://arxiv.org/abs/2403.12691 na https://doi.org/10.1038/s41567-026-03246-y

Aina ya chanzo: Utafiti wa kinadharia/kihisabati wa taarifa za quantum, mifumo wazi ya quantum na ugumu wa kihesabu. Si utafiti wa majaribio.

Hali ya uhakiki: Imechapishwa kama makala iliyopitiwa na wataalamu katika Nature Physics. PDF iliyopakiwa ni toleo la arXiv v3 na imesasishwa baada ya chapisho lililopitiwa na wataalamu.

Leseni: Leseni iliyorekodiwa ya toleo la arXiv ni Creative Commons Attribution 4.0 International, CC BY 4.0. Masharti ya ufikiaji wa toleo la mchapishaji lililopitiwa na wataalamu yanategemea ukurasa wa mchapishaji mwenyewe.

Chapisho la awali: Sehemu ya utafiti ilichapishwa hapo awali kama muhtasari mfupi wa mkutano katika 57. ACM Symposium on Theory of Computing, STOC 2025.

Ufadhili: Chanzo kinataja kwa Cambyse Rouzé mradi wa Ufaransa ANR QTraj ANR-20-CE40-0024-01; kwa Daniel Stilck França msaada wa Umoja wa Ulaya Grant Agreement 101080142/EQUALITY na Novo Nordisk Foundation NNF20OC0059939 Quantum for Life; kwa Álvaro M. Alhambra misaada ya Agencia Estatal de Investigación ya Hispania, CEX2020-001007-S, PCI2024-153448, PID2023-150847NA-I00 na Ramón y Cajal RyC2021-031610-I; pamoja na msaada wa QuantERA II/H2020 GA 101017733.

Mgongano wa maslahi: Rekodi ya chapisho lililopitiwa na wataalamu inaeleza kwamba waandishi hawakuripoti mgongano wa maslahi.

Data na msimbo: Utafiti uliopakiwa unategemea zaidi uthibitisho na ujenzi wa kinadharia; hakuna mkusanyiko wa data za majaribio uliotumika. Katika PDF ya v3 iliyopakiwa, upatikanaji tofauti wa data za majaribio au hifadhi ya msimbo wa programu haujabainishwa kama chanzo cha matokeo ya msingi ya utafiti.

Hali ya michoro na majedwali: PDF ya kurasa 39 iliyopakiwa haina mchoro wa data za kisayansi, grafu au jedwali. Kwa hiyo, vielelezo vitakavyotumika katika Verianla vinapaswa kuwa tu michoro ya maelezo ya source-derived inayotegemea milinganyo ya chanzo na mpangilio wa mbinu; spektramu za nishati zilizobuniwa, grafu bandia za namba au picha za majaribio hazipaswi kutengenezwa.

Kikomo kikuu cha kimbinu: Matokeo ya halijoto ya juu ni dhamana ya kinadharia kwa familia fulani ya sampuli za Gibbs zenye ulinganifu wa KMS na ulokali wa Lieb–Robinson. Matokeo ya BQP-kamili katika halijoto ya chini ni matokeo ya kuwepo/universality ya nadharia ya ugumu yanayotegemea familia maalumu za circuit-to-Hamiltonian na vipimo vya vigezo. Matokeo hayaonyeshi kwamba mifumo ya kawaida ya kimwili hutekeleza dinamika hii yenyewe au kwamba ubora wa quantum wa vitendo umepatikana.