形式陈述
对 ,无界错误协议采用私有币公理库公共币与私有币协议Public-coin protocol · Private-coin protocol · Shared randomness in communication区分双方预先共享的输入无关随机串与各自隐藏的随机币,并说明有限输入上的 Newman 随机性压缩。口径,双方随机带彼此独立;对每个输入都要求
优势 可依赖输入且没有统一正下界。 是满足该严格条件的协议的最坏通信 bit 数下确界;有限输入集上可取到一个正的最小优势,但复杂度定义不向它收费。协议通常要求指定一方或双方输出,本页允许最后一位输出 bit,并把因此产生的固定开销吸收到 。
关键刻画是
从成本 的私有币协议到矩阵:令 。严格成功保证 ;按叶 transcript 把概率分为 Alice 因子与 Bob 因子,可写成至多 个外积之和,故 。反向从秩 的严格符号实现 出发,Paturi–Simon 的一向模拟用 bit 产生期望与 同号的输出。两向与一向复杂度也只差固定常数。
直觉
bounded-error 模型关心离 有固定距离;UPP 只关心越过哪一侧。因此一个协议可以用极其微弱的偏置编码答案,只要每个输入都严格为正。中心化的接受概率矩阵恰好把“微弱但正确”变成一张无零的符号实现矩阵。
模型的力量来自不为优势付费。若某输入优势为 ,把它放大到 需要天文数量的独立重复;UPP 仍把原协议看作成功。这解释了符号秩为何刻画 UPP,却不能直接刻画普通 randomized complexity。
例子与边界
任意有限函数都展示公共币禁区。公共币均匀抽取 ;Alice 发送 。Bob 检查 :若 ,输出公开可算的 ;否则抛公平私有币。对真实输入 ,命中事件概率为 ,故
协议只发一 bit(若要求双方输出,再回传一 bit),于是 public-coin UPP 会把所有有限函数压到常数复杂度。标准 Paturi–Simon 刻画必须采用私有币,不能把 public coin 当作无害加强。
对一 bit XOR,符号秩公理库符号秩Sign rank · Sign-pattern rank在所有严格实现同一正负号模式的实矩阵中取最低秩,并以此刻画无界错误通信的维度。页给出秩一矩阵
Alice 甚至可发送自己的输入一 bit,Bob 确定输出,故 UPP 成本为常数;,差异正落在输出 convention 的加性常数内。这个例子也说明为何不能宣称二者字面相等。
若把严格 改为 ,永远抛公平硬币的零通信协议对所有函数都合法,模型完全坍塌。若要求统一优势至少 ,则回到 bounded-error randomized 模型。若允许公共币,必须另行固定随机性资源与有限精度,不能继续引用上述等价式。
推论与应用
UPP 下界等价于证明所有低秩实矩阵都无法严格实现目标符号模式;协议轮数在刻画中消失,因为任意两向 UPP 协议都能常数开销化为一向几何协议。它因此适合把通信问题转成点—超平面排列、阈值电路和学习维数问题。
等价刻画保留的是数量级与加性常数,不保留偏置、round 或每条消息长度。需要固定错误、公开随机性或 round-sensitive 结论时,必须使用近似秩、分解范数、信息复杂度或专门轮数下界;符号秩本身不会记录这些资源。
参考资料
- Ramamohan Paturi and Janos Simon, “Probabilistic Communication Complexity,” Journal of Computer and System Sciences 33(1), 1986, pp. 106–123.
- Eyal Kushilevitz and Noam Nisan, Communication Complexity, Cambridge University Press, 1997, Chapter 3.
- Alexander A. Sherstov, “The Unbounded-Error Communication Complexity of Symmetric Functions,” Combinatorica 31, 2011, pp. 583–614.