quantum systems

Fast-USYN: Fast Synthesis from Unitary Matrices to High-Quality Quantum Circuits
Current quantum programs are usually represented as quantum circuits, including various quantum gates. If the program contains gates …
PDF Cite
Fast-USYN: Fast Synthesis from Unitary Matrices to High-Quality Quantum Circuits
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
Unlike classical computing, quantum program verification (QPV) is much more challenging due to the non-duplicability of quantum states …
PDF Cite Code DOI Artifact Evaluated
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method
Quantum readout noise turns out to be the most significant source of error, which greatly affects the measurement fidelity. …
PDF Cite Code DOI
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method