Articulo de referencia

Transformación cuántica de valores singulares

La transformación de valores singulares cuánticos es un marco para el diseño de algoritmos cuánticos . Engloba una variedad de algoritmos cuánticos para problemas que pueden res...

La transformación de valores singulares cuánticos es un marco para el diseño de algoritmos cuánticos . Engloba una variedad de algoritmos cuánticos para problemas que pueden resolverse con álgebra lineal , incluyendo simulación hamiltoniana , problemas de búsqueda y resolución de sistemas lineales . [ 1 ] [ 2 ] [ 3 ] Fue introducida en 2018 por András Gilyén, Yuan Su, Guang Hao Low y Nathan Wiebe, generalizando algoritmos para simulación hamiltoniana de Guang Hao Low e Isaac Chuang inspirados en el procesamiento de señales. [ 4 ]

Descripción de alto nivel

La primitiva básica de la transformación de valores singulares cuánticos es la codificación por bloques. Un circuito cuántico es una codificación por bloques de una matriz A si implementa una matriz unitaria U tal que U contiene A en una submatriz específica. Por ejemplo, si(0|I)U(|0|ϕ)=A|ϕ{\displaystyle (\langle 0|\otimes I)U(|0\rangle \otimes |\phi \rangle )=A|\phi \rangle }, entonces U es una codificación por bloques de A.

El algoritmo fundamental de QSVT es uno que convierte una codificación de bloques de A en una codificación de bloques depag(A,A){\displaystyle p(A,A^{\dagger })}, donde p es un polinomio de grado d yA{\displaystyle A^{\dagger }}denota la transpuesta conjugada , con solo d aplicaciones del circuito y un cúbit auxiliar. Esto se puede hacer para una gran clase de polinomios p que corresponden a la aplicación de un polinomio a los valores singulares de A , dando como resultado una "transformación de valores singulares".

También se puede realizar una variante de este algoritmo cuando A es hermitiana , lo que corresponde a una "transformación de valores propios". Es decir, dada una codificación por bloques de A con descomposición en valores propios de una matrizA=λiii{\displaystyle A=\sum \lambda _{i}u_{i}u_{i}^{\dagger }}, se puede obtener una codificación de bloques parapag(λi)ii{\displaystyle \sum p(\lambda _{i})u_{i}u_{i}^{\dagger }}, siempre que p esté acotado. [ 4 ]

Algoritmo

Entrada : Una matrizA{\displaystyle A}cuya descomposición en valores singulares esA=WΣV{\displaystyle A=W\Sigma V^{\dagger }}dóndeΣ{\displaystyle \Sigma }son los valores singulares de A
Entrada : Un polinomioPAG{\displaystyle P}
Salida : Una unidad dondePAG{\displaystyle P}se ha aplicado a los valores singulares deA{\displaystyle A}:[WPAG(Σ)V...]{\displaystyle {\begin{bmatrix}WP(\Sigma )V^{\dagger }&.\\.&.\end{bmatrix}}}
  1. Prepare una unidadU{\displaystyle U}que codificaA{\displaystyle A}en la parte superior izquierda deU{\displaystyle U}, eso esU=[A...]{\displaystyle U={\begin{bmatrix}A&.\\.&.\end{bmatrix}}}
  2. Inicializar unnorte{\displaystyle n}estado del cúbit|0norte{\displaystyle |0\rangle ^{\otimes n}}
  3. Si el polinomio es impar, apliqueΠ~ϕ1Uk=1d12Πϕ2kUΠ~ϕ2k+1U{\displaystyle {\tilde {\Pi }}_{\phi _{1}}U\prod _{k=1}^{\frac {d-1}{2}}\Pi _{\phi _{2k}}U^{\dagger }{\tilde {\Pi }}_{\phi _{2k+1}}U}a|0norte{\displaystyle |0\rangle ^{\otimes n}}
  4. Si el polinomio es par, se aplicak=1d2Πϕ2k1UΠ~ϕ2kU{\displaystyle \prod _{k=1}^{\frac {d}{2}}\Pi _{\phi _{2k}-1}U^{\dagger }{\tilde {\Pi }}_{\phi _{2k}}U}a|0norte{\displaystyle |0\rangle ^{\otimes n}}

[ 2 ]

Referencias

  1. Gilyén, András; Su, Yuan; Low, Guang Hao; Wiebe, Nathan (junio de 2019). Transformación cuántica de valores singulares y más allá: mejoras exponenciales para la aritmética matricial cuántica . STOC 2019. ACM. págs. 193–204 . arXiv : 1806.01838 . doi : 10.1145/3313276.3316366 . ISBN  978-1-4503-6705-9.
  2. 1 2 Martyn, John M.; Rossi, Zane M; Tan, Andrew K.; Chuang, Isaac L. (2021). "Gran Unificación de Algoritmos Cuánticos" . PRX Quantum . 2 (4) 040203. Sociedad Estadounidense de Física. arXiv : 2105.02859 . Bibcode : 2021PRXQ....2d0203M . doi : 10.1103/PRXQuantum.2.040203 .
  3. Arrazola, Juan Miguel (23-05-2023). "Introducción a QSVT" . Demostraciones de PennyLane .
  4. 1 2 Low, Guang Hao; Chuang, Isaac (2017). "Simulación óptima de hamiltoniano mediante procesamiento de señales cuánticas". Physical Review Letters . 118 (1) 010501. arXiv : 1606.02685 . Bibcode : 2017PhRvL.118a0501L . doi : 10.1103/PhysRevLett.118.010501 . PMID 28106413 . S2CID 1118993 .  

Véase también

  • Implementación del algoritmo QSVT para la inversión de matrices con Classiq