### Abstract

We study the communication complexity of the set disjointness problem in the general multi-party model. For t players, each holding a subset of a universe of size n, we establish a near-optimal lower bound of Ω(n/(t log t)) on the communication complexity of the problem of determining whether their sets are disjoint. In the more restrictive one-way communication model, in which the players are required to speak in a predetermined order, we improve our bound to an optimal Ω(n/t). These results improve upon the earlier bounds of Ω(n/t^{2}) in the general model, and Ω(ε ^{2}n/t^{1+ε}) in the one-way model, due to Bar-Yossef, Jayram, Kumar, and Sivakumar [5]. As in the case of earlier results, our bounds apply to the unique intersection promise problem. This communication problem is known to have connections with the space complexity of approximating frequency moments in the data stream model. Our results lead to an improved space complexity lower bound of Ω(n^{1-2/k}/log n) for approximating the k^{th} frequency moment with a constant number of passes over the input, and a technical improvement to Ω(n^{1-2/k}) if only one pass over the input is permitted. Our proofs rely on the information theoretic direct sum decomposition paradigm of Bar-Yossef et al [5]. Our improvements stem from novel analytical techniques, as opposed to earlier techniques based on Hellinger and related distances, for estimating the information cost of protocols for one-bit functions.

Original language | English (US) |
---|---|

Title of host publication | Proceedings of the Annual IEEE Conference on Computational Complexity |

Pages | 107-117 |

Number of pages | 11 |

State | Published - 2003 |

Event | 18th Annual IEEE Conference on Computational Complexity - Aarhus, Denmark Duration: Jul 7 2003 → Jul 10 2003 |

### Other

Other | 18th Annual IEEE Conference on Computational Complexity |
---|---|

Country | Denmark |

City | Aarhus |

Period | 7/7/03 → 7/10/03 |

### Fingerprint

### ASJC Scopus subject areas

- Computational Mathematics

### Cite this

*Proceedings of the Annual IEEE Conference on Computational Complexity*(pp. 107-117)

**Near-optimal lower bounds on the multi-party communication complexity of set disjointness.** / Chakrabarti, Amit; Khot, Subhash; Sun, Xiaodong.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*Proceedings of the Annual IEEE Conference on Computational Complexity.*pp. 107-117, 18th Annual IEEE Conference on Computational Complexity, Aarhus, Denmark, 7/7/03.

}

TY - GEN

T1 - Near-optimal lower bounds on the multi-party communication complexity of set disjointness

AU - Chakrabarti, Amit

AU - Khot, Subhash

AU - Sun, Xiaodong

PY - 2003

Y1 - 2003

N2 - We study the communication complexity of the set disjointness problem in the general multi-party model. For t players, each holding a subset of a universe of size n, we establish a near-optimal lower bound of Ω(n/(t log t)) on the communication complexity of the problem of determining whether their sets are disjoint. In the more restrictive one-way communication model, in which the players are required to speak in a predetermined order, we improve our bound to an optimal Ω(n/t). These results improve upon the earlier bounds of Ω(n/t2) in the general model, and Ω(ε 2n/t1+ε) in the one-way model, due to Bar-Yossef, Jayram, Kumar, and Sivakumar [5]. As in the case of earlier results, our bounds apply to the unique intersection promise problem. This communication problem is known to have connections with the space complexity of approximating frequency moments in the data stream model. Our results lead to an improved space complexity lower bound of Ω(n1-2/k/log n) for approximating the kth frequency moment with a constant number of passes over the input, and a technical improvement to Ω(n1-2/k) if only one pass over the input is permitted. Our proofs rely on the information theoretic direct sum decomposition paradigm of Bar-Yossef et al [5]. Our improvements stem from novel analytical techniques, as opposed to earlier techniques based on Hellinger and related distances, for estimating the information cost of protocols for one-bit functions.

AB - We study the communication complexity of the set disjointness problem in the general multi-party model. For t players, each holding a subset of a universe of size n, we establish a near-optimal lower bound of Ω(n/(t log t)) on the communication complexity of the problem of determining whether their sets are disjoint. In the more restrictive one-way communication model, in which the players are required to speak in a predetermined order, we improve our bound to an optimal Ω(n/t). These results improve upon the earlier bounds of Ω(n/t2) in the general model, and Ω(ε 2n/t1+ε) in the one-way model, due to Bar-Yossef, Jayram, Kumar, and Sivakumar [5]. As in the case of earlier results, our bounds apply to the unique intersection promise problem. This communication problem is known to have connections with the space complexity of approximating frequency moments in the data stream model. Our results lead to an improved space complexity lower bound of Ω(n1-2/k/log n) for approximating the kth frequency moment with a constant number of passes over the input, and a technical improvement to Ω(n1-2/k) if only one pass over the input is permitted. Our proofs rely on the information theoretic direct sum decomposition paradigm of Bar-Yossef et al [5]. Our improvements stem from novel analytical techniques, as opposed to earlier techniques based on Hellinger and related distances, for estimating the information cost of protocols for one-bit functions.

UR - http://www.scopus.com/inward/record.url?scp=0041513338&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0041513338&partnerID=8YFLogxK

M3 - Conference contribution

SP - 107

EP - 117

BT - Proceedings of the Annual IEEE Conference on Computational Complexity

ER -