• DocumentCode
    2376239
  • Title

    Property Testing Lower Bounds via Communication Complexity

  • Author

    Blais, Eric ; Brody, Joshua ; Matulef, Kevin

  • Author_Institution
    Comput. Sci. Dept., Carnegie Mellon Univ., Pittsburgh, PA, USA
  • fYear
    2011
  • fDate
    8-11 June 2011
  • Firstpage
    210
  • Lastpage
    220
  • Abstract
    We develop a new technique for proving lower bounds in property testing, by showing a strong connection between testing and communication complexity. We give a simple scheme for reducing communication problems to testing problems, thus allowing us to use known lower bounds in communication complexity to prove lower bounds in testing. This scheme is general and implies a number of new testing bounds, as well as simpler proofs of several known bounds. For the problem of testing whether a boolean function is k-linear (a parity function on k variables), we achieve a lower bound of Ω(k) queries, even for adaptive algorithms with two-sided error, thus confirming a conjecture of Goldreich (2010). The same argument behind this lower bound also implies a new proof of known lower bounds for testing related classes such as k-juntas. For some classes, such as the class of monotone functions and the class of s-sparse GF(2) polynomials, we significantly strengthen the best known bounds.
  • Keywords
    Boolean functions; Galois fields; communication complexity; graph theory; polynomials; query processing; adaptive algorithm; communication complexity; communication problem reduction; k-linear Boolean function; property testing lower bounds; query bound; s-sparse GF(2) polynomial; Boolean functions; Complexity theory; Computer science; Decision trees; Polynomials; Protocols; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Complexity (CCC), 2011 IEEE 26th Annual Conference on
  • Conference_Location
    San Jose, CA
  • ISSN
    1093-0159
  • Print_ISBN
    978-1-4577-0179-5
  • Electronic_ISBN
    1093-0159
  • Type

    conf

  • DOI
    10.1109/CCC.2011.31
  • Filename
    5959810