Dice Question Streamline Icon: https://streamlinehq.com

Optimality of the Ω(n/k^2) lower bound for Chained Index

Determine whether the existing Ω(n/k^2) lower bound on the total communication for the Chained Index problem CI_{n,k} (k+1 players pass messages sequentially and the last must output the common bit shared across k correlated Index instances) is optimal as a function of n and k in the standard one-way blackboard model.

Information Square Streamline Icon: https://streamlinehq.com

Background

Chained Index (CI_{n,k}) generalizes the classical two-party Index problem to k correlated instances arranged in a chain across k+1 players with one-way communication. Cormode et al. (ICALP 2019) established a lower bound of Ω(n/k2) for CI_{n,k} and used it to derive streaming lower bounds, but did not resolve whether this dependence on k is optimal.

Clarifying the optimal communication complexity of CI_{n,k} directly impacts several streaming lower bounds obtained via reductions from CI_{n,k}, motivating the question of whether Ω(n/k2) is tight or can be strengthened.

References

However, it is not known whether the Ω(n/k2) lower bound used in these works is optimal for the problem, and in fact, it was conjectured by Cormode et al. that Ω(n) bits are necessary.

Optimal Communication Complexity of Chained Index (2404.07026 - Sundaresan, 10 Apr 2024) in Abstract