GSF-locality is not sufficient for proximity-oblivious testing

05/18/2021
by   Isolde Adler, et al.
0

In Property Testing, proximity-oblivious testers (POTs) form a class of particularly simple testing algorithms, where a basic test is performed a number of times that may depend on the proximity parameter, but the basic test itself is independent of the proximity parameter. In their seminal work, Goldreich and Ron [STOC 2009; SICOMP 2011] show that the graph properties that allow constant-query proximity-oblivious testing in the bounded-degree model are precisely the properties that can be expressed as a generalised subgraph freeness (GSF) property that satisfies the non-propagation condition. It is left open whether the non-propagation condition is necessary. Indeed, calling properties expressible as a generalised subgraph freeness property GSF-local properties, they ask whether all GSF-local properties are non-propagating. We give a negative answer by exhibiting a property of graphs that is GSF-local and propagating. Hence in particular, our property does not admit a POT, despite being GSF-local. We prove our result by exploiting a recent work of the authors which constructed a first-order (FO) property that is not testable [SODA 2021], and a new connection between FO properties and GSF-local properties via neighbourhood profiles.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/07/2023

On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing

We study property testing of properties that are definable in first-orde...
research
05/22/2023

An Optimal Separation between Two Property Testing Models for Bounded Degree Directed Graphs

We revisit the relation between two fundamental property testing models ...
research
08/13/2020

On Testability of First-Order Properties in Bounded-Degree Graphs

We study property testing of properties that are definable in first-orde...
research
11/07/2018

Every Testable (Infinite) Property of Bounded-Degree Graphs Contains an Infinite Hyperfinite Subproperty

One of the most fundamental questions in graph property testing is to ch...
research
07/20/2020

Testing linear inequalities of subgraph statistics

Property testers are fast randomized algorithms whose task is to disting...
research
05/08/2021

Quantum Proofs of Proximity

We initiate the systematic study of QMA algorithms in the setting of pro...
research
10/10/2020

A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Privacy

We prove a general structural theorem for a wide family of local algorit...

Please sign up or login with your details

Forgot password? Click here to reset