Abstract:The query model (or black-box model) has attracted much attention from the communities of both classical and quantum computing. Usually, quantum advantages are revealed by presenting a quantum algorithm that has a better query complexity than its classical counterpart. In the history of quantum algorithms, the Deutsch algorithm and the Deutsch-Jozsa algorithm play a fundamental role and both are exact one-query quantum algorithms. This leads us to consider the problem: what functions can be computed by exact one-query quantum algorithms? This problem has been addressed in the literature for total Boolean functions and symmetric partial Boolean functions, but is still open for general partial Boolean functions. Thus, in this paper, we continue to characterize the computational power of exact one-query quantum algorithms for general partial Boolean functions. First, we present several necessary and sufficient conditions for a partial Boolean function to be computed by exact one-query quantum algorithms. Second, inspired by these conditions, we discover some new representative functions that can be computed by exact one-query quantum algorithms but have an essential difference from the already known ones. Specially, it is worth pointing out that before our work, the known functions that can be computed by exact one-query quantum algorithms are all symmetric functions and the quantum algorithm used is essentially the Deutsch-Jozsa algorithm, whereas the functions discovered in this paper are generally asymmetric and new algorithms to compute these functions are required. Thus, this expands the class of functions that can be computed by exact one-query quantum algorithms.

On the connection between Deutsch-Jozsa algorithm and bent functions

Deutsch and Jozsa's Algorithm Revisited

Revisiting Deutsch-Jozsa algorithm

Leveraging modular values in quantum algorithms: the Deutsch-Jozsa

An elementary derivation of the Deutsch-Jozsa algorithm

Quantum Algorithm for Generalized Deutsch-Jozsa Problem

Polynomial representation of general partial Boolean functions with a single quantum query

Distributed exact quantum algorithms for Deutsch-Jozsa problem

Beyond z=0. The Deutsch-Jozsa decided monochromatic languages

Exploiting Geometric Degrees of Freedom in Topological Quantum Computing

Classical realization of the quantum Deutsch algorithm

A Scheme to Implement the Deutsch-Josza Algorithm on A Superconducting Charge-Qubit Quantum Computer

Three-qubit Deutsch-Jozsa in measurement-based quantum computing

Experimentally demonstrating indefinite causal order algorithms to solve the generalized Deutsch's problem

Experimental Implementation of the Deutsch-Jozsa Algorithm for Three-Qubit Functions using Pure Coherent Molecular Superpositions

Unifying parameter estimation and the Deutsch-Jozsa algorithm for continuous variables

NMR quantum computation with indirectly coupled gates

Implementation of the Deutsch-Jozsa algorithm with Josephson charge qubits

Universal Euler-Cartan Circuits for Quantum Field Theories

Implementing the Deutsch algorithm with polarization and transverse spatial modes

Characterization of Exact One-Query Quantum Algorithms for Partial Boolean Functions