10 citations · 11 across the 3 of their papers we have counts for
4 papers
High-Rate Quantum Codes with Proven Distance and Low-Weight Measurements
Kishor Bharti, Tobias Haug, Runzhou Tao +1
We study a family of quantum subsystem codes defined on rectangular coordinate grids of any dimension, with even side lengths of at least four. The directly measured operators act…
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…
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…
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…