Lowness Properties of Sets in the Exponential-Time Hierarchy

Abstract

The notion of “lowness” was introduced in computational complexity theory by Schöning [J, Comput. Systems Sci., 27 (1983), pp. 14–28] who studied sets in the class NP. This notion may be interpreted as setting an upper bound on the amount of information that can be encoded by a set. Here ideas from previous studies are incorporated in order to capture the notion of a set being exponentially low. The main result asserts the existence of a sparse set E such that ${\operatorname{DEXT}}(E) = {\operatorname{DEXT}}$, i.e., E is “exponentially low,” but E is not in the class P. In contrast, any set with small generalized Kolmogorov complexity that is exponentially low must be in the class P. In addition, we show that for each $k \geqq 2$, any sparse set S that is low with respect to the class $\Sigma _k^E $ of the exponential-time hierarchy (i.e., $\Sigma _k^E {(S) = \Sigma _k^E } $ ) must be in the class $\Sigma _k^P $ of the polynomial-time hierarchy. Similarly, for each $k \geqq 4$, any set with polynomial-size circuits that is low with respect to the class $\Sigma _k^E $ must be in the class $\Sigma _k^P $ .