Límite superior de la complejidad del espacio cuántico para el cálculo del grupo de clases y el problema del ideal principal

En este artículo, calculamos el límite superior en la complejidad del espacio cuántico de los algoritmos cuánticos propuestos por Biasse y Song (SODA'16) para resolver el cálculo del grupo de clases y el problema del ideal principal utilizando las reducciones al cálculo del grupo S-unit. Seguimos el enfoque de Barbulescu y Poulalion (AFRICACRYPT'23) y el marco dado por de Boer, Ducas y Fehr (EUROCRYPT'20) y Eisenträger, Hallgren, Kitaev y Song (STOC'14).