Tədqiqatın ilk əsas nəticəsi, həndəsi baxımdan lokal və qısa mənzilli Hamiltonyenlər üçün kifayət qədər yüksək temperaturda kvant Gibbs nümunələməsinin səmərəli olduğuna dair güclü spektral boşluq zəmanətidir. Hamiltonyenin lokallıq miqyasları sistem ölçüsündən asılı olmayaraq saxlanıldıqda, tərs temperatur \(\beta\) müəyyən sabit \(\beta^\ast\) həddinin altında qaldığı müddətdə əlaqəli Lindbladianın spektral boşluğu sistem ölçüsü artdıqca bağlanmır. Bunun nəticəsində başlanğıcdakı istənilən kvant vəziyyəti Gibbs vəziyyətinə iz normasında \(\varepsilon\) xəta daxilində \(t=\Omega(\ln(1/\varepsilon)+n)\) miqyasında yaxınlaşır. Kvant dövrəsində həyata keçirilməsi üçün verilən xərc, poliloqarifmik vuruqlar istisna olmaqla, təxminən \(\widetilde{\mathcal O}(n^2)\) Hamiltonyen simulyasiya vaxtı və \(\widetilde{\mathcal O}(n^3)\) iki-kubit qapısıdır.

İkinci nəticə, eyni spektral boşluq nəzarətini ikiqatlaşdırılmış Hilbert fəzasındakı Hamiltonyen uyğunlaşdırmasına daşımaqla yüksək temperaturdakı Gibbs vəziyyətinin saflaşdırılmış formasının, yəni thermofield double vəziyyətinin adiabatik şəkildə hazırlanabilməsidir. \(\beta=0\)-dakı Bell cütü hasil vəziyyətindən başlayıb tərs temperaturu mərhələli şəkildə artıran adiabatik yol üçün tədqiqat \(T_{\mathrm{ad}}=\mathcal O((\beta n)^3/\varepsilon^2)\) əsas miqyaslanmasını əldə edir.

Üçüncü və konseptual baxımdan çox fərqli nəticə aşağı temperatur rejimindədir. Tədqiqatçılar tərs temperaturun sistemin və ya kodlaşdırılmış kvant dövrəsinin ölçüsü ilə polinom şəkildə böyüdüyü rejimdə, uyğun şəkildə hazırlanmış kvant Gibbs nümunələyicilərinin lokal müşahidə olunanların gözlənilən qiymətlərini hesablama problemini BQP-tam etdiyini göstərirlər. Başqa sözlə, nəticə “hər aşağı temperatur Gibbs nümunələyicisi kvant üstünlüyü təmin edir” demir; müəyyən bir səmərəli simulyasiya oluna bilən nümunələyici ailəsinin standart polinom-zaman kvant dövrələrini kodlaya biləcək qədər hesablama gücünə malik olduğunu sübut edir.

Gibbs vəziyyəti niyə kvant hesablamada çətin hədəfdir?

Tarazlıq statistik mexanikasında bir Hamiltonyen \(H\) üçün tərs temperatur \(\beta\)-dakı Gibbs vəziyyəti

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

şəklində təyin olunur. Burada \(Z_\beta\) bölünmə funksiyasıdır. Fiziki temperatur artdıqca \(\beta\) azalır; sonsuz temperatur həddi \(\beta\to0\), sıfır temperatur həddi isə \(\beta\to\infty\) ilə əlaqəlidir.

Klassik statistik mexanikada Markov Chain Monte Carlo üsulları lokal spin yeniləmələri ilə Gibbs paylanmalarından nümunələmə aparmaq üçün çox uğurludur. Kvant problemində isə Hamiltonyen terminləri ümumiyyətlə bir-biri ilə kommutativ deyil. Buna görə “tək bir spin vəziyyətini lokal olaraq yenilə” ideyası klassik haldakı qədər sadə şəkildə müəyyən edilə bilmir. Kvant koherentliyi, dolaşıqlıq və kommutativ olmayan operatorların mövcudluğu həm fiziki baxımdan lokal, həm də düzgün Gibbs sabit nöqtəsinə malik dinamika qurmağı çətinləşdirir.

KMS ətraflı tarazlığı və Gibbs sabit nöqtəsi

Tədqiqatın əsas götürdüyü nümunələyici Heisenberg təsvirində Kubo–Martin–Schwinger, yəni KMS daxili hasilinə görə reversibldir:

\[ \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 sadəcə estetik riyazi xüsusiyyət deyil. O, əlaqəli dissipativ təkamülün Gibbs vəziyyəti ilə uyğun ətraflı tarazlıq quruluşunu təmin edir və \(\sigma_\beta\)-nın dinamikanın sabit nöqtəsi olmasında mərkəzi rol oynayır.

Lokal Hamiltonyen fərziyyəsi

Yüksək temperatur sübutu \(\Lambda\) qəfəsi üzərində həndəsi baxımdan lokal, qısa mənzilli Hamiltonyenlərə fokuslanır. Bir \(Z\subseteq\Lambda\) bölgəsinin Hamiltonyeni

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

şəklində yazılır. Hər \(h_X\) özünə qoşma qarşılıqlı təsir terminidir və

• \(\|h_X\|_\infty\le h\),
• hər qarşılıqlı təsir ən çox \(k\) saytı əhatə edir,
• hər sayt ən çox \(l\) sıfırdan fərqli qarşılıqlı təsir terminində iştirak edir.

Bu quruluş tədqiqatda \((k,l)\)-lokal Hamiltonyen adlandırılır. \(h\), \(k\) və \(l\)-nin sistem ölçüsü \(n\) artarkən sabit qaldığı qəbul edilir.

Lieb–Robinson sərhədi niyə əsas nöqtədir?

Kvant çoxcisimli sistemlərində lokal bir pozuntunun təsiri dərhal bütün sistemə yayılmır. Lieb–Robinson sərhədi, dəqiq relativistik işıq konusu olmasa da, operator təsirinin məkan-zamanda təqribi effektiv işıq konusu daxilində yayıldığını bildirir. Tədqiqatda əlaqəli qarşılıqlı təsir miqyası

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

şəklində müəyyən edilir. Lokal \(A_u\) operatorunun tam Hamiltonyen altında təkamülü ilə yalnız \(u\) ətrafındakı \(B_u(r)\) topunun Hamiltonyeni altında təkamülü arasındakı fərq

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

ilə idarə olunur. Bu əlaqə uzaq bölgələrin lokal dinamikaya töhfəsinin məsafə artdıqca sürətlə zəifləməsini təmin edir. Tədqiqatın yüksək temperatur sübutundakı “quasi-local perturbasiya” ideyasının fiziki əsası budur.

Yüksək temperaturda əsas teorem: sabit spektral boşluq

Tədqiqatın yüksək temperatur nəticəsi tərs temperaturun

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

olduğu rejimdə ortaya çıxır. \(\beta^\ast\) sistem ölçüsü \(n\)-dən asılı deyil. Müvafiq Lindbladian üçün tədqiqat

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

aşağı sərhədini əldə edir.

Spektral boşluq nə deməkdir? Lindblad generatorunun sıfır özqiyməti sabit Gibbs vəziyyətinə uyğundur. Sıfırdan fərqli ən kiçik sönmə sürətinin sistem böyüdükcə sıfıra yaxınlaşmaması tarazlığa çatmanın getdikcə həddindən artıq yavaşlamamasını təmin edir. Buna görə sabit boşluq birbaşa sürətli qarışma nəticəsinə çevrilə bilər.

Gibbs vəziyyətinə yaxınlaşma

Teoremdən əldə olunan iz-normu zəmanəti

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

olacaq şəkildə

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

müddətinin kifayət etdiyini göstərir. Buradakı \(\rho\) ixtiyari başlanğıc vəziyyətidir. Buna görə nəticə yalnız xüsusi hazırlanmış başlanğıc vəziyyətindən asılı deyil.

Lindbladian necə Hamiltonyenə çevrilir?

Yüksək temperatur sübutundakı ən güclü riyazi addımlardan biri KMS-simmetrik Lindbladianı Hilbert–Schmidt fəzasında özünə qoşma operatora çevirməkdir:

\[ \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, oxşarlıq çevrilməsidir; buna görə orijinal Lindbladian ilə eyni spektri daşıyır. KMS simmetriyasına görə \(\widetilde{\mathcal L}^{(\beta)}\) Hilbert–Schmidt daxili hasilinə görə özünə qoşmadır və Hamiltonyen kimi təhlil edilə bilər.

Nüvədə yerləşən vəziyyət

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

Gibbs vəziyyətinin vektorlaşdırılmış saflaşdırılmasıdır. Beləliklə, açıq sistemin qarışma problemi ikiqatlaşdırılmış Hilbert fəzasında Hamiltonyen spektral boşluq probleminə çevrilir.

Sonsuz temperatur nöqtəsi niyə üstünlük verir?

\(\beta\to0\) həddində Gibbs nümunələyicisinin çevrilmiş generatoru tək-sayt depolarizasiya kanalının generatoruna yaxınlaşır. Bu istinad Hamiltonyeni:

• frustration-free-dir,
• sabit spektral boşluğa malikdir,
• lokal topoloji kvant nizamı şərtini təmin edir,
• lokal boşluq şərtini təmin edir.

Bu xüsusiyyətlər frustration-free boşluqlu Hamiltonyenlərin kiçik quasi-local perturbasiyalara qarşı spektral boşluq sabitliyinə dair məlum teoremləri işə salır.

Teleskopik quasi-local ayrışdırma

Hər lokal generator termini artan radiuslu bölgələr üzrə

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

şəklində ayrılır. Buradakı fərq terminləri yalnız \(B_a(r+1)\) bölgəsində dəstəklənir. Lieb–Robinson sərhədi sayəsində bu töhfələrin normunun məsafə ilə eksponensial azalması idarə olunur. Buna görə sonlu, lakin kiçik \(\beta\)-dakı generator \(\beta=0\) depolarizasiya nöqtəsinin kiçik quasi-local perturbasiyası kimi nəzərdən keçirilə bilər.

Thermofield double saflaşdırması

Gibbs vəziyyəti qarışıq vəziyyətdir. Lakin iki nüsxəli Hilbert fəzasında

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

şəklində saflaşdırıla bilər. Bu quruluş ədəbiyyatın böyük hissəsində thermofield double adlandırılır. Tədqiqat \(\beta=0\)-da asan hazırlanabilən

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

Bell cütü hasilindən başlayıb

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

adiabatik yolunu izləməyi təklif edir. Yüksək temperatur bölgəsində boşluq bağlanmadığı üçün adiabatik teorem polinom iş vaxtı verir:

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

Əlavə B-də daha ətraflı parametr asılılığı

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

şəklində verilir. Buradakı \(C'\) universal sabitdir.

Adiabatik xərc haradan yaranır?

Tədqiqat adiabatik Hamiltonyen yolunun birinci və ikinci törəmələrini də məhdudlaşdırır. Məsələn birinci törəmə üçün

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

əldə edilir. \((k,l)\)-lokal Hamiltonyenlərdə

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

və

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

olduğuna görə bu törəmə normaları sistem ölçüsünə görə idarə edilə bilir. Beləliklə, adiabatik iş vaxtındakı kubik \(n\) asılılığı birbaşa boşluq və yolun hamarlığı təhlilindən yaranır.

Aşağı temperaturda niyə fərqli filtr lazımdır?

Yüksək temperaturda istifadə olunan Qauss filtri aşağı temperaturda əsas vəziyyətə keçidləri kifayət qədər güclü üstün tuta bilməyə bilər. Buna görə tədqiqatçılar aşağı temperatur sübutunda Metropolis davranışını təqlid edən

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

filtrinə keçirlər. Buradakı \(\sigma_E\) enerji ayırdetməsini idarə edən sərbəst parametrdir. Filtrin əsas riyazi məqsədi aşağı istiqamətli enerji keçidlərini üstün etməkdir.

Aşağı temperatur sübutunda üç perturbasiya körpüsü

Tədqiqatçılar mürəkkəb circuit-to-Hamiltonian nümunələyicisinin boşluğunu birbaşa hesablamaq əvəzinə onu daha sadə hədlərə bağlayırlar.

1. Hamiltonyen perturbasiyası

\(H=H_0+V\) üçün

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

şəklində davamlılıq sərhədi qurulur. Sübutda \(H_0\) sadə saat Hamiltonyeni, \(V\) isə dövrəni kodlayan əlavə Hamiltonyen terminləridir.

2. Sonlu enerji ayırdetməsindən \(\sigma_E\to0\) həddinə keçid

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

Xəta termini uyğun spektral aralıq və aşağı temperatur şərtlərində zəiflədilir.

3. Sonlu \(\beta\)-dan sıfır temperatur həddinə keçid

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

\(\delta'_\beta\) enerji aralığı ilə birlikdə \(\beta\)-da eksponensial şəkildə zəiflədildiyinə görə, kifayət qədər aşağı temperaturda sıfır temperatur generatorunun boşluğu sonlu temperatur generatorunu idarə etmək üçün istifadə oluna bilər.

Poincaré bərabərsizliyi və Lindbladian boşluğu

Aşağı temperatur əlavəsində əsas alətlərdən biri

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

Poincaré bərabərsizliyidir. Burada

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

termal dispersiyanı, \(\mathcal E\) isə Lindbladianın Dirichlet formasını ifadə edir. Riyazi baxımdan bu bərabərsizlik spektral boşluğu “müşahidə olunanların Gibbs ortalamasından sapmalarını dinamikanın nə qədər tez söndürməsi” ilə əlaqələndirir.

Kvant dövrəsini Hamiltonyenə kodlamaq

Aşağı temperaturdakı universallıq sübutu standart kvant hesablamasındakı dövrənin çıxışını lokal Hamiltonyenin əsas vəziyyətinə yerləşdirən circuit-to-Hamiltonian yanaşmasından istifadə edir.

\(n\) kubit üzərində \(T\) qapılı

\[ C=U_T\cdots U_1 \]

dövrəsi üçün Hamiltonyen

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

şəklində ayrılır.

• \(H_{\mathrm{clock}}\): etibarlı hesablama zaman quruluşlarını kodlayır.
• \(H_{\mathrm{in}}\): giriş kubitlərinin düzgün başlanğıc vəziyyətini məcbur edir.
• \(H_{\mathrm{prop}}\):\(U_t\) qapılarının zaman boyunca düzgün tətbiqini kodlayır.

Yeganə əsas vəziyyət “history state” formasındadır:

\[ |\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 vəziyyət yalnız dövrənin son çıxışını deyil, bütün hesablama tarixçəsini saat qeydi ilə birlikdə kvant superpozisiyasında kodlayır.

Saat Hamiltonyeninin sıfır temperaturdakı boşluğu

Sübutda idarə oluna bilən sadə istinad sistemi \(H_{\mathrm{clock}}\)-dur. Əlaqəli çevrilmiş sıfır temperatur Lindbladianı üçün

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

əldə edilir. \(T>3\) üçün bu

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

aşağı sərhədini verir. Sübutun bu hissəsində Gershgorin dairə teoremi və yol qrafının Laplas spektrindən istifadə olunur.

BQP-tamlıq nə deyir?

Əsas aşağı temperatur teoremi belədir: səmərəli simulyasiya oluna bilən aşağı temperatur Gibbs nümunələyicilərinin çıxışlarındakı lokal müşahidə olunanların gözlənilən qiymətlərini təqribi hesablamaq problemi BQP-tamdır.

BQP, polinom ölçülü kvant dövrələri tərəfindən məhdud xəta ehtimalı ilə həll oluna bilən qərar problemlərinin mürəkkəblik sinfidir. “BQP-tam” ifadəsi burada iki şeyi birlikdə bildirir:

1. Bu Gibbs nümunələmə modeli standart kvant dövrəsi ilə səmərəli şəkildə həyata keçirilə bilər.
2. Uyğun Gibbs nümunələyiciləri istifadə edildikdə standart polinom-zaman kvant hesablamasının çıxışı bu modelə kodlana bilər.

Beləliklə, nəticə dissipativ termallaşmanın yalnız kvant vəziyyəti hazırlama aləti olmadığını; uyğun aşağı temperatur və Hamiltonyen mühəndisliyi altında universal kvant hesablama modeli rolunu oynaya bildiyini göstərir.

Klassik alqoritmlərlə mürəkkəblik ayrımı

Tədqiqatın Corollary II.5 nəticəsi, sürətlə qarışan lokal müşahidə olunan \(O\) üçün termal ortalamanı

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

hər halda \(\varepsilon\) toplamsal xəta ilə \(\operatorname{poly}(\beta,\varepsilon^{-1})\) zamanda hesablayan klassik alqoritmin mövcudluğunun

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

nəticəsini doğuracağını göstərir. Bu şərti mürəkkəblik ayrımıdır: tədqiqat BPP ilə BQP-nin fərqli olduğunu sübut etmir; standart olaraq gözlənilən \(\mathrm{BPP}\ne\mathrm{BQP}\) fərziyyəsi altında sözügedən ümumi klassik alqoritmin mövcud ola bilməyəcəyini bildirir.

Aşağı temperatur parametr miqyasları

Əlavə C-dəki quruluşda saat və dövrə Hamiltonyenlərinin qoşulma əmsalları və enerji ayırdetməsi bir-biri ilə diqqətlə miqyaslanır. Son mərhələdə \(\sigma_E<1\) üçün, məsələn

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

və

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

kimi seçimlər istifadə olunur; eyni zamanda \(\beta\sigma_E=T^\delta\) seçimi \(\delta\le11\) şərtini doğurur. Müəlliflərin əsas mətndəki daha intuitiv müqayisəsində öz quruluşları üçün dövrə ölçüsünə görə təxminən \(\beta=\mathcal O(T^{11})\) səviyyəsində miqyaslanmanın kifayət etdiyi, müqayisə olunan əvvəlki termal gradient-descent yanaşmasında isə \(\mathcal O(T^{19})\) asılılığının ortaya çıxdığı vurğulanır.

Bu polinomların dərəcəsinin yüksək olması vacibdir: nəticə mürəkkəblik nəzəriyyəsi baxımından səmərəlidir, lakin “bu günkü avadanlıqda kiçik sabitlərlə praktik işləyir” demək deyil.

Əvvəlki tədqiqatlarla müqayisə

Müəlliflər yüksək temperatur Gibbs hazırlama ədəbiyyatında bir çox üsulun ümumi Hamiltonyenlər üçün eksponensial xərcə malik olduğunu, bəzi polinom-zaman nəticələrinin isə bir ölçü, commuting Hamiltonyenlər və ya korrelyasiyaların kifayət qədər sürətli sönməsi kimi əlavə şərtlər tələb etdiyini qeyd edirlər. Buradakı yüksək temperatur nəticəsi yalnız temperatur və Lieb–Robinson tipli lokallıq üzərindən daha ümumi zəmanət təmin etməyi hədəfləyir.

Bununla yanaşı, yüksək temperatur bölgəsində səmərəli klassik üsullar da mövcuddur. Müəlliflər buna görə öz yüksək temperatur nəticəsini birbaşa sübut edilmiş kvant sürətlənməsi kimi təqdim etmirlər. Tədqiqatın fiziki əhəmiyyəti təbii termallaşmanı modelləşdirən Lindblad dinamikalarının sürətli qarışmasını göstərmək, sonlu temperatur kvant vəziyyətlərini hazırlamaq və dissipativ faza quruluşunu anlamaq baxımından da qiymətləndirilir.

Tədqiqat tamamlandıqdan sonra nəzərə alınmış başqa bir yüksək temperatur nəticəsi kifayət qədər isti Gibbs vəziyyətlərinin tam ayrılan vəziyyətlərlə təqribi təmsil oluna bildiyini və klassik şəkildə də səmərəli nümunələnə bildiyini göstərir. Rouzé, França və Alhambra öz sərhədlərində kritik tərs temperaturun lokallıq parametrinə təxminən tərs xətti asılılıq göstərdiyini, müqayisə etdikləri üsulda isə fərqli fərziyyələr altında tərs kvadratik asılılıq olduğunu vurğulayırlar. Lakin iki üsulun Hamiltonyen sinifləri və zəmanətləri eyni olmadığına görə bu müqayisə birbaşa vahid “qalib alqoritm” nəticəsinə endirilməməlidir.

Tədqiqatın dəstəklədiyi nəticələr

• Kifayət qədər yüksək temperaturda Lieb–Robinson sərhədinə uyğun lokal Hamiltonyenlər üçün araşdırılan KMS-simmetrik Gibbs nümunələyicisinin spektral boşluğu sabit qalır.
• Bu boşluq Gibbs vəziyyətinin polinom zamanda hazırlanmasına zəmanət verir.
• Eyni quruluş Gibbs vəziyyətlərinin thermofield-double saflaşdırmalarını yüksək temperatur bölgəsində adiabatik və polinom zamanda hazırlamaq üçün istifadə edilə bilər.
• Uyğun aşağı temperatur Gibbs nümunələyiciləri və circuit-to-Hamiltonian kodlaşdırmaları standart kvant hesablamasının gücünü reallaşdıra bilər.
• Bu aşağı temperatur modelində lokal müşahidə olunanların gözlənilən qiymətlərini təqribi hesablamaq BQP-tamdır.

Tədqiqatın dəstəkləmədiyi nəticələr

• Yüksək temperatur Gibbs nümunələməsinin bu rejimdə sübut edilmiş kvant üstünlüyü təmin etdiyi göstərilməyib.
• Hər Hamiltonyen və ya hər temperatur üçün sürətli termallaşma sübut edilməyib.
• \(\beta^\ast\) üçün təcrübədə birbaşa istifadə edilə biləcək universal ədədi temperatur dəyəri verilməyib.
• Aşağı temperatur universallıq quruluşunun yaxın dövr kvant cihazlarında praktik və aşağı sabit xərcli olduğu göstərilməyib.
• Aşağı temperatur quruluşundakı Lindbladianın yüksək temperatur bölməsindəki mənada mütləq quasi-local olduğu iddia edilmir.
• Fiziki sistem-mühit qarşılıqlı təsirinin bu nümunələyicini avtomatik həyata keçirdiyi göstərilməyib.
• Xəta dözümlülüyü üçün tam hədd teoremi verilməyib.

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

1. Kvant Gibbs nümunələyicisinin tam quruluşu

Yüksək temperatur analizində istifadə olunan Gibbs nümunələyicisinin Qauss çəkisi

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

şəklində təyin olunur və Lindblad generatoru

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

formasındadır. Standart dissipator açıq yazıldıqda

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

Keçid operatorları tezlik-filtrlənmiş zaman təkamülləri ilə

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

şəklində təyin olunur. Burada \(A_{a,1}=\sigma_x\), \(A_{a,2}=\sigma_y\) və \(A_{a,3}=\sigma_z\) tək-sayt Pauli operatorlarıdır. \(f(t)\) Qauss formalı zaman filtridir. Bu quruluş müəyyən Bohr tezliklərini qüsursuz kəskin proyeksiya ilə seçmək əvəzinə sonlu zaman/en filtrindən istifadə edir.

Generatorun \(-i[B,\rho]\) termini koherent düzəlişdir. Mənbədə \(B\) sürətlə sönən \(b_1\) və \(b_2\) nüvələri ilə ikiqat zaman inteqralı kimi təyin olunur. Bu termin ixtiyari əlavə Hamiltonyen deyil; ümumi dinamikanın KMS ətraflı tarazlıq xüsusiyyətinin düzgün qurulmasının bir hissəsidir.

2. Yüksək temperaturda perturbativ spektral boşluq sübutu

Sübut aşağıdakı məntiqi zənciri izləyir:

1. KMS-simmetrik Lindbladian eyni spektri daşıyan özünə qoşma \(\widetilde{\mathcal L}^{(\beta)}\) operatoruna çevrilir.
2. Generator artan fəza radiuslarına görə teleskopik quasi-local terminlərə ayrılır.
3. Lieb–Robinson sərhədi uzaq radius terminlərinin normasını idarə edir.
4. \(\beta\to0\) həddinin lokal depolarizasiya semiqrupu olduğu göstərilir.
5. Bu hədd frustration-free, boşluqlu və LTQO şərtlərini ödəyən istinad Hamiltonyeni verir.
6. Quasi-local perturbasiyaların boşluq sabitliyi teoremindən istifadə edilərək kiçik, lakin sonlu \(\beta\) üçün boşluğun ən azı yarısının qorunduğu göstərilir.

Nəticə:

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

3. İz normasında sürətli yaxınlaşma

Spektral boşluq KMS-çəkili \(L_2\) normasından iz normasına keçirilən standart arqumentlə

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

tipli eksponensial sönmə sərhədinə çevrilir. Sağ tərəf \(\varepsilon\)-a bərabərləşdirilib \(t\) üçün həll edildikdə

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

miqyaslanması əldə edilir.

4. Adiabatik saflaşdırma üsulu

\(\mathscr H(s)=\widetilde{\mathcal L}^{(s\beta)}\) yolu üzərində minimum boşluq yüksək temperatur teoremi ilə qorunur. Adiabatik xəta sərhədi mənbədə

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

şəklində istifadə olunur. Lokal kommutator normalarının sabit olması sayəsində nəticə polinom miqyasa enir.

5. Metropolis-tipli aşağı temperatur generatoru

Aşağı temperaturda tədqiqat \(\sigma_E\) enerji ayırdetməli KMS-simmetrik generator istifadə edir. \(\sigma_E\to0\) həddində generator Davies-tipli dinamikaya yaxınlaşır:

\[ \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 düstur müsbət enerji xərcli keçidlərin \(e^{-\beta\nu}\) Boltzmann faktoru ilə zəiflədilməsini açıq göstərir. \(\nu\le0\) olan enerji-azaldan və ya enerjini artırmayan keçidlər eyni eksponensial cəzanı daşımır.

6. Hamiltonyen perturbasiyasının kəmiyyət nəzarəti

Mənbənin Lemma C.8 nəticəsi \(H=H_0+H_1\) üçün və \(\beta\sigma_E>1\) olduqda

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

şəklində açıq norm sərhədi çıxarır. Mənbədə bu xəta termini \(\|H_1\|_\infty\), keçid operatorlarının sayı \(m\), \(\sigma_E\), \(\beta\) və loqarifmik vuruqların müəyyən kombinasiyalarından ibarətdir. Məqsəd bu termini istinad generatorunun boşluğundan kiçik saxlamaqdır; beləliklə spektral boşluq perturbasiya altında bağlanmır.

7. Circuit-to-Hamiltonian əsas vəziyyəti

Dövrəni kodlayan \(H_C\) frustration-free seçilir və əsas vəziyyət enerjisi sıfırdır. Mənbə uyğun qoşulma əmsalları altında Hamiltonyen boşluğunu

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

ilə məhdudlaşdırır. Buna bağlı olaraq Gibbs vəziyyəti ilə history state arasındakı iz məsafəsi

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

olacaq qədər böyük \(\beta\) seçilə bilər. Beləliklə termal vəziyyət dövrə çıxışını daşıyan əsas vəziyyətlə kifayət qədər yüksək örtüşməyə malik olur.

8. Dövrə çıxışının geri alınması

Aşağı temperatur Gibbs nümunələyicisi birbaşa “son kubitləri oxuduqda hər zaman dövrə çıxışı alınır” şəklində işləmir. Əvvəlcə Gibbs vəziyyəti history-state əsas vəziyyəti üzərində polinom səviyyəsində kifayət qədər çəki yaradır. Daha sonra circuit-to-Hamiltonian terminlərinə uyğun lokal enerji testləri aparılır. Testlərin hamısı qəbul edildikdə əsas vəziyyət komponenti seçilmiş olur və dövrənin çıxışı əldə edilə bilər. Prosesin az sayda təkrarı uğur ehtimalını artırır.

9. Mənbənin qeyd etdiyi güclü tərəflər

• Yüksək temperatur nəticəsi kommutativ olmayan lokal Hamiltonyenləri də əhatə edir.
• Sübut müəyyən qəfəs ölçüsünə və ya yalnız bir ölçüyə endirilmir.
• Quasi-lokallıq Lieb–Robinson quruluşundan çıxarılır.
• Gibbs vəziyyəti ilə yanaşı saflaşdırılmış thermofield-double vəziyyətləri üçün də zəmanət verir.
• Aşağı temperatur universallıq nəticəsində əvvəlki əlaqəli yanaşmaya nisbətən daha yaxşı temperatur polinomu əldə edilir.
• Aşağı temperatur quruluşu hesablama zamanı fasiləsiz aralıq enerji ölçmələri tələb etmir.

10. Məhdudiyyətlər və açıq problemlər

• Yüksək temperatur həddi \(\beta^\ast\) üçün praktik universal sabit hesablanmayıb.
• Yüksək temperatur rejimində səmərəli klassik üsulların mövcudluğu burada avtomatik kvant üstünlüyünün olmadığını bildirir.
• Polinom şəkildə azalan uzaq mənzilli qarşılıqlı təsirlərə genişlənmə müəlliflər tərəfindən mümkün sayılsa da, tədqiqatda tam sübut verilməyib.
• Aşağı temperatur universallıq quruluşu yüksək dərəcəli polinom miqyasları daşıyır.
• Əlaqəli Lindbladianların fiziki cihazda reallaşdırılması hələ də mürəkkəb kvant dövrələri tələb edir.
• Dəyişdirilmiş log-Sobolev bərabərsizliyi sübut edilə bilsə, yaxınlaşma polinom zamandan daha güclü, loqarifmik zamana endirilə bilər; tədqiqat bunu açıq problem kimi saxlayır.
• Sistem-mühit qarşılıqlı təsiri vasitəsilə daha təbii mikroskopik reallaşdırma və xəta dözümlülüyü üçün hədd teoremi açıq problemlərdir.

11. Mənbədaxili tənlik qeydi

Yüklənmiş arXiv v3 PDF-in Əlavə B hissəsində (B.11) əlaqəsində quasi-local töhfənin aparıcı termini \(g(\beta J)^r\) kimi verildiyi halda, (B.12)-də eyni quruluşun \(g(\beta J)^{-r}\) formasında çap edildiyi görünür. \(g(x)=\sqrt{x}/(1+\sqrt{x})\) olduğuna görə \(0<g(x)<1\); üstəlik mətn bu sərhədin \(\beta\to0\) həddində itdiyini açıq deyir. Buna görə iki sətir formal olaraq bir-biri ilə uyğun deyil. Burada mənbə düsturu səssizcə dəyişdirilməyib; məqalənin əsas spektral boşluq nəticəsi Theorem II.1/B.1 və ətrafındakı sübut quruluşuna əsaslanaraq təqdim edilib.

Mənbə və Metod Qeydi

Orijinal iş: Efficient thermalization and universal quantum computing with quantum Gibbs samplers

Müəlliflər: Cambyse Rouzé; Daniel Stilck França; Álvaro M. Alhambra.

Töhfə: Nature Physics qeydi bütün müəlliflərin tədqiqata və məqalənin hazırlanmasına bərabər töhfə verdiyini bildirir.

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

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

Yüklənmiş mənbə versiyası: arXiv:2403.12691v3 [quant-ph], 17 Aprel 2026, 39 səhifə. arXiv qeydi bu versiyanı dərc olunmuş versiyaya yaxın kimi təsvir edir.

arXiv DOI: 10.48550/arXiv.2403.12691

Rəyli nəşr: Nature Physics, cild 22, səhifə 1123–1127, 2026.

Nəşr tarixi: 15 Aprel 2026.

Rəyli nəşrin DOI-si: 10.1038/s41567-026-03246-y

Rəsmi bağlantılar: https://arxiv.org/abs/2403.12691 və https://doi.org/10.1038/s41567-026-03246-y

Mənbə növü: Nəzəri/riyazi kvant məlumatı, açıq kvant sistemləri və hesablama mürəkkəbliyi araşdırması. Eksperimental tədqiqat deyil.

Rəyçilik: Nature Physics-də rəyli məqalə kimi dərc olunub. Yüklənmiş PDF arXiv v3 versiyasıdır və rəyli nəşrdən sonra yenilənib.

Lisenziya: arXiv versiyasının qeydiyyatlı lisenziyası Creative Commons Attribution 4.0 International, CC BY 4.0-dır. Rəyli nəşriyyat versiyasının giriş şərtləri ayrıca nəşriyyatın öz səhifəsinə tabedir.

Əvvəlki nəşr: Tədqiqatın bir hissəsi daha əvvəl 57. ACM Symposium on Theory of Computing, STOC 2025 çərçivəsində qısa konfrans xülasəsi kimi dərc olunub.

Maliyyələşdirmə: Mənbə Cambyse Rouzé üçün Fransanın ANR QTraj layihəsi ANR-20-CE40-0024-01-i; Daniel Stilck França üçün Avropa Birliyi Grant Agreement 101080142/EQUALITY və Novo Nordisk Foundation NNF20OC0059939 Quantum for Life dəstəyini; Álvaro M. Alhambra üçün İspaniya Agencia Estatal de Investigación dəstəklərini, CEX2020-001007-S, PCI2024-153448, PID2023-150847NA-I00 və Ramón y Cajal RyC2021-031610-I qrantlarını; həmçinin QuantERA II/H2020 GA 101017733 dəstəyini bildirir.

Maraqlar toqquşması: Rəyli nəşr qeydi müəlliflərin maraqlar toqquşması bildirmədiyini göstərir.

Məlumat və kod: Yüklənmiş tədqiqat əsasən sübut və nəzəri quruluşa söykənir; eksperimental məlumat dəsti istifadə edilmir. Yüklənmiş v3 PDF-də ayrıca eksperimental məlumat əlçatanlığı və ya proqram kod deposu tədqiqatın əsas nəticəsi üçün mənbə kimi göstərilmir.

Şəkil və cədvəl vəziyyəti: Yüklənmiş 39 səhifəlik PDF-də elmi məlumat şəkli, qrafik və ya cədvəl yoxdur. Buna görə Verianla-da istifadə ediləcək vizuallar yalnız mənbə tənliklərinə və metod ardıcıllığına əsaslanan source-derived izahlı sxemlər olmalıdır; uydurma enerji spektrləri, saxta ədədi qrafiklər və ya eksperimental görüntülər yaradılmamalıdır.

Əsas metodoloji sərhəd: Yüksək temperatur nəticəsi müəyyən KMS-simmetrik Gibbs nümunələyici ailəsi və Lieb–Robinson lokallığı üçün nəzəri zəmanətdir. Aşağı temperaturdakı BQP-tamlıq nəticəsi isə xüsusi circuit-to-Hamiltonian ailələri və parametr miqyaslamalarına əsaslanan mürəkkəblik-nəzəri mövcudluq/universallıq nəticəsidir. Nəticələr ümumi fiziki sistemlərin öz-özünə bu dinamikanı tətbiq etdiyini və ya praktik kvant üstünlüyü əldə edildiyini göstərmir.