Authors
Harry Buhrman
Leen Torenvliet
Falk Unger
Date (dd-mm-yyyy)
2006
Title
Sparse selfreducible sets and polynomial size circuit lower bounds
Publication Year
2006
Number of pages
14
Publisher
Springer
ISBN
3540323015
ISBN
9783540323013
Document type
Conference contribution
Abstract

It is well-known that the class of sets that can be computed by polynomial size circuits is equal to the class of sets that are polynomial time reducible to a sparse set. It is widely believed, but unfortunately up to now unproven, that there are sets in EXP NP, or even in EXP that are not computable by polynomial size circuits and hence are not reducible to a sparse set. In this paper we study this question in a more restricted setting: what is the computational complexity of sparse sets that are selfreducible? It follows from earlier work of Lozano and Toran [10] that EXP NP does not have sparse selfreducible hard sets. We define a natural version of selfreduction, tree-selfreducibility, and show that NEXP does not have sparse tree-selfreducible hard sets. We also show that this result is optimal with respect to relativizing proofs, by exhibiting an oracle relative to which all of EXP is reducible to a sparse tree-selfreducible set. These lower bounds are corollaries of more general results about the computational complexity of sparse sets that are selfreducible, and can be interpreted as super-polynomial circuit lower bounds for NEXP.

URL
go to publisher's site
Permalink
https://hdl.handle.net/11245.1/3ec81c7d-bd05-4449-80b4-cf5d862a97cf