A structural theorem for local algorithms with applications to coding, testing, and privacy
Dall'Agnol, M. and Gur, T. and Lachish, Oded (2020) A structural theorem for local algorithms with applications to coding, testing, and privacy. In: ACM-SIAM Symposium on Discrete Algorithms (SODA21), 10-13 January 2021, Online.
|
Text
daisy.pdf Download (1MB) | Preview |
Abstract
We prove a general structural theorem for a wide family of local algorithms, which includes property testers, local decoders, and PCPs of proximity. Namely, we show that the structure of every algorithm that makes q adaptive queries and satisfies a natural robustness condition admits a sample-based algorithm with n 1−1/O(q 2 log2 q) sample complexity, following the definition of Goldreich and Ron (TOCT 2016). We prove that this transformation is nearly optimal. Our theorem also admits a scheme for constructing privacy-preserving local algorithms. Using the unified view that our structural theorem provides, we obtain results regarding various types of local algorithms, including the following. We strengthen the state-of-the-art lower bound for relaxed locally decodable codes, obtaining an exponential improvement on the dependency in query complexity; this resolves an open problem raised by Gur and Lachish (SODA 2020). We show that any (constant-query) testable property admits a sample-based tester with sublinear sample complexity; this resolves a problem left open in a work of Fischer, Lachish, and Vasudev (FOCS 2015) by extending their main result to adaptive testers. We prove that the known separation between proofs of proximity and testers is essentially maximal; this resolves a problem left open by Gur and Rothblum (ECCC 2013, Computational Complexity 2018) regarding sublinear-time delegation of computation. Our techniques strongly rely on relaxed sunflower lemmas and the Hajnal–Szemer´edi theorem.
Metadata
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | Proceedings ISBN: 9781611976465 |
Keyword(s) / Subject(s): | Algorithms, Local, Testing, Privacy, Coding |
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Oded Lachish |
Date Deposited: | 10 May 2022 12:37 |
Last Modified: | 09 Aug 2023 12:49 |
URI: | https://eprints.bbk.ac.uk/id/eprint/41026 |
Statistics
Additional statistics are available via IRStats2.