Loading jsMath...
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: 2777
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: 4054
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: 4266
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