[论文解读] A Composition Theorem for Conical Juntas

Jain, Rahul, Lee, Troy+1 more|arXiv (Cornell University)|Jan 18, 2014

Quantum Computing Algorithms and Architecture参考文献 1被引用 11

一句话总结

本文引入了公开硬币划分界（public-coin partition bound），一种基于线性规划的新方法，用于经典通信复杂度与查询复杂度的下界分析。证明该界之对数具有二次紧致性：它既下界化了公开硬币随机化通信与查询复杂度，其平方又上界化了该复杂度，使其成为首个对所有关系均实现此紧致性的已知界。

ABSTRACT

In this work we introduce, both for classical communication complexity and query complexity, a modification of the 'partition bound' introduced by Jain and Klauck [2010]. We call it the 'public-coin partition bound'. We show that (the logarithm to the base two of) its communication complexity and query complexity versions form, for all relations, a quadratically tight lower bound on the public-coin randomized communication complexity and randomized query complexity respectively.

研究动机与目标

• 为解决通信与查询复杂度中划分界紧致性程度的开放问题。
• 开发划分界的新变体，引入公开硬币随机性，以增强其强度与适用性。
• 确立新界具有二次紧致性，即其对数为下界，其平方为上界，适用于公开硬币随机化复杂度。
• 通过线性规划统一并强化通信与查询复杂度中现有的下界分析技术。

提出的方法

• 将公开硬币划分界定义为一个线性规划问题，用于建模输入空间划分为矩形或分配，每个矩形或分配关联一个输出与一个概率。
• 在原始问题中，变量 wz,R 表示在输入 (x,y) 属于矩形 R 时输出 z 的概率，且对每个输入，所有矩形上的概率之和为 1。
• 引入一个关于划分 P 的概率分布 aP，其中 wz,R 为所有包含 (z,R) 的划分 P 的 aP 之和，以确保与协议输出分布的一致性。
• 使用线性规划的对偶形式，推导出一个最大化问题，通过权重 µx,y、φx,y 及辅助变量 vz,R 来界定复杂度。
• 证明原始问题最优值的对数是公开硬币随机化通信与查询复杂度的下界。
• 通过构造一个采样划分并以有界通信或查询代价模拟这些划分的协议，证明该最优值对数的平方可上界化复杂度。

实验结果

研究问题

• RQ1 划分界对公开硬币随机化通信复杂度是否具有二次紧致性？
• RQ2 能否构造一个改进的划分界，以捕捉公开硬币随机性并实现紧致性？
• RQ3 新界在所有关系中是否严格强于原始划分界？
• RQ4 新界能否同时用于建立通信与查询复杂度的紧致上下界？

主要发现

• 公开硬币划分界对数是任意关系下公开硬币随机化通信复杂度的下界。
• 公开硬币划分界对数的平方上界化了公开硬币随机化通信复杂度，确立了二次紧致性。
• 在通信与查询复杂度中，公开硬币划分界对所有关系均严格强于原始划分界。
• 在查询复杂度中，该界的对数下界化了随机化查询复杂度，其平方则上界化了复杂度。
• 该界具有二次紧致性：对任意关系，公开硬币复杂度被夹在 log₂(pprtε(f)) 与 (log₂(pprtε(f)) + log₂(1/ε) + 1)² 之间。
• 新界通过一个显式建模公开硬币协议为划分分布的线性规划定义，从而实现更紧密的分析。