Quantizzazione dei tipi di dato astratti

Abstract degli autori

In questo articolo introduciamo una nozione di tipo di dato quantistico astratto nell’ambito dell’algebra universale. Questa nozione fornisce una base algebrica per descrivere l’astrazione dei dati nella programmazione quantistica. Definiamo formalmente una quantizzazione dei tipi di dato classici e mostriamo che le loro specifiche equazionali possono essere trasferite in modo corretto al contesto quantistico. Due metodi standard per quantizzare le funzioni classiche, ovvero l’oracolo a bit e l’oracolo di fase, emergono come casi particolari di questa costruzione generale. Illustriamo il quadro con applicazioni agli array quantistici e ai codici quantistici a correzione d’errore, mostrando come possano essere compresi nell’ottica della quantizzazione dei tipi di dato. Stabiliamo inoltre le condizioni in cui la quantizzazione preserva le relazioni strutturali e le costruzioni dei tipi di dato classici, tra cui immersioni, isomorfismi e prodotti.