Edith Hemaspaandra,Lane A. Hemaspaandra,Harald Hempel
Abstract:During the past decade, nine papers have obtained increasingly strong consequences from the assumption that boolean or bounded-query hierarchies collapse. The final four papers of this nine-paper progression actually achieve downward collapse---that is, they show that high-level collapses induce collapses at (what beforehand were thought to be) lower complexity levels. For example, for each $k\geq 2$ it is now known that if $\psigkone=\psigktwo$ then $\ph=\sigmak$. This article surveys the history, the results, and the technique---the so-called easy-hard method---of these nine papers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: if the Boolean hierarchy or the bounded - query hierarchy collapses, will the polynomial hierarchy (PH) collapse accordingly? Specifically, the article explores whether the polynomial hierarchy will collapse to a lower complexity level in the case where certain levels of the Boolean hierarchy or the bounded - query hierarchy collapse. For example, for each \(k \geq 2\), if \(P^{\Sigma_p^k[1]} = P^{\Sigma_p^k[2]}\), can it be deduced that \(PH=\Sigma_p^k\)?
### Background and Problem Description
The polynomial hierarchy (PH) is an important concept in complexity theory, which consists of a series of complexity classes, and each layer contains more difficult problems than the previous layer. The Boolean hierarchy and the bounded - query hierarchy are important tools for studying the internal structure of the polynomial hierarchy.
This paper summarizes the research progress from the collapse of the Boolean hierarchy or the bounded - query hierarchy to the collapse of the polynomial hierarchy by reviewing nine related literatures, and focuses on introducing the "easy - hard technique". This technique was originally proposed by Kadin and has been improved many times later to prove stronger collapse results.
### Main Contributions
1. **Historical Review**: The article reviews in detail the research progress of nine important papers from 1987 to 1997. These papers gradually strengthened the results from the collapse of the Boolean hierarchy or the bounded - query hierarchy to the collapse of the polynomial hierarchy.
2. **Downward Collapse**: It is particularly worth mentioning that in the research of Hemaspaandra, Hemaspaandra and Hempel in 1996, the concept of "downward collapse" was first proposed, that is, high - order collapse will cause low - order collapse. For example, they proved that for \(k > 2\), if \(P^{\Sigma_p^k[1]} = P^{\Sigma_p^k[2]}\), then \(PH = \Sigma_p^k=\Pi_p^k\).
3. **New Results**: The article also presents a new and stronger result, that is, if the Boolean hierarchy \(DIFF_m(\Sigma_p^k)=coDIFF_m(\Sigma_p^k)\), then the polynomial hierarchy collapses to \(DIFF_m(\Sigma_p^k)\Delta DIFF_{m - 1}(\Sigma_p^{k + 1})\). This is more stringent than the previously known results.
### Markdown Representation of Formulas
To ensure the correctness and readability of the formulas, the following are some key formulas involved in the article:
- Definition of the polynomial hierarchy:
\[
\Delta_p^0=\Sigma_p^0=\Pi_p^0 = P
\]
\[
\Delta_p^{k + 1}=P^{\Sigma_p^k}, \quad \Sigma_p^{k + 1}=NP^{\Sigma_p^k}, \quad \Pi_p^{k + 1}=co\Sigma_p^{k + 1}
\]
\[
PH=\bigcup_{k\geq0}\Sigma_p^k
\]
- Definition of the Boolean hierarchy:
\[
DIFF_1(\Sigma_p^k)=\Sigma_p^k
\]
\[
DIFF_{m + 1}(\Sigma_p^k)=\Sigma_p^k\ominus DIFF_m(\Sigma_p^k)
\]
\[
BH(\Sigma_p^k)=\bigcup_{m\geq1}DIFF_m(\Sigma_p^k)
\]
- New Results:
\[
\text{If } DIFF_m(\Sigma_p^k)=coDIFF_m(\Sigma_p^k)\text{, then...}
\]