Cosa sfugge agli oracoli di equivalenza dell’output: uno studio empirico sulle correzioni di bug invisibili all’equivalenza nei transpiler quantistici

Abstract degli autori

I compilatori quantistici devono affrontare il problema dell’oracolo di test: vengono valutati da un oracolo di equivalenza dell’output, secondo cui il circuito compilato deve calcolare la stessa unitaria dell’originale, a meno di una fase globale e di una permutazione del layout dei qubit. Per costruzione, questo oracolo verifica solo tale mappa semantica, non i record del circuito relativi al layout, alla permutazione o alla fase: un difetto in questi elementi, o nel determinismo di un’esecuzione con seed fisso, può passare inosservato, benché il record sia pubblico. Questo studio empirico di ingegneria del software sulla correttezza dei transpiler quantistici usa l’analisi dei repository per misurare quanto spesso accada nelle correzioni dei compilatori effettivamente integrate: un corpus di correzioni di bug del transpiler Qiskit identificato sistematicamente e classificato secondo una tassonomia delle manifestazioni dei guasti codificata indipendentemente da due annotatori e convalidata sulle fonti. Delle 68 correzioni, 19 (28%, IC di Wilson al 95%: 19–40%) riguardano guasti invisibili a questo controllo di equivalenza, anche se integrato con verifiche di validità della compilazione, qualità del circuito e prestazioni; un corpus esteso di 104 correzioni, relativo a un periodo più ampio, mantiene lo stesso tasso con un intervallo più stretto (29/104, 27,9%, IC: 20–37%). Resta un limite inferiore conservativo anche restringendo l’analisi all’unico canale invisibile all’equivalenza incondizionatamente (un record di layout o di permutazione corrotto): 10 correzioni su 68 (15%, IC: 8–25%), al di sotto del dato principale del 28%. Il divario non riguarda solo Qiskit: si ripresenta in tket (7/21, 33%), mentre in Cirq è più contenuto ma coerente. Non abbiamo rilevato differenze sistematiche in cinque caratteristiche a basso costo misurabili a livello di PR (19 contro 49; da sole, con potenza statistica insufficiente; il corpus esteso, con 29 contro 75, restringe ogni intervallo verso lo zero). Questa classe costituisce la maggior parte dell’insieme dei casi invisibili e si concentra nei passaggi ai confini tra rappresentazioni. Rendiamo disponibili il corpus, il codebook e i materiali di codifica per la ricerca sui test del software quantistico. Qui ci limitiamo a misurarla.