Sur le codage par bloc quantique efficace des opérateurs pseudo-différentiels

Sur le codage par bloc quantique efficace des opérateurs pseudo-différentiels

Nœud source: 2694594

Haoya Li1, Hongkang Ni2et Lexing Ying1,2

1Département de mathématiques, Université de Stanford, Stanford, CA 94305
2Institut d'ingénierie informatique et mathématique, Université de Stanford, Stanford, CA 94305

Vous trouvez cet article intéressant ou souhaitez en discuter? Scite ou laisse un commentaire sur SciRate.

Abstract

Le codage par blocs est au cœur de nombreux algorithmes quantiques existants. Parallèlement, les codages de blocs efficaces et explicites d’opérateurs denses sont communément reconnus comme un problème difficile. Cet article présente une étude complète du codage par blocs d'une riche famille d'opérateurs denses : les opérateurs pseudo-différentiels (PDO). Tout d’abord, un schéma de codage par blocs pour les PDO génériques est développé. Nous proposons ensuite un schéma plus efficace pour les AOP à structure séparable. Enfin, nous démontrons un algorithme de codage par blocs explicite et efficace pour les PDO avec une structure entièrement séparable en termes de dimensions. Une analyse de complexité est fournie pour tous les algorithmes de codage de blocs présentés. L'application des résultats théoriques est illustrée par des exemples concrets, notamment la représentation d'opérateurs elliptiques à coefficient variable et le calcul de l'inverse des opérateurs elliptiques sans invoquer d'algorithmes de système linéaire quantique (QLSA).

Le codage par blocs est au cœur de nombreux algorithmes quantiques existants. Parallèlement, les codages de blocs efficaces et explicites d’opérateurs denses sont communément reconnus comme un problème difficile. Cet article présente une étude complète du codage par blocs d'une riche famille d'opérateurs denses : les opérateurs pseudo-différentiels (PDO). Nous développons de nouveaux schémas de codage par blocs pour trois types de PDO avec des structures différentes. En plus d'une analyse approfondie de la complexité, nous fournissons des exemples explicites où différents PDO sont représentés avec les schémas de codage par blocs proposés.

► Données BibTeX

► Références

D. An et L. Lin. Solveur de système linéaire quantique basé sur l'informatique quantique adiabatique optimale en temps et un algorithme d'optimisation approximative quantique. Transactions ACM sur l'informatique quantique, 3 : 1–28, 2022. 10.1145/​3498331.
https: / / doi.org/ 10.1145 / 3498331

D. W. Berry, A. M. Childs, R. Cleve, R. Kothari et R. D. Somma. Simulation de la dynamique hamiltonienne avec une série de Taylor tronquée. Lettres d'examen physique, 114 : 090502, 2015. 10.1103/​PhysRevLett.114.090502.
https: / / doi.org/ 10.1103 / PhysRevLett.114.090502

G. Beylkin et L. Monzón. Sur l'approximation des fonctions par des sommes exponentielles. Analyse harmonique appliquée et informatique, 19 : 17–48, 2005. 10.1016/​j.acha.2005.01.003.
https: / / doi.org/ 10.1016 / j.acha.2005.01.003

D. Camps et R. Van Beeumen. Fable : Circuits quantiques approximatifs rapides pour les codages par blocs. En 2022, Conférence internationale de l'IEEE sur l'informatique et l'ingénierie quantiques (QCE), pages 104-113. IEEE, 2022. 10.1109/​QCE53715.2022.00029.
https: / / doi.org/ 10.1109 / QCE53715.2022.00029

D. Camps, L. Lin, R. Van Beeumen et C. Yang. Circuits quantiques explicites pour les codages par blocs de certaines matrices clairsemées. Préimpression arXiv arXiv :2203.10236, 2022. 10.48550/​arXiv.2203.10236.
https://​/​doi.org/​10.48550/​arXiv.2203.10236
arXiv: 2203.10236

Y. Cao, A. Papageorgiou, I. Petras, J. Traub et S. Kais. Algorithme quantique et conception de circuits résolvant l'équation de Poisson. Nouveau Journal of Physics, 15 (1) : 013021, 2013. 10.1088/​1367-2630/​15/​1/​013021.
https:/​/​doi.org/​10.1088/​1367-2630/​15/​1/​013021

G. Castelazo, Q. T. Nguyen, G. De Palma, D. Englund, S. Lloyd et BT Kiani. Algorithmes quantiques pour la convolution de groupe, la corrélation croisée et les transformations équivariantes. Examen physique A, 106 : 032402, 2022. 10.1103/​PhysRevA.106.032402.
https: / / doi.org/ 10.1103 / PhysRevA.106.032402

R. Chao, D. Ding, A. Gilyen, C. Huang et M. Szegedy. Trouver des angles pour le traitement du signal quantique avec la précision de la machine. Préimpression arXiv arXiv:2003.02831, 2020. 10.48550/​arXiv.2003.02831.
https://​/​doi.org/​10.48550/​arXiv.2003.02831
arXiv: 2003.02831

A.M. Childs, R. Kothari et R.D. Somma. Algorithme quantique pour systèmes d'équations linéaires avec une dépendance exponentiellement améliorée à la précision. SIAM Journal sur l'informatique, 46 : 1920-1950, 2017. 10.1137/​16M1087072.
https: / / doi.org/ 10.1137 / 16M1087072

A.M. Childs, J.-P. Liu et A. Ostrander. Algorithmes quantiques de haute précision pour les équations aux dérivées partielles. Quantique, 5 : 574, 2021. 10.22331/​q-2021-11-10-574.
https:/​/​doi.org/​10.22331/​q-2021-11-10-574

D. Chaudronnier. Une transformée de Fourier approximative utile en factorisation quantique. préimpression arXiv quant-ph/​0201067, 2002. 10.48550/​arXiv.quant-ph/​0201067.
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​0201067
arXiv: quant-ph / 0201067

PC Costa, S. Jordan et A. Ostrander. Algorithme quantique pour simuler l'équation des ondes. Examen physique A, 99 : 012323, 2019. 10.1103/​PhysRevA.99.012323.
https: / / doi.org/ 10.1103 / PhysRevA.99.012323

PC Costa, D. An, Y. R. Sanders, Y. Su, R. Babbush et D. W. Berry. Solveur de systèmes linéaires quantiques à mise à l'échelle optimale via le théorème adiabatique discret. PRX Quantum, 3 : 040303, 2022. 10.1103/​PRXQuantum.3.040303.
https: / / doi.org/ 10.1103 / PRXQuantum.3.040303

A.J. da Silva et D.K. Park. Circuits quantiques à profondeur linéaire pour portes contrôlées multiqubits. Examen physique A, 106 : 042602, 2022. 10.1103/​PhysRevA.106.042602.
https: / / doi.org/ 10.1103 / PhysRevA.106.042602

L. Demanet et L. Ying. Calcul des symboles discrets. Revue SIAM, 53 : 71–104, 2011. 10.1137/​080731311.
https: / / doi.org/ 10.1137 / 080731311

Y. Dong, X. Meng, KB Whaley et L. Lin. Évaluation efficace du facteur de phase dans le traitement du signal quantique. Examen physique A, 103 : 042419, 2021. 10.1103/​PhysRevA.103.042419.
https: / / doi.org/ 10.1103 / PhysRevA.103.042419

Y. Dong, L. Lin, H. Ni et J. Wang. Traitement infini du signal quantique. Préimpression arXiv arXiv :2209.10162, 2022. 10.48550/​arXiv.2209.10162.
https://​/​doi.org/​10.48550/​arXiv.2209.10162
arXiv: 2209.10162

A. Gilyén, Y. Su, GH Low et N. Wiebe. Transformation quantique des valeurs singulières et au-delà : améliorations exponentielles pour l'arithmétique matricielle quantique. Actes du 51e symposium annuel ACM SIGACT sur la théorie de l'informatique, 2019. 10.1145/​3313276.3316366.
https: / / doi.org/ 10.1145 / 3313276.3316366

L. Grover et T. Rudolph. Créer des superpositions qui correspondent à des distributions de probabilité efficacement intégrables. préimpression arXiv quant-ph/​0208112, 2002. 10.48550/​arXiv.quant-ph/​0208112.
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​0208112
arXiv: quant-ph / 0208112

J. Haah. Décomposition du produit des fonctions périodiques dans le traitement du signal quantique. Quantique, 3 : 190, 2019. 10.22331/​q-2019-10-07-190.
https:/​/​doi.org/​10.22331/​q-2019-10-07-190

A.W. Harrow, A. Hassidim et S. Lloyd. Algorithme quantique pour systèmes d'équations linéaires. Lettres d'examen physique, 103 : 150502, 2009. 10.1103/​PhysRevLett.103.150502.
https: / / doi.org/ 10.1103 / PhysRevLett.103.150502

A. Y. Kitaev. Calculs quantiques : algorithmes et correction d'erreurs. Enquêtes mathématiques russes, 52 : 1191, 1997. 10.1070/​RM1997v052n06ABEH002155.
https:/​/​doi.org/​10.1070/​RM1997v052n06ABEH002155

A. Y. Kitaev, A. Shen, M. N. Vyalyi et M. N. Vyalyi. Calcul classique et quantique. Société mathématique américaine, 2002. 10.1090/​gsm/​047.
https: / / doi.org/ 10.1090 / gsm / 047

L. Lin et Y. Tong. Filtrage d'états propres quantiques optimal basé sur des polynômes avec application à la résolution de systèmes linéaires quantiques. Quantique, 4 : 361, 2020. 10.22331/​q-2020-11-11-361.
https:/​/​doi.org/​10.22331/​q-2020-11-11-361

G. H. Low et I. L. Chuang. Simulation hamiltonienne optimale par traitement du signal quantique. Lettres d'examen physique, 118 : 010501, 2017. 10.1103/​PhysRevLett.118.010501.
https: / / doi.org/ 10.1103 / PhysRevLett.118.010501

A. Mahasinghe et J. Wang. Circuits quantiques efficaces pour les matrices de Toeplitz et de Hankel. Journal of Physics A : Mathematical and Theoretical, 49 : 275301, 2016. 10.1088/​1751-8113/​49/​27/​275301.
https:/​/​doi.org/​10.1088/​1751-8113/​49/​27/​275301

S. McArdle, A. Gilyén et M. Berta. Préparation d'état quantique sans arithmétique cohérente. Préimpression arXiv arXiv:2210.14892, 2022. 10.48550/​arXiv.2210.14892.
https://​/​doi.org/​10.48550/​arXiv.2210.14892
arXiv: 2210.14892

A. Montanaro et S. Pallister. Algorithmes quantiques et méthode des éléments finis. Examen physique A, 93 : 032324, 2016. 10.1103/​PhysRevA.93.032324.
https: / / doi.org/ 10.1103 / PhysRevA.93.032324

Y. Nam, Y. Su et D. Maslov. Transformée de Fourier quantique approximative avec des portes o (n log (n)) t. NPJ Quantum Information, 6 : 26, 2020. 10.1038/​s41534-020-0257-5.
https:/​/​doi.org/​10.1038/​s41534-020-0257-5

Q. T. Nguyen, BT Kiani et S. Lloyd. Algorithme quantique pour noyaux denses et de rang complet utilisant des matrices hiérarchiques. Quantique, 6 : 876, 2022. 10.22331/​q-2022-12-13-876.
https:/​/​doi.org/​10.22331/​q-2022-12-13-876

MA Nielsen et I. Chuang. Calcul quantique et information quantique. Association américaine des professeurs de physique, 2002. 10.1119/​1.1463744.
https: / / doi.org/ 10.1119 / 1.1463744

E. G. Rieffel et W. H. Polak. Informatique quantique : une introduction en douceur. MIT Press, 2011. 10.1063/​PT.3.1442.
https://​/​doi.org/​10.1063/​PT.3.1442

S. Sachdeva, NK Vishnoi et al. Algorithmes plus rapides via la théorie de l'approximation. Fondements et tendances de l'informatique théorique, 9 : 125-210, 2014. 10.1561/​0400000065.
https: / / doi.org/ 10.1561 / 0400000065

E. M. Stein et T. S. Murphy. Analyse harmonique : méthodes à variables réelles, orthogonalité et intégrales oscillatoires, volume 3. Princeton University Press, 1993. ISBN 9780691032160. URL https:/​/​press.princeton.edu/​books/​hardcover/​9780691032160/​harmonic -analyse-pms-43-volume-43.
https://​/​press.princeton.edu/​books/​hardcover/​9780691032160/​harmonic-analysis-pms-43-volume-43

Y. Tong, D. An, N. Wiebe et L. Lin. Inversion rapide, solveurs de systèmes linéaires quantiques préconditionnés, calcul rapide de la fonction de Green et évaluation rapide des fonctions matricielles. Examen physique A, 104, 2021. 10.1103/​PhysRevA.104.032422.
https: / / doi.org/ 10.1103 / PhysRevA.104.032422

R. Vale, TMD Azevedo, I. Araújo, IF Araujo et AJ da Silva. Décomposition de portes unitaires spéciales à qubit unique multi-contrôlées. Préimpression arXiv arXiv:2302.06377, 2023. 10.48550/​arXiv.2302.06377.
https://​/​doi.org/​10.48550/​arXiv.2302.06377
arXiv: 2302.06377

M.W. Wong. Une introduction aux opérateurs pseudo-différentiels. Monde scientifique, 1999. 10.1142/​4047.
https: / / doi.org/ 10.1142 / 4047

Couché. Factorisation stable pour les facteurs de phase du traitement du signal quantique. Quantique, 6 : 842, 2022. 10.22331/​q-2022-10-20-842.
https:/​/​doi.org/​10.22331/​q-2022-10-20-842

Cité par

[1] David Jennings, Matteo Lostaglio, Sam Pallister, Andrew T Sornborger et Yiğit Subaşı, « Algorithme de résolution linéaire quantique efficace avec coûts de fonctionnement détaillés », arXiv: 2305.11352, (2023).

Les citations ci-dessus proviennent de SAO / NASA ADS (dernière mise à jour réussie 2023-06-02 12:49:58). La liste peut être incomplète car tous les éditeurs ne fournissent pas de données de citation appropriées et complètes.

Impossible de récupérer Données de référence croisée lors de la dernière tentative 2023-06-02 12:49:57: Impossible de récupérer les données citées par 10.22331 / q-2023-06-02-1031 de Crossref. C'est normal si le DOI a été enregistré récemment.

Horodatage:

Plus de Journal quantique