Oblivious Symmetric Alternation

We introduce a new class Op2 as a subclass of the symmetric alternation class Sp2. An O p 2 proof system has the flavor of an S p 2 proof system, but it is more restrictive in nature. In an Sp2 proof system, we have two competing provers and a verifier such that for any input, the honest prover has an irrefutable certificate. In an Op2 proof system, we require that the irrefutable certificates depend only on the length of the input, not on the input itself. In other words, the irrefutable proofs are oblivious of the input. For this reason, we call the new class oblivious symmetric alternation. While this might seem slightly contrived, it turns out that this class helps us improve some existing results. For instance, we show that if NP ⊂ P/poly then PH = Op2, whereas the best known collapse under the same hypothesis was PH = Sp2. We also define classes YOp2 and NO p 2, bearing relations to O p 2 as NP and coNP are to P, and show that these along with Op2 form a hierarchy, similar to the polynomial hierarchy. We investigate other inclusions involving these classes and strengthen some known results. For example, we show that MA ⊆ NOp2 which sharpens the known result MA ⊆ Sp2 [16]. Another example is our result that AM ⊆ O2 · NP ⊆ Πp2, which is an improved upper bound on AM. Finally, we also prove better collapses for the 2-queries problem as discussed by [12, 1, 7]. We prove that P = P ⇒ PH = NOp2 ∩YO2 .