「ケージ化された」複雑性クラス？

これは、「超線形回路の境界が既知である「最小」の複雑性クラスは何ですか？」に対するさまざまな応答を読んだ後、頭に浮かんだやや軽薄な質問です。

回答は参照しており、動物園のエントリを確認したところ、次のことがわかりました。$\mathsf{S_2 P}$

：聞かない$\mathsf{S_2-EXP•P^{NP}}$

Complexity Zooのケージクラスの1つ。

、c o N P、およびE Hを含む崩壊スキャンダルに関与している$\mathsf{AM}[\text{polylog}]$$\mathsf{coNP}$$\mathsf{EH}$

だから今、私は興味をそそられます。ケージ化された複雑性クラスとは何ですか、そしてここでジューシーなスキャンダルは何ですか:)？動物園には明確にする参照がありません。

Complexity Zooは、AM [polylog]クラスの説明でその結果を参照しています。

[…] [SS04]は、AM [ポリログ]にcoNPが含まれている場合、EHがS ₂ -EXP•P ^NPに縮小することを示しています。（[PV04] AM _EXPへの崩壊を改善しました。）

Complexity Zooでは、クラスまたはステートメントが非常に恐ろしいように見えるときにケージに入れられます。ケージ化されたステートメントの例は、coNP / polyおよびSF _kの説明にあります（簡単に怖がらないためではなく、読者の裁量をお勧めします）。