Testing versus estimation of graph properties, revisited
share
A distance estimator for a graph property đ« is an algorithm that given G and α, Δ >0 distinguishes between the case that G is (α-Δ)-close to đ« and the case that G is α-far from đ« (in edit distance). We say that đ« is estimable if it has a distance estimator whose query complexity depends only on Δ. Every estimable property is also testable, since testing corresponds to estimating with α=Δ. A central result in the area of property testing, the FischerâNewman theorem, gives an inverse statement: every testable property is in fact estimable. The proof of Fischer and Newman was highly ineffective, since it incurred a tower-type loss when transforming a testing algorithm for đ« into a distance estimator. This raised the natural problem, studied recently by FiatâRon and by HoppenâKohayakawaâLangâLefmannâStagni, whether one can find a transformation with a polynomial loss. We obtain the following results. 1. If đ« is hereditary, then one can turn a tester for đ« into a distance estimator with an exponential loss. This is an exponential improvement over the result of Hoppen et. al., who obtained a transformation with a double exponential loss. 2. For every đ«, one can turn a testing algorithm for đ« into a distance estimator with a double exponential loss. This improves over the transformation of FischerâNewman that incurred a tower-type loss. Our main conceptual contribution in this work is that we manage to turn the approach of FischerâNewman, which was inherently ineffective, into an efficient one. On the technical level, our main contribution is in establishing certain properties of FriezeâKannan Weak Regular partitions that are of independent interest.
READ FULL TEXT