On the Fine-Grained Query Complexity of Symmetric Functions

Supartha Podder,Penghui Yao,Zekun Ye

2023-10-22

Abstract:This paper explores a fine-grained version of the Watrous conjecture, including the randomized and quantum algorithms with success probabilities arbitrarily close to $1/2$. Our contributions include the following: i) An analysis of the optimal success probability of quantum and randomized query algorithms of two fundamental partial symmetric Boolean functions given a fixed number of queries. We prove that for any quantum algorithm computing these two functions using $T$ queries, there exist randomized algorithms using $\mathsf{poly}(T)$ queries that achieve the same success probability as the quantum algorithm, even if the success probability is arbitrarily close to 1/2. ii) We establish that for any total symmetric Boolean function $f$, if a quantum algorithm uses $T$ queries to compute $f$ with success probability $1/2+\beta$, then there exists a randomized algorithm using $O(T^2)$ queries to compute $f$ with success probability $1/2+\Omega(\delta\beta^2)$ on a $1-\delta$ fraction of inputs, where $\beta,\delta$ can be arbitrarily small positive values. As a corollary, we prove a randomized version of Aaronson-Ambainis Conjecture for total symmetric Boolean functions in the regime where the success probability of algorithms can be arbitrarily close to 1/2. iii) We present polynomial equivalences for several fundamental complexity measures of partial symmetric Boolean functions. Specifically, we first prove that for certain partial symmetric Boolean functions, quantum query complexity is at most quadratic in approximate degree for any error arbitrarily close to 1/2. Next, we show exact quantum query complexity is at most quadratic in degree. Additionally, we give the tight bounds of several complexity measures, indicating their polynomial equivalence.

Computational Complexity,Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the relationship between the quantum query complexity and the random query complexity of symmetric functions, especially when the success probability is close to 1/2. Specifically, the paper explores a fine - grained version of Watrous' conjecture, that is, whether the quantum query complexity and the random query complexity of symmetric functions are polynomially equivalent at any success probability arbitrarily close to 1/2. The main contributions of the paper include:

1. **Optimal success probability analysis of two basic partially symmetric Boolean functions**:
- The paper analyzes the optimal success probabilities of quantum and random algorithms for computing two basic partially symmetric Boolean functions given a fixed number of queries.
- It is proved that for any quantum algorithm using \(T\) queries, there exists a random algorithm using \(\text{poly}(T)\) queries that can achieve the same success probability, even if the success probability is arbitrarily close to 1/2.

2. **Relationship between quantum and random algorithms for total symmetric Boolean functions**:
- For any total symmetric Boolean function \(f\), if a quantum algorithm uses \(T\) queries to compute \(f\) with a success probability of \(1/2+\beta\), then there exists a random algorithm that uses \(O(T^{2})\) queries to compute \(f\) with a success probability of \(1/2+\Omega(\delta\beta^{2})\) on \(1 - \delta\) proportion of inputs.
- As a corollary, a random version of the Aaronson - Ambainis conjecture is proved, that is, the quantum query complexity and the random query complexity of total symmetric Boolean functions are polynomially equivalent when the success probability is arbitrarily close to 1/2.

3. **Relationship between complexity measures of partially symmetric Boolean functions**:
- Polynomial equivalence relationships between several basic complexity measures of partially symmetric Boolean functions are established, including quantum query complexity, approximation degree, block sensitivity, and fractional block sensitivity.
- It is proved that for some partially symmetric Boolean functions, there is an exponential gap between the exact quantum query complexity and the random query complexity.

Through these contributions, the paper deeply explores the fine - grained complexity characteristics of symmetric functions in the quantum and random query models, especially the behavior when the success probability is close to 1/2. This provides a theoretical basis for further understanding of quantum advantage.