Utafiti huu unatengeneza mbinu ya kuandaa hali za quantum ambazo amplitude zake huamuliwa na kazi ya kihisabati inayojulikana, bila kulazimika kuhesabu thamani za kazi hiyo ndani ya rejista za quantum kwa saketi za hesabu zenye coherence au kuzipakia kupitia usomaji wa kumbukumbu/jedwali la quantum. Wazo kuu ni ku-block-encode kazi ya sine kwa gharama ndogo sana, kuitumia quantum singular value transformation (QSVT) kuibadilisha kuwa ukaribiaji wa polinomu wa kazi lengwa, na kisha kutumia amplitude amplification kupata hali ya quantum iliyosanifishwa inayotakiwa. Kwa kazi halisi zenye parity kamili, teorema kuu inatoa ugumu wa gate wa \(O(nd/\mathcal F_{\tilde f}^{[N]})\) kwa kutumia si zaidi ya ancilla qubit tatu; katika hali ya jumla zaidi, mbinu inaweza kuhitaji hadi ancilla qubit nne. Mipaka ya kinadharia ya ugumu na makadirio halisi ya rasilimali yanatolewa kwa hali za dirisha la Gaussian na Kaiser. Kizuizi kikuu ni kwamba mbinu huwa na faida hasa kwa kazi zenye polinomu ya daraja la chini au ukaribiaji wa Fourier uliofupishwa, na ufanisi wake bado hutegemea kiwango cha kujaza cha \(L_2\)-norm cha kazi.

Matokeo ya vitendo yanayoonekana zaidi ya mbinu hii yanaonekana katika matumizi ya qubit. Katika mfano wa Gaussian wa qubit 16 uliotolewa kwenye chanzo, saketi inayotegemea QSVT hutumia ancilla qubit 3 pekee, ilhali katika mbinu linganishi zinazotegemea amplitude oracle idadi hiyo ni kati ya 141–189. Watafiti wanaona upungufu huu kuwa muhimu kwa kupunguza alama ya kimwili ya saketi katika hatua za awali za kompyuta za quantum zinazostahimili hitilafu.

Hata hivyo, utafiti hauhitimishi kwamba “mbinu ya QSVT hutumia gate chache kuliko mbinu zote za kuandaa hali”. Katika jedwali la rasilimali, T gate zinahesabiwa kwa QSVT na Toffoli gate kwa baadhi ya mbinu nyingine, na gharama za gate hazijaonyeshwa kwa kitengo kimoja. Hitimisho lenye nguvu zaidi na linaloweza kulinganishwa moja kwa moja ni kupungua kwa kiwango kikubwa kwa idadi ya ancilla qubit.

Tatizo la kuandaa hali ya quantum ni nini?

Watafiti wanataka kuandaa hali ya quantum yenye ukubwa \(N=2^n\) kwenye \(n\) qubit. Amplitude za hali lengwa huamuliwa na kazi \(f\) inayojulikana mapema:

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

ambapo

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

na

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

Hali kama hizi zinaweza kuhitajika katika algoriti za milinganyo tofauti, mbinu za finite element, uigaji wa nadharia ya uga wa quantum, upangaji bei wa derivatives za kifedha, phase estimation na kemia ya quantum inayotegemea grid.

Tatizo liko wapi katika mbinu za jadi?

Mbinu nyingi za kuandaa hali huanza kwa kutengeneza

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

aina ya amplitude oracle.

Hii inahitaji thamani ya \(f(\bar x)\) ihesabiwe katika rejista za quantum kwa idadi fulani ya bit. Chanzo kinataja njia mbili kuu: hesabu za quantum zenye coherence za fixed-point au kusoma thamani zilizohesabiwa mapema kutoka kwenye muundo wa jedwali/kumbukumbu la quantum.

Chaguo zote mbili zinaweza kuwa ghali, hasa kwa ancilla qubit na non-Clifford gate. Zaidi ya hayo, saketi za hesabu mara nyingi hulazimika kubuniwa kwa mkono kwa sababu ya makosa ya overflow, uwakilishaji wa fixed-point na uboreshaji unaotegemea kazi husika.

Lengo kuu la usanifu wa mbinu mpya ni kuondoa kabisa safu hii ya amplitude oracle.

QSVT inafanya nini hapa?

Quantum singular value transformation huruhusu kazi ya polinomu kutumika kwa singular value za matrix iliyo ndani ya block-encoding au kwa eigenvalue zake katika hali inayofaa ya Hermit.

Iwapo unitary ya \((n+m)\)-qubit \(U\) inatimiza, kama block-encoding ya takriban ya matrix Hermit \(A\), sharti

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

basi kazi ya polinomu ya \(A\) inaweza kutumika kwa pembe zinazofaa za awamu za QSVT.

Katika utafiti huu, badala ya kuhesabu moja kwa moja kazi lengwa \(f\), kwanza matrix

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

inafanyiwa block-encoding kwa gharama ndogo sana.

Kisha ukaribiaji unaofaa wa polinomu wa kazi

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

huandaliwa na block-encoding ya sine hubadilishwa kuwa kazi lengwa kupitia QSVT.

Ukaribiaji wa polinomu unafafanuliwaje?

Kwa kazi halisi yenye parity kamili, watafiti hutumia polinomu \(h(y)\) ya daraja \(d\) inayotimiza

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

.

Kazi ya takriban inayotekelezwa hufafanuliwa kama

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

.

Ili kudumisha unitarity ya QSVT, ukubwa wa polinomu haupaswi kuzidi 1 katika eneo lote la \([-1,1]\). Waandishi wanaeleza kuwa polinomu za minimax zinaweza kuhesabiwa kwa algoriti ya Remez au kwa upanuzi wa Taylor.

\(L_2\)-norm filling-fraction ni nini?

Mojawapo ya kiasi muhimu kinachoamua ugumu wa algoriti kinafafanuliwa katika chanzo kama “discretized \(L_2\)-norm filling-fraction”:

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

Kiasi hiki hupima, baada ya kuhalalisha kwa thamani ya juu ya kazi, ni sehemu gani ya pointi \(N\) za grid hubeba uzito wa maana wa \(L_2\).

Kwa hisia rahisi, katika kazi nyembamba na yenye kilele kikali, uzito wa amplitude hukusanyika kwenye pointi chache za grid na \(\mathcal F\) hupungua. Katika kazi pana zaidi, filling-fraction huwa kubwa.

Kwa kuwa idadi ya amplitude amplification ni takriban

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

filling-fraction ndogo huongeza gharama ya algoriti.

Teorema kuu inasema nini?

Kwa mujibu wa Theorem 1 ya chanzo, ikiwa ukaribiaji unaofaa wa \(h(y)\) unatimiza

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

basi hali \(|\Psi_{\tilde f}\rangle\) yenye trace distance isiyozidi \(\epsilon\) kutoka hali lengwa \(|\Psi_f\rangle\) inaweza kuandaliwa kwa kutumia

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

gate na ancilla qubit zisizozidi tatu.

Matokeo haya ya qubit tatu yanahusu darasa la kazi halisi zenye parity kamili lililochunguzwa katika teorema kuu. Muhtasari wa jumla wa mbinu unasema kwamba parity mchanganyiko au kazi za jumla zaidi zinaweza kuhitaji ancilla moja ya ziada, hivyo idadi ya jumla inaweza kuwa nne.

Saketi tatu katika Kielelezo 1 zinafanya nini?

Kielelezo 1 katika ukurasa wa 2 wa chanzo hugawa algoriti yote katika tabaka tatu za saketi halisi.

Saketi ya kwanza ya block-encoding huunganisha operesheni ya phase-gradient inayodhibitiwa na mwelekeo na muundo unaofanana na Hadamard-test. Kwa njia hii, badala ya kuhesabu \(x\) yenyewe katika rejista ya namba, amplitude \(\sin(2x/N)\) hutokea moja kwa moja kupitia rotation za awamu.

Mafanikio ya kwanza ya post-selection ni kiasi gani?

\(U_{\tilde f}\) inapotumika kwa hali ya superposition iliyo sare, kupimwa kwa ancilla qubit mbili za kwanza kama \(|00\rangle\) hutengeneza hali inayotakiwa.

Chini ya masharti ya hitilafu ya ukaribiaji ya teorema kuu, uwezekano wa mafanikio wa tukio hili unawekewa mpaka wa chini wa

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

.

Waandishi wanathibitisha tofauti mbinu ya exact amplitude amplification katika Appendix B na kuonyesha kwamba uwezekano huu unaweza kufikishwa kinadharia hadi 1.

Nini kipya katika exact amplitude amplification?

Appendix B ya utafiti inaeleza kwa kina toleo la amplitude amplification la kawaida lililosanidiwa kwa mafanikio kamili. Ufafanuzi wa polinomu za Chebyshev

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

na uhusiano wake wa kurejea hutumiwa.

Iwapo amplitude ya awali ya mafanikio \(a\) inajulikana, kwa idadi inayofaa ya reflections zinazofanana na Grover na rotation moja ya ziada ya single-qubit, sehemu lengwa inaweza kuletwa kwa amplitude ya umoja hasa.

Chanzo pia huchambua hali ambapo \(a\) inajulikana kwa takriban tu na kutoa mpaka wa unyeti wa daraja la pili kwa hitilafu katika amplitude halisi.

Ugumu hubadilikaje ikiwa kazi ni laini?

Kwa kazi za analytical na laini, hitilafu ya ukaribiaji wa polinomu mara nyingi inaweza kupungua kwa namna ya exponential na daraja:

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

Katika hali hii daraja la polinomu linalohitajika hukua kwa logarithmic, na chanzo huficha istilahi za polylogarithmic na kuandika ugumu wa jumla wa gate kama

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

.

Kwa nini Gaussian na dirisha la Kaiser zilichaguliwa?

Utafiti unachagua matumizi mawili muhimu kuonyesha kwamba mbinu haibaki tu katika darasa la kazi za kinadharia.

Kazi ya Gaussian inafafanuliwa kwa uchambuzi wa jumla kama

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

. Hali za Gaussian zinaweza kutumika katika kemia ya quantum, nadharia ya uga wa quantum na algoriti za kifedha.

Dirisha la Kaiser linafafanuliwa kama

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

. \(I_0\) ni modified Bessel function ya aina ya kwanza yenye order sifuri.

Dirisha la Kaiser hutumiwa hasa katika quantum phase estimation kurekebisha trade-off kati ya upana wa kilele kikuu na urefu wa side-lobe.

Ugumu wa kinadharia wa hali za Gaussian na Kaiser

Theorem 2 inaonyesha kuwa chini ya masharti

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

na

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

hali zote mbili zinaweza kuandaliwa kwa ugumu wa gate wa

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

.

Kwa hali ya Gaussian, ikiwa pia

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

basi kwa ku-rescale eneo la support mpaka unaweza kuboreshwa hadi

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

.

Kwa nini kiwango \(\beta^{-1/4}\) hujitokeza kwa filling-fraction?

Katika Appendix G, mpaka wa chini

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

unajengwa kwa Gaussian na dirisha la Kaiser.

Katika eneo la \(\beta\geq2\), mpaka huu wa chini huintegrishwa katika interval ya kati na kuonyesha kwamba filling-fraction endelevu ya \(L_2\) si mbaya kuliko kiwango cha

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

.

Kwa hiyo kadiri \(\beta\) inavyoongezeka na kazi kuwa nyembamba, gharama ya amplitude amplification pia huongezeka takriban kwa kiwango cha mzizi wa nne.

Mbinu inapata nini katika ulinganisho wa rasilimali?

Table I katika ukurasa wa 3 wa chanzo inalinganisha maandalizi ya kazi halisi zenye parity kamili kwa mbinu mbalimbali.

Dai kuu la faida ya makala ni kwamba kuondolewa kabisa kwa amplitude oracle hupunguza kwa kiasi kikubwa idadi ya ancilla.

Makadirio ya rasilimali ya Gaussian ya qubit 16

Table II katika ukurasa wa 4 wa chanzo inachunguza mfano halisi wa maandalizi ya Gaussian wenye \(n=16\) qubit na trace distance

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

.

Kichwa cha jedwali kinaandika kazi ya mfano huu maalum kama

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

. Hii ni tofauti na parametrization ya \(\exp(-\beta x^2/2)\) katika sehemu ya kinadharia ya makala; kwa kuwa chanzo hakisawazishi wazi namna hizi mbili, thamani hizi hazipaswi kuchukuliwa kuwa \(\beta\) hiyo hiyo.

Kwa nini idadi za gate hazijawekwa katika grafu moja?

Kichwa cha safu ya gate katika Table II ni “T / Toffoli gates”, na si mbinu zote zimewasilishwa kwa kitengo kimoja cha msingi cha gate.

Tanbihi ya chanzo inaeleza wazi kuwa kuna ubadilishaji kati ya gharama za T na Toffoli unaotegemea utekelezaji wa fault-tolerant. Kwa mfano, inarejelea uwezekano wa kutekeleza Toffoli moja kwa T gate nne kwa ancilla inayofaa. Kwa hiyo kulinganisha moja kwa moja 48.000 na 24.000 na kusema “QSVT ni ghali mara mbili” si sahihi kisayansi.

Makadirio ya rasilimali ya QSVT yanapatikanaje?

Gharama kuu ya non-Clifford katika saketi ya QSVT hutokana na synthesis ya fault-tolerant ya Z rotation ndani ya \(U_{\sin}\).

Chanzo kinatoa gharama ya takriban ya T kama

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

.

Katika mfano halisi, polinomu ya parity ya jozi ya daraja 20 inayotoa trace distance ya takriban \(5.7\times10^{-7}\) imeonekana kutosha na R=2 rounds za amplitude amplification zimetumika.

Je, gharama ya gate inaweza kupunguzwa zaidi?

Chanzo kinajadili kwamba ikiwa kutumia takriban ancilla qubit \(n\) za ziada kunakubalika, gharama ya rotation katika block-encoding ya sine inaweza kupunguzwa kwa usanifu mwingine wa saketi.

Njia moja iliyopendekezwa ni saketi ya kuongeza inayotumia phase-gradient catalyst state, na nyingine ni comparator-test inayoblock-encode \(x\) moja kwa moja badala ya sine.

Hii inaonyesha trade-off muhimu ya uhandisi: utafiti hautoi sehemu moja ya “qubit chache zaidi na gate chache zaidi” katika hali zote; kulingana na usanifu, kunaweza kuwa na uchaguzi kati ya qubit na non-Clifford gate.

Je, mgawanyo bora wa mwanzo unaweza kutumika?

Algoriti ya kawaida hutumia

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

superposition sare kama prior ya mwanzo.

Lakini kama prior ya gharama ndogo \(p\) inayofanana zaidi na kazi lengwa \(f\) inaweza kuandaliwa, algoriti inaweza kublock-encode uwiano \(f/p\).

Chanzo kinasema kuwa prior inayofanana na normalization ya kazi lengwa inaweza kupunguza idadi ya rounds za amplitude amplification.

Kazi zenye discontinuity zinashughulikiwaje?

Polinomu za QSVT zinaweza kuwa na ugumu wa kukaribia discontinuity. Utafiti unapendekeza suluhisho mbili.

Katika suluhisho la kwanza, coherent inequality test huifanya rejista iwe entangled na flag qubit inayotambua hali zilizo kushoto na kulia kwa discontinuity. Polinomu tofauti ya QSVT hutumika kwa kila eneo.

Katika njia ya pili, inequality test hufungua “pengo” bandia katika domain ya namba. Kwa kuwa hali lengwa haina support ndani ya pengo hilo, kazi yenye discontinuity inaweza kuunganishwa na kazi laini na endelevu ndani ya pengo. Baada ya operesheni, flag hu-uncompute na grid ya awali kurejeshwa.

Kwa nini ukaribiaji wa Fourier ni upanuzi wa asili?

Utafiti unasema kuwa mbinu pia inaoana na Fourier-based quantum eigenvalue transformation.

Katika hali hii, badala ya block-encoding ya polinomu hutumika time evolution inayodhibitiwa ya aina

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

.

Njia hii inaweza kuwa na faida hasa kwa kazi zenye upanuzi wa Fourier uliobana, kama global harmonics.

Hali ikoje kwa kazi za vigezo vingi?

Makala inajadili kwamba kwa kutumia linear combinations na bidhaa za block-encoding, upanuzi wa mfululizo wa kazi kama \(f(x,y)\) unaweza kutumika kupanua mbinu hadi kazi za vigezo vingi.

Multivariable-QSP pia inaweza kutumika kama mbadala.

Hata hivyo, waandishi wanasisitiza matatizo mawili yaliyo wazi: madarasa ya kazi yanayoweza kutekelezwa kwa MQSP bado hayajaelezewa kikamilifu, na filling-fraction inaweza kupungua kwa exponential kadiri dimension inavyoongezeka.

Matokeo yanayoungwa mkono na utafiti

• Hali za quantum zinazokodi kazi inayojulikana kama amplitude zinaweza kuandaliwa katika madarasa ya kazi yanayofaa bila kutengeneza coherent arithmetic amplitude oracle.
• Block-encoding ya gharama ndogo ya sine inaweza kubadilishwa na QSVT kuwa ukaribiaji wa polinomu wa kazi lengwa.
• Kwa kazi halisi zenye parity kamili, algoriti kuu hutumia ancilla qubit zisizozidi tatu.
• Kwa madarasa ya jumla zaidi, mahitaji ya ancilla yanaweza kufikia qubit nne.
• Ugumu wa gate unaweza kuwekwa ndani ya \(O(nd/\mathcal F_{\tilde f}^{[N]})\).
• Kwa kazi zenye ukaribiaji mzuri wa polinomu wa analytical, utegemezi wa hitilafu unaweza kuwa wa logarithmic.
• Mipaka ya wazi ya kinadharia ya ugumu inapatikana kwa hali za Gaussian na Kaiser.
• Katika makadirio ya qubit 16, mahitaji ya ancilla ya QSVT hupungua kwa zaidi ya order moja ikilinganishwa na mbinu za amplitude-oracle zilizolinganishwa.
• Mbinu inaweza kupanuliwa kwa priors bora, discontinuity chache na ukaribiaji wa kazi unaotegemea Fourier.

Matokeo ambayo utafiti hauungi mkono au haujajaribu

• Haijathibitishwa kwamba mbinu ni bora zaidi kuliko mbinu zote zilizopo za kuandaa hali kwa kila kazi inayowezekana.
• Faida hiyo hiyo haihakikishwi kwa kazi zisizo na polinomu ya daraja la chini au ukaribiaji wa Fourier unaofaa.
• 48.000 T gate na 24.000 au 45.000 Toffoli si vipimo vya gharama ya kimwili katika kitengo kimoja moja kwa moja.
• Makadirio ya rasilimali si nyakati za utekelezaji zilizopimwa kwenye vifaa halisi vya fault-tolerant quantum.
• Utafiti hauhesabu moja kwa moja idadi ya physical qubit; majedwali yanajadili rasilimali za logical/algorithmic qubit na gate.
• Ikiwa filling-fraction ni ndogo sana, gharama ya amplitude amplification inaweza kubaki juu.
• Haijaonyeshwa kuwa tatizo la filling-fraction limetatuliwa kwa kazi za vigezo vingi zenye dimension kubwa.
• Hakuna ripoti ya maandalizi ya majaribio ya hali za Gaussian au Kaiser kwenye processor halisi maalum ya quantum.

Mbinu na Matokeo ya Utafiti

Muundo wa utafiti

Huu ni utafiti wa algoriti za quantum za kinadharia na uchambuzi wa rasilimali. Hakuna jaribio jipya lililofanywa kwenye kifaa halisi. Mbinu imejengwa juu ya block-encoding, QSVT, ukaribiaji wa polinomu, uchambuzi wa hitilafu ya trace-distance, exact amplitude amplification, nadharia ya ukaribiaji wa kazi na makadirio ya rasilimali ya fault-tolerant.

Mtiririko wa algoriti

1. Ukaribiaji wa polinomu uliosanifishwa wa kazi lengwa \(f(\bar x)\) huhesabiwa kwa njia ya classical.
2. Pembe za awamu za QSVT huamuliwa kwa precomputation ya classical.
3. Saketi \(U_{\sin}\) hufanya block-encoding ya sine kwa gharama ndogo.
4. QSVT hubadilisha block-encoding ya \(U_{\sin}\) kuwa kazi \(\tilde f\).
5. Saketi hutumika kwa superposition ya mwanzo iliyo sare.
6. Sehemu ya mafanikio katika ancilla subspace inayotakiwa huongezwa hadi 1 kwa amplitude amplification.
7. Trace distance ya hali iliyosanifishwa iliyopatikana kutoka hali lengwa \(|\Psi_f\rangle\) huwekewa mpaka kwa hitilafu ya ukaribiaji wa polinomu.

Kipimo cha hitilafu

Chanzo hupima usahihi wa hali kwa trace distance:

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

Lemma 6 katika Appendix C inathibitisha kwamba ikiwa hitilafu ya ukaribiaji wa max-norm ya kazi imescalewa ipasavyo kwa filling-fraction, trace distance ya hali haitazidi \(\epsilon\).

Uchambuzi mkali zaidi wa hitilafu

Waandishi wanaeleza kuwa mpaka wa juu wa \(L_\infty\) mara nyingi ni wa tahadhari kupita kiasi kwa ukaribiaji wa polinomu wa vitendo.

Badala yake, ikiwa inner product halisi

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

inaweza kuhesabiwa moja kwa moja, trace distance kali zaidi inaweza kupatikana.

Grid ikiwa kubwa sana, jumla zinaweza kukadiriwa kwa integrals zinazofaa za Riemann.

Hitilafu ya discretization

Appendix B hutumia matokeo ya kawaida ya Riemann sum. Kwa kazi zinazoweza kudifferentiate kwa continuity, hitilafu ya grid approximation ni \(O(1/N)\); kwa mpangilio unaofanana na midpoint na sharti la second derivative inaweza kupunguzwa hadi \(O(1/N^2)\).

Hii inaunga mkono kwamba kwa \(n\) kubwa sana, filling-fraction endelevu huwakilisha kwa takriban thamani ya discrete.

Daraja la polinomu la Gaussian/Kaiser

Appendix F hujenga teorema ya jumla ya truncation kupitia jumla za absolute coefficients za Taylor series.

Kwa Gaussian na Kaiser, inaonyeshwa kwamba polinomu ya daraja

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

iliyofungwa kwenye \([-1,1]\) inaweza kutoa usahihi wa ukaribiaji unaohitajika.

Vigezo vya mfano halisi wa Gaussian

Makadirio ya rasilimali ya amplitude-oracle yameundwaje?

Appendix I huhesabu tena gharama za mbinu shindani kwa kutumia saketi katika machapisho chanzo na subroutine maalum za hesabu.

Kwa piecewise-polynomial amplitude oracle, chanzo hutumia takriban 20.504 Toffoli / oracle call na oracle ancilla 162; kwa mbinu kamili ya state-preparation ancilla jumla hufikia 168 katika Table II.

Katika linear interpolation, QROM hutumika kupakia gradient na intercept kwa takriban 1900 interval. Hatua za kati hutumia multiplication, squaring na controlled bit-shift; takriban 4069 Toffoli hupatikana kwa kila amplitude oracle.

Thamani za bespoke Gaussian oracle zinatokana na makadirio ya utafiti wa awali, na waandishi wanasisitiza kuwa hizi ni optimistic lower bound.

Ujumbe mkuu wa kisayansi wa makadirio ya rasilimali

Katika mfano maalum, faida ya gate ya QSVT haionekani kama ushindi wa uhakika na wa jumla; hata hivyo tofauti ya ancilla ni wazi sana.

QSVT hutumia:

\[ 3\text{ ancilla} \]

ilhali thamani ya chini zaidi ya mbinu shindani ni:

\[ 141\text{ ancilla} \]

kwa hiyo katika mfano huu mahitaji ya logical auxiliary qubit hupungua kwa karibu orders mbili za magnitude.

Matokeo haya ni muhimu hasa kwa usanifu wa mifumo katika kipindi cha mwanzo cha fault-tolerant unaolenga kupunguza alama ya jumla ya physical qubit ya algoriti.

Nguvu za utafiti

• Kutoa template moja ya saketi ya QSVT inayoweza kutumika tena badala ya saketi za hesabu zenye coherence zilizo maalum kwa kila kazi.
• Kuondoa kabisa hitaji la amplitude oracle.
• Kutoa uchambuzi wa hitilafu na mipaka ya state trace-distance kwa teorema wazi.
• Kuthibitisha kwa kina exact amplitude amplification.
• Kutoa makadirio halisi ya rasilimali ya fault-tolerant pamoja na ugumu wa asymptotic.
• Kuchambua kwa kina kazi mbili muhimu kialgorithimu, Gaussian na Kaiser.
• Kuonyesha kupungua kwa kiwango kikubwa sana kwa gharama ya ancilla qubit.
• Kutoa njia za upanuzi kwa priors, discontinuities na ukaribiaji wa Fourier.

Mapungufu ya utafiti

• Faida inategemea kazi kuwa na polinomu ya daraja la chini au ukaribiaji wa Fourier unaofaa.
• Ugumu huzorota filling-fraction inapopungua.
• Mbinu zinazolinganishwa kwa idadi ya gate hutumia vitengo tofauti vya non-Clifford gate.
• Makadirio ya rasilimali hayamodeli usanifu wote wa physical error correction.
• Synthesis ya fault-tolerant ya rotation za QSVT husababisha gharama kubwa ya T-gate.
• Kupungua kwa filling-fraction pamoja na dimension katika kazi za vigezo vingi bado ni tatizo ambalo halijatatuliwa.
• Makadirio ya rasilimali ya bespoke Gaussian ni optimistic lower bound kama waandishi wanavyotaja.
• Utafiti hautoi implementation au benchmark kwenye hardware halisi ya quantum.

Tanbihi ya Chanzo na Mbinu

Jina kamili la kazi asilia: Quantum state preparation without coherent arithmetic

Waandishi: Sam McArdle; András Gilyén; Mario Berta.

Mpangilio wa waandishi: Mpangilio uliotolewa katika chanzo kilichopakiwa umehifadhiwa bila kubadilishwa.

Mchango sawa/mwandishi wa kwanza sawa: Haujaainishwa katika chanzo.

Mwandishi wa mawasiliano: Hakuna alama tofauti ya corresponding-author katika PDF ya arXiv v2 iliyopakiwa.

Affiliations katika PDF iliyopakiwa: AWS Center for Quantum Computing, Pasadena, Marekani; Alfréd Rényi Institute of Mathematics, Budapest, Hungary; Department of Computing, Imperial College London, London, Uingereza; Institute for Quantum Information, RWTH Aachen University, Aachen, Ujerumani. Katika v2 iliyopakiwa, Mario Berta ana affiliations za AWS, Imperial College London na RWTH Aachen.

Eneo la kisayansi: Algoriti za quantum, maandalizi ya hali ya quantum, quantum singular value transformation, quantum eigenvalue transformation na uchambuzi wa rasilimali ya fault-tolerant quantum.

Aina ya chanzo kilichopakiwa: Toleo la arXiv repository/preprint.

Toleo lililopakiwa: arXiv:2210.14892v2 [quant-ph].

Uwasilishaji wa kwanza wa arXiv: 26 Oktoba 2022.

Marekebisho ya v2: 9 Julai 2025.

Tarehe ya PDF: 10 Julai 2025.

arXiv DOI: 10.48550/arXiv.2210.14892

Kiungo rasmi cha arXiv: https://arxiv.org/abs/2210.14892

Leseni ya preprint: arXiv non-exclusive distribution license. Hii si leseni ya wazi ya Creative Commons kwa adaptation.

Tanbihi ya peer review na toleo lililochapishwa: Faili v2 iliyochunguzwa ni toleo la arXiv preprint/repository. Kazi hiyo hiyo baadaye ilipitia peer review na kuchapishwa katika Physical Review Letters. Maandishi makuu ya kisayansi ya makala hii ya Verianla yameandaliwa kutoka v2 iliyopakiwa; rekodi ya jarida la baadaye imetumika tu kuthibitisha hali ya bibliografia ya sasa.

Jina la uchapishaji uliopitiwa: Quantum State Preparation without Coherent Arithmetic

Uchapishaji uliopitiwa: Physical Review Letters, Volume 136, Article 240603 (2026).

DOI ya jarida: 10.1103/ntvs-c48s

Kiungo rasmi cha jarida: https://doi.org/10.1103/ntvs-c48s

Mchapishaji / shirika la uchapishaji: American Physical Society.

Tarehe ya kuwasilisha jaridani: 9 Julai 2025.

Tarehe ya kukubaliwa: 6 Mei 2026.

Tarehe ya kuchapishwa: 18 Juni 2026.

Tanbihi ya affiliation ya toleo lililopitiwa: Katika toleo la APS, Sam McArdle ameorodheshwa na AWS Center for Quantum Computing; András Gilyén na HUN-REN Alfréd Rényi Institute of Mathematics; Mario Berta na RWTH Aachen University na Imperial College London. Kwa hiyo kuna tofauti ya bibliografia kati ya v2 na toleo la jarida kuhusu affiliation ya AWS ya Mario Berta.

Haki za toleo lililopitiwa: Ukurasa wa APS unaonyesha © 2026 American Physical Society. Kwa kuwa Creative Commons haijaainishwa katika chanzo, toleo lililopitiwa halijachukuliwa kuwa na leseni ya CC.

Ufadhili: András Gilyén anaripoti msaada wa AWS Center for Quantum Computing; Mario Berta anaripoti msaada wa EPSRC EP/W032643/1. Chanzo pia kinamshukuru Fernando Brandão kwa majadiliano na msaada wa mradi.

Upatikanaji wa data: Hakuna taarifa tofauti ya data availability katika v2 iliyopakiwa. Utafiti huu ni kazi ya kinadharia ya algoriti ya quantum na uchambuzi wa rasilimali isiyotegemea dataset ya majaribio.

Mgongano wa maslahi: Hakuna taarifa tofauti ya conflict of interest iliyopatikana katika v2 iliyopakiwa; haijafasiriwa kutokana na hilo kwamba mgongano wa maslahi haupo.

Michango ya waandishi: Hakuna sehemu tofauti ya CRediT au author contributions katika v2 iliyopakiwa.

Tanbihi ya parametrization ndani ya chanzo: Katika sehemu kuu ya matumizi Gaussian inafafanuliwa kama \(f_\beta(x)=\exp(-\beta x^2/2)\), wakati kichwa cha makadirio maalum ya Table II kinatumia \(\exp(-\beta x^2)\), \(\beta=10\). Kwa kuwa chanzo hakilinganishi wazi ufafanuzi huu miwili wa \(\beta\), maandishi ya Verianla hayajaziunganisha kuwa parameter moja.

Mbinu ya utafiti: Block-encoding ya sine ya gharama ndogo; QSVT/QET; ukaribiaji wa classical wa minimax au Taylor; exact na fixed-point amplitude amplification; uchambuzi wa hitilafu ya trace-distance; mipaka ya Riemann-sum discretization; modified Bessel functions; mipaka ya filling-fraction na makadirio ya rasilimali ya fault-tolerant non-Clifford.

Mpaka wa maudhui ya kisayansi: Mekanizimu ya algoriti, teorema, fomula, matokeo ya Gaussian/Kaiser, majedwali ya rasilimali, muundo wa saketi na mapungufu katika makala hii ya Verianla vinategemea faili ya arXiv:2210.14892v2 iliyopakiwa. Matumizi ya vyanzo vya nje yamefanywa tu kuthibitisha kwa bibliografia kitambulisho cha arXiv na hali ya uchapishaji katika Physical Review Letters ya 2026.

Mpaka mkuu wa tafsiri: Thamani za qubit na gate zilizohesabiwa katika chanzo ni makadirio ya rasilimali ya algorithmic/fault-tolerant. Si muda halisi wa utekelezaji, idadi ya physical qubit au kiwango cha mafanikio ya majaribio cha kompyuta fulani ya quantum.