Abstract:Several prominent quantum computing algorithms--including Grover's search algorithm and Shor's algorithm for finding the prime factorization of an integer--employ subcircuits termed 'oracles' that embed a specific instance of a mathematical function into a corresponding bijective function that is then realized as a quantum circuit representation. Designing oracles, and particularly, designing them to be optimized for a particular use case, can be a non-trivial task. For example, the challenge of implementing quantum circuits in the current era of NISQ-based quantum computers generally dictates that they should be designed with a minimal number of qubits, as larger qubit counts increase the likelihood that computations will fail due to one or more of the qubits decohering. However, some quantum circuits require that function domain values be preserved, which can preclude using the minimal number of qubits in the oracle circuit. Thus, quantum oracles must be designed with a particular application in mind. In this work, we present two methods for automatic quantum oracle synthesis. One of these methods uses a minimal number of qubits, while the other preserves the function domain values while also minimizing the overall required number of qubits. For each method, we describe known quantum circuit use cases, and illustrate implementation using an automated quantum compilation and optimization tool to synthesize oracles for a set of benchmark functions; we can then compare the methods with metrics including required qubit count and quantum circuit complexity.

Simplified quantum algorithm for the oracle identification problem

Approximate degree lower bounds for oracle identification problems

Improved Identification Protocol in the Quantum Random Oracle Model..

Oracle problems as communication tasks and optimization of quantum algorithms

Optimization of a Quantum Subset Sum Oracle

Comparative Computational Strength of Quantum Oracles

Quantum algorithm for approximating the expected value of a random-exist quantified oracle

A quantum algorithm for counting zero-crossings

Accelerated quantum search using partial oracles and Grover's algorithm

Quantum Partial Search Algorithm with Smaller Oracles for Multiple Target Items.

A Comparison of Quantum Oracles

Quantum Non-Identical Mean Estimation: Efficient Algorithms and Fundamental Limits

Automated Quantum Oracle Synthesis with a Minimal Number of Qubits

Quantum Algorithm for the Multiple String Matching Problem

Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle

An optimal oracle separation of classical and quantum hybrid schemes

Quantum Advantage with Faulty Oracle

Efficient Implementation of a Quantum Search Algorithm for Arbitrary N

Quantum resources in Harrow-Hassidim-Lloyd algorithm

Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification

Finding quantum partial assignments by search-to-decision reductions