[论文解读] Testing Unateness of Real-Valued Functions

Roksana Baleshzar, Meiram Murzabulatov+2 more|arXiv (Cornell University)|Aug 27, 2016

Complexity and Algorithms in Graphs参考文献 9被引用 14

一句话总结

本论文提出了首个针对超网格域 $[n]^d \to \mathbb{R}$ 上实值函数的单调性测试器，实现了查询复杂度 $O\left(\frac{d\log(\max(d,n))}{\epsilon}\right)$。它建立了紧致的下界，表明任何针对实值函数的单调性测试器都至少需要 $\Omega(\min\{d, |R|^2\})$ 次查询，而对于布尔函数的非自适应、单边错误测试器，至少需要 $\Omega(\sqrt{d}/\epsilon)$ 次查询，使得所提出的测试器近乎最优。

ABSTRACT

We give a unateness tester for functions of the form $f:[n]^d ightarrow R$, where $n,d\in \mathbb{N}$ and $R\subseteq \mathbb{R}$ with query complexity $O(\frac{d\log (\max(d,n))}ε)$. Previously known unateness testers work only for Boolean functions over the domain $\{0,1\}^d$. We show that every unateness tester for real-valued functions over hypergrid has query complexity $Ω(\min\{d, |R|^2\})$. Consequently, our tester is nearly optimal for real-valued functions over $\{0,1\}^d$. We also prove that every nonadaptive, 1-sided error unateness tester for Boolean functions needs $Ω(\sqrt{d}/ε)$ queries. Previously, no lower bounds for testing unateness were known.

研究动机与目标

• 设计一个针对超网格域 $[n]^d \to \mathbb{R}$ 上实值函数单调性的属性测试器，扩展先前仅限于布尔函数的工作。
• 为实值函数的单调性测试建立首个下界，量化所需的最少查询次数。
• 证明对于超立方体上布尔函数的非自适应、单边错误测试器，其查询复杂度下界为 $\Omega(\sqrt{d}/\epsilon)$，填补了先前知识的空白。
• 通过在 $\{0,1\}^d$ 上的实值函数上匹配下界至对数因子，证明所提出的测试器近乎最优。

提出的方法

• 将 Khot 和 Shinkar [12] 针对 $\{0,1\}^d$ 上布尔函数的自适应单调性测试器，扩展以处理 $[n]^d$ 上的实值函数。
• 采用递归分解策略，逐维测试单调性，利用相邻点之间的局部比较。
• 定义一组在 $\{0,1\}^d$ 上的困难函数 $f_i$，这些函数与单调性相差 $\epsilon$，且违反性质集中于特定坐标对。
• 应用 Yao 的极小极大原理，通过界定在困难分布中检测到违反行为的概率，分析非自适应、单边错误测试器。
• 从给定函数 $g$ 构造一个函数 $h$，使得 $g$ 是单调的当且仅当 $h$ 是单调的，同时保持查询复杂度，并实现向已知下界问题的归约。
• 通过归约到具有 $|R|$ 个不同取值的困难函数族，证明任何实值函数的单调性测试器都必须进行 $\Omega(\min\{d, |R|^2\})$ 次查询。

实验结果

研究问题

• RQ1 针对超网格域 $[n]^d \to \mathbb{R}$ 上实值函数的单调性测试，最优的查询复杂度是多少？
• RQ2 能否为实值函数的单调性测试建立紧致下界，特别是关于取值范围大小 $|R|$ 的下界？
• RQ3 对于超立方体上布尔函数的非自适应、单边错误测试器，其单调性测试的查询复杂度下界是多少？
• RQ4 实值函数的单调性测试查询复杂度如何随维度 $d$ 和取值范围大小 $|R|$ 变化？

主要发现

• 所提出的针对 $f:[n]^d \to \mathbb{R}$ 的单调性测试器，其查询复杂度为 $O\left(\frac{d\log(\max(d,n))}{\epsilon}\right)$，在 $\{0,1\}^d$ 上的实值函数中近乎最优。
• 任何针对超网格上实值函数的单调性测试器都必须进行 $\Omega(\min\{d, |R|^2\})$ 次查询，建立了紧致下界（对数因子内）。
• 对于 $\{0,1\}^d$ 上布尔函数的非自适应、单边错误测试器，其查询复杂度至少为 $\Omega(\sqrt{d}/\epsilon)$，这是针对单调性测试的首个此类下界。
• 该测试器推广了 Khot 和 Shinkar [12] 针对 $\{0,1\}^d$ 上布尔函数的测试器，使其适用于 $[n]^d$ 上的实值函数，扩展了其适用范围。
• 下界 $\Omega(\min\{d, |R|^2\})$ 适用于实值函数，并在 $\{0,1\}^d$ 上与上界仅相差对数因子。