Estimating parameters associated with monotone properties

TL;DR

This paper investigates the sample complexity of estimating bounded graph parameters related to monotone properties, introducing the concept of recoverable properties and improving bounds through equitable partitions.

Contribution

It introduces the notion of recoverable properties and demonstrates how equitable partitions can improve sample complexity bounds for estimating parameters associated with monotone graph properties.

Findings

Vertex sets of graphs with monotone properties can be partitioned into a constant number of classes.

Cluster graphs from these partitions are close to satisfying a weighted generalization of the property.

The study provides improved upper bounds on the sample complexity for estimating such parameters.

Abstract

There has been substantial interest in estimating the value of a graph parameter, i.e., of a real-valued function defined on the set of finite graphs, by querying a randomly sampled substructure whose size is independent of the size of the input. Graph parameters that may be successfully estimated in this way are said to be testable or estimable, and the sample complexity $q_z=q_z(\epsilon)$ of an estimable parameter $z$ is the size of a random sample of a graph $G$ required to ensure that the value of $z(G)$ may be estimated within an error of $\epsilon$ with probability at least 2/3. In this paper, for any fixed monotone graph property $\mathcal{P}=\mbox{Forb}(\mathcal{F})$, we study the sample complexity of estimating a bounded graph parameter $z_{\mathcal{P}}$ that, for an input graph $G$, counts the number of spanning subgraphs of $G$ that satisfy $\mathcal{P}$. To improve upon previous upper bounds on the sample complexity, we show that the vertex set of any graph that satisfies a monotone property $\mathcal{P}$ may be partitioned equitably into a constant number of classes in such a way that the cluster graph induced by the partition is not far from satisfying a natural weighted graph generalization of $\mathcal{P}$. Properties for which this holds are said to be recoverable, and the study of recoverable properties may be of independent interest.