stringtranslate.com

Teorema del umbral

En computación cuántica , el teorema del umbral (o teorema de tolerancia a fallas cuánticas ) establece que un ordenador cuántico con una tasa de error físico por debajo de un cierto umbral puede, mediante la aplicación de esquemas de corrección de errores cuánticos , suprimir la tasa de error lógico a niveles arbitrariamente bajos. Esto demuestra que los ordenadores cuánticos pueden hacerse tolerantes a fallas , como un análogo al teorema del umbral de von Neumann para la computación clásica. [1] Este resultado fue demostrado (para varios modelos de error) por los grupos de Dorit Aharanov y Michael Ben-Or; [2] Emanuel Knill, Raymond Laflamme y Wojciech Zurek ; [3] y Alexei Kitaev [4] de forma independiente. [3] Estos resultados se basaron en un artículo de Peter Shor , [5] que demostró una versión más débil del teorema del umbral.

Explicación

La cuestión clave que resuelve el teorema del umbral es si los ordenadores cuánticos podrían, en la práctica, realizar cálculos largos sin sucumbir al ruido. Dado que un ordenador cuántico no podrá realizar operaciones de compuertas a la perfección, es inevitable que se produzca algún pequeño error constante; hipotéticamente, esto podría significar que los ordenadores cuánticos con compuertas imperfectas solo pueden aplicar un número constante de compuertas antes de que el cálculo se vea destruido por el ruido.

Sorprendentemente, el teorema del umbral cuántico muestra que si el error que se debe realizar en cada puerta es una constante lo suficientemente pequeña, se pueden realizar cálculos cuánticos arbitrariamente largos con una precisión arbitrariamente buena, con solo una pequeña sobrecarga añadida en el número de puertas. La formulación formal del teorema del umbral depende de los tipos de códigos de corrección de errores y del modelo de error que se estén considerando. Quantum Computation and Quantum Information , de Michael Nielsen e Isaac Chuang , proporciona el marco general para dicho teorema:

Teorema de umbral para computación cuántica [6] : 481  : Un circuito cuántico en n qubits y que contiene p(n) puertas puede simularse con una probabilidad de error de como máximo ε utilizando puertas (para alguna constante c ) en hardware cuyos componentes fallan con una probabilidad de como máximo p , siempre que p esté por debajo de algún umbral constante , , y dadas suposiciones razonables sobre el ruido en el hardware subyacente.

Los teoremas de umbral para computación clásica tienen la misma forma que el anterior, excepto que se trata de circuitos clásicos en lugar de cuánticos. La estrategia de prueba para computación cuántica es similar a la de computación clásica: para cualquier modelo de error particular (como que cada compuerta falle con una probabilidad independiente p ), se utilizan códigos de corrección de errores para construir mejores compuertas a partir de las compuertas existentes. Aunque estas "mejores compuertas" son más grandes y, por lo tanto, son más propensas a errores dentro de ellas, sus propiedades de corrección de errores significan que tienen una menor probabilidad de fallar que la compuerta original (siempre que p sea una constante lo suficientemente pequeña). Luego, se pueden usar estas mejores compuertas para crear recursivamente compuertas aún mejores, hasta que se tengan compuertas con la probabilidad de falla deseada, que se puedan usar para el circuito cuántico deseado. Según el teórico de la información cuántica Scott Aaronson :

"El contenido del Teorema del Umbral es que los errores se corrigen más rápido de lo que se crean. Ése es el objetivo y el aspecto no trivial que muestra el teorema. Ése es el problema que resuelve". [7]

Valor umbral en la práctica

Las estimaciones actuales sitúan el umbral para el código de superficie en el orden del 1%, [8] aunque las estimaciones varían ampliamente y son difíciles de calcular debido a la dificultad exponencial de simular grandes sistemas cuánticos. [ cita requerida ] [a] Con una probabilidad del 0,1% de un error de despolarización, el código de superficie requeriría aproximadamente entre 1.000 y 10.000 qubits físicos por qubit de datos lógicos, [9] aunque tipos de errores más patológicos podrían cambiar esta cifra drásticamente. [ se necesita más explicación ]

Véase también

Notas

  1. ^ Se cree ampliamente que es exponencialmente difícil para las computadoras clásicas simular sistemas cuánticos. Este problema se conoce como el problema cuántico de muchos cuerpos . Sin embargo, las computadoras cuánticas pueden simular muchos (aunque no todos) los hamiltonianos en tiempo polinomial con errores acotados , lo que constituye uno de los principales atractivos de la computación cuántica. Esto también es aplicable a simulaciones químicas, descubrimiento de fármacos, producción de energía, modelado climático y producción de fertilizantes (por ejemplo, FeMoco ). Debido a esto, las computadoras cuánticas pueden ser mejores que las computadoras clásicas para ayudar al diseño de futuras computadoras cuánticas.

Referencias

  1. ^ Neumann, J. von (1956-12-31), "Lógica probabilística y síntesis de organismos fiables a partir de componentes no fiables", Automata Studies. (AM-34) , Princeton: Princeton University Press, págs. 43-98, doi :10.1515/9781400882618-003, ISBN 978-1-4008-8261-8, consultado el 10 de octubre de 2020
  2. ^ Aharonov, Dorit; Ben-Or, Michael (1 de enero de 2008). "Computación cuántica tolerante a fallos con tasa de error constante". Revista SIAM de informática . 38 (4): 1207–1282. arXiv : quant-ph/9906129 . doi :10.1137/S0097539799359385. ISSN  0097-5397. S2CID  8969800.
  3. ^ ab Knill, E. (16 de enero de 1998). "Computación cuántica resiliente". Science . 279 (5349): 342–345. arXiv : quant-ph/9702058 . Código Bibliográfico :1998Sci...279..342K. doi :10.1126/science.279.5349.342.
  4. ^ Kitaev, A. Yu. (1 de enero de 2003). "Computación cuántica tolerante a fallos por anyones". Anales de Física . 303 (1): 2–30. arXiv : quant-ph/9707021 . Código Bibliográfico :2003AnPhy.303....2K. doi :10.1016/S0003-4916(02)00018-0. ISSN  0003-4916. S2CID  119087885.
  5. ^ Shor, PW (1996). "Computación cuántica tolerante a fallos". Actas de la 37.ª Conferencia sobre Fundamentos de la Ciencia de la Computación . Burlington, Vermont, EE. UU.: IEEE Comput. Soc. Press. págs. 56–65. doi :10.1109/SFCS.1996.548464. ISBN . 978-0-8186-7594-2.S2CID 7508572  .
  6. ^ Nielsen, Michael A. ; Chuang, Isaac L. (junio de 2012). Computación cuántica e información cuántica (edición del décimo aniversario). Cambridge: Cambridge University Press . ISBN 9780511992773.OCLC 700706156  .
  7. ^ Aaronson, Scott ; Granade, Chris (otoño de 2006). "Conferencia 14: Escepticismo sobre la computación cuántica". PHYS771: Computación cuántica desde Demócrito . Shtetl optimizado . Consultado el 27 de diciembre de 2018 .
  8. ^ Fowler, Austin G.; Stephens, Ashley M.; Groszkowski, Peter (11 de noviembre de 2009). "Computación cuántica universal de alto umbral en el código de superficie". Physical Review A . 80 (5): 052312. arXiv : 0803.0272 . Bibcode :2009PhRvA..80e2312F. doi :10.1103/physreva.80.052312. ISSN  1050-2947. S2CID  119228385.
  9. ^ Campbell, Earl T.; Terhal, Barbara M.; Vuillot, Christophe (13 de septiembre de 2017). "Caminos hacia la computación cuántica universal tolerante a fallos". Nature . 549 (7671): 172–179. arXiv : 1612.07330 . Bibcode :2017Natur.549..172C. doi :10.1038/nature23460. ISSN  0028-0836. PMID  28905902. S2CID  4446310.

Enlaces externos