Изилдөөнүн биринчи негизги жыйынтыгы геометриялык жактан жергиликтүү жана кыска аралыктагы Гамильтониандар үчүн жетишерлик жогорку температурада кванттык Гиббс үлгүлөөсү натыйжалуу экенине байланышкан күчтүү спектралдык боштук кепилдиги болуп саналат. Гамильтониандын локалдуулук масштабдары системанын өлчөмүнөн көз карандысыз кармалганда, тескери температура \(\beta\) белгилүү туруктуу \(\beta^\ast\) босогосунан төмөн бойдон турганча тиешелүү Линдбладиандын спектралдык боштугу система чоңойгон сайын жабылбайт. Натыйжада баштапкы каалаган кванттык абал Гиббс абалына из нормасында \(\varepsilon\) ката ичинде \(t=\Omega(\ln(1/\varepsilon)+n)\) масштабында жакындайт. Кванттык схема үстүндө ишке ашыруу үчүн берилген чыгым полилогарифмдик көбөйткүчтөрдү эсепке албаганда болжол менен \(\widetilde{\mathcal O}(n^2)\) Гамильтониан симуляция убактысын жана \(\widetilde{\mathcal O}(n^3)\) эки-кубиттик дарбазаны түзөт.

Экинчи жыйынтык ошол эле спектралдык боштук көзөмөлүн эки эселенген Гильберт мейкиндигиндеги Гамильтониан дал келүүсүнө өткөрүү аркылуу жогорку температурадагы Гиббс абалынын тазаланган түрүн, башкача айтканда thermofield double абалын адиабаталык жол менен даярдоого болорун көрсөтөт. \(\beta=0\) учурундагы Белл жуптарынын көбөйтүндү абалынан баштап, тескери температураны баскыч-баскыч жогорулатуучу адиабаталык жол үчүн изилдөө \(T_{\mathrm{ad}}=\mathcal O((\beta n)^3/\varepsilon^2)\) негизги масштабдануусун алат.

Үчүнчү жана түшүнүк жагынан таптакыр башка жыйынтык төмөн температура режимине тиешелүү. Изилдөөчүлөр тескери температура системанын же коддолгон кванттык схеманын өлчөмү менен полиномдук түрдө өсүүчү режимде, туура долбоорлонгон кванттык Гиббс үлгүлөгүчтөрү жергиликтүү байкалгычтардын күтүлгөн маанилерин эсептөө маселесин BQP-толук кыларын көрсөтүшөт. Башкача айтканда, жыйынтык “ар бир төмөн температурадагы Гиббс үлгүлөгүч кванттык артыкчылык берет” дебейт; белгилүү бир натыйжалуу симуляциялануучу үлгүлөгүчтөр үй-бүлөсү стандарттык полином-убакыт кванттык схемаларын коддоого жетиштүү эсептөө күчүнө ээ экенин далилдейт.

Гиббс абалы эмне үчүн кванттык эсептөөлөрдө татаал максат?

Тең салмактуу статистикалык механикада бир Гамильтониан \(H\) үчүн тескери температура \(\beta\)дагы Гиббс абалы

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

түрүндө аныкталат. Бул жерде \(Z_\beta\) бөлүштүрүү функциясы. Физикалык температура жогорулаган сайын \(\beta\) азаят; чексиз температура чеги \(\beta\to0\), ал эми нөл температура чеги \(\beta\to\infty\) менен байланыштуу.

Классикалык статистикалык механикада Markov Chain Monte Carlo ыкмалары жергиликтүү спин жаңыртуулары аркылуу Гиббс бөлүштүрүүлөрүнөн үлгү алууда абдан ийгиликтүү. Ал эми кванттык маселеде Гамильтониандын мүчөлөрү жалпысынан бири-бири менен коммутативдүү эмес. Ошондуктан “бир спин абалын жергиликтүү жаңыртуу” идеясын классикалык учурдагыдай жөнөкөй аныктоо мүмкүн эмес. Кванттык когеренттүүлүк, чаташуу жана коммутативдүү эмес операторлордун болушу физикалык жактан жергиликтүү да, туура Гиббс туруктуу чекитине ээ да динамиканы түзүүнү кыйындатат.

KMS толук тең салмактуулугу жана Гиббс туруктуу чекити

Изилдөө негиз кылган үлгүлөгүч Гейзенберг сүрөттөлүшүндө Kubo–Martin–Schwinger, башкача айтканда 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). \]

Бул симметрия жөн гана эстетикалык математикалык касиет эмес. Ал тиешелүү диссипативдүү эволюциянын Гиббс абалына шайкеш толук тең салмак түзүлүшүн камсыз кылат жана \(\sigma_\beta\) динамиканын туруктуу чекити болушунда борбордук роль ойнойт.

Жергиликтүү Гамильтониан божомолу

Жогорку температурадагы далил \(\Lambda\) торундагы геометриялык жактан жергиликтүү, кыска аралыктагы Гамильтониандарга багытталган. Бир \(Z\subseteq\Lambda\) аймактын Гамильтонианы

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

түрүндө жазылат. Ар бир \(h_X\) өзүнө-өзү кошмолонгон өз ара аракеттенүү мүчөсү жана

• \(\|h_X\|_\infty\le h\),
• ар бир өз ара аракеттенүү эң көп \(k\) сайтты камтыйт,
• ар бир сайт эң көп \(l\) нөлдөн айырмаланган өз ара аракеттенүү мүчөсүндө кездешет.

Бул түзүлүш изилдөөдө \((k,l)\)-жергиликтүү Гамильтониан деп аталат. \(h\), \(k\) жана \(l\) системанын өлчөмү \(n\) өсүп жатканда туруктуу бойдон калат деп кабыл алынат.

Lieb–Robinson чеги эмне үчүн негизги мааниге ээ?

Кванттык көп-денелүү системаларда жергиликтүү бузулуунун таасири заматта бүт системага тарабайт. Lieb–Robinson чеги так релятивисттик жарык конусу болбосо да, оператордук таасир мейкиндик-убакытта болжолдуу эффективдүү жарык конусунун ичинде тарай турганын билдирет. Изилдөөдө тиешелүү өз ара аракеттенүү масштабы

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

түрүндө аныкталат. Жергиликтүү \(A_u\) операторунун толук Гамильтониан астындагы эволюциясы менен гана \(u\) айланасындагы \(B_u(r)\) шарынын Гамильтонианы астындагы эволюциясынын айырмасы

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

менен көзөмөлдөнөт. Бул байланыш алыскы аймактардын жергиликтүү динамикага кошкон салымы аралык өскөн сайын тез басаңдашын камсыздайт. Изилдөөнүн жогорку температурадагы далилиндеги “quasi-local perturbation” идеясынын физикалык негизи ушунда.

Жогорку температурадагы негизги теорема: туруктуу спектралдык боштук

Изилдөөнүн жогорку температурадагы жыйынтыгы тескери температура

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

болгон режимде алынат. \(\beta^\ast\) системанын өлчөмү \(n\)ден көз каранды эмес. Тиешелүү Линдбладиан үчүн изилдөө

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

төмөнкү чекти алат.

Спектралдык боштук эмнени билдирет? Линдблад генераторунун нөлдүк өздүк мааниси туруктуу Гиббс абалына туура келет. Нөлдөн айырмаланган эң кичине өчүү ылдамдыгы система чоңойгон сайын нөлгө жакындабашы тең салмакка жетүү барган сайын өтө жайлап кетпешин камсыздайт. Ошондуктан туруктуу боштук түздөн-түз тез аралашуу жыйынтыгына айлантылышы мүмкүн.

Гиббс абалына жакындашуу

Теоремадан алынган из-норма кепилдиги

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

болушу үчүн

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

убакыт жетиштүү экенин көрсөтөт. Бул жердеги \(\rho\) каалаган баштапкы абал. Демек жыйынтык атайын даярдалган баштапкы абалга гана байланыштуу эмес.

Линдбладиан кантип Гамильтонианга айландырылат?

Жогорку температурадагы далилдин эң күчтүү математикалык кадамдарынын бири KMS-симметриялуу Линдбладианды 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}. \]

Бул окшоштук өзгөртүү болуп саналат; демек түпкү Линдбладиан менен бирдей спектрге ээ. KMS симметриясынан улам \(\widetilde{\mathcal L}^{(\beta)}\) Hilbert–Schmidt ички көбөйтүндүсүнө карата өзүнө-өзү кошмолонгон жана Гамильтониан сыяктуу талдоого алынат.

Ядродогу абал

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

Гиббс абалынын векторлоштурулган тазаланышы болуп саналат. Ошентип ачык системанын аралашуу маселеси эки эселенген Гильберт мейкиндигинде Гамильтониандын спектралдык боштук маселесине айландырылат.

Чексиз температура чекити эмне үчүн ыңгайлуу?

\(\beta\to0\) чегинде Гиббс үлгүлөгүчүнүн өзгөртүлгөн генератору бир-сайттык деполяризациялоочу каналдын генераторуна жакындайт. Бул эталондук Гамильтониан:

• frustration-free,
• туруктуу спектралдык боштукка ээ,
• жергиликтүү топологиялык кванттык тартип шартын аткарат,
• жергиликтүү боштук шартын аткарат.

Бул касиеттер frustration-free боштуктуу Гамильтониандардын кичине quasi-local perturbationдарга карата спектралдык боштук туруктуулугу жөнүндөгү белгилүү теоремаларды колдонууга мүмкүндүк берет.

Телескоптук quasi-local ажыратуу

Ар бир жергиликтүү генератор мүчөсү өсүүчү радиустагы аймактар боюнча

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

түрүндө ажыратылат. Бул жердеги айырма мүчөлөрү \(B_a(r+1)\) аймагында гана колдоого алынат. Lieb–Robinson чегинин жардамы менен бул салымдардын нормасы аралык менен экспоненциалдуу азайышы көзөмөлдөнөт. Демек чектүү, бирок кичине \(\beta\)дагы генератор \(\beta=0\) деполяризациялоочу чекиттин кичине quasi-local perturbationы катары каралышы мүмкүн.

Thermofield double тазалоосу

Гиббс абалы аралаш абал. Бирок эки нуска Гильберт мейкиндигинде

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

түрүндө тазаланат. Бул түзүлүш адабияттардын көбүндө thermofield double деп аталат. Изилдөө \(\beta=0\)да оңой даярдалуучу

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

Белл жуптарынын көбөйтүндүсүнөн баштап

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

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

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

Кошумча Bдеги деталдуураак параметр көз карандылыгы

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

түрүндө берилет. Бул жердеги \(C'\) универсалдуу туруктуу.

Адиабаталык чыгым кайдан келип чыгат?

Изилдөө адиабаталык Гамильтониан жолунун биринчи жана экинчи туундуларын да чектейт. Мисалы, биринчи туунду үчүн

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

алынат. \((k,l)\)-жергиликтүү Гамильтониандарда

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

жана

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

болгондуктан бул туунду нормалары системанын өлчөмүнө карата көзөмөлдөнөт. Ошентип адиабаталык иш убактысындагы кубдук \(n\) көз карандылыгы түздөн-түз боштук жана жолдун жылмакайлыгын талдоодон келип чыгат.

Төмөн температурада эмне үчүн башка чыпка керек?

Жогорку температурада колдонулган Гаусс чыпкасы төмөн температурада негизги абалга өтүүлөрдү жетиштүү күчтүү артык көрбөшү мүмкүн. Ошондуктан изилдөөчүлөр төмөн температурадагы далилде Metropolis жүрүм-турумун туураган

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

чыпкасына өтүшөт. Бул жердеги \(\sigma_E\) энергиялык ажыратуучулукту көзөмөлдөгөн эркин параметр. Чыпканын негизги математикалык максаты энергияны төмөндөтүүчү өтүүлөрдү артыкчылыктуу кылуу.

Төмөн температура далилиндеги үч perturbation көпүрөсү

Изилдөөчүлөр татаал circuit-to-Hamiltonian үлгүлөгүчүнүн боштугун түз эсептөөнүн ордуна аны жөнөкөй чектер менен байланыштырышат.

1. Гамильтониан perturbationы

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

түрүндө үзгүлтүксүздүк чеги курулат. Далилде \(H_0\) жөнөкөй саат Гамильтонианы, ал эми \(V\) схеманы коддоочу кошумча Гамильтониан мүчөлөрү.

2. Чектүү энергиялык ажыратуучулуктан \(\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}). \]

Ката мүчөсү ылайыктуу спектралдык аралык жана төмөн температура шарттарында басаңдатылат.

3. Чектүү \(\beta\)дан нөл температура чегине өтүү

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

\(\delta'_\beta\) энергиялык аралык менен бирге \(\beta\)да экспоненциалдуу басаңдагандыктан, жетишерлик төмөн температурада нөл температура генераторунун боштугу чектүү температура генераторун көзөмөлдөө үчүн колдонулушу мүмкүн.

Poincaré теңсиздиги жана Линдбладиан боштугу

Төмөн температура кошумчасындагы негизги куралдардын бири

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

Poincaré теңсиздиги. Бул жерде

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

жылуулук дисперсиясын, ал эми \(\mathcal E\) Линдбладиандын Dirichlet формасын билдирет. Математикалык жактан бул теңсиздик спектралдык боштукту “байкалгычтардын Гиббс орточосунан четтөөлөрүн динамика канчалык тез өчүрөт” деген түшүнүк менен байланыштырат.

Кванттык схеманы Гамильтонианга коддоо

Төмөн температурадагы универсалдуулук далили стандарттык кванттык эсептөөлөрдөгү схеманын чыгышын жергиликтүү Гамильтониандын негизги абалына жайгаштыруучу circuit-to-Hamiltonian ыкмасын колдонот.

\(n\) кубитте \(T\) дарбазалуу

\[ C=U_T\cdots U_1 \]

схемасы үчүн Гамильтониан

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

түрүндө ажыратылат.

• \(H_{\mathrm{clock}}\): жарактуу эсептөө убакыт түзүлүштөрүн коддойт.
• \(H_{\mathrm{in}}\): кирүү кубиттеринин туура баштапкы абалын мажбурлайт.
• \(H_{\mathrm{prop}}\):\(U_t\) дарбазаларынын убакыт бою туура колдонулушун коддойт.

Жалгыз негизги абал “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}. \]

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

Саат Гамильтонианынын нөл температурадагы боштугу

Далилде көзөмөлдөнө турган жөнөкөй эталондук система \(H_{\mathrm{clock}}\). Тиешелүү өзгөртүлгөн нөл температура Линдбладианы үчүн

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

алынат. \(T>3\) үчүн бул

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

төмөнкү чекти берет. Далилдин бул бөлүгүндө Gershgorin тегерек теоремасы жана жол графынын Лаплас спектри колдонулат.

BQP-толуктук эмнени айтат?

Негизги төмөн температура теоремасы мындай: натыйжалуу симуляциялануучу төмөн температурадагы Гиббс үлгүлөгүчтөрүнүн чыгыштарындагы жергиликтүү байкалгычтардын күтүлгөн маанилерин болжолдуу эсептөө маселеси BQP-толук.

BQP — полином өлчөмдөгү кванттык схемалар тарабынан чектелген ката ыктымалдыгы менен чечиле турган чечим маселелеринин татаалдык классы. “BQP-толук” түшүнүгү бул жерде эки нерсени бирге билдирет:

1. Бул Гиббс үлгүлөө модели стандарттык кванттык схема менен натыйжалуу ишке ашырылышы мүмкүн.
2. Ылайыктуу Гиббс үлгүлөгүчтөрү колдонулганда стандарттык полином-убакыт кванттык эсептөөнүн чыгышы бул моделге коддолот.

Демек жыйынтык диссипативдүү термалдашуу кванттык абалды даярдоо куралы гана эмес экенин; ылайыктуу төмөн температура жана Гамильтониан инженериясы шарттарында универсалдуу кванттык эсептөө модели катары иштей аларын көрсөтөт.

Классикалык алгоритмдер менен татаалдык ажырымы

Изилдөөнүн Corollary II.5 жыйынтыгы тез аралашуучу жергиликтүү байкалгыч \(O\) үчүн жылуулук орточосун

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

ар бир учурда \(\varepsilon\) кошумча ката менен \(\operatorname{poly}(\beta,\varepsilon^{-1})\) убакытта эсептеген классикалык алгоритмдин болушу

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

жыйынтыгына алып келерин көрсөтөт. Бул шарттуу татаалдык ажырымы: изилдөө BPP менен BQP ар башка экенин далилдебейт; стандарттуу түрдө күтүлгөн \(\mathrm{BPP}\ne\mathrm{BQP}\) божомолунун астында мындай жалпы классикалык алгоритм болушу мүмкүн эместигин билдирет.

Төмөн температура параметр масштабдары

Кошумча Cдеги курулушта саат жана схема Гамильтониандарынын байланыштыруу коэффициенттери жана энергиялык ажыратуучулук бири-бири менен кылдат масштабданат. Акыркы этапта \(\sigma_E<1\) үчүн, мисалы

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

жана

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

сыяктуу тандоолор колдонулат; ошол эле учурда \(\beta\sigma_E=T^\delta\) тандоосу \(\delta\le11\) шартын пайда кылат. Авторлордун негизги тексттеги интуитивдүү салыштыруусунда өз курулушу үчүн схема өлчөмүнө карата болжол менен \(\beta=\mathcal O(T^{11})\) деңгээлиндеги масштабдануу жетиштүү экени, салыштырылган мурдагы жылуулук gradient-descent ыкмасында болсо \(\mathcal O(T^{19})\) көз карандылыгы пайда болору баса белгиленет.

Бул полиномдордун даражасынын жогору болушу маанилүү: жыйынтык татаалдык теориясы жагынан натыйжалуу, бирок “бүгүнкү жабдыкта кичине туруктуулар менен практикалык иштейт” дегенди билдирбейт.

Мурунку изилдөөлөр менен салыштыруу

Авторлор жогорку температурадагы Гиббс даярдоо адабиятында көптөгөн ыкмалар жалпы Гамильтониандар үчүн экспоненциалдуу чыгымдуу экенин, айрым полином-убакыт жыйынтыктары болсо бир өлчөм, commuting Гамильтониандар же корреляциялардын жетиштүү тез басаңдашы сыяктуу кошумча шарттарды талап кыларын белгилешет. Бул жердеги жогорку температура жыйынтыгы температура жана Lieb–Robinson түрүндөгү локалдуулук аркылуу гана жалпыраак кепилдик берүүнү максат кылат.

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

Изилдөө бүткөндөн кийин эске алынган башка бир жогорку температура жыйынтыгы жетиштүү ысык Гиббс абалдары толугу менен бөлүнүүчү абалдар менен болжолдуу көрсөтүлүп, классикалык түрдө да натыйжалуу үлгүлөнө аларын көрсөтөт. Rouzé, França жана Alhambra өз чектеринде критикалык тескери температура локалдуулук параметрине болжол менен тескери сызыктуу көз карандылык көрсөтөрүн, салыштырган ыкмада болсо башка божомолдор алдында тескери квадраттык көз карандылык бар экенин баса белгилешет. Бирок эки ыкманын Гамильтониан класстары жана кепилдиктери бирдей болбогондуктан бул салыштыруу түз эле жалгыз “жеңүүчү алгоритм” жыйынтыгына келтирилбеши керек.

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

• Жетишерлик жогорку температурада Lieb–Robinson чегине ылайык жергиликтүү Гамильтониандар үчүн изилденген KMS-симметриялуу Гиббс үлгүлөгүчүнүн спектралдык боштугу туруктуу бойдон калат.
• Бул боштук Гиббс абалын полином убакытта даярдоого кепилдик берет.
• Ошол эле түзүлүш Гиббс абалдарынын thermofield-double тазалоолорун жогорку температура аймагында адиабаталык жана полином убакытта даярдоо үчүн колдонулушу мүмкүн.
• Ылайыктуу төмөн температурадагы Гиббс үлгүлөгүчтөрү жана circuit-to-Hamiltonian коддоолору стандарттык кванттык эсептөөнүн күчүн ишке ашыра алат.
• Бул төмөн температура моделинде жергиликтүү байкалгычтардын күтүлгөн маанилерин болжолдуу эсептөө BQP-толук.

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

• Жогорку температурадагы Гиббс үлгүлөөсү бул режимде далилденген кванттык артыкчылык берери көрсөтүлгөн эмес.
• Ар бир Гамильтониан же ар бир температура үчүн тез термалдашуу далилденген эмес.
• \(\beta^\ast\) үчүн экспериментте түз колдонууга боло турган универсалдуу сандык температура мааниси берилген эмес.
• Төмөн температурадагы универсалдуулук курулушу жакынкы мезгилдеги кванттык түзмөктөрдө практикалык жана төмөн туруктуу чыгымдуу экени көрсөтүлгөн эмес.
• Төмөн температура курулушундагы Линдбладиан жогорку температура бөлүмүндөгү мааниде сөзсүз quasi-local деп айтылбайт.
• Физикалык система-чөйрө өз ара аракеттенүүсү бул үлгүлөгүчтү автоматтык ишке ашырары көрсөтүлгөн эмес.
• Катага чыдамдуулук үчүн толук босого теоремасы берилген эмес.

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

1. Кванттык Гиббс үлгүлөгүчүнүн толук түзүлүшү

Жогорку температура анализинде колдонулган Гиббс үлгүлөгүчүнүн Гаусс салмагы

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

түрүндө аныкталат жана Линдблад генератору

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

түрүндө болот. Стандарттык диссипатор ачык жазылганда

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

Секирүү операторлору жыштык-чыпкаланган убакыт эволюциялары аркылуу

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

түрүндө аныкталат. Бул жерде \(A_{a,1}=\sigma_x\), \(A_{a,2}=\sigma_y\) жана \(A_{a,3}=\sigma_z\) бир-сайттык Паули операторлору. \(f(t)\) Гаусс түрүндөгү убакыт чыпкасы. Бул түзүлүш белгилүү Бор жыштыктарын кемчиликсиз курч проекция менен тандоонун ордуна чектүү убакыт/кеңдик чыпкасы менен иштейт.

Генератордун \(-i[B,\rho]\) мүчөсү когеренттүү оңдоо. Булакта \(B\) тез басаңдоочу \(b_1\) жана \(b_2\) ядролору менен кош убакыт интегралы катары аныкталат. Бул мүчө каалаган кошумча Гамильтониан эмес; жалпы динамиканын KMS толук тең салмак касиетинин туура түзүлүшүнүн бир бөлүгү.

2. Жогорку температурадагы perturbative спектралдык боштук далили

Далил төмөнкү логикалык чынжырды ээрчийт:

1. KMS-симметриялуу Линдбладиан ошол эле спектрди алып жүргөн өзүнө-өзү кошмолонгон \(\widetilde{\mathcal L}^{(\beta)}\) операторуна айландырылат.
2. Генератор өсүүчү мейкиндик радиустарына жараша телескоптук quasi-local мүчөлөргө ажыратылат.
3. Lieb–Robinson чеги алыскы радиус мүчөлөрүнүн нормасын көзөмөлдөйт.
4. \(\beta\to0\) чеги жергиликтүү деполяризациялоочу семигруппа экени көрсөтүлөт.
5. Бул чек frustration-free, боштуктуу жана LTQO шарттарын канааттандырган эталондук Гамильтониан берет.
6. Quasi-local perturbationдардын боштук туруктуулугу теоремасы колдонулуп, кичине, бирок чектүү \(\beta\) үчүн боштуктун кеминде жарымы сакталары көрсөтүлөт.

Жыйынтык:

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

3. Из нормасында тез жакындашуу

Спектралдык боштук KMS-салмактуу \(L_2\) нормасынан из нормасына өткөрүлгөн стандарттык аргумент аркылуу

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

түрүндөгү экспоненциалдык өчүү чегине айландырылат. Оң тарап \(\varepsilon\)ге теңделип, \(t\) үчүн чечилгенде

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

масштабдануусу алынат.

4. Адиабаталык тазалоо ыкмасы

\(\mathscr H(s)=\widetilde{\mathcal L}^{(s\beta)}\) жолу боюнча минималдуу боштук жогорку температура теоремасы менен сакталат. Адиабаталык ката чеги булакта

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

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

5. Metropolis-түрүндөгү төмөн температура генератору

Төмөн температурада изилдөө \(\sigma_E\) энергиялык ажыратуучулукка ээ KMS-симметриялуу генераторду колдонот. \(\sigma_E\to0\) чегинде генератор 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]. \]

Бул формула оң энергия чыгымдуу өтүүлөр \(e^{-\beta\nu}\) Больцман фактору менен басаңдатыларын ачык көрсөтөт. \(\nu\le0\) болгон энергияны төмөндөтүүчү же жогорулатпаган өтүүлөр ошол эле экспоненциалдык жазаны алып жүрбөйт.

6. Гамильтониан perturbationынын сандык көзөмөлү

Булактын Lemma C.8 жыйынтыгы \(H=H_0+H_1\) үчүн жана \(\beta\sigma_E>1\) болгондо

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

түрүндө ачык норма чегин чыгарат. Булакта бул ката мүчөсү \(\|H_1\|_\infty\), секирүү операторлорунун саны \(m\), \(\sigma_E\), \(\beta\) жана логарифмдик факторлордун белгилүү айкалыштарынан турат. Максат бул мүчөнү эталондук генератордун боштугунан кичине кармоо; ошондо спектралдык боштук perturbation астында жабылбайт.

7. Circuit-to-Hamiltonian негизги абалы

Схеманы коддоочу \(H_C\) frustration-free болуп тандалат жана негизги абал энергиясы нөл. Булак ылайыктуу байланыштыруу коэффициенттери астында Гамильтониан боштугун

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

менен чектейт. Ошого жараша Гиббс абалы менен history state ортосундагы из аралык

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

болгондой жетишерлик чоң \(\beta\) тандалышы мүмкүн. Ошентип жылуулук абалы схеманын чыгышын алып жүргөн негизги абал менен жетиштүү чоң дал келүүгө ээ болот.

8. Схеманын чыгышын калыбына келтирүү

Төмөн температурадагы Гиббс үлгүлөгүчү түз эле “акыркы кубиттерди окуганда ар дайым схеманын чыгышы алынат” дегендей иштебейт. Адегенде Гиббс абалы history-state негизги абалы үстүндө полином деңгээлде жетиштүү салмак жаратат. Андан кийин circuit-to-Hamiltonian мүчөлөрүнө туура келген жергиликтүү энергия тесттери жүргүзүлөт. Бардык тесттер кабыл алынганда негизги абал компоненти тандалып, схеманын чыгышын алууга болот. Процессти аз санда кайталоо ийгилик ыктымалдыгын жогорулатат.

9. Булак көрсөткөн күчтүү жактар

• Жогорку температура жыйынтыгы коммутативдүү эмес жергиликтүү Гамильтониандарды да камтыйт.
• Далил белгилүү бир тор өлчөмүнө же бир гана өлчөмгө кыскартылбайт.
• Quasi-locality Lieb–Robinson түзүлүшүнөн чыгарылат.
• Гиббс абалынан тышкары тазаланган thermofield-double абалдары үчүн да кепилдик берет.
• Төмөн температурадагы универсалдуулук жыйынтыгында мурдагы байланыштуу ыкмага салыштырмалуу жакшыраак температура полиному алынат.
• Төмөн температура курулушу эсептөө учурунда үзгүлтүксүз аралык энергия өлчөөлөрүн талап кылбайт.

10. Чектөөлөр жана ачык маселелер

• Жогорку температура босогосу \(\beta^\ast\) үчүн практикалык универсалдуу туруктуу эсептелген эмес.
• Жогорку температура режиминде натыйжалуу классикалык ыкмалардын болушу бул жерде автоматтык кванттык артыкчылык жок экенин билдирет.
• Полиномдук түрдө азайган алыскы аралыктагы өз ара аракеттенүүлөргө кеңейтүү авторлор тарабынан мүмкүн деп каралганы менен, изилдөөдө толук далил берилген эмес.
• Төмөн температурадагы универсалдуулук курулушу жогорку даражадагы полином масштабдарга ээ.
• Тиешелүү Линдбладиандарды физикалык түзмөктө ишке ашыруу дагы деле татаал кванттык схемаларды талап кылат.
• Өзгөртүлгөн log-Sobolev теңсиздиги далилденсе, жакындашуу полином убакыттан күчтүүрөөк логарифмдик убакытка түшүрүлүшү мүмкүн; изилдөө муну ачык маселе катары калтырат.
• Система-чөйрө өз ара аракеттенүүсү аркылуу табигыйыраак микроскоптук ишке ашыруу жана катага чыдамдуулук үчүн босого теоремасы ачык маселелер.

11. Булак ичиндеги теңдеме эскертүүсү

Жүктөлгөн arXiv v3 PDFнин Кошумча B бөлүмүндө (B.11) байланышында quasi-local салымдын алдыңкы мүчөсү \(g(\beta J)^r\) болуп берилсе, (B.12)де ошол эле түзүлүш \(g(\beta J)^{-r}\) түрүндө басылганы көрүнөт. \(g(x)=\sqrt{x}/(1+\sqrt{x})\) болгондуктан \(0<g(x)<1\); мындан тышкары текст бул чектин \(\beta\to0\) чегинде жоголорун ачык айтат. Ошондуктан эки сап формалдык жактан шайкеш келбейт. Бул жерде булак формуласы унчукпай өзгөртүлгөн эмес; макаланын негизги спектралдык боштук жыйынтыгы Theorem II.1/B.1 жана анын айланасындагы далил түзүлүшүнө таянып берилген.

Булак жана Ыкма Жөнүндө Эскертүү

Оригиналдуу иш: Efficient thermalization and universal quantum computing with quantum Gibbs samplers

Авторлор: Cambyse Rouzé; Daniel Stilck França; Álvaro M. Alhambra.

Салым: Nature Physics жазуусу бардык авторлор изилдөөгө жана макаланы даярдоого тең салым кошконун билдирет.

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

Мекемелер: Inria, Télécom Paris–LTCI, Institut Polytechnique de Paris, Palaiseau, Франция; Univ Lyon, ENS Lyon, UCBL, CNRS, Inria, LIP, Lyon, Франция; Department of Mathematical Sciences, University of Copenhagen, Дания; Instituto de Física Teórica UAM/CSIC, Madrid, Испания.

Жүктөлгөн булак версиясы: arXiv:2403.12691v3 [quant-ph], 17 Апрель 2026, 39 бет. arXiv жазуусу бул версияны жарыяланган версияга жакын деп мүнөздөйт.

arXiv DOI: 10.48550/arXiv.2403.12691

Рецензияланган жарыя: Nature Physics, том 22, беттер 1123–1127, 2026.

Жарыяланган күнү: 15 Апрель 2026.

Рецензияланган жарыя DOI: 10.1038/s41567-026-03246-y

Расмий шилтемелер: https://arxiv.org/abs/2403.12691 жана https://doi.org/10.1038/s41567-026-03246-y

Булак түрү: Теориялык/математикалык кванттык маалымат, ачык кванттык системалар жана эсептөө татаалдыгы боюнча изилдөө. Эксперименттик иш эмес.

Рецензия абалы: Nature Physics журналында рецензияланган макала катары жарыяланган. Жүктөлгөн PDF arXiv v3 версиясы жана рецензияланган жарыядан кийин жаңыртылган.

Лицензия: arXiv версиясынын катталган лицензиясы Creative Commons Attribution 4.0 International, CC BY 4.0. Рецензияланган басмакана версиясынын кирүү шарттары өзүнчө басмакананын барагына баш иет.

Мурунку жарыя: Изилдөөнүн бир бөлүгү мурда 57. ACM Symposium on Theory of Computing, STOC 2025 алкагында кыска конференциялык резюме катары жарыяланган.

Каржылоо: Булак Cambyse Rouzé үчүн Франциянын ANR QTraj долбоору ANR-20-CE40-0024-01ди; Daniel Stilck França үчүн Европа Биримдигинин Grant Agreement 101080142/EQUALITY жана Novo Nordisk Foundation NNF20OC0059939 Quantum for Life колдоосун; Álvaro M. Alhambra үчүн Испаниянын Agencia Estatal de Investigación колдоолорун, CEX2020-001007-S, PCI2024-153448, PID2023-150847NA-I00 жана Ramón y Cajal RyC2021-031610-I гранттарын; ошондой эле QuantERA II/H2020 GA 101017733 колдоосун билдирет.

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

Маалымат жана код: Жүктөлгөн изилдөө негизинен далилдерге жана теориялык курулушка таянат; эксперименттик маалымат топтому колдонулган эмес. Жүктөлгөн v3 PDFде өзүнчө эксперименттик маалымат жеткиликтүүлүгү же программалык код репозиторийи изилдөөнүн негизги жыйынтыгы үчүн булак катары көрсөтүлгөн эмес.

Сүрөт жана таблица абалы: Жүктөлгөн 39 беттик PDFде илимий маалымат сүрөтү, график же таблица жок. Ошондуктан Verianlaда колдонулуучу визуалдар булак теңдемелерине жана ыкма иреттүүлүгүнө негизделген source-derived түшүндүрмө схемалар гана болушу керек; ойлоп табылган энергия спектрлери, жасалма сандык графиктер же эксперименттик сүрөттөр түзүлбөшү керек.

Негизги методологиялык чек: Жогорку температура жыйынтыгы белгилүү KMS-симметриялуу Гиббс үлгүлөгүчтөр үй-бүлөсү жана Lieb–Robinson локалдуулугу үчүн теориялык кепилдик. Төмөн температурадагы BQP-толуктук жыйынтыгы болсо атайын circuit-to-Hamiltonian үй-бүлөлөрү жана параметр масштабдоолоруна таянган татаалдык-теориялык бар болуу/универсалдуулук жыйынтыгы. Натыйжалар жалпы физикалык системалар өзүнөн-өзү бул динамиканы ишке ашырарын же практикалык кванттык артыкчылык алынарын көрсөтпөйт.