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

Javier Sanchez-Rivero,Daniel Talaván,Jose Garcia-Alonso,Antonio Ruiz-Cortés,Juan Manuel Murillo

DOI: https://doi.org/10.1109/Q-SE59154.2023.00011

2023-03-13

Abstract:Grover's algorithm is a well-known contribution to quantum computing. It searches one value within an unordered sequence faster than any classical algorithm. A fundamental part of this algorithm is the so-called oracle, a quantum circuit that marks the quantum state corresponding to the desired value. A generalization of it is the oracle for Amplitude Amplification, that marks multiple desired states. In this work we present a classical algorithm that builds a phase-marking oracle for Amplitude Amplification. This oracle performs a less-than operation, marking states representing natural numbers smaller than a given one. Results of both simulations and experiments are shown to prove its functionality. This less-than oracle implementation works on any number of qubits and does not require any ancilla qubits. Regarding depth, the proposed implementation is compared with the one generated by Qiskit automatic method, UnitaryGate. We show that the depth of our less-than oracle implementation is always lower. This difference is significant enough for our method to outperform UnitaryGate on real quantum hardware.

Quantum Physics,Software Engineering

What problem does this paper attempt to address?

The paper primarily addresses a problem in the field of quantum computing: how to efficiently generate a quantum oracle that performs the "less than" operation, which is used in quantum amplitude amplification algorithms. Specifically, the research team designed a classical algorithm that can automatically generate a quantum circuit. This circuit acts as a quantum oracle, applying a π phase to states representing natural numbers in quantum states that are less than a given value. This type of oracle is crucial for implementing efficient quantum search algorithms.

The key contributions of the paper are as follows:
1. **Proposed a classical algorithm**: This algorithm is used to automatically construct a quantum oracle circuit that applies a π phase when the natural number represented in the quantum state is strictly less than a given value.
2. **Optimized the oracle design**: The proposed oracle design avoids the use of ancilla qubits and, compared to the automatic methods in IBM's Qiskit framework, generates circuits with lower depth, making it perform better on actual quantum hardware.
3. **Experimental validation**: The effectiveness and superiority of the oracle were validated through simulations and experiments on real quantum devices. Notably, it performed better on actual quantum hardware compared to Qiskit's UnitaryGate method.

In summary, this paper presents an efficient method for generating a quantum oracle that performs the "less than" operation and demonstrates the effectiveness and practicality of this method through theoretical analysis and experimental results, especially in the current Noisy Intermediate-Scale Quantum (NISQ) era. This work is significant for the optimization of quantum algorithms and the reuse of quantum software.