Verbeterde kwantumalgoritmen voor lineaire en niet-lineaire differentiaalvergelijkingen

Verbeterde kwantumalgoritmen voor lineaire en niet-lineaire differentiaalvergelijkingen

Verbeterde kwantumalgoritmen voor lineaire en niet-lineaire differentiaalvergelijkingen PlatoBlockchain Data Intelligence. Verticaal zoeken. Ai.

Hari Krovi

Riverlane Onderzoek, Cambridge, MA

Vind je dit artikel interessant of wil je het bespreken? Scite of laat een reactie achter op SciRate.

Abstract

We presenteren substantieel gegeneraliseerde en verbeterde kwantumalgoritmen ten opzichte van eerder werk voor inhomogene lineaire en niet-lineaire gewone differentiaalvergelijkingen (ODE). Concreet laten we zien hoe de norm van de exponentiรซle matrix de looptijd van kwantumalgoritmen voor lineaire ODE's karakteriseert en de deur opent naar een toepassing voor een bredere klasse van lineaire en niet-lineaire ODE's. In Berry et al., (2017) wordt een kwantumalgoritme gegeven voor een bepaalde klasse van lineaire ODE's, waarbij de betrokken matrix diagonaliseerbaar moet zijn. Het hier gepresenteerde kwantumalgoritme voor lineaire ODE's strekt zich uit tot vele klassen van niet-diagonaliseerbare matrices. Het algoritme is hier ook exponentieel sneller dan de grenzen die zijn afgeleid in Berry et al., (2017) voor bepaalde klassen van diagonaliseerbare matrices. Ons lineaire ODE-algoritme wordt vervolgens toegepast op niet-lineaire differentiaalvergelijkingen met behulp van Carleman-linearisatie (een benadering die onlangs door ons is gevolgd in Liu et al., (2021)). De verbetering ten opzichte van dat resultaat is tweeledig. Ten eerste verkrijgen we een exponentieel betere afhankelijkheid van fouten. Dit soort logaritmische afhankelijkheid van fouten is ook bereikt door Xue et al., (2021), maar alleen voor homogene niet-lineaire vergelijkingen. Ten tweede kan het huidige algoritme elke schaarse, inverteerbare matrix (die dissipatie modelleert) aan als het een negatieve lognorm heeft (inclusief niet-diagonaliseerbare matrices), terwijl Liu et al., (2021) en Xue et al., (2021). ) vereisen bovendien normaliteit.

Differentiaalvergelijkingen vormen een belangrijk onderdeel van veel natuurkundige modellen, van hoge-energiefysica tot vloeistofdynamica en plasmafysica. Er zijn verschillende kwantumalgoritmen die differentiaalvergelijkingen oplossen door een kwantumtoestand te produceren die evenredig is met de oplossing. Deze kwantumalgoritmen zijn echter alleen toepasbaar op bepaalde soorten differentiaalvergelijkingen. Concreet leggen ze voor lineaire ODE's voorwaarden op zoals normaliteit of diagonaliseerbaarheid aan de matrix $A$ die de lineaire ODE codeert. Dit werk ontwikkelt kwantumalgoritmen die kunnen worden toegepast op een aanzienlijk grotere klasse van lineaire en niet-lineaire gewone differentiaalvergelijkingen. We verwijderen de voorwaarde van diagonaliseerbaarheid en vervangen deze door een voorwaarde die is bestudeerd in de theorie van de stabiliteit van differentiaalvergelijkingen, namelijk de norm van de exponentiรซle waarde van de matrix $A$. Dit kan vervolgens worden gebruikt om een โ€‹โ€‹kwantumalgoritme te geven dat ook van toepassing is op een grotere klasse van niet-lineaire differentiaalvergelijkingen.

โ–บ BibTeX-gegevens

โ–บ Referenties

[1] DW Berry, A. M. Childs, A. Ostrander en G. Wang, "Quantum-algoritme voor lineaire differentiaalvergelijkingen met exponentieel verbeterde afhankelijkheid van precisie", Communications in Mathematical Physics, vol. 356, nee. 3, blz. 1057โ€“1081, 2017. https://โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹s00220-017-3002-y.
https: / / doi.org/ 10.1007 / s00220-017-3002-y

[2] J.-P. Liu, H. ร˜. Kolden, HK Krovi, N.F. Loureiro, K. Trivisa en A.M. Childs, "Efficiรซnt kwantumalgoritme voor dissipatieve niet-lineaire differentiaalvergelijkingen", Proceedings of the National Academy of Sciences, vol. 118, nee. 35, 2021. https://โ€‹/โ€‹doi.org/โ€‹10.1073/โ€‹pnas.2026805118.
https: / / doi.org/ 10.1073 / pnas.2026805118

[3] C. Xue, Y.-C. Wu, en G.-P. Guo, โ€œQuantum homotopie verstoringsmethode voor niet-lineaire dissipatieve gewone differentiaalvergelijkingenโ€, New Journal of Physics, vol. 23, blz. 123035, december 2021. https://โ€‹/โ€‹doi.org/โ€‹10.1088/โ€‹1367-2630/โ€‹ac3eff.
https://โ€‹/โ€‹doi.org/โ€‹10.1088/โ€‹1367-2630/โ€‹ac3eff

[4] S. Lloyd, โ€œUniversele kwantumsimulatorenโ€, Science, vol. 273, nee. 5278, pp. 1073โ€“1078, 1996. https://โ€‹/โ€‹doi.org/โ€‹10.1126/โ€‹science.273.5278.1073.
https: / / doi.org/ 10.1126 / science.273.5278.1073

[5] DW Berry, G. Ahokas, R. Cleve en B.C. Sanders, โ€œEfficiรซnte kwantumalgoritmen voor het simuleren van schaarse Hamiltonianenโ€, Communications in Mathematical Physics, vol. 270, blz. 359โ€“371, 2007. https://โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹s00220-006-0150-x.
https: / / doi.org/ 10.1007 / s00220-006-0150-x

[6] G. H. Low en I. L. Chuang, "Optimale Hamiltoniaanse simulatie door kwantumsignaalverwerking", Phys. Rev. Lett., vol. 118, blz. 010501, januari 2017. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹PhysRevLett.118.010501.
https: / / doi.org/ 10.1103 / PhysRevLett.118.010501

[7] G. H. Low en I. L. Chuang, โ€˜Hamiltonian Simulation by Qubitizationโ€™, Quantum, vol. 3, blz. 163, juli 2019. https://โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2019-07-12-163.
https:/โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2019-07-12-163

[8] S. Chakraborty, A. Gilyรฉn en S. Jeffery, โ€œDe kracht van blokgecodeerde matrixkrachten: verbeterde regressietechnieken via snellere Hamiltoniaanse simulatieโ€, in het 46e internationale colloquium over automaten, talen en programmeren (ICALP 2019) (C. Baier, I. Chatzigiannakis, P. Flocchini en S. Leonardi, eds.), vol. 132 van Leibniz International Proceedings in Informatics (LIPIcs), (Dagstuhl, Duitsland), pp. 33:1โ€“33:14, Schloss Dagstuhlโ€“Leibniz-Zentrum fuer Informatik, 2019. https://โ€‹/โ€‹doi.org/โ€‹10.4230 /โ€‹LIPIcs.ICALP.2019.33.
https: / / doi.org/ 10.4230 / LIPIcs.ICALP.2019.33

[9] J. van Apeldoorn, A. Gilyรฉn, S. Gribling en R. de Wolf, โ€œQuantum SDP-Solvers: betere boven- en ondergrenzenโ€, Quantum, vol. 4, blz. 230, februari 2020. https://โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2020-02-14-230.
https:/โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2020-02-14-230

[10] A. Gilyรฉn, Y. Su, G. H. Low en N. Wiebe, โ€œQuantum singular value transformation and beyond: Exponential verbeteringen for quantum matrix arithmetics,โ€ in Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, ( New York, NY, VS), p. 193โ€“204, Vereniging voor computermachines, 2019. https://โ€‹/โ€‹doi.org/โ€‹10.1145/โ€‹3313276.3316366.
https: / / doi.org/ 10.1145 / 3313276.3316366

[11] AW Harrow, A. Hassidim en S. Lloyd, โ€œQuantum-algoritme voor lineaire systemen van vergelijkingenโ€, Physical Review Letters, vol. 103, nee. 15, blz. 150502, 2009. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹PhysRevLett.103.150502.
https: / / doi.org/ 10.1103 / PhysRevLett.103.150502

[12] D. W. Berry, โ€˜Hoge-orde kwantumalgoritme voor het oplossen van lineaire differentiaalvergelijkingenโ€™, Journal of Physics A: Mathematical and Theoretical, vol. 47, nee. 10, blz. 105301, 2014. https://โ€‹/โ€‹doi.org/โ€‹10.1088/โ€‹1751-8113/โ€‹47/โ€‹10/โ€‹105301.
https:/โ€‹/โ€‹doi.org/โ€‹10.1088/โ€‹1751-8113/โ€‹47/โ€‹10/โ€‹105301

[13] A.M. Childs, J.-P. Liu en A. Ostrander, โ€œHoge precisie-kwantumalgoritmen voor partiรซle differentiaalvergelijkingenโ€, Quantum, vol. 5, blz. 574, november 2021. https://โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2021-11-10-574.
https:/โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2021-11-10-574

[14] A.M. Childs en J.-P. Liu, โ€œQuantum spectrale methoden voor differentiaalvergelijkingenโ€, Communications in Mathematical Physics, vol. 375, blz. 1427โ€“1457, 2020. https://โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹s00220-020-03699-z.
https: / / doi.org/ 10.1007 / s00220-020-03699-z

[15] S. Lloyd, G. De Palma, C. Gokler, B. Kiani, Z.-W. Liu, M. Marvian, F. Tennie en T. Palmer, โ€œQuantumalgoritme voor niet-lineaire differentiaalvergelijkingenโ€, 2020. https://โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹arXiv.2011.06571.
https:/โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹arXiv.2011.06571

[16] A. Ambainis, โ€œVariabele tijdamplitudeversterking en kwantumalgoritmen voor lineaire algebraproblemenโ€, in 29e International Symposium on Theoretical Aspects of Computer Science (STACS 2012) (C. Dรผrr en T. Wilke, red.), vol. 14 van Leibniz International Proceedings in Informatics (LIPIcs), (Dagstuhl, Duitsland), pp. 636โ€“647, Schloss Dagstuhlโ€“Leibniz-Zentrum fuer Informatik, 2012. https://โ€‹/โ€‹doi.org/โ€‹10.4230/โ€‹LIPIcs. STACS.2012.636.
https: / / doi.org/ 10.4230 / LIPIcs.STACS.2012.636

[17] A. M. Childs, R. Kothari en R. D. Somma, โ€œKwantumalgoritme voor systemen van lineaire vergelijkingen met exponentieel verbeterde afhankelijkheid van precisieโ€, SIAM Journal on Computing, vol. 46, nee. 6, blz. 1920โ€“1950, 2017. https://โ€‹/โ€‹doi.org/โ€‹10.1137/โ€‹16M1087072.
https: / / doi.org/ 10.1137 / 16M1087072

[18] Y. Subasi, RD Somma en D. Orsucci, "Kwantumalgoritmen voor systemen van lineaire vergelijkingen geรฏnspireerd door adiabatische kwantumcomputers", Phys. Rev. Lett., vol. 122, blz. 060504, 2 2019. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹PhysRevLett.122.060504.
https: / / doi.org/ 10.1103 / PhysRevLett.122.060504

[19] D. An en L. Lin, โ€œQuantum lineaire systeemoplosser gebaseerd op tijd-optimale adiabatische quantum computing en quantum approximatieve optimalisatie-algoritmeโ€, ACM Transactions on Quantum Computing, vol. 3, 3 2022. https://โ€‹/โ€‹doi.org/โ€‹10.1145/โ€‹3498331.
https: / / doi.org/ 10.1145 / 3498331

[20] L. Lin en Y. Tong, โ€œOptimale polynoomgebaseerde kwantumeigentoestandfiltering met toepassing op het oplossen van kwantumlineaire systemenโ€, Quantum, vol. 4, blz. 361, 11 2020. https://โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2020-11-11-361.
https:/โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2020-11-11-361

[21] P. C. Costa, D. An, Y. R. Sanders, Y. Su, R. Babbush en D. W. Berry, "Oplosser voor optimale schaling van kwantumlineaire systemen via discrete adiabatische stelling", PRX Quantum, vol. 3, blz. 040303, oktober 2022. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹PRXQuantum.3.040303.
https: / / doi.org/ 10.1103 / PRXQuantum.3.040303

[22] S. K. Leyton en T. J. Osborne, โ€˜Een kwantumalgoritme om niet-lineaire differentiaalvergelijkingen op te lossenโ€™, 2008. https://โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹arXiv.0812.4423.
https:/โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹arXiv.0812.4423

[23] A. Engel, G. Smith en S.E. Parker, โ€œQuantum-algoritme voor de Vlasov-vergelijkingโ€, Physical Review A, vol. 100, nee. 6, blz. 062315, 2019. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹PhysRevA.100.062315.
https: / / doi.org/ 10.1103 / PhysRevA.100.062315

[24] I. Y. Dodin en E. A. Startsev, โ€˜Over toepassingen van kwantumcomputers op plasmasimulatiesโ€™, Physics of Plasmas, vol. 28, nee. 9, blz. 092101, 2021. https://โ€‹/โ€‹doi.org/โ€‹10.1063/โ€‹5.0056974.
https: / / doi.org/ 10.1063 / 5.0056974

[25] A. Engel, G. Smith en S.E. Parker, โ€œLineaire inbedding van niet-lineaire dynamische systemen en vooruitzichten voor efficiรซnte kwantumalgoritmenโ€, Physics of Plasmas, vol. 28, nee. 6, blz. 062305, 2021. https://โ€‹/โ€‹doi.org/โ€‹10.1063/โ€‹5.0040313.
https: / / doi.org/ 10.1063 / 5.0040313

[26] I. Joseph, โ€œKoopman-von neumann-benadering van kwantumsimulatie van niet-lineaire klassieke dynamicaโ€, Phys. Rev. Res., vol. 2, blz. 043102, oktober 2020. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹PhysRevResearch.2.043102.
https: / / doi.org/ 10.1103 / PhysRevResearch.2.043102

[27] I. Novikau, E.A. Startsev en I. Y. Dodin, โ€œKwantumsignaalverwerking voor het simuleren van koude plasmagolvenโ€, Phys. Rev.A, vol. 105, blz. 062444, juni 2022. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹PhysRevA.105.062444.
https: / / doi.org/ 10.1103 / PhysRevA.105.062444

[28] J. Hubisz, B. Sambasivam en J. Unmuth-Yockey, โ€œQuantum-algoritmen voor open roosterveldtheorieโ€, Physical Review A, vol. 104, 11 2021. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹physreva.104.052420.
https: / / doi.org/ 10.1103 / physreva.104.052420

[29] D. An, D. Fang, S. Jordan, J.-P. Liu, G. H. Low en J. Wang, โ€œEfficiรซnt kwantumalgoritme voor niet-lineaire reactie-diffusievergelijkingen en energieschattingโ€, 2022. https://โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹arXiv.2205.01141.
https:/โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹arXiv.2205.01141

[30] D. Fang, L. Lin en Y. Tong, โ€˜Op tijd marcheren gebaseerde kwantumoplossers voor tijdsafhankelijke lineaire differentiaalvergelijkingenโ€™, 2022. https://โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹arXiv.2208.06941.
https:/โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹arXiv.2208.06941

[31] DW Berry, A.M. Childs, Y. Su, X. Wang en N. Wiebe, "Tijdsafhankelijke Hamiltoniaanse simulatie met $L^1$-norm schaling", Quantum, vol. 4, blz. 254, april 2020. https://โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2020-04-20-254.
https:/โ€‹/โ€‹doi.org/โ€‹10.22331/โ€‹q-2020-04-20-254

[32] D. An, J.-P. Liu, D. Wang en Q. Zhao, โ€œEen theorie van oplossers van kwantumdifferentiaalvergelijkingen: beperkingen en snel vooruitspoelenโ€, 2022. https://โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹ARXIV.2211.05246.
https://โ€‹/โ€‹doi.org/โ€‹10.48550/โ€‹ARXIV.2211.05246

[33] W. Coppel, Stabiliteit en asymptotisch gedrag van differentiaalvergelijkingen. Heath wiskundige monografieรซn, Heath, 1965.

[34] C. F. Van Loan, โ€œEen onderzoek naar de exponentiรซle matrixโ€, tech. rep., Universiteit van Manchester, 2006.

[35] G. G. Dahlquist, โ€œEen speciaal stabiliteitsprobleem voor lineaire meerstapsmethodenโ€, BIT Numerical Mathematics, vol. 3, blz. 27โ€“43, maart 1963. https://โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹BF01963532.
https: / / doi.org/ 10.1007 / BF01963532

[36] L. Trefethen, M. Embree en M. Embree, Spectra en Pseudospectra: het gedrag van niet-normale matrices en operators. Princeton University Press, 2005. https://โ€‹/โ€‹doi.org/โ€‹10.2307/โ€‹j.ctvzxx9kj.
https://โ€‹/โ€‹doi.org/โ€‹10.2307/โ€‹j.ctvzxx9kj

[37] R. Bhatia, Matrixanalyse. Graduate Texts in Mathematics, Springer New York, 1996. https://โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹978-1-4612-0653-8.
https:/โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹978-1-4612-0653-8

[38] NF Loureiro, W. Dorland, L. Fazendeiro, A. Kanekar, A. Mallet, MS Vilelas en A. Zocco, โ€œViriato: A Fourier-Hermite spectrale code voor sterk gemagnetiseerde vloeistof-kinetische plasmadynamicaโ€, Computer Physics Communications, vol. 206, blz. 45โ€“63, 2016. https://โ€‹/โ€‹doi.org/โ€‹10.1016/โ€‹j.cpc.2016.05.004.
https: / / doi.org/ 10.1016 / j.cpc.2016.05.004

[39] R. A. Bertlmann, W. Grimus en B. C. Hiesmayr, โ€œOpen-kwantumsysteemformulering van deeltjesvervalโ€, Phys. Rev.A, vol. 73, blz. 054101, mei 2006. https://โ€‹/โ€‹doi.org/โ€‹10.1103/โ€‹PhysRevA.73.054101.
https: / / doi.org/ 10.1103 / PhysRevA.73.054101

[40] B. Kรฅgstrรถm, โ€œGrenzen en verstoringsgrenzen voor de exponentiรซle matrixโ€, BIT Numerical Mathematics, vol. 17, blz. 39โ€“57, maart 1977. https://โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹BF01932398.
https: / / doi.org/ 10.1007 / BF01932398

[41] L. Elsner en M. Paardekooper, โ€˜Over maatregelen voor de niet-normaliteit van matricesโ€™, Lineaire Algebra en haar toepassingen, vol. 92, blz. 107โ€“123, 1987. https://โ€‹/โ€‹doi.org/โ€‹10.1016/โ€‹0024-3795(87)90253-9.
https:/โ€‹/โ€‹doi.org/โ€‹10.1016/โ€‹0024-3795(87)90253-9

[42] N. Higham, Functies van matrices: theorie en berekening. Andere titels in toegepaste wiskunde, Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 2008. https:/โ€‹/โ€‹doi.org/โ€‹10.1137/โ€‹1.9780898717778.
https: / / doi.org/ 10.1137 / 1.9780898717778

[43] E. Hairer, S. Nรธrsett en G. Wanner, gewone differentiaalvergelijkingen oplossen I: niet-stijve problemen. Springer Series in Computational Mathematics, Springer Berlin Heidelberg, 2008. https://โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹978-3-540-78862-1.
https:/โ€‹/โ€‹doi.org/โ€‹10.1007/โ€‹978-3-540-78862-1

[44] M. M. Gilles Brassard, Peter Hรธyer en A. Tapp, โ€œQuantum amplitude amplificatie en schatting,โ€ in Quantum Computation and Information (J. Samuel J. Lomonaco en H.E. Brandt, red.), vol. 305, pp. 53โ€“74, Contemporary Mathematics, 2002. https://โ€‹/โ€‹doi.org/โ€‹10.1090/โ€‹conm/โ€‹305/โ€‹05215.
https: / / doi.org/ 10.1090 / conm / 305 / 05215

Geciteerd door

[1] Cheng Xue, Xiao-Fan Xu, Yu-Chun Wu en Guo-Ping Guo, "Kwantumalgoritme voor het oplossen van een kwadratisch niet-lineair systeem van vergelijkingen", Fysieke beoordeling A 106 3, 032427 (2022).

[2] Dong An, Di Fang, Stephen Jordan, Jin-Peng Liu, Guang Hao Low en Jiasu Wang, "Efficiรซnt kwantumalgoritme voor niet-lineaire reactie-diffusievergelijkingen en energieschatting", arXiv: 2205.01141, (2022).

[3] Dominic W. Berry en Pedro C. S. Costa, "Kwantumalgoritme voor tijdsafhankelijke differentiaalvergelijkingen met behulp van Dyson-reeksen", arXiv: 2212.03544, (2022).

[4] Koichi Miyamoto en Hiroshi Ueda, "Een functie extraheren die is gecodeerd in amplitudes van een kwantumtoestand door tensornetwerk en orthogonale functie-uitbreiding", arXiv: 2208.14623, (2022).

Bovenstaande citaten zijn afkomstig van SAO / NASA ADS (laatst bijgewerkt met succes 2023-02-03 04:56:43). De lijst is mogelijk onvolledig omdat niet alle uitgevers geschikte en volledige citatiegegevens verstrekken.

On De door Crossref geciteerde service er zijn geen gegevens gevonden over het citeren van werken (laatste poging 2023-02-03 04:56:41).

Tijdstempel:

Meer van Quantum Journaal