What is it about?
Use the OQASM type system to enforce the non-entanglement property of defining quantum oracles with a random testing facility.
Featured Image
Why is it important?
Oracles make up a large part of a quantum circuit but are usually ignored in verification. Quantum programs are hard to test. Here, we develop a framework to test the main part of a quantum program.
Perspectives
We can enhance OQASM to a new level, such that not only classical oracles like arithmetic operations can be defined, but also some quantum oracles, such as the functions in quantum signal processing.
Liyi Li
University of Maryland at College Park
Read the Original
This page is a summary of: Verified compilation of Quantum oracles, Proceedings of the ACM on Programming Languages, October 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3563309.
You can read the full text:
Contributors
The following have contributed to this page
