Separating NE from some nonuniform nondeterministic complexity classes

Abstract

We investigate the question whether NE can be separated from the reduction closures of tally sets, sparse sets and NP. We show that (1) $\mathrm{NE}\not\subseteq R^{\mathrm{NP}}_{n^{o(1)}-T}(\mathrm{TALLY})$; (2) $\mathrm{NE}\not\subseteq R^{SN}_{m}(\mathrm{SPARSE})$; (3) $\mathrm{NEXP}\not\subseteq \mathrm{P}^{\mathrm{NP}}_{n^{k}-T}/n^{k}$ for all k≥1; and (4) $\mathrm{NE}\not\subseteq \mathrm{P}_{btt}(\mathrm{NP}\oplus\mathrm{SPARSE})$. Result (3) extends a previous result by Mocas to nonuniform reductions. We also investigate how different an NE-hard set is from an NP-set. We show that for any NP subset A of a many-one-hard set H for NE, there exists another NP subset A′ of H such that A′⊇ A and A′−A is not of sub-exponential density.