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

Xu Guoliang,Qiu Daowen

2023-10-10

Abstract:Early in 1992, Deutsch-Jozsa algorithm computed a symmetric partial Boolean function with a single quantum query, and thus achieved the best separation between classical deterministic and exact quantum query complexity. Until recent years, it was clarified that all symmetric partial Boolean functions with a single quantum query can be computed exactly by Deutsch-Jozsa algorithm. For the general partial Boolean functions with a single quantum query, the latest characterizations is complex and not very satisfactory. Based on this, this paper proves and discovers three new results: (1) Establishing a new equivalence, each partial Boolean function with a single quantum query can be transformed to a simple partial Boolean function whose polynomial degree is just one; (2) For partial Boolean functions up to four bits, there are only 10 non-trivial partial Boolean functions with a single quantum query; (3) For each quantum 1-query algorithm with undefined measurement, there exists a constructive method for finding out all partial Boolean functions that can be computed exactly by the algorithm. Essentially, the first discovery represent a step forward for a fundamental conclusion that the polynomial degree of partial Boolean functions with a single quantum query is one or two, and the last two results contribute a way for searching more nontrival partial Boolean functions that have quantum advantages.

Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: how to represent general partial Boolean functions that can be accurately calculated by a single - quantum query (exact quantum 1 - query algorithm). Specifically, the goals of the paper are:

1. **Establish a new equivalence relation**: Prove that all partial Boolean functions with a single - quantum query complexity of 1 can be transformed into a simple form, in which the function outputs 0 if and only if the input is all 0. This result is shown through Lemma 3.2 and 3.3, as well as Theorem 3.6 and Appendix A.1, and these results improve Theorem 1 in reference [28].

2. **Representation theorem**: Under the new equivalence relation, prove that all transformed partial Boolean functions (with a single - quantum query complexity of 1) can be represented by a polynomial of degree 1. This result is given in Theorem 4.1, and is essentially a further advancement of an important conclusion regarding the polynomial degree of partial Boolean functions in reference [1].

3. **Applications and construction methods**: Use the above representation theorem to examine all 3 - bit and 4 - bit partial Boolean functions and represent these functions by a polynomial of degree 1 (see Tables 1 and 2). The results show that there are only 10 new non - trivial partial Boolean functions with a single - quantum query complexity of 1. In addition, based on the representation theorem, a construction method (i.e., Theorem 5.2) is introduced to find all partial Boolean functions calculated by a given exact quantum 1 - query algorithm. In particular, all partial Boolean functions calculated by the Deutsch - Jozsa algorithm are found, and it is proved that these functions can be transformed into symmetric partial Boolean functions with a single - quantum query complexity of 1.

### Main contributions
1. **Simplify the problem**: By introducing a new equivalence relation, the study of general partial Boolean functions is simplified, and the size of the search space is reduced.
2. **Mathematical correctness and understandability**: The provided proofs are mathematically correct and easy to understand.
3. **New construction method**: A construction method is provided, which can generate partial Boolean functions with a single - quantum query complexity of 1 according to sequences with specific properties.

### Solutions to specific problems
- **What problem does this paper attempt to solve?**
- This paper attempts to represent general partial Boolean functions that can be accurately calculated by a single - quantum query, and provides a simplified method to study these functions, while also giving a specific construction method.

- **What are the main findings of the paper?**
- The main findings of the paper include:
1. A new equivalence relation is established, so that all partial Boolean functions with a single - quantum query complexity of 1 can be transformed into a simple form.
2. It is proved that all transformed partial Boolean functions can be represented by a polynomial of degree 1.
3. A construction method is provided to find all partial Boolean functions calculated by a given exact quantum 1 - query algorithm.

These findings not only simplify the study of general partial Boolean functions, but also provide an effective method for finding new non - trivial partial Boolean functions.