# Sublinear-Time Computation in the Presence of Online Erasures

@article{Kalemaj2021SublinearTimeCI, title={Sublinear-Time Computation in the Presence of Online Erasures}, author={Iden Kalemaj and Sofya Raskhodnikova and Nithin M. Varma}, journal={ArXiv}, year={2021}, volume={abs/2109.08745} }

We initiate the study of sublinear-time algorithms that access their input via an online adversarial erasure oracle. After answering each query to the input object, such an oracle can erase t input values. Our goal is to understand the complexity of basic computational tasks in extremely adversarial situations, where the algorithm’s access to data is blocked during the execution of the algorithm in response to its actions. Specifically, we focus on property testing in the model with online…

## Figures from this paper

## References

SHOWING 1-10 OF 84 REFERENCES

Erasure-Resilient Property Testing

- Computer Science, MathematicsICALP
- 2016

A study of property testers that are resilient to the presence of adversarially erased function values and gives efficient erasure-resilient testers for several important classes of such properties of functions including monotonicity, the Lipschitz property, and convexity.

Erasures vs. Errors in Local Decoding and Property Testing

- Computer ScienceITCS
- 2019

It is shown that the Hadamard code is locally list decodable in the presence of a constant fraction of erasures, arbitrary close to 1, with list sizes and query complexity better than in the Goldreich-Levin theorem.

Erasure-Resilient Sublinear-Time Graph Algorithms

- Computer ScienceElectron. Colloquium Comput. Complex.
- 2020

The erasure-resilient algorithm (for the special case with no erasures) is an improvement over the previously known algorithm for connectedness in the standard property testing model and has optimal dependence on the proximity parameter $\varepsilon$.

Parameterized Property Testing of Functions

- Mathematics, Computer ScienceElectron. Colloquium Comput. Complex.
- 2017

This work parameterizes the query complexity of property testers in terms of the size r of the image of the input function, and obtains testers for monotonicity and convexity of functions of the form f:[n]→ R with query complexity O (log r), with no dependence on n.

Gowers uniformity, influence of variables, and PCPs

- Computer Science, MathematicsSTOC '06
- 2006

A connection between the Gowers uniformity of a Boolean function and the influence of its variables is found and the proof that "Gowers uniform" functions pass the "hypergraph linearity test" approximately with the same probability of a random function is proved.

Randomness-efficient low degree tests and short PCPs via epsilon-biased sets

- Mathematics, Computer ScienceSTOC '03
- 2003

We present the first explicit construction of Probabilistically Checkable Proofs (PCPs) and Locally Testable Codes (LTCs) of fixed constant query complexity which have almost-linear (= n * 2Õ(√log…

Derandomizing homomorphism testing in general groups

- Mathematics, Computer ScienceSTOC '04
- 2004

The main result of this paper is a near-optimal derandomization of the affine homomorphism test of Blum, Luby and Rubinfeld, and shows that for any groups G and Γ, and any expanding generating set S of G, the natural derandomized version of the BLR test performs nearly as well as the original test.

Testing the Lipschitz Property over Product Distributions with Applications to Data Privacy

- Mathematics, Computer ScienceTCC
- 2013

A computationally efficient algorithm is designed that verifies whether $\cal T}_{priv}$ satisfies differential privacy on typical datasets (DPTD) guarantee in time sublinear in the size of the domain of the datasets.

Estimating the Distance to a Monotone Function

- Mathematics, Computer ScienceAPPROX-RANDOM
- 2004

The running time of the algorithm is optimal within a factor of log log e -1 f and represents a substantial improvement over previous work, and it is given a second algorithm with an expectedRunning time of O(e - 1 f log n log log log n).

Probabilistically checkable proofs with low amortized query complexity

- Computer Science, MathematicsProceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
- 1998

The precise rate at which the error goes down in an optimal protocol is determined, and substantial progress is made toward a tight resolution of this question.