Downward Collapse from a Weaker Hypothesis

Hemaspaandra, Edith; Hemaspaandra, Lane A.; Hempel, Harald

Downward Collapse from a Weaker Hypothesis

Authors

Hemaspaandra, Edith

Hemaspaandra, Lane A.

Hempel, Harald

Description

Hemaspaandra et al. proved that, for $m > 0$ and $0 < i < k - 1$: if $Σ_i^p \BoldfaceDelta DIFF_m(Σ_k^p)$ is closed under complementation, then $DIFF_m(Σ_k^p) = coDIFF_m(Σ_k^p)$. This sharply asymmetric result fails to apply to the case in which the hypothesis is weakened by allowing the $Σ_i^p$ to be replaced by any class in its difference hierarchy. We so extend the result by proving that, for $s,m > 0$ and $0 < i < k - 1$: if $DIFF_s(Σ_i^p) \BoldfaceDelta DIFF_m(Σ_k^p)$ is closed under complementation, then $DIFF_m(Σ_k^p) = coDIFF_m(Σ_k^p)$.