English

Ranked spreadness and sample-based testing

Statistics Theory 2026-08-04 v1 Computational Complexity Data Structures and Algorithms Combinatorics

Abstract

In this note, we introduce the notion of ranked spreadness, a strengthening of the usual spread condition in which the elements of each member can be ordered so that their one-coordinate marginals decay geometrically with their rank. This additional structure removes the dependence on the maximum set size in random-containment estimates. We prove width-free hitting and weighted-concentration theorems for ranked-spread set systems, together with an elementary kernel-extraction theorem showing that ranked spreadness arises naturally in arbitrary distributions on small sets. Our main application is to the simulation of nonadaptive property testers by sample-based testers. If a one-sided tester has average query complexity dd and rejects every far input with probability at least δ\delta, then, for every integer c>d/δc>d/\delta, it admits a one-sided sample-based simulation with expected sample complexity Od,δ,Σ(n11/c)O_{d,\delta,|\Sigma|}\bigl(n^{1-1/c}\bigr). More generally, if positive inputs are rejected with probability at most γ\gamma and far inputs with probability at least δ>γ\delta>\gamma, the same conclusion holds for every c>d/(δγ)c>d/(\delta-\gamma). In particular, for constant-query nonadaptive testers we obtain an exponent 1Θ(1/q)1-\Theta(1/q), matching, up to the dependence on the rejection gap, the exponent conjectured by Fischer, Lachish, and Vasudev.

Cite

@article{arxiv.2608.03758,
  title  = {Ranked spreadness and sample-based testing},
  author = {Gaia Carenini},
  journal= {arXiv preprint arXiv:2608.03758},
  year   = {2026}
}

Comments

Comments are welcome!