On one-sided testing affine subspaces

Abstract

We study the query complexity of one-sided ϵ-testing the class of Boolean functions f:Fn→{0,1} that describe affine subspaces and Boolean functions that describe axis-parallel affine subspaces, where F is any finite field. We give polynomial-time ϵ-testers that ask O˜(1/ϵ) queries. This improves the query complexity O˜(|F|/ϵ) in [14]. The almost optimality of the algorithms follows from the lower bound of Ω(1/ϵ) for the query complexity proved by Bshouty and Goldreich [3].We then show that any one-sided ϵ-tester with proximity parameter ϵ<1/|F|d for the class of Boolean functions that describe (n−d)-dimensional affine subspaces and Boolean functions that describe axis-parallel (n−d)-dimensional affine subspaces must make at least Ω(1/ϵ+|F|d−1log⁡n) and Ω(1/ϵ+|F|d−1n) queries, respectively. This improves the lower bound Ω(log⁡n/log⁡log⁡n) that is proved in [14] for F=GF(2). We also give testers for those classes with query complexity that almost match the lower bounds.1