Pith. sign in

REVIEW

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

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2302.10431 v1 pith:ZQCDFVJ4 submitted 2023-02-21 cs.CC

classification cs.CC
keywords varepsilonmathsfdeltaboundmathcalone-waycommunicationcomplexity
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

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

Discussion (0). Continue with ORCID to comment.

Pith tools