Bu tədqiqat amplitudları məlum riyazi funksiya ilə müəyyən edilən kvant vəziyyətlərini hazırlamaq üçün funksiya qiymətlərini kvant registrlərində koherent arifmetik dövrələrlə hesablamaq və ya kvant yaddaşı/cədvəl oxumaları ilə yükləmək zərurətini aradan qaldıran bir üsul hazırlayır. Əsas fikir çox aşağı xərclə blok-kodlanan sinus funksiyasını quantum singular value transformation (QSVT) istifadə edərək hədəf funksiyanın polinom yaxınlaşmasına çevirmək və sonra amplitud gücləndirməsi ilə istənən normallaşdırılmış kvant vəziyyətini əldə etməkdir. Dəqiq paritetli həqiqi funksiyalar üçün əsas teorem ən çox üç ancilla qubit ilə \(O(nd/\mathcal F_{\tilde f}^{[N]})\) gate mürəkkəbliyi verir; daha ümumi halda üsul dörd ancilla qubitə qədər çıxa bilər. Gaussian və Kaiser pəncərə vəziyyətləri üçün nəzəri mürəkkəblik sərhədləri və konkret resurs təxminləri təqdim olunur. Əsas məhdudiyyət ondan ibarətdir ki, üsul xüsusilə aşağı dərəcəli polinom və ya yığcam Fourier yaxınlaşması olan funksiyalarda üstünlük verir və səmərəlilik funksiyanın \(L_2\)-norm doldurma nisbətindən asılı qalır.

Üsulun ən diqqətəlayiq praktik nəticəsi qubit istifadəsində ortaya çıxır. Mənbədə verilən 16 qubitlik Gaussian nümunəsində QSVT əsaslı dövrə yalnız 3 ancilla qubit istifadə etdiyi halda, müqayisə edilən amplitude-oracle əsaslı üsullarda bu say 141–189 arasında dəyişir. Tədqiqatçılar bu azalmanı erkən xəta-dözümlü kvant hesablama dövründə dövrələrin fiziki izini kiçiltmək baxımından əhəmiyyətli hesab edirlər.

Bununla belə, tədqiqat “QSVT üsulu bütün vəziyyət hazırlama üsullarından daha az gate istifadə edir” nəticəsini çıxarmır. Konkret resurs cədvəlində QSVT üçün T gate-lər, digər bəzi üsullar üçün isə Toffoli gate-lər sayılır və üsulların gate xərcləri eyni vahiddə verilməyib. Tədqiqatın daha güclü və birbaşa müqayisə edilə bilən nəticəsi ancilla qubit sayındakı böyük azalmadır.

Kvant vəziyyət hazırlama problemi nədir?

Tədqiqatçılar \(N=2^n\) ölçülü kvant vəziyyətini \(n\) qubit üzərində hazırlamaq istəyirlər. Hədəf vəziyyətin amplitudları əvvəlcədən məlum olan \(f\) funksiyası ilə müəyyən edilir:

\[ |\Psi_f\rangle = \frac{1}{\mathcal N_f} \sum_{x=-N/2}^{N/2-1} f(\bar x)|x\rangle, \]

burada

\[ \bar x=\frac{2ax}{N} \]

və

\[ \mathcal N_f = \sqrt{\sum_x|f(\bar x)|^2}. \]

Belə vəziyyətlər diferensial tənlik alqoritmlərində, sonlu element üsullarında, kvant sahə nəzəriyyəsi simulyasiyalarında, maliyyə törəmə alətlərinin qiymətləndirilməsində, faza qiymətləndirməsində və grid əsaslı kvant kimyasında lazım ola bilər.

Ənənəvi üsullarda problem haradadır?

Bir çox vəziyyət hazırlama üsulu əvvəlcə

\[ |x\rangle|0\rangle \longrightarrow |x\rangle|f(\bar x)\rangle \]

tipli amplitude oracle yaradır.

Bunun üçün \(f(\bar x)\) qiymətinin kvant registrlərində müəyyən sayda bitlə hesablanması lazımdır. Mənbə iki əsas yanaşmanın istifadə oluna biləcəyini bildirir: sabit nöqtəli koherent kvant arifmetikası və ya əvvəlcədən hesablanmış qiymətlərin kvant cədvəli/yaddaş strukturundan oxunması.

Hər iki seçim xüsusilə ancilla qubit və non-Clifford gate baxımından bahalı ola bilər. Bundan əlavə, arifmetik dövrələr daşma xətaları, sabit nöqtəli təsvirlər və funksiyaya xüsusi optimallaşdırmalar səbəbindən çox vaxt əl ilə layihələndirilməlidir.

Yeni üsulun əsas layihə məqsədi bu amplitude oracle qatını tamamilə aradan qaldırmaqdır.

QSVT burada nə edir?

Quantum singular value transformation blok-kodlama daxilində olan matrisin təkil qiymətlərinə və ya uyğun Hermit halda özqiymətlərinə polinom funksiyası tətbiq etməyə imkan verir.

Bir \((n+m)\)-qubit unitar \(U\), Hermit \(A\) matrisi üçün təxmini blok-kodlama kimi

\[ \left\| \alpha (\langle0|^{\otimes m}\otimes I_n) U (|0\rangle^{\otimes m}\otimes I_n) - A \right\| \leq\epsilon \]

şərtini ödədikdə, uyğun QSVT faza bucaqları istifadə olunaraq \(A\)-nın polinom funksiyası tətbiq edilə bilər.

Bu tədqiqatda hədəf \(f\) funksiyasını birbaşa hesablamaq əvəzinə əvvəlcə çox ucuz şəkildə

\[ A= \sum_{x=-N/2}^{N/2-1} \sin\left(\frac{2x}{N}\right) |x\rangle\langle x| \]

matrisi blok-kodlanır.

Daha sonra

\[ f(a\arcsin(y)) \]

funksiyasının uyğun polinom yaxınlaşması hazırlanır və QSVT vasitəsilə sinus blok-kodlaması hədəf funksiyaya çevrilir.

Polinom yaxınlaşması necə təyin olunur?

Dəqiq paritetli həqiqi funksiya üçün tədqiqatçılar dərəcəsi \(d\) olan və

\[ \max_{y\in[-1,1]}|h(y)|\leq1 \]

şərtini ödəyən \(h(y)\) polinomundan istifadə edirlər.

Reallaşdırılan təxmini funksiya

\[ \tilde f(y)=h(\sin(y/a)) \]

kimi müəyyən edilir.

QSVT unitarliyini qorumaq üçün polinomun bütün \([-1,1]\) sahəsində modulu 1-i aşmamalıdır. Müəlliflər minimax polinomların Remez alqoritmi və ya Taylor açılımları ilə hesablana biləcəyini bildirirlər.

\(L_2\)-norm filling-fraction nədir?

Alqoritmin mürəkkəbliyini müəyyən edən əsas kəmiyyətlərdən biri mənbədə “discretized \(L_2\)-norm filling-fraction” kimi təyin edilir:

\[ \mathcal F_p^{[N]} = \frac{\mathcal N_p} {\sqrt N\, \max_{y\in[-a,a]}|p(y)|}. \]

Bu kəmiyyət funksiyanın maksimum qiymətinə görə normallaşdırıldıqda \(N\) grid nöqtəsinin nə qədərinin mənalı \(L_2\) çəkisi ilə dolduğunu ölçür.

İntuitiv olaraq çox dar və iti funksiyada amplitud çəkisi az sayda grid nöqtəsində cəmlənir və \(\mathcal F\) kiçilir. Daha geniş funksiyada doldurma nisbəti daha yüksək olur.

Amplitude amplification sayı təxminən

\[ O\left(\frac{1}{\mathcal F_{\tilde f}^{[N]}}\right) \]

olduğuna görə kiçik filling-fraction alqoritmin xərcini artırır.

Əsas teorem nə deyir?

Mənbənin Theorem 1 nəticəsinə görə uyğun \(h(y)\) yaxınlaşması

\[ \left| \tilde f(y) - \frac{f(ay)} {\max_{y\in[-1,1]}|f(ay)|} \right|_{\max} \leq \frac{\epsilon}{3} \min \left( \mathcal F_f^{[N]}, \mathcal F_{\tilde f}^{[N]} \right) \]

şərtini ödəyirsə, hədəf \(|\Psi_f\rangle\) vəziyyətinə trace distance-i ən çox \(\epsilon\) olan \(|\Psi_{\tilde f}\rangle\) vəziyyəti

\[ O\left( \frac{nd} {\mathcal F_{\tilde f}^{[N]}} \right) \]

gate istifadə etməklə və ən çox üç ancilla qubit ilə hazırlana bilər.

Bu üç-qubit nəticəsi tədqiqatın əsas teoremində araşdırılan dəqiq-paritetli həqiqi funksiyalar sinfinə aiddir. Məqalənin ümumi üsul xülasəsində qarışıq paritet və ya daha ümumi funksiyalarda bir əlavə ancilla tələb oluna biləcəyi üçün ümumi say dörd kimi verilir.

Şəkil 1-dəki üç dövrə nə edir?

Mənbənin 2-ci səhifəsindəki Şəkil 1 bütün alqoritmi üç fiziki dövrə qatına ayırır.

İlk blok-kodlama dövrəsi istiqamətə nəzarətli phase-gradient əməliyyatı ilə Hadamard-test bənzəri strukturu birləşdirir. Beləcə \(x\) qiymətinin özünü say registrində hesablamaq əvəzinə faza rotasiyaları vasitəsilə birbaşa \(\sin(2x/N)\) amplitudu yaranır.

İlk post-selection uğuru nə qədərdir?

\(U_{\tilde f}\) bərabər superpozisiya vəziyyətinə tətbiq edildikdə ilk iki ancilla qubitin \(|00\rangle\) kimi ölçülməsi istənən vəziyyəti yaradır.

Əsas teoremdəki yaxınlaşma xətası şərtləri altında bu hadisənin uğur ehtimalı ən az

\[ \frac{4}{9} \left( \mathcal F_{\tilde f}^{[N]} \right)^2 \]

kimi məhdudlaşdırılır.

Müəlliflər Appendix B-də tam amplitud gücləndirmə üsulunu ayrıca sübut edir və bu uğur ehtimalını nəzəri olaraq 1-ə qaldırırlar.

Tam amplitud gücləndirməsində yeni olan nədir?

Tədqiqatın Appendix B bölməsi standart amplitude amplification-ın tam uğura uyğunlaşdırılmış versiyasını ətraflı verir. Chebyshev polinomlarının

\[ T_n(x)=\cos(n\arccos x) \]

tərifi və rekursiya əlaqəsi istifadə olunur.

Başlanğıc uğur amplitudu \(a\) məlum olduqda uyğun sayda Grover-bənzəri əks etdirmə və əlavə tək-qubit rotasiyası ilə hədəf komponent tam olaraq vahid amplituda gətirilə bilər.

Mənbə həmçinin \(a\)-nın yalnız təxmini məlum olduğu halı təhlil edir və real amplituddakı xəta üçün ikinci dərəcəli həssaslıq sərhədi verir.

Funksiya hamar olduqda mürəkkəblik necə dəyişir?

Analitik və hamar funksiyalarda polinom yaxınlaşma xətası çox vaxt dərəcə ilə eksponensial şəkildə azala bilər:

\[ \delta=O(e^{-d}). \]

Bu halda tələb olunan polinom dərəcəsi loqarifmik artır və mənbə ümumi gate mürəkkəbliyini, polylogarithmic terminləri gizlədərək,

\[ \widetilde O \left( \frac{n} {\mathcal F_{\tilde f}^{[N]}} \log\frac1\epsilon \right) \]

şəklində ifadə edir.

Gaussian və Kaiser pəncərəsi niyə seçilib?

Tədqiqat üsulun yalnız abstrakt funksiya sinfində qalmadığını göstərmək üçün iki mühüm tətbiq seçir.

Gaussian funksiyası mənbədə ümumi təhlil üçün

\[ f_\beta(x) = \exp\left(-\frac{\beta}{2}x^2\right) \]

kimi təyin olunur. Gaussian vəziyyətləri kvant kimyasında, kvant sahə nəzəriyyəsində və maliyyə alqoritmlərində istifadə oluna bilər.

Kaiser pəncərəsi isə

\[ W_\beta(x) = \frac{ I_0\left( \beta\sqrt{1-x^2} \right) }{ I_0(\beta) } \]

şəklindədir. \(I_0\), birinci növ sıfırıncı tərtib modified Bessel funksiyasıdır.

Kaiser pəncərəsi xüsusilə quantum phase estimation-da əsas pik genişliyi ilə yan zolaq hündürlüyü arasındakı trade-off-u tənzimləmək üçün istifadə olunur.

Gaussian və Kaiser vəziyyətlərinin nəzəri mürəkkəbliyi

Theorem 2,

\[ \epsilon\in(0,1/2) \]

və

\[ 2^n\geq\sqrt{\beta} \]

şərtləri altında hər iki vəziyyətin

\[ O\left( n(\beta+1)^{1/4} \left[ \beta+\log(1/\epsilon) \right] \right) \]

gate mürəkkəbliyi ilə hazırlana biləcəyini göstərir.

Gaussian vəziyyətində əlavə olaraq

\[ \beta\geq\log(1/\epsilon) \]

olduqda dəstək sahəsinin yenidən miqyaslanması ilə sərhəd

\[ O\left( n\log^{5/4}(1/\epsilon) \right) \]

səviyyəsinə yaxşılaşdırıla bilər.

Filling-fraction üçün niyə \(\beta^{-1/4}\) miqyası yaranır?

Appendix G-də həm Gaussian, həm də Kaiser pəncərəsi üçün

\[ f(x)\geq1-\frac{\beta}{2}x^2 \]

aşağı sərhədi qurulur.

\(\beta\geq2\) rejimində bu aşağı sərhəd müəyyən mərkəzi intervalda inteqrasiya edilərək fasiləsiz \(L_2\) doldurma nisbətinin təxminən

\[ \mathcal F_f^{[\infty]} = \Omega(\beta^{-1/4}) \]

miqyasından daha pis olmadığı göstərilir.

Beləliklə \(\beta\) böyüyüb funksiya daraldıqca amplitud gücləndirmə xərci də təxminən dördüncü kök miqyasında artır.

Resurs müqayisəsində üsul nə qazanır?

Mənbənin 3-cü səhifəsindəki Tablo I dəqiq-paritetli həqiqi funksiyaların hazırlanmasını müxtəlif üsullar arasında müqayisə edir.

Məqalənin əsas üstünlük iddiası amplitude oracle-nın tamamilə aradan qaldırılması sayəsində ancilla sayının kəskin azalmasıdır.

16 qubitlik Gaussian resurs təxmini

Mənbənin 4-cü səhifəsindəki Tablo II, \(n=16\) qubit və trace distance

\[ \epsilon\leq10^{-6} \]

olan konkret Gaussian hazırlama nümunəsini araşdırır.

Cədvəl başlığı bu xüsusi resurs təxmini üçün funksiyanı

\[ \exp(-\beta x^2), \qquad \beta=10, \qquad x\in[-1,1] \]

şəklində yazır. Bu, məqalənin nəzəri hissəsindəki \(\exp(-\beta x^2/2)\) parametrizasiyasından fərqlidir; mənbə iki göstərimi açıq şəkildə eyniləşdirmədiyi üçün bu qiymətlər eyni \(\beta\) qəbul edilməməlidir.

Gate sayları niyə eyni qrafikdə verilməyib?

Tablo II-nin gate sütununun başlığı “T / Toffoli gates” şəklindədir və bütün üsullar eyni əsas gate vahidi ilə hesabat vermir.

Mənbə qeydində T və Toffoli xərcləri arasında fault-tolerant həyata keçirmədən asılı çevrilmələr olduğu açıq şəkildə bildirilir. Məsələn, uyğun ancilla ilə dörd T gate istifadə etməklə bir Toffoli həyata keçirilə biləcəyinə istinad edilir. Buna görə xam 48.000 və 24.000 saylarını “QSVT iki dəfə bahadır” kimi birbaşa müqayisə etmək elmi baxımdan düzgün deyil.

QSVT resurs təxmini necə əldə edilir?

QSVT dövrəsində dominant non-Clifford xərc \(U_{\sin}\) daxilindəki Z rotasiyalarının fault-tolerant sintezindən yaranır.

Mənbə təxmini T xərcini

\[ (2R+1)d(n+1) \left[ 0.57 \log_2 \left( \frac{(2R+1)d(n+1)}{\epsilon_s} \right) + 8.83 \right] \]

ilə verir.

Konkret nümunədə təxminən \(5.7\times10^{-7}\) trace distance təmin edən dərəcəsi 20 olan, cüt-paritetli polinom kifayət edib və R=2 amplitud-gücləndirmə turu istifadə olunub.

Gate xərci daha da azaldıla bilərmi?

Mənbə təxminən \(n\) əlavə ancilla qubit sərf etməyə razı olunduqda sinus blok-kodlamasındakı rotasiya xərcinin müxtəlif dövrə arxitekturaları ilə azaldıla biləcəyini müzakirə edir.

Təklif edilən seçimlərdən biri phase-gradient catalyst vəziyyətindən istifadə edən toplama dövrəsi, digəri isə sinus əvəzinə birbaşa \(x\)-i blok-kodlayan comparator-test yanaşmasıdır.

Bu, mühüm mühəndislik trade-off-una işarə edir: tədqiqat hər şəraitdə “ən az qubit və ən az gate” verən tək nöqtə təqdim etmir; arxitekturaya görə qubit ilə non-Clifford gate arasında seçim edilə bilər.

Daha yaxşı başlanğıc paylanması istifadə edilə bilərmi?

Standart alqoritm

\[ |+\rangle^{\otimes n} \]

bərabər superpozisiyasını başlanğıc prior kimi istifadə edir.

Lakin hədəf \(f\) funksiyasına daha çox bənzəyən aşağı xərcli \(p\) prior hazırlana bilirsə, alqoritm \(f/p\) nisbətini blok-kodlaya bilər.

Mənbə bildirir ki, hədəf funksiyanın normallaşdırılmasına bənzər prior seçildikdə amplitude amplification tur sayı azala bilər.

Kəsilməli funksiyalar necə işlənir?

QSVT polinomları kəsilmələri təxmin etməkdə çətinlik çəkə bilər. Tədqiqat iki həll təklif edir.

Birinci həll yolunda koherent inequality test ilə registr kəsilmənin solunda və sağında olan vəziyyətləri işarələyən flag qubit ilə dolaşıq hala gətirilir. Hər regiona fərqli QSVT polinomu tətbiq edilir.

İkinci yanaşmada inequality test ədədi domain daxilində süni bir “boşluq” yaradır. Hədəf vəziyyət bu boşluqda dəstəyə malik olmadığı üçün kəsilməli funksiya boşluq daxilində hamar və fasiləsiz funksiya ilə birləşdirilə bilər. İş bitdikdən sonra flag uncompute edilərək orijinal grid bərpa olunur.

Fourier yaxınlaşması niyə təbii genişlənmədir?

Tədqiqat üsulun Fourier-based quantum eigenvalue transformation ilə də uyğun olduğunu bildirir.

Bu halda polinom blok-kodlaması əvəzinə

\[ U(A) = |0\rangle\langle0|\otimes I + |1\rangle\langle1|\otimes e^{iAt} \]

tipli idarə olunan zaman evolyusiyası istifadə olunur.

Xüsusilə qlobal harmoniklər kimi yığcam Fourier açılımına malik funksiyalarda bu yanaşma üstün ola bilər.

Çoxdəyişənli funksiyalar üçün vəziyyət necədir?

Məqalə xətti kombinasiyalar və blok-kodlama hasilələri istifadə olunaraq \(f(x,y)\) kimi funksiyaların sıra açılımları üzərindən çoxdəyişənli genişlənmələr edilə biləcəyini müzakirə edir.

Alternativ olaraq multivariable-QSP istifadə oluna bilər.

Lakin müəlliflər burada iki açıq problemi xüsusilə qeyd edirlər: MQSP ilə reallaşdırıla bilən funksiya siniflərinin hələ tam xarakterizə olunmaması və ölçü artdıqca filling-fraction-ın eksponensial şəkildə kiçilə bilməsi riski.

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

• Məlum funksiyanı amplitud kimi kodlayan kvant vəziyyətləri uyğun funksiya siniflərində koherent arithmetic amplitude oracle yaradılmadan hazırlana bilər.
• Sinus funksiyasının aşağı xərcli blok-kodlaması QSVT vasitəsilə hədəf funksiyanın polinom yaxınlaşmasına çevrilə bilər.
• Dəqiq-paritetli həqiqi funksiyalar üçün əsas alqoritm ən çox üç ancilla qubit istifadə edir.
• Daha ümumi funksiya siniflərində üsulun ancilla tələbi dörd qubitə qədər arta bilər.
• Gate mürəkkəbliyi \(O(nd/\mathcal F_{\tilde f}^{[N]})\) ilə məhdudlaşdırıla bilər.
• Analitik olaraq yaxşı polinom yaxınlaşması olan funksiyalarda xəta asılılığı loqarifmik hala gələ bilər.
• Gaussian və Kaiser pəncərə vəziyyətləri üçün açıq nəzəri mürəkkəblik sərhədləri əldə edilir.
• 16 qubitlik resurs təxminində QSVT üsulunun ancilla ehtiyacı müqayisə olunan amplitude-oracle üsullarına nisbətən bir mərtəbədən çox azalır.
• Üsul yaxşılaşdırılmış priors, məhdud sayda kəsilmə və Fourier əsaslı funksiya yaxınlaşmalarına genişləndirilə bilər.

Tədqiqatın dəstəkləmədiyi və ya sınaqdan keçirmədiyi nəticələr

• Üsulun bütün mümkün funksiyalarda mövcud vəziyyət hazırlama üsullarından daha səmərəli olduğu sübut edilmir.
• Aşağı dərəcəli polinom və ya Fourier yaxınlaşması olmayan funksiyalarda eyni üstünlük zəmanət verilmir.
• 48.000 T gate ilə 24.000 və ya 45.000 Toffoli qiymətləri birbaşa eyni vahiddə fiziki xərc ölçüsü deyil.
• Resurs təxminləri real fault-tolerant kvant avadanlığında ölçülmüş işləmə vaxtları deyil.
• Tədqiqat fiziki qubit sayını birbaşa hesablamır; cədvəllər məntiqi/alqoritmik qubit və gate resurslarını müzakirə edir.
• Filling-fraction çox kiçik olduqda amplitude amplification xərci yüksək qala bilər.
• Çoxdəyişənli yüksəkölçülü funksiyalarda filling-fraction probleminin həll edildiyi göstərilmir.
• Gaussian və ya Kaiser vəziyyətlərinin konkret real kvant prosessorunda eksperimental hazırlandığı hesabat verilmir.

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

Tədqiqat dizaynı

Bu tədqiqat nəzəri kvant alqoritmləri və resurs analizi araşdırmasıdır. Fiziki cihaz üzərində yeni təcrübə aparılmayıb. Üsul blok-kodlama, QSVT, polinom yaxınlaşması, trace-distance xəta analizi, exact amplitude amplification, funksiya yaxınlaşma nəzəriyyəsi və fault-tolerant resurs təxmininə əsaslanır.

Alqoritmik iş axını

1. Hədəf \(f(\bar x)\) funksiyasının normallaşdırılmış polinom yaxınlaşması klassik şəkildə hesablanır.
2. QSVT faza bucaqları klassik ön-hesablama ilə müəyyən edilir.
3. \(U_{\sin}\) dövrəsi sinus funksiyasını aşağı xərclə blok-kodlayır.
4. QSVT, \(U_{\sin}\) blok-kodlamasını \(\tilde f\) funksiyasına çevirir.
5. Dövrə bərabər başlanğıc superpozisiyasına tətbiq edilir.
6. İstənən ancilla altfəzasındakı uğur komponenti amplitude amplification ilə 1-ə qaldırılır.
7. Əldə olunan normallaşdırılmış vəziyyətin hədəf \(|\Psi_f\rangle\)-yə trace distance-i polinom yaxınlaşma xətası ilə məhdudlaşdırılır.

Xəta ölçüsü

Mənbə vəziyyət dəqiqliyini trace distance ilə ölçür:

\[ D \left( |\Psi_{\tilde f}\rangle, |\Psi_f\rangle \right) = \sqrt{ 1- |\langle\Psi_f|\Psi_{\tilde f}\rangle|^2 }. \]

Appendix C-dəki Lemma 6 göstərir ki, funksiyanın maksimum norma yaxınlaşma xətası filling-fraction ilə uyğun miqyaslandıqda vəziyyət trace distance-i \(\epsilon\)-dan böyük olmur.

Daha sıx xəta analizi

Müəlliflər maksimum \(L_\infty\) xəta sərhədinin praktik polinom yaxınlaşmalarında çox vaxt konservativ olduğunu qeyd edirlər.

Əvəzində real daxili hasil

\[ \frac{ \sum_x f(\bar x)\tilde f(\bar x) }{ \mathcal N_f\mathcal N_{\tilde f} } \]

birbaşa hesablana bilirsə daha sıx trace distance tapıla bilər.

Grid çox böyük olduqda cəmlər uyğun Riemann inteqralları ilə təxmini qiymətləndirilə bilər.

Diskretləşdirmə xətası

Appendix B-də standart Riemann cəmi nəticələri istifadə olunur. Fasiləsiz diferensiallanuan funksiyalarda grid yaxınlaşma xətası \(O(1/N)\), orta nöqtə tipli yerləşdirmə və ikinci törəmə fərziyyəsi altında isə \(O(1/N^2)\) miqyasına endirilə bilər.

Bu, çox yüksək \(n\) qiymətlərində fasiləsiz filling-fraction-ın diskret qiyməti təxminən təmsil etməsini dəstəkləyir.

Gaussian/Kaiser polinom dərəcəsi

Appendix F, Taylor sırası əmsallarının mütləq cəmi üzərindən ümumi truncation teoremi qurur.

Həm Gaussian, həm də Kaiser pəncərəsi üçün nəticə olaraq

\[ d= O\left( \beta+\ln(1/\delta) \right) \]

dərəcəli və \([-1,1]\) üzərində məhdud polinomun tələb olunan yaxınlaşma dəqiqliyini təmin edə bildiyi göstərilir.

Konkret Gaussian nümunəsinin parametrləri

Amplitude-oracle resurs təxminləri necə yaradılıb?

Appendix I rəqib üsulların xərclərini mənbə məqalələrdəki dövrələr və konkret arifmetik alt-rutinlərlə yenidən hesablayır.

Piecewise-polynomial amplitude oracle üçün mənbə təxminən 20.504 Toffoli / oracle çağırışı və 162 oracle ancillası istifadə edir; tam state-preparation üsulu ilə ümumi ancilla Tablo II-də 168-ə çıxır.

Linear interpolation yanaşmasında QROM ilə təxminən 1900 interval üçün gradient və intercept qiymətləri yüklənir. Ara addımlarda vurma, kvadrata yüksəltmə və idarə olunan bit-shift əməliyyatları istifadə olunur; amplitude oracle başına təxminən 4069 Toffoli əldə edilir.

Bespoke Gaussian oracle qiymətləri isə əvvəlki mənbə tədqiqatın təxminlərindən götürülür və müəlliflər bunların optimist aşağı sərhəd olduğunu xüsusi qeyd edirlər.

Resurs təxminlərinin əsas elmi mesajı

Konkret nümunədə QSVT üsulunun gate üstünlüyü qəti və universal üstünlük kimi ortaya çıxmır; lakin ancilla fərqi çox aydındır.

QSVT:

\[ 3\text{ ancilla} \]

istifadə etdiyi halda ən aşağı rəqib qiymət:

\[ 141\text{ ancilla} \]

olduğuna görə seçilmiş nümunədə məntiqi köməkçi qubit tələbi təxminən iki miqyas mərtəbəsinə yaxın azalır.

Bu nəticə xüsusilə erkən fault-tolerant dövrdə alqoritmin ümumi fiziki qubit izini azaltmağa çalışan sistem dizaynları üçün önəmlidir.

Tədqiqatın güclü tərəfləri

• Funksiyaya xüsusi koherent arifmetik dövrələr əvəzinə yenidən istifadə edilə bilən vahid QSVT dövrə şablonu təqdim etməsi.
• Amplitude oracle tələbini tamamilə aradan qaldırması.
• Xəta analizi və state trace-distance sərhədlərini açıq teoremlərlə verməsi.
• Exact amplitude amplification halını ətraflı sübut etməsi.
• Asimptotik mürəkkəbliklə yanaşı konkret fault-tolerant resurs təxminləri verməsi.
• Gaussian və Kaiser pəncərəsi kimi alqoritmik baxımdan mühüm iki funksiyanı ətraflı təhlil etməsi.
• Ancilla qubit xərcində çox güclü azalma göstərməsi.
• Priors, kəsilmələr və Fourier yaxınlaşması üçün genişlənmə yolları təqdim etməsi.

Tədqiqatın məhdudiyyətləri

• Üstünlük funksiyanın aşağı dərəcəli polinom və ya uyğun Fourier yaxınlaşmasına malik olmasından asılıdır.
• Mürəkkəblik filling-fraction kiçildikdə pisləşir.
• Gate sayı baxımından müqayisə edilən üsullar fərqli non-Clifford gate vahidlərindən istifadə edir.
• Resurs təxminləri fiziki xəta düzəltmə arxitekturasının hamısını modelləşdirmir.
• QSVT rotasiyalarının fault-tolerant sintezi əhəmiyyətli T-gate xərci yaradır.
• Çoxdəyişənli funksiyalarda filling-fraction-ın ölçü ilə azalması həll edilməmiş problemdir.
• Bespoke Gaussian müqayisəsinin resurs təxmini müəlliflərin də qeyd etdiyi kimi optimist aşağı sərhəddir.
• Tədqiqat real kvant avadanlığında tətbiq və ya benchmark təqdim etmir.

Mənbə və Metod Qeydi

Tam orijinal işin adı: Quantum state preparation without coherent arithmetic

Müəlliflər: Sam McArdle; András Gilyén; Mario Berta.

Müəllif sırası: Yüklənmiş mənbədə verilən sıra olduğu kimi qorunub.

Bərabər töhfə/bərabər birinci müəllif: Mənbədə göstərilməyib.

Məsul müəllif: Yüklənmiş arXiv v2 PDF-də ayrıca corresponding-author işarəsi yoxdur.

Yüklənmiş PDF afiliyasiyaları: AWS Center for Quantum Computing, Pasadena, ABŞ; Alfréd Rényi Institute of Mathematics, Budapest, Macarıstan; Department of Computing, Imperial College London, London, Birləşmiş Krallıq; Institute for Quantum Information, RWTH Aachen University, Aachen, Almaniya. Yüklənmiş v2-də Mario Berta AWS, Imperial College London və RWTH Aachen afiliyasiyalarını daşıyır.

Elmi sahə: Kvant alqoritmləri, kvant vəziyyət hazırlama, quantum singular value transformation, quantum eigenvalue transformation və fault-tolerant kvant resurs analizi.

Yüklənmiş mənbə növü: arXiv repository/preprint versiyası.

Yüklənmiş versiya: arXiv:2210.14892v2 [quant-ph].

İlk arXiv təqdimatı: 26 Oktyabr 2022.

v2 reviziyası: 9 İyul 2025.

PDF tarixi: 10 İyul 2025.

arXiv DOI: 10.48550/arXiv.2210.14892

arXiv rəsmi keçidi: https://arxiv.org/abs/2210.14892

Preprint lisenziyası: arXiv non-exclusive distribution license. Bu lisenziya Creative Commons açıq uyğunlaşdırma lisenziyası deyil.

Hakemlik və yayımlanmış versiya qeydi: Araşdırılan v2 faylı arXiv preprint/repository versiyasıdır. Eyni iş daha sonra hakem qiymətləndirməsindən keçərək Physical Review Letters-da yayımlanıb. Bu Verianla yazısındakı elmi əsas mətn yüklənmiş v2 versiyasından hazırlanıb; sonrakı jurnal qeydi yalnız cari biblioqrafik statusu təsdiqləmək üçün istifadə olunub.

Hakemli nəşr başlığı: Quantum State Preparation without Coherent Arithmetic

Hakemli nəşr: Physical Review Letters, Volume 136, Article 240603 (2026).

Jurnal DOI: 10.1103/ntvs-c48s

Rəsmi jurnal keçidi: https://doi.org/10.1103/ntvs-c48s

Nəşriyyat / nəşr təşkilatı: American Physical Society.

Jurnal təqdimat tarixi: 9 İyul 2025.

Jurnal qəbul tarixi: 6 May 2026.

Jurnal nəşr tarixi: 18 İyun 2026.

Hakemli versiya afiliyasiya qeydi: APS versiyasında Sam McArdle AWS Center for Quantum Computing; András Gilyén HUN-REN Alfréd Rényi Institute of Mathematics; Mario Berta isə RWTH Aachen University və Imperial College London ilə siyahıya alınır. Buna görə v2 ilə jurnal versiyası arasında Mario Berta-nın AWS afiliyasiyası baxımından biblioqrafik fərq var.

Hakemli versiya hüquqları: APS qeyd səhifəsi © 2026 American Physical Society məlumatını verir. Mənbədə Creative Commons lisenziyası göstərilmədiyinə görə hakemli versiya CC lisenziyalı hesab edilməyib.

Maliyyələşdirmə: András Gilyén AWS Center for Quantum Computing dəstəyini; Mario Berta EPSRC EP/W032643/1 dəstəyini bildirir. Mənbə həmçinin Fernando Brandão-ya müzakirələr və layihə dəstəyi üçün təşəkkür edir.

Məlumat əlçatanlığı: Yüklənmiş v2-də ayrıca məlumat əlçatanlığı bəyanatı yoxdur. Tədqiqat eksperimental dataset-ə əsaslanmayan nəzəri kvant alqoritmi və resurs analizi işidir.

Maraq toqquşması: Yüklənmiş v2-də ayrıca maraq toqquşması bəyanatı aşkar edilməyib; bundan maraq toqquşması olmadığı nəticəsi çıxarılmayıb.

Müəllif töhfələri: Yüklənmiş v2-də ayrıca CRediT və ya müəllif töhfələri bölməsi yoxdur.

Mənbə-daxili parametrizasiya qeydi: Əsas tətbiq hissəsində Gaussian \(f_\beta(x)=\exp(-\beta x^2/2)\) şəklində təyin edilərkən Tablo II-nin konkret resurs təxmini başlığı \(\exp(-\beta x^2)\), \(\beta=10\) ifadəsini istifadə edir. Mənbə bu iki \(\beta\) tərifini açıq şəkildə eyniləşdirmədiyinə görə Verianla mətni onları tək parametr kimi birləşdirməyib.

Tədqiqat üsulu: Aşağı xərcli sinus blok-kodlaması; QSVT/QET; klassik minimax və ya Taylor polinom yaxınlaşması; exact və fixed-point amplitude amplification; trace-distance xəta analizi; Riemann-sum discretization sərhədləri; modified Bessel funksiyaları; filling-fraction sərhədləri və fault-tolerant non-Clifford resurs təxminləri.

Elmi məzmun sərhədi: Bu Verianla məqaləsindəki alqoritmik mexanizm, teoremlər, formullar, Gaussian/Kaiser nəticələri, resurs cədvəlləri, dövrə quruluşu və məhdudiyyətlər yüklənmiş arXiv:2210.14892v2 faylına əsaslanır. Xarici mənbə istifadəsi yalnız arXiv kimliyini və 2026 tarixli Physical Review Letters nəşr statusunu biblioqrafik təsdiqləmək məqsədi daşıyır.

Əsas şərh sərhədi: Mənbədə hesablanan qubit və gate qiymətləri alqoritmik/fault-tolerant resurs təxminləridir. Bunlar konkret fiziki kvant kompüterinin real işləmə vaxtı, fiziki qubit sayı və ya eksperimental uğur faizi deyil.