中文

通信祖器的更好提升,或不行

计算复杂性 2024-10-15 v2 数据结构与算法

摘要

假设我们有一个用于计算函数 ff 的两方通信协议,允许各方查询计算 gg 的祖器;例如,他们可以查询相等祖器。要将此协议转化为随机化协议,我们必须用求解 gg 的随机子程序替换祖器。如果进行 qq 次查询,标准技术要求将每个子程序的错误率降低到 O(1/q)O(1/q),从而导致通信复杂度随 qlogqq \log q 增长。对于哪些祖器 gg 可以改进这种朴素的提升技术?我们聚焦于可由常数成本随机化协议计算的祖器,证明相等祖器可改进,但 1-哈姆距离祖器不可改进。两个令人惊讶的后果是(1)一个 kk 个独立副本计算成本随 kk 超线性增长的新例子,大幅简化了 Blais & Brody(CCC 2019)的唯一先前例子;以及(2)相等问题不完整于常数成本随机化通信类(Harms, Wild, & Zamaraev, STOC 2022;Hambardzumyan, Hatami, & Hatami, Israel Journal of Mathematics 2022)的新证明。

关键词

引用

@article{arxiv.2410.00838,
  title  = {Better Boosting of Communication Oracles, or Not},
  author = {Nathaniel Harms and Artur Riazanov},
  journal= {arXiv preprint arXiv:2410.00838},
  year   = {2024}
}