Lifting Theorems Meet Information Complexity: Known and New Lower Bounds of Set-disjointness

Guangxu Yang,Jiapeng Zhang

2023-09-24

Abstract:Set-disjointness problems are one of the most fundamental problems in communication complexity and have been extensively studied in past decades. Given its importance, many lower bound techniques were introduced to prove communication lower bounds of set-disjointness. Combining ideas from information complexity and query-to-communication lifting theorems, we introduce a density increment argument to prove communication lower bounds for set-disjointness: We give a simple proof showing that a large rectangle cannot be $0$-monochromatic for multi-party unique-disjointness. We interpret the direct-sum argument as a density increment process and give an alternative proof of randomized communication lower bounds for multi-party unique-disjointness. Avoiding full simulations in lifting theorems, we simplify and improve communication lower bounds for sparse unique-disjointness. Potential applications to be unified and improved by our density increment argument are also discussed.

Computational Complexity

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the communication complexity of the Set - disjointness problem. Specifically, the authors aim to prove the communication lower bound of the multi - party unique - disjointness problem by introducing the density increment argument and combining the ideas of information complexity and query - to - communication lifting theorems.

### Main Contributions
1. **Explicit Proofs**: The paper provides "explicit proofs" of communication lower bounds, which have the following advantages:
- There are fewer restrictions on the communication model.
- It allows the use of communication lower - bound techniques in a non - black - box manner.
- It provides a method for analyzing distributions where there is a correlation between different coordinates.

2. **New Lower - Bound Results**:
- **Multi - Party Unique - Disjointness**: It is proved that any large rectangle (containing many "no" instances) cannot be monochromatic.
- **Random Communication Lower Bound**: The lower bound of the random communication complexity of multi - party unique - disjointness is re - proved to be \(\Omega(B/k)\).
- **Sparse Unique - Disjointness**: For a relatively large range of sparse parameters, the lower bound of the deterministic communication complexity of two - party sparse unique - disjointness is proved to be \(\Omega(s\cdot\log(B/s))\).

### Technical Methods
1. **Density Increment Argument**: By defining the density of a rectangle on "no" instances and gradually increasing the density through projection operations, and finally obtaining a contradiction, the lower bound is thus proved.
2. **Information Complexity**: Combining the information complexity framework, analyzing the mutual information between the communication transcript and the input, and using the direct - sum argument to combine the mutual information costs of each coordinate.
3. **Query - to - Communication Lifting Theorem**: Abstracting the core idea from the idea of simulating a communication protocol from a query protocol and transforming it into a density increment argument.

### Potential Applications
1. **Different Communication Models**: The density increment argument is less dependent on the communication model and can be applied to various communication models, such as the extended complexity model and the forehead model.
2. **Stream Processing Lower Bounds**: By extending the communication complexity lower - bound techniques to the stream processing model, it may be possible to prove tight lower bounds for the frequency moment estimation problem.
3. **Coordinate - Dependent Hard Distributions**: For the problem of the random communication complexity lower bound where there is a strong correlation between certain input coordinates, the density increment argument may be able to break through the limitations of existing methods.

In conclusion, this paper provides new tools and methods for the research on the communication complexity of the set - disjointness problem by introducing the density increment argument and combining the ideas of information complexity and query - to - communication lifting theorems. These methods not only simplify the proof process but also expand the scope of application, providing a new direction for future research.