1Departamento de Informática, Universidad de Sussex, Reino Unido
2Quantinuum (Cambridge Quantum), Terrington House, 13-15 Hills Rd, Cambridge, CB2 1NL, Reino Unido
3Departamento de Informática y Tecnología, Universidad de Cambridge, Reino Unido
¿Encuentra este documento interesante o quiere discutirlo? Scite o deje un comentario en SciRate.
Resumen
Este documento se basa en la idea de simular circuitos estabilizadores a través de transformaciones de {expansiones de forma cuadrática}. Esta es una representación de un estado cuántico que especifica una fórmula para la expansión en la base estándar, describiendo fases relativas reales e imaginarias usando un polinomio de grado 2 sobre los números enteros. Mostramos cómo, con un manejo hábil de la representación de expansión de forma cuadrática, podemos simular operaciones de estabilizadores individuales en $mathcal{O}(n^2)$ tiempo igualando la complejidad general de otras técnicas de simulación [1,2,3]. Nuestras técnicas proporcionan economías de escala en el tiempo para simular mediciones simultáneas de todos (o casi todos) los qubits en la base estándar. Nuestras técnicas también permiten simular mediciones de un solo qubit con resultados deterministas en tiempo constante. También describimos cómo estos límites pueden ser más estrictos cuando la expansión del estado en la base estándar tiene relativamente pocos términos (tiene un "rango" bajo), o puede especificarse mediante matrices dispersas. Específicamente, esto nos permite simular una medición del síndrome del estabilizador "local" en el tiempo $mathcal{O}(n)$, para un código de estabilizador sujeto al ruido de Pauli, coincidiendo con lo que es posible utilizando técnicas desarrolladas por Gidney [4] sin necesidad de almacenar qué operaciones se han simulado hasta el momento.
► datos BibTeX
► referencias
[ 1 ] S. Aaronson y D. Gottesman, "Simulación mejorada de circuitos estabilizadores", Physical Review A, vol. 70, núm. 5, noviembre de 2004. [En línea]. Disponible: https:///doi.org/10.1103/physreva.70.052328 0pt.
https: / / doi.org/ 10.1103 / physreva.70.052328
[ 2 ] S. Anders y HJ Briegel, "Simulación rápida de circuitos estabilizadores utilizando una representación gráfica del estado", Physical Review A, vol. 73, núm. 2 de febrero de 2006. [En línea]. Disponible: http:///doi.org/10.1103/PhysRevA.73.022334 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.73.022334
[ 3 ] S. Bravyi, G. Smith y JA Smolin, "Comercio de recursos computacionales clásicos y cuánticos", Physical Review X, vol. 6, núm. 2, junio de 2016. [En línea]. Disponible: http:///doi.org/10.1103/PhysRevX.6.021043 0pt.
https: / / doi.org/ 10.1103 / PhysRevX.6.021043
[ 4 ] C. Gidney, "Stim: un simulador de circuito estabilizador rápido", Quantum, vol. 5, pág. 497, julio de 2021. [En línea]. Disponible: https:///doi.org/10.22331/q-2021-07-06-497 0pt.
https://doi.org/10.22331/q-2021-07-06-497
[ 5 ] P. Shor, "Algoritmos para computación cuántica: logaritmos discretos y factorización", págs. 124-134, 1994. [En línea]. Disponible: https:///doi.org/10.1109/SFCS.1994.365700 0pt.
https: / / doi.org/ 10.1109 / SFCS.1994.365700
[ 6 ] LK Grover, "Un algoritmo mecánico cuántico rápido para la búsqueda en bases de datos", en Actas del vigésimo octavo Simposio anual ACM sobre teoría de la computación, ser. STOC '96. Nueva York, NY, EE.UU.: Association for Computing Machinery, 1996, p. 212–219. [En línea]. Disponible: https:///doi.org/10.1145/237814.237866 0pt.
https: / / doi.org/ 10.1145 / 237814.237866
[ 7 ] D. Gottesman, "The Heisenberg Representation of Quantum Computers", arXiv e-prints, julio de 1998. [En línea]. Disponible: https:///doi.org/10.48550/ARXIV.QUANT-PH/9807006 0pt.
https://doi.org/10.48550/ARXIV.QUANT-PH/9807006
[ 8 ] SJ Devitt, WJ Munro y K. Nemoto, "Corrección de errores cuánticos para principiantes", Informes sobre el progreso en física, vol. 76, núm. 7, pág. 076001, junio de 2013. [En línea]. Disponible: http:///doi.org/10.1088/0034-4885/76/7/076001 0pt.
https://doi.org/10.1088/0034-4885/76/7/076001
[ 9 ] BM Terhal, "Corrección de errores cuánticos para memorias cuánticas", Reviews of Modern Physics, vol. 87, núm. 2, pág. 307–346, abril de 2015. [En línea]. Disponible: http:///doi.org/10.1103/RevModPhys.87.307 0pt.
https: / / doi.org/ 10.1103 / RevModPhys.87.307
[ 10 ] J. Roffe, "Corrección de errores cuánticos: una guía introductoria", Física Contemporánea, vol. 60, núm. 3, pág. 226–245, julio de 2019. [En línea]. Disponible: http:///doi.org/10.1080/00107514.2019.1667078 0pt.
https: / / doi.org/ 10.1080 / 00107514.2019.1667078
[ 11 ] S. Bravyi, D. Browne, P. Calpin, E. Campbell, D. Gosset y M. Howard, "Simulación de circuitos cuánticos mediante descomposiciones de estabilizadores de bajo rango", Quantum, vol. 3, pág. 181, septiembre de 2019. [En línea]. Disponible: http:///doi.org/10.22331/q-2019-09-02-181 0pt.
https://doi.org/10.22331/q-2019-09-02-181
[ 12 ] N. de Beaudrap, V. Danos, E. Kashefi y M. Roetteler, "Expansiones de forma cuadrática para unitarios", en Teoría de la computación, la comunicación y la criptografía cuánticas, Y. Kawano y M. Mosca, Eds. Berlín, Heidelberg: Springer Berlin Heidelberg, 2008, págs. 29–46. [En línea]. Disponible: https:///doi.org/10.1007/978-3-540-89304-2_4 0pt.
https://doi.org/10.1007/978-3-540-89304-2_4
[ 13 ] AR Calderbank y PW Shor, "Existen buenos códigos de corrección de errores cuánticos", Physical Review A, vol. 54, núm. 2, pág. 1098–1105, agosto de 1996. [En línea]. Disponible: http:///doi.org/10.1103/PhysRevA.54.1098 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.54.1098
[ 14 ] J. Dehaene y B. de Moor, "Grupo Clifford, estados estabilizadores y operaciones lineales y cuadráticas sobre GF(2)", Physical Review A, vol. 68, núm. 4, pág. 042318, octubre de 2003. [En línea]. Disponible: https:///doi.org/10.1103/physreva.68.042318 0pt.
https: / / doi.org/ 10.1103 / physreva.68.042318
[ 15 ] M. Van Den Nest, "Simulación clásica de la computación cuántica, el teorema de Gottesman-knill y un poco más allá", Quantum Info. Computación, vol. 10, núm. 3, marzo de 2010. [En línea]. Disponible: https:///doi.org/10.26421/QIC10.3-4-6 0pt.
https: / / doi.org/ 10.26421 / QIC10.3-4-6
[ 16 ] J. Bermejo-Vega y M. Van Den Nest, "Simulaciones clásicas de circuitos normalizadores de grupos abelianos con medidas intermedias", Quantum Information and Computation, vol. 14, núm. 3 y 4, págs. 181–0216, marzo de 2014. [En línea]. Disponible: https:///doi.org/10.26421/QIC14.3-4-1 0pt.
https: / / doi.org/ 10.26421 / QIC14.3-4-1
[ 17 ] M. Amy, "Hacia la verificación funcional a gran escala de circuitos cuánticos universales", Electronic Proceedings in Theoretical Computer Science, vol. 287, pág. 1 al 21 de enero de 2019. [En línea]. Disponible: http:///doi.org/10.4204/EPTCS.287.1 0pt.
https: / / doi.org/ 10.4204 / EPTCS.287.1
[ 18 ] D. Gross, "Teorema de Hudson para sistemas cuánticos de dimensión finita", Journal of Mathematical Physics, vol. 47, núm. 12, pág. 122107, diciembre de 2006. [En línea]. Disponible: http:///doi.org/10.1063/1.2393152 0pt.
https: / / doi.org/ 10.1063 / 1.2393152
[ 19 ] N. de Beaudrap y S. Herbert, "Codificación de redes lineales cuánticas para distribución de entrelazamiento en arquitecturas restringidas", Quantum, vol. 4, pág. 356, noviembre de 2020. [En línea]. Disponible: https:///doi.org/10.22331/q-2020-11-01-356 0pt.
https://doi.org/10.22331/q-2020-11-01-356
[ 20 ] C. Guan y KW Regan, "Circuitos estabilizadores, formas cuadráticas y rango de matriz informática", 2019. [En línea]. Disponible: https:///doi.org/10.48550/arxiv.1904.00101 0pt.
https:///doi.org/10.48550/arxiv.1904.00101
[ 21 ] MA Nielsen e IL Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition, 10th ed. EE. UU.: Cambridge University Press, 2011. [En línea]. Disponible: https://doi.org/10.1017/CBO9780511976667 0pt.
https: / / doi.org/ 10.1017 / CBO9780511976667
[ 22 ] R. Jozsa y M. Van Den Nest, "Complejidad de simulación clásica de circuitos Clifford extendidos", Quantum Info. Computación, vol. 14, núm. 7 y 8, pág. 633–648, mayo de 2014. [En línea]. Disponible: https:///doi.org/10.48550/arxiv.1305.6190 0pt.
https:///doi.org/10.48550/arxiv.1305.6190
[ 23 ] S. Bravyi y D. Gosset, "Simulación clásica mejorada de circuitos cuánticos dominados por puertas de Clifford", Physical Review Letters, vol. 116, núm. 25 de junio de 2016. [En línea]. Disponible: http:///doi.org/10.1103/PhysRevLett.116.250501 0pt.
https: / / doi.org/ 10.1103 / PhysRevLett.116.250501
[ 24 ] AG Fowler, M. Mariantoni, JM Martinis y AN Cleland, "Códigos de superficie: hacia la computación cuántica práctica a gran escala", Physical Review A, vol. 86, núm. 3, septiembre de 2012. [En línea]. Disponible: http:///doi.org/10.1103/PhysRevA.86.032324 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.86.032324
[ 25 ] AJ Landahl, JT Anderson y PR Rice, "Computación cuántica tolerante a fallos con códigos de colores", 2011. [En línea]. Disponible: https:///doi.org/10.48550/arxiv.1108.5738 0pt.
https:///doi.org/10.48550/arxiv.1108.5738
[ 26 ] R. Chao y BW Reichardt, "Corrección de errores cuánticos con sólo dos qubits adicionales", Physical Review Letters, vol. 121, núm. 5 de agosto de 2018. [En línea]. Disponible: http:///doi.org/10.1103/PhysRevLett.121.050502 0pt.
https: / / doi.org/ 10.1103 / PhysRevLett.121.050502
[ 27 ] PW Shor, ``Computación cuántica tolerante a fallos'', en Actas del 37º Simposio anual sobre fundamentos de la informática, ser. FOCS '96. Estados Unidos: IEEE Computer Society, 1996, pág. 56. [En línea]. Disponible: https:///doi.org/10.1109/SFCS.1996.548464 0pt.
https: / / doi.org/ 10.1109 / SFCS.1996.548464
[ 28 ] DP DiVincenzo y P. Aliferis, "Computación cuántica eficaz y tolerante a fallos con mediciones lentas", Physical Review Letters, vol. 98, núm. 2, enero de 2007. [En línea]. Disponible: http:///doi.org/10.1103/PhysRevLett.98.020501 0pt.
https: / / doi.org/ 10.1103 / PhysRevLett.98.020501
[ 29 ] CH Bennett, G. Brassard, S. Popescu, B. Schumacher, JA Smolin y WK Wootters, "Purificación de enredos ruidosos y teletransportación fiel a través de canales ruidosos", Phys. Rev. Lett., vol. 76, págs. 722–725, enero de 1996. [En línea]. Disponible: https:///doi.org/10.1103/physrevlett.76.722 0pt.
https: / / doi.org/ 10.1103 / physrevlett.76.722
[ 30 ] R. Nigmatullin, CJ Ballance, N. de Beaudrap y SC Benjamin, "Trampas de iones mínimamente complejas como módulos para la comunicación y la computación cuántica", New Journal of Physics, vol. 18, núm. 10, pág. 103028, 2016. [En línea]. Disponible: https:///doi.org/10.1088/1367-2630/18/10/103028 0pt.
https://doi.org/10.1088/1367-2630/18/10/103028
[ 31 ] W. Dür y HJ Briegel, "Purificación de entrelazamiento y corrección de errores cuánticos", Informes sobre el progreso en física, vol. 70, núm. 8, pág. 1381–1424, julio de 2007. [En línea]. Disponible: http:///doi.org/10.1088/0034-4885/70/8/R03 0pt.
https://doi.org/10.1088/0034-4885/70/8/R03
[ 32 ] CM Dawson, AP Hines, D. Mortimer, HL Haselgrove, MA Nielsen y TJ Osborne, "Computación cuántica y ecuaciones polinómicas sobre el campo finito Z2", Quantum Info. Computación, vol. 5, núm. 2, pág. 102–112, marzo de 2005. [En línea]. Disponible: https:///doi.org/10.48550/arxiv.quant-ph/0408129 0pt.
https://doi.org/10.48550/arxiv.quant-ph/0408129
arXiv: quant-ph / 0408129
[ 33 ] M. Hein, J. Eisert y HJ Briegel, "Enredo multipartidista en estados de grafos", Physical Review A, vol. 69, núm. 6, junio de 2004. [En línea]. Disponible: http:///doi.org/10.1103/PhysRevA.69.062311 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.69.062311
[ 34 ] M. Hein, W. Dür, J. Eisert, R. Raussendorf, M. Nest y H. Briegel, "Enredo en estados de grafos y sus aplicaciones", Quantum Computers, Algorithms and Chaos, vol. 162, 03 2006. [En línea]. Disponible: https:///doi.org/10.3254/978-1-61499-018-5-115 0pt.
https://doi.org/10.3254/978-1-61499-018-5-115
[ 35 ] LE Heyfron y ET Campbell, "Un compilador cuántico eficiente que reduce el recuento de T", Quantum Science and Technology, vol. 4, núm. 1, pág. 015004, septiembre de 2018. [En línea]. Disponible: https:///doi.org/10.1088/2058-9565/aad604 0pt.
https: / / doi.org/ 10.1088 / 2058-9565 / aad604
[ 36 ] D. Gottesman e IL Chuang, "Demostración de la viabilidad de la computación cuántica universal mediante teletransportación y operaciones de un solo qubit", Nature, vol. 402, núm. 6760, págs. 390–393, 1999. [En línea]. Disponible: https:///doi.org/10.1038/46503 0pt.
https: / / doi.org/ 10.1038 / 46503
[ 37 ] B. Zeng, X. Chen e IL Chuang, "Operaciones semi-clifford, estructura de la jerarquía ${mathcal{c}}_{k}$ y complejidad de la puerta para la computación cuántica tolerante a fallas", Phys. Rev. A, vol. 77, pág. 042313, abril de 2008. [En línea]. Disponible: https:///doi.org/10.1103/PhysRevA.77.042313 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.77.042313
[ 38 ] A. Edgington, "Simplex: un simulador rápido para circuitos de Clifford". [En línea]. Disponible: https:///github.com/CQCL/simplex/releases/tag/v1.4.0 0pt.
https://github.com/CQCL/simplex/releases/tag/v1.4.0
Citado por
[1] Matthew Amy, Owen Bennett-Gibbs y Neil J. Ross, "Síntesis simbólica de los circuitos de Clifford y más allá", arXiv: 2204.14205.
Las citas anteriores son de ANUNCIOS SAO / NASA (última actualización exitosa 2022-09-15 21:50:22). La lista puede estar incompleta ya que no todos los editores proporcionan datos de citas adecuados y completos.
On Servicio de citaciones de Crossref no se encontraron datos sobre las obras citadas (último intento 2022-09-15 21:50:20).
Este documento se publica en Quantum bajo el Creative Commons Reconocimiento 4.0 Internacional (CC BY 4.0) licencia. Los derechos de autor permanecen con los titulares de derechos de autor originales, como los autores o sus instituciones.
