Abstract:We study monotonicity testing of functions $f \colon \{0,1\}^d \to \{0,1\}$ using sample-based algorithms, which are only allowed to observe the value of $f$ on points drawn independently from the uniform distribution. A classic result by Bshouty-Tamon (J. ACM 1996) proved that monotone functions can be learned with $\exp(\widetilde{O}(\min\{\frac{1}{\varepsilon}\sqrt{d},d\}))$ samples and it is not hard to show that this bound extends to testing. Prior to our work the only lower bound for this problem was $\Omega(\sqrt{\exp(d)/\varepsilon})$ in the small $\varepsilon$ parameter regime, when $\varepsilon = O(d^{-3/2})$, due to Goldreich-Goldwasser-Lehman-Ron-Samorodnitsky (Combinatorica 2000). Thus, the sample complexity of monotonicity testing was wide open for $\varepsilon \gg d^{-3/2}$. We resolve this question, obtaining a nearly tight lower bound of $\exp(\Omega(\min\{\frac{1}{\varepsilon}\sqrt{d},d\}))$ for all $\varepsilon$ at most a sufficiently small constant. In fact, we prove a much more general result, showing that the sample complexity of $k$-monotonicity testing and learning for functions $f \colon \{0,1\}^d \to [r]$ is $\exp(\Omega(\min\{\frac{rk}{\varepsilon}\sqrt{d},d\}))$. For testing with one-sided error we show that the sample complexity is $\exp(\Theta(d))$. Beyond the hypercube, we prove nearly tight bounds (up to polylog factors of $d,k,r,1/\varepsilon$ in the exponent) of $\exp(\widetilde{\Theta}(\min\{\frac{rk}{\varepsilon}\sqrt{d},d\}))$ on the sample complexity of testing and learning measurable $k$-monotone functions $f \colon \mathbb{R}^d \to [r]$ under product distributions. Our upper bound improves upon the previous bound of $\exp(\widetilde{O}(\min\{\frac{k}{\varepsilon^2}\sqrt{d},d\}))$ by Harms-Yoshida (ICALP 2022) for Boolean functions ($r=2$).

Identification of a monotone Boolean function with $k$ "reasons" as a combinatorial search problem

On the Number of Quantifiers Needed to Define Boolean Functions

On The Number of Inequivalent Monotone Boolean Functions of 9 Variables

An iterative approach for counting reduced ordered binary decision diagrams

Answering Conjunctive Queries under Updates

Is your function low-dimensional?

Probabilistic estimation of the algebraic degree of Boolean functions

Testing Sumsets is Hard

Approximating the noise sensitivity of a monotone Boolean function

Shadow Minimization Boolean Function Reconstruction

A $d^{1/2+o(1)}$ Monotonicity Tester for Boolean Functions on $d$-Dimensional Hypergrids

Isoperimetric inequalities for real‐valued functions with applications to monotonicity testing

On the minimization k-valued logic functions in the class of disjunctive normal forms

An Approximate Skolem Function Counter

Nearly Optimal Bounds for Sample-Based Testing and Learning of $k$-Monotone Functions

K-Independent Boolean Networks

Approximating submodular $k$-partition via principal partition sequence

Submodular Maximization in Exactly $n$ Queries

Query complexity of Boolean functions on slices

Bounds for variables with few occurrences in conjunctive normal forms