Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #2 to TR12-030 | 19th March 2014 00:16

Optimal bounds for monotonicity and Lipschitz testing over the hypercube

RSS-Feed




Revision #2
Authors: C. Seshadhri, Deeparnab Chakrabarty
Accepted on: 19th March 2014 00:17
Downloads: 2519
Keywords: 


Abstract:

The problem of monotonicity testing over the hypergrid and its special case, the hypercube, is a classic, well-studied, yet unsolved question in property testing. We are given query access to $f:[k]^n \mapsto \R$
(for some ordered range $\R$).
The hypergrid/cube has a natural partial order given by coordinate-wise ordering, denoted by $\prec$.
A function is \emph{monotone} if for all pairs $x \prec y$,
$f(x) \leq f(y)$. The distance to monotonicity, $\eps_f$, is the minimum fraction of values of $f$
that need to be changed to make $f$ monotone.
For $k=2$ (the boolean hypercube), the usual tester is the \emph{edge tester}, which
checks monotonicity on adjacent pairs of domain points.
It is known that the edge tester using $O(\eps^{-1}n\log|\R|)$
samples can distinguish a monotone function from one where $\eps_f > \eps$.
On the other hand, the best lower bound for monotonicity testing over general $\R$ is $\Omega(n)$.
We resolve this long standing open problem and prove that $O(n/\eps)$ samples suffice
for the edge tester. For hypergrids, existing testers require $O(\eps^{-1}n\log k\log |\R|)$ samples.
We give
a (non-adaptive) monotonicity tester for hypergrids running in $O(\eps^{-1} n\log k)$ time,
recently shown to be optimal.
Our techniques lead to optimal property testers (with the same running time) for the natural \emph{Lipschitz property}
on hypercubes and hypergrids. (A $c$-Lipschitz function
is one where $|f(x) - f(y)| \leq c\|x-y\|_1$.)
In fact, we give a general unified proof for $O(\eps^{-1}n\log k)$-query testers for a class of ``bounded-derivative" properties that contains both monotonicity and Lipschitz.



Changes to previous version:

Better presentation and notation; much cleaner proofs;


Revision #1 to TR12-030 | 7th November 2012 23:08

Optimal bounds for monotonicity and Lipschitz testing over hypercubes and hypergrids





Revision #1
Authors: C. Seshadhri, Deeparnab Chakrabarty
Accepted on: 7th November 2012 23:08
Downloads: 3752
Keywords: 


Abstract:

The problem of monotonicity testing over the hypergrid and its special case, the hypercube, is a classic, well-studied, yet unsolved question in property testing. We are given query access to $f:[k]^n \mapsto R$
(for some ordered range $R$). The hypergrid/cube has a natural partial order given by coordinate-wise ordering, denoted by $\prec$. A function is \emph{monotone} if for all pairs $x \prec y$, $f(x) \leq f(y)$. The distance to monotonicity, $\varepsilon_f$, is the minimum fraction of values of $f$
that need to be changed to make $f$ monotone.

For $k=2$ (the boolean hypercube), the usual tester is the \emph{edge tester}, which
checks monotonicity on adjacent pairs of domain points.
It is known that the edge tester using $O(\varepsilon^{-1}n\log|R|)$
samples can distinguish a monotone function from one where $\varepsilon_f > \varepsilon$.
On the other hand, the best lower bound for monotonicity testing over the hypercube is $\min(|R|^2,n)$.
This leaves
a quadratic gap in our knowledge, since $|R|$ can be $2^n$.
We resolve this long standing open problem and prove that $O(n/\varepsilon)$ samples suffice
for the edge tester. For hypergrids, known testers require $O(\varepsilon^{-1}n\log k\log |R|)$ samples, while
the best known (non-adaptive) lower bound is $\Omega(\varepsilon^{-1} n\log k)$. We give
a (non-adaptive) monotonicity tester for hypergrids running in $O(\varepsilon^{-1} n\log k)$ time.

Our techniques lead to optimal property testers (with the same running time) for the natural \emph{Lipschitz property}
on hypercubes and hypergrids. (A $c$-Lipschitz function
is one where $|f(x) - f(y)| \leq c\|x-y\|_1$.)
In fact, we give a general unified proof for $O(\varepsilon^{-1}n\log k)$-query testers for a class of ``bounded-derivative" properties,
a class containing both monotonicity and Lipschitz.



Changes to previous version:

New results on hypergrids


Paper:

TR12-030 | 4th April 2012 04:24

Optimal bounds for monotonicity and Lipschitz testing over the hypercube





TR12-030
Authors: C. Seshadhri, Deeparnab Chakrabarty
Publication: 4th April 2012 13:31
Downloads: 3757
Keywords: 


Abstract:

The problem of monotonicity testing of the boolean hypercube is a classic well-studied, yet unsolved
question in property testing. We are given query access to $f:\{0,1\}^n \mapsto R$
(for some ordered range $R$). The boolean hypercube ${\cal B}^n$ has a natural partial order, denoted by $\prec$ (defined by the product of
coordinate-wise ordering). A function is \emph{monotone} if all pairs $x \prec y$ in ${\cal B}^n$,
$f(x) \leq f(y)$. The distance to monotonicity, $\varepsilon_f$, is the minimum fraction of values of $f$
that need to be changed to make $f$ monotone. It is known that the edge tester
using $O(n\log |R|/\varepsilon)$ samples can distinguish a monotone function from one where $\varepsilon_f > \varepsilon$.
On the other hand, the best lower bound for monotonicity testing is $\min(|R|^2,n)$. This leaves
a quadratic gap in our knowledge, since $|R|$ can be $2^n$.

We prove that the edge tester only requires $O(n/\varepsilon)$ samples (regardless of $R$), resolving this question.
Our technique is quite general, and we get optimal edge testers for the Lipschitz property.
We prove a very general theorem showing that edge testers work for a class of ``bounded-derivative"
properties, which contains both monotonicity and Lipschitz.



ISSN 1433-8092 | Imprint