[论文解读] Communication Complexities of XOR functions

Yaoyun Shi, Zhiqiang Zhang|ArXiv.org|Aug 13, 2008

Complexity and Algorithms in Graphs参考文献 18被引用 12

一句话总结

本文为对称XOR函数（形式为F(x,y) = S(|x⊕y|)的布尔函数）的确定性、随机化和量子通信复杂度建立了紧致的刻画。证明了所有非平凡对称XOR函数的确定性复杂度为Θ(n)，而随机化与量子复杂度则被紧致地界定为Θ(r₀ + r₁)，其中r₀和r₁是捕捉函数S(k)周期性的参数。

ABSTRACT

We call $F:\{0, 1\}^n imes \{0, 1\}^n o\{0, 1\}$ a symmetric XOR function if for a function $S:\{0, 1, ..., n\} o\{0, 1\}$, $F(x, y)=S(|x\oplus y|)$, for any $x, y\in\{0, 1\}^n$, where $|x\oplus y|$ is the Hamming weight of the bit-wise XOR of $x$ and $y$. We show that for any such function, (a) the deterministic communication complexity is always $Θ(n)$ except for four simple functions that have a constant complexity, and (b) up to a polylog factor, the error-bounded randomized and quantum communication complexities are $Θ(r_0+r_1)$, where $r_0$ and $r_1$ are the minimum integers such that $r_0, r_1\leq n/2$ and $S(k)=S(k+2)$ for all $k\in[r_0, n-r_1)$.

研究动机与目标

• 刻画仅依赖于输入XOR结果汉明权重的对称XOR函数类的通信复杂度。
• 解决非平凡对称XOR函数的确定性复杂度，证明其始终为Θ(n)，除四种常数复杂度情形外。
• 基于函数输出的周期性，为随机化与量子通信复杂度提供紧致的上下界。
• 通过证明量子与随机化复杂度彼此处于多项式对数因子范围内，证实对称XOR函数类的对数等价性猜想。

提出的方法

• 将对称XOR函数定义为F(x,y) = S(|x⊕y|)，其中S将汉明权重映射到{0,1}，并通过底层函数f的傅里叶分析来分析其通信复杂度。
• 采用对数秩猜想框架，将确定性复杂度与F矩阵的秩的对数关联起来，通过中间汉明权重范围内的非零傅里叶系数，证明非平凡对称XOR函数的秩为2^Ω(n)。
• 引入参数r₀和r₁，分别表示满足对所有k∈[r₀, n−r₁)有S(k) = S(k+2)的最小整数，以捕捉S的周期行为。
• 通过在小汉明权重区间上对HAMₙ,ₙ问题进行重复调用并结合二分查找，构造一个随机化协议，以精确确定|x⊕y|。
• 利用Huang等人关于HAMₙ,ₙ的O(d log d)单向协议，构建一个两向随机化协议，其代价为O(r log²r log log r)，其中r = max(r₀, r₁)。
• 通过归约至汉明距离问题，并结合函数取反与补全的对称性及对偶性论证，证明量子复杂度的下界为Ω(r)。

实验结果

研究问题

• RQ1 非平凡对称XOR函数的确定性通信复杂度是多少？
• RQ2 对称XOR函数的随机化与量子通信复杂度如何与输出函数S的周期结构相关？
• RQ3 能否证实对称XOR函数类的对数等价性猜想——即量子与随机化复杂度彼此处于多项式对数因子范围内？
• RQ4 对称XOR函数的一向通信复杂度是多少？与双向情形相比如何？

主要发现

• 对于任意非平凡对称XOR函数F，其确定性通信复杂度D(F)为Θ(n)，除四种简单函数具有常数复杂度外。
• 随机化通信复杂度R(F)为O(r log²r log log r)，其中r = max(r₀, r₁)，且该界近乎紧致。
• 量子通信复杂度Q(F)为Ω(r)，该下界与上界仅相差多项式对数因子，证实了该类函数的对数等价性猜想。
• 非平凡对称XOR函数的F矩阵秩为2^Ω(n)，证实其满足对数秩猜想。
• 一维随机化复杂度为O(r² log²r)，表明该模型下最佳已知上下界之间存在二次差距。
• 对称XOR函数的无界错误通信复杂度猜想为Θ(|{t : S(t) ≠ S(t+2)}|)，但该猜想仍待证明。