English

A note on the partition bound for one-way classical communication complexity

Computational Complexity 2023-02-22 v1

Abstract

We present a linear program for the one-way version of the partition bound (denoted prtε1(f)\mathsf{prt}^1_\varepsilon(f)). We show that it characterizes one-way randomized communication complexity Rε1(f)\mathsf{R}_\varepsilon^1(f) with shared randomness of every partial function f:X×YZf:\mathcal{X}\times\mathcal{Y}\to\mathcal{Z}, i.e., for δ,ε(0,1/2)\delta,\varepsilon\in(0,1/2), Rε1(f)logprtε1(f)\mathsf{R}_\varepsilon^1(f) \geq \log\mathsf{prt}_\varepsilon^1(f) and Rε+δ1(f)logprtε1(f)+loglog(1/δ)\mathsf{R}_{\varepsilon+\delta}^1(f) \leq \log\mathsf{prt}_\varepsilon^1(f) + \log\log(1/\delta). This improves upon the characterization of Rε1(f)\mathsf{R}_\varepsilon^1(f) in terms of the rectangle bound (due to Jain and Klauck, 2010) by reducing the additive O(log(1/δ))O(\log(1/\delta))-term to loglog(1/δ)\log\log(1/\delta).

Cite

@article{arxiv.2302.10431,
  title  = {A note on the partition bound for one-way classical communication complexity},
  author = {Srinivasan Arunachalam and João F. Doriguello and Rahul Jain},
  journal= {arXiv preprint arXiv:2302.10431},
  year   = {2023}
}

Comments

6 pages

R2 v1 2026-06-28T08:45:13.474Z