Perché srotoliamo? L’importanza dei programmi quantistici strutturati per la compilazione

Abstract degli autori

Man mano che gli stack software quantistici si espandono per supportare l’hardware quantistico fault-tolerant e gli algoritmi del futuro, la compilazione quantistica diventa una componente sempre più importante dello stack. Come possiamo assicurarci che i nostri stack software supportino algoritmi dinamici, compresi pattern come la misurazione a metà circuito con feedforward e la ripetizione fino al successo, con centinaia di qubit logici e miliardi di operazioni quantistiche? Per farlo, dobbiamo ripensare il modo in cui rappresentiamo i programmi quantistici, andando oltre i circuiti a flusso lineare e adottando rappresentazioni che includano struttura classica e dinamismo, e fare di queste ultime la rappresentazione predefinita da considerare nella compilazione quantistica. In questo lavoro presentiamo pattern e algoritmi importanti delle applicazioni quantistiche fault-tolerant che si prestano a una rappresentazione strutturata, che riteniamo cruciale preservare, e lanciamo alla comunità la sfida di compilare tali rappresentazioni senza srotolarle in circuiti quantistici a flusso lineare. Esploriamo inoltre lo stato attuale del supporto ai programmi strutturati nel software quantistico e ci poniamo la domanda retorica: quanto più efficienti possiamo rendere gli strumenti per la compilazione quantistica se teniamo conto delle informazioni aggiuntive fornite dalla struttura classica?