factories Paquete

Clases

GSJ24CCXFactory

Implementa la versión 8|T⟩ → >>|<<CCX⟩ fábrica de estado mágico descrita en la fig. 24 de Gidney, Shutty y Jones (2024). Este diseño convierte ocho estados mágicos T en un solo estado CCX (Toffoli) mediante operaciones de cirugía de lattice en 12 cúbits lógicos (incluidos cúbits auxiliares) con una profundidad de circuito de 6.

La tasa de errores CCX de salida tiene dos contribuciones:

  • Error de destilación: 28 · p_T², donde p_T es la tasa de errores de estado T (a partir de pares de estados T fallando simultáneamente).

  • Error lógico: acumulado más de 6 rondas de cirugía de redondeo en 12 cúbits.

El tiempo de producción de fábrica incluye un factor de sobrecarga de (1 + 8·p_T) para tener en cuenta la probabilidad de error al consumir los estados de T.

Referencia:

  • C. Gidney, C. Shutty, C. Jones, "Cultivo del estado mágico: estados de crecimiento T con 78% reducción de la sobrecarga", arXiv:2409.17595 (2024). https://arxiv.org/abs/2409.17595

  • C. Gidney, A. G. Fowler, "Fábricas de estado mágico eficientes con un catalyzed >>|<<CCZ⟩ a 2|Transformación T⟩", Quantum 3, 135 (2019). arXiv:1812.01238. https://arxiv.org/abs/1812.01238

GSJ24Factory

Implementa la fábrica mágica de cultivo de estado de Gidney, Shutty y Jones (2024) para producir lógica >>|<<T⟩ estados de las operaciones de nivel físico.

El cultivo del estado mágico aumenta gradualmente el tamaño y la confiabilidad de un estado mágico dentro de un parche de código de superficie, usando aproximadamente el mismo número de puertas físicas que una puerta CNOT de cirugía de lattice de confiabilidad equivalente. El enfoque refina las ideas de Knill (1996), Jones (2016), Chamberland (2020), Gidney (2023/2024), Bombin (2024) y Hirano (2024).

En comparación con los enfoques anteriores de destilación de estado mágico, el cultivo utiliza un orden de magnitud menos de redondeos cuánticos para alcanzar tasas de error lógicas tan bajas como 2·10⁻⁹ menores de 10⁻ruido uniforme despolarizado del circuito. La reducción del ruido del circuito a 5·10⁻⁴ mejora la tasa de error lógica factible a 4·10⁻¹¹.

La factoría se parametriza mediante datos de simulación calculados previamente (desde el muestreo de Monte Carlo en https://doi.org/10.5281/zenodo.13777072) que asignan tasas de error físicas a (logical_error, num_qubits, volumen, pasos) tuplas para pares de distancia admitidos.

Hiperparámetres: distancia: tupla (d_color, d_surface) especificando la distancia del código de color y la distancia de código expuesta usada en el protocolo de cultivo. Los valores admitidos son (3, 15) y (5, 15). Una distancia de código de color mayor (5 frente a 3) produce tasas de error lógicas más bajas a costa de un mayor número de cúbits y más pasos de tiempo.

Referencia:

Litinski19Factory

Fábricas T y CCZ basadas en el papel arXiv:1905.06903.

Contiene dos categorías de estimaciones. Si la tasa de errores de entrada T es similar al error clifford, genera instrucciones de estado mágico basadas en la tabla 1 del documento. Si la tasa de errores de entrada T es como máximo 10 veces mayor que la tasa de errores de Clifford, genera instrucciones de estado mágico basadas en la tabla 2 del documento.

Requiere tasas de error de Clifford de como máximo 0,1% para las instrucciones de CNOT, H y MEAS_Z. Si estas instrucciones tienen tasas de error diferentes, se asume la tasa máxima de errores.

Referencias:

  • Daniel Litinski: Destilación del estado mágico: no tan costoso como piensa, arXiv:1905.06903
MagicUpToClifford

Una transformación ISA que agrega representaciones equivalentes de Clifford de estados mágicos. Por ejemplo, si el ISA de entrada contiene una puerta T, el ISA proporcionado también contendrá SQRT_SQRT_X, SQRT_SQRT_X_DAG, SQRT_SQRT_Y, SQRT_SQRT_Y_DAGy T_DAG. Lo mismo se aplica a CCZ las puertas y sus equivalentes clifford.

Ejemplo:

RoundBasedFactory

Una fábrica de estado mágico que genera instrucciones de puerta T mediante canalizaciones de destilación basadas en redondeo.

Esta fábrica explora combinaciones de unidades de destilación (como "15 a 1 RM prep" y "15 a 1 espacio eficiente") para encontrar configuraciones óptimas que minimicen el tiempo y el espacio al lograr tasas de error objetivo. Admite la destilación de nivel físico (cuando la puerta T de entrada está codificada físicamente) y la destilación de nivel lógico (mediante la cirugía de lattice a través de códigos de superficie).

Para tener en cuenta la probabilidad de éxito de las rondas de destilación, la fábrica modela la canalización mediante un requisito de probabilidad de error (de forma predeterminada a 1%) que cada ronda debe cumplir. El número de unidades de destilación por ronda se ajusta para cumplir este requisito, lo que a su vez afecta a los requisitos generales del espacio.

Los requisitos de espacio se calculan mediante una función proporcionada por el usuario que agrega espacio por ronda (por ejemplo, suma o máximo). La sum función modela el caso en el que los cúbits no se reutilizan en las rondas, mientras que la max función modela el caso en el que se reutilizan los cúbits en las rondas.

Para la enumeración de unidades de destilación de nivel lógico, la fábrica se basa en un proporcionado ISAQuery por el usuario (el valor predeterminado es SurfaceCode.q()) para explorar diferentes configuraciones de código expuesta y sus correspondientes instrucciones de cirugía de lattice. El usuario debe proporcionarlos y no se puede derivar automáticamente del ISA de implementación proporcionado, ya que solo puede contener un subconjunto de las instrucciones necesarias. El usuario debe asegurarse de que la consulta proporcionada coincide con la arquitectura para la que se usa esta factoría.

Los resultados se almacenan en caché en el disco para mejorar la eficacia.

Referencias:

  • Sergio Bravyi, Alexei Kitaev: Cálculo cuántico universal con puertas ideales clifford y ancillas ruidosas, arXiv:quant-ph/0403025

  • Michael E. Beverland, Prakash Murali, Matthias Troyer, Krysta M. Svore, Torsten Hokasher, Vadym Kliuchnikov, Guang Hao Low, Mathias Soeken, Aarthi Sundaram, Alexander Vaschillo: Evaluación de los requisitos para escalar a la ventaja cuántica práctica, arXiv:2211.07629