\textit{Re}Q\textsc{wire}: reasoning about reversible quantum circuits

MaRDI QIDQ3385643zbMATHFDO

Authors

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1901.10118

Mathematics Subject Classification ID

Quantum computation (81P68) Analytic circuit theory (94C05)

Recommendations

• Verified compilation of space-efficient reversible circuits
• Fast equivalence-checking for quantum circuits
• Towards quantum programs verification: from Quipper circuits to QPMC
• Tools for quantum and reversible circuit compilation
• Quantum circuit oracles for abstract machine computations

Cites work

• scientific article; zbMATH DE number 3692653 (Why is no real title available?)
• Algebraic effects, linearity, and quantum programming languages
• An introduction to quantum programming in Quipper
• Classical concepts in quantum programming
• Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
• Logical Reversibility of Computation
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• QWIRE: a core language for quantum circuits
• REVS: a tool for space-optimized reversible circuit synthesis
• Reversible Computing
• Reversible simulations of elastic collisions
• Verified compilation of space-efficient reversible circuits
• \(\mathcal{Q}\)\textsc{wire} practice: formal verification of quantum circuits in Coq

Cited in

(4)

• A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits
• An automated deductive verification framework for circuit-building quantum programs
• Gottesman types for quantum programs
• Type-safe quantum programming in Idris

This page was built for publication: \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3385643)