Komplexitätsklassen „eingesperrt“?

Dies ist eine etwas frivole Frage, die in meinem Kopf auftauchte, nachdem ich die verschiedenen Antworten auf "Was ist die" kleinste "Komplexitätsklasse, für die eine superlineare Schaltungsgrenze bekannt ist? " Gelesen habe .

Die Antworten beziehen sich auf , und als ich mir den Zooeintrag danach ansah , entdeckte ich Folgendes:$\mathsf{S_2 P}$

: Fragen Sie nicht$\mathsf{S_2-EXP•P^{NP}}$

Eine der Käfigklassen des Complexity Zoos.

Wurde in einen Kollaps-Skandal verwickelt, an dem , c o N P und E $\mathsf{AM}[\text{polylog}]$$\mathsf{coNP}$$\mathsf{EH}$

Jetzt bin ich fasziniert. Was ist eine eingesperrte Komplexitätsklasse und was ist der saftige Skandal hier :)? Der Zoo hat keine Hinweise zu klären.

Der Complexity Zoo hat einen Verweis auf dieses Ergebnis in der Beschreibung der Klasse AM [Polylog] :

[…] [SS04] zeigen, dass wenn AM [Polylog] coNP enthält , EH zu S ₂ -EXP • P ^NP kollabiert . ( [PV04] verbesserte den Zusammenbruch auf AM _EXP .)

Im Complexity Zoo wird eine Klasse oder eine Aussage eingesperrt, wenn sie sehr beängstigend aussieht. Beispiele für Aussagen in Käfigen finden sich in den Beschreibungen von coNP / poly und SF _k (nicht für leicht verängstigte Leser, Diskretion wird empfohlen).