3 papers
quant-ph2026
End-to-End Formalization of Quantum Error Correction
Mattias Ehatamm, Yi Lee, Xiaodi Wu +1
Quantum error-correcting codes (QECCs) sit between noisy quantum hardware and reliable computation, so the code parameters used in practice must be trustworthy. The single number t…
quant-ph2024
DisQ: A Model of Distributed Quantum Processors (Extended Version)
Le Chang, Saitej Yavvari, Rance Cleaveland +3
The next generation of distributed quantum processors combines single-location quantum computing and quantum networking techniques to permit large entangled qubit groups to be esta…
quant-ph2023
A Case for Synthesis of Recursive Quantum Unitary Programs
Haowei Deng, Runzhou Tao, Yuxiang Peng +1
Quantum programs are notoriously difficult to code and verify due to unintuitive quantum knowledge associated with quantum programming. Automated tools relieving the tedium and err…