Quantum and Classical Communication Complexity of Permutation-Invariant Functions

Ziyi Guan,Yunqi Huang,Penghui Yao,Zekun Ye

2023-12-31

Abstract:This paper gives a nearly tight characterization of the quantum communication complexity of the permutation-invariant Boolean functions. With such a characterization, we show that the quantum and randomized communication complexity of the permutation-invariant Boolean functions are quadratically equivalent (up to a logarithmic factor). Our results extend a recent line of research regarding query complexity \cite{AA14, Cha19, BCG+20} to communication complexity, showing symmetry prevents exponential quantum speedups.

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 permutation - invariant functions in quantum communication complexity and classical communication complexity. Specifically, the authors studied the quantum communication complexity of permutation - invariant Boolean functions and showed that there is a quadratic polynomial relationship (up to a logarithmic factor) between the quantum communication complexity of these functions and the randomized communication complexity. In addition, they also explored the Log - rank Conjecture and the Log - approximate - rank Conjecture for permutation - invariant Boolean functions and proved that these conjectures hold for non - trivial permutation - invariant Boolean functions.

### Main Contributions
1. **Relationship between Quantum and Classical Communication Complexity**:
- The authors proved that for any permutation - invariant function \( f \), its classical communication complexity \( R(f) \) is at most a quasi - quadratic factor higher than the quantum communication complexity \( Q^*(f) \). Specifically, they proved that:
\[
\Omega(m(f)) \leq R(f) \leq e^{O(m(f)^2)} \leq e^{O(Q^*(f)^2)}
\]
where \( m(f) \) is a complexity measure defined on permutation - invariant functions (see Definition 3.1).

2. **Log - rank Conjecture**:
- The authors proved that for any non - trivial total permutation - invariant function \( f \), its deterministic communication complexity \( D(f) \) satisfies:
\[
D(f) = O((\log \text{rank}(f))^2)
\]

3. **Log - approximate - rank Conjecture**:
- The authors proved that for any permutation - invariant function \( f \), its randomized communication complexity \( R(f) \) and quantum communication complexity \( Q(f) \) respectively satisfy:
\[
R(f) = e^{O((\log \text{rank}(f))^2)}
\]
\[
Q(f) = e^{O(\log \text{rank}(f))}
\]

### Proof Techniques
1. **Lower Bounds**:
- **Quantum Communication Complexity and Approximate Rank**: By reducing the lower bound of the quantum communication complexity of permutation - invariant functions to the lower bound of the Exact Set - Inclusion Problem (ESetInc) and using the pattern matrix method to prove.
- **Rank**: By reducing the lower bound of the rank of total permutation - invariant functions to the lower bound of the rank of some representative function instances (such as the set disjointness problem and the equivalence problem) to prove.

2. **Upper Bounds**:
- **Randomized and Quantum Models**: By proposing a randomized protocol based on binary search to solve the Set - Inclusion problem and using the quantum amplitude amplification technique to accelerate this protocol.
- **Deterministic Model**: By proposing a deterministic protocol in which Alice and Bob first share the Hamming weight of the input, and then according to the function definition and the Hamming weight of the input, decide who sends the input to the other.

### Related Work
- The paper reviewed the research on the structures required for quantum acceleration in the query model, including the work of Beals et al., and the work of Aaronson and Ambainis.
- In terms of communication complexity, the paper discussed some polynomial equivalence results of the quantum and classical communication complexity of specific permutation - invariant functions, such as AND - symmetric functions, Hamming distance problems, and XOR - symmetric functions.
- The paper also reviewed the history of the Log - rank Conjecture and the Log - approximate - rank Conjecture, especially the verification of these conjectures in permutation - invariant Boolean functions.

### Organization Structure
- Section 2 introduces the symbols and definitions used in this paper.
- Section 3 studies the quantum and classical communication complexity of permutation - invariant functions.