Бул изилдөө амплитудалары белгилүү математикалык функция менен аныкталган кванттык абалдарды даярдоо үчүн функциянын маанилерин кванттык регистрлерде когеренттик арифметикалык схемалар менен эсептөө же кванттык эс/таблица окуулары аркылуу жүктөө зарылдыгын жок кылган ыкманы иштеп чыгат. Негизги идея — өтө төмөн нарк менен блок-коддолгон синус функциясын quantum singular value transformation (QSVT) аркылуу максаттуу функциянын полиномдук жакындашуусуна айлантуу жана андан кийин амплитуданы күчөтүү аркылуу каалаган нормалдаштырылган кванттык абалды алуу. Так паритеттүү реал функциялар үчүн негизги теорема эң көп үч ancilla qubit менен \(O(nd/\mathcal F_{\tilde f}^{[N]})\) gate татаалдыгын берет; жалпы учурда ыкма төрт ancilla qubitке чейин чыгышы мүмкүн. Gaussian жана Kaiser терезе абалдары үчүн теориялык татаалдык чектери жана конкреттүү ресурс баалоолору берилет. Негизги чектөө — ыкма өзгөчө төмөн даражадагы полиномдук же компакттуу Fourier жакындашуусу бар функцияларда пайдалуу болуп, натыйжалуулугу функциянын \(L_2\)-норма толтуруу үлүшүнө көз каранды бойдон калышы.

Ыкманын эң көрүнүктүү практикалык жыйынтыгы qubit колдонууда байкалат. Булактагы 16 qubitтик Gaussian мисалында QSVT негизиндеги схема болгону 3 ancilla qubit колдонот, ал эми салыштырылган amplitude-oracle негизиндеги ыкмаларда бул сан 141–189 аралыгында өзгөрөт. Изилдөөчүлөр бул азаюуну катага чыдамдуу кванттык эсептөөнүн алгачкы мезгилинде схемалардын физикалык изин азайтуу үчүн маанилүү деп эсептешет.

Бирок изилдөө “QSVT ыкмасы бардык абал даярдоо ыкмаларынан азыраак gate колдонот” деген тыянак чыгарбайт. Конкреттүү ресурс таблицасында QSVT үчүн T gate-тер, айрым башка ыкмалар үчүн Toffoli gate-тер саналат жана ыкмалардын gate чыгымдары бирдей бирдикте берилген эмес. Изилдөөнүн күчтүүрөөк жана түз салыштырууга боло турган жыйынтыгы — ancilla qubit санынын абдан чоң азайышы.

Кванттык абал даярдоо маселеси эмне?

Изилдөөчүлөр \(N=2^n\) өлчөмүндөгү кванттык абалды \(n\) qubit үстүндө даярдагысы келет. Максаттуу абалдын амплитудалары алдын ала белгилүү \(f\) функциясы менен аныкталат:

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

мында

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

жана

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

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

Салттуу ыкмалардагы маселе кайда?

Көптөгөн абал даярдоо ыкмалары алгач

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

түрүндөгү amplitude oracle түзөт.

Бул үчүн \(f(\bar x)\) маанисин кванттык регистрлерде белгилүү сандагы бит менен эсептөө талап кылынат. Булакта эки негизги ыкма колдонулушу мүмкүн экени айтылат: туруктуу чекиттүү когеренттик кванттык арифметика же алдын ала эсептелген маанилерди кванттык таблица/эс түзүмүнөн окуу.

Эки вариант тең өзгөчө ancilla qubit жана non-Clifford gate жагынан кымбат болушу мүмкүн. Мындан тышкары, арифметикалык схемалар overflow каталары, туруктуу чекиттик көрсөтмөлөр жана функцияга мүнөздүү оптималдаштыруулардан улам көп учурда кол менен долбоорлонушу керек.

Жаңы ыкманын негизги долбоордук максаты — ушул amplitude oracle катмарын толугу менен алып салуу.

QSVT бул жерде эмне кылат?

Quantum singular value transformation блок-коддоонун ичиндеги матрицанын сингулярдык маанилерине же ылайыктуу Hermit учурда өздүк маанилерине полиномдук функция колдонууга мүмкүндүк берет.

\((n+m)\)-qubit унитардык \(U\), Hermit \(A\) матрицасы үчүн жакындатылган блок-коддоо катары

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

шартын аткарганда, ылайыктуу QSVT фаза бурчтары аркылуу \(A\)-нын полиномдук функциясын колдонууга болот.

Бул изилдөөдө максаттуу \(f\) функциясын түздөн-түз эсептөөнүн ордуна алгач өтө арзан түрдө

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

матрицасы блок-коддолот.

Андан кийин

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

функциясынын ылайыктуу полиномдук жакындашуусу даярдалып, QSVT аркылуу синус блок-коддоосу максаттуу функцияга айландырылат.

Полиномдук жакындашуу кантип аныкталат?

Так паритеттүү реал функция үчүн изилдөөчүлөр даражасы \(d\) болгон жана

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

шартын аткарган \(h(y)\) полиномун колдонушат.

Ишке ашырылган жакындатылган функция

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

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

QSVT унитардуулугун сактоо үчүн полиномдун бардык \([-1,1]\) аймагында чоңдугу 1ден ашпашы керек. Авторлор minimax полиномдорду Remez алгоритми же Taylor кеңейтүүлөрү менен эсептөөгө болорун белгилешет.

\(L_2\)-norm filling-fraction деген эмне?

Алгоритмдин татаалдыгын аныктаган маанилүү чоңдуктардын бири булакта “discretized \(L_2\)-norm filling-fraction” деп аныкталат:

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

Бул чоңдук функциянын максималдык маанисине карата нормалдаштырылганда \(N\) grid чекитинин канчасы маанилүү \(L_2\) салмак менен толтурулганын өлчөйт.

Интуитивдүү түрдө өтө тар жана курч функцияда амплитуда салмагы аз сандагы grid чекиттерине топтолот жана \(\mathcal F\) кичирейет. Кеңири функцияда толтуруу үлүшү жогору болот.

Amplitude amplification саны болжол менен

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

болгондуктан, кичине filling-fraction алгоритмдин чыгымын көбөйтөт.

Негизги теорема эмне дейт?

Булактын Theorem 1 жыйынтыгы боюнча, ылайыктуу \(h(y)\) жакындашуусу

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

шартын аткарса, максаттуу \(|\Psi_f\rangle\) абалына trace distance эң көп \(\epsilon\) болгон \(|\Psi_{\tilde f}\rangle\) абалы

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

gate колдонуу менен жана эң көп үч ancilla qubit менен даярдалышы мүмкүн.

Бул үч-qubit жыйынтыгы изилдөөнүн негизги теоремасында каралган так-паритеттүү реал функциялар классына тиешелүү. Макаланын жалпы ыкма кыскача баяндамасында аралаш паритет же жалпы функцияларда кошумча бир ancilla талап кылынышы мүмкүн болгондуктан, жалпы саны төрт деп берилет.

Сүрөт 1деги үч схема эмне кылат?

Булактын 2-бетиндеги Сүрөт 1 бүт алгоритмди үч физикалык схема катмарына бөлөт.

Биринчи блок-коддоо схемасы багыт менен башкарылган phase-gradient операциясын Hadamard-test сыяктуу түзүм менен айкалыштырат. Ошентип \(x\) маанисин өзүн сандык регистрде эсептөөнүн ордуна фаза ротaциялары аркылуу түздөн-түз \(\sin(2x/N)\) амплитудасы алынат.

Алгачкы post-selection ийгилиги канча?

\(U_{\tilde f}\) бирдей суперпозиция абалына колдонулганда алгачкы эки ancilla qubitтин \(|00\rangle\) болуп өлчөнүшү каалаган абалды чыгарат.

Негизги теоремадагы жакындаштыруу катасынын шарттарында бул окуянын ийгилик ыктымалдыгы кеминде

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

деп чектелет.

Авторлор Appendix Bде exact amplitude amplification ыкмасын өзүнчө далилдеп, бул ийгилик ыктымалдыгын теориялык жактан 1ге чейин көтөрүшөт.

Exact amplitude amplificationда эмнеси жаңы?

Изилдөөнүн Appendix B бөлүмү стандарттык amplitude amplificationдын толук ийгиликке туураланган версиясын кеңири берет. Chebyshev полиномдорунун

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

аныктамасы жана рекурренттик байланышы колдонулат.

Баштапкы ийгилик амплитудасы \(a\) белгилүү болгондо, ылайыктуу сандагы Grover-сыяктуу чагылдыруу жана кошумча бир-qubit ротaциясы менен максаттуу компонент толугу менен бирдик амплитудага жеткирилет.

Булак ошондой эле \(a\) болгону жакындатылып белгилүү болгон жагдайды талдап, чыныгы амплитудадагы ката үчүн экинчи тартиптеги сезгичтик чегин берет.

Функция жылмакай болсо татаалдык кантип өзгөрөт?

Аналитикалык жана жылмакай функцияларда полиномдук жакындаштыруу катасы көп учурда даража менен экспоненциалдуу азайышы мүмкүн:

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

Бул учурда керектүү полином даражасы логарифмдик өсөт жана булак жалпы gate татаалдыгын, polylogarithmic мүчөлөрдү жашырып,

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

түрүндө берет.

Эмне үчүн Gaussian жана Kaiser терезеси тандалган?

Изилдөө ыкманын абстракттуу функция классы менен гана чектелбей турганын көрсөтүү үчүн эки маанилүү колдонмону тандайт.

Gaussian функциясы жалпы талдоо үчүн булакта

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

түрүндө аныкталат. Gaussian абалдары кванттык химияда, кванттык талаа теориясында жана финансылык алгоритмдерде колдонулушу мүмкүн.

Kaiser терезеси болсо

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

түрүндө. \(I_0\) — биринчи түрдөгү нөлүнчү тартиптеги modified Bessel функциясы.

Kaiser терезеси өзгөчө quantum phase estimationда негизги чокунун туурасы менен каптал тилке бийиктигинин ортосундагы trade-offту жөнгө салуу үчүн колдонулат.

Gaussian жана Kaiser абалдарынын теориялык татаалдыгы

Theorem 2,

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

жана

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

шарттарында эки абал тең

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

gate татаалдыгы менен даярдалышы мүмкүн экенин көрсөтөт.

Gaussian абалында кошумча

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

болгондо колдоо аймагын кайра масштабдоо аркылуу чек

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

деңгээлине жакшыртылышы мүмкүн.

Filling-fraction үчүн эмне үчүн \(\beta^{-1/4}\) масштабы чыгат?

Appendix Gде Gaussian да, Kaiser терезеси да үчүн

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

төмөнкү чеги түзүлөт.

\(\beta\geq2\) режиминде бул төмөнкү чек белгилүү бир борбордук аралыкта интегралданып, үзгүлтүксүз \(L_2\) толтуруу үлүшүнүн болжол менен

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

масштабынан жаман эместиги көрсөтүлөт.

Ошондуктан \(\beta\) чоңоюп, функция тарыган сайын amplitude amplification чыгымы болжол менен төртүнчү тамыр масштабы менен өсөт.

Ресурс салыштыруусунда ыкма эмнени утат?

Булактын 3-бетиндеги Table I так-паритеттүү реал функцияларды даярдоону ар кандай ыкмалар арасында салыштырат.

Макаланын негизги артыкчылык билдирүүсү — amplitude oracle толугу менен жоюлгандан улам ancilla санынын кескин азайышы.

16 qubitтик Gaussian ресурс баалоосу

Булактын 4-бетиндеги Table II, \(n=16\) qubit жана trace distance

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

болгон конкреттүү Gaussian даярдоо мисалын карайт.

Таблицанын аталышы бул атайын ресурс баалоосу үчүн функцияны

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

түрүндө жазат. Бул макаланын теориялык бөлүмүндөгү \(\exp(-\beta x^2/2)\) параметризациясынан айырмаланат; булак эки көрсөтүүнү ачык теңдебегендиктен, бул маанилер бир эле \(\beta\) катары кабыл алынбашы керек.

Эмне үчүн gate сандары бир графикте берилген эмес?

Table IIнин gate тилкесинин аталышы “T / Toffoli gates” түрүндө жана бардык ыкмалар бир эле негизги gate бирдиги менен берилген эмес.

Булактын эскертмесинде T жана Toffoli чыгымдарынын ортосунда fault-tolerant ишке ашырууга көз каранды өзгөртүүлөр бар экени ачык айтылат. Мисалы, ылайыктуу ancilla менен төрт T gate аркылуу бир Toffoli ишке ашырууга шилтеме берилет. Ошондуктан чийки 48.000 жана 24.000 сандарын “QSVT эки эсе кымбат” деп түз салыштыруу илимий жактан туура эмес.

QSVT ресурс баалоосу кантип алынат?

QSVT схемасындагы негизги non-Clifford чыгым \(U_{\sin}\) ичиндеги Z ротaцияларын fault-tolerant синтездөөдөн келип чыгат.

Булак болжолдуу T чыгымын

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

менен берет.

Конкреттүү мисалда болжол менен \(5.7\times10^{-7}\) trace distance камсыз кылган даражасы 20, жуп-паритеттүү полином жетиштүү болуп, R=2 amplitude-amplification туру колдонулган.

Gate чыгымын дагы азайтууга болобу?

Булак болжол менен \(n\) кошумча ancilla qubit сарптоого макул болсо, синус блок-коддоодогу ротaция чыгымын башка схема архитектуралары менен азайтууга болорун талкуулайт.

Сунушталган варианттардын бири phase-gradient catalyst абалын колдонгон кошуу схемасы, экинчиси болсо синустун ордуна түз \(x\)-ти блок-коддогон comparator-test ыкмасы.

Бул маанилүү инженердик trade-offту көрсөтөт: изилдөө бардык шартта “эң аз qubit жана эң аз gate” берген жалгыз чекитти сунуштабайт; архитектурага жараша qubit менен non-Clifford gate ортосунда тандоо жасалышы мүмкүн.

Жакшыраак баштапкы бөлүштүрүү колдонсо болобу?

Демейки алгоритм

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

бирдей суперпозициясын баштапкы prior катары колдонот.

Бирок максаттуу \(f\) функциясына көбүрөөк окшош арзан \(p\) prior даярдалса, алгоритм \(f/p\) катышын блок-коддой алат.

Булак максаттуу функциянын нормалдашуусуна окшош prior тандалганда amplitude amplification турларынын санын азайтууга болорун айтат.

Үзүлмө функциялар кантип каралат?

QSVT полиномдору үзүлүүлөрдү жакындатууда кыйынчылык жаратышы мүмкүн. Изилдөө эки чечим сунуштайт.

Биринчи чечимде когеренттик inequality test аркылуу регистр үзүлүүнүн солунда жана оңунда жайгашкан абалдарды белгилеген flag qubit менен чырмалыштырылат. Ар бир аймакка ар башка QSVT полиному колдонулат.

Экинчи ыкмада inequality test сандык domain ичинде жасалма “боштук” ачат. Максаттуу абал бул боштукта колдоого ээ болбогондуктан, үзүлмө функция боштуктун ичинде жылмакай жана үзгүлтүксүз функция менен бириктирилиши мүмкүн. Иш бүткөндө flag uncompute кылынып, баштапкы grid кайра алынат.

Fourier жакындашуусу эмне үчүн табигый кеңейтүү?

Изилдөө ыкманын Fourier-based quantum eigenvalue transformation менен да шайкеш экенин белгилейт.

Бул учурда полиномдук блок-коддоонун ордуна

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

түрүндөгү башкарылган убакыт эволюциясы колдонулат.

Өзгөчө глобалдык гармоникалар сыяктуу компакттуу Fourier кеңейтүүсү бар функцияларда бул ыкма пайдалуу болушу мүмкүн.

Көп өзгөрмөлүү функциялар үчүн абал кандай?

Макала сызыктуу комбинациялар жана блок-коддоо көбөйтүндүлөрү аркылуу \(f(x,y)\) сыяктуу функциялардын катар кеңейтүүлөрүн колдонуп көп өзгөрмөлүү кеңейтүүлөрдү жасоого болорун талкуулайт.

Альтернатива катары multivariable-QSP колдонулушу мүмкүн.

Бирок авторлор бул жерде эки ачык маселени баса белгилешет: MQSP менен ишке ашырылуучу функция класстары толук мүнөздөлө элек жана өлчөм чоңойгон сайын filling-fraction экспоненциалдуу түрдө кичирейүү коркунучу бар.

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

• Белгилүү функцияны амплитуда катары коддогон кванттык абалдар ылайыктуу функция класстарында когеренттик arithmetic amplitude oracle түзүлбөстөн даярдалышы мүмкүн.
• Синус функциясынын арзан блок-коддоосу QSVT аркылуу максаттуу функциянын полиномдук жакындашуусуна айландырылышы мүмкүн.
• Так-паритеттүү реал функциялар үчүн негизги алгоритм эң көп үч ancilla qubit колдонот.
• Жалпы функция класстарында ыкманын ancilla муктаждыгы төрт qubitке чейин чыгышы мүмкүн.
• Gate татаалдыгын \(O(nd/\mathcal F_{\tilde f}^{[N]})\) менен чектөөгө болот.
• Аналитикалык жактан жакшы полиномдук жакындашуусу бар функцияларда катага көз карандылык логарифмдик болушу мүмкүн.
• Gaussian жана Kaiser терезе абалдары үчүн ачык теориялык татаалдык чектери алынат.
• 16 qubitтик ресурс баалоосунда QSVT ыкмасынын ancilla керектөөсү салыштырылган amplitude-oracle ыкмаларына караганда бир тартиптен ашык азаят.
• Ыкманы жакшыртылган priors, чектелген сандагы үзүлүүлөр жана Fourier негизиндеги функция жакындашууларына кеңейтүүгө болот.

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

• Ыкма бардык мүмкүн болгон функцияларда учурдагы абал даярдоо ыкмаларынан натыйжалуураак экени далилденбейт.
• Төмөн даражадагы полином же Fourier жакындашуусу жок функцияларда ошол эле артыкчылык кепилденбейт.
• 48.000 T gate менен 24.000 же 45.000 Toffoli маанилери түздөн-түз бирдей бирдиктеги физикалык чыгым өлчөмү эмес.
• Ресурс баалоолору реал fault-tolerant кванттык аппаратта өлчөнгөн иштөө убакыттары эмес.
• Изилдөө физикалык qubit санын түз эсептебейт; таблицалар логикалык/алгоритмдик qubit жана gate ресурстарын талкуулайт.
• Filling-fraction өтө кичине болсо amplitude amplification чыгымы жогору бойдон калышы мүмкүн.
• Көп өзгөрмөлүү жогорку өлчөмдүү функцияларда filling-fraction маселеси чечилгени көрсөтүлгөн эмес.
• Gaussian же Kaiser абалдарынын белгилүү реал кванттык процессордо эксперименталдык даярдалганы билдирилбейт.

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

Изилдөө дизайны

Бул изилдөө теориялык кванттык алгоритмдер жана ресурс талдоосу боюнча иш. Физикалык түзмөктө жаңы эксперимент жүргүзүлгөн эмес. Ыкма блок-коддоо, QSVT, полиномдук жакындаштыруу, trace-distance ката талдоосу, exact amplitude amplification, функция жакындаштыруу теориясы жана fault-tolerant ресурс баалоосуна негизделет.

Алгоритмдик иш агымы

1. Максаттуу \(f(\bar x)\) функциясынын нормалдаштырылган полиномдук жакындашуусу классикалык түрдө эсептелет.
2. QSVT фаза бурчтары классикалык алдын ала эсептөө менен аныкталат.
3. \(U_{\sin}\) схемасы синус функциясын арзан блок-коддойт.
4. QSVT, \(U_{\sin}\) блок-коддоосун \(\tilde f\) функциясына айлантат.
5. Схема бирдей баштапкы суперпозицияга колдонулат.
6. Каалаган ancilla мейкиндикчесиндеги ийгилик компоненти amplitude amplification менен 1ге чейин көтөрүлөт.
7. Алынган нормалдаштырылган абалдын максаттуу \(|\Psi_f\rangle\) абалына trace distance полиномдук жакындаштыруу катасы менен чектелет.

Ката өлчөмү

Булак абалдын тактыгын trace distance менен өлчөйт:

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

Appendix Cдеги Lemma 6 функциянын максималдык нормадагы жакындаштыруу катасы filling-fraction менен ылайыктуу масштабдалса, абал trace distance \(\epsilon\) маанисинен чоң болбой турганын далилдейт.

Катуураак ката талдоосу

Авторлор максималдык \(L_\infty\) ката чеги көп практикалык полиномдук жакындашууларда өтө консервативдүү экенин белгилешет.

Анын ордуна чыныгы ички көбөйтүндү

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

түз эсептелсе, катуураак trace distance табууга болот.

Grid өтө чоң болгондо суммалар тиешелүү Riemann интегралдары менен жакындатылып бааланышы мүмкүн.

Дискреттештирүү катасы

Appendix Bде стандарттык Riemann сумма жыйынтыктары колдонулат. Үзгүлтүксүз дифференциалдануучу функцияларда grid жакындаштыруу катасы \(O(1/N)\), орто чекит сыяктуу жайгаштыруу жана экинчи туунду шартында болсо \(O(1/N^2)\) масштабына түшүрүлөт.

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

Gaussian/Kaiser полином даражасы

Appendix F Taylor катар коэффициенттеринин абсолюттук суммасы аркылуу жалпы truncation теоремасын түзөт.

Gaussian да, Kaiser терезеси да үчүн жыйынтык катары

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

даражадагы жана \([-1,1]\) ичинде чектелген полином керектүү жакындаштыруу тактыгын камсыз кыла алары көрсөтүлөт.

Конкреттүү Gaussian мисалынын параметрлери

Amplitude-oracle ресурс баалоолору кантип түзүлгөн?

Appendix I атаандаш ыкмалардын чыгымдарын булак макалалардагы схемалар жана белгилүү арифметикалык субрутиндер аркылуу кайра эсептейт.

Piecewise-polynomial amplitude oracle үчүн булак болжол менен 20.504 Toffoli / oracle чакыруусу жана 162 oracle ancilla колдонот; толук state-preparation ыкмасы менен жалпы ancilla Table IIде 168ге чыгат.

Linear interpolation ыкмасында QROM аркылуу болжол менен 1900 аралык үчүн gradient жана intercept маанилери жүктөлөт. Аралык кадамдарда көбөйтүү, квадраттоо жана башкарылган bit-shift операциялары колдонулат; amplitude oracle үчүн болжол менен 4069 Toffoli чыгат.

Bespoke Gaussian oracle маанилери мурунку булак изилдөөнүн баалоолорунан алынат жана авторлор алардын оптимисттик төмөнкү чек экенин өзгөчө белгилешет.

Ресурс баалоолорунун негизги илимий билдирүүсү

Конкреттүү мисалда QSVT ыкмасынын gate артыкчылыгы абсолюттук жана универсалдуу үстөмдүк катары көрүнбөйт; бирок ancilla айырмасы абдан ачык.

QSVT:

\[ 3\text{ ancilla} \]

колдонсо, эң төмөн атаандаш маани:

\[ 141\text{ ancilla} \]

болгондуктан, тандалган мисалда логикалык жардамчы qubit керектөөсү болжол менен эки чоңдук тартибине жакын азаят.

Бул жыйынтык өзгөчө алгачкы fault-tolerant доорунда алгоритмдин жалпы физикалык qubit изин азайтууну көздөгөн системалык долбоорлор үчүн маанилүү.

Изилдөөнүн күчтүү жактары

• Функцияга мүнөздүү когеренттик арифметикалык схемалардын ордуна кайра колдонулуучу бирдиктүү QSVT схема шаблонун сунуштоосу.
• Amplitude oracle керектөөсүн толугу менен жок кылуусу.
• Ката талдоосу жана state trace-distance чектерин ачык теоремалар менен берүүсү.
• Exact amplitude amplification абалын кеңири далилдөөсү.
• Асимптотикалык татаалдык менен бирге конкреттүү fault-tolerant ресурс баалоолорун берүүсү.
• Gaussian жана Kaiser терезеси сыяктуу алгоритмдик маанилүү эки функцияны кеңири талдоосу.
• Ancilla qubit чыгымында абдан чоң азайууну көрсөтүүсү.
• Priors, үзүлүүлөр жана Fourier жакындашуусу үчүн кеңейтүү жолдорун сунуштоосу.

Изилдөөнүн чектөөлөрү

• Артыкчылык функциянын төмөн даражадагы полином же ылайыктуу Fourier жакындашуусуна ээ болушуна көз каранды.
• Filling-fraction азайганда татаалдык начарлайт.
• Gate саны боюнча салыштырылган ыкмалар ар башка non-Clifford gate бирдиктерин колдонушат.
• Ресурс баалоолору физикалык ката-түзөтүү архитектурасынын баарын моделдебейт.
• QSVT ротaцияларынын fault-tolerant синтези олуттуу T-gate чыгымын жаратат.
• Көп өзгөрмөлүү функцияларда filling-fraction өлчөм көбөйгөндө азайышы чечилбеген маселе.
• Bespoke Gaussian салыштыруусунун ресурс баалоосу авторлор айткандай оптимисттик төмөнкү чек.
• Изилдөө реал кванттык аппаратта ишке ашыруу же benchmark бербейт.

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

Толук оригинал иштин аталышы: Quantum state preparation without coherent arithmetic

Авторлор: Sam McArdle; András Gilyén; Mario Berta.

Авторлордун тартиби: Жүктөлгөн булакта берилген тартип өзгөртүүсүз сакталган.

Тең салым/тең биринчи автор: Булакта көрсөтүлгөн эмес.

Жооптуу автор: Жүктөлгөн arXiv v2 PDFде өзүнчө corresponding-author белгиси жок.

Жүктөлгөн PDFдеги аффилиациялар: AWS Center for Quantum Computing, Pasadena, АКШ; Alfréd Rényi Institute of Mathematics, Budapest, Венгрия; Department of Computing, Imperial College London, Лондон, Улуу Британия; Institute for Quantum Information, RWTH Aachen University, Aachen, Германия. Жүктөлгөн v2де Mario Berta AWS, Imperial College London жана RWTH Aachen аффилиацияларына ээ.

Илимий багыт: Кванттык алгоритмдер, кванттык абал даярдоо, quantum singular value transformation, quantum eigenvalue transformation жана fault-tolerant кванттык ресурс талдоосу.

Жүктөлгөн булак түрү: arXiv repository/preprint версиясы.

Жүктөлгөн версия: arXiv:2210.14892v2 [quant-ph].

Алгачкы arXiv тапшыруу: 26 Октябрь 2022.

v2 ревизиясы: 9 Июль 2025.

PDF датасы: 10 Июль 2025.

arXiv DOI: 10.48550/arXiv.2210.14892

arXiv расмий шилтемеси: https://arxiv.org/abs/2210.14892

Preprint лицензиясы: arXiv non-exclusive distribution license. Бул лицензия Creative Commons ачык адаптация лицензиясы эмес.

Рецензия жана жарыяланган версия жөнүндө эскертүү: Каралган v2 файл arXiv preprint/repository версиясы. Ошол эле иш кийин рецензиядан өтүп, Physical Review Letters журналында жарыяланган. Бул Verianla макаласындагы илимий негизги текст жүктөлгөн v2 версиясынан даярдалган; кийинки журнал жазуусу учурдагы библиографиялык статусун тастыктоо үчүн гана колдонулган.

Рецензияланган жарыянын аталышы: Quantum State Preparation without Coherent Arithmetic

Рецензияланган жарыя: Physical Review Letters, Volume 136, Article 240603 (2026).

Журнал DOI: 10.1103/ntvs-c48s

Расмий журнал шилтемеси: https://doi.org/10.1103/ntvs-c48s

Басмакана / жарыялоочу уюм: American Physical Society.

Журналга тапшыруу датасы: 9 Июль 2025.

Журнал кабыл алуу датасы: 6 Май 2026.

Журнал жарыялоо датасы: 18 Июнь 2026.

Рецензияланган версиянын аффилиация эскертүүсү: APS версиясында Sam McArdle AWS Center for Quantum Computing; András Gilyén HUN-REN Alfréd Rényi Institute of Mathematics; Mario Berta болсо RWTH Aachen University жана Imperial College London менен тизмеленет. Ошондуктан v2 менен журнал версиясынын ортосунда Mario Bertaнын AWS аффилиациясы боюнча библиографиялык айырма бар.

Рецензияланган версиянын укуктары: APS жазуу барагы © 2026 American Physical Society маалыматтарын берет. Булакта Creative Commons лицензиясы көрсөтүлбөгөндүктөн рецензияланган версия CC лицензиялуу деп кабыл алынган эмес.

Каржылоо: András Gilyén AWS Center for Quantum Computing колдоосун; Mario Berta EPSRC EP/W032643/1 колдоосун билдирет. Булак ошондой эле Fernando Brandãoго талкуулар жана долбоордук колдоо үчүн ыраазычылык билдирет.

Маалымат жеткиликтүүлүгү: Жүктөлгөн v2де өзүнчө data-availability билдирүүсү жок. Изилдөө эксперименталдык маалымат топтомуна таянбаган теориялык кванттык алгоритм жана ресурс талдоосу болуп саналат.

Кызыкчылыктардын кагылышы: Жүктөлгөн v2де өзүнчө кызыкчылыктардын кагылышы билдирүүсү табылган эмес; мындан кызыкчылыктардын кагылышы жок деген жыйынтык чыгарылган эмес.

Авторлордун салымы: Жүктөлгөн v2де өзүнчө CRediT же автордук салым бөлүмү жок.

Булак ичиндеги параметризация эскертүүсү: Негизги колдонмо бөлүмүндө Gaussian \(f_\beta(x)=\exp(-\beta x^2/2)\) түрүндө аныкталса, Table IIдеги конкреттүү ресурс баалоо аталышы \(\exp(-\beta x^2)\), \(\beta=10\) деген жазууну колдонот. Булак бул эки \(\beta\) аныктамасын ачык теңдебегендиктен Verianla тексти аларды бир параметр катары бириктирген эмес.

Изилдөө ыкмасы: Арзан синус блок-коддоосу; QSVT/QET; классикалык minimax же Taylor полиномдук жакындашуусу; exact жана fixed-point amplitude amplification; trace-distance ката талдоосу; Riemann-sum discretization чектери; modified Bessel функциялары; filling-fraction чектери жана fault-tolerant non-Clifford ресурс баалоолору.

Илимий мазмун чеги: Бул Verianla макаласындагы алгоритмдик механизм, теоремалар, формулалар, Gaussian/Kaiser жыйынтыктары, ресурс таблицалары, схема түзүлүшү жана чектөөлөр жүктөлгөн arXiv:2210.14892v2 файлына негизделген. Тышкы булак колдонуу arXiv идентификаторун жана 2026-жылкы Physical Review Letters жарыя статусун библиографиялык жактан текшерүү үчүн гана жасалган.

Негизги интерпретация чеги: Булактагы эсептелген qubit жана gate маанилери алгоритмдик/fault-tolerant ресурс баалоолору. Алар белгилүү физикалык кванттык компьютердин реал иштөө убактысы, физикалык qubit саны же эксперименталдык ийгилик көрсөткүчү эмес.