Artículo: Desarrollo de aserciones clásicas cuánticas multi-cúbit
Archivos
Fecha
Editor
Publicado en
Licencia Creative Commons
Resumen
En este trabajo presentamos un enfoque sistemático para implementar aserciones básicas en circuitos cuánticos con el fin de verificar estados clásicos a través de cualquier número de cúbits. Nuestra metodología utiliza puertas cuánticas fundamentales disponibles en todas las plataformas de computación cuántica basadas en puertas. Mediante combinaciones estratégicas de estas puertas, construimos los comparadores "Igual a", "Distinto de", "Mayor que" y "Menor que". Al introducir comparadores de un solo cúbit y demostrar cómo pueden ampliarse para manejar múltiples cúbits, proporcionamos un método escalable para verificar estados clásicos en circuitos cuánticos. Este trabajo sienta las bases de procedimientos de comprobación robustos en computación cuántica, un factor crítico para el crecimiento y la fiabilidad continuos de este campo en rápido avance