Theoretical Computer Science ( IF 0.9 ) Pub Date : 2020-06-03 , DOI: 10.1016/j.tcs.2020.05.048 Krishnamoorthy Dinesh , Jayalal Sarma
In this paper, we study the Boolean function parameters sensitivity (), block sensitivity (), and alternation () under specially designed affine transforms and show several applications. For a function , and for and , the result of the transformation g is defined as .
As a warm up, we study alternation under linear shifts (when M is restricted to be the identity matrix) called the shift invariant alternation (the smallest alternation that can be achieved for the Boolean function f by shifts, denoted by ). By a result of Lin and Zhang (2017) [7], it follows that . Thus, to settle the Sensitivity Conjecture (), it suffices to argue that . However, we exhibit an explicit family of Boolean functions for which is .
Going further, we use an affine transform A, such that the corresponding function g satisfies . We apply this in the setting of quantum communication complexity to prove that for , the bounded error quantum communication complexity of F with prior entanglement, is . Our proof builds on ideas from Sherstov (2010) [17] where we use specific properties of the above affine transformation. Using this, we show the following.
- (a)
For a fixed prime p and an ϵ, , any Boolean function f that depends on all its inputs with must satisfy . Here, denotes the degree of the multilinear polynomial over which agrees with f on Boolean inputs.
- (b)
For Boolean function f such that there exists primes p and q with for , the deterministic communication complexity - and are polynomially related. In particular, this holds when . Thus, for this class of functions, this answers an open question (see Buhrman and de Wolf (2001) [15]) about the relation between the two measures.
中文翻译:
灵敏度,仿射变换和量子通信复杂性
在本文中,我们研究布尔函数参数的敏感性(),块敏感度()和交替()经过特殊设计的仿射变换并展示了几种应用。对于功能和 对于 和 ,转换g的结果定义为。
作为热身,我们研究线性位移(当M被限制为单位矩阵时)下的交替,称为位移不变交替(布尔函数f可以通过位移实现的最小交替,表示为)。根据Lin和Zhang(2017)[7]的结果,。因此,要解决敏感性猜想(),足以证明 。但是,我们展示了一个明确的布尔函数族, 是 。
更进一步,我们使用仿射变换A,使得对应的函数g满足。我们将其应用在量子通信复杂性的设置中,以证明,先验纠缠F的有界误差量子通信复杂度, 是 。我们的证明基于Sherstov(2010)[17]的思想,其中我们使用了上述仿射变换的特定属性。使用此,我们显示以下内容。
- (一种)
对于固定的素数p和ε,,任何依赖于其所有输入的布尔函数f 必须满足 。这里, 表示上的多元线性多项式的次数 与布尔输入上的f一致。
- (b)
对于布尔函数f,使得存在质数p和q为 对于 ,确定性的通信复杂度- 和 与多项式相关。特别是,当。因此,对于此类功能,这回答了有关两个度量之间关系的公开问题(参见Buhrman和de Wolf(2001)[15])。