Actions
  • shareshare
  • link
  • cite
  • add
add
auto_awesome_motion View all 4 versions
Publication . Preprint . Article . 2022 . Embargo end date: 25 Jan 2022

enTesting Distributions of Huge Objects

Goldreich, Oded; Ron, Dana;
Open Access
English
Published: 24 Dec 2022
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Abstract

We initiate a study of a new model of property testing that is a hybrid of testing properties of distributions and testing properties of strings. Specifically, the new model refers to testing properties of distributions, but these are distributions over huge objects (i.e., very long strings). Accordingly, the model accounts for the total number of local probes into these objects (resp., queries to the strings) as well as for the distance between objects (resp., strings). Specifically, the distance between distributions is defined as the earth mover���s distance with respect to the relative Hamming distance between strings. We study the query complexity of testing in this new model, focusing on three directions. First, we try to relate the query complexity of testing properties in the new model to the sample complexity of testing these properties in the standard distribution testing model. Second, we consider the complexity of testing properties that arise naturally in the new model (e.g., distributions that capture random variations of fixed strings). Third, we consider the complexity of testing properties that were extensively studied in the standard distribution testing model: Two such cases are uniform distributions and pairs of identical distributions, where we obtain the following results. - Testing whether a distribution over n-bit long strings is uniform on some set of size m can be done with query complexity ��(m/����), where �� > (log���m)/n is the proximity parameter. - Testing whether two distribution over n-bit long strings that have support size at most m are identical can be done with query complexity ��(m^{2/3}/����). Both upper bounds are quite tight; that is, for �� = ��(1), the first task requires ��(m^c) queries for any c < 1 and n = ��(log m), whereas the second task requires ��(m^{2/3}) queries. Note that the query complexity of the first task is higher than the sample complexity of the corresponding task in the standard distribution testing model, whereas in the case of the second task the bounds almost match.

LIPIcs, Vol. 215, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), pages 78:1-78:19

Subjects

Property Testing, Distributions, Theory of computation → Streaming, sublinear and near linear time algorithms, Data Structures and Algorithms (cs.DS), FOS: Computer and information sciences, Computer Science - Data Structures and Algorithms, Theory of computation ��� Streaming, sublinear and near linear time algorithms

Related Organizations
Funded by
EC| VERICOMP
Project
VERICOMP
Foundations of Verifiable Computing
  • Funder: European Commission (EC)
  • Project Code: 819702
  • Funding stream: H2020 | ERC | ERC-COG
Validated by funder
moresidebar